Variants of the Selberg sieve, and bounded intervals containing many primes

Harcos, Gergely and Pintz, János and Polymath, DHJ (2014) Variants of the Selberg sieve, and bounded intervals containing many primes. RESEARCH IN THE MATHEMATICAL SCIENCES, 1. ISSN 2522-0144

Preview

Text 1407.4897.pdf Available under License Creative Commons Attribution. Download (1MB) | Preview

Abstract

For any m ě 1, let Hm denote the quantity lim infnÑ8ppn`m ´ pnq, where pn is the nth prime. A celebrated recent result of Zhang showed the finiteness of H1, with the explicit bound H1 ď 70000000. This was then improved by us (the Polymath8 project) to H1 ď 4680, and then by Maynard to H1 ď 600, who also established for the first time a finiteness result for Hm for m ě 2, and specifically that Hm ! m3e4m. If one also assumes the Elliott-Halberstam conjecture, Maynard obtained the bound H1 ď 12, improving upon the previous bound H1 ď 16 of Goldston, Pintz, and Yıldırım, as well as the bound Hm ! m3e2m. In this paper, we extend the methods of Maynard by generalizing the Selberg sieve further, and by performing more extensive numerical calculations. As a consequence, we can obtain the bound H1 ď 246 unconditionally, and H1 ď 6 under the assumption of the generalized Elliott-Halberstam conjecture. Indeed, under the latter conjecture we show the stronger statement that for any admissible triple ph1, h2, h3q, there are infinitely many n for which at least two of n ` h1, n ` h2, n ` h3 are prime, and also obtain a related disjunction asserting that either the twin prime conjecture holds, or the even Goldbach conjecture is asymptotically true if one allows an additive error of at most 2, or both. We also modify the “parity problem” argument of Selberg to show that the H1 ď 6 bound is the best possible that one can obtain from purely sieve-theoretic considerations. For larger m, we use the distributional results obtained previously by our project to obtain the unconditional asymptotic bound Hm ! mep4´ 28 157 qm, or Hm ! me2m under the assumption of the Elliott-Halberstam conjecture. We also obtain explicit upper bounds for Hm when m “ 2, 3, 4, 5.

Actions (login required)

Edit Item