# E8 lattice

In mathematics, the **E _{8} lattice** is a special lattice in

**R**

^{8}. It can be characterized as the unique positive-definite, even, unimodular lattice of rank 8. The name derives from the fact that it is the root lattice of the E

_{8}root system.

The norm^{[1]} of the E_{8} lattice (divided by 2) is a positive definite even unimodular quadratic form in 8 variables, and conversely such a quadratic form can be used to construct a positive-definite, even, unimodular lattice of rank 8.
The existence of such a form was first shown by H. J. S. Smith in 1867,^{[2]} and the first explicit construction of this quadratic form was given by Korkin and Zolotarev in 1873.^{[3]}
The E_{8} lattice is also called the **Gosset lattice** after Thorold Gosset who was one of the first to study the geometry of the lattice itself around 1900.^{[4]}

The **E _{8} lattice** is a discrete subgroup of

**R**

^{8}of full rank (i.e. it spans all of

**R**

^{8}). It can be given explicitly by the set of points Γ

_{8}⊂

**R**

^{8}such that

It is not hard to check that the sum of two lattice points is another lattice point, so that Γ_{8} is indeed a subgroup.

An alternative description of the E_{8} lattice which is sometimes convenient is the set of all points in Γ′_{8} ⊂ **R**^{8} such that

The lattices Γ_{8} and Γ′_{8} are isomorphic and one may pass from one to the other by changing the signs of any odd number of half-integer coordinates. The lattice Γ_{8} is sometimes called the *even coordinate system* for E_{8} while the lattice Γ′_{8} is called the *odd coordinate system*. Unless we specify otherwise we shall work in the even coordinate system.

The E_{8} lattice Γ_{8} can be characterized as the unique lattice in **R**^{8} with the following properties:

Even unimodular lattices can occur only in dimensions divisible by 8. In dimension 16 there are two such lattices: Γ_{8} ⊕ Γ_{8} and Γ_{16} (constructed in an analogous fashion to Γ_{8}. In dimension 24 there are 24 such lattices, called Niemeier lattices. The most important of these is the Leech lattice.

One possible basis for Γ_{8} is given by the columns of the (upper triangular) matrix

Γ_{8} is then the integral span of these vectors. All other possible bases are obtained from this one by right multiplication by elements of GL(8,**Z**).

The shortest nonzero vectors in Γ_{8} have length equal to √2. There are 240 such vectors:

These form a root system of type E_{8}. The lattice Γ_{8} is equal to the E_{8} root lattice, meaning that it is given by the integral span of the 240 roots. Any choice of 8 simple roots gives a basis for Γ_{8}.

The automorphism group (or symmetry group) of a lattice in **R**^{n} is defined as the subgroup of the orthogonal group O(*n*) that preserves the lattice. The symmetry group of the E_{8} lattice is the Weyl/Coxeter group of type E_{8}. This is the group generated by reflections in the hyperplanes orthogonal to the 240 roots of the lattice. Its order is given by

The E_{8} Weyl group contains a subgroup of order 128·8! consisting of all permutations of the coordinates and all even sign changes. This subgroup is the Weyl group of type D_{8}. The full E_{8} Weyl group is generated by this subgroup and the block diagonal matrix *H*_{4}⊕*H*_{4} where *H*_{4} is the Hadamard matrix

The E_{8} lattice points are the vertices of the 5_{21} honeycomb, which is composed of regular 8-simplex and 8-orthoplex facets. This honeycomb was first studied by Gosset who called it a *9-ic semi-regular figure*^{[4]} (Gosset regarded honeycombs in *n* dimensions as degenerate *n*+1 polytopes). In Coxeter's notation,^{[5]} Gosset's honeycomb is denoted by 5_{21} and has the Coxeter-Dynkin diagram:

The vertex figure of Gosset's honeycomb is the semiregular E_{8} polytope (4_{21} in Coxeter's notation) given by the convex hull of the 240 roots of the E_{8} lattice.

Each point of the E_{8} lattice is surrounded by 2160 8-orthoplexes and 17280 8-simplices. The 2160 deep holes near the origin are exactly the halves of the norm 4 lattice points. The 17520 norm 8 lattice points fall into two classes (two orbits under the action of the E_{8} automorphism group): 240 are twice the norm 2 lattice points while 17280 are 3 times the shallow holes surrounding the origin.

A hole in a lattice is a point in the ambient Euclidean space whose distance to the nearest lattice point is a local maximum. (In a lattice defined as a uniform honeycomb these points correspond to the centers of the facets volumes.) A deep hole is one whose distance to the lattice is a global maximum. There are two types of holes in the E_{8} lattice:

The E_{8} lattice is remarkable in that it gives optimal solutions to the sphere packing problem and the kissing number problem in 8 dimensions.

The sphere packing problem asks what is the densest way to pack (solid) *n*-dimensional spheres of a fixed radius in **R**^{n} so that no two spheres overlap. Lattice packings are special types of sphere packings where the spheres are centered at the points of a lattice. Placing spheres of radius 1/√2 at the points of the E_{8} lattice gives a lattice packing in **R**^{8} with a density of

