Crystallography & Symmetry
patterns derived from their groups
The collection

Every essay — page 18

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

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.

Four inversion centres, and a band's charge on each. A square crystal with four atoms in each cell, at the points a quarter of the way along both diagonals, and the four points of the cell that an inversion maps onto themselves: the corner, the midpoints of the two edges, and the centre. None of the atoms sits on one. For each of four versions of the crystal, differing only in which bonds are stronger, the ring marks where the lowest band's charge is centred — computed from the band's Berry phase and predicted from four parities. Each version puts it on a different inversion centre, and in every case on a point with no atom.

Four signs say where the charge sits

In a plane crystal whose only symmetry beyond its lattice is a centre, a band's charge must sit on one of the cell's four inversion centres — and which one is decided by four signs: whether the band is even or odd under inversion at the four wavevectors inversion leaves alone. The centre can be a point no atom occupies, and when the four signs multiply to minus one there is no centre at all, only a charge that winds round the cell.

7 figures

The classification

Exactly seventeen ways to fill the plane with a repeating pattern. Not a fact to memorise: a theorem, with a finite argument and no eighteenth case.

Seventy-three classes, seventy-three Smith forms. Every arithmetic crystal class of space, grouped by lattice system, with the cohomology group read off the Smith normal form of the integer conditions its Cayley graph imposes, shaded by the group's exponent. Twelve classes have nothing; fifty-three have exponent two, among them the orthorhombic P holohedry with ℤ2 to the sixth; three have exponent three, three have exponent four, and two — the hexagonal 6 and 622 on the primitive lattice — have exponent six. Nothing larger occurs.

Seventy-three Smith forms

The cohomology group that counts a crystal class's intrinsic translations has a closed form only when the point group is cyclic. For every other class it is still one integer matrix away: the conditions the Cayley graph's cycles impose, reduced to Smith normal form, leave the group on the diagonal. Run on all seventy-three classes of space, the diagonal says the largest exponent is six, that a group of order forty-eight needs nothing finer than halves, and that no class needs a denominator its operations do not already have.

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.

Face- and body-centred cubic change places at t = 1. The Gaussian sum of the face-centred cubic lattice minus that of the body-centred cubic lattice, both at unit volume, across widths from 0.35 to 2.8. Below t = 1 the difference is positive, so the body-centred lattice has the smaller sum; above, it is negative and the face-centred lattice does. At t = 1 the two are equal to the last digit a computer carries, and not by accident: at unit volume each lattice's sum at width t is the other's at width 1/t times a known factor, and at t = 1 the factor is one. Neither lattice is best at every width, and no other lattice can be either.

No lattice in space wins at every width

Spread a Gaussian over every point of a lattice and add them up. In the plane one lattice gives the smallest sum at every width — the hexagonal one — and that is a theorem. In space no lattice does, and the proof is two lines: at large widths the winner must be the densest lattice, at small widths it must be the densest lattice's dual, and in space those are face- and body-centred cubic. They change places at exactly the width where each is the other's dual.

7 figures

The classification

Exactly seventeen ways to fill the plane with a repeating pattern. Not a fact to memorise: a theorem, with a finite argument and no eighteenth case.

I222 and I2₁2₁2₁: the same axes, apart. The two-fold rotation axes of the two space groups on the body-centred class of 222, drawn in one conventional cell seen down its third edge: axes along that edge as diamonds, axes along the first edge as solid lines and along the second as dashed lines, with the height of each written beside it. Both groups have pure two-fold rotation axes in all three directions. In the symmorphic group some axes of different directions cross, at the origin among other places; in the other none does, because the heights of the axes in each direction are a quarter out of step with the positions of the axes in the others.

Two groups no single operation reveals

A space group is non-symmorphic when no choice of origin removes all of its translations at once, and every textbook example has a screw or a glide to show for it. Two of the two hundred and thirty do not need one. Every operation of I2₁2₁2₁, taken on its own, is also a plain rotation about some axis; so is every operation of I2₁3. What makes them non-symmorphic is that their rotation axes never meet — and no diffraction extinction can tell them from I222 and I23.

