Crystallography & Symmetry
patterns derived from their groups
Concept

Height function — where it appears

A function on the faces of a tiling or arrangement whose differences across each edge are fixed by what sits on that edge. It exists exactly when a local rule makes those differences add to nothing round every point, and it turns a question about arrangements into one about a surface.

Named by 4 essays across one field — each of them below, with the objects they name alongside it.

Four of the 980 piles in a three-cube box. A stack of unit cubes in the corner of a box, seen down the body diagonal. Every visible face is one of three rhombi and the picture is a tiling of one fixed hexagon — the same hexagon for every pile, because a pile in an a×b×c box always shows ab+bc+ca faces however it is stacked. The four here are taken at even intervals through the enumeration, from the empty box to the full one.

A facet with no energy in it

Stack cubes into the corner of a box and look down the body diagonal: the pile is a tiling of a hexagon by three rhombi, and the number of piles is a product MacMahon wrote down in 1916. Because the count is exact, so is the average pile — and the average has a flat corner meeting a rounded middle, which is the shape of an equilibrium crystal, arrived at by counting with no surface energy anywhere in the argument.

aperiodic · Entropy Square ice scatters a pinch at the origin. The intensity scattered by the horizontal arrows of square ice, averaged over 100 configurations on a 32 by 32 torus, over the whole Brillouin zone with the origin at the centre; darker is more intense. Along the horizontal axis through the origin the intensity falls to zero — 2.9e-32 at the smallest wavevector — while along the vertical axis it stays near 1.75, so the two meet at the origin in a pinch.

The ice rule is a conservation law

Two arrows in and two out at every vertex is a statement that nothing flows in or out anywhere. That makes one half of the arrow field vanish identically, in every arrangement and not merely on average, and what is left scatters with a pinch at the origin: an intensity that approaches different values from different directions. Break the rule now and then and the pinch acquires a width Debye and Hückel predicted for a salt solution.

aperiodic · Entropy One rule, one lattice, two entropies. The number of arrangements per vertex for square ice, counted two ways on the same lattice with the same rule. On a torus the count falls towards Lieb's exact value of 1.5396 from above. Inside a domain wall — every arrow on the top and bottom edges pointing in, every arrow on the left and right pointing out — the count rises towards 3√3/4, which is 1.2990, from below. A residual entropy is supposed to be a bulk quantity that forgets the boundary; these two differ by sixteen per cent and the only difference between them is the boundary.

The count that depends on the edge

A residual entropy is supposed to be a bulk number: so much per vertex, whatever surrounds the lattice. Square ice has two of them. On a torus the count per vertex heads for 1.5396 and inside a domain wall it heads for 1.2990, with the same rule on the same lattice — and the sixteen per cent between them is sitting in the corners.

aperiodic · Entropy A colouring, and the arrows it writes. A proper three-colouring of the cells of a four-by-four torus — no two cells sharing an edge carry the same colour — with an arrow drawn on each shared edge by the difference of the two colours it separates. The difference is one or two modulo three, never nought, so every edge gets a direction. At each corner four cells meet and their four differences go round a cycle and add to nothing modulo three, which forces two of the arrows in and two out. That is the ice rule, arrived at from a colouring with no arrows in its statement.

Three colours on a chessboard

Colour the cells of a board in three colours so that no two sharing an edge agree. The number of ways is the number of ice arrangements on the same board — the same integer, to the last digit, at every even size — so a residual entropy a calorimeter reads is also the answer to a colouring problem with no physics in it at all. At odd sizes the two counts part company, and why they do is a condition on going round.

aperiodic · Entropy

Named alongside it

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

EntropyLocal rulesCensusResidual entropyTransfer matrixCountingEnumerationEquilibrium shapeCorrelation functionDiffuse scatteringLatticeStructure factor

All concepts