Matpic
mathematics, in pictures
Concept

Diophantine approximation

How closely a real number can be approached by fractions with small denominators. The continued fraction supplies the best approximations and nothing else comes near, which turns questions about real numbers into questions about a short list of fractions.

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

How closely a fraction can come, and the barrier that says no closer. Two panels at very different scales: the approximations to √2, which stay above the barrier a degree-two number obeys, and the truncations of a constructed number, which fall below every barrier drawn.

Approached too fast to be algebraic

An algebraic number of degree d cannot be approached by fractions faster than the denominator's dth power. So a number that is approached faster than that is the root of no polynomial at all — and one can be built by choosing where its decimal digits go.

number · Irrationality The only fractions that could be a cycle's shape. A table of the convergents of the base-two logarithm of three, with the approximation error, the exact value of two to the n less three to the k, and that value as a fraction of three to the k.

How short a cycle could be

The drift argument cannot see cycles at all, which is why it is not a proof. What can see them is arithmetic — a cycle's shape has to be a fraction that approximates the logarithm of three to base two extraordinarily well, and there are very few such fractions.

dynamics · Collatz 13 record approximations in 26 turns. The distance from π to each fraction the descent passes, against its denominator, on logarithmic axes. 13 of them beat every fraction with a smaller denominator.

The fractions that beat every smaller one

Walking down the tree towards a number produces a sequence of fractions closing in on it. Most of them are steps along the way; a few are the best approximations there are — closer than every fraction with a smaller denominator — and which few is decided by where the turns change direction.

number · Stern brocot The tangent built from a continued fraction. The curve tan x on (−1.55, 1.55) with 4 of Lambert's convergents: a straight line, then rational curves that bend ever closer to the tangent and follow it towards its poles.

The fraction Lambert built for the tangent

The first proof that π is not a fraction, from 1761, does not look at π at all. It writes the tangent as an endless continued fraction, shows that the fraction's value at any rational point other than zero cannot be rational — because its tails are trapped between nothing and one — and then notes that tan(π/4) = 1.

number · Irrationality The continued fraction of e. Bars for the first 30 continued-fraction terms of e: mostly ones, with every third bar rising in a straight staircase, 2, 1, 2, 1, 1, 4, 1, 1, 6, ….

The pattern in e's continued fraction

Written as a continued fraction, e is 2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8 — two ones, then the next even number, for ever. Euler found the pattern and proved it with a differential equation. A proof from 2006 needs only three integrals, each of which turns out to be exactly the error of one of e's own convergents.

number · Irrationality The standard map as its kick grows. Three square phase portraits of the standard map at increasing strengths, dotted with orbits: curves spanning the square at the smallest, fewer at the critical value, and a scattered sea with islands at the largest.

The last circle to break

Kick a spinning rotor once a turn and most of its motions stay on curves that wind round forever, walls no orbit can cross. As the kick grows the walls break one by one, and the last to go is the one whose winding is the golden ratio — at a kick of 0.9716, found by watching a sequence of periodic orbits approximate it and asking whether they are stable.

dynamics · Mode locking 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 The Flint Hills series, summed to ten million terms. A staircase of partial sums on a logarithmic scale of n, jumping at 1, 3, 22 and 355 and flat afterwards near 30.3.

A series that waits on π

Add 1/(n³ sin² n) for n = 1, 2, 3, … and the terms are mostly tiny, except where n is almost a multiple of π and sin n is almost nought. Ten million terms add to 30.3145, four-fifths of it from the single term at n = 355. Whether the sum is finite depends on how closely fractions can approach π — on a number called its irrationality measure — and the best proof available says only that the measure is below 7.1, where the series needs it below 2.5.

analysis · The integral The tree of solutions of x² + y² + z² = 3xyz. Markov triples from (1, 2, 5) to depth 4; 231 Markov numbers below 10^15; first 1, 2, 5, 13, 29, 34, 89, 169, 194, 233, 433, 610, 985, 1325.

The numbers that come after the golden ratio

The golden ratio is the number worst approximated by fractions: no constant larger than √5 works in Hurwitz's theorem. Set it aside and √2 is worst, with √8. Set that aside and the next is a number whose continued fraction repeats 2, 2, 1, 1, with √221/5. Markov proved in 1879 that the list continues for ever below 3, one entry for each solution of x² + y² + z² = 3xyz.

geometry · Golden ratio Thirty-seven points in thirty-six boxes. n=6: pair q=8,15; difference 7: ‖q√2‖=0.100505, ‖q√3‖=0.124356.

Two numbers approximated at once

Thirty-seven points in thirty-six boxes force a multiple of √2 and a multiple of √3 to land near whole numbers together, and the same count in more boxes makes q times the two distances less than one infinitely often. Littlewood guessed that the product can be made as small as anyone likes. Each number alone has a floor; the product finds a new record eight times below twenty million, and nobody can prove it will keep going.

discrete · Pigeonhole

Named alongside it

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

Continued fractionsRational approximationIrrationalityConjectureConvergencee, the numberGolden ratioLiouville numberPeriodic orbitPiRotation numberAlgebraic number

All concepts