7 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.

Where an antiferromagnet's reflections land. Two cubic antiferromagnets, with their nuclear reflections as dots and their magnetic reflections as triangles, in units of the conventional reciprocal lattice. On the left, a simple cubic lattice with every neighbour opposite: the magnetic reflections sit at half-integer indices, in a layer the nuclear pattern never visits. On the right, a body-centred lattice with the corners up and the centres down: the magnetic reflections sit at integer indices with an odd sum — exactly the reflections the body centring had extinguished, lit up again by the moments. In both, no magnetic reflection falls on a nuclear one.

Magnetic reflections land where nuclear ones cannot

An antiferromagnet scatters neutrons into places its chemical structure leaves dark, and never into a place it lights. The reason is one line of algebra: the magnetic pattern is the nuclear pattern shifted by half a reciprocal-lattice vector. Each of a lattice's seven halvings is one such shift, and how many of them its symmetry keeps decides how many kinds of domain the magnet must form.

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.

E₈ has the smallest sum at every width. For four eight-dimensional lattices of unit covolume — D₈, its dual D₈, the cubic lattice Z⁸ and two copies of D₄ — the ratio of their Gaussian sums, less the constant term, to E₈'s, at widths from 0.2 to 5, logarithmic. Every ratio exceeds one everywhere: E₈ wins at every width against every rival. The closest approach is at t = 1, where D₈ and its dual are equal, a factor of 1.31 above E₈. D₈ is the better of the pair at wide widths and D₈ at narrow ones, and neither comes close to E₈ at either end.

In eight dimensions one lattice wins at every width

In space no lattice has the smallest Gaussian sum at every width, because the densest lattice wins when the Gaussian is narrow and its dual wins when it is wide, and fcc is not bcc. The argument fails exactly when the densest lattice is its own dual. In eight dimensions it is: E₈, with 240 shortest vectors, beats D₈, its dual, the cubic lattice and a sum of two four-dimensional lattices at every width tried, by a factor of at least 1.31, and its sum is mirror-symmetric in the logarithm of the width.

6 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.

Seven cubic antiferromagnets, and what a powder of each can say. Seven collinear antiferromagnets on the three cubic lattices, each with the size of its propagation vector's orbit, the number of the forty-eight cubic operations that keep the vector, the kind of every magnetic ring out to a fixed radius, summed from the actual magnetic reflections of one domain, and what a powder pattern can therefore read about the moments' direction. The two whose halving the cubic group keeps are blind in every ring. An orbit of three leaves every ring uniaxial about a cube axis, an orbit of four about a body diagonal, and the body-centred orbit of six leaves rings that read the direction. The cubic chemistry is the same in every row; the propagation vector decides.

Where a powder goes blind

A neutron sees only the part of a magnetic moment across its path, so each reflection knows which way the moments point. A powder adds up every reflection of a given length, and for a ring with cubic symmetry that sum comes out the same whichever way they point. But the ring's symmetry is not the chemistry's: it is the symmetry the propagation vector keeps, and most cubic antiferromagnets have lost enough of it to be read.

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.

The seven edges a sheet can have. The seven frieze groups drawn as the profile of a cut edge: along the strip is along the edge, up the strip is the sheet's normal, and the half-sheet itself stretches away from the viewer. Each is labelled with what its operations are in the sheet — a mirror standing across the edge, a mirror or glide in the sheet's own plane, a half-turn about the cut's in-plane normal — and with how many of the eighty layers have it as the edge in some direction. Only p1 and p2 have no mirror image among their operations, so only they are chiral edges; every one of the seven occurs.

Cutting a sheet can give it a hand

Cut a periodic sheet along a line and the edge that is left has a symmetry of its own: a frieze group, drawn in the plane across the cut. A chiral sheet can only have chiral edges. An achiral one usually has chiral edges too, in all but a few directions — and eight of the eighty layer groups have no achiral edge at all, however the sheet is cut.

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.

