Large Prime Gaps
Published On January 29, 2024
Journal Issue LJRS Volume 24 Issue 1

Large Prime Gaps

Dr. Pham Minh Duc
Dr. Pham Minh Duc
Large Prime Gaps
Article Fingerprint
Research ID D3160

IntelliPaper

Explore Digital Article Text

I. INTRODUCTION

Let denote the nth prime, and let

\[G(X) := \max_{p_{n+1} \leq X} (p_{n+1} - p_n)\]

denote the maximum gap between consecutive primes less than X. It is clear from the prime number theorem that

\[G(X) > \bigl(1 + o(1)\bigr)\log X\]

as the average gap between the prime numbers which are is . In 1931, Westzynthius proved that infinitely often, the gap between consecutive prime numbers can be an arbitrarily large multiple of the average gap, that is, as , improving upon prior result of Backlund and Brauer-Zeitz. Moreover, the strongest unconditional lower bound on is due to Ford, Green, Konyagin, Maynard, and Tao, who have shown that

\[G (X) \gg \frac {\log X \log \log X \log \log \log \log X}{\log \log \log X}\]

for sufficiently large X, with the k-fold iterated natural logarithm of X, whereas the strongest unconditional upper bound is

\[G (X) \ll X^{0.525}\]

a result due to Baker, Harman, and Pintz. Assuming the Riemann Hypothesis, Cramér showed that

\[G(X) \ll X^{1/2} \log X\]

My main theorem is the following further quantitative improvement.

Theorem 1: (Large prime gaps). For any sufficiently large X and any sufficiently small , one has

\[G(X) \ll X^{\frac{7}{12+\varepsilon}}\]

For any sufficiently large X and any sufficiently small , we have

\[X ^ {\frac {7}{1 2 + \varepsilon}} \geq p _ {n + 1} ^ {\frac {7}{1 2 + \varepsilon}} > p _ {n} ^ {\frac {7}{1 2 + \varepsilon}} > (\log p _ {n}) ^ {2} - \log p _ {n} > G (X)\tag{1}\]

(1) is correct when with

and when sufficiently large

Indeed, consider , consider the following limit

\[\lim_{x\to\infty}\frac{x^{\frac{7}{12+\varepsilon}}}{(\log x)^{2}-\log x}=\infty\]

We try with , (1) is correct when

Theorem 2: (Large prime gaps). For any sufficiently large X, one has

\[G(X) \ll X^{1/2} \log X\]

For any sufficiently large , we have

\[X ^ {1 / 2} \log X \geq p _ {n + 1} ^ {\frac {1}{2}} \log p _ {n + 1} > p _ {n} ^ {\frac {1}{2}} \log p _ {n} > (\log p _ {n}) ^ {2} - \log p _ {n} > G (X)\tag{2}\]

and when .

Indeed, consider , consider the following limit

\[\lim _ {x \to \infty} \frac {x ^ {1 / 2} \log x}{(\log x) ^ {2} - \log x} = \infty\]

ACKNOWLEDGEMENT

I thank VNU University of Science for accompanying me.

Conflict of Interest

The authors declare no conflict of interest.

Ethical Approval

Not applicable

Data Availability

The datasets used in this study are openly available at [repository link] and the source code is available on GitHub at [GitHub link].

Funding

This work did not receive any external funding.

References

17 Cites in Article

Cite this article

Generating citation...

Related Research

  • LCC Code: QA331.7
  • Version of record

    v1.0

  • Issue date

    29 January 2024

  • Language

    en

Large Prime Gaps
Open Access
Research Article
CC-BY-NC 4.0
Views 541
Downloads 26
Special Issue

Launch a focused special issue to highlight research, emerging trends, and expert insights in your academic field.

Support