Crystallography & Symmetry
patterns derived from their groups
Concept

Pseudosymmetry — where it appears

Symmetry a structure nearly has, close enough that a measurement with any tolerance reports it. Whether it is present is not a property of the crystal but of the threshold, which is why this collection keeps its claims on exact point sets.

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

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

Symmetry decided by integer arithmetic never needs a threshold. 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 property count, in every class. For each of these 32 classes, how many independent components a property may have: piezoelectric moduli from 18 down to 0, pyroelectric vector from 3 down to 0, gyration tensor from 6 down to 0. Every number is a character averaged over the class's own operations, computed in the lattice basis with integer arithmetic. A zero means the symmetry forbids the property outright; a positive number means it does not forbid it, which is a weaker statement than it is usually read as.

Permitted is not present

A symmetry argument says which components of a property may be non-zero. It is routinely read as saying they are — and the gap between the two is where every practical use of this table either works or quietly fails.

point-groups · Neumann's principle monoclinic: 9 twin laws, 1 of them exact. The twin laws of a monoclinic lattice: a two-fold about the row [uvw] paired with the plane (hkl) it is meant to be a mirror in, kept when the twin index is at most six and the obliquity at most six degrees, which are Friedel's own limits and are a convention rather than a theorem. 9 of the 9 are listed. The index n is how many lattice nodes there are per node the operation restores, computed from the integers and checked against the sublattice built from the plane and the row. The obliquity is the angle between the row and the plane's normal: 1 of these laws have none, and for those the operation restores a sublattice exactly.

The index and the angle a twin misses by

Whether a crystal will twin on a given operation is decided by its lattice, not by its structure. Two numbers decide it: how many lattice nodes there are per node the operation restores, and how far the operation is from being a symmetry at all. Both are computed from integers, and one of them is a fiction that has to be labelled as one.

applied · Twinning Four groups whose description count a metric can raise. Every plane group, the number of ways of writing one arrangement down on the lattice the group requires, and the number on the most symmetric lattice it may sit on. Eight groups already occupy the most symmetric lattice available to them and have nowhere to go. Four have a metric that raises the count, by two and in one case by six. The starred rows belong to groups whose normaliser has a free direction, where the quantity is a count of grid points rather than an index and cannot be compared.

The normaliser is not a function of the group

How many ways there are of writing one structure down is computed from the group and printed in a table beside its name. It is not a property of the group. Draw a p2 pattern on a hexagonal cell rather than an oblique one and the number goes from four to twenty-four, with nothing done to the group at all.

operations · Normalisers Which cells the flipping solver finds. For four cells of twenty atoms — all carbon, a quarter sulphur, one sulphur, one lead — the share of random starting phase sets that charge flipping takes to the right structure within 250 cycles, against the threshold below which density has its sign reversed. Each point pools several random arrangements of atoms with several starts each, and the atoms fall off with angle as real atoms do. The cells with sulphur are solved more often than carbon alone, the quarter-sulphur cell most of all, each at a threshold near one standard deviation; the lead cell is never solved at any threshold.

The heavy atom the flipping solver cannot see past

Sayre's identity degrades as a cell's atoms become unequal, most of all for a quarter of heavy atoms three times the weight of the rest, and the obvious prediction is that a solver built on the same sparseness should struggle there too. It does not. Charge flipping solves a cell of carbon with sulphur in it more often than carbon alone, and never solves a cell with one lead atom — because a threshold stated in standard deviations belongs to whichever atom owns the map's variance.

diffraction · Direct methods

Named alongside it

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

HolohedryAccidental symmetryAnisotropyConjugationCosetCrystal classDirect methodsEquivalent originHeavy atomHeavy atom methodIndexLattice automorphism

All concepts