Crystallography & Symmetry
patterns derived from their groups
Concept

Balance — where it appears

The property that any two windows of one length hold counts of a tile differing by at most one, which picks out the Sturmian sequences. It is a strong evenness condition that a random sequence fails badly and a periodic one satisfies trivially.

Named by 3 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 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

Named alongside it

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

Factor complexityThe Fibonacci chainSturmianContinued fractionGolden ratioIrrational slopeLong-range orderAperiodicityCut-and-projectDecidabilityLocal indistinguishabilityLocal rules

All concepts