Théorie de la Persistance
Commencer ici En quelques mots Résultats
Mathématique
Principe fondamentalChaîne causaleGaps premiersThéorèmesAtlas des outils PTExplorations mathématiquesScripts
Physique
CosmogonieCosmologieTempsRelativitéGravité quantiqueNucléaire43 observablesCalculatricesAudit
Chimie
Tableau périodiqueÉnergies d’ionisationAffinités électroniquesBenchmark PTC
Atlas des théorèmesMonographieFormalisation Lean7 principesRecherchesConfirmations externesStatuts des résultatsDifficile à rejeterLimitesCritique & débatFAQGlossaireÀ proposContact English

Mathématique · crible & premiers

Mécanique PT des gaps : du crible aux nombres premiers

Les gaps sont le champ dynamique du crible.

Quand on tamise les nombres entiers en barrant les multiples de 2, puis 3, puis 5… ce qui survit, ce sont les nombres premiers. Et ce qu'on appelle un gap, c'est simplement la distance entre deux survivants consécutifs. Cette page raconte ce que le crible nous apprend, sans présupposer de connaissances mathématiques avancées.

Le programme mathématique PT propose une lecture nouvelle : la suite des écarts $g_n = p_{n+1} - p_n$ n'est pas une donnée brute, mais l'unique champ dynamique du crible (théorème T0). De là émergent une loi angulaire exacte $\theta_p \sim \sqrt{2/p}$, un noyau universel $K_{PT}(u) = e^\gamma\, \omega(u)$ candidat pour la loi de fenêtre, et une famille de transformées (spectrale, holonomique, de décohérence) qui révèlent la structure cachée.

crible survivants gaps fenêtre √x premiers angles θ_p

En une phrase : les nombres premiers ne sont pas un objet primitif — ils sont les survivants ultimes d'une mécanique de contraintes, et leurs gaps sont le champ dynamique qui en porte toute l'information.

Lecture technique : cette page distingue par badge ce qui appartient aux mathématiques classiques de ce qui est un apport propre du programme mathématique PT. Statuts épistémiques : THM démontré, DER dérivé, COND ouvert.

Simple

Pourquoi parler de gaps ?classique

Les nombres premiers sont les entiers que rien ne divise, à part 1 et eux-mêmes : 2, 3, 5, 7, 11, 13, 17, 19, 23, 29… Ils sont les briques multiplicatives des entiers. Tout entier se décompose en produit de premiers, et de manière unique : c'est le théorème fondamental de l'arithmétique.

Ce qui rend les premiers fascinants, c'est leur distribution irrégulière. Entre deux premiers consécutifs, il peut y avoir un gap de 2 (jumeaux : 11–13, 17–19), de 4 (7–11), de 6 (23–29), ou bien plusieurs centaines pour des nombres gigantesques. Aucune formule simple ne donne le n-ième premier, et personne ne sait prédire le prochain gap exactement.

Pourtant, en moyenne, les premiers obéissent à des lois. Le théorème des nombres premiers dit qu'autour de $x$, l'espace moyen entre deux premiers vaut environ $\log x$. Les gaps grossissent donc, mais lentement.

Cette tension — irrégularité locale, régularité globale — est au cœur de la théorie des nombres. Elle est aussi au cœur de la cryptographie moderne : RSA repose entièrement sur la difficulté de factoriser un produit de deux grands premiers.

Simple

Le crible d'Ératosthène, en pratiqueclassique

Vers 240 av. J.-C., Ératosthène propose une recette mécanique pour trouver tous les premiers jusqu'à un nombre donné. C'est le premier crible de l'histoire — et le mot est pris au sens littéral : on tamise.

  1. Écrire les entiers de 2 à N.
  2. Garder 2, barrer ses multiples 4, 6, 8…
  3. Garder 3, barrer ses multiples 9, 15, 21…
  4. Garder 5, barrer ses multiples 25, 35…
  5. Continuer avec le plus petit non-barré, jusqu'à $\sqrt{N}$.

Ce qui reste, ce sont les premiers. Le crible est exact, mais coûteux pour les grands $N$. Surtout, il ne donne pas de formule fermée : il faut « faire passer le tamis » pour savoir.

Crible jusqu'à 50 — premiers en vert, composites en gris clair

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 est en orange : ni premier, ni vraiment composite — c'est l'unité multiplicative, le seul point fixe absolu du crible.

Simple

Un gap est d'abord un écart entre survivantsclassique

