The collection

Every essay — page 21

One idea per essay, ordered so that the earlier ones set up the later ones — but nothing here depends on being read in sequence.

Lattices

The repeating scaffold underneath every crystal. Five in the plane, fourteen in space, and no others — a classification with a short proof.

A seven-fold lattice lives on a folded torus

In six dimensions a lattice can have a seven-fold rotation, and every one that does is the integers of the seventh roots of unity with three weights on it. Up to scale the weights live on a hexagonal torus that a Galois symmetry folds by a third-turn, and the fold has three fixed points: A₆*, A₆, and a third lattice that packs better than either. Centring by sevenths is no longer a reflection, as fifths was in four dimensions. It moves every lattice a third of the way along the torus and carries the three special ones round in a cycle.

6 figures

How it is known

A crystal's structure is read from the pattern it scatters. The reciprocal lattice, systematic absences, and what an experiment can and cannot see.

No triple of wavelengths is best for both the phase and the edge. Every triple of energies on a grid across a model selenium edge, placed by two Cramér–Rao bounds with the edge's position and white line refined from the data: the median phase error across, and the error in the edge's position up, on a logarithmic scale. The front of triples that no other beats on both runs from +1, +2, +150 eV (6.15°, ±0.066 eV) to -120, -1, +3 eV (7.54°, ±0.022 eV). The classic peak, inflection and high remote sits on it, at 6.42° and ±0.026 eV.

The wavelengths that phase best do not find the edge

A MAD experiment refines the anomalous atom's scattering factors so that it can solve for the phases, and those same factors report where the absorption edge sits and how tall its white line stands, which is chemistry. Scored for the edge instead of the phase, the best triple of wavelengths moves: two straddling the step and one far below it, where the phase-best triple put two on the step and one far above. No triple is best at both, and the textbook peak, inflection and remote turns out to be the compromise between them.

7 figures

Operations

Rotations, mirrors, glides and translations — what a symmetry is, how they compose, and why the composition is a group rather than a list.

A three-fold axis puts a grid point on itself

A grid of wavevectors offset from the zone centre can keep a crystal's whole symmetry and touch no mirror, no axis and no point where time reversal folds the zone onto itself, and then its share of the zone is exactly one over the order of the group, with no boundary excess at all. Four Laue groups have such a grid, as small as the group itself. Every group with a three-fold axis has none, for a reason that fits in a line: the rotoinversion fixes one point of the plane across its axis, and above that point the three-fold rotation fixes the grid.

5 figures

What symmetry decides

Thirty-two classes, enumerated rather than listed — and then the one thing they are for outside crystallography's own bookkeeping: which components of a physical property a crystal is permitted to have before anybody measures it.

The fifty-eight black-and-white classes, sorted by reflection class. Every black-and-white magnetic point group, grouped by the smallest reflection class containing its underlying crystal class, with the degrees of the mirror products that generate its relative invariants for a polar and for an axial time-odd quantity. Every class's two series are exactly those sums of mirror products, and the number of generators is the class's index in its reflection class: one, two or four.

Every magnetic class counts its properties by mirrors

The invariants of every crystal class turned out to be products of mirrors of a reflection class, times that reflection class's own free invariants. A magnetic class asks for polynomials that some of its operations negate, which is harder in principle. It is not harder in fact: all fifty-eight black-and-white classes, for a time-odd quantity that is polar and for one that is axial, are counted by mirror products — provided the reflection class contains the whole class and not only its unprimed part, which for thirty of them it does not.

5 figures

Into space

Seventeen becomes two hundred and thirty. Screw axes, glide planes, and the translations that no choice of origin can remove — the operations a flat surface has no room for.

Where the four-fold screws of one crystal cross a plane. A space group of the body-centred class I4/m that has a centre of symmetry, seen along the direction of its four-fold axes: the points where the special lines along that direction cross a plane, over four cells of the projection. A rod cut along the large filled lines is p4₃, a four-fold screw of one hand; along the other large lines, p4₁, its mirror image. The crystal's centre of symmetry carries each kind onto the other, so both are there and neither hand is favoured.

A crystal with no hand holds rods of both hands

Rolling a flat pattern into a tube reaches fifty-four of the seventy-five rod groups and never a screw that comes in a pair of hands. Cutting a column out of a crystal reaches all seventy-five. Sixteen of them are handed screws, and half of those can be cut from a crystal that has a centre of symmetry, from a line that happens to be a screw of one hand, with its mirror image a short distance away. A handed thread does not need a handed crystal, only a handed place in one.

