Twin prime conjecture

related topics
{math, number, function}
{woman, child, man}
{theory, work, human}
{math, energy, light}

A twin prime is a prime number that differs from another prime number by two. Except for the pair (2, 3), this is the smallest possible difference between two primes. Some examples of twin prime pairs are (3, 5), (5, 7), (11, 13), (17, 19), (29, 31), (41, 43), ... (821, 823), etc. Sometimes the term twin prime is used for a pair of twin primes; an alternative name for this is prime twin.

The question of whether there exist infinitely many twin primes has been one of the great open questions in number theory for many years. This is the content of the twin prime conjecture, which states There are infinitely many primes p such that p + 2 is also prime. In 1849 de Polignac made the more general conjecture that for every natural number k, there are infinitely many prime pairs p and p′ such that p′ − p = 2k. The case k = 1 is the twin prime conjecture.

A stronger form of the twin prime conjecture, the Hardy–Littlewood conjecture, postulates a distribution law for twin primes akin to the prime number theorem.

In 1915, Viggo Brun showed that the sum of reciprocals of the twin primes was convergent. This famous result, called Brun's theorem, was the first use of the Brun sieve and helped initiate the development of modern sieve theory. The modern version of Brun's argument can be used to show that the number of twin primes less than N does not exceed

for some absolute constant C > 0.

In 1940, Paul Erdős showed that there is a constant c < 1 and infinitely many primes p such that (p′ − p) < (c ln p) where p′ denotes the next prime after p. This result was successively improved; in 1986 Helmut Maier showed that a constant c < 0.25 can be used. In 2004 Daniel Goldston and Cem Yıldırım showed that the constant could be improved further to c = 0.085786… In 2005, Goldston, János Pintz and Yıldırım established that c can be chosen to be arbitrarily small[1][2]

In fact, by assuming the Elliott–Halberstam conjecture or a slightly weaker version, they were able to show that there are infinitely many n such that at least two of n, n + 2, n + 6, n + 8, n + 12, n + 18, or n + 20 are prime. Under a stronger hypothesis they showed that at least two of n, n + 2, n + 4, and n + 6 are prime.

Every twin prime pair except (3, 5) is of the form (6n − 1, 6n + 1) for some natural number n, and with the exception of n = 1, n must end in 0, 2, 3, 5, 7, or 8.

It has been proved that the pair (m, m+2) is a twin prime if and only if

If m − 4 or m + 6 is also prime then the 3 primes are called a prime triplet.

Contents

Full article ▸

related documents
Separated sets
Topological ring
Goldbach's weak conjecture
Logarithmic integral function
Magma (algebra)
Kernel (category theory)
Heaviside step function
Amicable number
CLU (programming language)
Polynomial time
Bézout's identity
Ordered field
Metrization theorem
Intersection (set theory)
Graded algebra
NP-hard
Regular language
Lipschitz continuity
Euler's criterion
Greedy algorithm
Complement (set theory)
Logical disjunction
BPP
Divisor
Binary function
Lagrange's theorem (group theory)
Decision problem
Simple LR parser
Whittaker–Shannon interpolation formula
Partial fractions in integration