Crystallography & Symmetry
patterns derived from their groups
Theme

The theme: The same arithmetic, renamed — page 6

A crystal form is an orbit. A twin law is a coset. The domain states left by a phase transition are the cosets of the low-symmetry group in the high-symmetry one. Four subjects that grew up in different centuries and different departments, doing one piece of arithmetic under four names.
The same structure, mapped from intensities and from differences. Left, the ordinary Patterson map of the structure: 14762 interatomic vectors, a continuous field of overlapping peaks, and the two vectors between the anomalous scatterers — circled — nowhere among its strongest. Right, the map from squared Bijvoet differences over the same reflections: two peaks after the origin, and they are those two vectors. The difference map is 7381 times smaller a problem to read. How it is known

A map of the atoms that break the law

Feed a Patterson synthesis the differences between the two halves of each Friedel pair instead of the intensities, and the map that comes back holds the vectors between the anomalous scatterers and nothing else. Two atoms among a hundred and twenty-two: 14,762 vectors become two.

 One change of setting, four rules. The four things a structure report contains and the rule each obeys under a change of setting with basis change P and origin shift p. The cell and the indices are multiplied by P; a coordinate is multiplied by its inverse, after the origin has been subtracted; and an operation is conjugated and then shifted by (W − I)p, a term the other three have no equivalent of. Applied to Pnma with the change below, the operations still close into 8, the orbit maps point for point, and every |F| is unchanged. Into space

One matrix, four rules

Changing the setting of a structure is one matrix and one origin shift — and the cell, the coordinates, the indices and the operations each obey a different rule under it. Three of the four ways of getting it wrong still leave a closed group of the right order, so closure catches none of them.

 The window of a three-letter chain. The cut-and-project window of the tribonacci chain: every prefix of the chain, projected onto the plane spanned by the two complex roots of x³ = x² + x + 1, and coloured by the letter that follows it. 223,317 points. It is a bounded region in three pieces whose areas are 0.542, 0.296, 0.162 of the whole, which are the frequencies of the three letters; it fills 71.5 per cent of its bounding box, and a straight cut across it meets up to 6 separate pieces. A window for a two-letter chain is an interval. Order without repetition

A window that is not an interval

The usual cut-and-project construction takes a strip through a lattice and keeps the points falling within an interval. Add a third letter and the window stops being an interval: the tribonacci chain's window is a fractal in three pieces, and a straight cut across it meets up to six.

 Every rational holds a window, and there is nothing in between. The ground state density of a chain of particles with a convex repulsion, against the chemical potential that sets how many of them there are. Every density with denominator up to 24 is a flat step of positive width — 177 of them — and the steps with the simplest fractions are the widest: a half takes 19 per cent of the whole range on its own. The risers between them are not smooth stretches; they are where the densities with larger denominators sit, and a finer computation fills them with more steps. What is left after every rational has taken its window is the irrational densities, which are the genuinely incommensurate ground states and have no width at all. Order without repetition

Every fraction holds a window

Three essays here name the devil's staircase and none computes one. A chain of particles with any convex repulsion has a ground state at every rational density holding an interval of chemical potential to itself — 709 of them computed, the widest taking 19% of the axis and the narrowest two parts in a million million — and the incommensurate densities are what is left over.

 Every vector realised, and not at the same hexagon count. Each row is a set of faces other than hexagons whose charge — the sum of 6 − k over them — comes to twelve, which is what a closed trivalent net on the sphere must pay. Each column is a number of hexagons added to that set, and the entry is how many different solids exist with exactly those faces, found by winding up every arrangement of them into a spiral. A dash means the search found none; a question mark means the planar reader declined the row and it is not evidence either way. Every row has an entry somewhere, which is Eberhard's theorem, and the first one is at 0, 2, 3, 4 hexagons depending on the row — so the charge decides everything except the number of hexagons, and the number of hexagons is not a function of the charge. What a lattice forbids

Everything except the hexagons

Three counts of what a closed net must carry end on the same admission: an arithmetic saying what a net must charge does not say that a net exists. Eberhard's theorem says how close the charge comes to being enough, and the answer has a shape nobody would guess — it fixes every face count except the hexagons, and the hexagons are exactly the entry it cannot see.

 Three conditions, and a near-miss for each. Zassenhaus's characterisation asks a group for a normal subgroup that is free abelian of finite rank, of finite index, and maximal among the group's abelian subgroups. Four groups against those three clauses. The free group on two letters has no non-trivial abelian normal subgroup at all; the discrete Heisenberg group has one that is free abelian of rank two and maximal abelian, and its index is infinite; ℤ² × ℤ/2 has a free abelian normal subgroup of index two, and the maximal one has torsion in it. Each fails a different clause, which is what shows no clause is redundant. The infinite dihedral group passes and is crystallographic in one dimension. What a lattice forbids

