Crystallography & Symmetry
patterns derived from their groups
Concept

Golden ratio — where it appears

The number (1 + √5)/2, the smallest quadratic Pisot number, and the inflation factor of both the Penrose tiling and the Fibonacci chain. What makes it work is being a unit with a small conjugate, a property 1 + √2 shares.

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

A Penrose tiling, 4 inflations. Two rhombs, subdivided into smaller copies of themselves over and over. The result covers the plane, has five-fold symmetry about its centre, and never repeats — there is no translation that maps it to itself.

Penrose tilings

Two rhombi, a rule about how their edges may meet, and a tiling that covers the plane completely and never repeats. The five-fold symmetry a lattice forbids, obtained by giving up the lattice.

aperiodic · Aperiodic One tile becomes 130 in 3 inflations. One tile subdivided into smaller copies of the same two shapes, repeatedly. The rule is local and deterministic, and the pattern it builds has long-range order without any repeating cell. The panel counts are 10, 20, 50, 130, and each is the one before it multiplied by the substitution matrix — an identity in whole numbers, checked every time the figure is drawn rather than quoted.

Inflation, and where the golden ratio comes from

A Penrose tiling is not laid out tile by tile. It is grown by cutting every tile into smaller ones and rescaling, and the growth matrix's dominant eigenvalue is the golden ratio squared.

aperiodic · Aperiodic The substitution, 6 generations. The rule "every long tile becomes a long and a short, every short tile becomes a long", applied 6 times from a single tile. Each generation is as long as the previous two together, so the tile counts are Fibonacci numbers — 13 long and 8 short at the last row — and their ratio is 1.62500 against the golden ratio's 1.61803. The sequence never repeats and every finite piece of it recurs infinitely often, which is order without periodicity in its smallest form.

The smallest quasicrystal

Two tile lengths on a line, in the golden ratio, in a sequence that never repeats. Three completely different constructions produce it, they are required here to agree, and its diffraction needs two integers per peak where a periodic chain needs one.

aperiodic · Quasicrystals Which inflation factors a tiling may have. Every distinct inflation factor produced by a two-letter substitution whose matrix has entries up to 4, plotted against its algebraic conjugate. The two grey lines are the unit circle, which in the quadratic case is the pair of values ±1. A factor whose conjugate lies strictly inside is a Pisot number and the chain it grows has sharp Bragg peaks; 39 of the 77 factors here lie outside and cannot. The golden ratio is the smallest of them all, which is the arithmetic reason it turns up in every quasicrystal anybody has drawn.

Which inflation factors exist

A tiling grown by substitution has an inflation factor, and it is an eigenvalue of an integer matrix — so it is an algebraic integer, and sharp diffraction demands that its conjugates be small. That condition is an inequality between two integers, and it explains why the golden ratio turns up in every quasicrystal anybody has drawn.

aperiodic · Aperiodic 13 of one on 12 of the other. Two rows of atoms whose spacings are in the ratio 1.042. Every 12 cells of the substrate come to within 3.97 per cent of 13 cells of the film, so the two are nearly in register at those points and out of register between them. There is no exact coincidence anywhere, and there cannot be: exact coincidence needs the ratio to be rational, and no measured ratio is.

Two different lattices never coincide, and the question becomes how nearly

Grow one crystal on another and their spacings are in a ratio that no measurement ever makes rational, so exact coincidence is unavailable in principle. What is left is the best rational approximation inside a tolerable repeat — a quantity that jumps rather than drifts as the ratio changes, and whose acceptability is decided by elasticity rather than by arithmetic.

applied · Interfaces A quasilattice down a 5-fold axis: 10-fold, from an axis of order 5. 153 points of a three-dimensional quasilattice, made by keeping the points of Z⁶ whose perpendicular image lies inside a window and projecting them into ordinary space, then viewed along one of its 5-fold axes. There is no lattice here and no unit cell, and the symmetry is nevertheless exact: all sixty rotations of the icosahedral group carry the set onto itself, on 153 points of its core, measured by applying them rather than assumed from the construction. Seen down this axis the set comes back to itself under a turn of a 10th and no finer turn, measured over every turn up to a twelfth — twice the order of the axis, and the factor of two is a centre of symmetry: this set equals its own negation, which is what a window centred on the origin produces, and that is checked here rather than assumed. A diffraction experiment would record the same 10 whatever: the measured intensity acquires a centre whether or not the structure has one, so the tenfold photograph of 1982 does not by itself distinguish a structure with a centre from one without.

Six integers, and the lattice that holds them

A fivefold rotation is not an integer matrix in three dimensions and is one in six. The icosahedral group permutes its own six fivefold axes, so in coordinates along those axes every one of its sixty rotations is a signed permutation — and Z⁶ is a lattice it maps onto itself.

