Concept

Universality

The property of a system able to simulate any computation whatever, and therefore as powerful as any computer. It arrives at astonishingly small rule sets, and the price of it is that nothing general can be decided about what such a system will do.

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

Where the period doubles, and by how much the gaps shrink. The parameters at which the period doubles, with the ratio of consecutive gaps beside them.

A constant that does not care which map

The gaps between successive period doublings shrink by a factor. Measure that factor for the logistic map and you get 4.669. Measure it for a completely different map and you get 4.669, and nobody expected that.

dynamics · Period-doubling
Elementary cellular automaton, rule 110. A row of cells evolving downward, each cell decided by the three above it.

The rule that computes

One of the 256 elementary rules can run any program. Not simulate one, not approximate one — a machine that can compute anything computable, built from a lookup table with eight rows and nothing else.

dynamics · Cellular automata
PRIMEGAME: fourteen fractions whose powers of two are the primes. The size in binary digits of the numbers produced by Conway's PRIMEGAME from 2 over 40000 steps, with the pure powers of two marked; their exponents are 2, 3, 5, 7, 11, 13, 17, 19, 23, 29.

Fourteen fractions that list the primes

Change the Collatz rule so that the multiplier depends on the remainder modulo some other number than two, and the resulting maps can compute anything a computer can. John Conway proved it in 1972, which means no method can decide, for every such map, whether its orbits come down — and fourteen fractions, applied in order, turn out to be enough to print every prime.

dynamics · Collatz
The first 16 vertices of Rado's graph, joined by binary digits. Adjacency table and circular drawing of the Rado graph on vertices 0 to 15, where i < j are adjacent when bit i of j is 1; 32 edges.

The graph that coin tosses always make

Take infinitely many vertices and toss a coin for every pair to decide whether they are joined. The result is random in every detail — and, with probability one, it is always the same graph. The same graph can be written down without any coins, by joining two numbers when one binary digit of the larger is a one.

logic · Models
A strand of the logistic map's diagram between r = 3.8284 and 3.8572, upside down. The bifurcation diagram of the logistic map cropped to r in [3.8284, 3.8572] and x in [0.44, 0.565], with the value axis inverted.

Every window is the whole diagram again

Zoom into one strand of the period-three window of the logistic map and the whole bifurcation diagram is there again — a single value, a fork, a cascade of doublings, chaos, bands and windows — upside down and ninety-seven times narrower. The doublings inside it shrink by Feigenbaum's 4.669, exactly as the originals do, because near the top of its hump the map's third iterate is itself a one-humped map, turned over.

dynamics · Period-doubling
How many windows of each period, on two maps and as a count of necklaces. period 1: 1 (logistic), 1 (sine), 1 (necklaces), 1 (polynomials); period 2: 1 (logistic), 1 (sine), 1 (necklaces), 1 (polynomials); period 3: 1 (logistic), 1 (sine), 1 (necklaces), 1 (polynomials); period 4: 2 (logistic), 2 (sine), 2 (necklaces), 2 (polynomials); period 5: 3 (logistic), 3 (sine), 3 (necklaces), 3 (polynomials); period 6: 5 (logistic), 5 (sine), 5 (necklaces), 5 (polynomials); period 7: 9 (logistic), 9 (sine), 9 (necklaces), 9 (polynomials); period 8: 16 (logistic), 16 (sine), 16 (necklaces), 16 (polynomials); period 9: 28 (logistic), 28 (sine), 28 (necklaces), 28 (polynomials); period 10: — (logistic), — (sine), 51 (necklaces), 51 (polynomials); period 11: — (logistic), — (sine), 93 (necklaces), 93 (polynomials); period 12: — (logistic), — (sine), 170 (necklaces), 170 (polynomials); period 13: — (logistic), — (sine), 315 (necklaces), — (polynomials); period 14: — (logistic), — (sine), 585 (necklaces), — (polynomials).

Windows counted like necklaces

The logistic map has one window of period three, two of period four, three of period five, five of period six, nine of period seven — and the sine map, which shares no algebra with it, has exactly the same numbers, in exactly the same order along the parameter. The counts are 1, 1, 1, 2, 3, 5, 9, 16, 28, 51, and they are the number of ways to thread a necklace of beads in two colours.

dynamics · Period-doubling
Where the Rössler flow's peaks fall, as one parameter changes. Peak values of x against c from 2.5 to 6.2 for the Rössler system with a = b = 0.2: period 1, 2 and 4 at c = 2.5, 3.5 and 4, chaos beyond about 4.2, a period-3 window near 5.3.

A flow that doubles like a parabola

Otto Rössler's three equations have one nonlinear term and a single knob. Turn it and the orbit closes after one loop, then two, then four, then never — the logistic map's cascade, in a flow in three dimensions. Record each peak of the orbit against the one before and the reason appears: the points lie on a single rounded hump. The gaps between doublings shrink by ratios 3.49, 4.54, 4.59, climbing towards Feigenbaum's 4.669, and the chaos contains a period-3 window that repeats the whole cascade.

dynamics · Period-doubling
Three cascades, a sharp top, a round top and a flat top. z = 1.25: δ ≈ 3.2596; z = 2: δ ≈ 4.6692; z = 6: δ ≈ 9.2963.