Heavier atoms spoil the line, and then mend it. Above, the scatter of Sayre's ratio about its fitted line, averaged over four random cells, as a quarter of the atoms is made heavier, for cells of eight and of twelve atoms. Below, one minus the square of ρ, the correlation between the density's transform and its square's, computed from the composition alone. The spread of atomic numbers grows without limit along this axis, but ρ does not keep falling: it is lowest near a weight of three and climbs back towards one as the heavy atoms come to dominate, because a cell ruled by a few equal heavy atoms is nearly a cell of equal atoms. The scatter rises and falls with it. At equal weight what scatter remains comes from atoms that overlap, more of them in the larger cell.

Unequal atoms break the equality, and very unequal ones mend it

Sayre's identity is exact for a cell of equal atoms. Give a quarter of them more weight and the line it predicts scatters, reflection by reflection, by exactly the difference between weighting atoms by Z and by Z squared. Make them heavier still and the scatter shrinks again, because a cell ruled by a few heavy atoms is nearly a cell of equal ones. The scatter measures the cell, but only if the phases are already known.

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.

Two cuts that give back the mirror a single cut takes away. A sheet whose only symmetry beyond translation is a centre of inversion: each flag has a copy turned half round and moved to the underside, drawn open, and the dots are the centres. Every single cut leaves a chiral edge, and the piece on the far side carries its mirror image. The upper ribbon is cut symmetrically about a row of centres, so each centre on its middle line carries the ribbon onto itself with its two edges exchanged, and the ribbon is achiral. The lower ribbon, cut at the same width about a line with no centre on it, keeps nothing but translations and is chiral.

A ribbon can be achiral where its edges are not

Cut an achiral sheet once and the edge is usually chiral, in almost every direction. Cut it twice, into a ribbon, and the ribbon may be achiral even when both its edges are chiral, because an operation can carry the ribbon onto itself by exchanging the edges — but only if the ribbon's middle line sits on a centre of inversion or a mirror parallel to the cut. Seven of the eight sheets with no achiral edge give achiral ribbons, and one achiral sheet gives nothing but chiral strips however it is cut.

6 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.

Which way a fibre of achiral crystals rotates light. For three achiral classes that permit a gyration tensor, every crystal direction that could be aligned along a fibre texture's axis, drawn on a disc as seen from above the z axis, and shaded by the sign of the rotation the texture then shows along its axis. In each class the rotation takes both signs, in regions separated by a cone on which it vanishes. For 4̅2m and mm2 that cone is exactly the class's mirror planes, where the texture inherits a mirror and must be inactive; for 4̅, which has no mirrors, the cone is where the rotation passes through zero between a right-handed texture and a left-handed one.

A fibre of achiral crystals can rotate light

Four achiral crystal classes permit optical rotation, of both signs in different directions. Grind such a crystal into a random powder and the rotation averages away completely. Align the grains along one direction and it comes back: the texture rotates light along its axis exactly as one grain does, half as much the other way across it — and the direction chosen for the alignment decides the texture's hand.

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.

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.

6 figures Diffuse scattering gathered under every Bragg peak. The one-phonon thermal diffuse scattering of a square lattice with springs to nearest and next-nearest neighbours, over the reciprocal plane from minus 2.5 to 2.5 in each index, with the Bragg reflections marked. The intensity rises as one over the squared distance to every reflection, because the acoustic phonons' frequencies vanish there, and it grows with the square of the scattering vector, so the lobes are strongest far from the origin. The lobes are not round: a small step from (1,0) along k gives 2.7 times the intensity of the same step along h, because it probes transverse phonons, which are softer, and that ratio is what an experiment reads the elastic constants from.

A warm plane crystal has no Bragg peaks

Thermal motion is disorder that moves, and in space it costs a crystal a little of each Bragg peak and gathers it into diffuse scattering underneath. In a plane it costs more than a little. Computed exactly from the phonons of a harmonic square lattice, an atom's mean-square wandering grows by the same amount every time the crystal doubles in size, so no Debye–Waller factor survives, and every Bragg peak fades as a power of the crystal's size — a power proportional to the temperature times the square of the reflection's distance from the origin.

6 figures

By idea · By group · By object · Search