Largest prime gap under $2^{64}$

1.2k Views Asked by At

Thanks to Tomás Oliveira e Silva's extensive calculations, it is known that the largest prime gap less than $4\cdot10^{18}\approx2^{61.8}$ is 1476. I'd like an upper bound for the largest prime gap less than $2^{64}$. I know it will be horrifically large, but I'm hoping that more can be done than the best I know: $$ \left\lfloor\frac{2^{64}}{25\log^2(2^{64})}\right\rfloor=374946102691094 $$ due to [1]. As DanaJ suggested in the comments, this can be improved by a result of Axler [2]. In fact Büthe [3] improves on both for this range, reducing the bound to 672606194883.

Note: When I write "the largest prime gap less than $x$" I mean "the largest $q-p$ where $p$ and $q$ are consecutive primes and $p<x$".

[1] Pierre Dusart, Estimates of Some Functions Over Primes without R.H. (2010)

[2] Christian Axler, New bounds for the prime counting function π(x) (2014)

[3] Jan Büthe, Estimating π(x) and related functions under partial RH assumptions (2014)

1

There are 1 best solutions below

2
On

A better upper bound is $10^9$. Starting at 1 (or $4\cdot10^{18}$, skipping the region checked by Oliveira e Silva's code), repeatedly add $10^9$ and find the previous prime. (I search for a probable prime and then prove primality with APR.) Repeat until you get a number in excess of the desired $2^{64}.$

The process might start: $1 \to 999999937 \to 1999999927 \to \cdots.$

I performed this check in parallel with a total of roughly 100 core-hours.

This could be extended to a smaller bound ($10^8$ with $10\times$ the effort, $10^7$ with $100\times$ the effort, etc.) if desired. Of course if you try with a number smaller than the largest gap in the region the program would loop forever (though it's not hard to check for this situation).

At some point it would just be more efficient to sieve the whole interval and get exact answers. Naively extrapolating Oliveira e Silva's Goldbach timings this would take about 2824 core-years, or about as long as a bound of length 4000. Since computers have gotten faster (albeit not much!) in the last four years, and since exact answers are much better, I certainly wouldn't recommend going lower than $10^4.$ I think even $10^6$ ($\approx$ 11 core-years) would take more effort than it's worth, unless you have access to serious computing power.