Version originale en anglais sur arithmon.substack.com
Les constantes de la Nature sont des comptes
Une hypothèse géométrique pour les paramètres du Modèle Standard, et la date à laquelle elle peut mourir.
Une géométrie compacte à sept dimensions. Zéro paramètre ajustable. Trente-trois relations algébriques exactes entre constantes du Modèle Standard, vérifiées machine en Lean 4 avec zéro sorry sur 14 axiomes déclarés (4 sur la chaîne de prédiction, 10 certificats K3 en arithmétique d’intervalles), à partir d’un registre d’entrées gelé et déposé publiquement avant le début de la recherche.
Et une date. Si DUNE mesure la phase CP des neutrinos δ_CP hors de [182°, 212°] à 3σ, ce cadre est faux, rien en lui ne peut être ajusté pour survivre, et la prédiction consignée est 197°. Le premier faisceau est visé pour 2031.
Le second paragraphe est ce qui légitime le premier. Un cadre sans paramètre libre ne peut pas absorber une mauvaise mesure. C’est le coût de l’affirmation, et c’est la raison pour laquelle elle mérite d’être vérifiée plutôt que balayée.
L’hypothèse
Les constantes sans dimension du Modèle Standard sont des invariants arithmétiques et topologiques d’une variété compacte à holonomie G₂, et non des paramètres libres à ajuster. La géométrie en question a pour nombres de Betti (b₂, b₃) = (21, 77) et une architecture motivée par E₈×E₈.
Une relation montre en une ligne ce que cela signifie. Le nombre de générations de fermions chiraux découle de la contrainte topologique (rang(E₈) + N_gen) × b₂ = N_gen × b₃, c’est-à-dire (8 + N_gen) × 21 = N_gen × 77, dont la seule solution entière est N_gen = 3. Non pas déclarée. Dérivée.
| Paramètres continûment ajustables | 0, une fois le registre d’entrées gelé |
| Relations algébriques sans paramètre | 33 |
| Observables dérivées au total | 95, dont 66 comparables à l’expérience |
| Accord | 11 exactes à mieux que 0,01 %, 53 à moins de 1 % |
| Vérification formelle | vérifiée machine en Lean 4, 0 sorry, 14 axiomes déclarés (4 chaîne de prédiction + 10 certificats K3) |
| Pré-enregistrement | registre, grammaire de formules et liste de cibles déposés avant toute recherche |
Ce qui n’est pas affirmé
Seules les trente-trois relations sans paramètre sont des conséquences directes du registre gelé. Les autres observables sont séparées en catégories déclarées : extractions en une étape qui utilisent un ancrage expérimental nommé, chaînes multi-étapes conditionnelles au mécanisme invoqué, et diagnostics structurels sans comparaison directe. Compter les quatre-vingt-quinze comme autant de prédictions indépendantes serait la façon la plus facile de survendre ce travail, et les tables du cadre lui-même refusent de le faire.
La précision numérique est rapportée comme un chiffre secondaire. Un cadre de ce type peut toujours être rendu impressionnant en mettant en avant un accord sous le pour-cent, ce qui est exactement ce que produit aussi un ajustement bien réglé. L’affirmation est structurelle, pas numérique.
Pourquoi ce n’est pas de la numérologie, comme engagement plutôt que comme argument
Le registre, la grammaire de formules et la liste de cibles ont été gelés et déposés avant qu’aucune relation ne soit cherchée. La procédure statistique a été fixée à l’avance elle aussi, et elle n’est délibérément pas sur mesure : elle est calibrée contre des verdicts historiques, de sorte que l’argument d’Eddington sur la constante de structure fine y échoue et que la relation de l’effet Hall quantique y passe. Un test que seul le cadre de son auteur peut passer n’est pas un test.
Ce que ce test mesure mérite d’être dit clairement, parce qu’il est facile de le mal lire. Il demande à quel point une relation est isolée parmi toutes les formules que la grammaire autorisée aurait pu produire : si l’espace de recherche contient des rivales qui collent à la même mesure aussi bien ou mieux. Ce n’est pas un test d’accord avec l’expérience, que les écarts ci-dessus rapportent déjà, ni un test de validité algébrique, que les preuves vérifiées machine tranchent déjà. Il ne répond qu’à la troisième question, celle qui sépare un indice d’un accident.
Sous cette batterie nulle pré-enregistrée, le résultat honnête est modeste et il est rapporté comme modeste : des trente-trois relations, une seule, m_H/m_W, est assez isolée pour se distinguer de l’espace de recherche à une unicité de rang un exacte, avec le Q = 2/3 de Koide juste derrière. Les trente-deux autres restent des conséquences exactes et vérifiées machine du registre gelé ; ce qu’elles n’ont pas encore, c’est un titre individuel à être surprenantes. Des versions antérieures de ce travail mettaient en avant des probabilités de coïncidence jointe de l’ordre de 10⁻³⁴⁶. Ces chiffres sont réels, ils sont conservés comme diagnostics internes, et ils ont été délibérément retirés du titre, parce qu’ils mesurent autre chose que ce qu’un lecteur sceptique a besoin de savoir.
Ce qui le réfuterait
| Prédiction | Valeur | Expérience | Échéance |
|---|---|---|---|
| δ_CP | 197°, réfutée hors de [182°, 212°] à 3σ | DUNE | faisceau visé 2031 |
| N_gen | 3, réfutée par une quatrième génération | toute | en cours |
| m_s/m_d | 20, actuellement 20,0 ± 1,0 | QCD sur réseau | 2028 à 2030 |
| sin²θ_W | 3/13 | FCC-ee | années 2040 |
Ce qui reste ouvert
Une normalisation imposée doit elle aussi être énoncée clairement : det(g) = 65/32 est utilisée comme cible plutôt que dérivée, et six observables en dépendent. Trois questions sont porteuses et non résolues, et elles sont énoncées avec la même visibilité que les résultats plutôt qu’enterrées. La géométrie compacte existe-t-elle ? La couche analytique globale reste conditionnelle à un paquet d’hypothèses déclaré. D’où vient le secteur de jauge ? La chaîne de branchement est compatible avec le contenu en matière du Modèle Standard mais n’est pas encore un mécanisme physique de brisure, et c’est la plus grande lacune du travail. Pourquoi (21, 77) ? Cinq routes vers une dérivation des nombres de Betti ont été explorées et fermées ; il subsiste un résidu explicite, b₂ + b₃ = 98 = dim(K₇) · dim(G₂).
La question
La plupart des propositions qui tentent d’expliquer les constantes de la Nature finissent par échouer. Peut-être celle-ci échouera-t-elle aussi.
Mais la question ne disparaît pas avec elles. Si les constantes ne sont pas fondamentales, elles viennent de quelque part. Ceci est une tentative d’y répondre en rendant chaque hypothèse explicite, chaque calcul reproductible, chaque prédiction publique, et chaque route vers la réfutation disponible à l’avance.
Que l’hypothèse survive ou non relève désormais des mathématiques et de l’expérience, pas de l’autorité.
Si vous découvrez ce blog, le point de départ est ici. Les papiers techniques sont sur Zenodo.