Concept

Prime number theorem

The statement that the number of primes up to x is about x divided by its natural logarithm, with the ratio tending to one. Proved in 1896 by Hadamard and de la Vallée Poussin, it says the primes thin out like 1/log x.

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

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 $The 46 Farey fractions of order 12, and how far each strays from even spacing. Farey fractions of order 12 against 46 evenly spaced points, with the deviation of each drawn as a bar; largest deviation 0.0616.$

How evenly the fractions spread

List every fraction between nought and one with denominator at most n, in order. They spread across the interval almost evenly, and how fast the unevenness shrinks as n grows is — exactly, provably — the Riemann hypothesis. The link runs through a second fact: set the fractions round a circle and add them as arrows, and what is left is a whole number.

number · Stern brocot

The primitive 15th roots of unity, raised to a power and added. c₁₅(1) = 1; c₁₅(3) = −2; c₁₅(5) = −4; c₁₅(6) = −2; c₁₅(10) = −4; c₁₅(15) = 8.

The sums of primitive roots are always whole

Take the roots of unity of order exactly q, raise each to the power n and add them. The answer is always a whole number, it depends on n only through what n shares with q, and as n varies the sums behave like the sines and cosines of a Fourier series — so well that Ramanujan could rebuild the sum of the divisors of any number from them, and prove that their weighted total is nought, a fact that at n = 1 is the prime number theorem.

algebra · Roots of unity

Record gaps between primes against the square of the logarithm. 24 record prime gaps below thirty million as a staircase of points against log p, under the curve (log p)² and a dashed curve 1.12 (log p)²; the last record is 210 after 20831323.

The longest wait for a prime

Near a number x the primes are on average log x apart, and the longest stretch without one below x is much longer: about the square of log x, if the primes behave like random numbers with the right density. Sieving to thirty million finds twenty-four record gaps, all climbing in the shape of that square and all below it. A random model of the primes gets the scale right and the details wrong, and the correction for what it gets wrong predicts gaps larger still — larger than any anyone has found.

discrete · Prime distribution

Apéry's proof for ζ(3), as three numbers. log₁₀ of 2·lcm(1, …, n)³, of |a(n)ζ(3) − b(n)| and of their product for n up to 60: slopes 1.262, -1.546, -0.284 per step.

The race that makes ζ(3) irrational

Roger Apéry's 1978 proof that the sum of the reciprocal cubes is not a fraction comes down to a race between two numbers. A whole-number multiplier grows by a factor of ten every 0.79 steps; the gap it multiplies shrinks by a factor of ten every 0.65. The gap wins, by a margin of about seventeen per cent, and that margin is the whole proof.

number · Irrationality

Twelve's divisors make every total up to twenty-eight. Stacked bars for each total from 1 to 28, each built from distinct divisors of 12.

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.

number · Perfect numbers

Primes in five thousand thin sectors. 581517 primes in (2e7, 4e7] in 4967 sectors; mean 117.08, variance ratio 0.874, 2 empty.

Sectors that shrink with the primes

Hecke proved that the angles of the primes a² + b² are evenly spread, so every fixed sector eventually gets its share. Let the sector shrink as the primes grow, to width X^(−α), and the question is open beyond small α. Measured on the 581,517 such primes between twenty and forty million, wide shrinking sectors fluctuate far less than chance and thin ones as much as chance — and the thin sectors that go empty are not scattered: they gather beside the directions of small rational slope, most of all slopes like 1/3 and 1/1 whose two terms are both odd.

number · Sums of two squares

A share that depends on the average

What share of the whole numbers begin with the digit 1? Counted up to N, the answer swings between one ninth and five ninths for ever, and averaging the swing over N, even three times over, narrows it without removing it. Weight each number n by 1/n instead and the share settles at log₁₀ 2 — Benford's value — and so does every other sensible weighting that counts each decade alike. The primes behave the same way. Benford's law for the counting numbers is not a fact about them; it is a fact about how they are averaged.

probability · Central limit

The primes p for which Euclid's number p# ± 1 is itself prime. p up to 1100: p# + 1 prime for 2, 3, 5, 7, 11, 31, 379, 1019, 1021; p# − 1 prime for 3, 5, 11, 13, 41, 89, 317, 337, 991.

When Euclid's number is itself prime

Multiply the primes up to p and add one. Euclid needed only that the result has a prime factor beyond p; it is itself prime for p = 2, 3, 5, 7 and 11, and then not again until 31, and then not until 379. Up to 1,100 there are nine such primes of each sign, against thirteen that a careful estimate expects. The estimate predicts infinitely many and grows by about 1.8 every time x is multiplied by e; nobody can prove there is even one more.

number · Infinitude of primes

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.

number · Sums of two squares

Goldbach's comet. The number of ways to write each even number as a sum of two primes up to 12000, coloured by divisibility by 3 and 5; r(12000) = 302 and r(12002) = 115.

The comet Goldbach left behind

Count the ways each even number is a sum of two primes, and the points do not form a smear. They split into bands: 12,000 has 302 ways and 12,002 has 115. One small product over odd prime factors explains every band and brings them all to a single line, and it says the count grows without bound. Nobody can prove the count is never nought.

number · Infinitude of primes

Named alongside it

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

Primes Density Equidistribution Exhaustive search Gaussian integers Mobius function Open problem Prime gaps Sieve Sums of two squares Totient Asymptotics

All concepts