11 Dec 2016

Lattices and sphere packings

This article assumes basic knowledge of linear algebra and group theory.

What is a lattice? Good question. First, we’ll need to define some concepts.

Definitions

When we think of the word lattice, we most likely envision some kind of spacial structure. The faces of a crystal, or the metal beams of a bridge that form a repeating pattern of shapes. Using mathematics, we can distill this structure down to a periodic arrangement of points in some -dimensional space.

There are many formal ways to define a lattice, some many pages long. Let’s restrict ourselves to Euclidean vector spaces, and use group theory to simplify our definition. We start with the definition of a discrete subset.

Definition 1 (Discrete subset).

A subset of is discrete if for each there exists a positive real number such that the only vector with is given by .

In less formal terms, this just means that is a bunch of individual points that don’t touch each other.

Definition 2 (Additive subgroup).

A subgroup is additive if , and for every .

Essentially, we restrict the group operation to addition. Using the previous two definitions, we can now define a lattice.

Definition 3 (Lattice).

A lattice is any discrete, additive subgroup of .

It turns out that every lattice can be represented by a basis of linearly independent vectors. By taking all the linear combinations of these vectors such that the coefficients are integer, we obtain . While by no means trivial, this is a pretty intuitive result! Lattices are often represented in this way, in the form of a matrix. It’s important to note that such a basis is not unique (why?).

The sphere packing problem

My favorite introduction to the idea of a lattice is through the sphere packing problem. This is a classical problem, concerned with finding out how densely you can pack spheres of identical size. Spheres don’t pack nicely. Whichever way you arrange them, there will be unused space. Nonetheless, you’re probably familiar with the answer. If you’ve ever been to a grocery store, you’ll have seen the way that oranges are stacked on the stand. That this is the optimal packing in three dimensions is called the Kepler conjecture.

We naturally generalize this problem to other dimensions. In one dimension, this problem is easy. A one-dimensional sphere is simply a line segment. We can place each segment end to end, obtaining a packing that uses all of the space available. In two dimensions, we can take an infinite row of circles, and arrange it as closely as possible to another row. This results in a hexagonal pattern, in which approximately 0.91 of space is used. The method of stacking oranges in three dimensions is also called the face-centered cubic packing, and it uses a little over 0.74 of space.

While the results in the first two dimensions have long been known to be optimal, the Kepler conjecture was only proven in 1998! It took four years to peer review, and even then, there remained some doubt. It was only in 2014 that a complete formal proof was given. The sphere packing problem is hard.

If we draw points at the center of the spheres in all three packings, it turns out that we obtain lattices. That this is the case is remarkable, and not entirely intuitive! After all, there is no reason why the densest packing in a dimension should have group structure. Indeed, there are many dimensions in which the densest packing known is not a lattice at all (note the use of the word known, for they have not been proven optimal!). In this article we will focus on lattice packings, as they are generally more interesting.

Lattice density

Since we’re interested in maximizing packing density, let’s take a look at how to calculate the density of a lattice. Let us, for the rest of this article, restrict ourselves to full rank lattices, i.e. those living in dimensions, and having linearly independent basis vectors. Suppose has basis vectors . Consider the region defined by

We call this region a fundamental parallelotope for . We can tile with this region, which contains exactly one lattice point per copy. The determinant of a matrix can be viewed as the scaling factor of the transformation described. It follows, then, that is equal to the volume of the fundamental parallelotope (think of the identity matrix, and the -cube fundamental parallelotope it describes. When we transform this matrix by , this cube of volume 1 is scaled by ). This volume is unique to , and not dependent on the basis. All we need now is the volume and radius of an -sphere, and we can give a formula for the density of a lattice packing. First, however, we define a metric for how close together the points of a lattice are.

Definition 4 (Minimal distance.)

A shortest nonzero lattice vector defines the minimal distance of a lattice . Alternatively,

Definition 5 (Density).

If we denote the volume of an -sphere of radius 1, the density of the sphere packing given by the lattice is

Often, we will leave out . This is , or the center density of the lattice. It can be interpreted as the average number of lattice points per unit volume. By scaling the lattice such that , we are left with only the inverse of the determinant. This gives us an easy way to compare the density of lattices.

