The Theory of Persistence

Mathematics · sieve & primes

PT mechanics of prime gaps: from sieve to prime numbers

The gaps are the dynamical field of the sieve.

When you sift the integers by crossing out multiples of 2, then 3, then 5… what survives are the prime numbers. And what we call a gap is simply the distance between two consecutive survivors. This page tells what the sieve teaches us, without assuming any advanced mathematical background.

The PT mathematical programme proposes a new reading: the sequence of gaps $g_n = p_{n+1} - p_n$ is not raw data, but the unique dynamical field of the sieve (theorem T0). From it emerge an exact angular law $\theta_p \sim \sqrt{2/p}$, a universal kernel $K_{PT}(u) = e^\gamma\, \omega(u)$ candidate for the window law, and a family of transforms (spectral, holonomic, decoherence) that reveal the hidden structure.

sieve survivors gaps window √x primes angles θ_p

In one sentence : prime numbers are not a primitive object — they are the ultimate survivors of a mechanics of constraints, and their gaps are the dynamical field that carries all of its information.

Technical reading : this page distinguishes by badge what belongs to classical mathematics from what is a contribution proper to the PT mathematical programme. Epistemic statuses: THM proved, DER derived, COND open.

Plain

Why talk about gaps?classical

Prime numbers are the integers that nothing divides except 1 and themselves: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29… They are the multiplicative bricks of the integers. Every integer decomposes uniquely as a product of primes: this is the fundamental theorem of arithmetic.

What makes primes fascinating is their irregular distribution. Between two consecutive primes, the gap can be 2 (twins: 11–13, 17–19), 4 (7–11), 6 (23–29), or several hundred for very large numbers. No simple formula gives the n-th prime, and nobody knows how to predict the next gap exactly.

And yet, on average, primes obey laws. The Prime Number Theorem says that around $x$, the average space between two primes is roughly $\log x$. The gaps grow, but slowly.

This tension — local irregularity, global regularity — sits at the heart of number theory. It is also at the heart of modern cryptography: RSA relies entirely on the difficulty of factoring a product of two large primes.

Plain

The sieve of Eratosthenes, in practiceclassical

Around 240 BC, Eratosthenes proposed a mechanical recipe to find every prime up to a given number. It is the first sieve in history — and the word is taken literally: we are sifting.

  1. Write down the integers from 2 to N.
  2. Keep 2, cross out its multiples 4, 6, 8…
  3. Keep 3, cross out its multiples 9, 15, 21…
  4. Keep 5, cross out its multiples 25, 35…
  5. Continue with the smallest non-crossed number, up to $\sqrt{N}$.

What remains are the primes. The sieve is exact, but expensive for large $N$. Above all, it gives no closed formula: you have to "run the sieve" to know.

Sieve up to 50 — primes in green, composites in light grey

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

1 is in orange: neither prime nor really composite — it is the multiplicative unit, the only absolute fixed point of the sieve.

Plain

A gap is first a distance between survivorsclassical

Picture the numbers from 1 to 30 lined up along a road. Erase all multiples of 2: the odd numbers remain. Erase the multiples of 3: there remain 1, 5, 7, 11, 13, 17, 19, 23, 25, 29. Erase the multiples of 5: there remain 1, 7, 11, 13, 17, 19, 23, 29. Eight survivors out of thirty.

The gaps between them are 6, 4, 2, 4, 2, 4, 6, 2. This sequence was not invented — it is what the sieve has left behind. And it is palindromic: read backwards, it gives the same thing. This is the geometric signature left by the three primes 2, 3, 5 acting in parallel.

This idea — the discrete as survivance, not as an ingredient placed in advance — is what the PT mathematical programme generalises.

Survivors modulo 30

1 5 10 15 20 25 30 1 7 11 13 17 19 23 29 6 4 2 4 2 4 6 2 gaps are produced by persistent positions
Plain

Primes are not distributed at randomclassical

In 1963, Stanisław Ulam doodled during a boring conference: he wound the integers in a square spiral starting from 1, and marked the primes. Instead of appearing at random, primes visibly line up along diagonals. No theorem says this should happen — the spiral is just an arbitrary way of laying the integers out. And yet, the pattern is there.

