Abstract: In this post, I present my approach to Cramer’s conjecture on the gap between consecutive primes. However since the sequence of primes are just a special of the sequence of numbers asymptotically equidistributed modulo one , I have considered the general problem of estimating the gap between consecutive terms of . Applying this general theory on prime numbers show why Cramer’s conjecture should possibly be true.
One of the most famous open problems in the theory of primes is the gap between consecutive primes. Given two consecutive prime numbers and , how large can the difference be? The answer to this question has baffled mathematicians for almost a century; however continuous progress has been since 1920 when Harald Cramer’s proved on the assumption of the Riemann Hypothesis, that
Cramer’s Conjecture: Cramer applied probabilistic methods to estimate an upper bound on and in 1936, he suggested that
This statement is known as the Cramer’s conjecture. Intuitively, this means the gaps between consecutive primes are always small, and it quantifies asymptotically just how small they can be. This conjecture has neither been proved nor disproved. In Cramer’s model one assumes that the probability that a natural number is prime is . This model was consistent with empirical and in 1966, Gallagher showed that the Hardy-Littlewood conjecture on -tuples was consistent with Cramer’s model.
Cramer-Granville’s Conjecture: Despite so much evidence in support of Cramer’s probabilistic model, in 1985, Helmut Maier proved a result that actually contradicts the predictions of Cramer’s. The problem with Cramer’s model is that it fails to take into account divisibility. Thus, for the primes , the probability that is prime is not as suggested by the Cramer model but rather since is even. Further is always odd; therefore it is twice as likely to be prime as a random natural number. Thus and being primes are not independent events. Based on Maier’s result, in 1995, Andrew Granville refined Cramer’s model and conjectured that
where is the Euler-Mascheroni constant. The modified statement
with is known as the Cramer-Granville’s Conjecture.
Firoozbakht’s conjecture: In 1982, Iranian mathematician Farideh Firoozbakht the following conjecture which is lesser known but appears to have far reaching consequences in the study of the gap between consecutive primes that the sequence decreases for all . This conjecture has been computationally verified for all primes up to . From the prime number theorem, it can be shown that Firoozbakht’s conjecture implies
This upper bound is not only stronger that the Cramer’s conjecture but it also contradicts Granville’s limit . Thus either Cramer-Granville’s Conjecture is false or the Firoozbakht’s conjecture is false. But which one if false? We don’t know for sure. Currently the best unconditional result is far from either; which was proved by R. Baker and G. Harman.
2. Sufficient conditions for Cramer’s conjecture
Lemma 1. Let be the largest real such that
If there exists a natural number such that for all ,
- then Firoozbakht’s conjecture or,
- is a positive constant then the Cramer-Granville conjecture is true.
This can easily be proved by finding the upper bound on from the inequality mentioned in the lemma.
Let . If , we define as
Lemma 2. If there exists a natural number such that for all then Firoozbakht’s conjecture is true and this would imply that
This lemma is also proved by assuming the hypothesis in the statement of the lemma and finding the upper bound on . Thus we see that we can gain new insights in to the difference between consecutive primes by studying the quantity and more specifically, we need a good estimation of the ratio .
3. Gap between consecutive terms of sequences asymptotically equidistributed mod 1
The following idea is drawn form Firoozbakht’s conjecture. Let be asymptotically equidistributed modulo one and let . If we can find a lower bound on than by algebraic manipulations, we can obtain an upper bound on the gap . The first task is to find a good estimate of . Since is asymptotically equidistributed mod 1, we have
Taking , and simplifying we have:
Lemma 3. If is asymptotically equidistributed mod and , then
Let and let be the error term so that .
Lemma 4. Assuming the hypothesis of Lemma 3, there exists a positive intger and a positive constant such that for all ,
Although , Lemma 4 does not directly imply that
should hold for all sufficiently large . However if this relation were true than we would have been able to show that
To be continued.