Crystallography & Symmetry
patterns derived from their groups
Concept

Configurational entropy — where it appears

The logarithm of the number of arrangements a local rule permits, times Boltzmann's constant. It is measurable because the logarithm of an unimaginably large count is an ordinary laboratory quantity, which is how ice's residual entropy was compared with a count made on paper.

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

Order 5: 32,768 arrangements. An Aztec diamond of order 5, with every possible dimer drawn at an opacity equal to the fraction of arrangements it appears in — a probability computed exactly, by counting the arrangements of the region with that dimer's two sites removed, rather than sampled. The four corners come out nearly certain and the middle nearly even, with a circle between them. The most certain dimer here occurs in 0.97 of the arrangements, which is 1 − 2⁻5 exactly, so nothing is frozen at any finite size.

How many arrangements one rule allows

Every count in this collection so far has been a count of symmetries, or of orbits under one. Here is a different count: the arrangements a purely local rule permits on a fixed lattice, with no symmetry quotient anywhere in it. The answers are enormous, they are exact, and the useful quantity is not the number but its growth per site.

aperiodic · Entropy Arrangements per site, falling towards the exact value. The number of configurations of an L × L torus obeying the ice rule, taken to the power of one over the number of sites. The largest computed here is 4,484,823,396 configurations on a 7 × 7 torus. The values fall towards Lieb's exact 1.54 from above, and every one of them is above Pauling's estimate of 1.5 — which undercounts, because it treats the vertices as independent and they are not.

The arrangements a crystal keeps at absolute zero

Ice has a residual entropy, and the number a calorimeter measures is the logarithm of a count of arrangements. Pauling's one-line estimate of that count is out by two and a half per cent; the exact count in two dimensions is available, falls towards its limit from above, and the whole disorder is invisible to a diffraction experiment, which sees only the average.

aperiodic · Entropy 19 site symmetries, and the counts each can impose. Every distinct site symmetry across the space groups this site builds, named by the multiset of its operation types, with the orientation counts a disordered molecule there may take. The counts are the indices of the site group's subgroups, computed by closing subsets under multiplication rather than looked up. Nearly every row offers every divisor of its order. One does not: a site of order twelve whose group is the tetrahedral rotation group refuses an orientation count of two, because that group has no subgroup of order six.

How many orientations a disorder needs

A molecule at a site with more symmetry than it has resolves the contradiction by occupying several orientations at once. How many is not fitted: it is the index of the molecule's symmetry in the site's, so the occupancy is the reciprocal of a whole number — and one site in the census refuses a divisor of its own order.

restriction · Local symmetry

Named alongside it

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

CountingEntropyLocal rulesLong-range orderAverage structureCosetDeterminantDimer coveringDisorderEnumerationIndexMaximal subgroup

All concepts