Abstract:We state a general purpose algorithm for quickly finding primes in evenly divided sub-intervals. Legendre's conjecture claims that for every positive integer $n$, there exists a prime between $n^2$ and $(n+1)^2$. Oppermann's conjecture subsumes Legendre's conjecture by claiming there are primes between $n^2$ and $n(n+1)$ and also between $n(n+1)$ and $(n+1)^2$. Using Cramér's conjecture as the basis for a heuristic run-time analysis, we show that our algorithm can verify Oppermann's conjecture, and hence also Legendre's conjecture, for all $n\le N$ in time $O( N \log N \log \log N)$ and space $N^{O(1/\log \log N)}$. We implemented a parallel version of our algorithm and improved the empirical verification of Oppermann's conjecture from the previous $N = 2\cdot 10^{9}$ up to $N = 3.33\cdot 10^{13}$, so we were finding $27$ digit primes. The computation ran for about half a year on four Intel Xeon Phi $7210$ processors using a total of $256$ cores.

Improving bounds on prime counting functions by partial verification of the Riemann hypothesis

On Proving Ramanujan's Inequality using a Sharper Bound for the Prime Counting Function $π(x)$

Sharper bounds for the error in the prime number theorem assuming the Riemann Hypothesis

On proving an Inequality of Ramanujan using Explicit Order Estimates for the Mertens Function

Primes in explicit short intervals on RH

On primes in arithmetic progressions and bounded gaps between many primes

Short interval results for certain prime-independent multiplicative functions

A method for verifying the generalized Riemann hypothesis

Primes Representable by Polynomials and the Lower Bound of the Least Primes in Arithmetic Progressions

An Explicit Mean-Value Estimate For The Prime Number Theorem In Intervals

Highly composite numbers and the Riemann hypothesis

The Riemann hypothesis is true up to 3·1012

An Approximation of the Prime Counting Function and a New Representation of the Riemann Zeta Function

An algorithm and computation to verify Legendre's Conjecture up to $3.33\cdot10^{13}$

From explicit estimates for the primes to explicit estimates for the Möbius function II

A conditional explicit result for the prime number theorem in short intervals

A number-theoretic problem concerning pseudo-real Riemann surfaces

Primes in arithmetic progressions to large moduli, and Goldbach beyond the square-root barrier

A conjectural improvement for inequalities related to regulators of number fields

A New Theorem on the Prime-Counting Function

The variance of integers without small prime factors in short intervals