Finding optimal k0 values

From Polymath1Wiki

(Difference between revisions)
Jump to: navigation, search
(Benchmarks)
(Benchmarks)
Line 65: Line 65:
| 5446
| 5446
| [http://www.cs.cmu.edu/~xfxie/project/admissible/k0/sol_varpi348_5447.mpl 5447]
| [http://www.cs.cmu.edu/~xfxie/project/admissible/k0/sol_varpi348_5447.mpl 5447]
-
| 2.8733352E-03
+
| 2.8733351E-03
-
| 1.1670730E-06
+
| 1.1672627E-06
-
| 1.4955362E-03
+
| 1.4961657E-03
| 2559.258877
| 2559.258877
-
| 5.63E-09
+
| 5.59E-09
-
| 1.52E-12
+
| 1.50E-12
-
| 8.54E-11
+
| 6.02E-11
-
| -1.1881E-06
+
| -1.1882E-06
|-
|-
| 168
| 168

Revision as of 00:14, 10 September 2013

This is a sub-page for the Polymath8 project "bounded gaps between primes".

  • ~k_0~ is a quantity such that every admissible ~k_0-tuple has infinitely many translates which each contain at least two primes. Would like to be as small as possible.
  • \text{MPZ}^{(i)}[\varpi,\delta] holds for some combinations of c_\varpi, c_\delta, and ~i~ values, where i \ge 1 means ~i-tuply densely divisible, c_\varpi > 0 and ~c_\delta > 0~ are constants in the constraint on \varpi and ~\delta~, such that c_{\varpi}\varpi+c_{\delta}\delta<1.

Benchmarks

Demonstration results at k_0 = k_0^{opt} for the best currently known instances of c_\varpi, c_\delta, i values.
Instance k_0^{*} ~k_0~ Parameters Error Terms Comment
c_{\varpi} ~c_{\delta}~ ~i~ \varpi ~\delta~ ~\delta'~ ~A~ ~\kappa_1~ ~\kappa_2~ ~\kappa_3~
168 48 2 1781 1783 5.950000E-03 1E-05 1/300 800 6.662E-07 5.209E-09 8.340E-47 Without Deligne's theorem
600/7 180/7 4 630 632 1.163666E-02 1E-04 1/105 200 6.445E-06 1.752E-08 7.018E-08 With Deligne's theorem
Optimal results at k_0 = k_0^{opt} for some instances of c_\varpi, c_\delta, i values.
Instance k_0^{*} ~k_0~ Parameters Error Terms Objective
c_{\varpi} ~c_{\delta}~ ~i~ \varpi ~\delta~ ~\delta'~ ~A~ ~\kappa_1~ ~\kappa_2~ ~\kappa_3~
348 68 1 5446 5447 2.8733351E-03 1.1672627E-06 1.4961657E-03 2559.258877 5.59E-09 1.50E-12 6.02E-11 -1.1882E-06
168 48 2 1781 1783 5.9495534E-03 9.8965035E-06 3.7117059E-03 757.8242621 1.58E-07 3.24E-10 3.65E-09 -5.9684E-06
148 33 1 1465 1466 6.7542244E-03 1.1357314E-05 4.7101572E-03 626.6135921 8.79E-08 8.57E-11 3.63E-09 -2.2867E-06
140 32 1 1345 1346 7.1398444E-03 1.3180858E-05 5.0540952E-03 577.7849932 1.10E-07 1.22E-10 4.75E-09 -6.7812E-06
116 30 1 1006 1007 8.6150244E-03 2.1905745E-05 6.4310210E-03 408.9674914 2.29E-07 3.76E-10 1.20E-08 -6.2561E-06
108 30 1 901 902 9.2518776E-03 2.6573843E-05 7.0318847E-03 359.6376563 3.08E-07 6.00E-10 1.76E-08 -1.0924E-05
280/3 80/3 2 719 720 1.0699851E-02 5.0521044E-05 8.0398983E-03 260.2624368 1.04E-06 4.98E-09 4.33E-08 -5.5687E-06
600/7 180/7 4 630 632 1.1639206E-02 9.1536798E-05 8.3866560E-03 194.5246551 3.01E-06 3.40E-08 9.89E-08 -5.0940E-06
"Failure" results at k_0=(k_0^{opt}-1) for some instances of c_\varpi, c_\delta, i values.
Instance k_0^{*} ~k_0~ Parameters Error Terms Objective
c_{\varpi} ~c_{\delta}~ ~i~ \varpi ~\delta~ ~\delta'~ ~A~ ~\kappa_1~ ~\kappa_2~ ~\kappa_3~
348 68 1 5446 5446 1.1666317E-02 1.1659847E-06 1.4881806E-03 2558.927043 6.15E-09 1.81E-12 1.34E-10 1.7560E-07
168 48 2 1781 1782 1.1663695E-02 9.9043741E-06 3.7130742E-03 757.3673135 1.59E-07 3.26E-10 3.21E-09 2.5064E-06
148 33 1 1465 1465 1.1663259E-02 1.1359571E-05 4.7002144E-03 625.1479808 9.16E-08 9.27E-11 3.28E-09 9.3639E-06
140 32 1 1345 1345 1.1662709E-02 1.3191723E-05 5.0558681E-03 568.1690873 1.11E-07 1.23E-10 4.94E-10 6.6030E-06
116 30 1 1006 1006 1.1660089E-02 2.1925014E-05 6.4287825E-03 408.5511082 2.33E-07 3.89E-10 1.24E-08 1.5183E-05
108 30 1 901 901 1.1658682E-02 2.6615167E-05 7.0404135E-03 359.5845846 3.08E-07 5.97E-10 1.68E-08 1.4703E-05
280/3 80/3 2 719 719 1.1651479E-02 5.0626919E-05 8.0520479E-03 259.8370595 1.04E-06 4.96E-09 4.46E-08 3.1365E-05
600/7 180/7 4 630 631 1.1639134E-02 9.1775130E-05 8.3989836E-03 193.9881059 3.02E-06 3.40E-08 1.00E-07 4.0614E-05

Lower Bounds

For each ~c_\varpi, a theoretical lower bound of ~k_0, called k_0^*, can be obtained by assuming that all error terms ~\kappa_1, ~\kappa_2, and ~\kappa_3 could be completely ignored. This table gives the computational results of k_0^* for c_\varpi < 87 .


~c_\varpi~ 0 1 2 3 4 5 6 7 8 9
80 566 577 588 599 611 622 633 - - -
70 460 470 481 491 502 512 523 533 544 555
60 362 372 381 391 400 410 420 430 440 450
50 273 281 290 299 307 316 325 334 343 353
40 193 200 208 216 223 231 239 248 256 264
30 123 129 136 143 149 156 163 171 178 185
20 65 70 76 81 87 92 98 104 110 117
10 22 26 30 33 38 42 46 51 55 60
00 - - - - 6 8 10 13 16 19
Personal tools