Matpic
mathematics, in pictures
Concept

Density

How thinly a set is spread through the whole numbers, measured as the fraction of them it occupies up to a bound. It is what a counting theorem estimates, and it constrains a total while saying nothing about how the members are arranged inside it.

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

Ulam's spiral to 900. The integers up to 900 laid out in a square spiral, with the primes marked; they crowd onto diagonal lines.

The primes on a spiral, and a pattern nobody ordered

Wind the whole numbers outward in a square spiral, mark the primes, and they line up on diagonals. The observation is a hundred years old and there is still no proof it means anything.

discrete · Prime distribution The sieve of Eratosthenes below 100. A grid of the whole numbers with the composites struck out by the prime that removes them.

The primes are what is left over

Eratosthenes' sieve does not find the primes. It removes everything else, one prime at a time, and whatever survives is prime by default — which is a strange way to reach the most studied objects in arithmetic.

number · Prime distribution π(x) against its two estimates, up to 20,000. The ratio of the prime counting function to x over the logarithm of x, and to the logarithmic integral, plotted against x. The first is above one and coming down slowly; the second is close to one throughout.

Counting what has no formula

There is no expression that gives the nth prime, and yet the number of primes below a bound is predictable to within a fraction of a per cent — by a function that is not a formula for the primes but an integral of the wrong-looking quantity.

number · Prime distribution Between every number and its double. The interval from n to twice n, drawn for n up to 26, with the primes inside each marked. Every interval contains at least one.

Always one before the double

A density says what happens on average and permits long empty stretches. This says something a density cannot — that the stretch from any number to twice it contains a prime, at every scale, without exception.

number · Prime distribution The star polygon {5/2}. 5 equally spaced points joined every 2th, forming a closed path that winds 2 times about the centre with an interior angle of 36.0 degrees at each point.

The four that are allowed to cross themselves

Drop convexity from the definition of a regular solid and four more appear. Their faces are pentagrams, they pass through one another, and the alternating sum that gives two for every ordinary solid gives minus six for two of them.

geometry · Regular polyhedra The algebraic numbers, arriving in finite batches. A stretch of the number line with the roots of integer polynomials marked, each at the height of the smallest polynomial that catches it, and the count of polynomials at each height.

Countable, and everywhere

The numbers a polynomial can catch arrive in finite batches, so they can be listed. They are also in every interval, however short. Being listable turns out to say nothing whatever about being sparse.

logic · Cardinality The share that provably comes down. The proportion of starting values that fall below their own start within k steps, plotted against k up to 12. The proportion rises towards one; at the largest k drawn it is 0.94.

Almost every number comes down

The Collatz conjecture is open and a great deal about it is not. Whether a number falls below its own start in the first few steps is decided entirely by its remainder on division by a power of two, and the share of numbers for which it happens can be counted exactly.

dynamics · Collatz The primes 3 mod 4 against the primes 1 mod 4, out to 30,000. A plot of the difference between the counts of primes in two residue classes, against the bound, showing a persistent lead for one class and where it is lost.

Every class, and in equal shares

Euclid's argument aimed at a residue class reaches some classes and stalls at others. The theorem covering all of them is Dirichlet's, its proof abandons arithmetic entirely for analysis, and what it proves is stronger than infinitude — the classes are equal, though not at any point anybody has counted.

number · Infinitude of primes

Named alongside it

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

PrimesCounting argumentCounting two waysModular arithmeticParityAlgebraic numberApproximationArithmetic progressionBaire categoryBiasBinaryBinomial coefficient

All concepts