Which groups a crystal could have

Bieberbach's theorem is a statement about a group acting: discrete, no point far from an orbit. Zassenhaus turned it round into a statement a group can satisfy on its own — a maximal abelian normal subgroup, free of finite rank, of finite index — and each of those three clauses is kept out of redundancy by a group that fails it and nothing else.

 Two, seventeen, two hundred and thirty, and then. The number of arithmetic crystal classes and the number of crystallographic groups in each of the first six dimensions, with the second divided by the first. The classes multiply by between five and fourteen a dimension; the groups multiply by much more, and the quotient — how many groups an average class carries — goes 1.00, 1.31, 3.15, 6.74, 36.5 and 339. The last column says what is derived on this page and what is quoted: the plane in full, six of the seventy-three classes in space, and nothing at all above three dimensions, where the counts come from machine enumerations of the 1970s onwards. What a lattice forbids

Finitely many is not few

Bieberbach's third theorem says each dimension holds finitely many crystallographic groups and gives no idea how many. The counts are 2, 17, 230, 4783, 222018 and 28927922, and dividing them by the number of arithmetic classes says which of the classification's three steps supplies the explosion — the step that attaches translations, not the one that finds the matrix groups.

 Every arrangement on a torus 4 across, sorted by defects. The transfer matrix that counts ice arrangements chooses, at each vertex, the one horizontal arrow the rule permits. Enumerating both choices instead and carrying a polynomial that records how many vertices end up with three arrows in or three out gives the number of arrangements at every defect count at once. The first column, drawn solid, is the ice count — 2970 arrangements with no defect at all, which is the number the earlier transfer matrix gives and is checked against it. The second column is empty: no arrangement has exactly one defective vertex, because a defect carries a charge and the charges on a closed surface must cancel. The columns together add to two raised to the number of edges, which is every assignment of arrows whatever. Order without repetition

What a defect costs the count

Each broken vertex relaxes the rule and so adds arrangements — the question left standing was whether each adds a fixed amount or the cloud around it costs some back. The exact count at every defect number at once answers both halves: almost all of the rise is the freedom to choose which vertices break, and with that removed the first defects subtract rather than add.

 A colouring, and the arrows it writes. A proper three-colouring of the cells of a four-by-four torus — no two cells sharing an edge carry the same colour — with an arrow drawn on each shared edge by the difference of the two colours it separates. The difference is one or two modulo three, never nought, so every edge gets a direction. At each corner four cells meet and their four differences go round a cycle and add to nothing modulo three, which forces two of the arrows in and two out. That is the ice rule, arrived at from a colouring with no arrows in its statement. Order without repetition

Three colours on a chessboard

Colour the cells of a board in three colours so that no two sharing an edge agree. The number of ways is the number of ice arrangements on the same board — the same integer, to the last digit, at every even size — so a residual entropy a calorimeter reads is also the answer to a colouring problem with no physics in it at all. At odd sizes the two counts part company, and why they do is a condition on going round.

 P4₁: the lattices, as an ideal across and a multiple along. Every sublattice the point group of P4₁ carries to itself, indexed by the norm of the ideal it uses across the axis and by the multiple it takes along it. The entry is the space group that sits on it: the parent's own type in one colour, a different type in the other, and a dash where no group with the parent's point group survives at all. A dot marks a lattice that is maximal — one whose step is a single prime, across or along, with nothing between it and the whole. The rows and columns are two divisibility orders and the table is their product, which is the shape the plane's answer predicted. Into space

An ideal across and a prime along

In the plane a copy of a group inside itself grows by a prime ideal, and the maximal indices are the norms of the primes of a ring. In space with one principal axis there are two directions to grow in, and the question the plane left was whether the two constraints multiply. They do not — and the place they fail is an index the plane calls maximal, because the step in between carries the group's mirror image.

 A row of coefficients for every group. For eight of the seventeen, the number of sublattices of each index that the group's point group carries to itself. A nought means the group has no copy of itself at that index at all. p1 and p2 preserve every sublattice, so their rows are the counts of sublattices themselves — 1, 3, 4, 7, 6, 12 — which is the sum of the divisors. The rows thin out as the point group grows, and p4m and p6m have almost nothing in them. Every row is a sequence a Dirichlet series can be built on, and the next figure is what that series factors into. Into space

