Crystallography & Symmetry
patterns derived from their groups
Concept

Discreteness — where it appears

The property of a point set that its points are separated by at least some fixed distance. It is one half of what a diffraction pattern's sharpness reports, the other being that the set is relatively dense.

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

Assuming a 5-fold rotation. The shortest lattice vector, its rotated copies, and the combination of them that is itself a lattice vector. Where that combination comes out shorter than the vector assumed shortest, the assumed rotation cannot exist.

Why five-fold is impossible

A second proof, geometric rather than algebraic: assume a five-fold centre, and out of it construct a lattice vector shorter than the shortest one there is.

restriction · Restriction incommensurate: "dense on a line". The shortest non-zero vector a subgroup contains, as the search widens, against the square lattice drawn flat behind it as a control. For a lattice the answer is constant: the shortest vector is the shortest vector, and looking further finds nothing nearer. For a subgroup that is not a lattice it falls without limit, because the convergents of a continued fraction give integers making the combination arbitrarily small. This one falls from 0.414 to 1.2e-2 over bounds 1 to 64, which is the verdict "dense on a line" arrived at by measurement rather than by reading a definition. Nothing here is decided by asking whether a ratio is rational; the ratio is a float and the question would be undecidable of one.

Discrete, or dense, and nothing between

Every count in this collection rests on a hypothesis nobody states, because it is built into the word lattice: the translations of a pattern form a discrete subgroup of the plane. Drop it and the counts do not become larger — they stop existing, because the object stops being a lattice. A subgroup of the plane is one of five things, and only two of them are lattices.

lattices · Lattice One patch of radius 2. A Penrose patch of 476 vertices, with the vertices within 2 edge lengths of one of them marked and the circle drawn. That marked set, written in coordinates relative to its centre, is what the census compares: two vertices have the same patch when their marked sets agree. Every vertex of the tiling is the centre of one such patch, and the question is how many different ones there are.

How many patches of each size

A periodic tiling has one kind of neighbourhood however far out you look. Random points have as many kinds as neighbourhoods. A Penrose tiling has a number in between that never stops growing and never catches up — and the count is a measurement rather than a theorem.

aperiodic · Complexity p4: the map comes back. p4 written on two bases related by an integer matrix of determinant one, and about two origins. The two descriptions share no coordinate; they are the same group. The matrix and the origin shift were then recovered from the two operation sets alone — which is what Bieberbach's theorem promises, carried out as a search over the integer matrices and the origins the lattice permits, and checked by applying what was found.

The same group means the same pattern

Seventeen patterns is not the same statement as seventeen groups. Two patterns that look nothing alike could in principle have symmetry groups that are abstractly the same, and then the classification would be a classification of drawings. Bieberbach's theorem says they cannot — and the affine map that proves it can be recovered from the two operation sets alone.

restriction · Finiteness Two turns and their undoing leave a slide. A turn g by 90° about the point c and a turn h by 60° about d. The marked point p is carried back 60° about d, back 90° about c, forward 60° about d and forward 90° about c, and does not return: it arrives displaced by a vector of length 2.371, which is 4·sin 45°·sin 30°·|c − d|. Two other points put through the same four motions move by the same vector, drawn beside them, because the commutator g h g⁻¹ h⁻¹ of two rotations of the plane is a translation — (I − A)(I − B)(c − d) exactly — whatever the angles and the centres.

What forces a lattice

Every enumeration here starts from a lattice of translations, and the lattice is usually taken as given. It need not be. A group of motions that is discrete, and leaves no point far from an orbit, has to contain one — in the plane by an argument four lines long, each line a picture, and in space by an inequality whose threshold turns out to be the six-fold rotation.

restriction · Finiteness Identical layers, each turned by an angle no number of turns undoes. Plan views of 4 layers of a stack. Each layer is the same square lattice with one cell shaded and one direction drawn, and each is turned from the one below through the angle whose cosine is three fifths, about 53.13 degrees. That angle is not a rational part of a full turn, so no number of layers brings the drawn direction back to where it started. A tiling of space with this structure has a symmetry that turns one layer onto the next and climbs one layer, and it has no translation.

