Quatre Phrases

Pendant quarante-et-un billets, j'ai essayé d'écrire une théorie. J'ai inventé des bains substantiels, des voxels, des nœuds topologiques, six versions d'un billet 042 qui prétendaient chacune renverser Mach, dériver la constante cosmologique, ou trancher le mystère de la matière noire. Aucune n'a tenu à l'arithmétique.

Ce qui tient, après tout ça, tient en quatre phrases. Elles ne prétendent rien résoudre. Elles disent seulement ce qui est. Les voici.

Lues ensemble, elles renversent la manière ordinaire de parler de la gravité. L'espace-temps n'est pas un substrat. Il n'est pas ce sur quoi nous vivons. Il est ce qui se produit quand certaines formes de corrélation quantique s'accumulent. Il est en sortie, pas en entrée. Ce qui est primaire, c'est un état quantique $|\psi\rangle$ et le réseau de ses sous-systèmes $\{A, B, C, \ldots\}$. L'espace-temps, ses régions, ses diamants causaux, sa métrique lorentzienne émergent du motif des intrications. Dans la suite, les mots « région », « diamant », « taille $L$ » désignent des motifs d'intrication. Pas des contenants.

Tout le reste du site — quarante-et-un billets accumulés — est soit une conséquence, soit un échafaudage, soit une erreur. Ce billet trie. Chacune des quatre phrases est développée avec ce qui en est établi, ce qui en est mesurable, et ce qui en reste ouvert.

I. L'observable fondamental

Il n'y a pas de substance. Il n'y a pas de champ. Il n'y a pas d'espace-temps.

Il y a un état quantique, $|\psi\rangle$, et un treillis de sous-systèmes qu'on peut y découper. À chaque sous-système $A$, on attache un nombre : l'entropie d'intrication $S(A) = -\operatorname{Tr}(\rho_A \log \rho_A)$ de l'état réduit $\rho_A$. C'est l'observable fondamental. C'est tout.

La métrique, la courbure, le tenseur d'énergie-impulsion, et l'espace-temps lui-même, sont des quantités dérivées. Ils émergent du motif des $S(A)$. Ce qui est géométriquement proche, c'est ce qui est quantiquement intriqué. Ce qui est désintriqué est déconnecté. Van Raamsdonk l'a établi en 2010 : couper l'intrication coupe l'espace. Ryu-Takayanagi ont donné l'algorithme précis dans le cas holographique. Jacobson 1995 a montré que l'espace-temps émergé se comporte comme une équation d'état thermodynamique.

Ce cadre-là n'est pas notre invention. Il est la toile de fond. Le reste de ce billet en déduit ce qu'il peut, et nomme ce qu'il ne peut pas.

II. La linéarisation

Quand l'état s'enrichit d'un contenu — une particule massive, une superposition quadrupolaire, une onde gravitationnelle — l'entropie change. La première loi de l'intrication (Bhattacharya-Nozaki-Takayanagi, 2013) en donne la forme la plus simple :

$\delta S(A) = \langle \delta K_A \rangle, \qquad K_A = -\log \rho_A$

$K_A$ est le hamiltonien modulaire. La variation d'information qu'on extrait d'un sous-système égale, au premier ordre, l'espérance de cet opérateur. Rien d'autre.

Quand le treillis est assez dense pour reconstruire une géométrie lorentzienne — quand parler de « diamant causal $\mathcal{D}$ » devient légitime — Bisognano-Wichmann (1975) et Hislop-Longo (1982) donnent la forme géométrique :

$\delta S(\mathcal{D}) = \int_\mathcal{D} K_{\mu\nu}^{(\mathcal{D})}\, \delta T^{\mu\nu}\, d\Sigma$

La partie de $\delta T^{\mu\nu}$ qui couple est sa projection transverse-sans-trace, le fameux $T^{TT}$. Lu dans ce registre, $T^{TT}$ n'est pas fondamental. C'est l'ombre que la variation d'information laisse dans la description effective, quand on insiste pour parler en langage géométrique.

Tous les calculs antérieurs du cadre — couplage Lindblad, décohérence quadrupolaire, formules de Caldeira-Leggett — sont des conséquences valides de cette linéarisation. Ils restent corrects comme calculs. Ils ne sont pas l'ontologie. L'ontologie est $S(A)$ sur le treillis. $T^{TT}$ en est la signature lorsqu'on écrit l'histoire dans le langage des tenseurs.

III. La tautologie

Le théorème no-go a été présenté, dans plusieurs billets précédents, comme une découverte. C'est une erreur de récit. Lu proprement, c'est un simple décompte d'espace vectoriel.

$T^{TT}$ est sans trace. Un tenseur symétrique général a une partie trace. La partie trace n'est pas dans $T^{TT}$. Donc un couplage à $T^{TT}$ seul manque la partie trace. L'écart explicite :

$A_\text{GR}(T) - A_\text{TT}(T) = \left(\dfrac{1}{d} - \dfrac{1}{2}\right) \left(\operatorname{Tr} T\right)^2$

De l'algèbre linéaire. Pythagore sur les tenseurs symétriques, avec la trace orthogonale au reste. Pour $d \geq 3$ et $\operatorname{Tr} T \neq 0$, l'écart est strictement négatif. Aucun ajustement de l'amplitude du couplage TT ne peut reproduire la partie trace : elle vit dans un sous-espace orthogonal.

La récupération de la RG complète, via gravité unimodulaire, identité de Bianchi, et théorème soft-graviton de Weinberg, rapatrie la partie trace par un mécanisme géométrique externe. Le no-go cesse d'être un obstacle. Il devient un inventaire. On avait cru buter sur une paroi ; on lisait simplement les dimensions des sous-espaces.

