Crystallography & Symmetry
patterns derived from their groups
Concept

Dual lattice — where it appears

The set of vectors whose inner product with every vector of a lattice is a whole number, which is the reciprocal lattice up to a convention about factors of 2π. Its Gram matrix is the inverse of the original's, and in two dimensions that makes it the same lattice turned through a right angle and scaled.

Named by 5 essays across one field — each of them below, with the objects they name alongside it.

Building the reciprocal lattice from spacings. Each family of lattice rows has a spacing, and each contributes one reciprocal point: perpendicular to the rows, at the inverse of the spacing. The points built that way were compared against the algebraic definition and agree exactly.

The dual lattice, as a construction

The reciprocal lattice is usually introduced as a formula and then used as a fact. Building it instead — one point per family of lattice rows, at the inverse of the spacing — makes every property it has obvious rather than memorable.

lattices · Lattice One change of basis turns a Gram into its own adjugate. For each Gram matrix: the matrix after the basis change by a right-angle rotation, and the adjugate. They are equal, always — and the adjugate is the determinant times the inverse, which is the dual lattice's Gram. So the dual is the same lattice on a rotated basis, scaled by one over the determinant. Five rows are the named plane lattice types and the rest have entries picked at random, because the claim is an identity in integers and not a property of the five.

Every plane lattice is its own dual

The dual of a lattice has the inverse Gram matrix, and in two dimensions the inverse is the adjugate over the determinant — which is what one particular change of basis does to a Gram. So a plane lattice's dual is the lattice itself, turned through a right angle and scaled, for every lattice with no exception. In three dimensions it is a condition, and the face-centred and body-centred cubic lattices are duals of each other rather than of themselves.

lattices · Lattice Perfection is a rank, and most lattices do not reach it. For each lattice, the rank of the matrices vvᵀ built from its shortest vectors, against the dimension of the space of symmetric matrices those live in. Reaching it means the shortest vectors pin the form down completely: no deformation keeps every one of them at its length. Falling short means there is a direction left to move in, and the lattice is not a local maximum of density.

One perfect form in space

Which lattice packs spheres most densely is a question about a maximum over a continuum, and Voronoi turned it into a rank calculation and a sign check. A lattice is a local maximum exactly when its shortest vectors pin its shape down completely and its inverse can be written over them with positive coefficients. Searching every reduced integer form of minimum two finds one such lattice in the plane and one in space.

lattices · Packing Both sides of the transformation, on five lattices. A Gaussian of width set by t on every point of a lattice, summed; and the same sum over the dual lattice with the width inverted and the covolume divided out. The two agree to the last bit a double carries, at every t and on lattices with no symmetry in them, so nothing here is a coincidence of parameters. The identity is exact and the reason to have it is that the two sides do not cost the same.

The sum that turns a lattice into its dual

Put a Gaussian on every point of a lattice and add them up. The answer equals the same sum over the dual lattice with the width inverted and the covolume divided out — exactly, to the last bit a double carries, on lattices with no symmetry in them. The identity is free and the reason to have it is that the two sides do not cost the same: at one end of the range the direct sum needs forty thousand terms and the dual sum needs a hundred and twenty-five.

lattices · Lengths The same terms, added in two shapes. Partial sums of the alternating 1/r sum over the simple cubic lattice, taken over expanding cubes and over expanding spheres. The terms are identical and only the order differs. The cubes creep towards 1.747565 — 1.7258 by the last point drawn — and the spheres do not settle at all, landing at -3.527 after passing through values on both sides of it. A conditionally convergent sum has no value until the order is named.

The sum whose answer depends on the shape

Give the points of a cubic lattice alternating signs and add up one over the distance. Added over expanding cubes the total creeps towards 1.747565; added over expanding spheres it does not converge at all, landing on both sides of that number and never settling. The terms are identical and only the order differs. Splitting the sum in two with the theta transformation gives it a value — ten decimal places from a few thousand terms.

lattices · Lengths

Named alongside it

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

Gram matrixReciprocal latticeBravais latticeChange of basisLatticeLattice sumShortest vectorTheta seriesConvergenceDeterminantInterplanar spacingLattice planes

All concepts