Density
Named by 22 essays across 7 fields — each of them below, with the objects they name alongside it.
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.
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.
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.
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.
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.
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.
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.
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.
Why a quarter of numbers overshoot
About one number in four has proper divisors adding to more than itself. That a proportion exists at all is not automatic — there are sets defined just as simply that have no proportion — and the reason this one does is that abundance is inherited by multiples, and the numbers it is first inherited from are sparse enough to add up.
Three triangular numbers, and no fewer
On 10 July 1796 Gauss wrote in his diary: ΕΥΡΗΚΑ — num = Δ + Δ + Δ. Every whole number is a sum of three triangular numbers. Two are not enough, and not by a little: the numbers that are sums of two thin out to a share of nought. Both facts are statements about squares in disguise, and one picture translates them.
The wait for the next sum of two squares
Sums of two squares thin out to a share of nought, and yet the gaps between them stay short. Take the largest square below any number; what is left over is small, and a small number is always close to a square. Two squarings in a row say the next sum of two squares is never more than about 2√2 times the fourth root of n away — a bound proved in 1947 that nobody has improved, sitting far above every gap anyone has found.
Where a base-β orbit spends its time
Follow x ↦ βx mod 1 for a million steps and count how often the orbit visits each part of the interval. For the doubling map the answer is evenly; for the golden ratio it is a staircase with one step, spending 1.17 times the average near 0 and 0.72 times it near 1. The step sits exactly where the orbit of the number 1 lands, and in a base whose 1 never has a finite expansion the staircase has infinitely many steps.
How a polynomial breaks modulo the primes
Reduce x³ − 2 modulo a prime and it factors: into three linear pieces for some primes, one linear and one quadratic for others, not at all for the rest. Over the primes up to twenty thousand those three patterns occur a sixth, a half and a third of the time — exactly the shares of the identity, the flips and the rotations in the symmetry group of a triangle, the group that permutes the three cube roots of 2. A polynomial's factorisations modulo primes are a census of its Galois group.
How often two generates every remainder
For some primes p, the powers of 2 run through every non-zero remainder before repeating; for others they get stuck in a smaller cycle. Among the primes up to two million the first kind make up 37.43% — and Artin predicted 37.40% in 1927 by treating each way of getting stuck as an independent accident. For the base 5 the same prediction is wrong, because two of the accidents are secretly the same one, and nobody can yet prove that 2 works for infinitely many primes at all.
When minus one can be reached
x² − Dy² = 1 always has a solution. Put −1 on the right and it sometimes does and sometimes does not. A remainder rules out most D at a glance, every prime of the form 4k + 1 is guaranteed one, and between the two lies a set of D decided by arithmetic several layers deep — of which, a million numbers in, 78% are solvable, on the way to a limit of 58% that was proved only in 2022.
Almost none of the roots are real
Pick the coefficients of a polynomial of degree a thousand at random, each one an independent draw from the bell curve, and ask how many of its thousand roots are real. The answer is about five. Mark Kac found in 1943 that the average grows only like (2/π) ln n, and the reason can be read off the real line itself: the real roots crowd towards +1 and −1 and spread evenly on a logarithmic scale of distance from them.
Abundant, and still not a sum of its parts
Seventy's proper divisors add to seventy-four, more than seventy itself — and yet no selection of them adds to exactly seventy. The reason is that the excess, four, cannot be made from the small divisors one, two and five. Numbers like seventy are called weird; there are thirty-six below twenty thousand, every one of them even, and nobody knows whether an odd one exists.
Divisors that make every amount
Twelve's divisors — 1, 2, 3, 4, 6, 12 — can be chosen to add to every whole number from one to twenty-eight. Numbers like that are called practical, a test on their primes decides them, and they turn out to be counted like the primes: about 1.336 x / log x of them below x. For practical numbers Goldbach's conjecture and the twin conjecture are theorems.
A walk on Gaussian primes stopped by a moat
Start at 1 + i and step from Gaussian prime to Gaussian prime, never more than 2 at a time: the walk reaches 720 primes and stops at 17 + 42i, surrounded by a moat. Allow steps of √10 and it reaches a quarter of a million primes before stopping at distance 1,024; steps of 4 carry it to 4,313. Whether some fixed step lets a walker reach infinity is a question Basil Gordon asked in 1962, and it is open.
No graph is poorer in squares than chance
Take any graph with a fixed share of its possible edges and count how often four points chosen in order close up into a ring. However the edges are arranged — in cliques, in two-sided blocks, at random — the count never falls below what a random graph of the same density gives. Sidorenko conjectured that the same holds for every pattern without an odd cycle. For a triangle it is false; for a path or a ring of four it takes two lines; for K₅,₅ with a ten-cycle removed nobody knows.
Nine cubes for two numbers
Every whole number is a sum of at most nine positive cubes, and only two numbers, 23 and 239, need all nine. Fifteen need eight, the last of them 454; 121 need seven, the last 8,042; six are needed for the last time at 1,290,740. The count every number needs is nine, fixed by two small accidents. The count every large number needs is somewhere between four and seven, and the computation says four — a question about how the cubes spread out, not about the cubes themselves.
No set fills half of every interval
A fat Cantor set has length one half and contains no interval, so every interval holds some of it and some of its gaps. Look closely at any one point, though, and the window around it ends up almost all set or almost all gap. Lebesgue proved in 1910 that this is forced for every set with a length: the share of a shrinking window is 0 or 1 almost everywhere. So no set can fill exactly half of every interval, however it is built.
Named alongside it
The objects these essays reach for when they reach for this one.
PrimesModular arithmeticExhaustive searchConjectureCounting two waysDivisor sumParityPerfect numberPrime number theoremSums of two squaresAbundanceCounterexample