The densest packing in one dimension is also the most trivial lattice there is – the set of integers, ! It is easy to verify that this set is discrete, and also a group under addition. We can easily extend this lattice to dimensions, forming the integer lattice . If we consider -spheres of radius 1 (i.e. a lattice consisting of all points with even integer coordinates), we see that the center density (equal to ) decreases rapidly with the dimension.

Lattices packings in higher dimensions

Finding dense lattices in higher dimensions is no easy task. There is no standard formula or technique that leads to dense lattices in a given dimension. John Leech found his lattice in 1967 by studying binary error-correcting codes, and lifting one such code to . By restricting the sum of the coordinates to zero modulo 4, and then sliding another copy of the resulting lattice into itself, he discovered what is now known as the Leech lattice.

Despite this difficulty, using a variety of techniques lattices in higher dimensions have been discovered and catalogued. Doing so revealed two very exceptional lattices. In eight dimensions, we have , also known as the Gosset lattice. This lattice was discovered as early as the late 1800s, and has a very simple construction. We first define the lattice as follows:

This lattice sequence, similar to that of the integer lattice, suffers from rapidly decreasing center density as grows. Big holes appear and increase in size. However, in eight dimensions, these holes are arranged in such a way that it is possible to slide another copy of into itself. This creates a new lattice with double the density but the same minimal distance! Formulaically,

In twenty-four dimensions, we have the previously mentioned Leech lattice . Constructions for the Leech lattice are more complex, and typically make use of other mathematical objects, such as the Golay code. However, there is a nice inductive construction of the Leech lattice that highlights one of its special properties.

Definition 6 (Laminated lattice).

Let be the laminated lattice in zero dimensions, consisting of a single point. Take the set of all -dimensional lattices (for ) with minimal distance 2 having at least one sublattice that is laminated. Any lattice having minimal determinant in this set is a laminated lattice.

We use to denote a laminated lattice. The above definition might be difficult to grasp, but it is actually a very intuitive way to construct a lattice. We start with the only laminated lattice in one dimension, . Drawing a row of unit circles centered around these points, we can obtain the hexagonal lattice (better known as ) by packing rows as close to each other as possible. Compactly layering the hexagonal lattice in three dimensions gives us the face-centered cubic lattice , which is equivalent to the familiar structure of stacked oranges on a fruit stand. In essence, we laminate infinite copies of the previous lattice into the new dimension.

For the first eight and also the twenty-fourth dimensions, the laminated lattices are unique, and also give optimal lattice packings. The unique is known as the Leech lattice! Its center density is exactly 1, which is higher than that of all known packings in lower dimensions. In general, laminated lattices are not necessarily unique, nor do they necessarily give the densest lattice packing in their dimension.

So what makes and so special? This question has many possible answers, as both lattices are intimately related to a large number of other branches of mathematics. Certainly, the why is more elusive, and not well understood. In the context of sphere packing, they are simply unexpectedly good packings.

Mathematicians have attempted to find tight upper bounds on the center density as long as the sphere packing problem has been studied in detail. Many of these bounds have been found and improved throughout the years. While the best known packings in nearly all dimensions fall well short of these bounds, and were shown to come extremely close. So close, that most were convinced of their packing optimality in general, in addition to being optimal among lattice packings. Remarkably, both lattices have the property that all densest lattice packings in lower dimensions can be found in their cross-sections. For the Leech lattice, this is especially interesting, as the densest lattices in some dimensions (such as 11, 12, and 13) are not laminated lattices! Indeed, some of these dense lattices were only discovered due to the discovery of and .

Earlier this year, two papers were posted that finally prove and to be optimal sphere packings in their respective dimensions. Although there was little doubt left, it is very nice to finally have proof, and some sense of closure. The sphere packing problem has now been solved in one, two, three, eight, and twenty-four dimensions.

It remains an exceptionally difficult problem!

Resources

[1] Gabriele Nebe and NJA Sloane. Table of densest packings presently known. http://www.math.rwth-aachen.de/~Gabriele.Nebe/LATTICES/density.html.

[2] John H Conway and NJA Sloane. Sphere packings, lattices, and groups. SpringerVerlag, New York, 1993.