 Lattice (group)

In mathematics, especially in geometry and group theory, a lattice in R^{n} is a discrete subgroup of R^{n} which spans the real vector space R^{n}. Every lattice in R^{n} can be generated from a basis for the vector space by forming all linear combinations with integer coefficients. A lattice may be viewed as a regular tiling of a space by a primitive cell.
Lattices have many significant applications in pure mathematics, particularly in connection to Lie algebras, number theory and group theory. They also arise in applied mathematics in connection with coding theory, in cryptography because of conjectured computational hardness of several lattice problems, and are used in various ways in the physical sciences. For instance, in materials science and solidstate physics, a lattice is a synonym for the "frame work" of a crystalline structure, a 3dimensional array of regularly spaced points coinciding with the atom or molecule positions in a crystal. More generally, lattice models are studied in physics, often by the techniques of computational physics.
Symmetry considerations and examples
A lattice is the symmetry group of discrete translational symmetry in n directions. A pattern with this lattice of translational symmetry cannot have more, but may have less symmetry than the lattice itself.
A lattice in the sense of a 3dimensional array of regularly spaced points coinciding with e.g. the atom or molecule positions in a crystal, or more generally, the orbit of a group action under translational symmetry, is a translate of the translation lattice: a coset, which need not contain the origin, and therefore need not be a lattice in the previous sense.
A simple example of a lattice in R^{n} is the subgroup Z^{n}. A more complicated example is the Leech lattice, which is a lattice in R^{24}. The period lattice in R^{2} is central to the study of elliptic functions, developed in nineteenth century mathematics; it generalises to higher dimensions in the theory of abelian functions.
Dividing space according to a lattice
A typical lattice Λ in R^{n} thus has the form
where {v_{1}, ..., v_{n}} is a basis for R^{n}. Different bases can generate the same lattice, but the absolute value of the determinant of the vectors v_{i} is uniquely determined by Λ, and is denoted by d(Λ). If one thinks of a lattice as dividing the whole of R^{n} into equal polyhedra (copies of an ndimensional parallelepiped, known as the fundamental region of the lattice), then d(Λ) is equal to the ndimensional volume of this polyhedron. This is why d(Λ) is sometimes called the covolume of the lattice.
Lattice points in convex sets
Minkowski's theorem relates the number d(Λ) and the volume of a symmetric convex set S to the number of lattice points contained in S. The number of lattice points contained in a polytope all of whose vertices are elements of the lattice is described by the polytope's Ehrhart polynomial. Formulas for some of the coefficients of this polynomial involve d(Λ) as well.
Theorem: let P be the polytope: fundamental region of a basis which is a weighted square selfblocking clutter S. then covolume(P) = k and P contains k  1 integer interior points, where k is the wheight of the edges of S.
 See also: Integer points in polyhedra
Computing with lattices
Main article: Lattice basis reductionLattice basis reduction is the problem of finding a short and nearly orthogonal lattice basis. The LenstraLenstraLovász lattice basis reduction algorithm (LLL) approximates such a lattice basis in polynomial time; it has found numerous applications, particularly in publickey cryptography.
Lattices in two dimensions: detailed discussion
There are five 2D lattice types as given by the crystallographic restriction theorem. Below, the wallpaper group of the lattice is given in parentheses; note that a pattern with this lattice of translational symmetry cannot have more, but may have less symmetry than the lattice itself. If the symmetry group of a pattern contains an nfold rotation then the lattice has nfold symmetry for even n and 2nfold for odd n.
 a rhombic lattice, also called centered rectangular lattice or isosceles triangular lattice (cmm), with evenly spaced rows of evenly spaced points, with the rows alternatingly shifted one half spacing (symmetrically staggered rows):
 a hexagonal lattice or equilateral triangular lattice (p6m)
 a square lattice (p4m):
 a rectangular lattice, also called primitive rectangular lattice (pmm):
 more generally, a parallelogrammic lattice, also called oblique lattice (p2)(with asymmetrically staggered rows):
