Difference between revisions of "Prime gap"

From Number
Jump to: navigation, search
(Conjectures and advanced facts on upper bounds on limit inferior and occurrence of small prime gaps)
(Conjectures and advanced facts on upper bounds on limit inferior and occurrence of small prime gaps)
 
Line 21: Line 21:
 
! Name of conjecture/fact !! Statement !! Status
 
! Name of conjecture/fact !! Statement !! Status
 
|-
 
|-
| [[twin primes conjecture]] || There exist arbitrarily large pairs of [[twin primes]] -- successive primes with a gap of two. Equivalently, the limit inferior of prime gaps is exactly 2. || open  
+
| [[twin prime conjecture]] || There exist arbitrarily large pairs of [[twin primes]] -- successive primes with a gap of two. Equivalently, the limit inferior of prime gaps is exactly 2. || open  
 
|-
 
|-
 
| [[Polignac's conjecture]] || For any natural number <math>n</math>, the prime gap <math>2n</math> occurs for arbitrarily large pairs of primes || open; stronger than twin primes conjecture
 
| [[Polignac's conjecture]] || For any natural number <math>n</math>, the prime gap <math>2n</math> occurs for arbitrarily large pairs of primes || open; stronger than twin primes conjecture
Line 27: Line 27:
 
| [[Goldston-Pintz-Yildirim theorem on prime gaps conditional to Elliott-Halberstam]] || there exist infinitely many pairs of consecutive primes with prime gap at most 16 || proof conditional to [[Elliott-Halberstam conjecture]]
 
| [[Goldston-Pintz-Yildirim theorem on prime gaps conditional to Elliott-Halberstam]] || there exist infinitely many pairs of consecutive primes with prime gap at most 16 || proof conditional to [[Elliott-Halberstam conjecture]]
 
|-
 
|-
| [[Zhang's theorem on bounded prime gaps]] || There exist infinitely many pairs of primes that differ by at most 70 million. In other words, there eixsts a prime gap <math>m</math> that is at most 70 million that occurs infinitely often. Subsequent work by the Polymath project brought the bound down to 4680|| Closed, see [https://www.simonsfoundation.org/quanta/20131119-together-and-alone-closing-the-prime-gap/ here]
+
| [[Zhang's theorem on bounded prime gaps]] || There exist infinitely many pairs of primes that differ by at most 70 million. In other words, there eixsts a prime gap <math>m</math> that is at most 70 million that occurs infinitely often. Subsequent work by the Polymath project brought the bound down to 4680|| Closed, see [https://www.simonsfoundation.org/quanta/20131119-together-and-alone-closing-the-prime-gap/ here] and [http://www.michaelnielsen.org/polymath1/index.php?title=Timeline_of_prime_gap_bounds here].
 
|-
 
|-
| [[Maynard's theorem on bounded prime gaps]] ||  There exist infinitely many pairs of primes that differ by at most 600. || Closed, see [https://www.simonsfoundation.org/quanta/20131119-together-and-alone-closing-the-prime-gap/ here]
+
| [[Maynard's theorem on bounded prime gaps]] ||  There exist infinitely many pairs of primes that differ by at most 600. Subsequent work brought the bound done to 270. || Closed, see [https://www.simonsfoundation.org/quanta/20131119-together-and-alone-closing-the-prime-gap/ here] and [http://www.michaelnielsen.org/polymath1/index.php?title=Timeline_of_prime_gap_bounds here].
 
|}
 
|}
  

Latest revision as of 21:12, 29 January 2014

Definition

The prime gap between a prime and its successor prime is the difference . In other words, a prime gap is a gap between two successive primes.

Facts

We are interested in three broad things:

  • How frequently does a given prime gap occur?
  • The limit inferior of prime gaps, i.e., as we go to infinity, what is the limiting value of smallest prime gaps?
  • The limit superior of prime gaps, i.e., as we go to infinity, what is the limiting value of largest prime gaps?

Basic facts (lower bound on limit inferior, limit superior is infinity)

  • A prime gap of occurs between and , and never again. All other prime gaps are even, and at least .
  • There exist arbitrarily large prime gaps: This is because there exist arbitrarily large sequences of consecutive composite integer. For instance, for any , the sequence is a sequence of composite integers.

Conjectures and advanced facts on upper bounds on limit inferior and occurrence of small prime gaps

Name of conjecture/fact Statement Status
twin prime conjecture There exist arbitrarily large pairs of twin primes -- successive primes with a gap of two. Equivalently, the limit inferior of prime gaps is exactly 2. open
Polignac's conjecture For any natural number , the prime gap occurs for arbitrarily large pairs of primes open; stronger than twin primes conjecture
Goldston-Pintz-Yildirim theorem on prime gaps conditional to Elliott-Halberstam there exist infinitely many pairs of consecutive primes with prime gap at most 16 proof conditional to Elliott-Halberstam conjecture
Zhang's theorem on bounded prime gaps There exist infinitely many pairs of primes that differ by at most 70 million. In other words, there eixsts a prime gap that is at most 70 million that occurs infinitely often. Subsequent work by the Polymath project brought the bound down to 4680 Closed, see here and here.
Maynard's theorem on bounded prime gaps There exist infinitely many pairs of primes that differ by at most 600. Subsequent work brought the bound done to 270. Closed, see here and here.

Conjectures and advanced facts on maximum prime gaps (growth of limit superior relative to size of numbers)

Name of conjecture/fact Statement Function (big-O) Status
Cramér's prime gap conjecture For any prime , the prime gap between and the next prime is at most , fixed open
Prime-between-squares conjecture There exists a prime between any two successive squares. Puts upper bound of on prime gap open
(corollary of) Generalized Riemann hypothesis The prime gap between a prime and the next prime is open
exponent bound for prime gap of 0.535 The prime gap between and the next prime is at most proved
(corollary of) prime number theorem there exists a prime between and for any , for large enough (dependent on ) proved
Bertrand's postulate there exists a prime between and proved

Other related facts