Crystallography & Symmetry
patterns derived from their groups
Concept

Kissing number — where it appears

How many of a lattice's vectors have the minimum length, which is how many spheres touch each one in the packing. It is a theta-series coefficient read at the first shell, so a question about touching spheres is a question about counting lattice points.

Named by 3 essays across 2 fields — each of them below, with the objects they name alongside it.

The shells of the hexagonal lattice. Every point of the hexagonal lattice within a squared distance of 24, with a circle drawn at each length that occurs. The form is x² + xy + y², and the number of points on each circle is a coefficient of the lattice's theta series: 6 at 1, 0 at 2, 6 at 3, 6 at 4, 0 at 5, 0 at 6, 12 at 7, 0 at 8. The gaps matter as much as the counts — a circle with no points on it is a length the lattice does not have, and which lengths those are is a question in number theory rather than in geometry.

How many vectors of each length

Counting the lattice points at each distance from the origin turns out to be a question about divisors, and the answer explains something a crystallographer meets every day: why a cubic powder pattern has no line at seven.

lattices · Lengths The whole space of plane lattices, and its corner. Every plane lattice appears exactly once in this picture. Scaling changes no density, so the leading coefficient is fixed at one; reduction then confines the other two to 0 ≤ b ≤ 1 ≤ c, and every lattice has exactly one reduced form. The curves are the levels of constant density, which are parabolas — a density d needs 4c − b² to equal (π/2d)². They crowd toward the corner b = c = 1, which is the hexagonal lattice at π/√12 ≈ 0.9069; the square lattice sits on the left edge at π/4 ≈ 0.7854. The picture is a search over a region rather than over a list, which is what makes the answer a decision: there is nowhere else for a lattice to be.

The densest lattice in the plane

Which arrangement of equal discs covers the most floor is a question about infinitely many lattices, and reduction turns it into a question about a two-parameter region with a corner. The answer is at the corner, and the argument finishes.

applied · Packing How far apart points on a sphere can be kept. For each number of points, the largest smallest angle a search could find between any two of them. Two unit spheres touching a third do not overlap exactly when their contact points are 60° or more apart, so the largest count whose best arrangement still clears 60° is the kissing number. Twelve clears it with three degrees to spare and thirteen falls short by more than three. The circle column is the same problem in the plane, where the answer is exactly 360/n and needs no search at all.

The room a thirteenth sphere would need

Twelve equal spheres touch one, and whether a thirteenth could was argued in 1694 and settled in 1953. The reason it took so long is measurable: the twelve leave three and a half degrees of slack, which is enough room to look promising and not enough to use — and in the plane, where the same question has no slack at all, nobody ever argued.

applied · Packing

Named alongside it

The objects these essays reach for when they reach for this one.

Close packingCoordination numberLatticePacking fractionQuadratic formBasis reductionDecidabilityDivisor sumGaussian integerHolohedryKepler conjectureMultiplicity

All concepts