A row written as a product

Every group's copies of itself sit at a row of indices, and every row so far has been read one entry at a time. Counting all of them at once turns a row into a Dirichlet series, and every one of the seventeen rows factors into a product over the primes — which is the statement that a copy is a chain of maximal steps, written as arithmetic. The plainest group of all has the most famous series in mathematics.

 One lattice, two copies of pm. pm on a lattice doubled across its mirrors. The mirrors of the parent are every vertical line; a copy of pm on the doubled lattice has mirrors every other line, and there are two ways to choose which — the solid set or the dashed set. Both are copies of pm with the same lattice and the same point group, and no translation of the parent carries one onto the other, because the translation that would is exactly the one the doubling removed. So a count of invariant lattices is not a count of subgroups, and the gap is visible in the smallest case there is. Into space

A lattice is not a subgroup

Every count of copies so far has counted lattices, and the International Tables count subgroups. One invariant lattice can carry several copies of a group that nothing in the parent carries onto one another — pm's doubled lattice carries two, with its mirrors on the even lines or the odd ones — and how many is a cohomology computation, a first where the classification of the seventeen used a second.

 Seven indices in 40, and one lattice at each. For every index to 40, how many sublattices of a cubic lattice there are and how many of them the full cubic point group carries to itself. The first number runs into the hundreds; the second is nought at almost every index and one at 1, 2, 4, 8, 16, 27, 32. A cubic point group is forty-eight conditions on a sublattice, and forty-eight conditions leave very little. The richest point group in three dimensions has the poorest arithmetic of copies, and the two are the same fact. Into space

The richest group has the poorest arithmetic

A plane group with no symmetry has seven hundred and sixty-two sublattices to grow by; one with a six-fold axis and mirrors has eight. Take the trend to its end in space and a cubic group has six to index forty — one at every cube, one at twice a cube, one at four times a cube, and nothing anywhere else. Every operation of a point group is a condition, and forty-eight conditions leave almost nothing.

 One group without an axis, and as many as the order with one. For a rotation of each order that an integer matrix can have in a small dimension, the number of space groups its arithmetic class admits — computed from the cohomology rather than enumerated. A rotation acting on the smallest lattice that will hold it fixes no direction and admits exactly one group: the symmorphic one, with no screw. Add a direction it leaves alone and the count becomes the order of the rotation, and the extra groups are its screws. The four-fold with an axis gives four, which are P4, P4₁, P4₂ and P4₃; the five-fold with an axis gives five, in five dimensions, where no published table exists to check it against. The classification

The screw a dimension does not have

The extension count is a machine that runs in any dimension, and the seventeen were the case where every step could be checked against a list arrived at four other ways. Run on a cyclic point group it has a closed form two lines long — and it says a five-fold screw axis does not exist in four dimensions, which is a prediction rather than a check.

 Tight where there is an axis and vacuous where there is not. The order of a point group annihilates its cohomology, so every intrinsic translation is a multiple of one over that order — the bound every account of the subject quotes. What occurs is one over the exponent of the cohomology, which divides the bound. For a rotation with a direction it fixes the two agree exactly: a four-fold screw does need quarters and a six-fold sixths. For a rotation acting with no fixed direction the exponent is one — the cohomology is trivial and no fraction occurs at all — so the bound is slack by the whole order. The same bound is sharp and useless in the same table. The classification

The denominator a group actually needs

The order of a point group annihilates its cohomology, so every intrinsic translation is a multiple of one over that order — a bound every account of the subject quotes. What occurs is one over the exponent, which divides it. The same bound turns out to be attained exactly and to be slack by its whole size, in two rows of one table, and what decides which is whether the rotation fixes a direction.

 An equality, with a known factor in it. Sayre's identity says the structure factor is proportional to the convolution of the structure factors with themselves — an equality, not a probability — with a factor that depends on the atoms and the resolution and on nothing else. Computed for a structure of Gaussian atoms, the ratio of the two sides falls with resolution exactly as predicted: the logarithm of the ratio is a straight line in the squared index, its slope is minus half the width in the atomic factor, and the ratio is very nearly real and positive, so the identity relates the phases and not only the amplitudes. How it is known

The relation that is an equality

Every relation of this kind so far is a probability — right nine times in ten, useless applied once and decisive applied ten thousand times. One is not. For a structure of equal, resolved atoms the squared density has peaks in the same places, so every structure factor is exactly a convolution of all the others, with a factor that depends only on the atom. It is exact, and on its own it is useless.

All themes · All essays