On smooth gaps between primes using the Maynard-Tao sieve

Carol Wu
2024-10-13
Abstract:In 1999, Balog, Brüdern, and Wooley (1999) showed there are infinitely many prime gaps $p-q$ that are $(\log p)^{\frac{3}{4}}$-smooth, and infinitely many consecutive prime gaps that are $(\log p)^\frac{7}{8}$-smooth. Advancements made since then by Zhang (2014), Maynard (2014), and Polymath8b (2014) towards resolving the twin prime conjecture have given us the tools to lower the bounds made by Balog, Brüdern, and Wooley to 47. Moreover, we can show there are infinitely many $m$-tuples of primes whose gaps are all $y_m$-smooth for a calculable prime $y_m$.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the properties of smooth gaps between prime numbers. Specifically, the author tries to prove that there are infinitely many pairs of prime numbers \(p\) and \(q\) such that the difference \(p - q\) is \(y\)-smooth, and improves previous results. ### Problem Background 1. **Definition of Smooth Numbers**: An integer is called \(y\)-smooth if its largest prime factor does not exceed \(y\). 2. **Existing Results**: - In 1999, Balog, Brüdern and Wooley proved that there are infinitely many pairs of prime numbers \(p\) and \(q\) such that \(p - q\) is \((\log p)^{\frac{3}{4}}\)-smooth, and there are infinitely many consecutive pairs of prime numbers \(p\) and \(q\) such that \(p - q\) is \((\log p)^{\frac{7}{8}}\)-smooth. - The work of Zhang, Maynard and Polymath8b et al. provided tools for the solution of the twin prime conjecture, and these tools can further reduce the above smoothness bounds. ### Main Contributions of the Paper - **Main Theorem**: The author uses the Maynard - Tao sieve method to prove that there are infinitely many pairs of prime numbers \(p\) and \(q\) such that \(p - q\) is \(47\)-smooth. - **Generalization to m - tuples**: More generally, for any positive integer \(m\), there are infinitely many \(m\)-tuples of prime numbers \(P_m=(p_1, p_2,\ldots, p_m)\) such that the difference \(p_i - p_j\) between any two prime numbers \(p_i\) and \(p_j\) is \(y_m\)-smooth, where \(y_m\) is a computable prime number. ### Formula Representation - \(S(y)\) represents the set of all \(y\)-smooth integers. - \(p - q\in S\left((\log x)^{\frac{3}{4}}\right)\) - \(p - q\in S\left((\log x)^{\frac{7}{8}}\right)\) - \(p - q\in S(47)\) ### Summary This paper significantly reduces the bounds of smooth gaps between prime numbers by improving the existing sieve techniques, especially by using the Maynard - Tao sieve method. This result not only promotes the understanding of the distribution of prime numbers, but also provides new ideas for solving classical problems such as the twin prime conjecture.