For the classification of a given lattice, start with one point and take a nearest second point. For the third point, not on the same line, consider its distances to both points. Among the points for which the smaller of these two distances is least, choose a point for which the larger of the two is least. (Not logically equivalent but in the case of lattices giving the same result is just "Choose a point for which the larger of the two is least".)
The five cases correspond to the triangle being equilateral, right isosceles, right, isosceles, and scalene. In a rhombic lattice, the shortest distance may either be a diagonal or a side of the rhombus, i.e., the line segment connecting the first two points may or may not be one of the equal sides of the isosceles triangle. This depends on the smaller angle of the rhombus being less than 60° or between 60° and 90°.
The general case is known as a period lattice. If the vectors p and q generate the lattice, instead of p and q we can also take p and pq, etc. In general in 2D, we can take a p + b q and c p + d q for integers a,b, c and d such that adbc is 1 or 1. This ensures that p and q themselves are integer linear combinations of the other two vectors. Each pair p, q defines a parallelogram, all with the same area, the magnitude of the cross product. One parallelogram fully defines the whole object. Without further symmetry, this parallelogram is a fundamental parallelogram.
The vectors p and q can be represented by complex numbers. Up to size and orientation, a pair can be represented by their quotient. Expressed geometrically: if two lattice points are 0 and 1, we consider the position of a third lattice point. Equivalence in the sense of generating the same lattice is represented by the modular group: represents choosing a different third point in the same grid, represents choosing a different side of the triangle as reference side 01, which in general implies changing the scaling of the lattice, and rotating it. Each "curved triangle" in the image contains for each 2D lattice shape one complex number, the grey area is a canonical representation, corresponding to the classification above, with 0 and 1 two lattice points that are closest to each other; duplication is avoided by including only half of the boundary. The rhombic lattices are represented by the points on its boundary, with the hexagonal lattice as vertex, and i for the square lattice. The rectangular lattices are at the imaginary axis, and the remaining area represents the parallelogrammetic lattices, with the mirror image of a parallelogram represented by the mirror image in the imaginary axis.
Lattices in three dimensions
The 14 lattice types in 3D are called Bravais lattices. They are characterized by their space group. 3D patterns with translational symmetry of a particular type cannot have more, but may have less symmetry than the lattice itself.
Lattices in complex space
A lattice in C^{n} is a discrete subgroup of C^{n} which spans the 2ndimensional real vector space C^{n}. For example, the Gaussian integers form a lattice in C.
Every lattice in R^{n} is a free abelian group of rank n; every lattice in C^{n} is a free abelian group of rank 2n.
In Lie groups
Main article: Lattice (discrete subgroup)More generally, a lattice Γ in a Lie group G is a discrete subgroup, such that the quotient G/Γ is of finite measure, for the measure on it inherited from Haar measure on G (leftinvariant, or rightinvariant—the definition is independent of that choice). That will certainly be the case when G/Γ is compact, but that sufficient condition is not necessary, as is shown by the case of the modular group in SL_{2}(R), which is a lattice but where the quotient isn't compact (it has cusps). There are general results stating the existence of lattices in Lie groups.
A lattice is said to be uniform or cocompact if G/Γ is compact; otherwise the lattice is called nonuniform.
Lattices over general vectorspaces
Whilst we normally consider lattices in this concept can be generalised to any finite dimensional vector space over any field. This can be done as follows:
Let K be a field, let V be an ndimensional Kvector space, let be a Kbasis for V and let R be a ring contained within K. Then the R lattice in V generated by B is given by:
Different bases B will in general generate different lattices. However, if the transition matrix T between the bases is in GL_{n}(R)  the general linear group of R (in simple terms this means that all the entries of T are in R and all the entries of T ^{− 1} are in R  which is equivalent to saying that the determinant of T is in R ^{*}  the unit group of elements in R with multiplicative inverses) then the lattices generated by these bases will be isomorphic since T induces an isomorphism between the two lattices.
Important cases of such lattices occur in number theory with K a padic field and R the padic integers.
For a vector space which is also an inner product space, the dual lattice can be concretely described by the set:
or equivalently as,
See also
 Lattice (order)
 Reciprocal lattice
 Unimodular lattice
 Crystal system
 Mahler's compactness theorem
 Lattice graph
 Latticebased cryptography
References
 Conway, John Horton; Sloane, Neil J. A. (1999), Sphere Packings, Lattices and Groups, Grundlehren der Mathematischen Wissenschaften, 290 (3rd ed.), Berlin, New York: SpringerVerlag, ISBN 9780387985855, MR0920369
Categories: Lattice points
 Discrete groups
 Lie groups
 Analytic geometry
Wikimedia Foundation. 2010.
Look at other dictionaries:
Lattice group — In mathematics, the term lattice group is used for two distinct notions:* a lattice, a discrete subgroup of R n and its generalizations.* a lattice ordered group, a group that with a partial ordering that is a lattice order … Wikipedia
Lattice Group plc — National Grid National Grid Création 1990 … Wikipédia en Français
Lattice — may refer to: In art and design: Latticework an ornamental criss crossed framework, an arrangement of crossing laths or other thin strips of material Lattice (pastry) In engineering: A lattice shape truss structure In mathematics: Lattice (order) … Wikipedia
Lattice based cryptography — is the generic term for asymmetric cryptographic primitives based on lattice. HistoryLattice have first been discovered by mathematicans Lagrange and Gauss. Lattice have been used laterly in computer algorithms and in cryptanalysis. In 1996 Atjai … Wikipedia
Lattice (order) — See also: Lattice (group) The name lattice is suggested by the form of the Hasse diagram depicting it. Shown here is the lattice of partitions of a four element set {1,2,3,4}, ordered by the relation is a refinement of . In mathematics, a… … Wikipedia
Lattice (mathematics) — In mathematics, the term lattice can mean:* A partially ordered set (poset) in which any two elements have a supremum and an infimum mdash;see lattice (order). The Hasse diagrams of these posets look (in some simple cases) like the lattices of… … Wikipedia
Lattice — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. En mathématiques, un treillis est un ensemble ordonné où toute paire d éléments a une borne supérieure et une borne inférieure uniques. Lattice… … Wikipédia en Français
Lattice gas automaton — Lattice gas automata (LGA) or lattice gas cellular automata (LGCA) methods are a series of cellular automata methods used to simulate fluid flows. It was the precursor to the lattice Boltzmann methods. From the LGCA, it is possible to derive the… … Wikipedia
Group theory — is a mathematical discipline, the part of abstract algebra that studies the algebraic structures known as groups. The development of group theory sprang from three main sources: number theory, theory of algebraic equations, and geometry. The… … Wikipedia
Lattice (discrete subgroup) — In Lie theory and related areas of mathematics, a lattice in a locally compact topological group is a discrete subgroup with the property that the quotient space has finite invariant measure. In the special case of subgroups of R n , this amounts … Wikipedia