Twin primes
Named by 4 essays across one field — each of them below, with the objects they name alongside it.
Which infinitudes are proved
The primes never stop, and neither — apparently — do the twin pairs, the primes one more than a square, or the Mersenne primes. Three of those four statements are theorems and one is not, and counting the members of each family tells nobody which.
The sieve that cannot finish
Sifting out the composites is the oldest method in the subject and it has a ceiling nobody has raised. The reciprocals of the twin primes add to a finite number, so no argument that measures thickness can reach them — and the inclusion–exclusion every sieve truncates goes wildly wrong before it goes right.
Two halves a sieve cannot tell apart
Split the whole numbers into those with an even number of prime factors and those with an odd number. To a sieve — which sees only how many numbers each small divisor divides — the two halves look almost exactly alike. Yet sifting out the small primes leaves every prime in one half and nothing at all in the other. That is Atle Selberg's parity example, and it is the reason no sieve can prove there are infinitely many twin primes.
The patterns primes are allowed to make
Primes two apart are twin primes; primes six apart are about twice as common; three primes two apart happen exactly once, at 3, 5, 7. Which patterns of primes can recur for ever is decided by remainders alone — a pattern must leave some remainder free modulo every prime — and how often each one recurs is predicted, to within a few per cent, by a constant computed from nothing else.
Named alongside it
The objects these essays reach for when they reach for this one.
SieveOpen problemPrimePrimesAlmost primeAsymptoticBounded gapsConjectureConvergenceCounting argumentDivergenceHardy littlewood conjecture