Lattices As Multidimensional Sampling Structures: Part I
Total Page:16
File Type:pdf, Size:1020Kb
Lattices as Multidimensional Sampling Structures: Part I Vishal Monga [email protected] September 20, 2007 1 Lattices De¯nition: A lattice ¤ in the N-dimensional real space RN , is the set of all linear combinations of N linearly independent real vectors v1;:::; vN of size N £ 1, which are known as the basis vectors of ¤, with integer coe±cients. ¤ can be written as the set ¤ = fVn j n 2 ZN g; (1) · ¸ . where Z denotes the set of all integers and V = v1 . ¢ ¢ ¢ . vN is a N £ N real-valued matrix, with the T basis vectors v1;:::; vN as its columns. For any point Vn in the lattice, the vector n = [n1; : : : ; nN ] is the representation of the point in the lattice with respect to V, which is often called the generating or the sampling matrix. For any lattice basis vectors are not unique. In fact, if EN£N is a matrix of integer numbers and det(E) = §1, then V^ = EV provides another set of basis vectors for ¤. De¯nition: Given a lattice ¤, one can ¯nd a unit cell U(¤) such that the entire RN space can be tiled by U(¤) and its translations to all lattice points. The unit cell associated with a lattice is not unique. However, two unit cells-namely Fundamental Parallelepiped and Voronoi Cell, are often encountered in the literature. 1. Fundamental parallelepiped: represents set of all points in RN within the region enclosed by the basis vectors and it can be expressed as the set ( ) XN N P(¤) = x 2 R j x = ®ivi; 8 0 · ®i · 1 : (2) i=1 1 y y 1 1 2 4 / w2 2 v2 x x v1 3 6 w1 1/3 2/3 3 3 2 1 3 0 V = / W = / 0 2 −1 4 1 2 / / (a) Basic lattice ¤ (b) Reciprocal lattice ¤¤ Figure 1: Example of a lattice in two dimensions. 2. Voronoi cell: represents the set of all points in RN closer to origin 0 than to any of the lattice points and it can be expressed as © ª V(¤) = x 2 RN j d(x; 0) · d(x; p); 8 p 2 ¤ ; (3) where d(a; b) is the Euclidean distance between the points a and b. Examples of these unit cells for a lattice whose generator matrix is V is shown in Fig. 1(a). y y P(Λ) V(Λ) x x (a) Fundamental parallelepiped (b) Voronoi cell Figure 2: Unit cells for the lattice of Fig 1(a). Although a unit cell for a lattice is not unique, hyper-volume of the unit cell of a lattice denoted by d(¤) = det(V) is unique. Another useful term associated with the lattices is Sampling density, which is computed as 1 Sampling density = : (4) d(¤) 2 De¯nition: Let ¤ and ¡ be two lattices. ¤ is a sublattice of ¡, if every point in ¤ is also a point in ¡. The ratio d(¤)=d(¡) is called the index of ¤ in ¡. The set c + ¤ = fc + x j x 2 ¤g for any c 2 ¡ is called a coset or class of ¤ in ¡. Two cosets c + ¤ and d + ¤ are identical if and only if c ¡ d 2 ¤. De¯nition: Given a lattice ¤, the set of all vectors y such that yT x 2 Z; 8x 2 ¤ is called the reciprocal (polar) lattice of ¤ and it can be represented as the set: © ª ¤¤ = Wn = V¡T n j n 2 ZN : (5) T It can be seen that W V = IN£N and 1 d (¤¤) = : (6) d (¤) Thus, denser ¤ ensures a sparser ¤¤ and vice versa. An example for a reciprocal lattice is shown in Fig. 1(b) for the lattice shown in Fig. 1(a). Theorem: Let ¤1 and ¤2 be two lattices of dimension N. Intersection of these lattices ¤1 \ ¤2 is also a lattice, however its dimension could be less than or equal to N. A necessary and su±cient condition for ¤1 \¤2 ¡1 N£N to be N-dimensional, is that V1 V2 2 Q , where Q is the set of rational numbers. ¤1 \ ¤2 is the largest lattice that is contained in both ¤1 and ¤2. Similarly, ¤1 + ¤2 = fx + y j 8 x 2 ¤1; 8 y 2 ¤2g (7) is the smallest lattice that contains both ¤1 and ¤2. Furthermore, ¤ ¤ ¤ (¤1 + ¤2) = ¤1 \ ¤2 and (8) ¤ ¤ ¤ (¤1 \ ¤2) = ¤1 + ¤2: (9) Thus, if an algorithm is present to ¯nd the intersection of lattices; it can be used to ¯nd sum of lattices as well. 3 2 Sampling Over Lattices De¯nition: A function Ã(x) is periodic with a non-singular periodicity matrix V if Ã(x) = Ã(x + Vn) 8n 2 ZN . When a lattice is used to describe the periodicity of a function, it is usually referred as the periodicity lattice and a unit cell of the lattice is referred as the fundamental period of the function. N De¯nition: Given a continuous signal sc(x); x 2 R , a sampled signal over a lattice ¤ with a generating matrix V is de¯ned as: X N s(x) = sc(x)± (x ¡ Vn) ; x 2 R : (10) n2ZN 2.1 Fourier Transform of Signals Sampled on Lattices X X S(u) = s(x) exp(¡2¼juT x) = s(Vn) exp(2¼juT Vn); (11) x2¤ n2ZN T where u = [u1; u2; : : : ; uN ] represents the frequency coordinates. Let r be a point in ¤¤. S(u + r) can be written as: X S(u + r) = S(Vn) exp(¡2¼j(u + r)T Vn) (12) n2ZN X = S(Vn) exp(¡2¼juT Vn) exp(¡2¼jrT Vn): (13) n2ZN From the de¯nition of the reciprocal lattice rT x is an integer 8 x 2 ¤; r 2 ¤¤. Thus, Fourier transform is periodic with W = V¡T the generator matrix for the reciprocal lattice of ¤. Similarly, the inverse Fourier transform can be computed as: Z s(x) = d(¤) S(u) exp(2¼juT x)du); x 2 ¤: (14) U(¤¤) 2.2 Sampling on Cosets Let ª be discrete set of points in RN such that it is a union of distinct cosets of a sublattice ¤ in a lattice ¡. Thus, we have [P ª = (ci + ¤); (15) i=1 4 where ci is a vector in ¡. Sampled signal can be written as X T s(u) = sc(x) exp(¡2¼ju x) (16) x2ª and its Fourier transform can accordingly be written as XP X T S(u) = s(ci + x) exp(¡2¼ju (ci + x)) (17) i x2¤ XP X T T = exp(¡2¼ju ci) s(ci + x) exp(¡2¼ju x) (18) i=1 x2¤ XP T = exp(¡2¼ju ci)Si(u); (19) i=1 whose periodicity is determined by the lattice ¡¤. 2.3 Generalized Nyquist Sampling Theorem 1 X S(u) = S (u ¡ r); (20) d(¤) c r2¤¤ where Sc(u) is the continuous Fourier transform of sc(x). It is possible to recover the original continuous signal from the sampled signal perfectly if and only if the support ¤ region of Sc(u) is limited within the fundamental period of the reciprocal lattice ¤ . Use the reconstruction ¯lter ½ d(¤); u 2 U(¤¤) H (u) = (21) r 0; o:w: to interpolate between the samples. In order to avoid aliasing, use the ¯lter ½ 1; u 2 U(¤¤) H (u) = (22) AA 0; o:w: ¤ and to recover the original signal perfectly, U(¤ ) should be at least 2 £ BW(Sc(u)), where BW(Sc(u)) is the support region of the continuous signal. 2.4 Sampling E±ciency By using very high sampling density, it can be ensured U(¤¤) covers the support of the continuous time signal. However, at the same time, it is desired that the number of samples that is enough to reconstruct the original signal is the smallest. This can be achieved if U(¤¤) covers the support of the continuous signal as tightly as possible. 5 De¯nition: For a circularly bandlimited signal, the ratio of the hyper-volume of the hyper-sphere that de¯nes the bandwidth of the signal to the hyper-volume of the smallest U(¤¤) that covers this hyper-sphere is called the sampling e±ciency of the sampling structure. V (1) ½(¤) = N ; (23) d(¤¤) where VN (1) is the hyper-volume of the unit hyper-sphere in N dimensions. In Fig. 2.4, sampling e±ciencies of 3 di®erent geometries is shown. As a matter of fact, it can be shown for a r =1 r =1 r =1 Λ Λ Λ d( ∗)=4 d( ∗)=4 d( ∗)=2√3 ρ(Λ)= π 0.785 ρ(Λ)= π 0.785 ρ(Λ)= π 0.907 4 ≈ 4 ≈ 2√3 ≈ Figure 3: Sampling e±ciencies of di®erent geometries. circularly bandlimited signal hexagonal sampling lattice has the highest e±ciency among the others. In Table. 1, the sampling e±ciency of a rectangular lattice is compared against a hexagonal lattice. M ´ = ½(¤R) ½(¤H ) 1 1.000 2 0.866 3 0.705 5 0.353 8 0.062 Table 1: Rectangular vs. Hexagonal sampling e±ciency It can be seen that for 1-D signals, there is no di®erence between the structures. However, as N increases the e±cacy of hexagonal sampling is obvious. For example, for a continuous 2-D signal, hexagonal lattice can reconstruct the signal with approximately 13:4% less samples than a rectangular lattice requires. 6 3 Sampling Rate Conversion Let s(x) is the sampled version of a continuous signal sc(x) on a lattice ¤1, we would like to obtain s(y) which is the sampled version of sc(x) on a lattice ¤2 by using s(x).