Crystallography & Symmetry
patterns derived from their groups
Concept

Reciprocal lattice — where it appears

The lattice with one point per family of lattice planes, each at the inverse of that family's spacing from the origin. Nobody has seen a space group; crystals are read from where they scatter, and where they scatter is this second lattice.

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

The angles between the faces of {102̅}. The form {102̅} of class 3̅m in section, with each face labelled by its indices. Its 6 faces make 15 pairs and only 3 distinct angles, the smallest being 76.43°. Every value is computed from the cell's metric — the one calculation in this family that is not integer arithmetic, because an angle is a real number and a lattice does not constrain it.

Why a crystal face carries small whole numbers

A crystal face is flat because it lies on a plane of lattice points, and its orientation is therefore named by three integers rather than by two angles. That the integers exist is a theorem about lattices; that they are usually smaller than four is a separate claim about growth, and the two are routinely run together.

applied · Forms A lattice and its reciprocal. The reciprocal lattice is where a crystal scatters. A long axis in the crystal gives closely spaced spots and a short one gives widely spaced spots, so the diffraction pattern is the structure turned inside out.

The reciprocal lattice

Nobody has seen a space group. Crystals are read from where they scatter, and where they scatter is a second lattice in which long has become short and short has become long.

diffraction · Diffraction Building the reciprocal lattice from spacings. Each family of lattice rows has a spacing, and each contributes one reciprocal point: perpendicular to the rows, at the inverse of the spacing. The points built that way were compared against the algebraic definition and agree exactly.

The dual lattice, as a construction

The reciprocal lattice is usually introduced as a formula and then used as a fact. Building it instead — one point per family of lattice rows, at the inverse of the spacing — makes every property it has obvious rather than memorable.

lattices · Lattice The h0l layer of P2₁/c. The h0l reflections of P2₁/c out to 4 in each index, with each spot decided by summing the structure factor over the group's operations: 44 survive and 36 vanish identically, whatever the atoms are. The pattern of holes is the condition h0l: l even, read back off the spots rather than imposed on them.

The reflections that are not there

A screw axis and a glide plane leave no mark on the intensity of any reflection. What they do is delete some, exactly, for every possible arrangement of atoms — and the pattern of deletions is computed here from the sum a crystallographer writes down, rather than read from a table.

diffraction · Diffraction The Wigner–Seitz cell of the hexagonal lattice. Every point closer to the central lattice point than to any other. The faint lines run to the 6 neighbours whose perpendicular bisectors bound the region; every other lattice point is cut off by one of them. The cell has exactly the area of a unit cell — asserted while the figure is drawn, against √det G computed from the metric — and it carries all 12 of the lattice's symmetries, which a conventional cell need not. Nothing was chosen to build it: no basis, no axes, no convention. Two people who agree about the lattice cannot disagree about this cell.

The cell nobody chose

Every unit cell on this site is a convention, and one construction escapes the warning entirely: the region of the plane closer to one lattice point than to any other. It needs no basis, no axes and no rule — and its combinatorics are decided in integers, with the square roots confined to drawing it.

lattices · Wigner–Seitz cells Two species on one lattice, ordered at index 2. Every position is a lattice point of the parent and none of them has moved. What has changed is which atom sits where: the larger marks are a sublattice of index 2, the smaller ones its other 1 coset, and the outlined cell is the new repeat. The lattice of positions is untouched and the repeat of the contents is 2 times as large, which is the whole of what an ordering transition does and the reason its signature is in reciprocal space rather than in the positions.

The reflections a superlattice adds

Centring a lattice makes reflections vanish. Ordering two kinds of atom onto a sublattice makes new ones appear, exactly n − 1 of them per parent cell, and their intensity is a difference rather than a sum — which is why an ordered alloy of two neighbouring elements can be invisible to X-rays and obvious to neutrons.

lattices · Sublattices The first 4 zones of the square lattice. Zones one to 4, each in its own shade. The n-th zone is the set of wavevectors with exactly n − 1 reciprocal lattice points nearer to them than the origin is, so the boundaries are the perpendicular bisectors and nothing else. The zones get further out and break into more pieces — 1, 4, 8, 12 fragments — and every one of them has the area of a single cell.

The zones above the first

The second Brillouin zone is a scattering of disconnected fragments in a different part of reciprocal space from the first, and it has exactly the same area. So does the third, and the seventh. The reason is that each of them is the first zone, cut up and moved.

lattices · Wigner–Seitz cells Everything measurable at λ = 1.54 Å, and it is a finite set. A section through the reciprocal lattice of a cubic cell of 10 Å, with the limiting sphere drawn. Bragg's law reaches a reflection only if its spacing is at least half the wavelength, so the measurable reflections are the lattice points inside a sphere of radius 2/λ and the points outside it are not merely unmeasured — no experiment at this wavelength can reach them. In this section 516 points lie inside; in the full sphere there are 9,092.

How many reflections there are

The reciprocal lattice is infinite and a measurement is not. A wavelength cuts a sphere out of it, the number of points inside is the sphere's volume times the cell's, and symmetry then removes all but a fraction — though never quite the fraction a division would give.