aperiodic · Quasicrystals Every window returns within 3.0 n. For each window length, the largest distance between two consecutive occurrences of the same window, measured over 46,368 tiles. The gaps are Fibonacci numbers, and the ratio to the window length stays below 3.00 — the chain is linearly repetitive. That is a strong statement of uniformity: there is no stretch of the chain, however far out, in which a given patch fails to occur within a bounded multiple of its own size.

Every patch comes back

A chain that never repeats still repeats everything in it. Every block of tiles occurs again, and again, within a bounded multiple of its own length — and how large that multiple is turns out to be a fact about the continued fraction of a slope.

aperiodic · Complexity 21 points, 3 gap lengths. The first 21 multiples of 377/610, marked on a circle of circumference one, together with the point at zero. The 22 gaps between neighbours take 3 distinct lengths — 13/610 (1 of them), 21/610 (9 of them), 34/610 (12 of them). The largest is the sum of the other two: 13 + 21 = 34. Every quantity here is a whole number over the denominator, so nothing is measured.

Three gaps, and never four

Mark the points α, 2α, 3α round a circle of circumference one. They look scattered. The gaps between neighbouring points do not: for every angle and every number of points there are at most three distinct gap lengths, and when there are three the largest is the sum of the other two. That is where a chain with exactly two tile lengths comes from.

aperiodic · Complexity 9 approximants, period 2 to 89. The approximants of the Fibonacci chain: the n-th Fibonacci word taken as a unit cell and repeated. Each is a perfectly ordinary periodic crystal — it has a lattice, a cell and a space group — and each has the composition of the quasicrystal to the accuracy a ratio of Fibonacci numbers can manage, since its long and short tiles are consecutive Fibonacci numbers and their ratio is a convergent of the golden ratio. The last column is where the approximant stops agreeing with the infinite chain letter for letter: always past its own period, because the infinite word begins with every finite Fibonacci word, and never for ever. At order 9 the error in the composition is -3.87e-4, and it falls by a factor of τ² at every step up the sequence.

The crystal you get by rounding τ off

Everything aperiodic about a Fibonacci chain comes from one irrational number in the slope of a cut. Replace it by a fraction and the whole construction survives: the same lattice, the same strip, the same rule, and a chain that is periodic — agreeing with the quasicrystal for a length that grows with the denominator.

aperiodic · Quasicrystals The window of a three-letter chain. The cut-and-project window of the tribonacci chain: every prefix of the chain, projected onto the plane spanned by the two complex roots of x³ = x² + x + 1, and coloured by the letter that follows it. 223,317 points. It is a bounded region in three pieces whose areas are 0.542, 0.296, 0.162 of the whole, which are the frequencies of the three letters; it fills 71.5 per cent of its bounding box, and a straight cut across it meets up to 6 separate pieces. A window for a two-letter chain is an interval.

A window that is not an interval

The usual cut-and-project construction takes a strip through a lattice and keeps the points falling within an interval. Add a third letter and the window stops being an interval: the tribonacci chain's window is a fractal in three pieces, and a straight cut across it meets up to six.

aperiodic · Aperiodic The h = 1 anomaly moves with the length of the chain. For a size-coupled chain with ε = 0.03, the ratio of the second-order pair's tilt, divided by k², to the first-order tilt at h = 1, from plain sums over the sites and from sums with a smooth window, for 22 chain lengths from 10,000 to 480,000 sites. The plain ratio swings between -0.08 and 5.60; at 30,000 and 120,000 sites, the two lengths first tried, it sits near 0.31 both times. The windowed ratio is one half at every length.

The satellite beside the zero-order reflection

An earlier essay found that the second-order satellites of a modulated chain tilt half as far as the first-order ones at every reflection but the first, where they tilted a third as far, the same on chains of 30,000 and 120,000 sites. It left the departure unexplained and proposed a higher order of the expansion. The expansion was never wrong. The weak satellite at h = 1 sits a quarter of a reciprocal unit from the strongest reflection a chain has, and a plain sum over a finite chain carries that reflection's tail, which does not shrink steadily as the chain grows. It swings, and the two lengths tried happened to swing to the same place.

aperiodic · Modulation When a three-species superstructure's spots can go dark. Every structure of three species on the square lattice with three to eight sites in its primitive cell, using all three species, and every superlattice spot of each, sorted by whether the spot is dark for every choice of scattering contrasts, dark at exactly one ratio of the two contrasts, or never dark; with the number of distinct ratios and their degree over the rationals. At the primes 3, 5 and 7 no spot is dark for all contrasts and no dark ratio is rational: none at three sites, quadratic ones at five and cubic at seven. At four and six sites every dark ratio is rational, at eight some are and some are not, and at six and eight some spots are dark for every contrast.

Three species hide a spot at the golden ratio

