Crystallography & Symmetry
patterns derived from their groups
Theme

The theme: Order without repetition

Periodicity and order are not the same thing, and separating them is what quasicrystals forced. A pattern can be perfectly determined and never repeat.
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. Order without repetition

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.

 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. Order without repetition

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.

 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 without repetition

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.

 The tile does not force aperiodicity — the decoration does. A rhomb with the acute angle of a Penrose tile, repeated by the lattice its own edges generate. The tiling is periodic, so the shape forbids nothing. Adding the edge decoration changes the answer: every interior edge of this tiling presents a double arrow against a single one, which the matching rule refuses. Order without repetition

Matching rules, and what actually forces aperiodicity

The two Penrose rhombs are usually said to tile the plane only aperiodically. They tile it periodically without difficulty. What cannot be done periodically is tiling them according to the decoration, and the distinction is the whole result.

 An integer matrix of order 5. The companion matrix of the 5th cyclotomic polynomial has whole-number entries and order exactly 5, so it is a genuine 5-fold symmetry of a 4-dimensional lattice. The plane it rotates sits at an irrational angle to that lattice, and the lattice's shadow on it is dense — which is why a projection needs a window before it becomes a pattern. What a lattice forbids

Where five-fold becomes legal

A five-fold rotation with whole-number entries exists — in four dimensions, as a four-by-four matrix that can be written down. The plane forbids it because the plane is too small, and knowing which dimension is large enough changes what a quasicrystal is.

 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. Order without repetition

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.

 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. Order without repetition

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.

 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 without repetition

What Shechtman measured

A diffraction pattern with sharp spots and tenfold symmetry, in April 1982. Sharpness meant order and tenfold meant no lattice, and the two had been believed inseparable — so the interesting question is what the observation had to rule out before it could mean anything.

 The icosahedral group, counted. The sixty rotations of an icosahedron, found by trying every map that sends one adjacent pair of vertices to another and keeping those that carry the whole vertex set onto itself. They fall into 6 axes of order 5, 10 axes of order 3, 15 axes of order 2 — and the fivefold axes are the reason this group cannot be the point group of any crystal, since no three-dimensional lattice admits a rotation of order five. Quasicrystals have it anyway, which is what made 1982 an argument rather than a measurement. Order without repetition

Icosahedral symmetry

Sixty rotations, six fivefold axes, and no lattice in three dimensions that can hold any of them. It is the point group a crystal is forbidden, and the one the first quasicrystal turned out to have.

 A chain modulated at q = 0.211. The lower row is the lattice: 34 sites, evenly spaced. The upper row is the structure: the same sites displaced by a wave of amplitude 0.12 of a spacing and wavevector 0.211, drawn through them. Because 0.211 is not a ratio of small whole numbers, no cell of any size holds the structure — the displacement pattern never repeats — and yet the atoms are nowhere near random: each one is exactly where a single sine wave says it should be. That is what an incommensurately modulated crystal is, and its diffraction pattern is sharp. Order without repetition

The satellites that need a second integer

A crystal whose atoms are displaced by a wave of the wrong wavelength has no unit cell at all, and diffracts to sharp spots anyway. Indexing them takes two integers per reflection instead of one — and the intensities of the extra spots are Bessel functions, which is a check the arithmetic can be made to pass.

 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. Order without repetition

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.

 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. Order without repetition

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.

 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. Order without repetition

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.

 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. Symmetry at work

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.

 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. Order without repetition

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.

 The Fibonacci chain: p(n) = n + 1. The number of distinct windows of each length in the Fibonacci chain, measured by sliding a window along 46,368 tiles. Every count is checked against the same count on half the chain, and only lengths where the two agree are drawn — a factor count on a finite word is otherwise a lower bound wearing the clothes of an answer. Order without repetition

n plus one, and no fewer

Slide a window along a chain and count what it can show. A periodic chain runs out of new views; an aperiodic one never does; and the fewest an aperiodic chain can manage is one more than the window's length — which is exactly what the Fibonacci chain manages.

 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. Order without repetition

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.

 incommensurate: "dense on a line". The shortest non-zero vector a subgroup contains, as the search widens, against the square lattice drawn flat behind it as a control. For a lattice the answer is constant: the shortest vector is the shortest vector, and looking further finds nothing nearer. For a subgroup that is not a lattice it falls without limit, because the convergents of a continued fraction give integers making the combination arbitrarily small. This one falls from 0.414 to 1.2e-2 over bounds 1 to 64, which is the verdict "dense on a line" arrived at by measurement rather than by reading a definition. Nothing here is decided by asking whether a ratio is rational; the ratio is a float and the question would be undecidable of one. Lattices

Discrete, or dense, and nothing between

Every count in this collection rests on a hypothesis nobody states, because it is built into the word lattice: the translations of a pattern form a discrete subgroup of the plane. Drop it and the counts do not become larger — they stop existing, because the object stops being a lattice. A subgroup of the plane is one of five things, and only two of them are lattices.

 One patch of radius 2. A Penrose patch of 476 vertices, with the vertices within 2 edge lengths of one of them marked and the circle drawn. That marked set, written in coordinates relative to its centre, is what the census compares: two vertices have the same patch when their marked sets agree. Every vertex of the tiling is the centre of one such patch, and the question is how many different ones there are. Order without repetition

How many patches of each size

A periodic tiling has one kind of neighbourhood however far out you look. Random points have as many kinds as neighbourhoods. A Penrose tiling has a number in between that never stops growing and never catches up — and the count is a measurement rather than a theorem.

 625 tiles, 32 directions. The subdivision applied 4 times to one right triangle with legs 1 and 2, giving 625 tiles of one shape and size. They point in 32 distinct directions — the tint follows the direction — and the count grows every time the rule is applied, without bound. Order without repetition

The tiling that points every way

A Penrose tiling never repeats and its tiles still point in only ten directions, which is why its diffraction pattern has ten-fold symmetry. One triangle, cut into five copies of itself, breaks that — and the difference between it and a tiling with eight directions is which diagonal of one small rectangle gets drawn.

 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. Order without repetition

Eight-fold, with the golden ratio taken out

Every quasicrystal on this site has been 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.

 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. Order without repetition

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.

 8 tiles over 5 colours. Wang tiles: unit squares with a colour on each edge, which may be laid side by side only where the touching edges agree, and which may never be turned or reflected. That last restriction is what makes them a computational object rather than a jigsaw — an edge colour is a symbol passed from one tile to its neighbour, and turning a tile would let a symbol change direction. The set here was generated from a stated seed. The classification

Nothing decides whether a set of tiles tiles the plane

This collection rests on decidability — generate a pattern, forget the group, rediscover it, compare. One question in the same subject has no procedure at all: given a finite set of tiles, whether they cover the plane cannot be decided by any algorithm whatever. What can be done is two half-searches, and measuring what they leave behind.

 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. Order without repetition

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.

All themes · All essays