The collection

Every essay — page 7

One idea per essay, ordered so that the earlier ones set up the later ones — but nothing here depends on being read in sequence.

What a lattice forbids

Only two-, three-, four- and six-fold rotations are compatible with periodicity. The proof takes one line and the exception took a Nobel Prize.

Why the seventeen is a number at all. The classification is finite because three counts in a row are finite, and the first two are where the work is. Finitely many lattice types, because a lattice's symmetry group is a finite group of integer matrices; finitely many such groups, by Minkowski's lemma and his bound; and finitely many ways to attach translations to each, which is the extension problem. Every step is a count this site makes elsewhere — five, thirteen, seventeen — and this is the reason each of those searches was allowed to stop.

Why there is a list at all

Five lattices, seventeen groups, thirty-two classes, two hundred and thirty. Every one of those counts came out of a search that had to know when to stop, and the reason it could stop is a divisibility Minkowski proved in 1887.

Operations

Rotations, mirrors, glides and translations — what a symmetry is, how they compose, and why the composition is a group rather than a list.

What each group leaves distinct. The number of genuinely different ways of putting 2 species on the cells of a 4 × 4 block, for 9 plane groups. Every row starts from the same 65,536 arrangements; what differs is the group identifying them. Each count is Burnside's average of fixed points, and each was required to divide exactly by its group's order.

Every colour count at once

Eight hundred and five structures is the answer for two species on sixteen sites. For three species it is a different sum, and for four another. Averaging cycle counts instead of fixed-point counts turns the answer into a polynomial — and refining the same average says how many structures there are at each composition, which is the number anybody actually needs.

Lattices

The repeating scaffold underneath every crystal. Five in the plane, fourteen in space, and no others — a classification with a short proof.

The lengths do not name the lattice

Seventeen hundred plane lattices, every one with a theta series shared with no other — the lengths determine the lattice, and an exhaustive search says so. In sixteen dimensions two different lattices have identical counts at every distance, and the example is sixty years old.

The classification

Exactly seventeen ways to fill the plane with a repeating pattern. Not a fact to memorise: a theorem, with a finite argument and no eighteenth case.

Twenty-one vertices, eleven tilings

Regular polygons meeting at a point must fill exactly a turn, which is a Diophantine equation with seventeen answers and twenty-one cyclic arrangements. Ten of the twenty-one tile nothing at all — and the argument that kills them counts places round a polygon rather than measuring anything.

What a lattice forbids

Only two-, three-, four- and six-fold rotations are compatible with periodicity. The proof takes one line and the exception took a Nobel Prize.

Modulo 3 injective on all thirteen, modulo 2 on 5. Minkowski's lemma says the kernel of reduction modulo an integer of at least three is torsion-free, so a finite group of integer matrices is carried faithfully into a finite group of matrices over ℤ/3 — which is why the classification is finite, before any bound is computed. The middle column checks it on every finite subgroup of GL(2,ℤ) there is: thirteen classes, no collapses. The right column is the case the lemma has to exclude. Modulo 2, minus the identity is the identity, and 8 classes lose operations.

Reduction modulo three

A finite group of integer matrices survives being reduced modulo three: no two of its operations collide. That single fact proves the classification finite without computing any bound — and modulo two it is false, refuted by the inversion centre.

The classification

Exactly seventeen ways to fill the plane with a repeating pattern. Not a fact to memorise: a theorem, with a finite argument and no eighteenth case.

$The cell of 3.4.6.4, and the vertices in it. 3.4.6.4 drawn with the cell its own translations define. The lattice is hexagonal and the cell holds 6 vertexes, marked. Neither was chosen: the translations are the vertex-to-vertex vectors that carry every polygon of the patch onto a polygon of the patch, and the cell is the shortest independent pair of them. Expressed in that basis the vertices have coordinates that are exact and are not fractions — a vertex of this tiling sits at 1/(1 + √3) of a cell — which is why the detector that decides its group works in ℚ(√3) rather than in the rationals.$

Eleven tilings, five groups

