Crystallography & Symmetry
patterns derived from their groups
Concept

Round trip — where it appears

Generating a pattern from a group, forgetting the group, rediscovering it from the bare point set, and requiring the two to agree exactly. Both directions matter: detecting fewer symmetries than were generated looks wrong, and detecting more does not.

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

The round trip, on Pnma. 8 operations were generated from the standard generators of Pnma; the orbit of three points in general position was formed, the group was discarded, and 8 operations were rediscovered from the 24 points alone. The two sets are identical, which is what the figure asserts.

Forgetting a group in three dimensions

For three phases this site said its machinery was two-dimensional and decided nothing about a space group. That was true, and it was a limit rather than a principle — nothing in the decidability argument mentions the number two.

space-groups · Space groups Why p4 cannot be drawn with dots. The same group applied to a single dot and to a motif with no symmetry of its own. The dot's orbit turns out to have more symmetries than the group it was made with, so a figure drawn that way illustrates a different group from the one in its caption.

The motif must be a comma

A dot is too symmetric to illustrate most wallpaper groups. Its orbit acquires mirrors nobody asked for, and the resulting figure is quietly of a different group from the one in its caption.

classification · Accidental symmetry Growing the p4 orbit. One motif, then more of the group's operations applied to it, until applying another produces nothing new. The pattern is the orbit; the drawing is only its shadow.

The orbit is the pattern

A wallpaper is not designed and then found to have symmetry. It is the set of places a group sends a single mark, and once that is taken literally the pattern can be grown, checked, and caught out.

operations · What symmetry is p4m, displaced and then measured. Every atom of a p4m pattern moved by up to 1.2 per cent of a cell edge, and the resulting positions examined at 26 tolerances. At zero tolerance only the identity survives, so the structure has no exact symmetry whatever. Between 0.021 and 0.094 the count sits at 8, which is the group that was displaced. Above that it climbs to 15, accepting operations no version of this pattern has. The climb is not even steady: at 4 of the 25 steps the count falls as the tolerance is loosened, because operations accepted separately at one threshold merge into one at the next. The correct answer is a step on a staircase and nothing in the coordinates says which step.

Near-symmetry, and the tolerance that is not here

Every claim on this site is decided by integer arithmetic, so no threshold is ever chosen. Measured coordinates do not arrive that way, and the moment a tolerance is introduced the answer stops being a fact about the structure and becomes a fact about the threshold.

diffraction · Accidental symmetry Every group decided by a window of radius 1. For each of the seventeen, the radius at which a round window on the pattern admits exactly the group's own operations and no others — with the numbers it admits at each smaller radius beside it. Two opposite failures are visible. Most groups under-report at small radii, because an operation carrying points out of the window cannot be tested at all; cm over-reports, admitting operations the pattern does not have. The groups that take longest to settle are the ones distinguished by a glide, which moves a point half a cell before anything can be compared.

How much pattern is enough

Every claim here about a pattern's group is a claim about an infinite pattern. A reader sees a patch. Measuring what a finite window can decide gives a number — about one cell's radius — and two opposite ways of being wrong on the way there.

classification · Seventeen 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.

classification · Tilings P2₁/c from 27 marks. The marks of P2₁/c's plan, counted by kind, and what they rebuild to. Each mark is reduced to what a reader can see and handed to a closure with the matrices withheld: an axis gives its direction, its position and how far one turn advances along it; a plane gives its normal, its position and its slide. The lattice supplies the candidate matrices, the closure supplies the rest, and what comes back is the group — 4 operations against 4, with nothing missing and nothing extra.

The plan contains the group

A space-group diagram has always been treated here as a picture of the group. It is more than that: hand back the marks alone — no matrices, no operations, not even the centring — and the group comes out exactly, forty-five times out of forty-five.

space-groups · Space groups pg scatters as pmm. The orbit of a motif under pg, and the set of all ordered differences between its points brought to a common origin. The vector set was handed to the detector with no indication of where it came from, and came back as pmm: 31 peaks from 6 atoms, on the same lattice.

Seventeen groups, seven vector sets

A map of interatomic vectors is more symmetric than the structure it came from, twice over: it always acquires a centre, and it loses every translation part. So a glide becomes a mirror, seventeen plane groups collapse onto seven — and the collapse is verified by handing the vectors to a detector that has never heard of Patterson.

diffraction · The Patterson function p4m from 3 orbits of waves — detected p4m. A density built as a sum of 3 symmetry-adapted waves of p4m, each of them the average of a plane wave over the group, shaded from light to dark across one cell. The level set of this density — the darkest points of it — was handed to the same detector the pattern figures use, and it reports p4m, which is exactly the group the waves were built from. The waves are invariant by construction, so the density can never have less symmetry than the group; the interesting direction is the other one.

How many waves a group permits

A pattern can be written as a sum of waves instead of as an orbit of a motif, and then the group ties the coefficients together and forbids some outright. Building a density from the permitted ones and handing it back to the detector closes the same loop through a different door — and at low resolution the density has symmetry the crystal has not.

classification · Seventeen

Named alongside it

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

Accidental symmetryDecidabilityDetectionStabiliserAsymmetric unitGlide reflectionOrbitSpace group determinationSystematic absenceArchimedean tilingAutocorrelationCentric reflection

All concepts