Difference between revisions of "Finding narrow admissible tuples"

From Polymath1Wiki
Jump to: navigation, search
(Benchmarks)
(Benchmarks)
Line 281: Line 281:
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 151,298]
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 151,298]
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 66,314]
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 66,314]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 28781]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 28,781]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 22564]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 22,564]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 16456]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 16,456]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 10500]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 10,500]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 4858]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 4,858]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 3124]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 3,124]
 
|-
 
|-
 
|MV with <math>c=3.2/\pi</math>
 
|MV with <math>c=3.2/\pi</math>
Line 296: Line 296:
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 151,056]
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 151,056]
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 66,211]
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 66,211]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 28737]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 28,737]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 22523]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 22,523]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 16428]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 16,428]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 10480]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 10,480]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 4847]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 4,847]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 3118]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 3,118]
 
|-
 
|-
 
|MV with <math>c=\sqrt{22}/\pi</math>
 
|MV with <math>c=\sqrt{22}/\pi</math>
Line 311: Line 311:
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 146,393]
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 146,393]
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 63,917]
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 63,917]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 27708]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 27,708]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 21701]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 21,701]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 15758]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 15,758]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 10061]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 10,061]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 4648]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 4,648]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 2979]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 2,979]
 
|-
 
|-
 
|Second Montgomery-Vaughan
 
|Second Montgomery-Vaughan
Line 326: Line 326:
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 146,338]
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 146,338]
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 63,886]
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23896 63,886]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 27696]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 27,696]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 21690]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 21,690]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 15751]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 15,751]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 10056]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 10,056]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 4645]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 4,645]
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 2977]
+
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23905 2,977]
 
|-
 
|-
 
|Brun-Titchmarsh
 
|Brun-Titchmarsh
Line 339: Line 339:
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23777 155,555]
 