6 figures

Operations

Rotations, mirrors, glides and translations — what a symmetry is, how they compose, and why the composition is a group rather than a list.

The square net drawn as the Cayley graph of four different groups. The same square net four times. In each panel the edges are coloured by the group operation that spells them, read from one regular subgroup of the net's symmetry group: the lattice of translations, a p2 whose half-turn centres sit at the midpoints of edges, a pmm whose four mirrors run between rows of vertices, and a p4 whose quarter-turn centres sit in the middle of the squares. No symmetry element drawn passes through a vertex, which is what makes each group act without fixing any, and the large dot is the vertex named by the identity.

The square net draws eleven groups

The Cayley graph of a wallpaper group is a periodic net. Asked the other way, the question is which nets are Cayley graphs, and of what. A net is one exactly when some group of its symmetries carries every vertex to every other and fixes none. All eleven uniform nets pass. The square net is the Cayley graph of eleven of the seventeen groups, the kagome net of exactly one, and between them the eleven nets use all seventeen.

8 figures

Lattices

The repeating scaffold underneath every crystal. Five in the plane, fourteen in space, and no others — a classification with a short proof.

The densest eleven-fold lattice is not its own dual

Every ten-dimensional lattice with an eleven-fold rotation is one ring with five weights, and its shapes form a four-dimensional torus folded by a Galois rotation of order five. The seven-fold essay predicted five special lattices, the powers of 1 − ζ, cycled by centring, and all of that holds. What does not carry over is its best result. In six dimensions the densest seven-fold lattice was the one duality fixes. In ten, duality fixes (1 − ζ)³, and the densest is (1 − ζ)², whose dual is (1 − ζ)⁴.

5 figures

How it is known

A crystal's structure is read from the pattern it scatters. The reciprocal lattice, systematic absences, and what an experiment can and cannot see.

Four flipping rules on four cells. The best success rate of the flipping solver, pooled over five arrangements and eight starts, on four cells: twenty carbons, a quarter sulphur, one sulphur among twenty and one lead among twenty. Four rules for what is flipped: below a number of standard deviations of the map, below a height set by the lightest atom's weight, the same height above the map's mean, and the original rule with the known heavy atom's density removed first. On the lead cell only the last solves anything, 55% against nothing; on both sulphur cells it raises the rate to near certainty; on carbon alone it is the original rule.

The lead taken out solves what no threshold could

Charge flipping never solved a cell of nineteen carbons and one lead, and two repairs were proposed: a threshold set by the composition rather than by the map's spread, and the lead's own density removed before each flip. The threshold does nothing for the lead cell at any setting, measured from zero or from the map's mean. Removing the lead takes it from nought to fifty-five per cent, and lifts both cells with sulphur in them to near certainty. The trouble was never where the threshold sat.

5 figures

Into space

Seventeen becomes two hundred and thirty. Screw axes, glide planes, and the translations that no choice of origin can remove — the operations a flat surface has no room for.

Which two kinds of operation make each of the 64 two-generator space groups. For each of the fifteen pairs of kinds of operation, rotation, screw, mirror, glide and rotoinversion (the inversion included), the number of the 64 space-group types generated by two of their own operations that some pair of those kinds generates. Every one of the 960 cases is decided: by a generating pair found, by the pair's linear parts failing to generate the point group, or by a proof in a finite quotient of the group. A screw and a glide make 32 types; two mirrors and a rotation with a mirror make none.

Two mirrors never make a crystal

Sixty-four space groups are generated by two of their own operations. Which two kinds can do it is a finite question, and it has been settled for all sixty-four and all fifteen pairs of kinds. A screw and a glide make thirty-two of them. Two mirrors make none, and neither does a rotation with a mirror, for reasons that need no computation: two operations that undo themselves generate a dihedral group, and an axis and a plane always share a point or a direction. Two plain rotations make six groups, every one of them cubic and without a mirror.

6 figures

What symmetry decides

What Kleinman's rule removes from the second harmonic, class by class. The 20 crystal classes that permit second-harmonic generation, each with its independent susceptibility components drawn as squares: those that survive when the tensor is made totally symmetric, and those Kleinman's rule removes, split into the traceless part of the gyration tensor and a polar vector. In all, 83 components become 48. Two classes, 422 and 622, lose everything; four, 6̅, 6̅2m, 23, 4̅3m, lose nothing.

Two classes go dark far from absorption

