Matpic
mathematics, in pictures
Concept

Conjugacy

A change of coordinate carrying one map onto another, so that the two are the same map differently labelled. It preserves everything defined from orbits and neighbourhoods — cycles, entropy, chaos — and destroys everything defined from distances or derivatives.

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

The orbit of 13/32 under doubling, and its word. A cobweb of the doubling map with one orbit drawn, the interval split in half beneath it, and the letter each step contributes written out in order.

The orbit written as a word

Cut the interval in two and record which half each step of an orbit lands in. The orbit becomes an infinite string of two letters, the map becomes the act of deleting the first letter, and questions about trajectories turn into questions about words.

dynamics · Symbolic dynamics The tent map and the logistic map, joined by a change of coordinate. Two cobweb diagrams side by side — the tent map at slope two and the logistic map at four — with the orbit of one carried to the orbit of the other by a curve drawn between them.

The same map in different coordinates

The tent map and the logistic map at four look nothing alike and are the same map, carried onto each other by a change of variable. Everything either one does the other does, and the change of variable is a sine squared.

dynamics · Iteration Where a long orbit of the logistic map spends its time. A histogram of 60000 iterates in 32 bins, with the density the map preserves drawn over it as the exact share each bin should hold.

The histogram an orbit leaves

When no single step of an orbit is worth reporting, what is left is where it spends its time. That distribution is not uniform, it does not depend on where the orbit started, and it can be computed in closed form.

dynamics · Iteration The same loop, seen from two places. An annulus with two marked points and a loop based at the first. Two paths join the points, differing by a full turn round the hole, and each carries the loop to a loop based at the second point.

The group a space has at a point

The loops of a space form a group once a starting point is fixed, and the fixing looks like an arbitrary choice that ought to be removable. It is removable, but only up to conjugation, and the residue is exactly what makes a non-commutative fundamental group harder to state than to compute.

topology · Homotopy The coordinate change that makes an unlocked map a rotation. The conjugating map built from one orbit, plotted as a staircase from the circle to itself, with the rigid rotation it turns the circle map into.

A rotation in different coordinates

At an unlocked parameter the map is not merely like a rigid rotation; it is one, after a change of coordinates built out of a single orbit. The theorem needs the map to be smooth enough, and the map that shows why is one whose orbit leaves a hole.

dynamics · Mode locking The Chebyshev maps T₂, T₃, T₄ and T₅. Four small square plots of the Chebyshev polynomials of degrees two to five on the interval from minus one to one, each with the diagonal drawn; the graph of degree n sweeps between the bottom and top of the square n times.

A solvable chaos of every degree

The logistic map at four is chaotic and, through a change of coordinates, completely solvable: its orbits are cosines of doubling angles. The trick is not a one-off. For every whole number n there is a polynomial of degree n that multiplies angles by n instead of 2, and every one of them is exactly as solvable, has exactly nᵏ points of period k, and preserves the same distribution — and any two of them commute, which almost no two polynomials do.

dynamics · Iteration The Collatz map on the 2-adic integers, before and after changing to parity coordinates. Two scatter plots of 2048 points: the Collatz map on 2-adic integers in binary-digit coordinates, a scattered cloud, and the same map in parity-vector coordinates, where every point lies on the two lines of the doubling map.

Where the Collatz map is a coin

Extend the Collatz map from the whole numbers to the 2-adic integers — binary strings that run on for ever to the left — and it stops being mysterious. It becomes, after a change of coordinates, the simplest chaotic system there is: shifting a string of coin tosses one place. Everything about it is then known, and none of it says anything about the whole numbers, which is the most instructive failure in the whole story.

dynamics · Collatz The coordinate change that makes the map a rotation. Graphs of the departure from the identity of the conjugacy between the circle map and the golden rotation, at three nonlinearities, each smooth and growing steeper with K.

How smooth the disguise is

An unlocked circle map is a rigid rotation in different coordinates, and whether those coordinates are smooth is decided by arithmetic. Solving for the change of coordinates means dividing, harmonic by harmonic, by numbers that come arbitrarily close to nought — and the golden rotation number keeps them far enough away that the result is not merely smooth but analytic, while a number lying close to a fraction makes it buckle.

dynamics · Mode locking Newton's method for z² − 1: two half-planes and the line between. The complex plane split down the imaginary axis into two shaded halves, the roots ±1 marked, and five orbits of Newton's method each converging to the root on its own side.

Chaos on the line between two roots

Newton's method for a quadratic is the one case solved completely: every starting point goes to the nearer root, and the plane splits into two half-planes. Cayley did it in 1879. What his solution also contains is a line on which the method never settles — and a change of variable shows that on that line Newton's method is exactly the doubling map, the simplest chaos there is. Run on the real line for x² + 1, which has no real root to find, it becomes a source of Cauchy-distributed randomness.

dynamics · Newton basins

Named alongside it

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

Periodic orbitMeasureSymbolic dynamicsCircle mapDoubling mapIterationLogistic mapNewtons methodRotation numberShift mapAnalytic functionArcsine distribution

All concepts