A prime gap is the difference between two consecutive prime numbers. Formally, if denotes the th prime number, the th prime gap is defined as . For example, the gap between 3 and 5 is 2, the gap between 7 and 11 is 4, and the gap between 89 and 97 is 8. Prime gaps are a fundamental object of study in analytic number theory, as their distribution reveals structural patterns in how primes become sparser among larger integers.
Distribution and Growth
Prime gaps tend to increase as numbers grow larger, though not uniformly. The average gap near a large number is approximately , as predicted by the prime number theorem. However, actual gaps fluctuate considerably—sometimes occurring much smaller or larger than average. The largest known prime gaps have been found computationally, with researchers identifying gaps exceeding 1,000 between consecutive primes in the range of very large numbers.
Bounded Gaps and Zhang’s Breakthrough
While the average gap grows indefinitely, a major open question was whether small gaps (specifically bounded gaps) occur infinitely often. This relates directly to the Twin Prime Conjecture, which posits that there are infinitely many prime pairs with a gap of 2.
- Bounded Gap Proof: In a landmark result discussed in Yitang Zhang’s Proof: Bounded Prime Gaps and the Twin Prime Conjecture, Yitang Zhang proved that there exists a finite bound such that infinitely many pairs of primes differ by at most .
- Significance: This was the first time a bounded gap had been proven to occur infinitely often, shattering previous records and providing significant progress toward resolving the Twin Prime Conjecture.
- Subsequent Improvements: Following Zhang’s initial bound (originally 70 million), subsequent collaborative efforts using the Polymath project reduced this bound significantly, bringing it closer to the conjectured value of 2.
Open Questions
Several fundamental questions remain regarding the fine-scale distribution of primes:
- Twin Prime Conjecture: Are there infinitely many primes such that is also prime? (i.e., are there infinitely many gaps of size 2?)
- Cramér’s Conjecture: Predicts an upper bound for the maximal gap between consecutive primes.
- Polignac’s Conjecture: Suggests that for any even natural number , there are infinitely many pairs of consecutive primes with difference .