Aperiodic is two words in space

A tile is aperiodic when none of its tilings is periodic, and periodic has been read two ways: a tiling with a translation, or a tiling with infinitely many symmetries. In the plane those are one condition, provably. In space they come apart, and a prism found in 1988 sits exactly in the gap.

aperiodic · Monotile Three conditions, and a near-miss for each. Zassenhaus's characterisation asks a group for a normal subgroup that is free abelian of finite rank, of finite index, and maximal among the group's abelian subgroups. Four groups against those three clauses. The free group on two letters has no non-trivial abelian normal subgroup at all; the discrete Heisenberg group has one that is free abelian of rank two and maximal abelian, and its index is infinite; ℤ² × ℤ/2 has a free abelian normal subgroup of index two, and the maximal one has torsion in it. Each fails a different clause, which is what shows no clause is redundant. The infinite dihedral group passes and is crystallographic in one dimension.

Which groups a crystal could have

Bieberbach's theorem is a statement about a group acting: discrete, no point far from an orbit. Zassenhaus turned it round into a statement a group can satisfy on its own — a maximal abelian normal subgroup, free of finite rank, of finite index — and each of those three clauses is kept out of redundancy by a group that fails it and nothing else.

restriction · Finiteness An orbit on a parabola, discrete and cocompact. The images of the origin under the group generated by two commuting affine maps of the plane: A slides one step along x and lifts y by the x it started at plus a half, and B is the translation by one in y. The images are the points with whole-number first coordinate and second coordinate a whole number above half the square of it, so the large dots lie on the dashed parabola and the small ones are the rest of the orbit. No two distinct images come closer than 1.000, and no point of the square between the axes lies farther than 0.610 from one — so the action is discrete and its quotient is compact, which is exactly what Bieberbach's first theorem asks for.

Straight lines, and no distances

Every finiteness met so far rests on the motions preserving a metric, because the trick that produces one is an average and an average needs something to average over. Keep the straight lines and drop the distances, and Bieberbach's first theorem is false in the plane — by an example two lines long, whose group is the plane's own translations and whose translations have rank one.

restriction · Finiteness The closure is a lattice exactly when the orders allow one. Twelve pairs of rotation orders, with a centre of each order placed one unit apart and the group they generate closed out to words of length 6. The linear parts reached are exactly the least common multiple of the two orders, every time — two rotations generate rotations, and the angles they generate are the multiples of the smaller of two fractions of a turn. A lattice admits rotations of order one, two, three, four and six and no others, so the closure can be a plane group exactly when that multiple is one of those five. The pairs where it is not are the pairs where the translations keep getting shorter.

Closing the plane from two centres

Put two rotation centres down and close under composition: the result is a plane group or is not discrete, and nothing in between. What decides it is the least common multiple of the two orders, because two rotations generate rotations and the angles add — so the crystallographic restriction arrives as a condition on a closure rather than as one on a lattice.

operations · Composition The turns that keep the join discrete. Two copies of p4 on one square lattice, one turned against the other, with the shortest translation their union generates. At a turn whose cosine and sine are both rational the translations are a lattice, and its shortest vector is one over the square root of Σ — where Σ is the odd part of p² + q² for the rational point (p, q) — which the measurement reproduces to six places at every one tried. At a whole number of degrees other than a multiple of ninety there is no such point, and the search finds shorter translations the further it runs.

Two patterns laid over one another

Compose two plane groups rather than two operations. The group generated by both is one of the seventeen or is not discrete at all, with nothing between — and it takes two conditions, one on the rotation orders and one on the turn between the lattices. The turns that work have rational cosines, which by a theorem of Niven's means none of them is a whole number of degrees.

operations · Composition

Named alongside it

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

Lattice translationTranslation groupCrystallographic restrictionFinite groupFixed pointAperiodicityClassificationClosureCoincidence site latticeCommutatorCompositionContinued fraction

All concepts