The second-harmonic tensor of a crystal has as many components as its piezoelectric tensor, and far from any absorption it gains a symmetry of its own that removes eight of the eighteen. What it removes is not arbitrary: it transforms as a polar vector plus the traceless part of the tensor that carries optical activity. So the classes that lose the most are the polar ones and the handed ones, and two of them, 422 and 622, lose everything.

8 figures

Operations

Rotations, mirrors, glides and translations — what a symmetry is, how they compose, and why the composition is a group rather than a list.

Three-species arrangements whose sums are parallel at every spot, with and without a centre. Every arrangement of three species, all present, on a cyclic cell of four to nineteen sites. The third column counts those whose two phase sums are parallel at every superlattice spot, the fourth those among them with a centre of inversion, the fifth those without one, and the last how many kinds the exceptions make up to translation, inversion, relabelling the spots and renaming the species. Primes are shaded. At 5, 7 and 11 sites every parallel arrangement has a centre; at 13 sites 936 do not, and they are all one arrangement; at 17 there are 17 kinds and at 19 there are 48.

Thirteen sites obey Friedel's law without a centre

At five and seven sites the earlier census found that a three-species structure has a contrast that darkens a spot exactly when it has a centre, and asked whether that is a theorem. It is not. The two phase sums are parallel exactly when the A–B pairs are as common at every separation forwards as backwards, and exactly when no anomalous scatterer can produce a Bijvoet difference anywhere in the pattern. At 5, 7 and 11 sites only a centre achieves that. At 13 sites one arrangement does it without one.

7 figures

Lattices

The repeating scaffold underneath every crystal. Five in the plane, fourteen in space, and no others — a classification with a short proof.

Thirteen-fold, and nothing is its own dual

Every twelve-dimensional lattice with a thirteen-fold rotation is one ring with six weights, and its shapes form a five-dimensional torus folded six ways. The fold has six fixed points, the powers of 1 − ζ, and duality fixes none of them, as in four dimensions and unlike six and ten: it pairs them off. The eleven-fold essay asked whether a longer cycle would let a higher power take over as the densest. It does not. (1 − ζ)² is the densest member at seven, at eleven and at thirteen, whatever duality does.

5 figures

How it is known

A crystal's structure is read from the pattern it scatters. The reciprocal lattice, systematic absences, and what an experiment can and cannot see.

Two leads need their vector to half a step

With one heavy atom in a cell with no symmetry, charge flipping did not care where the atom was subtracted: it rebuilt the structure round whatever place it was given. With two heavy atoms that freedom runs out, as predicted, because no translation can put both under wrong references at once. Subtract one of them a whole grid step from where it belongs and the solver never succeeds. But the tolerance is five times looser than the estimate it was predicted from: up to a quarter of a step the rate does not move, at half a step it halves, and the residual the solver absorbs is three carbons' worth, not one.

6 figures

What symmetry decides

How many resonances each crystal class needs for a second-order response. The 32 crystal classes sorted by the number of distinct oscillators a model needs before the class can have any second-order optical response, with the dimensions of the class's invariants among the cubic couplings: fully symmetric (one oscillator), mixed (two), alternating (three). The eleven centrosymmetric classes have none. Eighteen need one; four of those (23, 4̅3m, 6̅, 6̅2m) have no mixed invariant and obey Kleinman's rule at every frequency. 422 and 622 need two. 432 needs three.

A crystal in 422 needs two resonances

Kleinman's rule silences classes 422 and 622 far from absorption, and the obvious guess is that dispersion brings them back near it. In the simplest model of dispersion, one charged oscillator with an anharmonic potential, it does not: they stay dark at every frequency. Two oscillators with different resonances light them, with a response growing as the square of the frequency. 432 needs three, and then only mixes two different frequencies, growing as the sixth power. The number of resonances a class needs is a count of invariants, and it sets how fast the forbidden part can grow.

5 figures

Into space

Seventeen becomes two hundred and thirty. Screw axes, glide planes, and the translations that no choice of origin can remove — the operations a flat surface has no room for.

Which three kinds of operation make each of the 93 three-generator space groups. For each of the 35 triples of kinds of operation (rotation, screw, mirror, glide, rotoinversion with the inversion), how many of the 93 space-group types that need three of their own operations some triple of those kinds generates. Of the 3255 cases 978 are generating triples found, 2275 are refuted (by the point group or in a finite quotient) and 2 remain undecided. Three mirrors make none; a screw and two glides make the most, 53.

Three mirrors never make a crystal either

