Crystallography & Symmetry
patterns derived from their groups
Concept

Forcing — where it appears

The property of a set of local rules that every arrangement obeying them has some global feature. Penrose's rhombs tile the plane periodically without difficulty; what cannot be done periodically is tiling them according to the decoration.

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

The tile does not force aperiodicity — the decoration does. A rhomb with the acute angle of a Penrose tile, repeated by the lattice its own edges generate. The tiling is periodic, so the shape forbids nothing. Adding the edge decoration changes the answer: every interior edge of this tiling presents a double arrow against a single one, which the matching rule refuses.

Matching rules, and what actually forces aperiodicity

The two Penrose rhombs are usually said to tile the plane only aperiodically. They tile it periodically without difficulty. What cannot be done periodically is tiling them according to the decoration, and the distinction is the whole result.

aperiodic · Aperiodic The seven frieze groups. Every way of repeating a motif along a strip. Seven, and no more: the only ingredients are a translation, a mirror across the strip, a mirror along it, a half-turn and a glide, and most combinations of those turn out to generate one another.

Seven friezes

The same classification argument on a strip instead of a plane, where it is short enough to check by hand. Seven ways to repeat a motif along a line, with names like hop, step and sidle.

classification · Friezes The seventeen sorted by lattice: 2, 5, 2, 3, 5. The five plane lattices, each drawn from the basis every other figure here uses, with the wallpaper groups that sit on it and the order of each against its lattice's holohedry. The counts are 2, 5, 2, 3, 5, which is seventeen again, arrived at by a different route from the case analysis on rotation order. Two relations hold and both are checked. Every group's order divides its lattice's holohedry, because an operation has to map the lattice onto itself before it can map the pattern onto itself — which is why a quarter turn has nowhere to live but a square lattice. And the converse fails on every one of the five: each lattice carries at least one group whose order falls short of what the lattice offers, so knowing the lattice narrows the group to a handful of candidates and never to one. The pairs printed in the accent colour are the groups that take everything their lattice permits.

The classification proof, one branch at a time

Seventeen is a theorem, and the argument that establishes it is a finite case analysis that fits on a few pages. Working through it is the difference between knowing the number and knowing why there is no eighteenth.

classification · Seventeen Why seven — all 16 candidates. Every subset of the 4 extras available on a strip, closed under composition and named from the operations that come out. 16 candidates give 7 distinct groups: 9 of them generate operations they were not given and land on a group already listed.

Why sixteen become seven

Four extra operations give sixteen combinations and seven groups. The nine that vanish are not cases anybody forgot — each one comes back from the closure holding something it was never given, and one of them changes the lattice underneath it.

classification · Friezes Y-pentomino: A B C D E F, with 6 arcs. The boundary of the Y-pentomino cut into six arcs. A runs from one corner to another and D is the same arc traversed backwards, so D is a translate of A and the translation is (3, 1) cells. Each of B, C, E and F is carried onto itself by the half turn about its own midpoint, and those midpoints are the four marked dots — That is Conway's criterion, and a shape meeting it tiles the plane by translations and half turns.

A tiling of the whole plane, decided on one tile's edge

Whether a shape tiles the plane is a question about an infinite object, and there is no procedure that answers it. There is a procedure that answers it *sometimes*, and it reads nothing but the shape's own boundary — a closed path of a few dozen steps, cut into six arcs. When the cut exists the tiling exists, and the cut names the group that makes it.

classification · Isohedral heesch-two: surrounded 2 times. A shape that tiles nothing, with the rings of copies it does accept: the seed in the first colour and 2 coronas of 7 and 16 copies round it. The search that built this finished, so the shape's Heesch number inside this box is exactly 2, and it cost 3,097 placements. Every cell touching a tile of one ring, corners included, is covered by the next.

Surrounded twice over, and covering nothing

A shape that tiles the plane can be surrounded by copies of itself for ever. A shape that tiles nothing cannot be surrounded for ever — but it can be surrounded once, and sometimes twice, and the number of times is a measurement of how much local success a global impossibility permits.

classification · Decidability

Named alongside it

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

ClassificationLocal rulesCase analysisDecidabilityEnumerationFrieze groupTiling by a groupAperiodic tile setCertificateClosureConway criterionDecorated tile

All concepts