Imaginez les nombres de 1 à 30 alignés sur une route. On efface tous les multiples de 2 : il reste les impairs. On efface les multiples de 3 : il reste 1, 5, 7, 11, 13, 17, 19, 23, 25, 29. On efface les multiples de 5 : il reste 1, 7, 11, 13, 17, 19, 23, 29. Huit survivants sur trente.

Les gaps entre eux sont 6, 4, 2, 4, 2, 4, 6, 2. Cette suite n'a pas été inventée — elle est ce que le crible a laissé. Et elle est palindromique : lue à l'envers, elle donne la même chose. C'est la signature géométrique laissée par les trois premiers 2, 3, 5 qui ont agi en parallèle.

C'est cette idée — le discret comme survivance, pas comme ingrédient posé d'avance — que le programme mathématique PT généralise.

Survivants 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 les gaps sont produits par les positions persistantes
Simple

Les premiers ne sont pas distribués au hasardclassique

En 1963, Stanisław Ulam griffonne pendant une conférence ennuyeuse : il enroule les entiers en spirale carrée à partir de 1, et marque les premiers. Au lieu d'apparaître au hasard, les premiers s'alignent visiblement sur des diagonales. Aucun théorème ne dit que ça doit arriver — la spirale n'est qu'une manière arbitraire de ranger les entiers. Pourtant, le motif est là.

Quelques années plus tard, Robert Sacks propose une autre mise en page : enrouler les entiers sur une spirale d'Archimède, en faisant coïncider chaque carré parfait (1, 4, 9, 16, 25…) sur une demi-droite. Le résultat révèle des courbes lisses au lieu de diagonales fragmentées : les familles polynomiales (comme la formule d'Euler n² + n + 41) deviennent des arcs continus.

Le fait que la même structure cachée apparaisse sous deux mises en page très différentes montre qu'il ne s'agit pas d'un artefact graphique. C'est une signature réelle des premiers. Le programme mathématique PT propose plusieurs façons de la rendre lisible — en transformant la suite des premiers en signal spectral, en angles sur un cercle, ou en distribution d'entropie. Ces transformées sont détaillées plus bas.

Spirale d'Ulam (1963) — grille carrée

Entiers 1 à 10 000, dont 1 229 premiers (bleus).

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

Les diagonales révèlent que certains polynômes du second degré concentrent une densité anormale de premiers.

Spirale de Sacks (1994) — Archimède

Mêmes 10 000 entiers, 1 229 premiers. Chaque carré parfait sur l'axe horizontal droit.

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

Les courbes lisses correspondent à des familles polynomiales — la grande arche extérieure est la formule d'Euler n² + n + 41.

démontré

Les gaps sont une signature

Tamiser produit une suite d'écarts entre survivants. Cette suite est la trace du crible — pas un objet posé en plus.

démontré

À la racine, les survivants sont les premiers

Si on tamise jusqu'à la racine carrée d'un nombre, ce qui survit ne peut plus être composite : c'est forcément 1 ou un nombre premier.

ouvert

Le mystère du gap suivant

Personne ne sait, à ce jour, dire à l'avance quel sera le prochain gap entre deux premiers consécutifs sans connaître ces premiers. C'est l'objet ouvert de toute la théorie.

Simple

Trois mystères qui restent ouvertsclassique

Malgré 2500 ans d'études et tous les outils modernes — analyse complexe, cribles avancés, ordinateurs — les questions les plus simples sur les gaps premiers résistent encore. Voici les trois grandes ouvertes.

conjecture

Premiers jumeaux

On conjecture qu'il existe une infinité de paires (p, p+2) toutes deux premières (3-5, 5-7, 11-13, 17-19, 29-31…). Ouvert depuis l'Antiquité.

conjecture

Conjecture de Cramér

Le plus grand gap entre premiers consécutifs jusqu'à x devrait être ~ (log x)². Vérifiée jusqu'à x ≈ 10^{19}, jamais prouvée.

conjecture

Conjecture de Goldbach

Tout entier pair > 2 est somme de deux premiers. Vérifiée jusqu'à 4 × 10^{18}, ouverte depuis 1742.

Standard

2 500 ans d'histoire en dix jalonsclassique

Le problème des premiers a structuré une grande partie des mathématiques modernes : analyse complexe (Riemann), théorie analytique des nombres (Hardy-Littlewood), cribles combinatoires (Brun, Selberg), et plus récemment les méthodes additives (Maynard-Tao, Polymath).

−240
origine
Ératosthène

Le crible : barrer les multiples de 2, 3, 5, 7… Premier algorithme connu pour énumérer les premiers.

1737
pont
Euler

Identité ζ(s) = ∏(1 − p^{−s})^{−1} : fonction zêta = produit eulérien sur les premiers. Le pont entre additif et multiplicatif est ouvert.

