Crystallography & Symmetry
patterns derived from their groups
Concept

Factor complexity — where it appears

How many distinct blocks of a given length occur in a sequence, a count that stops growing exactly when the sequence is eventually periodic. A periodic chain runs out of new views and an aperiodic one never does.

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

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.

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.

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

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.

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 How often each block of 5 occurs. Every block of length 5 in the fibonacci chain, with its frequency from the Perron eigenvector of the block substitution and again from a count over a chain of 46368 letters. The two share nothing: one is a linear algebra problem over a matrix of integers, the other a loop over a string. The eigenvalue of the block matrix is the inflation factor of the letter matrix, which is a second check and a stronger one — a chain inflates at one rate whatever length of window is being counted.

How often each patch occurs

That a patch has a frequency at all is the ergodic theorem. What the frequency is turns out to be an eigenvector: the substitution acts on blocks as well as on letters, the block matrix has a Perron vector, and its entries are the frequencies exactly. For the Fibonacci chain those entries take three values at every length, and the three values are the three gaps of a rotation.

aperiodic · Complexity

Named alongside it

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

SturmianBalanceContinued fractionThe Fibonacci chainLong-range orderAperiodicityGolden ratioIrrational slopeLocal indistinguishabilityRepetitivitySubstitutionThree distance theorem

All concepts