diffraction · Resolution -2 0 -3 is forbidden and is reached 64 ways. A layer of the reciprocal lattice of Cc: pale spots are reflections the group extinguishes, solid ones are allowed. The path shows a detour — the beam diffracts once at -3 -3 -3 and again at 1 3 0, and the two together send it in exactly the direction a single reflection at -2 0 -3 would. That reflection is forbidden, so intensity arrives where the symmetry said none could. There are 64 such routes to this one spot inside this window alone.

The absence that fills itself in

A systematic absence is the strongest evidence this subject has: a whole zone of reflections cancelling exactly, for reasons of symmetry rather than of arithmetic accident. The exactness belongs to a model — that the beam scatters once. A beam that has already been diffracted can be diffracted again, and the two events together land where the group said nothing could.

diffraction · Diffraction p4: (1/2, 0) has a star of 2. The first Brillouin zone of the square lattice, with the reciprocal lattice points at its corners and centre, and the whole star of the wavevector (1/2, 0) under p4. The star has 2 members and the little group — the operations that leave the wavevector where it is, modulo the reciprocal lattice — has order 2. The two multiply to the order of the point group, which is the orbit–stabiliser theorem and is checked rather than displayed. Each member is drawn at whichever of its equivalent copies lies nearest the origin, because that is where a reader expects a wavevector to be.

The star of a wavevector

A plane group acts on the plane, and this collection has spent two hundred essays watching it. It also acts on the reciprocal lattice, where the action is different in one decisive way: the translations move no wavevector at all, and come back instead as a phase.

space-groups · K symmetry A gap of exactly 1.00. The two folded bands with the ordering switched on. The faint curves are the same bands before it, crossing at the boundary of the reduced zone; the ordering couples them there and separates them by exactly twice its own strength. The gap appears at the wavevector where the superlattice's extra reflections appear, and for the same reason: both are the Fourier component of the potential at that wavevector.

A bigger cell, a smaller zone

Ordering two kinds of atom onto a sublattice adds reflections to the diffraction pattern and opens a gap in the levels. It is one fact told twice: the same Fourier component of the potential, at the same wavevector, doing the same thing.

lattices · Wigner–Seitz cells What each Laue class buys, in measurements per reflection. The eleven Laue classes, with how many distinct reflections a block of indices holds under each and how many times a data set measures the average one. The redundancy is always below the order of the class and the gap is the special reflections. This is the number an experiment is planned around: repeated measurements of what symmetry says must agree are the only estimate of precision that does not come from a model, so a triclinic crystal has to be turned through far more of the sphere than a cubic one to be measured as well.

Every reflection, several times over

A diffraction experiment does not measure each reflection once. Symmetry relates a reflection to the others of its orbit, and those are the same reflection seen from another direction — so a hundred thousand measurements may contain twelve thousand reflections, each observed eight times.

diffraction · Resolution 342 unlabelled spots, cell volume 52. A bag of 342 reflection positions with no indices on them, collected out to a bound of 3 on each index. Their pairwise differences generate the reciprocal lattice; a basis of that is taken by integer elimination and then reduced, and the reduced basis is printed. Its determinant is 52, which is the volume of the cell the reflections were computed from — so the cell has been recovered from positions alone, with no intensity used anywhere.

A cell from a bag of spots

A single-crystal experiment returns a list of directions with no labels on them. Recovering the cell is recovering the lattice those directions generate, and the whole of it is take differences, reduce, read the answer. What no quantity of data settles is whether the lattice found is the true one or a sublattice of it.

applied · Indexing 66 reflections that no rotation reaches. Every reflection inside the limiting sphere of an orthorhombic cell, 7 × 11 × 13 Å at 1.4 ångström, plotted by its distance from the rotation axis against its height along it. The ones marked are those a rotation about that axis can never bring into diffracting position: turning the crystal moves a point on a circle at fixed height, so a point too close to the axis can never acquire the component along the beam that the Ewald condition demands. The blind region is a cusp about the axis, it is 4.3 per cent of the sphere here, and nothing but remounting the crystal removes it.

What one turn of the crystal reaches

Every reflection inside the limiting sphere is measurable by some orientation. A crystal on a spindle has one axis, and a region around it never reaches the Ewald sphere at all — however patiently the crystal is turned.

diffraction · Resolution 21 superspace groups in (2+1) dimensions, from 31 names. The whole count, in the order it is built. Thirteen arithmetic classes of the plane; six of them admit an incommensurate wavevector; those six give ten sign assignments; each assignment contributes the plane cohomology times the internal cohomology, which is thirty-one names; and the names are merged by the changes of basis that are relabellings — a change of the plane basis, which moves the sign assignment and the internal cocycle with it, and the choice of q against −q. The last row is what the count would be if the two factors were quotiented separately, which over-counts because the merge is not independent of the internal part.

Superspace groups in the plane

A modulated crystal has no space group, and in a space of one more dimension it has one. Counting them in the plane is the seventeen's own extension arithmetic with a third coordinate on which the point group acts by a sign — and the sign has to be plus or minus exactly, which kills the three-fold, four-fold and six-fold classes before a single extension is counted.

