Hexagonal Efficient Coordinate System

Last updated

The Hexagonal Efficient Coordinate System (HECS), formerly known as Array Set Addressing (ASA), is a coordinate system for hexagonal grids that allows hexagonally sampled images to be efficiently stored and processed on digital systems. HECS represents the hexagonal grid as a set of two interleaved rectangular sub-arrays, which can be addressed by normal integer row and column coordinates and are distinguished with a single binary coordinate. Hexagonal sampling is the optimal approach for isotropically band-limited two-dimensional signals [1] and its use provides a sampling efficiency improvement of 13.4% over rectangular sampling. The HECS system enables the use of hexagonal sampling for digital imaging applications without requiring significant additional processing to address the hexagonal array. [2]

Contents

Background

The advantages of sampling on a hexagonal grid instead of the standard rectangular grid for digital imaging applications include: more efficient sampling, consistent connectivity, equidistant neighboring pixels, greater angular resolution, and higher circular symmetry. [3] [4] [5] Sometimes, more than one of these advantages compound together, thereby increasing the efficiency by 50% in terms of computation and storage when compared to rectangular sampling. [6] Researchers have shown [1] [6] [7] that the hexagonal grid is the optimal sampling lattice and its use provides a sampling efficiency improvement of 13.4% over rectangular sampling for isotropically band-limited two-dimensional signals. Despite all of these advantages of hexagonal sampling over rectangular sampling, application prior to the introduction of HECS was limited because of the lack of an efficient coordinate system. [8]

Hexagonal Efficient Coordinate System

Description

Representation of hexagonally sampled data as a pair of rectangular arrays using the HECS coordinate system Hex2RecASA.jpg
Representation of hexagonally sampled data as a pair of rectangular arrays using the HECS coordinate system

The Hexagonal Efficient Coordinate System (HECS) is based on the idea of representing the hexagonal grid as a set of two rectangular arrays which can be individually indexed using familiar integer-valued row and column indices. The arrays are distinguished using a single binary coordinate so that a full address for any point on the hexagonal grid is uniquely represented by three coordinates. [9]

where the coordinates represent the array, row, and column, respectively. The hexagonal grid is separated into rectangular arrays by taking every other row as one array and the remaining rows as the other array, as shown in the figure.

Nearest neighbors

Nearest neighbors of a HECS pixel HECS Nearest Neighbors.png
Nearest neighbors of a HECS pixel

The addresses of the nearest neighbors of a pixel (or grid point) are easily determined by simple expressions which are functions of the pixel's coordinates, as shown.

Convert to Cartesian

Converting coordinates in HECS to their Cartesian counterparts is done with a simple matrix multiplication

Operators

Preliminaries

Let the set of all possible HECS addresses be

Addition

A binary addition operator has been defined as

where is the logical XOR operator and is the logical AND operator.

Negation

A unary negation operator has been defined as

Subtraction

A binary subtraction operator has been defined by combining the negation and addition operations as

Scalar multiplication

Scalar multiplication has been defined for non-negative integer scalar multipliers as

and

Separable Fourier kernel

The hexagonal discrete Fourier transform (HDFT) was developed by Mersereau [6] and was converted to an HECS representation by Rummelt. [2] Let be a two-dimensional hexagonally sampled signal and let both arrays be of size . Let be the Fourier transform of x. The HDFT equation for the forward transform is given by

Notice that the HECS representation of the HDFT overcomes Mersereau's "insurmountable difficulty" since it is a separable kernel, which led to the development of the hexagonal fast Fourier transform. [10]

Alternative addressing schemes

There have been several attempts to develop efficient coordinate systems for the hexagonal grid. Snyder [4] describes a coordinate system based on non-orthogonal bases which is referred to as the h2 system. Her [11] developed an interesting three-coordinate system that uses an oblique plane in three dimensional space. For various reasons, both of these approaches require cumbersome machine representations that lead to inefficient image processing operations. [8] Generalized balanced ternary (GBT) is based on a hierarchy of cells, where at every level the cells are each aggregates of cells from the previous level. [12] In two-dimensions, GBT can be used to address the hexagonal grid where each grid point is addressed with a string of base-7 digits and each digit indicates the hexagon's position within that level of the hierarchy. [13] The use of GBT and slightly modified versions of GBT such as HIP [14] and Spiral Architecture [15] for addressing hexagonal grids in two dimensions are abundant in the literature. [5] [14] [15] [16] While these approaches have some interesting mathematical properties, they fail to be convenient or efficient for image processing. [8]

Other 2D hexagonal grid applications