1859
conjecture
Riemann

Sur les zéros de ζ(s). L'hypothèse RH lie la distribution des premiers aux zéros critiques. Ouverte depuis.

1874
théorème
Mertens

∏_{p≤y}(1 − 1/p) ~ e^{−γ} / log y. Donne la vitesse exacte d'éclaircissement des survivants.

1896
théorème
Hadamard / de la Vallée Poussin

Théorème des nombres premiers : π(x) ~ x / log x. Indépendamment, sans RH.

1919
crible
Brun

Crible combinatoire moderne : la somme ∑ 1/p sur jumeaux converge. Introduction du sieve théorique.

1937
théorème
Vinogradov

Tout impair assez grand est somme de trois premiers (conjecture faible de Goldbach).

1947
crible
Selberg

Λ²-crible et preuve élémentaire du théorème des nombres premiers (Erdős, parallèlement).

2013
rupture
Zhang / Polymath8

Premiers consécutifs à distance bornée : ∃ infinité de paires (p, q) premiers avec q − p ≤ 246.

2014
rupture
Maynard / Tao

Borne explicite en O(m³ exp(4m)) sur l'écart minimal pour m premiers consécutifs. Sieve admissible m-uples.

Standard

Mertens : la vitesse d'éclaircissement des survivantsclassique

Combien d'entiers survivent à un crible de profondeur $y$ ? La densité naïve est le produit eulérien tronqué :

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

Mertens (1874) prouve l'asymptotique exacte :

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

où $\gamma \approx 0{,}5772$ est la constante d'Euler-Mascheroni. Le facteur $e^{-\gamma} \approx 0{,}5615$ apparaît partout dans les cribles — il est le coefficient de proportionnalité fondamental entre densité naïve et densité observée.

Pour la PT, $e^\gamma$ est exactement le préfacteur du noyau universel $K_{PT}(u) = e^\gamma \omega(u)$ (voir L3 ci-dessous, programme mathématique PT).

Densité de survie en pratique

$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

La convergence est rapide : à $y = 1000$, l'erreur relative est déjà sous 0,1 %.

Standard

Distribution π(x) : le théorème des nombres premiersclassique

$\pi(x) = $ nombre de premiers $\leq x$. Le théorème des nombres premiers (Hadamard, de la Vallée Poussin, 1896) établit que :

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

Une approximation bien plus précise est donnée par le logarithme intégral :

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

L'écart $\pi(x) - \mathrm{Li}(x)$ change de signe une infinité de fois (Littlewood, 1914), bien que numériquement $\pi(x) < \mathrm{Li}(x)$ pour tout $x$ jusqu'au premier passage, estimé autour de $10^{316}$ (nombre de Skewes).

π(x), x/log(x), Li(x) — valeurs exactes

10^1 10^2 10^3 10^4 10^5 10^6 10^7 10^8 0% 25% 50% 75% 100% π(x)/x exact x/log(x) / x Li(x)/x Densité des premiers : π(x)/x Li(x) approche π(x) bien mieux que x/log(x) — écart relatif < 0,01% à 10⁸
Standard

Le point clé : la fenêtre racineclassique

Soit $S(x;y)$ le nombre d'entiers $n \leq x$ qui ne sont divisibles par aucun premier $\leq y$. Si l'on choisit $y = \lfloor\sqrt{x}\rfloor$, alors un composite ne peut plus survivre : il possède forcément un diviseur premier $\leq \sqrt{n} \leq \sqrt{x}$.

Les survivants sont donc exactement 1 et les premiers dans l'intervalle $(\sqrt{x}, x]$. On obtient :

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

Cette formule change le problème : comprendre la distribution des premiers revient à comprendre une loi de survivance à fenêtre finie.

Ce que la PT déplace

  1. 1. D'abord construire les survivants du crible.
  2. 2. Lire leurs gaps comme écarts de persistance.
  3. 3. Descendre à la fenêtre $\sqrt{x}$.
  4. 4. Obtenir les premiers comme survivants ultimes.
Standard

Roues primorielles : pourquoi 30, 210, 2310…classique

Pour énumérer les premiers efficacement, on n'utilise pas les entiers un par un. On utilise une roue : un cycle de résidus copremiers à un primoriel $p_k\# = 2 \cdot 3 \cdot 5 \cdots p_k$.

  • Roue mod 6 ($2 \cdot 3$) : 2 résidus {1, 5}, période 6.
  • Roue mod 30 ($2 \cdot 3 \cdot 5$) : 8 résidus {1, 7, 11, 13, 17, 19, 23, 29}, période 30.
  • Roue mod 210 ($2 \cdot 3 \cdot 5 \cdot 7$) : 48 résidus, période 210.
  • Roue mod 2310 : 480 résidus, période 2310.