aperiodic · Modulation A 21.79° twist, and the cell its beat has. Two copies of the same lattice, one turned. The coarse pattern a reader sees is the beat between them, and the outlined cell is computed from the two lattices rather than measured off the picture: the moiré reciprocal lattice is the original acted on by (I − R), so the moiré cell is the original scaled by one over twice the sine of half the twist, and turned through a right angle plus half the twist.

A beat is not a period

Lay one lattice on another and turn it: the coarse pattern that appears has a spacing anyone can compute, a over twice the sine of half the twist, and it exists at every angle whatever. Whether the superposition actually repeats is a different question with a different answer — countably many angles say yes, and at most of those the true cell is larger than the beat by a definite factor. On a square net it always is.

applied · Interfaces The alias accounts for every line and predicts more. The observed lines above, and below them the grid of a supercell that explains all of them. The full ticks are the observed lines, which the alias reproduces exactly; the faint ones are lines the alias predicts and nobody saw. That second set is the only thing that separates the two cells, and it is why an indexing criterion has to charge for unobserved lines rather than measure agreement.

Every alias is a supercell

A cell that explains every line of a powder pattern is not a near miss and not a coincidence: its reciprocal grid contains the true one, which means its own cell is a superlattice of the true cell. So the ambiguity of indexing is the arithmetic of superlattices, and it can be counted — two cells with one unknown, sixteen with two, sixty-two with three, all of them accounting for the same twenty lines exactly.

applied · Indexing The cross, from the selection rule alone. The layer lines of a helix with the first maximum of each marked on both sides. Nothing here is a picture of a photograph: each mark is at the radius where the Bessel function of the lowest order the selection rule permits on that layer line first peaks, and that radius is proportional to the order. The order rises by one per layer line until the middle of the repeat, so the maxima lie on two straight lines through the origin — the X — and the larger marks are the layer lines that reach the axis.

What a thread scatters

A helix with ten subunits in a turn is not a screw axis a crystal may have, and nothing about its diffraction pattern is lawless. The pattern lies on layer lines, and on each one only certain angular orders may contribute — a selection rule as hard as any extinction condition. The lowest permitted order rises by one per layer line, a Bessel function of order n does nothing until its argument is about n, and the maxima therefore lie on two straight lines through the origin.

classification · Subperiodic One change of basis turns a Gram into its own adjugate. For each Gram matrix: the matrix after the basis change by a right-angle rotation, and the adjugate. They are equal, always — and the adjugate is the determinant times the inverse, which is the dual lattice's Gram. So the dual is the same lattice on a rotated basis, scaled by one over the determinant. Five rows are the named plane lattice types and the rest have entries picked at random, because the claim is an identity in integers and not a property of the five.

Every plane lattice is its own dual

The dual of a lattice has the inverse Gram matrix, and in two dimensions the inverse is the adjugate over the determinant — which is what one particular change of basis does to a Gram. So a plane lattice's dual is the lattice itself, turned through a right angle and scaled, for every lattice with no exception. In three dimensions it is a condition, and the face-centred and body-centred cubic lattices are duals of each other rather than of themselves.

lattices · Lattice Both sides of the transformation, on five lattices. A Gaussian of width set by t on every point of a lattice, summed; and the same sum over the dual lattice with the width inverted and the covolume divided out. The two agree to the last bit a double carries, at every t and on lattices with no symmetry in them, so nothing here is a coincidence of parameters. The identity is exact and the reason to have it is that the two sides do not cost the same.

The sum that turns a lattice into its dual

Put a Gaussian on every point of a lattice and add them up. The answer equals the same sum over the dual lattice with the width inverted and the covolume divided out — exactly, to the last bit a double carries, on lattices with no symmetry in them. The identity is free and the reason to have it is that the two sides do not cost the same: at one end of the range the direct sum needs forty thousand terms and the dual sum needs a hundred and twenty-five.

lattices · Lengths A patch of hats scatters a pattern that repeats. The diffracted intensity of the 1217 points of a patch of 183 tiles laid out as the hat, over 2 by 2 cells of the kite grid's reciprocal lattice, whose edges are the faint lines. Every local maximum above a hundredth of the central peak is a disc with area proportional to its intensity; 12 reach the central peak's full height. 72 maxima are drawn. Adding a reciprocal lattice vector to the scattering vector changes the intensity by at most 1.1e-15 of the central peak, so each cell holds the same pattern.

How much of the hat is a crystal

Put a scatterer on every corner of a patch of hats and the diffraction pattern repeats exactly, because every corner sits on a lattice. Inside each repeat the strongest reflections are those of an ordinary crystal with partly filled sites, and by Parseval's identity they carry sixty-three per cent of what the pattern holds. The aperiodicity the hat is famous for lives in the remaining third, in reflections a hundred times weaker.

aperiodic · Monotile

Named alongside it

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

Structure factorSystematic absenceBrillouin zoneCentringDual latticeGram matrixLaue classSublatticeBragg's lawGlide planeIndexingInterplanar spacing

All concepts