Although HECS was developed mainly for digital image processing of hexagonally sampled images, its benefits extend to other applications such as finding the shortest path distance and shortest path routing between points in hexagonal interconnection networks. [8] Other addressing approaches have been developed for such applications [17] [18] [19] but they suffer the same drawbacks as the ones described above. [8]

Related Research Articles

<span class="mw-page-title-main">Discrete Fourier transform</span> Type of Fourier transform in discrete mathematics

In mathematics, the discrete Fourier transform (DFT) converts a finite sequence of equally-spaced samples of a function into a same-length sequence of equally-spaced samples of the discrete-time Fourier transform (DTFT), which is a complex-valued function of frequency. The interval at which the DTFT is sampled is the reciprocal of the duration of the input sequence. An inverse DFT (IDFT) is a Fourier series, using the DTFT samples as coefficients of complex sinusoids at the corresponding DTFT frequencies. It has the same sample-values as the original input sequence. The DFT is therefore said to be a frequency domain representation of the original input sequence. If the original sequence spans all the non-zero values of a function, its DTFT is continuous, and the DFT provides discrete samples of one cycle. If the original sequence is one cycle of a periodic function, the DFT provides all the non-zero values of one DTFT cycle.

<span class="mw-page-title-main">Gradient</span> Multivariate derivative (mathematics)

In vector calculus, the gradient of a scalar-valued differentiable function of several variables is the vector field whose value at a point gives the direction and the rate of fastest increase. The gradient transforms like a vector under change of basis of the space of variables of . If the gradient of a function is non-zero at a point , the direction of the gradient is the direction in which the function increases most quickly from , and the magnitude of the gradient is the rate of increase in that direction, the greatest absolute directional derivative. Further, a point where the gradient is the zero vector is known as a stationary point. The gradient thus plays a fundamental role in optimization theory, where it is used to minimize a function by gradient descent. In coordinate-free terms, the gradient of a function may be defined by:

<span class="mw-page-title-main">Affine transformation</span> Geometric transformation that preserves lines but not angles nor the origin

In Euclidean geometry, an affine transformation or affinity is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.

Ray transfer matrix analysis is a mathematical form for performing ray tracing calculations in sufficiently simple problems which can be solved considering only paraxial rays. Each optical element is described by a 2×2 ray transfer matrix which operates on a vector describing an incoming light ray to calculate the outgoing ray. Multiplication of the successive matrices thus yields a concise ray transfer matrix describing the entire optical system. The same mathematics is also used in accelerator physics to track particles through the magnet installations of a particle accelerator, see electron optics.

<span class="mw-page-title-main">Kalman filter</span> Algorithm that estimates unknowns from a series of measurements over time

For statistics and control theory, Kalman filtering, also known as linear quadratic estimation, is an algorithm that uses a series of measurements observed over time, including statistical noise and other inaccuracies, and produces estimates of unknown variables that tend to be more accurate than those based on a single measurement alone, by estimating a joint probability distribution over the variables for each timeframe. The filter is constructed as a mean squared error minimiser, but an alternative derivation of the filter is also provided showing how the filter relates to maximum likelihoood statistics. The filter is named after Rudolf E. Kálmán, who was one of the primary developers of its theory.

In vector calculus, the Jacobian matrix of a vector-valued function of several variables is the matrix of all its first-order partial derivatives. When this matrix is square, that is, when the function takes the same number of variables as input as the number of vector components of its output, its determinant is referred to as the Jacobian determinant. Both the matrix and the determinant are often referred to simply as the Jacobian in literature.

In the mathematical field of differential geometry, a metric tensor is an additional structure on a manifold M that allows defining distances and angles, just as the inner product on a Euclidean space allows defining distances and angles there. More precisely, a metric tensor at a point p of M is a bilinear form defined on the tangent space at p, and a metric field on M consists of a metric tensor at each point p of M that varies smoothly with p.

In linear algebra, an n-by-n square matrix A is called invertible if there exists an n-by-n square matrix B such that

In control engineering and system identification, a state-space representation is a mathematical model of a physical system specified as a set of input, output, and variables related by first-order differential equations or difference equations. Such variables, called state variables, evolve over time in a way that depends on the values they have at any given instant and on the externally imposed values of input variables. Output variables’ values depend on the state variable values and may also depend on the input variable values.

<span class="mw-page-title-main">Sinc function</span> Special mathematical function defined as sin(x)/x

In mathematics, physics and engineering, the sinc function, denoted by sinc(x), has two forms, normalized and unnormalized.

