Crystallography & Symmetry
patterns derived from their groups
Concept

Window — where it appears

The cross-section of the strip in a cut-and-project construction, whose width fixes how many distinct tile lengths the projection has. Taking it to be the shadow of the unit cell is what makes the result a tiling rather than a scattering of points.

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

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 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 Every group decided by a window of radius 1. For each of the seventeen, the radius at which a round window on the pattern admits exactly the group's own operations and no others — with the numbers it admits at each smaller radius beside it. Two opposite failures are visible. Most groups under-report at small radii, because an operation carrying points out of the window cannot be tested at all; cm over-reports, admitting operations the pattern does not have. The groups that take longest to settle are the ones distinguished by a glide, which moves a point half a cell before anything can be compared.

How much pattern is enough

Every claim here about a pattern's group is a claim about an infinite pattern. A reader sees a patch. Measuring what a finite window can decide gives a number — about one cell's radius — and two opposite ways of being wrong on the way there.

classification · Seventeen 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 How fast a window's answer settles: 1/L on the chain, 1/√L on a shuffle. The largest error a window of each length makes about a block's frequency, over every position the window can take, on logarithmic axes. The upper line is a shuffle of the chain's own letters — same frequencies, no order — and its slope is close to −½, which is the random walk a sequence with no structure produces. The lower line is the Fibonacci chain itself and its slope is close to −1. The frequency of a block in the chain is therefore something a finite window measures rather than approaches: to know it to a part in a thousand needs a window of a thousand tiles, not a million.

The average is the same wherever it is taken

A measurement is made on a window somewhere, and the question is whether the answer belongs to the chain or to the window. For the Fibonacci chain the error falls as one over the window's length; for a shuffle of the same letters it falls as one over the square root, and the two exponents are fitted rather than asserted.

aperiodic · Complexity 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 Mirrors everywhere in a chain with none. Thirty-four tiles of the Fibonacci chain, long tiles L and short tiles S, with an arc over every window of at least 5 tiles that reads the same backwards, drawn from its own centre, and a tick at the centre where its mirror stands. The chain as a whole has no mirror, since no palindrome in it is infinite, yet mirrors of every size stand all along it, the long ones spaced further apart than the short ones, and every one of them a local symmetry the chain lacks globally.

A chain with no mirror has mirrors everywhere

The Fibonacci chain has no mirror: nowhere can it be reflected onto itself. Yet it holds exactly one window of every even length that reads the same backwards and exactly two of every odd length, each recurring all along the chain, and no aperiodic chain that is not of its kind manages that count. Every letter of it creates a palindrome never seen before, and a mirror of any size is never further away than a fixed multiple of that size.

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

Named alongside it

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

Cut-and-projectThe Fibonacci chainLocal symmetryFactor complexityQuasicrystalSubstitutionGolden ratioMirrorPerpendicular spaceQuasiperiodicAccidental symmetryAmmann beenker

All concepts