Crystallography & Symmetry
patterns derived from their groups
Concept

Burnside lemma — where it appears

The statement that the number of orbits of a finite group acting on a finite set is the average number of points each element leaves where they are. It is also the multiplicity of the trivial representation in the permutation representation.

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

What each group leaves distinct. The number of genuinely different ways of putting 2 species on the cells of a 4 × 4 block, for 9 plane groups. Every row starts from the same 65,536 arrangements; what differs is the group identifying them. Each count is Burnside's average of fixed points, and each was required to divide exactly by its group's order.

Counting what a group cannot tell apart

Sixty-five thousand ways of putting two species on sixteen sites; eight hundred and five structures. The difference between those numbers is not a division, because the symmetric arrangements have short orbits — and the count that gets it right is an average of fixed points.

operations · Counting A wavevector of thirds, and the boxes that cannot see it. Which sizes of box can carry the wavevector at the corner of a hexagonal zone. The characters of the box's translation group are its wavevectors, and there are exactly N² of them — the fractions with denominator dividing N. A wavevector of thirds is therefore present in a box of three, six, nine or twelve cells and absent from one of two, four or five: not approximated badly, not resolved coarsely, absent. A mechanism or a level living there is invisible to such a calculation, and that is the practical content of a mechanism count depending on the cell it was looked for in.

Crystallography in a box

A calculation over a crystal is not performed on a crystal. It is performed on a finite block with its edges glued, and the block has a symmetry group of its own — finite, complete in one direction and missing something decisive in the other.

classification · Flat space An orbit of 12 points under 6mm, split into 6 kinds. The functions defined on one orbit of 12 points under 6mm form a space of that dimension, and the group acts on it by permuting the points. The character of that action is the cheapest one in the subject — at each operation it is the number of points left where they are — and decomposing it against the table gives the multiplicities on the right. They are whole numbers, they weight the dimensions to 12 again, and the multiplicity of the trivial representation is the number of orbits, which is Burnside's lemma arriving as a special case.

The shell that splits into kinds

The neighbours of an atom carry a space of functions as large as the shell, and the group does not treat that space as one thing. It splits into pieces of a few kinds, in whole numbers, and the count is the cheapest character in the subject: how many neighbours each operation leaves where they are.

point-groups · Representations Every square-lattice superstructure, by the size of its cell. The number of distinct arrangements of two species on the square lattice whose primitive cell holds exactly n sites, for n from one to twelve, logarithmic, counted over every cell shape at once: every sublattice of index n up to the lattice's own symmetry, every colouring of it up to translations and the sublattice's stabiliser, and only those whose true period is that sublattice. Odd prime sizes are low, because only a few cell shapes exist; sizes with many divisors are high.

Every superstructure counted once

The 805 arrangements of two species on a four-by-four cell were never the structures with sixteen atoms: forty-nine of them repeat in a smaller cell, and every sixteen-atom structure whose cell is not a four-by-four square is missing. Counting structures rather than arrangements means counting over every shape of cell at once, and discarding every arrangement that repeats sooner. On the square lattice that gives 2, 2, 4, 11, 16, 40, 48, 148 structures for cells of one to eight atoms, and 22,413 with sixteen.

operations · Counting How many superstructures a diffraction pattern tells apart. For two-species superstructures of the square lattice with one to twelve sites in the primitive cell: the number of structures, and the number of classes that the positions of their superlattice spots separate them into, the positions together with the composition, and every intensity. At twelve sites 2,012 structures give 167 sets of spot positions, 504 with the composition and 1,815 sets of intensities. At five, seven and eleven sites the positions distinguish only the cells; the intensities distinguish everything. The bar shows the share resolved by positions, dark, and by intensities, light.

The spots say the cell and little else

Of the 2,012 two-species superstructures of the square lattice with twelve sites in the cell, more than half light every superlattice spot their cell allows, so the positions of the spots say which cell and nothing more. Positions separate the 2,012 into 167 classes, the composition takes that to 504, and every intensity to 1,815. At a prime number of sites no spot is ever missing, because a sum of distinct p-th roots of unity cannot vanish.

operations · Counting

Named alongside it

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

OrbitSuperstructureSublatticeSupercellCharacterCluster expansionCommensurateConfigurationCyclotomic polynomialsEnumerationFinite groupFixed point

All concepts