In mathematics, the kernel of a linear map, also known as the null space or nullspace, is the part of the domain which the map maps to the zero vector. That is, given a linear map L : VW between two vector spaces V and W, the kernel of L is the vector space of all elements v of V such that L(v) = 0, where 0 denotes the zero vector in W, or more symbolically:

In mathematics, the discrete Laplace operator is an analog of the continuous Laplace operator, defined so that it has meaning on a graph or a discrete grid. For the case of a finite-dimensional graph, the discrete Laplace operator is more commonly called the Laplacian matrix.

As one of the methods of structural analysis, the direct stiffness method, also known as the matrix stiffness method, is particularly suited for computer-automated analysis of complex structures including the statically indeterminate type. It is a matrix method that makes use of the members' stiffness relations for computing member forces and displacements in structures. The direct stiffness method is the most common implementation of the finite element method (FEM). In applying the method, the system must be modeled as a set of simpler, idealized elements interconnected at the nodes. The material stiffness properties of these elements are then, through matrix mathematics, compiled into a single matrix equation which governs the behaviour of the entire idealized structure. The structure’s unknown displacements and forces can then be determined by solving this equation. The direct stiffness method forms the basis for most commercial and free source finite element software.

In statistics, the multivariate t-distribution is a multivariate probability distribution. It is a generalization to random vectors of the Student's t-distribution, which is a distribution applicable to univariate random variables. While the case of a random matrix could be treated within this structure, the matrix t-distribution is distinct and makes particular use of the matrix structure.

In mathematics and multivariate statistics, the centering matrix is a symmetric and idempotent matrix, which when multiplied with a vector has the same effect as subtracting the mean of the components of the vector from every component of that vector.

In applied mathematics, the non-uniform discrete Fourier transform of a signal is a type of Fourier transform, related to a discrete Fourier transform or discrete-time Fourier transform, but in which the input signal is not sampled at equally spaced points or frequencies. It is a generalization of the shifted DFT. It has important applications in signal processing, magnetic resonance imaging, and the numerical solution of partial differential equations.

A multidimensional signal is a function of M independent variables where . Real world signals, which are generally continuous time signals, have to be discretized (sampled) in order to ensure that digital systems can be used to process the signals. It is during this process of discretization where sampling comes into picture. Although there are many ways of obtaining a discrete representation of a continuous time signal, periodic sampling is by far the simplest scheme. Theoretically, sampling can be performed with respect to any set of points. But practically, sampling is carried out with respect to a set of points that have a certain algebraic structure. Such structures are called lattices. Mathematically, the process of sampling an -dimensional signal can be written as:

The fast Fourier transform (FFT) is an important tool in the fields of image and signal processing. The hexagonal fast Fourier transform (HFFT) uses existing FFT routines to compute the discrete Fourier transform (DFT) of images that have been captured with hexagonal sampling. The hexagonal grid serves as the optimal sampling lattice for isotropically band-limited two-dimensional signals and has a sampling efficiency which is 13.4% greater than the sampling efficiency obtained from rectangular sampling. Several other advantages of hexagonal sampling include consistent connectivity, higher symmetry, greater angular resolution, and equidistant neighbouring pixels. Sometimes, more than one of these advantages compound together, thereby increasing the efficiency by 50% in terms of computation and storage when compared to rectangular sampling. Despite all of these advantages of hexagonal sampling over rectangular sampling, its application has been limited because of the lack of an efficient coordinate system. However that limitation has been removed with the recent development of the hexagonal efficient coordinate system which includes the benefit of a separable Fourier kernel. The existence of a separable Fourier kernel for a hexagonally sampled image allows the use of existing FFT routines to efficiently compute the DFT of such an image.

SAMV is a parameter-free superresolution algorithm for the linear inverse problem in spectral estimation, direction-of-arrival (DOA) estimation and tomographic reconstruction with applications in signal processing, medical imaging and remote sensing. The name was coined in 2013 to emphasize its basis on the asymptotically minimum variance (AMV) criterion. It is a powerful tool for the recovery of both the amplitude and frequency characteristics of multiple highly correlated sources in challenging environments. Applications include synthetic-aperture radar, computed tomography scan, and magnetic resonance imaging (MRI).

In mathematics, the Khatri–Rao product or block Kronecker product of two partitioned matrices and is defined as