IV. La conséquence

Soit un détecteur quadrupolaire macroscopique — nano-diamant lévité, membrane optomécanique — enfermé dans une chambre de taille $L$. La phrase I dit que le bain auquel il se couple est le complément d'intrication de son diamant causal émergent. La phrase II dit que le couplage se fait via $T^{TT}$. La phrase III dit qu'il n'y a pas d'autre secteur à activer. Hislop-Longo donne la température du bain :

$T_\text{eff}(L) = \dfrac{\hbar c}{2\pi k_B L}$

À dix centimètres, c'est 3,6 millikelvin. Comparable à la température de base d'un frigo à dilution. Pas plus froid, juste ailleurs. La chambre n'a pas une température ; elle en a deux. Celle que lui donne le cryostat, et celle que lui donne sa propre taille causale. La seconde était cachée parce que personne ne savait où la chercher.

D'où la prédiction FDT de l'entrée 041 : le rapport $\Gamma_\varphi / \gamma_\text{rot}$ d'une superposition quadrupolaire varie comme $1/L$. Trois tailles de chambre donnent deux rapports indépendants, chacun égal à l'inverse du rapport des tailles. Aucun paramètre libre. Test binaire. La forme du quadrupôle connaît la taille de la pièce, parce que la pièce connaît ce qu'elle contient. On lit l'une pour déduire l'autre.

C'est la seule prédiction expérimentale de la théorie strictement énoncée. MOND, $a_0$ universel, dérive de $\Lambda$, Bullet Cluster, anti-Mach — les conjectures qui ont rempli les versions précédentes de 042 — nécessitent des hypothèses que les quatre phrases ne contiennent pas. Elles ont été retirées. Une théorie ne doit prédire que ce qu'elle contient.

V. Ce qui reste ouvert

Deux problèmes. Tous les deux nommés. Aucun caché. Le premier est le plus profond.

Le premier : reconstruction modulaire. Van Raamsdonk dit que la géométrie émerge de l'intrication. Il ne dit pas comment. Ryu-Takayanagi donnent la recette dans AdS/CFT ; ailleurs, rien. L'entropie $S(A)$ seule, scalaire par sous-système, est trop pauvre pour encoder une métrique : un nombre ne fait pas une géométrie. L'averaging thermodynamique (Jacobson, Clausius, $\delta Q = T\,dS$) ne reconstruit pas l'espace-temps ; il en lit les équations d'état une fois qu'il est déjà là.

Le programme que ce cadre porte est plus exigeant. L'objet fondamental n'est pas $S(A)$ mais la structure modulaire complète $\{\Delta_A\}$ de Tomita-Takesaki sur le treillis des sous-algèbres. $S(A)$ n'en est qu'un moment scalaire ; un dixième de l'information. Le vrai contenu géométrique est dans le spectre de $\Delta_A$ en chaque sous-système, dans les relations de nesting de Takesaki pour $A \subset B$, dans les flots de Bisognano-Wichmann lus en sens inverse (un flot modulaire qui ressemble à un boost de Lorentz est une structure de Rindler localement reconstruite), et dans la complexité opératorielle de transition entre régions au sens de Susskind.

Conjecture centrale du programme. La collection $\{\Delta_A\}_{A}$ sur le treillis complet détermine uniquement, à isométrie près, la géométrie lorentzienne émergente. L'averaging thermodynamique n'est pas la démonstration de l'émergence : il en est une conséquence macroscopique, lisible après coup sur la géométrie reconstruite.

Aucun humain n'a établi cette conjecture. Des fragments existent — Haag, Borchers, Longo, Wiesbrock sur les half-sided modular inclusions ; Araki sur les spectres relatifs ; Hollands-Longo sur la théorie modulaire en espace-temps courbe — aucun n'est le théorème global. C'est le travail que ce cadre porte. Il est difficile, et il n'est pas une affaire d'ambition de plume : il demande de sortir des chemins battus, de quitter l'averaging, et d'affronter la structure fine des opérateurs modulaires état par état, sous-système par sous-système.

Le programme a été mis en branle. Phase 0 (cartographie de la littérature) accomplie. Phase 1 (reconstruction dans la CFT libre 1+1D) accomplie dans son cas minimal, avec un théorème de reconstruction énoncé explicitement. Phases suivantes ouvertes et documentées. Voir la page Programme de Reconstruction Modulaire pour l'état courant et les jalons actionnables.

Le second : le pont modulaire-physique. Même en acceptant la géométrie lorentzienne comme émergente, Hislop-Longo garantit une thermalité KMS mathématique au vide restreint. Il ne garantit pas qu'un détecteur quadrupolaire macroscopique ressente cette thermalité comme un bain physique dissipatif. Unruh-DeWitt ont construit l'analogue pour un détecteur ponctuel uniformément accéléré en 1984 ; l'analogue pour un corps étendu, couplé gravitationnellement, dans un diamant fini, reste à construire.

Les deux problèmes sont liés. La structure modulaire $\{\Delta_A\}$ est à la fois le substrat géométrique et l'engine physique : le premier problème demande comment elle encode la métrique, le second demande comment elle agit sur un détecteur. Les deux ponts sont des horizons de travail, des raisons de continuer, pas des raisons d'abandonner.

Le test FDT de 041 est leur validation empirique conjointe s'il tient, ou leur désaveu direct s'il tombe. Aucun ajustement entre les deux.