Hand each of the eleven uniform tilings to a detector that has never heard of tilings and ask what its symmetry is. Six of them answer p6m. Twelve of the seventeen wallpaper groups never appear at all — and the coordinates the question has to be asked in are not fractions.

Lattices

The repeating scaffold underneath every crystal. Five in the plane, fourteen in space, and no others — a classification with a short proof.

The region every plane lattice lands in. The shape of a plane lattice is one complex number, τ, and every lattice can be brought by a change of basis into the region shaded here: the strip between 0 and a half, outside the unit circle. Its interior is the oblique lattices. Its left edge is the rectangular ones, its arc and its right edge the centred rectangular ones, and its two corners are the square lattice at i and the hexagonal lattice at ρ. Five kinds, and they are a region, three arcs and two points rather than five things of one sort. The region is unbounded upwards, where the cell gets longer and thinner without limit.

The space every lattice lives in

Five lattices in the plane is the number of *kinds*. The number of lattices is a continuum — and it has a shape: one two-dimensional region with two corners, three edges and an interior, where the five kinds turn out to be a region, three arcs and two points rather than five things of one sort.

Operations

Rotations, mirrors, glides and translations — what a symmetry is, how they compose, and why the composition is a group rather than a list.

glide: 3 mirrors. A glide of the plane, drawn together with the mirrors it is a product of. The first shape is the motif; the pale ones are what each mirror in turn produces; the last is the image the motion itself gives. There are 3 mirrors, which is the smallest number that can produce this kind of motion, and their product was formed and compared with the motion before the figure was drawn.

Three reflections, and never four

Every motion of the plane is a product of mirrors, and the number needed is never more than three. That count is not a curiosity about mirrors — it is the classification of the four motions written as an integer, with the parity of the number deciding handedness and the geometry of the last two mirrors deciding everything else.

The classification

Exactly seventeen ways to fill the plane with a repeating pattern. Not a fact to memorise: a theorem, with a finite argument and no eighteenth case.

3.4.6.4 and its dual. The tiling in pale outline with its dual drawn over it: one dual vertex at the centre of every tile, one dual edge across every shared edge, and one dual tile round every vertex. 3.4.6.4 has 3 kinds of tile and one kind of vertex; its dual has one kind of tile and 3 kinds of vertex, and the congruence of those tiles is checked rather than eyeballed — every dual face presents the same cyclic sequence of squared edge lengths, compared exactly. That swap is what the eleven duals are for: read one way the list classifies tilings with all vertices alike, read the other it classifies tilings with all tiles alike.

Eleven duals, one tile each

Swap the vertices of a uniform tiling for its tiles and the eleven come back as eleven tilings by a single repeated shape. Three of those shapes are pentagons — which is worth pausing over on a site whose other essays prove that five-fold symmetry cannot exist.

Operations

Rotations, mirrors, glides and translations — what a symmetry is, how they compose, and why the composition is a group rather than a list.

P4_1: a screw of 90°. One operation of P4_1, reduced to Chasles' three numbers: an axis, an angle of 90°, and a pitch of 1.25 along it. The points are the orbit of one position under repeated application, which climbs because the pitch is not zero — and it is not zero for any choice of origin, which is what makes this a screw rather than a rotation. It needs 4 mirrors, and their product was checked against the operation before this was drawn.

Every motion of space is a screw

A rigid motion of space that preserves handedness turns about some axis and slides along that same axis, and there is nothing else it can do. Rotations and translations are the two ends of that one description, the axis and the pitch are computed rather than recognised, and the operations a space group is made of stop being a list of kinds.

What a lattice forbids

Only two-, three-, four- and six-fold rotations are compatible with periodicity. The proof takes one line and the exception took a Nobel Prize.

Five solids from one inequality

Five families of rotation group in space, five regular solids, three regular tilings of the plane and an endless supply of hyperbolic ones — all of it is 1/p + 1/q compared with a half, read at its three signs.

Order without repetition

Penrose tilings and quasicrystals — patterns with long-range order, five-fold symmetry, and no repeating cell at all.