A few years later, Robert Sacks proposed another layout: wind the integers along an Archimedes spiral, making each perfect square (1, 4, 9, 16, 25…) line up on a single half-line. The result reveals smooth curves instead of fragmented diagonals: polynomial families (such as Euler's formula n² + n + 41) become continuous arcs.

The fact that the same hidden structure appears under two very different layouts shows that this is no graphical artefact. It is a real signature of the primes. The PT mathematical programme proposes several ways to make it readable — turning the sequence of primes into a spectral signal, into angles on a circle, or into an entropy distribution. These transforms are detailed below.

Ulam spiral (1963) — square grid

Integers 1 to 10,000, of which 1,229 are prime (blue).

2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97 101 103 107 109 113 127 131 137 139 149 151 157 163 167 173 179 181 191 193 197 199 211 223 227 229 233 239 241 251 257 263 269 271 277 281 283 293 307 311 313 317 331 337 347 349 353 359 367 373 379 383 389 397 401 409 419 421 431 433 439 443 449 457 461 463 467 479 487 491 499 503 509 521 523 541 547 557 563 569 571 577 587 593 599 601 607 613 617 619 631 641 643 647 653 659 661 673 677 683 691 701 709 719 727 733 739 743 751 757 761 769 773 787 797 809 811 821 823 827 829 839 853 857 859 863 877 881 883 887 907 911 919 929 937 941 947 953 967 971 977 983 991 997 1009 1013 1019 1021 1031 1033 1039 1049 1051 1061 1063 1069 1087 1091 1093 1097 1103 1109 1117 1123 1129 1151 1153 1163 1171 1181 1187 1193 1201 1213 1217 1223 1229 1231 1237 1249 1259 1277 1279 1283 1289 1291 1297 1301 1303 1307 1319 1321 1327 1361 1367 1373 1381 1399 1409 1423 1427 1429 1433 1439 1447 1451 1453 1459 1471 1481 1483 1487 1489 1493 1499 1511 1523 1531 1543 1549 1553 1559 1567 1571 1579 1583 1597 1601 1607 1609 1613 1619 1621 1627 1637 1657 1663 1667 1669 1693 1697 1699 1709 1721 1723 1733 1741 1747 1753 1759 1777 1783 1787 1789 1801 1811 1823 1831 1847 1861 1867 1871 1873 1877 1879 1889 1901 1907 1913 1931 1933 1949 1951 1973 1979 1987 1993 1997 1999 2003 2011 2017 2027 2029 2039 2053 2063 2069 2081 2083 2087 2089 2099 2111 2113 2129 2131 2137 2141 2143 2153 2161 2179 2203 2207 2213 2221 2237 2239 2243 2251 2267 2269 2273 2281 2287 2293 2297 2309 2311 2333 2339 2341 2347 2351 2357 2371 2377 2381 2383 2389 2393 2399 2411 2417 2423 2437 2441 2447 2459 2467 2473 2477 2503 2521 2531 2539 2543 2549 2551 2557 2579 2591 2593 2609 2617 2621 2633 2647 2657 2659 2663 2671 2677 2683 2687 2689 2693 2699 2707 2711 2713 2719 2729 2731 2741 2749 2753 2767 2777 2789 2791 2797 2801 2803 2819 2833 2837 2843 2851 2857 2861 2879 2887 2897 2903 2909 2917 2927 2939 2953 2957 2963 2969 2971 2999 3001 3011 3019 3023 3037 3041 3049 3061 3067 3079 3083 3089 3109 3119 3121 3137 3163 3167 3169 3181 3187 3191 3203 3209 3217 3221 3229 3251 3253 3257 3259 3271 3299 3301 3307 3313 3319 3323 3329 3331 3343 3347 3359 3361 3371 3373 3389 3391 3407 3413 3433 3449 3457 3461 3463 3467 3469 3491 3499 3511 3517 3527 3529 3533 3539 3541 3547 3557 3559 3571 3581 3583 3593 3607 3613 3617 3623 3631 3637 3643 3659 3671 3673 3677 3691 3697 3701 3709 3719 3727 3733 3739 3761 3767 3769 3779 3793 3797 3803 3821 3823 3833 3847 3851 3853 3863 3877 3881 3889 3907 3911 3917 3919 3923 3929 3931 3943 3947 3967 3989 4001 4003 4007 4013 4019 4021 4027 4049 4051 4057 4073 4079 4091 4093 4099 4111 4127 4129 4133 4139 4153 4157 4159 4177 4201 4211 4217 4219 4229 4231 4241 4243 4253 4259 4261 4271 4273 4283 4289 4297 4327 4337 4339 4349 4357 4363 4373 4391 4397 4409 4421 4423 4441 4447 4451 4457 4463 4481 4483 4493 4507 4513 4517 4519 4523 4547 4549 4561 4567 4583 4591 4597 4603 4621 4637 4639 4643 4649 4651 4657 4663 4673 4679 4691 4703 4721 4723 4729 4733 4751 4759 4783 4787 4789 4793 4799 4801 4813 4817 4831 4861 4871 4877 4889 4903 4909 4919 4931 4933 4937 4943 4951 4957 4967 4969 4973 4987 4993 4999 5003 5009 5011 5021 5023 5039 5051 5059 5077 5081 5087 5099 5101 5107 5113 5119 5147 5153 5167 5171 5179 5189 5197 5209 5227 5231 5233 5237 5261 5273 5279 5281 5297 5303 5309 5323 5333 5347 5351 5381 5387 5393 5399 5407 5413 5417 5419 5431 5437 5441 5443 5449 5471 5477 5479 5483 5501 5503 5507 5519 5521 5527 5531 5557 5563 5569 5573 5581 5591 5623 5639 5641 5647 5651 5653 5657 5659 5669 5683 5689 5693 5701 5711 5717 5737 5741 5743 5749 5779 5783 5791 5801 5807 5813 5821 5827 5839 5843 5849 5851 5857 5861 5867 5869 5879 5881 5897 5903 5923 5927 5939 5953 5981 5987 6007 6011 6029 6037 6043 6047 6053 6067 6073 6079 6089 6091 6101 6113 6121 6131 6133 6143 6151 6163 6173 6197 6199 6203 6211 6217 6221 6229 6247 6257 6263 6269 6271 6277 6287 6299 6301 6311 6317 6323 6329 6337 6343 6353 6359 6361 6367 6373 6379 6389 6397 6421 6427 6449 6451 6469 6473 6481 6491 6521 6529 6547 6551 6553 6563 6569 6571 6577 6581 6599 6607 6619 6637 6653 6659 6661 6673 6679 6689 6691 6701 6703 6709 6719 6733 6737 6761 6763 6779 6781 6791 6793 6803 6823 6827 6829 6833 6841 6857 6863 6869 6871 6883 6899 6907 6911 6917 6947 6949 6959 6961 6967 6971 6977 6983 6991 6997 7001 7013 7019 7027 7039 7043 7057 7069 7079 7103 7109 7121 7127 7129 7151 7159 7177 7187 7193 7207 7211 7213 7219 7229 7237 7243 7247 7253 7283 7297 7307 7309 7321 7331 7333 7349 7351 7369 7393 7411 7417 7433 7451 7457 7459 7477 7481 7487 7489 7499 7507 7517 7523 7529 7537 7541 7547 7549 7559 7561 7573 7577 7583 7589 7591 7603 7607 7621 7639 7643 7649 7669 7673 7681 7687 7691 7699 7703 7717 7723 7727 7741 7753 7757 7759 7789 7793 7817 7823 7829 7841 7853 7867 7873 7877 7879 7883 7901 7907 7919 7927 7933 7937 7949 7951 7963 7993 8009 8011 8017 8039 8053 8059 8069 8081 8087 8089 8093 8101 8111 8117 8123 8147 8161 8167 8171 8179 8191 8209 8219 8221 8231 8233 8237 8243 8263 8269 8273 8287 8291 8293 8297 8311 8317 8329 8353 8363 8369 8377 8387 8389 8419 8423 8429 8431 8443 8447 8461 8467 8501 8513 8521 8527 8537 8539 8543 8563 8573 8581 8597 8599 8609 8623 8627 8629 8641 8647 8663 8669 8677 8681 8689 8693 8699 8707 8713 8719 8731 8737 8741 8747 8753 8761 8779 8783 8803 8807 8819 8821 8831 8837 8839 8849 8861 8863 8867 8887 8893 8923 8929 8933 8941 8951 8963 8969 8971 8999 9001 9007 9011 9013 9029 9041 9043 9049 9059 9067 9091 9103 9109 9127 9133 9137 9151 9157 9161 9173 9181 9187 9199 9203 9209 9221 9227 9239 9241 9257 9277 9281 9283 9293 9311 9319 9323 9337 9341 9343 9349 9371 9377 9391 9397 9403 9413 9419 9421 9431 9433 9437 9439 9461 9463 9467 9473 9479 9491 9497 9511 9521 9533 9539 9547 9551 9587 9601 9613 9619 9623 9629 9631 9643 9649 9661 9677 9679 9689 9697 9719 9721 9733 9739 9743 9749 9767 9769 9781 9787 9791 9803 9811 9817 9829 9833 9839 9851 9857 9859 9871 9883 9887 9901 9907 9923 9929 9931 9941 9949 9967 9973

The diagonals reveal that certain quadratic polynomials concentrate an anomalous density of primes.

Sacks spiral (1994) — Archimedean

Same 10,000 integers, 1,229 primes. Each perfect square sits on the right horizontal axis.

2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97 101 103 107 109 113 127 131 137 139 149 151 157 163 167 173 179 181 191 193 197 199 211 223 227 229 233 239 241 251 257 263 269 271 277 281 283 293 307 311 313 317 331 337 347 349 353 359 367 373 379 383 389 397 401 409 419 421 431 433 439 443 449 457 461 463 467 479 487 491 499 503 509 521 523 541 547 557 563 569 571 577 587 593 599 601 607 613 617 619 631 641 643 647 653 659 661 673 677 683 691 701 709 719 727 733 739 743 751 757 761 769 773 787 797 809 811 821 823 827 829 839 853 857 859 863 877 881 883 887 907 911 919 929 937 941 947 953 967 971 977 983 991 997 1009 1013 1019 1021 1031 1033 1039 1049 1051 1061 1063 1069 1087 1091 1093 1097 1103 1109 1117 1123 1129 1151 1153 1163 1171 1181 1187 1193 1201 1213 1217 1223 1229 1231 1237 1249 1259 1277 1279 1283 1289 1291 1297 1301 1303 1307 1319 1321 1327 1361 1367 1373 1381 1399 1409 1423 1427 1429 1433 1439 1447 1451 1453 1459 1471 1481 1483 1487 1489 1493 1499 1511 1523 1531 1543 1549 1553 1559 1567 1571 1579 1583 1597 1601 1607 1609 1613 1619 1621 1627 1637 1657 1663 1667 1669 1693 1697 1699 1709 1721 1723 1733 1741 1747 1753 1759 1777 1783 1787 1789 1801 1811 1823 1831 1847 1861 1867 1871 1873 1877 1879 1889 1901 1907 1913 1931 1933 1949 1951 1973 1979 1987 1993 1997 1999 2003 2011 2017 2027 2029 2039 2053 2063 2069 2081 2083 2087 2089 2099 2111 2113 2129 2131 2137 2141 2143 2153 2161 2179 2203 2207 2213 2221 2237 2239 2243 2251 2267 2269 2273 2281 2287 2293 2297 2309 2311 2333 2339 2341 2347 2351 2357 2371 2377 2381 2383 2389 2393 2399 2411 2417 2423 2437 2441 2447 2459 2467 2473 2477 2503 2521 2531 2539 2543 2549 2551 2557 2579 2591 2593 2609 2617 2621 2633 2647 2657 2659 2663 2671 2677 2683 2687 2689 2693 2699 2707 2711 2713 2719 2729 2731 2741 2749 2753 2767 2777 2789 2791 2797 2801 2803 2819 2833 2837 2843 2851 2857 2861 2879 2887 2897 2903 2909 2917 2927 2939 2953 2957 2963 2969 2971 2999 3001 3011 3019 3023 3037 3041 3049 3061 3067 3079 3083 3089 3109 3119 3121 3137 3163 3167 3169 3181 3187 3191 3203 3209 3217 3221 3229 3251 3253 3257 3259 3271 3299 3301 3307 3313 3319 3323 3329 3331 3343 3347 3359 3361 3371 3373 3389 3391 3407 3413 3433 3449 3457 3461 3463 3467 3469 3491 3499 3511 3517 3527 3529 3533 3539 3541 3547 3557 3559 3571 3581 3583 3593 3607 3613 3617 3623 3631 3637 3643 3659 3671 3673 3677 3691 3697 3701 3709 3719 3727 3733 3739 3761 3767 3769 3779 3793 3797 3803 3821 3823 3833 3847 3851 3853 3863 3877 3881 3889 3907 3911 3917 3919 3923 3929 3931 3943 3947 3967 3989 4001 4003 4007 4013 4019 4021 4027 4049 4051 4057 4073 4079 4091 4093 4099 4111 4127 4129 4133 4139 4153 4157 4159 4177 4201 4211 4217 4219 4229 4231 4241 4243 4253 4259 4261 4271 4273 4283 4289 4297 4327 4337 4339 4349 4357 4363 4373 4391 4397 4409 4421 4423 4441 4447 4451 4457 4463 4481 4483 4493 4507 4513 4517 4519 4523 4547 4549 4561 4567 4583 4591 4597 4603 4621 4637 4639 4643 4649 4651 4657 4663 4673 4679 4691 4703 4721 4723 4729 4733 4751 4759 4783 4787 4789 4793 4799 4801 4813 4817 4831 4861 4871 4877 4889 4903 4909 4919 4931 4933 4937 4943 4951 4957 4967 4969 4973 4987 4993 4999 5003 5009 5011 5021 5023 5039 5051 5059 5077 5081 5087 5099 5101 5107 5113 5119 5147 5153 5167 5171 5179 5189 5197 5209 5227 5231 5233 5237 5261 5273 5279 5281 5297 5303 5309 5323 5333 5347 5351 5381 5387 5393 5399 5407 5413 5417 5419 5431 5437 5441 5443 5449 5471 5477 5479 5483 5501 5503 5507 5519 5521 5527 5531 5557 5563 5569 5573 5581 5591 5623 5639 5641 5647 5651 5653 5657 5659 5669 5683 5689 5693 5701 5711 5717 5737 5741 5743 5749 5779 5783 5791 5801 5807 5813 5821 5827 5839 5843 5849 5851 5857 5861 5867 5869 5879 5881 5897 5903 5923 5927 5939 5953 5981 5987 6007 6011 6029 6037 6043 6047 6053 6067 6073 6079 6089 6091 6101 6113 6121 6131 6133 6143 6151 6163 6173 6197 6199 6203 6211 6217 6221 6229 6247 6257 6263 6269 6271 6277 6287 6299 6301 6311 6317 6323 6329 6337 6343 6353 6359 6361 6367 6373 6379 6389 6397 6421 6427 6449 6451 6469 6473 6481 6491 6521 6529 6547 6551 6553 6563 6569 6571 6577 6581 6599 6607 6619 6637 6653 6659 6661 6673 6679 6689 6691 6701 6703 6709 6719 6733 6737 6761 6763 6779 6781 6791 6793 6803 6823 6827 6829 6833 6841 6857 6863 6869 6871 6883 6899 6907 6911 6917 6947 6949 6959 6961 6967 6971 6977 6983 6991 6997 7001 7013 7019 7027 7039 7043 7057 7069 7079 7103 7109 7121 7127 7129 7151 7159 7177 7187 7193 7207 7211 7213 7219 7229 7237 7243 7247 7253 7283 7297 7307 7309 7321 7331 7333 7349 7351 7369 7393 7411 7417 7433 7451 7457 7459 7477 7481 7487 7489 7499 7507 7517 7523 7529 7537 7541 7547 7549 7559 7561 7573 7577 7583 7589 7591 7603 7607 7621 7639 7643 7649 7669 7673 7681 7687 7691 7699 7703 7717 7723 7727 7741 7753 7757 7759 7789 7793 7817 7823 7829 7841 7853 7867 7873 7877 7879 7883 7901 7907 7919 7927 7933 7937 7949 7951 7963 7993 8009 8011 8017 8039 8053 8059 8069 8081 8087 8089 8093 8101 8111 8117 8123 8147 8161 8167 8171 8179 8191 8209 8219 8221 8231 8233 8237 8243 8263 8269 8273 8287 8291 8293 8297 8311 8317 8329 8353 8363 8369 8377 8387 8389 8419 8423 8429 8431 8443 8447 8461 8467 8501 8513 8521 8527 8537 8539 8543 8563 8573 8581 8597 8599 8609 8623 8627 8629 8641 8647 8663 8669 8677 8681 8689 8693 8699 8707 8713 8719 8731 8737 8741 8747 8753 8761 8779 8783 8803 8807 8819 8821 8831 8837 8839 8849 8861 8863 8867 8887 8893 8923 8929 8933 8941 8951 8963 8969 8971 8999 9001 9007 9011 9013 9029 9041 9043 9049 9059 9067 9091 9103 9109 9127 9133 9137 9151 9157 9161 9173 9181 9187 9199 9203 9209 9221 9227 9239 9241 9257 9277 9281 9283 9293 9311 9319 9323 9337 9341 9343 9349 9371 9377 9391 9397 9403 9413 9419 9421 9431 9433 9437 9439 9461 9463 9467 9473 9479 9491 9497 9511 9521 9533 9539 9547 9551 9587 9601 9613 9619 9623 9629 9631 9643 9649 9661 9677 9679 9689 9697 9719 9721 9733 9739 9743 9749 9767 9769 9781 9787 9791 9803 9811 9817 9829 9833 9839 9851 9857 9859 9871 9883 9887 9901 9907 9923 9929 9931 9941 9949 9967 9973

The smooth curves correspond to polynomial families — the large outer arch is Euler's formula n² + n + 41.

proved

Gaps are a signature

Sifting produces a sequence of distances between survivors. This sequence is the trace of the sieve — not an extra object.

proved

At the root, survivors are the primes

If you sift down to the square root of a number, what survives can no longer be composite: it is necessarily 1 or a prime.

open

The mystery of the next gap

Nobody, to this day, knows how to say in advance what the next gap between two consecutive primes will be without already knowing those primes. This is the open object of the entire theory.

Plain

Three mysteries that remain openclassical

Despite 2500 years of study and every modern tool — complex analysis, advanced sieves, computers — the simplest questions about prime gaps still resist. Here are the three great open ones.

conjecture

Twin primes

It is conjectured that there exist infinitely many pairs (p, p+2) both prime (3-5, 5-7, 11-13, 17-19, 29-31…). Open since antiquity.

conjecture

Cramér conjecture

The largest gap between consecutive primes up to x should be ~ (log x)². Verified up to x ≈ 10^{19}, never proved.

conjecture

Goldbach conjecture

Every even integer > 2 is a sum of two primes. Verified up to 4 × 10^{18}, open since 1742.

Standard

2,500 years of history in ten milestonesclassical

The problem of primes has shaped a large part of modern mathematics: complex analysis (Riemann), analytic number theory (Hardy–Littlewood), combinatorial sieves (Brun, Selberg), and more recently additive methods (Maynard–Tao, Polymath).

−240
origin
Eratosthenes

The sieve: cross out the multiples of 2, 3, 5, 7… The first known algorithm for enumerating primes.

1737
bridge
Euler

The identity ζ(s) = ∏(1 − p^{−s})^{−1}: the zeta function as an Eulerian product over primes. The bridge between additive and multiplicative is open.

1859
conjecture
Riemann

On the zeros of ζ(s). The Riemann Hypothesis ties the distribution of primes to the critical zeros. Open ever since.

1874
theorem
Mertens

∏_{p≤y}(1 − 1/p) ~ e^{−γ} / log y. Gives the exact rate at which survivors thin out.

1896
theorem
Hadamard / de la Vallée Poussin

Prime Number Theorem: π(x) ~ x / log x. Proved independently, without RH.

1919
sieve
Brun

Modern combinatorial sieve: the sum ∑ 1/p over twin primes converges. Introduction of theoretical sieve methods.

1937
theorem
Vinogradov

Every sufficiently large odd integer is a sum of three primes (weak Goldbach conjecture).

1947
sieve
Selberg

Λ²-sieve and elementary proof of the Prime Number Theorem (Erdős, in parallel).

2013
breakthrough
Zhang / Polymath8

Bounded gaps between consecutive primes: there exist infinitely many pairs (p, q) of primes with q − p ≤ 246.

2014
breakthrough
Maynard / Tao

Explicit bound in O(m³ exp(4m)) on the minimum gap for m consecutive primes. Admissible m-tuple sieves.

Standard

Mertens: the rate at which survivors thin outclassical

How many integers survive a sieve of depth $y$? The naive density is the truncated Eulerian product:

$V(y) = \prod_{p \leq y} \left(1 - \dfrac{1}{p}\right)$

Mertens (1874) proved the exact asymptotic:

$V(y) \sim \dfrac{e^{-\gamma}}{\log y}$

where $\gamma \approx 0.5772$ is the Euler–Mascheroni constant. The factor $e^{-\gamma} \approx 0.5615$ appears everywhere in sieves — it is the fundamental proportionality coefficient between naive and observed density.

For PT, $e^\gamma$ is exactly the prefactor of the universal kernel $K_{PT}(u) = e^\gamma \omega(u)$ (see L3 below, PT mathematical programme).

Survival density in practice

$y$ $V(y)$ $e^{-\gamma}/\log y$
100.22950.2438
1000.12030.1219
1,0000.08130.0813
10,0000.06100.0610
100,0000.04880.0488

Convergence is fast: at $y = 1000$, the relative error is already below 0.1%.

Standard

Distribution π(x): the Prime Number Theoremclassical

$\pi(x) = $ number of primes $\leq x$. The Prime Number Theorem (Hadamard, de la Vallée Poussin, 1896) establishes that:

$\pi(x) \sim \dfrac{x}{\log x}$

A much sharper approximation is given by the logarithmic integral:

$\mathrm{Li}(x) = \int_2^x \dfrac{dt}{\log t}$

The discrepancy $\pi(x) - \mathrm{Li}(x)$ changes sign infinitely often (Littlewood, 1914), even though numerically $\pi(x) < \mathrm{Li}(x)$ for every $x$ up to the first crossover, estimated around $10^{316}$ (Skewes' number).

π(x), x/log(x), Li(x) — exact values

10^1 10^2 10^3 10^4 10^5 10^6 10^7 10^8 0% 25% 50% 75% 100% exact π(x)/x x/log(x) / x Li(x)/x Density of primes: π(x)/x Li(x) approximates π(x) far better than x/log(x) — relative gap < 0.01% at 10⁸
Standard

The key point: the square-root windowclassical

Let $S(x;y)$ denote the number of integers $n \leq x$ divisible by no prime $\leq y$. If we choose $y = \lfloor\sqrt{x}\rfloor$, then no composite can survive: it necessarily has a prime divisor $\leq \sqrt{n} \leq \sqrt{x}$.

The survivors are therefore exactly 1 and the primes in the interval $(\sqrt{x}, x]$. We obtain:

$\pi(x) = S(x; \lfloor\sqrt{x}\rfloor) + \pi(\lfloor\sqrt{x}\rfloor) - 1$

This formula changes the problem: understanding the distribution of primes amounts to understanding a finite-window survival law.

What PT shifts

  1. 1. First build the sieve survivors.
  2. 2. Read their gaps as persistence gaps.
  3. 3. Move to the $\sqrt{x}$ window.
  4. 4. Recover primes as ultimate survivors.
Standard

Primorial wheels: why 30, 210, 2310…classical

To enumerate primes efficiently, one does not work with the integers one by one. One uses a wheel: a cycle of residues coprime to a primorial $p_k\# = 2 \cdot 3 \cdot 5 \cdots p_k$.

  • Wheel mod 6 ($2 \cdot 3$): 2 residues {1, 5}, period 6.
  • Wheel mod 30 ($2 \cdot 3 \cdot 5$): 8 residues {1, 7, 11, 13, 17, 19, 23, 29}, period 30.
  • Wheel mod 210 ($2 \cdot 3 \cdot 5 \cdot 7$): 48 residues, period 210.
  • Wheel mod 2310: 480 residues, period 2310.

The number of residues is $\varphi(p_k\#) = p_k\# \prod (1 - 1/p)$. The larger the wheel, the lower the survivor density (and the more efficient each step).

For PT, these wheels are the arithmetic tori $\mathbb{T}^k = \mathbb{Z}/p_1 \times \cdots \times \mathbb{Z}/p_k$ via the Chinese remainder theorem (CRT). The active PT torus is $\mathbb{T}^3 = \mathbb{Z}/3 \times \mathbb{Z}/5 \times \mathbb{Z}/7$ — precisely the wheel mod 105 — and underpins the attractor $\mu^* = 15$.

Standard · bridge with PT

T0: the gap sequence is the unique dynamical field of the sievePT contribution

PT theorem T0 (closure of axiom BA0) states: under four closure conditions (U1 automorphic invariance, U2 finiteness, U3 genericity, U4 exclusion of $p = 2$ as a dynamical cascade prime), the sequence $\{g_n\}$ of gaps between consecutive primes is the unique dynamical field of the sieve.

Any other sequence invariant under the automorphisms of the sieve reduces to $\{g_n\}$ up to a trivial renormalisation. This structurally closes bridge BA0: "the dynamical field of PT, identified with $\{g_n\}$, is the object from which all of physics is reconstructed."

Consequence

Prime gaps are not one object of study among others: they are the object. This is why this page sits at the heart of the mathematical part of the site, at the root of the principle → cascade → observables path.

Technical

Formulas of the mechanicsclassical

Finite-torus density

exact
$\varphi(M_A)=M_A\prod_{p\in A}(1-1/p)$

Over a full sieve period, each active prime removes exactly its local collapse direction.

Square-root window

exact
$S(x;\lfloor\sqrt{x}\rfloor)=1+\pi(x)-\pi(\lfloor\sqrt{x}\rfloor)$

At this depth, to survive means to be 1 or prime: every composite already has a visible divisor.

Survivor transport

exact
$\Phi(x,a)=\Phi(x,a-1)-\Phi(\lfloor x/p_a\rfloor,a-1)$

Adding a prime does not merely multiply a density: it transports the problem to a contracted window.

PT-Buchstab kernel

candidate
$K_{PT}(u)=e^\gamma\,\omega(u),\quad u=\log x/\log y$

Natural candidate for the universal rough-survivor law, with the square-root endpoint $K_{PT}(2)=e^\gamma/2$.

Technical

The cubic thresholdclassical

In the exact transport equation, the contracted window $\lfloor x/p_a\rfloor$ has its own native depth. Once $p_a^3 > x$, this window is already sieved beyond its native square-root threshold. The transported term then becomes essentially a prime-boundary term.

$x^{1/3} < p \leq x^{1/2}$: natural window/boundary distortion band.
Technical · PT contribution

Renormalised PT-Buchstab equationPT contribution

The programme starts from the classical Buchstab function $\omega(u)$ — defined by $\omega(u) = 1/u$ for $u \in [1, 2]$ and $(u\omega(u))' = \omega(u-1)$ for $u > 2$ — then introduces the renormalised ratio.

BR1 — Exact prime-step transport

$\Phi_a(x) = \Phi_{a-1}(x) - \Phi_{a-1}\!\left(\lfloor x/p_a \rfloor\right)$

BR2 — Renormalised transport

$R_a(x) = \dfrac{R_{a-1}(x) - (\lfloor x/p_a \rfloor / x)\,R_{a-1}(\lfloor x/p_a \rfloor)}{1 - 1/p_a}$

BR4 — Candidate PT kernel

$K_{PT}(u) = e^\gamma \omega(u), \qquad u = \log x / \log y$

At the square-root point $u = 2$: $K_{PT}(2) = e^\gamma / 2 \approx 0.8905$. Numerical validation at $x = 10^6$: exact ratio $0.9675$, relative factor $1.086$; at $u = 4$, agreement to within $10^{-4}$. Status: universal candidate, open programme.

Technical · PT contribution

Exact angle law: θ_p ~ √(2/p)PT contribution

By placing each prime $p$ on the PT circle through its holonomy angle $\theta_p$, one discovers an exact law:

$\theta_p \sim \sqrt{2/p}, \qquad p\,\theta_p^2/2 \to 1$

Consequence on angular gaps. For two primes $p < q$:

$\theta_p - \theta_q \sim \sqrt{2/p} - \sqrt{2/q}$

For adjacent primes $p < p_{n+1}$:

$\Delta\theta(p, p_{n+1}) \sim \dfrac{p_{n+1} - p}{\sqrt{2}\, p^{3/2}}$

Reading: the PT circle turns prime gaps into much smaller angular gaps, by a rigid scaling law in $p^{-3/2}$. No second independent random law appears.

Numerical validation: for the differential square root, the observed median ratio is $1.00009$ for $p \geq 997$.

Distribution of angles θ_p

3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 μ* = 15 The larger p, the closer θ_p falls to 0 — as √(2/p) Primes placed on the PT circle by their angle θ_p
Technical · PT contribution

Shell regime blocks: geometric structure of outer primesPT contribution

Beyond the fundamental triplet {3, 5, 7}, the exploration of outer shells (probes attached to each prime $q$) reveals a non-trivial structure: the activation thresholds organise into regime blocks, not a monotone sequence.

Shell AT threshold Spectrum $(\Sigma_1, \Sigma_2, \Sigma_3, \Sigma_4)$ Regime
11 1 (4, 6, 4, 1) vertex
13 1 (4, 6, 4, 1) vertex
17 2 (0, 6, 4, 1) edge
19 2 (0, 6, 4, 1) edge
23 2 (0, 6, 4, 1) edge
29 3 (0, 0, 4, 1) triangle
31 3 (0, 0, 4, 1) triangle
37 3 (0, 0, 4, 1) triangle
41 1 (4, 6, 4, 1) vertex
43 1 (4, 6, 4, 1) vertex
47 1 (4, 6, 4, 1) vertex
53 1 (4, 6, 4, 1) vertex

Geometric reading. Each shell packet is a 4-vertex simplex. The AT threshold is the first dimension of face transverse to the observable quotient:

  • vertex (AT = 1): all vertices are already transverse;
  • edge (AT = 2): vertices tangent, edges transverse;
  • triangle (AT = 3): vertices and edges tangent, triangular faces transverse.

The blocks \{17, 19, 23\}$ (edge) and \{29, 31, 37\}$ (triangle) are the first non-trivial geometric signature of the derived branch of the sieve — they reveal a boundary structure that classical analysis does not capture.

Technical · PT contribution

PT tools relevant to the question of gapsPT contribution

The PT mathematical programme contains 32 computational tools (M01-M35). Here are the six most directly tied to the mechanics of prime gaps. For the full catalogue with detailed entries, see the PT toolbox atlas.

Full catalogue

32 PT mathematical tools, 659/659 tests PASS

Open the PT toolbox atlas →
Technical · synthesis

What is closed, what remains open

Closed (THM)

  • Finite-torus density (Mertens 1874).
  • Reconstruction identity for $\pi(x)$ via the square-root window.
  • Exact prime-step transport $\Phi_a(x)$ (PT mathematical programme — transport BR1).
  • Cubic threshold $x^{1/3} < p \leq x^{1/2}$ as window/boundary distortion band.
  • T0 (PT): $\{g_n\}$ as unique dynamical field of the sieve.
  • 32 tools of the PT mathematical programme (M01-M35), 659/659 numerical tests.
  • Law $\theta_p \sim \sqrt{2/p}$ (PT mathematical programme), validated up to $p \approx 5000$.

Open (COND / candidate)

  • Closed window law — kernel $K_{PT}(u) = e^\gamma \omega(u)$ candidate, partial validation, full derivation to be done.
  • Direct generative law of prime gaps ($p_{n+1} - p_n$ without knowing the primes).
  • Classical conjectures: twins, Cramér, Goldbach.
  • Riemann Hypothesis — PT proposes several routes (Liouville-sieve M02, Mertens propagation, Buchstab contraction) but no proof to date.
  • Full closure of shell regime blocks beyond 53.
  • Identification of the PT-Buchstab kernel with a zeta-style object (PT mathematical programme).

This page synthesises the PT mathematical programme: 35 tools (659/659 numerical tests), the shell programme, phase transport, and the renormalised PT-Buchstab equation. Epistemic statuses are distinguished by tag: THM proved, DER derived, COND/candidate open.