Ninety-three space groups need three of their own operations to generate them, and which three kinds can do it is a finite question with 3,255 cases. All but two are now decided. Three mirrors make none of the ninety-three, as a theorem about reflection groups requires. A rotation with two mirrors makes exactly three, all cubic. Three plain rotations make thirteen, every one without a mirror. One group can be made thirty ways and three can be made only one.

5 figures

Operations

Rotations, mirrors, glides and translations — what a symmetry is, how they compose, and why the composition is a group rather than a list.

Every special position of the seventeen plane groups, with its regular subgroups. The 55 special Wyckoff positions of the seventeen plane groups, one chip each, labelled by site symmetry and points to a cell and carrying the number of subgroups that act on the position regularly. None is zero. 26 positions have one point to a cell and are reached by the lattice alone; 12 can be reached only by subgroups containing rotations; four, the positions of three points to a cell in p3m1, p31m, p6 and p6m, are reached by exactly one subgroup each.

No Petersen graph in the plane

A finite graph can look the same from every vertex and still be the picture of no group; the Petersen graph is the smallest that does. A periodic net in the plane cannot. Whether one is a Cayley graph depends only on where its vertices sit, and they sit on one of the fifty-five special positions of the seventeen plane groups or on a general one. Every one of the fifty-five has a subgroup that carries any of its points to any other in exactly one way, and four of them have exactly one.

5 figures

Lattices

The repeating scaffold underneath every crystal. Five in the plane, fourteen in space, and no others — a classification with a short proof.

At seventeen the densest power of 1 − ζ moves

Three primes running, the densest lattice with a p-fold rotation sat at the second power of 1 − ζ. At seventeen, in sixteen dimensions, and at nineteen, in eighteen, it sits at the third. The move is not a surprise once the minima are read: every power up to the fourth reaches Craig's bound exactly, which turns each density into a formula and the competition between powers into an inequality. The second power wins exactly while (3/2) raised to half of p − 1 stays below p, and the formula's next prediction, the fourth power at twenty-three, comes true by three per cent.

7 figures

What symmetry decides

Photoelastic constants of the eleven Laue classes, split into four parts. The number of independent photoelastic constants each Laue class permits, from 36 for 1̅ to 3 for m3̅m, drawn as squares and split into the elastic tensor's part, which is symmetric under exchanging the two index pairs, and the extra fifteen-dimensional part, which divides into an axial vector, a second quadrupole and an octupole. The axial vector survives only in 1̅, 2/m, 4/m, 3̅ and 6/m; the octupole is what separates m3̅ from m3̅m; and in m3̅m nothing extra survives, so the two counts agree at three.

Fifteen constants an energy would have forbidden

A strain changes a crystal's refractive index through a fourth-rank tensor with the elastic tensor's index pairs and without its one remaining symmetry, because no energy is differentiated twice to make it. The missing symmetry is worth fifteen components. They split into an axial vector, a quadrupole and an octupole, and each does something the elastic count cannot: the octupole gives 23 and m3̅ a fourth constant, and the axial vector is a part of the tensor no turn of the axes removes.

8 figures

Into space

Seventeen becomes two hundred and thirty. Screw axes, glide planes, and the translations that no choice of origin can remove — the operations a flat surface has no room for.

Copies of a plane group of itself, counted to index ninety-six. For eight of the seventeen plane groups, the number of subgroups isomorphic to the group, up to conjugacy, of index at most N, on logarithmic axes. The curves fall into four tiers by their slopes: groups with no operation but a half-turn grow as N², groups with mirrors and nothing of order three or more as N log N, groups with a rotation of order three or more and no mirror as N, and groups with both as √N. By index 96 p2 has 13446 copies and p6m 13.

The copies a group keeps of itself grow at four speeds

A plane group's copies of itself sit on the sublattices all its operations keep, several to a lattice. A richer point group keeps fewer lattices and puts more copies on each, and the two trends run in opposite directions. Counted to index ninety-six they do not balance. The copies per lattice never exceed sixteen, while the lattices grow as N², N log N, N or √N according to the point group, so a richer group's early lead always ends, at index ten, eleven or twenty-seven, and never returns.

5 figures

Operations

Rotations, mirrors, glides and translations — what a symmetry is, how they compose, and why the composition is a group rather than a list.

Every square-symmetric grid of wavevectors has a point on a mirror. One cell of the square reciprocal lattice, centred on the zone centre, with the mirror lines of 4mm through it and three grids the four-fold rotation keeps with an offset off the axis. The quarter turn allows that offset at one place only, the second four-fold centre of the grid's own lattice, ringed. On an aligned grid of odd side the rotation fixes a point; on an aligned grid of even side the offset lies on a diagonal mirror; on a grid turned by 45 degrees it lies on an axial mirror. No grid escapes all three.