The Fibonacci chain: p(n) = n + 1. The number of distinct windows of each length in the Fibonacci chain, measured by sliding a window along 46,368 tiles. Every count is checked against the same count on half the chain, and only lengths where the two agree are drawn — a factor count on a finite word is otherwise a lower bound wearing the clothes of an answer.

n plus one, and no fewer

Slide a window along a chain and count what it can show. A periodic chain runs out of new views; an aperiodic one never does; and the fewest an aperiodic chain can manage is one more than the window's length — which is exactly what the Fibonacci chain manages.

Lattices

The repeating scaffold underneath every crystal. Five in the plane, fourteen in space, and no others — a classification with a short proof.

The region, and its copies. Words in S and T up to length 4, each carrying the region somewhere else. The copies do not overlap and they do not leave gaps: the upper half-plane is tiled by them, one copy per change of basis. That is the whole content of the claim that reduction picks a canonical basis — every basis of every lattice is in exactly one copy, and reduction is the walk back to the shaded one.

Two moves reach every basis

A lattice has infinitely many bases and reduction picks one. Why it can is a fact about a group with two generators and two relations — and the fundamental region tiles the plane with its own copies, one per basis, which is what makes the walk home finite.

Covering and packing want different lattices

A lattice has two natural radii — the largest spheres on its points that do not overlap, and the smallest that leave no gap — and both are radii of the same Voronoi cell. In the plane one lattice is best at both. In space the best packer and the best coverer are different lattices, and they are duals of one another.

Order without repetition

Penrose tilings and quasicrystals — patterns with long-range order, five-fold symmetry, and no repeating cell at all.

Every window returns within 3.0 n. For each window length, the largest distance between two consecutive occurrences of the same window, measured over 46,368 tiles. The gaps are Fibonacci numbers, and the ratio to the window length stays below 3.00 — the chain is linearly repetitive. That is a strong statement of uniformity: there is no stretch of the chain, however far out, in which a given patch fails to occur within a bounded multiple of its own size.

Every patch comes back

A chain that never repeats still repeats everything in it. Every block of tiles occurs again, and again, within a bounded multiple of its own length — and how large that multiple is turns out to be a fact about the continued fraction of a slope.

Operations

Rotations, mirrors, glides and translations — what a symmetry is, how they compose, and why the composition is a group rather than a list.

P222: 16 descriptions of one structure. P222 has 4 operations in a cell. 8 origins leave every one of them exactly where it was, and 8 linear parts of the lattice's holohedry normalise the group, so its Euclidean normaliser has 64 elements per cell and the index is 16. That index is the number of coordinate lists that describe one and the same arrangement of atoms. Each was applied to a motif and the resulting point sets compared: the numbers differ and the sets are identical, which is the check that makes the count mean anything.

One crystal, and sixteen coordinate lists

Two structure reports can disagree in every number and describe the same arrangement of atoms, because a space group does not fix its own origin or its own axes. How many genuinely different lists there are is the index of the group in its Euclidean normaliser — a number, computable, and the thing a structural database has to divide out before it can say two entries are the same compound.

What a lattice forbids

Only two-, three-, four- and six-fold rotations are compatible with periodicity. The proof takes one line and the exception took a Nobel Prize.

Averaging a metric over the group. The 3 pale ellipses are the unit circle carried by each element of a finite group of rational matrices — none of them a rotation, because the group has been skewed out of the orthogonal ones on purpose. Their average is the heavy ellipse, and it is invariant: MᵀAM = A for every element, exactly, in rational arithmetic. So a finite group of matrices is always a group of isometries of some inner product, and every question about how large such a group can be becomes a question about the symmetries of an ellipse. The space of invariant forms here is 1-dimensional, so up to scale the average is the only one.

The average that makes it finite

Two arguments every classification leans on are usually assumed rather than made: that a finite group of motions fixes a point, and that a finite group of integer matrices preserves a metric. They are the same trick — average over the group — and the trick fails exactly where it should.

The classification

