Crystallography & Symmetry
patterns derived from their groups
Concept

Cut-and-project — where it appears

A construction slicing a higher-dimensional lattice with a strip at an irrational angle and keeping the shadow of what falls inside. The result never repeats and is built from something perfectly periodic that is simply not where anybody was looking.

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

A diffraction pattern with tenfold symmetry. Sharp spots, arranged with a symmetry that no periodic crystal can have. When the ten-fold case was measured in 1982 the immediate reaction was that the sample must be a twinned crystal, because the alternative was that a theorem with a one-line proof had a case nobody had considered. The star of reciprocal vectors is a parameter here, so the eight- and twelve-fold patterns that were found afterwards come out of the same call.

Order is not periodicity

For most of a century the two words were used interchangeably, because every known ordered structure repeated. A diffraction pattern measured in 1982 forced them apart, and the definition of a crystal was rewritten.

aperiodic · Aperiodic Cut and project. A square lattice, a strip along a line of the given slope, and the shadow on that line of every lattice point inside the strip. The shadow has two gap lengths; whether their order repeats depends entirely on whether the slope is rational.

Cut and project

Take a periodic lattice, cut a strip through it at an irrational angle, and keep the shadow of what falls inside. The result never repeats, has exactly two spacings, and is a quasicrystal — built from something perfectly periodic that is simply not where anybody was looking.

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 The chain as a cut through a periodic pattern. A periodic pattern in two dimensions: one atomic surface through each lattice point, drawn as the curve x = n + A·sin(2πy). The physical chain is the cut along the line y = qx with q = 0.211, and the atoms are where that line meets the curves — plotted along the bottom. Every cut meets every curve exactly once, so every cut gives a chain with the same 9 atoms and the same lattice, differently displaced. That is the difference from cut-and-project, where the atomic surfaces are intervals with ends and moving the cut adds and removes points: here the extra coordinate is a phase, and shifting it is a symmetry of the material rather than a different material.

The extra dimension that makes it periodic

A structure with no cell in three dimensions can be a slice through one that has a cell in four. The construction is cut-and-project with continuous atomic surfaces instead of intervals — and that single difference is what separates an incommensurate crystal from a quasicrystal.

aperiodic · Modulation Sliding the window catches different points. The periodic lattice that cut-and-project starts from, with the strip drawn at two positions 0.21 apart, which is 15 per cent of the window's width. Most lattice points are caught by both; a few are caught by one and not the other, and those are the whole difference between two quasicrystals. The slope has not changed, so the density, the two tile lengths and the ratio of their frequencies are identical — the offset is a parameter with no energy attached to it, which is what makes a phason a degree of freedom rather than a defect.

The freedom a crystal has not

Slide the window of a cut-and-project construction and the tiling changes — different tiles in different places — while its density, its tile ratio and its diffraction pattern do not. That parameter is a phason, it costs nothing, and no local measurement whatever can determine where it sits.

aperiodic · Quasicrystals 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 66 squares and 106 rhombs. The Ammann–Beenker tiling, built by keeping the points of a four-dimensional lattice whose companion image falls inside an octagon and projecting them into the plane. Every tile has the same edge length; the squares and the forty-five degree rhombs are told apart by their diagonals. Nothing was placed — the faces were found among the projected points.

Eight-fold, with the golden ratio taken out

The familiar quasicrystals are all built on five: Penrose's rhombs, the Fibonacci chain, the ten-fold pattern Shechtman measured. A method that works only on the golden ratio is a method tuned to its answer — so here is the same construction run on eight, where the irrational is √2 and nothing else changes.

aperiodic · Quasicrystals 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 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 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 Every rational holds a window, and there is nothing in between. The ground state density of a chain of particles with a convex repulsion, against the chemical potential that sets how many of them there are. Every density with denominator up to 24 is a flat step of positive width — 177 of them — and the steps with the simplest fractions are the widest: a half takes 19 per cent of the whole range on its own. The risers between them are not smooth stretches; they are where the densities with larger denominators sit, and a finer computation fills them with more steps. What is left after every rational has taken its window is the irrational densities, which are the genuinely incommensurate ground states and have no width at all.

Every fraction holds a window

Three essays here name the devil's staircase and none computes one. A chain of particles with any convex repulsion has a ground state at every rational density holding an interval of chemical potential to itself — 709 of them computed, the widest taking 19% of the axis and the narrowest two parts in a million million — and the incommensurate densities are what is left over.

aperiodic · Modulation Three ways to fill a lattice with a wave. Three occupation waves at the same irrational wavevector, each drawn as its profile over one period, the occupancy of a site as a function of where the wave stands there, and as the first thirty sites of the chain it produces, each filled in proportion to its occupancy. A cosine fills every site partly. A crenel of width 0.3 fills three sites in ten completely and leaves the rest empty. A crenel of width 1/φ fills sites exactly where the Fibonacci chain has its long letter, so the third row is that chain written as two species on a lattice.

An occupation wave is its own Fourier series

A modulated crystal whose atoms stay put while a wave decides how much of an atom sits on each site diffracts to satellites, and the satellite of each order is simply the matching Fourier coefficient of the wave's profile. A cosine stops at first order and can never exceed a quarter of a site; a step makes satellites of every order, skips exactly the orders its width divides, and makes the strongest first-order satellite any wave can. And a step as wide as its own wavevector is the Fibonacci chain.

aperiodic · Modulation Every vertex of a Penrose patch, by the symmetry of what lies within three edges of it. A region of a Penrose rhomb tiling 15.2 edges across. Each vertex is marked by the local group of the patch of radius 3.05 edges about it: a short line along the mirror where that patch has one (98 vertices), a large dot where it has a five-fold centre (7), and a small dot where it has no symmetry at all (118). The mirrors are common and point in the tiling's ten directions; the five-fold centres are rare; nothing has a half-turn.

Five-fold centres stay few, and mirrors do not

The Fibonacci chain has one palindrome of every even length and two of every odd length, for ever. Run the same census on the patches of a Penrose tiling and the plane gives three different answers at once. Patches with a five-fold centre stop at four, however large they are drawn. Patches with a mirror grow in number with their radius, by about fifty for every edge. And no patch wider than a single tile has a half-turn at all. What decides which answer an operation gets is the size of the set it leaves fixed in internal space.

aperiodic · Complexity Patches of an icosahedral quasicrystal grow with the dimension their symmetry fixes. The number of distinct patches about a vertex of the canonical icosahedral quasicrystal that keep a given symmetry, against the patch's radius in edges on logarithmic axes, counted per axis or per mirror plane: along a five-fold, a three-fold and a two-fold axis, and across a mirror plane. The axes' counts grow in proportion to the radius and the mirror's as its square, the slopes given are the last four points'. Along the bottom, the patches with an inversion centre: one up to a radius of 1.9 edges, and none from 2.15 on.

In space, a five-fold axis is a line

In a Penrose tiling the patches with a five-fold centre stop at four, however large they are drawn, because a five-fold rotation fixes only a point of the tiling's internal space. Slice a quasicrystal from six dimensions instead of four and the internal space has three dimensions, where a rotation fixes a whole line. The five-fold patches of the icosahedral quasicrystal then grow in number with their radius, from five to forty-six per axis, while the patches with a centre of inversion, which fixes only a point, vanish past two edges. Counting them takes internal space: a sample of vertices cannot.

aperiodic · Complexity 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.

WindowGolden ratioThe Fibonacci chainQuasicrystalLong-range orderQuasiperiodicFactor complexityPerpendicular spaceAperiodicityCommensurateContinued fractionDiffraction

All concepts