One constant for each shape of top

Feigenbaum's 4.669 is the same for every smooth one-humped map — provided the hump is rounded like a parabola. Make the top flatter, like the graph of x to the fourth, and the doublings crowd together at 7.285; make it sharper, like x to the power 1.25, and they crowd at 3.260. Measured across twenty shapes of top, the constant is a smooth rising curve with 4.669 as one point on it, and the spatial constant falls as it rises.

dynamics · Period-doubling
Eigenvalues that will not crowd together. Unfolded spacings, eigenvalues: 0.36 1.52 1.15 0.88 1.23 1.13 0.34 0.75 2.05 0.65 1.66 0.64 1.07 1.01 0.86 1.23 0.69 1.30 0.77 0.94 0.99 0.71 0.92 2.49 0.32 1.07 0.62 1.34 0.07 0.51 0.98 2.25 0.64 0.78 0.35 0.95 1.36 1.89 0.21 0.79 0.46 0.84 1.12 1.52 0.96 0.65 1.09 0.29 1.30 1.06 1.83 1.50 0.28 0.43 1.19 1.01 0.52 1.54 1.51 1.56. Independent points: 0.34 0.01 0.31 3.72 0.25 2.29 0.98 2.14 1.99 0.54 0.15 0.58 0.96 0.22 0.26 1.11 0.04 0.38 0.55 0.74 0.89 0.11 1.47 0.52 0.06 2.11 1.29 3.04 0.44 0.28 2.49 3.97 0.87 1.04 0.83 0.77 0.79 0.69 1.76 1.82 0.14 0.07 1.03 0.88 1.05 0.37 0.06 0.82 0.70 1.72 0.90 1.24 0.32 0.25 1.07 0.55 1.59 3.23 0.36 0.40. Gaps under a quarter of the mean: 2 against 9.

Eigenvalues that keep their distance

Fill a large symmetric matrix with independent random numbers and its eigenvalues do something no list of independent numbers does: they refuse to crowd together. The reason is a count of conditions in a two-by-two matrix, and its consequences — a semicircle, gaps that vanish at nought, a spectrum almost as rigid as a lattice — reach from heavy nuclei to the zeros of the zeta function.

algebra · Eigenvectors
Period doubling with nothing attracting. doubling parameters 3.0000000000, 4.0000000000, 4.1204524973, 4.1343639125, 4.1359600588, 4.1361430974, 4.1361640856.

Doubling without an attractor

Feigenbaum's 4.669 holds for every map that folds and loses area. A map that keeps area — a frictionless pendulum sampled once a swing — has no attractors at all, yet its periodic orbits double just the same: a period-1 orbit at a = 3, period 2 at a = 4, then 4.1205, 4.1344, 4.1360 and on. The intervals shrink by 8.721 each time, not 4.669, and the orbits by 4.018, not 2.503. Let the map leak a little area and the cascade starts with one constant and finishes with the other.

dynamics · Period-doubling
The golden parameters close in at two rates. K=1: limit 0.606661056818, deltas -3.37086,-2.65794,-2.90466,-2.80316,-2.84608,-2.82782,-2.83621,-2.83234,-2.83423,-2.83330,-2.83377,-2.83353,-2.83365,-2.83359,-2.83362,-2.83360; K=0.5: deltas -3.10336,-2.52153,-2.66376,-2.60094,-2.62398,-2.61555,-2.61898,-2.61767,-2.61817,-2.61798,-2.61805,-2.61803,-2.61804,-2.61803,-2.61803,-2.61804.

Two constants at the flat point

Turn up the circle map until its graph goes flat at one point, then hunt for the setting at which an orbit turns by the golden ratio. The settings that lock to 1/2, 2/3, 3/5, 5/8 close in on it, each gap 2.8336 times smaller than the last, and the orbit's returns to its start close in by 1.2886 at every step. Below the flat line the same two numbers are the golden ratio's own. Change the map to a different one with the same kind of flat point and both numbers come back unchanged: they belong to flatness, not to the sine.

dynamics · Mode locking
The silver-mean parameters close in, on and below the critical line. Superstable parameters of the circle map for convergents of the silver mean: limit at K=1 0.41886498636462, gap ratio -6.79916; at K=0.5 0.41642638493704, gap ratio -5.82844.

The silver mean at the flat point

At the golden-mean rotation number, the circle map with a flat point has two universal constants, 2.8336 and 1.2886. Repeat the measurement at the silver mean, √2 − 1, and two different numbers appear — 6.7992 and 1.5868 — shared by every map with the same kind of flat point. Below the critical line the silver gaps shrink by (1 + √2)², the square of the silver ratio, exactly as a rigid rotation predicts; on it they do not. Every rotation number with a repeating continued fraction carries its own pair, and a number whose expansion ends in ones inherits the golden pair, whatever came first.

dynamics · Mode locking

Named alongside it

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

Period-doublingRenormalisationBifurcationFeigenbaum constantLogistic mapPeriodic orbitScalingCircle mapComputationRotation numberSelf-similarityUndecidability

All concepts