References

  1. 1 2 Petersen, Daniel P.; Middleton, David (December 1962). "Sampling and reconstruction of wave-number-limited functions in N-dimensional euclidean spaces". Information and Control . 5 (4): 279–323. doi: 10.1016/S0019-9958(62)90633-2 .
  2. 1 2 Rummelt, Nicholas I. (2010). Array Set Addressing: Enabling Efficient Hexagonally Sampled Image Processing (Ph.D. thesis). University of Florida.
  3. Xiangjian He; Wenjing Jia (27–28 August 2005). Hexagonal Structure for Intelligent Vision. 2005 International Conference on Information and Communication Technologies. IEEE. pp. 52–64. doi:10.1109/ICICT.2005.1598543. hdl: 10453/2661 . ISBN   978-0-7803-9421-6.
  4. 1 2 Snyder, Wesley E.; Qi, Hairong; Sander, William A. (21 May 1999). Hanson, Kenneth M. (ed.). Coordinate system for hexagonal pixels. Medical Imaging 1999: Image Processing. Vol. 3661. SPIE. pp. 716–727. doi:10.1117/12.348629.
  5. 1 2 van Roessel, Jan W. (1988). "Conversion of Cartesian coordinates from and to Generalized Balanced Ternary addresses" (PDF). Photogrammetric Engineering and Remote Sensing . 54: 1565–1570.
  6. 1 2 3 Mersereau, R.M. (June 1979). "The processing of hexagonally sampled two-dimensional signals". Proceedings of the IEEE . 67 (6): 930–949. doi:10.1109/PROC.1979.11356. ISSN   0018-9219.
  7. Vitulli, R.; Del Bello, U.; Armbruster, P.; Baronti, S.; Santurti, L. (24–28 June 2002). Aliasing effects mitigation by optimised sampling grids and impact on image acquisition chains. IEEE International Symposium on Geoscience and Remote Sensing (IGARSS). Vol. 2. IEEE. pp. 979–981. doi:10.1109/IGARSS.2002.1025749. ISBN   978-0-7803-7536-9.
  8. 1 2 3 4 5 Rummelt, Nicholas I.; Wilson, Joseph N. (1 April 2011). "Array set addressing: enabling technology for the efficient processing of hexagonally sampled imagery" . Journal of Electronic Imaging . 20 (2): 023012–023012–11. Bibcode:2011JEI....20b3012R. doi:10.1117/1.3589306. ISSN   1017-9909.
  9. USpatent 8797436,Rummelt, Nicholas I.,"Array set addressing (ASA) for hexagonally arranged data sampling elements",issued August 5, 2014PD-icon.svg This article incorporates text from this source, which is in the public domain .
  10. Birdsong, James B.; Rummelt, Nicholas I. (25–28 September 2016). The hexagonal fast fourier transform. IEEE International Conference on Image Processing (ICIP). IEEE. pp. 1809–1812. doi:10.1109/ICIP.2016.7532670. ISBN   978-1-4673-9961-6.
  11. I. Her, “A symmetrical coordinate frame on the hexagonal grid for computer graphics and vision,” J. Mech. Des. 115, 447–449 (1993)
  12. D. Lucas and L. Gibson, “A system for hierarchical addressing in Euclidean space,” Interactive Systems Corporation (1980).
  13. L. Gibson and C. Lenzmeier, “A hierarchical pattern extraction system for hexagonally sampled images,” Tech. Rep., Final Report for Contract F49620-81-C-0039, U.S. Air Force Office of Scientific Research, Interactive Systems Corporation (1981)
  14. 1 2 L. Middleton and J. Sivaswamy, Hexagonal Image Processing: A Practical Approach (Springer, London, 2005)
  15. 1 2 P. Sheridan, “Spiral architecture for machine vision,” Ph.D. thesis, Univ. of Technology Sydney (1996)
  16. A. Vince and X. Zheng, “Computing the discrete Fourier transform on a hexagonal lattice,” J. Math. Imaging Vision 28, 125–133 (2007)
  17. Carle, J.; Myoupo, J.F. (14–17 May 2000). Topological properties and optimal routing algorithms for three dimensional hexagonal networks. Fourth International Conference on High Performance Computing in the Asia-Pacific Region. Vol. 1. IEEE. pp. 116–121 vol.1. doi:10.1109/HPC.2000.846530.
  18. Garcia Nocetti, F.; Stojmenovic, I.; Jingyuan Zhang (September 2002). "Addressing and routing in hexagonal networks with applications for tracking mobile users and connection rerouting in cellular networks". IEEE Transactions on Parallel and Distributed Systems . 13 (9): 963–971. doi:10.1109/TPDS.2002.1036069. ISSN   1045-9219.
  19. M. He and W. Xiao, “A unified addressing schema for hexagonal and honeycomb networks with isomorphic cayley graphs,” in Proc. 1st Int. Multi-Symp. on Computer and Computational Sciences (IMSCCS ’06), Vol. 1, pp. 363–368 (2006).