| [http://sbseminar.wordpress.com/2013/06/05/more-narrow-admissible-sets/#comment-23777 155,555]
 
| 137,756
 
| 137,756
|
+
| 135,599
 
| 58,863
 
| 58,863
 
| 25,351
 
| 25,351

Revision as of 18:21, 13 June 2013

For any natural number [math]k_0[/math], an admissible [math]k_0[/math]-tuple is a finite set [math]{\mathcal H}[/math] of integers of cardinality [math]k_0[/math] which avoids at least one residue class modulo [math]p[/math] for each prime [math]p[/math]. (Note that one only needs to check those primes [math]p[/math] of size at most [math]k_0[/math], so this is a finitely checkable condition.) Let [math]H(k_0)[/math] denote the minimal diameter [math]\max {\mathcal H} - \min {\mathcal H}[/math] of an admissible [math]k_0[/math]-tuple. As part of the Polymath8 project, we would like to find as good an upper bound on [math]H(k_0)[/math] as possible for given values of [math]k_0[/math]. To a lesser extent, we would also be interested in lower bounds on this quantity. There is some scattered numerical evidence that the optimal value of H is roughly of size [math]k_0 \log k_0 + k_0[/math] for [math]k_0[/math] in the range of interest.

Upper bounds

Upper bounds are primarily constructed through various "sieves" that delete one residue class modulo [math]p[/math] from an interval for a lot of primes [math]p[/math]. Examples of sieves, in roughly increasing order of efficiency, are listed below.

Zhang sieve

The Zhang sieve uses the tuple

[math]{\mathcal H} = \{p_{m+1}, \ldots, p_{m+k_0}\}[/math]

where [math]m[/math] is taken to optimize the diameter [math]p_{m+k_0}-p_{m+1}[/math] while staying admissible (in practice, this basically means making [math]m[/math] as small as possible). Certainly any [math]m[/math] with [math]p_{m+1} \gt k_0[/math] works (in particular, one can just take [math]{\mathcal H}[/math] to be the first [math]k_0[/math] primes past [math]k_0[/math], but this is not optimal. Applying the prime number theorem then gives the upper bound [math]H \leq (1+o(1)) k_0\log k_0[/math].

Hensley-Richards sieve

The Hensley-Richards sieve [HR1973], [HR1973b], [R1974] uses the tuple

[math]{\mathcal H} = \{-p_{m+\lfloor k_0/2\rfloor - 1}, \ldots, -p_{m+1}, -1, +1, p_{m+1},\ldots, p_{m+\lfloor k_0/2+1/2\rfloor-1}\}[/math]

where m is again optimised to minimize the diameter while staying admissible.

Asymmetric Hensley-Richards sieve

The asymmetric Hensley-Richard sieve uses the tuple

[math]{\mathcal H} = \{-p_{m+\lfloor k_0/2\rfloor - 1-i}, \ldots, -p_{m+1}, -1, +1, p_{m+1},\ldots, p_{m+\lfloor k_0/2+1/2\rfloor-1+i}\}[/math]

where [math]i[/math] is an integer and [math]i,m[/math] are optimised to minimize the diameter while staying admissible.

Schinzel sieve

Given [math]0\lty\ltz[/math], the Schinzel sieve (discussed in [HR1973], [CJ2001] first sieves by [math]1\bmod p[/math] for primes [math]p \le y[/math] and by [math]0\bmod p[/math] for primes [math]y \lt p \le z[/math]. For a given choice of [math]y[/math], the parameter [math]z[/math] is minimized subject to ensuring that the first [math]k_0[/math] survivors (after the first) form an admissible sequence [math]\mathcal{H}[/math], so the only free parameter is [math]y[/math], which is chosen to minimize the diameter of [math]\mathcal{H}[/math]. The case [math]y=1[/math] corresponds to a sieve of Eratosthenes, which will typically yield the same sequence as Zhang with the minimal (but not necessarily optimal) value of [math]m[/math] that yields an admissible [math]k_0[/math]-tuple. As originally proposed, the Schinzel sieve works over the positive integers, but one can apply the sieve to any given interval, and as with the Hensley-Richards sieve, it is generally better to use an asymmetric interval (which need not contain the origin).

Greedy sieve

Within a given interval, one sieves a single residue class [math]a \bmod p[/math] for increasing primes [math]p=2,3,5,\ldots[/math], with [math]a[/math] chosen to maximize the number of survivors. Ties can be broken in a number of ways: minimize [math]a\in[0,p-1][/math], maximize [math]a\in [0,p-1][/math], minimize [math]|a-\lfloor p/2\rfloor|[/math], or randomly. If not all residue classes modulo [math]p[/math] are occupied by survivors, then [math]a[/math] will be chosen so that no survivors are sieved. This necessarily occurs once [math]p[/math] exceeds the number of survivors but typically happens much sooner. One then chooses the narrowest [math]k_0[/math]-tuple [math]{\mathcal H}[/math] among the survivors (if there are fewer than [math]k_0[/math] survivors, retry with a wider interval).

Greedy-Schinzel sieve

Heuristically, the performance of the greedy sieve is significantly improved by starting with a Schinzel sieve with [math]y=2[/math] and [math]z=\sqrt{x_1-x_0}[/math] and then continuing in a greedy fashion This method was proposed by Sutherland and originally referred to as a "greedy-greedy" approach. This nomenclature arose from the fact that one optimization that can be applied to the standard Schinzel sieve on a given interval is to "greedily" avoid sieving modulo primes where the set of survivors is already admissible (this may occur for primes less than the minimal value of [math]z[/math] that yields [math]k_0[/math]-survivors), while a second optimization is to use a value of [math]z[/math] that is intentionally smaller than necessary and switch to greedy sieving for primes greater than [math]z[/math]. With the choice [math]z=\sqrt{x_1-x_0}[/math], unless the initial interval is much larger than necessary, all primes up to [math]z[/math] will require a residue class to be sieved and the first "greedy" seldom applies.

Seeded greedy sieve

Given an initial sequence [math]{\mathcal S}[/math] that is known to contain an admissible [math]k_0[/math]-tuple, one can apply greedy sieving to the minimal interval containing [math]{\mathcal S}[/math] until an admissible sequence of survivors remains, and then choose the narrowest [math]k_0[/math]=tuple it contains. The sieving methods above can be viewed as the special case where [math]{\mathcal S}[/math] is the set of integers in some interval. The main difference is that the choice of [math]{\mathcal S}[/math] affects when ties occur and how they are broken with greedy sieving. One approach is to take [math]{\mathcal S}[/math] to be the union of two [math]k_0[/math]-tuples that lie in roughly the same interval (see Iterated merging) below.

Iterated merging

Given an admissible [math]k_0[/math]-tuple [math]\mathcal{H}_1[/math], one can attempt to improve it using an iterated merging approach suggested by Castryck. One first uses a greedy (or greedy-Schinzel) sieve to construct an admissible [math]k_0[/math]-tuple [math]\mathcal{H}_2[/math] in roughly the same interval as [math]\mathcal{H}_1[/math], then performs a randomized greedy sieve using the seed set [math]\mathcal{S} = \mathcal{H}_1 \cup \mathcal{H}_2[/math] to obtain an admissible [math]k_0[/math]-tuple [math]\mathcal{H}_3[/math]. If [math]\mathcal{H}_3[/math] is narrower than [math]\mathcal{H}_2[/math], replace [math]\mathcal{H}_2[/math] with [math]\mathcal{H}_3[/math], otherwise try again with a new [math]\mathcal{H}_3[/math]. Eventually the diameter of [math]\mathcal{H}_2[/math] will become less than or equal to that of [math]\mathcal{H}_1[/math]. As long as [math]\mathcal{H}_1\ne \mathcal{H}_2[/math], one can continue to attempt to improve [math]\mathcal{H}_2[/math], but in practice one stops after some number of retries.

As described by Sutherland, one can then replace [math]\mathcal{H}_1[/math] with [math]\mathcal{H}_2[/math] and begin the process anew, yielding a randomized algorithm that can be run indefinitely. Key parameters to this algorithm are the choice of the interval used when constructing [math]\mathcal{H}_2[/math], which is typically made wider than the minimal interval containing [math]\mathcal{H}_1[/math] by a small factor [math]\delta[/math] on each side (Sutherland suggests [math]\delta = 0.0025[/math]), and the number of failed attempts allowed while attempting to impove [math]\mathcal{H}_2[/math].

Eventually this process will tend to converge to particular [math]\mathcal{H}_1[/math] that it cannot improve (or more generally, a set of similar [math]\mathcal{H}_1[/math]'s with the same diameter). Interleaving iterated merging with the local optimizations described below often allows the algorithm to make further progress.


Iterated merging can be viewed as a form of simulated annealing. The set [math]\mathcal{S}[/math] initially contains at least two admissible [math]k_0[/math]-tuples (typically many more), and as the algorithm proceeds the set [math]\mathcal{S}[/math] converges toward [math]\mathcal{H}_1[/math] and the number of admissible [math]k_0[/math]-tuples it contains declines. One can regard the cardinality of the difference between [math]\mathcal{S}[/math] and [math]\mathcal{H}_1[/math] as a measure of the "temperature" of a gradually cooling system, since the number of choices available to the algorithm declines as this cardinality is reduced (more precisely, one may consider the entropy of the possible sequence of tie-breaking choices available for a given [math]\mathcal{S}[/math]).

Local optimizations

Let [math]\mathcal H = \{h_1,\ldots, h_{k_0}\}[/math] be an admissible [math]k_0[/math]-tuple with endpoints [math]h_1[/math] and [math]h_{k_0}[/math], and let [math]\mathcal I[/math] be the interval [math][h_1,h_{k_0}][/math]. If there exists an integer [math]h\in\mathcal I[/math] such that removing one of [math]\mathcal H[/math]'s endpoints and inserting [math]h[/math] yields an admissible [math]k_0[/math]-tuple [math]\mathcal H'[/math], then call [math]\mathcal H[/math] contractible, and if not, say that [math]\mathcal H[/math] non-contractible. Note that [math]\mathcal H'[/math] necessarily has smaller diameter than [math]\mathcal H[/math]. Any of the sieving methods described above may produce admissible [math]k_0[/math]-tuples that are contractible, so it is worth testing for contractibility as a post-processing step after sieving and replacing [math]\mathcal H[/math] by [math]\mathcal H'[/math] if this test succeeds.

We can also shift [math]\mathcal H [/math] to the left by removing its right end point [math]h_{k_0}[/math] and replacing it with the greatest integer [math]h_0 \lt h_1[/math] that yields an admissible [math]k_0[/math]-tuple [math]\mathcal H'[/math], and we can similarly shift [math]\mathcal H[/math] to the right. The diameter of [math]\mathcal H'[/math] need not be less than [math]\mathcal H[/math], but if it is, it provides a useful replacement. More generally, by shifting [math]\mathcal H[/math] repeatedly we can produce a sequence of admissible [math]k_0[/math]-tuples that lie successively further to the left or right. In general the diameter of these tuples may grow as we do so, but it will also occasionally decline, and we may be able to find a shifted [math]\mathcal H'[/math] with smaller diameter than [math]\mathcal H[/math].


A more sophisticated local optimization involves a process of ``adjustment" proposed by Savitt. Let [math]\mathcal H [/math] be an admissible [math]k_0[/math]-tuple. For a prime [math]p[/math] and an integer [math]a[/math], let [math][a;p][/math] denote the residue class [math]a\bmod p[/math], i.e. the set of integers [math]\{ x : x = a \bmod p\}[/math]. Call [math][a;p][/math] occupied if it contains an element of [math]\mathcal H [/math].

Suppose that [math][a;p][/math] and [math][b;q][/math] are occupied residue classes, for some distinct primes [math]p[/math] and [math]q[/math], and that [math][a';p][/math] and [math][b';q][/math] are unoccupied. Let [math]\mathcal U[/math] be the intersection of [math]\mathcal H[/math] with [math][a;p] \cup [b;q][/math], and let [math]\mathcal V[/math] be a subset of the integers that lie in the intersection of the interval [math]I[/math] containing [math]H[/math] and the set [math][a';p] \cup [b';q][/math] such that the set [math]\mathcal H' [/math] formed by removing the elements of [math]\mathcal U[/math] from [math]\mathcal H [/math] and adding the elements of [math]\mathcal V [/math] is admissible. A necessary (and often sufficient) condition for and integer [math]v[/math] to lie in [math]\mathcal V[/math] is that [math]v[/math] must not lie in a residue class [math][c;r][/math] that is the unique unoccupied residue class modulo [math]r[/math] for any prime [math]r[/math] other than [math]p[/math] or [math]q[/math].

The admissible set [math]\mathcal H' [/math] lies in the interval [math]\mathcal I[/math] containing [math]\mathcal H[/math], so its diameter is no greater than that of [math]\mathcal H[/math], however its cardinality may differ. If it happens that [math]\mathcal H' [/math] contains more elements than [math]\mathcal H [/math], then by eliminating points at either end of [math]\mathcal H' [/math] we obtain an admissible [math]k_0[/math]-tuple that is narrower than [math]\mathcal H[/math] and may ``adjust" [math]\mathcal H [/math] by replacing it with [math]\mathcal H' [/math]. The process of adjustment can often be applied repeatedly, yielding a sequence of successively narrower admissible [math]k_0[/math]-tuples.

Further refinements

Lower bounds

There is a substantial amount of literature on bounding the quantity [math]\pi(x+y)-\pi(x)[/math], the number of primes in a shifted interval [math][x+1,x+y][/math], where [math]x,y[/math] are natural numbers. As a general rule, whenever a bound of the form

[math] \pi(x+y) - \pi(x) \leq F(y) [/math] (*)

is established for some function [math]F(y)[/math] of [math]y[/math], the method of proof also gives a bound of the form

[math] k_0 \leq F( H(k_0)+1 ).[/math] (**)

Indeed, if one assumes the prime tuples conjecture, any admissible [math]k_0[/math]-tuple of diameter [math]H[/math] can be translated into an interval of the form [math][x+1,x+H+1][/math] for some [math]x[/math]. In the opposite direction, all known bounds of the form (*) proceed by using the fact that for [math]x\gty[/math], the set of primes between [math]x+1[/math] and [math]x+y[/math] is admissible, so the method of proof of (*) invariably also gives (**) as well.

Examples of lower bounds are as follows;

Brun-Titchmarsh inequality

The Brun-Titchmarsh theorem gives

[math] \pi(x+y) - \pi(x) \leq (1 + o(1)) \frac{2y}{\log y}[/math]

which then gives the lower bound

[math] H(k_0) \geq (\frac{1}{2}-o(1)) k_0 \log k_0[/math].

Montgomery and Vaughan deleted the o(1) error from the Brun-Titchmarsh theorem [MV1973, Corollary 2], giving the more precise inequality

[math] k_0 \leq 2 \frac{H(k_0)+1}{\log (H(k_0)+1)}.[/math]

First Montgomery-Vaughan large sieve inequality

The first Montgomery-Vaughan large sieve inequality [MV1973, Theorem 1] gives

[math] k_0 (\sum_{q \leq Q} \frac{\mu^2(q)}{\phi(q)}) \leq H(k_0)+1 + Q^2[/math]

for any [math]Q \gt 1[/math], which is a parameter that one can optimise over (the optimal value is comparable to [math]H(k_0)^{1/2}[/math]).

Second Montgomery-Vaughan large sieve inequality

The second Montgomery-Vaughan large sieve inequality [MV1973, Corollary 1] gives

[math] k_0 \leq (\sum_{q \leq z} (H(k_0)+1+cqz)^{-1} \mu(q)^2 \prod_{p|q} \frac{1}{p-1})^{-1}[/math]

for any [math]z \gt 1[/math], which is a parameter similar to [math]Q[/math] in the previous inequality, and [math]c[/math] is an absolute constant. In the original paper of Montgomery and Vaughan, [math]c[/math] was taken to be [math]3/2[/math]; this was then reduced to [math]\sqrt{22}/\pi[/math] [B1995, p.162] and then to [math]3.2/\pi[/math] [M1978]. It is conjectured that [math]c[/math] can be taken to in fact be [math]1[/math].

Benchmarks

Efforts to fill in the blank fields in this table are very welcome.

[math]k_0[/math] 3,500,000 181,000 34,429 26,024 23,283 22,949 10,719 5,000 4,000 3,000 2,000 1,000 672
Upper bounds
First [math]k_0[/math] primes past [math]k_0[/math] 59,874,594 2,530,338 420,878 310,134 275,082 270,698 117,714 50,840 39,660 28,972 18,386 8,424 5,406
Zhang sieve 59,093,364 2,486,370 411,932 303,558 268,536 264,414 114,806 49,578 38,596 28,008 17,766 8,212 5,216
Hensley-Richards sieve 57,554,086 2,422,558 402,790 297,454 262,794 258,780 112,868 48,634 38,498 27,806 17,726 8,258 5,314
Asymmetric Hensley-Richards 2,418,054 401,700 296,154 262,286 258,302 112,562 48,484 37,932 27,638 17,676 8,168 5,220
Schinzel sieve 2,413,228 400,512 295,162 262,206 258,000 112,440 48,726 38,168 27,632 17,616 8,160 5,196
greedy-Schinzel sieve 2,326,476 388,076 286,308 253,968 249,992 108,694 46,968 36,756 26,754 17,054 7,854 5,030
Best known tuple 57,554,086 2,326,476 386,532 285,210 252,804 248,910 108,462 46,824 36,636* 26,622 16,984* 7,808* 5,010*
Engelsma data - - - - - - - - 36,622 26,622 16,978 7,802 4,998
Predictions
[math]k_0 \log k_0 + k_0[/math] 56,238,957 2,372,232 394,096 290,604 257,405 253,381 110,119 47,586 37,176 27,019 17,202 7,907 5,046
Lower bounds
MV with [math]c=1[/math] (conjectural) 234,872 173,420 153,691 151,298 66,314 28,781 22,564 16,456 10,500 4,858 3,124
MV with [math]c=3.2/\pi[/math] 234,529 173,140 153,447 151,056 66,211 28,737 22,523 16,428 10,480 4,847 3,118
MV with [math]c=\sqrt{22}/\pi[/math] 227,078 167,860 148,719 146,393 63,917 27,708 21,701 15,758 10,061 4,648 2,979
Second Montgomery-Vaughan 226,987 167,793 148,656 146,338 63,886 27,696 21,690 15,751 10,056 4,645 2,977
Brun-Titchmarsh 30,137,225 1,272,083 211,046 155,555 137,756 135,599 58,863 25,351 19,785 14,358 9,118 4,167 2,648
First Montgomery-Vaughan 196,729

196,719

145,711

145,461

128,971 55,149 24,012 18,768 13,696 8,448 3,959 2,558

* indicates that the widths listed are the best known tuples that have been found by the methods that gave the entries for larger values of [math]k_0[/math], but are not as narrow as the literally best known tuples (due to Engelsma).

The Schinzel tuples were generated with [math]y=2[/math] using an optimally chosen interval (the interval is not in every case guaranteed to be optimal, particularly for larger values of [math]k_0[/math], but it is believed to be so).

The greedy-Schinzel tuples were generated by breaking ties downward in every case, as in Sutherland's original greedy-greedy algorithm (and the optimal interval was selected on this basis). As noted by Castryck, breaking ties upward may produce better results in some cases. As with the Schinzel tuples, the chosen intervals are not guaranteed to be optimal but are believed to be so.