Crystallography & Symmetry
patterns derived from their groups
Concept

Accidental symmetry — where it appears

Symmetry a pattern has that its construction never intended, from a motif or a position more symmetric than it needed to be. Nothing about the picture betrays it, which is the whole argument for detecting a group rather than asserting one.

Named by 11 essays across 5 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 What p3 scatters, and what the scattering shows. The structure on the left has point group 3, of order 3. The intensities it scatters, on the right, have point group 6, of order 6 — more symmetric than the thing that produced them. Reversing the sign of both indices conjugates every term in the sum and leaves the modulus alone, so a diffraction pattern always acquires a centre of symmetry, and in the plane a centre is a half turn. Both numbers are measured: the left from the operations, the right by testing each candidate against the computed intensities.

The symmetry diffraction adds

A diffraction pattern is always more symmetric than the crystal that made it. The extra symmetry is not a mistake in the experiment and no care removes it — it is a property of what a detector records, and it collapses the seventeen groups onto six.

diffraction · Accidental symmetry 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 p2 in one cell, p4 on average. On the left, a molecule in one orientation at a site whose symmetry is larger than its own: the arrangement has 2 operations and the detector says p2. On the right, the average over the 2 orientations the site offers, which is what a diffraction experiment measures because different cells choose differently and nothing prefers one choice. The average has 4 operations — it is p4 — and every atom in it is present in half of the cells. Both groups are detected from the point sets rather than assumed, and the difference between them is the reason a refined structure can have symmetry no molecule in the crystal has.

The symmetry of an average

A diffraction experiment measures an average over some 10²⁰ unit cells, and the average of several orientations is more symmetric than any of them. So a refined structure can carry symmetry that no molecule in the crystal has — including, in the worst case, a centre of inversion in a crystal built entirely of one hand.

restriction · Local symmetry How often a dot gives the wrong group. Every position on a grid inside the cell, tried as a single-dot motif for each of the seventeen groups. The bar is how often the resulting pattern turned out to have more symmetry than the group it was made with — so the caption would have been wrong and nothing about the picture would have shown it.

The groups ornament actually uses

Seventeen exist and decoration does not use them evenly. Which are common is an empirical question that published surveys answer differently, and part of the reason is a hazard this site can measure exactly.

classification · Ornament How often a dot gives the wrong group. Every position on a grid inside the cell, tried as a single-dot motif for each of the seventeen groups. The bar is how often the resulting pattern turned out to have more symmetry than the group it was made with — so the caption would have been wrong and nothing about the picture would have shown it.

The Alhambra question

Textbooks say the Alhambra contains all seventeen wallpaper groups. Careful analysts of the same building have counted eleven, thirteen, fourteen and seventeen — and the disagreement is not about the mathematics but about what counts as an instance.

classification · Ornament 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 the honeycomb net: cmm against p6m. the honeycomb net drawn twice. On the left a placement chosen by hand, whose symmetry group is cmm of order 4; on the right the placement in which every vertex sits at the average of its neighbours, whose group is p6m of order 12. The graph is identical in the two — the same vertices joined the same way — so every symmetry of the left-hand drawing is a symmetry of the net and the right-hand drawing has them all. Each detected operation is then required to carry every edge of the quotient graph to an edge, which is what makes it a symmetry of the net rather than of the point set.

The placement nobody chose

A net has no coordinates, so drawing one means inventing them. There is exactly one way to invent them that involves no choice: put every vertex at the average of its neighbours. The drawing that results has the largest symmetry group the net admits, and this site's own detector finds it.

applied · Nets One achiral motif in p4, chiral along one line and achiral along two. The same motif — three points with a mirror and no other symmetry — repeated by p4, the plane group of quarter-turns with no mirror, and placed with its mirror along three different lines of the square lattice. Along the first line the pattern has no operation that reverses orientation: it is chiral, although every piece of it is achiral. Along the second and third the motif's mirror is also a mirror of the whole pattern, and the detected groups are p4m and p4g; the mirror lines of each pattern are drawn. All three verdicts come from detecting the symmetry of the points and agree with whether the motif's mirror normalises p4.

A hand made of pieces that have none

Quartz is built from tetrahedra that have no handedness, and every quartz crystal is left-handed or right-handed anyway. Put a piece with a mirror into a pattern whose group has none, and the pattern keeps the piece's mirror only if that mirror lies on one of a few lines the group's normaliser draws. Anywhere else, the arrangement has a hand its parts do not.

space-groups · Chirality

Named alongside it

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

Round tripOrbitPattern analysisStabiliserThe AlhambraChiralityDecidabilityDetectionGroup frequencyHolohedryOrnamentSite symmetry

All concepts