With two species and a prime number of sites in the cell, no superlattice spot can ever be missing, because a sum of distinct roots of unity of prime order vanishes only when it is all of them. With three species the structure factor weighs two sums against each other with two scattering contrasts, and the argument changes shape without breaking. At a prime size no spot is dark for every contrast and none at a rational ratio of them, but a spot can be dark at one irrational ratio: at five sites, a power of the golden ratio. It happens only in structures with a centre of symmetry.

operations · Counting The second-order satellites alone cannot measure the curvature of a size effect. The Cramér–Rao error in the quadratic size coefficient ε₂, as a fraction of its true value, from six sets of satellites of a modulated chain of 30,000 sites with 2% intensity error, and the correlation between the errors in ε₂ and the linear coefficient ε₁. From second-order satellites alone the error is thousands of times ε₂ at one reflection and still a hundred times it at three, with the two coefficients correlated at 1.000. With the first-order satellites added, one reflection gives ε₂ to about a third of itself and three to about a tenth.

The second order cannot see a curved size effect alone

When the spacing between atoms depends on composition along a curve rather than a line, the displacement of a modulated chain gains a second harmonic, and the second-order satellites should measure it. They cannot do it on their own. At every reflection a second-order satellite sees the straight part and the curved part of the size effect in almost the same proportion, so adding reflections adds copies of one equation. The first-order satellites, which see only the straight part, are what separates them.

aperiodic · Modulation What each kind of satellite of a two-wave chain says about the curvature of the size effect. The Cramér–Rao error in the quadratic size coefficient ε₂, as a fraction of its true value, from seven sets of satellites of a chain modulated by two incommensurate waves, with 2% intensity error: with the two modulation amplitudes refined as well (upper bar of each pair) and with them known (lower bar). The sum or the difference satellites alone say almost nothing either way. Together, with the amplitudes known, they fix the curvature to under one per cent from a single reflection; with the amplitudes free they do not, and adding the first-order satellites, which fix the amplitudes, restores it.

Two waves measure the curvature one wave hides

A chain modulated by one wave cannot tell a curved size effect from a straight one at second order: every second-order satellite sees the two in the same proportion. Modulate it by two incommensurate waves and the curvature puts the product of the waves into the displacement, at their sum and at their difference. The satellites there see the curvature with opposite signs. Two equations of opposite sign separate two unknowns, and once the two waves' amplitudes are known, the mixed satellites of a single reflection fix the curvature to under one per cent.

aperiodic · Modulation At the sum of all three wavevectors the cubic and the quadratic paths nearly cancel. The intensity of the satellite at h + q₁ + q₂ + q₃ for the first four reflections, computed with only one size coefficient switched on at a time and with all three. The cubic coefficient alone gives about 3 × 10⁻⁷ at h = 1, the quadratic alone about 2 × 10⁻⁷, the linear alone less than 10⁻¹⁰. With all three the satellite is ten times weaker than with the cubic alone, because the cubic term's displacement and the quadratic term's pair harmonic times a first-order wave arrive with opposite signs.

Three waves measure the cube through the slope

A size effect that bends twice puts the product of three modulation waves into the displacement, at the sums and differences of all three wavevectors, and nowhere else does a cubic term reach so directly. The satellites there were expected to measure it. They see it, but the strongest of them is ten times weaker than the cube alone would make it, because the quadratic term arrives at the same place with the opposite sign, and against any realistic background they say nothing. The cube is measured instead by the strongest satellites of all, the first-order ones, because it makes each wave's slope depend on how strong the other two waves are.

aperiodic · Modulation Every four-dimensional lattice with a five-fold rotation, on one interval. The lattices with a five-fold rotation in four dimensions are one ring, ℤ[ζ₅], with the form Tr(a·x·x̄), and the number t = log(a/σ(a)) / 2 log φ, folded into the interval from 0 to 1, says which lattice a is. The dots are the members with a = u + v√5 for u up to 9, 8 distinct lattices. The two ends are A₄* and A₄, with 240 symmetries each; every point between has 20. The arcs join each member to the one a centring by fifths makes of it, its reflection t ↦ 1 − t.

A five-fold lattice has one free number

In four dimensions a lattice can have a five-fold rotation, and A₄ and its dual both do. Every other lattice with one turns out to be the same ring, the integers of the fifth roots of unity, with a single number deciding its shape. Folded onto an interval, the number runs from A₄* at one end to A₄ at the other, and every lattice strictly between has twenty symmetries. Centring by fifths does not make a new lattice. It reflects the interval end to end, exchanging A₄ with A₄* and pairing every other lattice with a partner, and no lattice sits at the middle to be its own.

lattices · Centring

Named alongside it

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

Cut-and-projectIncommensurateStructure factorContinued fractionThe Fibonacci chainMeasurementModulationSatellite reflectionSubstitutionBalanceFactor complexityThe Fourier transform

All concepts