The offset a quarter turn allows lies on a mirror

A census of sampling grids found free grids for the tetragonal group 4/m and none for 4/mmm, to a hundred and twenty-eight points, with no reason. The reason is two lines long. A quarter turn lets a symmetric grid be offset to exactly one place off its axis, the second four-fold centre of the grid's own lattice, and a square lattice that a mirror keeps can only be aligned with its mirrors or turned by half a right angle. Either way that centre lies on a mirror line.

6 figures

Lattices

The repeating scaffold underneath every crystal. Five in the plane, fourteen in space, and no others — a classification with a short proof.

A shortest vector of a sixteen-dimensional lattice, as a polynomial with two full fibres. The values of f(t) = t(t − 1)(t − 2)(t − 3) at every t in the field of 17 elements, value against t. It takes the value 0 at the four points 0, 1, 2, 3 and the value 12 at the four points 3, 5, 12, 14. Those two fibres are two sets of four with equal first, second and third power sums modulo 17, so the vector with +1 on one set and −1 on the other lies in (1 − ζ)⁴, with squared length 8 in the trace form's units of 17: Craig's bound, attained.

The shortest vector is a polynomial with two full fibres

Whether Craig's lattices reach their bound, minimum 2kp for the ideal (1 − ζ)ᵏ, looked like a question for shortest-vector searches in twenty-eight to thirty-six dimensions. It is a question about polynomials over the field of p elements. The bound is reached exactly when some polynomial of degree k takes two values k times each, and every divisor of p − 1 supplies one. Read that way, every power at 29, 31 and 37 is settled, the densest are the fourth, fourth and fifth as predicted, and past the middle of each cycle the minimum climbs until it meets the vector of quadratic residues and stops.

6 figures

What symmetry decides

The ninety magnetic classes that are not grey, sorted by their centre. The ninety magnetic point groups that are not grey, in three columns by whether they contain the inversion, the inversion combined with time reversal, or no centre at all, each tile shaded by what a stress can do: magnetise a crystal that is already magnetised (31 classes), magnetise one that has no moment at rest (35), or nothing. A dot marks the classes that also permit the magnetoelectric effect. No class with the primed inversion is piezomagnetic and no class with the plain one is magnetoelectric.

Thirty-five classes a squeeze can magnetise

A magnetisation proportional to a stress is permitted in sixty-six of the hundred and twenty-two magnetic classes. Thirty-one are the classes that may be magnetised already; the other thirty-five may have no moment at rest and acquire one when squeezed, and in them a stress tells apart two domains that differ only by the direction of time. Among the ninety classes that are not grey, it is forbidden only by a primed centre and in the three ordinary cubic classes with four-fold operations.

6 figures

Into space

Seventeen becomes two hundred and thirty. Screw axes, glide planes, and the translations that no choice of origin can remove — the operations a flat surface has no room for.

Sublattices a space group's point group keeps, counted to index sixty-four. For six of the seventy-three arithmetic classes, the number of sublattices of ℤ³ of index at most N that every operation of the point group carries to itself, on logarithmic axes. The six curves have six slopes: N³ for a triclinic class, N² for a monoclinic one, N log² N for an orthorhombic one, N log N for a tetragonal class with no two-fold axis or mirror through its four-fold axis, N for one with them, and the cube root of N for a cubic class. By index 64 P1̅ keeps 176874 sublattices and Pm3̅m 9.

In space the sublattices a group keeps grow at six speeds

The plane's seventeen groups kept their sublattices at four rates. Counted to index sixty-four for all seventy-three arithmetic classes, space has six: the cube of the index, its square, the index times two logarithms, the index times one, the index, and its cube root. Four systems keep one rate each. The tetragonal, hexagonal and rhombohedral classes are cut in two, by whether anything turns their axis over. And the richer groups' lead lasts much longer than in the plane, because they carry up to five hundred and twelve subgroups on a single lattice.

6 figures

Lattices

The repeating scaffold underneath every crystal. Five in the plane, fourteen in space, and no others — a classification with a short proof.

The centring survives the limit

Stretch a body-centred tetragonal lattice until its axes are equal and it becomes body-centred cubic; stretch it further and it becomes face-centred cubic. No stretching of a primitive tetragonal lattice reaches either. Which of the fourteen lattices can be deformed into which is decided by the subgroups of each lattice's own group, and the answer keeps track of centring in a way the familiar chain of crystal systems does not.

7 figures

By idea · By group · By object · Search