Le nombre de résidus est $\varphi(p_k\#) = p_k\# \prod (1 - 1/p)$. Plus la roue est grande, plus la densité de survivants est faible (et plus chaque pas est efficace).

Pour la PT, ces roues sont les tores arithmétiques $\mathbb{T}^k = \mathbb{Z}/p_1 \times \cdots \times \mathbb{Z}/p_k$ via le théorème des restes chinois (CRT). Le tore actif de PT est $\mathbb{T}^3 = \mathbb{Z}/3 \times \mathbb{Z}/5 \times \mathbb{Z}/7$ — précisément la roue mod 105 — et fonde l'attracteur $\mu^* = 15$.

Standard · pont avec PT

T0 : la suite des gaps est l'unique champ dynamique du cribleapport PT

Le théorème T0 de PT (clôture de l'axiome BA0) énonce : sous quatre conditions de clôture (U1 invariance automorphe, U2 finitude, U3 généricité, U4 exclusion de $p = 2$ comme premier dynamique de cascade), la suite $\{g_n\}$ des écarts entre premiers consécutifs est l'unique champ dynamique du crible.

Toute autre suite invariante par les automorphismes du crible se ramène à $\{g_n\}$ modulo une renormalisation triviale. Cela ferme structurellement le pont BA0 : « le champ dynamique de la PT, identifié à $\{g_n\}$, est l'objet à partir duquel toute la physique se reconstruit. »

Conséquence

Les gaps premiers ne sont pas un objet d'étude parmi d'autres : ils sont l'objet. C'est pourquoi cette page existe au cœur de la partie mathématique du site, à la racine du chemin principe → cascade → observables.

Technique

Formules de la mécaniqueclassique

Densité sur tore fini

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

Sur une période complète du crible, chaque premier actif enlève exactement sa direction locale de collapse.

Fenêtre racine

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

À cette profondeur, survivre signifie être 1 ou premier : tout composite aurait déjà un diviseur visible.

Transport des survivants

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

Ajouter un premier ne multiplie pas seulement une densité : il transporte le problème vers une fenêtre contractée.

Noyau PT-Buchstab

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

Candidat naturel pour la loi universelle des survivants rugueux, avec le point racine $K_{PT}(2)=e^\gamma/2$.

Technique

Le seuil cubiqueclassique

Dans le transport exact, la fenêtre contractée $\lfloor x/p_a\rfloor$ possède sa propre profondeur naturelle. Dès que $p_a^3 > x$, cette fenêtre est déjà criblée au-delà de son seuil racine natif. Le terme transporté devient alors un terme de bord essentiellement premier.

$x^{1/3} < p \leq x^{1/2}$ : bande naturelle de distorsion fenêtre/bord.
Technique · apport PT

Équation PT-Buchstab renormaliséeapport PT

Le programme part de la fonction de Buchstab classique $\omega(u)$ — définie par $\omega(u) = 1/u$ pour $u \in [1, 2]$ et $(u\omega(u))' = \omega(u-1)$ pour $u > 2$ — puis introduit le ratio renormalisé.

BR1 — Transport prime-step exact

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

BR2 — Transport renormalisé

$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 — Noyau PT candidat

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

Au point racine $u = 2$ : $K_{PT}(2) = e^\gamma / 2 \approx 0{,}8905$. Validation numérique sur $x = 10^6$ : ratio exact $0{,}9675$, facteur relatif $1{,}086$ ; à $u = 4$, accord à $10^{-4}$ près. Status : candidat universel, programme ouvert.

Technique · apport PT

Loi exacte des angles : θ_p ~ √(2/p)apport PT

En plaçant chaque premier $p$ sur le cercle PT par son angle d'holonomie $\theta_p$, on découvre une loi exacte :

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

Conséquence sur les gaps angulaires. Pour deux premiers $p < q$ :

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

Pour des premiers adjacents $p < p_{n+1}$ :

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

Lecture : le cercle PT transforme les gaps premiers en gaps angulaires beaucoup plus petits, par une loi d'échelle rigide en $p^{-3/2}$. Aucune seconde loi aléatoire indépendante n'apparaît.

Validation numérique : pour la racine carrée différentielle, le ratio médian observé est $1{,}00009$ pour $p \geq 997$.

Distribution des angles θ_p

3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 μ* = 15 Plus p est grand, plus θ_p tombe près de 0 — en √(2/p) Premiers placés sur le cercle PT par leur angle θ_p
Technique · apport PT

Shell regime blocks : structure géométrique des premiers extérieursapport PT

Au-delà du triplet fondamental {3, 5, 7}, l'exploration des shells extérieurs (sondes attachées à chaque premier $q$) révèle une structure non-triviale : les seuils d'activation s'organisent en blocs de régime, pas en monotonie.

Shell Seuil AT Spectre $(\Sigma_1, \Sigma_2, \Sigma_3, \Sigma_4)$ Régime
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

Lecture géométrique. Le packet de chaque shell est un simplexe à 4 sommets. Le seuil AT est la première dimension de face transverse au quotient observable :

  • vertex (AT = 1) : tous les sommets sont déjà transverses ;
  • edge (AT = 2) : sommets tangents, arêtes transverses ;
  • triangle (AT = 3) : sommets et arêtes tangents, faces triangulaires transverses.

Les blocs \{17, 19, 23\}$ (edge) et \{29, 31, 37\}$ (triangle) sont la première signature géométrique non-triviale de la branche dérivée du crible — elle manifeste une structure de bord que l'analyse classique ne capture pas.

Technique · apport PT

Outils PT pertinents pour la question des gapsapport PT

Le programme mathématique PT compte 32 outils computationnels (M01-M35). Voici les six les plus directement liés à la mécanique des gaps premiers. Pour le catalogue complet avec fiches détaillées, voir l'Atlas des outils PT.

M11 16/16

Zêta d'Ihara du graphe-crible

Z_G(u) de K₃ via Bass-Hashimoto. RH GRAPHIQUE VÉRIFIÉE. Zéros non-triviaux = racines 3e de l'unité.
M15 22/22

Algèbre du crible

Produit *_T : NON-ASSOCIATIF, NON-COMMUTATIF, SANS IDENTITÉ. Distance > 1.1 à toutes les algèbres testées. OBJET GENUINEMENT NOUVEAU.
M17 34/34

Métrique PT

d_PT(m, n) = distance de Hamming pondérée sur trajectoires de crible. QUASI-ORTHOGONALE à |·| et |·|_p. Classification 96% prime/composite.
M18 61/61

Nombres PT

ℤ_PT = (n, σ(n)) entier + signature de crible. Multiplication CRT propre, addition destructive (100% kill rate). Enrichissement profini.
M32 46/46

Code à distance de gap

Code sur résidus de gaps : d = n − 1 EXACT (CRT). K=5 corrige 1 erreur, K=7 corrige 2. Asymptotiquement MDS.
M34 13/13

Transformée holonomique

H : f → {sin²(θ_p)}. Angles par premier, produit Euler généralisé, métrique de Fisher non-nulle.

Catalogue complet

32 outils mathématiques PT, 659/659 tests PASS

Voir l'Atlas des outils PT →
Technique · synthèse

Ce qui est fermé, ce qui reste ouvert

Fermé (THM)

  • Densité de tore fini (Mertens 1874).
  • Identité de reconstruction de $\pi(x)$ via fenêtre racine.
  • Transport prime-step exact $\Phi_a(x)$ (programme mathématique PT — transport BR1).
  • Seuil cubique $x^{1/3} < p \leq x^{1/2}$ comme bande de distorsion fenêtre/bord.
  • T0 (PT) : $\{g_n\}$ unique champ dynamique du crible.
  • 32 outils du programme mathématique PT (M01-M35), 659/659 tests numériques.
  • Loi $\theta_p \sim \sqrt{2/p}$ (programme mathématique PT) avec validation jusqu'à $p \approx 5000$.

Ouvert (COND / candidat)

  • Loi de fenêtre fermée — noyau $K_{PT}(u) = e^\gamma \omega(u)$ candidat, validation partielle, dérivation complète à faire.
  • Loi générative directe des gaps premiers ($p_{n+1} - p_n$ sans connaître les premiers).
  • Conjectures classiques : jumeaux, Cramér, Goldbach.
  • Hypothèse de Riemann — la PT propose plusieurs routes (Liouville-crible M02, Mertens propagation, Buchstab contraction) mais sans preuve à ce jour.
  • Closure complète des shell regime blocks au-delà de 53.
  • Identification du noyau PT-Buchstab avec un objet zêta-style (programme mathématique PT).

Cette page synthétise le programme mathématique PT : 35 outils (659/659 tests numériques), le programme shell, le transport de phase, et l'équation PT-Buchstab renormalisée. Les statuts épistémiques sont distingués par tag : THM démontré, DER dérivé, COND/candidat ouvert.