The theme: Exactly this many — page 17
What symmetry decides
A squeeze magnetises a cubic crystal across itself
Three ordinary cubic classes forbid a magnetisation proportional to a stress. At the square of the stress they each admit exactly one constant, and nothing else joins, at that order or any higher: sixty-nine classes is the final list. The one constant has a shape no table of coefficients shows. A squeeze along any direction magnetises the crystal at right angles to the squeeze, and along each of the cube's twenty-six rotation axes it magnetises nothing, which is the least a field on a sphere is allowed to vanish.
Into space
The last two crossings fall at eighty-one and twelve thousand
A census to index sixty-four found that P2/m and P4/m must eventually overtake Pmmm and P4/mmm in the number of subgroups they keep of themselves, and could not see either happen. The count turns out to be multiplicative: a sublattice splits into pieces at the primes dividing its index, and so does the cohomology on it, which lives only at two. Every odd prime is then a closed form, two is a short computation, and the crossings fall at index 81 and at index 12,104.
Lattices
One way up and p ways down
Every plane lattice has exactly p + 1 sublattices of prime index p. Restrict an integer form to each and the discriminant can do only three things, so the lattices become the vertices of a graph with a definite shape: a ring of lattices at the top, and below it a tree in which every lattice has one way up and p ways down. Whether the ring exists at all is decided by how p factors, which is why the square lattice has two copies of itself at index five and none at index three.
What symmetry decides
A six-fold crystal hides its frame until rank six
Thirteen crystal classes can be turned without moving any of their operations, and the tables print each property's constants in one frame among the many such a turn allows. Spending the turn removes a constant only where a property has a part that turns with the frame, and an n-fold axis keeps such a part only at rank n or above. So a monoclinic crystal's free angle shows in its dielectric tensor, a tetragonal one's first in its elastic constants, and a hexagonal one's in nothing anybody measures. And a crystal has one frame, not one per property: the angle is spent once.
What a lattice forbids
Thirty as one block lives on two lattices
Eight dimensions is where an operation of order thirty can finally be a single irreducible block. It was predicted to sit alone on E₈ with the split kinds elsewhere, as the twelves do in four dimensions. It does not: E₈ holds three split thirties beside it, and exactly three of the sixteen that fit, because a five-fold block leaves nothing but a permutation of five things. The block also lives on a second lattice, A₂ ⊗ A₄, and there it really is alone.
Order without repetition
Three tiles keep a number that asks which way they face
Two tiles always conserve something: every reversible rule keeps the trace of their commutator. Three letters were expected to conserve nothing, and most rules do conserve nothing. The tribonacci rule keeps exactly one number, the difference between a product of three matrices and the same product reversed. It is zero for any tile that reads the same both ways, so it measures direction rather than difference, and one rule in fifty keeps it, for a reason that can be read off the words.
What a lattice forbids
One ring is E8 and a lattice with no mirror
An operation of order thirty as one block in eight dimensions preserves a whole family of forms, and E₈ was one point of it. Walking the family finds sixty symmetries almost everywhere and two lines above that. One is tensor products. The other is the icosian ring, on which E₈ is famously built, under a sliding choice of form: 14,400 symmetries all along it, 28,800 and not one reflection at one end, and at the other end E₈, where the group jumps by a factor of nearly fifty thousand.
Into space
A screw keeps a line and a glide keeps a plane
The census of the seventeen zones left two predictions for space. A transition at the zone boundary should meet a gradient term where one screw or glide is active, along that operation's direction, and a second should remove it. Across all 219 types, the first half holds without exception in the monoclinic groups and the direction is wrong: a glide's term fills its plane. The second half fails from the orthorhombic groups on. And the zone centre, empty in the plane, is not empty in space.
Order without repetition
The count of reflected hats is never one out
In a hat tiling one tile in about eight is reflected, and that ratio was only ever quoted here. Four clusters and a table of small integers give it exactly: seven plus three root five over two, the fourth power of the golden ratio. The same table says something the ratio does not. Grow a cluster to two trillion hats and its reflected count is still within half a tile of the exact share, where the same share chosen at random would be out by nearly half a million.
Operations
One cell reaches every Wyckoff set
In the plane, every identification the affine normaliser makes between two positions is made by an isometry of some cell, and the essay that found this warned against carrying it into space, where changes of basis can mix axes without limit. It carries. The 1,731 positions of the 230 groups were found from stabilisers and the sets from normalisers, and on one cell for each type the two partitions agree. Past the monoclinic system that is a one-line average. Below it, the infinite normaliser turns out to have nothing left to join.
Into space
Five hundred and thirty rows, four hundred and ninety-nine descriptions
The International Tables list 530 settings of the 230 space groups, and that number has long been quoted as a measure of how much naming a group can take. Counted from the operations, a setting being a description up to a shift of origin, the answer is 499. Thirty-one printed rows name a description already on the list, all of them in six types, and the rule that gives a group its second origin finds twenty-three of the twenty-four and misses one.
The classification
In space a motif can lift two positions in three
A molecule with more symmetry than its site can raise the group of the whole crystal, or not, and which one is decided by the site. In the plane twenty-nine positions of seventy-two allow it. In space it is 1,132 of 1,694, and 606 of them allow a lift that shrinks the cell, the case a structure solution meets as a warning. General positions can be lifted only in polar groups, as predicted, but eleven polar groups refuse: a mirror turns their screws over.
Operations
No cell joins the seven halves
Every identification the normaliser makes between Wyckoff positions is made by an isometry of some cell, and it was natural to expect the same of subgroups. It nearly is. Across all 219 types and their 1,813 subgroups of index two, one cell does everything the normaliser does, except in the two triclinic groups. P1 has seven ways to be halved, and its normaliser makes them all one. No cell can, because seven is the number the crystallographic restriction forbids.
How it is known
Fit the scale, then put the lean back
Scaling two wavelengths to each other builds in an error of the cancelling sign, because their means differ for a physical reason. The proposal was to fit against the part the edge does not touch, at high resolution. It does the opposite: f₀ falls with angle and f′ does not, so the outer shells lean furthest and fitting them costs more. Taking the scale from the composition alone reproduces the lean as well. What works is fitting as usual and then putting back the difference the composition expects, and that recovers the whole peak.
The classification
One tile, two lattices, and a row that slides
A crystal chooses its lattice, and it is natural to think a tile does too. Among all polyominoes to thirteen cells, more than five hundred that are not rectangles lie on more than one lattice, and some on seven. They fall into at most two families, and a family is a row of copies that can slide against the next row, which is exactly what makes polytypes possible in a real crystal. A tile with a prime number of cells has no such row unless it is a bar, and so it lies on at most two lattices.
How it is known
The same measurements, and a hole that stays
How much of the sphere must be swept for a given redundancy? The question has two answers, because it has two parts. The mean number of observations depends only on the sweep, to within two per cent whichever axis the crystal turns on. Completeness depends entirely on the axis, and on one kind of axis no sweep ever finishes: when the Laue group keeps the spindle's line, every copy of a blind reflection is blind too, and fifteen of a tetragonal crystal's 135 reflections are never measured.