Exactly seventeen ways to fill the plane with a repeating pattern. Not a fact to memorise: a theorem, with a finite argument and no eighteenth case.

p1 folds into a torus. The cell of p1 with its edges marked as the group joins them: both pairs by a plain translation, both arrows the same way round. Gluing top to bottom gives a tube and gluing its ends gives a torus. Nothing in p1 holds a point still, so the surface has no marked points and its first homology is two copies of the integers.

The two that fold into a surface

Fold a wallpaper pattern along its own symmetries and what is left is usually a shape with corners and edges nobody drew. For two of the seventeen it is a plain surface with no marks on it at all — a torus and a Klein bottle — and which two is decided by a single question asked of every operation.

Lattices

The repeating scaffold underneath every crystal. Five in the plane, fourteen in space, and no others — a classification with a short proof.

$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.

Operations

Rotations, mirrors, glides and translations — what a symmetry is, how they compose, and why the composition is a group rather than a list.

p1, p2, p4, p6m: every one quadratic. How many elements each group has at word length at most R, to 14 terms, against the same kind of generating set. Every curve is a quadratic in R — which is the group knowing its own dimension, since a crystallographic group of d dimensions grows like R to the d and nothing about the counting mentions the plane. The curves differ by a factor: p1 reaches 421, p2 reaches 786, p4 reaches 1464, p6m reaches 5478.

How fast a group grows

Take a wallpaper group, forget the plane, and keep only the generators and the rule for multiplying. Count the elements that can be spelled in at most R letters. The answer grows like R squared — for every one of the seventeen — and the group has told you the dimension of a plane it no longer knows about.

Order without repetition

Penrose tilings and quasicrystals — patterns with long-range order, five-fold symmetry, and no repeating cell at all.

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.

How it is known

A crystal's structure is read from the pattern it scatters. The reciprocal lattice, systematic absences, and what an experiment can and cannot see.

Everything measurable at λ = 1.54 Å, and it is a finite set. A section through the reciprocal lattice of a cubic cell of 10 Å, with the limiting sphere drawn. Bragg's law reaches a reflection only if its spacing is at least half the wavelength, so the measurable reflections are the lattice points inside a sphere of radius 2/λ and the points outside it are not merely unmeasured — no experiment at this wavelength can reach them. In this section 516 points lie inside; in the full sphere there are 9,092.

How many reflections there are

The reciprocal lattice is infinite and a measurement is not. A wavelength cuts a sphere out of it, the number of points inside is the sphere's volume times the cell's, and symmetry then removes all but a fraction — though never quite the fraction a division would give.

What a lattice forbids

Only two-, three-, four- and six-fold rotations are compatible with periodicity. The proof takes one line and the exception took a Nobel Prize.

60 vertices, 12 pentagons. A closed net with three edges at every vertex: 60 vertices, 90 edges and 32 faces, of which 12 are pentagons and 20 are hexagons. The pentagons are picked out in the second colour. Their number is not a property of this cage — it is twelve for every closed trivalent net of pentagons and hexagons, at any size, and the hexagon count is free.

Twelve pentagons, and no way round them

The crystallographic restriction forbids a five-fold face in a flat repeating net. Curve the net into a closed cage and the same three lines of arithmetic require exactly twelve of them — at any size, with the hexagon count free. What a lattice forbids, closing up compels.

The classification

Exactly seventeen ways to fill the plane with a repeating pattern. Not a fact to memorise: a theorem, with a finite argument and no eighteenth case.

a general quadrilateral tiles. A general quadrilateral — convex, with no equal sides and no parallel edges — with copies placed by half-turns about edge midpoints. The patch was checked by sampling 2000 points inside a disc: every one of them lies in exactly one tile, so there is no gap and no overlap anywhere in the region tested.

Which shapes tile by themselves

Every triangle tiles the plane. So does every quadrilateral, convex or not. Six sides admits three families, seven sides admits nothing at all — and the five-sided case took a hundred years and finished with a computer search. The bound at seven needs no search: it is Euler's relation with the curvature set to zero.

By idea · By group · By object · Search