A 1935 paper of Hans Frederick Blichfeldt proved that this is the maximum density that can be achieved by a lattice packing in 8 dimensions.^{[6]} Furthermore, the E_{8} lattice is the unique lattice (up to isometries and rescalings) with this density.^{[7]} Maryna Viazovska proved in 2016 that this density is, in fact, optimal even among irregular packings.^{[8]}^{[9]}

The kissing number problem asks what is the maximum number of spheres of a fixed radius that can touch (or "kiss") a central sphere of the same radius. In the E_{8} lattice packing mentioned above any given sphere touches 240 neighboring spheres. This is because there are 240 lattice vectors of minimum nonzero norm (the roots of the E_{8} lattice). It was shown in 1979 that this is the maximum possible number in 8 dimensions.^{[10]}^{[11]}

The sphere packing problem and the kissing number problem are remarkably difficult and optimal solutions are only known in 1, 2, 3, 8, and 24 dimensions (plus dimension 4 for the kissing number problem). The fact that solutions are known in dimensions 8 and 24 follows in part from the special properties of the E_{8} lattice and its 24-dimensional cousin, the Leech lattice.

One can associate to any (positive-definite) lattice Λ a theta function given by

Up to normalization, there is a unique modular form of weight 4: the Eisenstein series *G*_{4}(τ). The theta function for the E_{8} lattice must then be proportional to *G*_{4}(τ). The normalization can be fixed by noting that there is a unique vector of norm 0. This gives

where σ_{3}(*n*) is the divisor function. It follows that the number of E_{8} lattice vectors of norm 2*n* is 240 times the sum of the cubes of the divisors of *n*. The first few terms of this series are given by (sequence in the OEIS):

The E_{8} theta function may be written in terms of the Jacobi theta functions as follows:

The E_{8} lattice is very closely related to the (extended) Hamming code *H*(8,4) and can, in fact, be constructed from it. The Hamming code *H*(8,4) is a binary code of length 8 and rank 4; that is, it is a 4-dimensional subspace of the finite vector space (**F**_{2})^{8}. Writing elements of (**F**_{2})^{8} as 8-bit integers in hexadecimal, the code *H*(8,4) can by given explicitly as the set

The code *H*(8,4) is significant partly because it is a Type II self-dual code. It has a minimum Hamming weight 4, meaning that any two codewords differ by at least 4 bits. It is the largest length 8 binary code with this property.

One can construct a lattice Λ from a binary code *C* of length *n* by taking the set of all vectors *x* in **Z**^{n} such that *x* is congruent (modulo 2) to a codeword of *C*.^{[12]} It is often convenient to rescale Λ by a factor of 1/√2,

Applying this construction a Type II self-dual code gives an even, unimodular lattice. In particular, applying it to the Hamming code *H*(8,4) gives an E_{8} lattice. It is not entirely trivial, however, to find an explicit isomorphism between this lattice and the lattice Γ_{8} defined above.

The E_{8} lattice is also closely related to the nonassociative algebra of real octonions **O**. It is possible to define the concept of an integral octonion analogous to that of an integral quaternion. The integral octonions naturally form a lattice inside **O**. This lattice is just a rescaled E_{8} lattice. (The minimum norm in the integral octonion lattice is 1 rather than 2). Embedded in the octonions in this manner the E_{8} lattice takes on the structure of a nonassociative ring.

Fixing a basis (1, *i*, *j*, *k*, ℓ, ℓ*i*, ℓ*j*, ℓ*k*) of unit octonions,
one can define the integral octonions as a maximal order containing this basis. (One must, of course, extend the definitions of *order* and *ring* to include the nonassociative case). This amounts to finding the largest subring of **O** containing the units on which the expressions *x***x* (the norm of *x*) and *x* + *x** (twice the real part of *x*) are integer-valued. There are actually seven such maximal orders, one corresponding to each of the seven imaginary units. However, all seven maximal orders are isomorphic. One such maximal order is generated by the octonions *i*, *j*, and 1/2 (*i* + *j* + *k* + ℓ).

A detailed account of the integral octonions and their relation to the E_{8} lattice can be found in Conway and Smith (2003).

Consider octonion multiplication defined by triads: 137, 267, 457, 125, 243, 416, 356. Then integral octonions form vectors:

In 1982 Michael Freedman produced an example of a topological 4-manifold, called the E_{8} manifold, whose intersection form is given by the E_{8} lattice. This manifold is an example of a topological manifold which admits no smooth structure and is not even triangulable.

In string theory, the heterotic string is a peculiar hybrid of a 26-dimensional bosonic string and a 10-dimensional superstring. In order for the theory to work correctly, the 16 mismatched dimensions must be compactified on an even, unimodular lattice of rank 16. There are two such lattices: Γ_{8}>⊕Γ_{8} and Γ_{16} (constructed in a fashion analogous to that of Γ_{8}). These lead to two version of the heterotic string known as the E_{8}×E_{8} heterotic string and the SO(32) heterotic string.