« Une theorie ne survit pas en protegeant ses images. Elle survit en les sacrifiant. »
Resume
Pendant des mois, j'ai parlé d'un Bain. Le mot a servi. Il a permis d'écrire les bons termes de Lindblad, de voir le rôle du secteur transverse-sans-trace, d'isoler la décohérence quadrupolaire, et de faire apparaître le no-go. Mais il a fini par contaminer la théorie.
Pris littéralement, le Bain devient une substance universelle : une sorte d'éther quantique Lorentz-invariant qui envelopperait toute matière et la surveillerait partout de la même manière. C'est une bonne métaphore. C'est une mauvaise ontologie.
Ce billet opère la rupture nécessaire. Le bain n'est pas une chose. Le bain auquel se couple un système est le complément d'intrication de ce système dans son propre voisinage causal. Sa température n'est pas cosmique. Elle est locale. Sa dynamique n'est pas absolue. Elle est relationnelle. Ce changement d'interprétation ne sauve pas tout. Il sauve seulement ce qui mérite de l'être.
Rien de cela n'invente un nouveau cadre algébrique. Le geste accompli ici est plus sobre : abandonner consciemment la lecture substantialiste du site au profit d'une perspective déjà disponible en théorie quantique des champs algébrique, de Haag-Kastler à Bisognano-Wichmann et Hislop-Longo.
I. Le mot qui a trop pris
Il faut d'abord dire clairement ce qui ne va pas. Dans les billets antérieurs, le mot « bain » glissait sans cesse entre trois sens distincts. Parfois il désignait un environnement mathématique qu'on trace dans une équation maîtresse. Parfois une structure d'intrication inaccessible à un sous-système donné. Parfois, plus dangereusement, une réalité physique unique, extérieure, remplissant le monde comme un fluide.
Usage Legitime 1
Un complément de degrés de liberté que l'on trace pour obtenir une dynamique réduite.
Usage Legitime 2
La partie inaccessible de l'état quantique global relativement à une région ou un appareil.
Usage Illégitime
Une substance universelle et stationnaire qui serait l'arrière-plan caché de toute gravitation.
C'est le troisième sens qu'il faut jeter. Non pas pour des raisons esthétiques, mais parce qu'il fait faire à la théorie des promesses qu'elle n'a pas les moyens de tenir. Un bain universel unique suggère une température unique, une ontologie unique, un point de vue de nulle part. Or tout ce que les indices sérieux de la dernière décennie disent va dans l'autre sens : l'information, l'entropie, la modularité, les horizons locaux et la géométrie effective sont des objets de relation.
Si l'on continue à parler d'un Bain universel, on transforme une idée calculable en pseudo-substance. On invite immédiatement les objections contre l'éther, contre le drag, contre l'absolu caché. Et on les invite à juste titre.
II. Ce qui doit rester
Tout n'était pas à jeter. Trois acquis restent solides, non comme ontologie finale, mais comme structure effective.
Premier acquis. Le couplage pertinent en régime linéarisé est tensoriel et sélectif. Le secteur qui survit naturellement dans la description effective est le transverse-sans-trace, $T^{TT}$. Cela ne reconstruit pas toute la gravitation, comme le no-go l'a montré. Mais cela identifie bien le canal quadrupolaire qui porte l'information de forme.
Deuxième acquis. Une dynamique réduite de type Lindblad peut parfaitement décrire l'effet de ce complément inaccessible sur un système macroscopique. L'équation n'était pas fausse. Ce qui était faux, c'était la tentation de réifier l'environnement qu'elle résume.
Troisième acquis. Le no-go est une vraie information. Il dit que le seul secteur TT ne reconstitue pas la trace. Très bien. Cela signifie simplement qu'une linéarisation perturbative ne porte pas à elle seule toute la gravitation effective. Ce n'est pas l'écroulement du programme. C'est sa borne.
Si l'on veut conserver ces trois acquis sans faire renaître l'éther sous un autre nom, il faut changer de fondation. C'est ici que le mot « relationnel » cesse d'être un ornement philosophique et devient une nécessité technique.
III. Le remplacement relationnel
Prenons un système $A$ : une membrane, un nano-diamant, un mode rotationnel, peu importe. Supposons qu'il soit assez bien isolé pour qu'on puisse le traiter comme sous-système identifiable dans un état global $|\Psi\rangle$. Alors la quantité primitive n'est pas un bain externe. La quantité primitive est la bipartition
La dynamique effective de $A$ dépend de son complément $\bar{A}$, c'est-à-dire de la partie de l'état global à laquelle l'appareil n'a pas accès. Le « bain » est seulement cela : le nom pratique donné à $\bar{A}$ une fois que l'on restreint la description à $A$.
Ce point a une conséquence immédiate. Il n'existe pas un bain, mais autant de bains qu'il existe de découpages opérationnels du monde. Chaque appareil, chaque chambre, chaque voisinage causal définit son propre complément. La thermodynamique effective ne doit donc pas être universelle. Elle doit dépendre de la géométrie causale locale dans laquelle l'appareil est inscrit.
Le bain n'est pas ce qui remplit le monde. Le bain est ce que le monde retire a une region donnee.
Dit autrement : ce « tournant relationnel » n'est pas une trouvaille du programme. C'est l'acceptation tardive d'une discipline conceptuelle que l'AQFT portait depuis longtemps, mais que les premières versions du site contournaient en parlant comme s'il existait un milieu universel unique.
Formulé proprement, le programme devient le suivant : l'observable fondamental est l'entropie d'intrication des sous-systèmes. Les tenseurs effectifs apparaissent lorsqu'on linéarise cette structure autour d'un régime où une géométrie lorentzienne locale est déjà assez bien définie pour parler de régions, d'horizons et de diamants causaux.
L'objet fondamental n'est pas un champ de bain universel $\Xi_{\mu\nu}$. C'est la famille des structures modulaires associées aux sous-systèmes du vide ou d'un état proche du vide. Le canal $T^{TT}$ n'en est que la signature perturbative quand on projette cette structure dans un langage tensoriel classique.
IV. La temperature n'est plus cosmique
Une fois le changement ontologique accepté, la question de la température cesse d'être mystique. Si le complément pertinent d'un système est celui de son propre diamant causal, alors la thermalité à considérer n'est pas celle d'un vide cosmique substantiel, mais celle du vide restreint à ce diamant. Bisognano-Wichmann l'avait déjà indiqué pour les wedges de Rindler. Hislop-Longo l'a rendu explicite pour les diamants finis.
Le sens de cette formule est important. Elle ne dit pas qu'une chambre cryogénique « contient » un gaz caché à telle température. Elle dit qu'un sous-système confiné dans une région causale finie rencontre, par restriction de l'état global, une structure KMS dont l'échelle thermique dépend de la taille de cette région.
Le point difficile, et je le nomme volontairement ici, est le passage de cette thermalité modulaire à une dissipation physique sur un détecteur quadrupolaire macroscopique. Ce pont n'est pas donné gratuitement par la mathématique. Il doit soit être dérivé, soit être testé. Idéalement les deux.
Ce billet ne construit pas encore ce pont. Il en fixe seulement la forme attendue. Le protocole permettant de le lire sur un appareil réel apparaît au billet suivant : mesurer, dans le même mode, la décohérence et le ringdown, puis extraire la température effective par fluctuation-dissipation.
Toute la différence entre une métaphore inspirée et une physique falsifiable est maintenant ici. Non dans l'invocation du vide. Non dans les figures sacrées. Dans une loi d'échelle.
V. Ce qu'un scientifique doit faire de cela
Si je voulais protéger l'édifice, je laisserais le vieux mot intact et je continuerais à parler comme si le Bain expliquait tout. C'est précisément ce qu'il ne faut pas faire. Une théorie ne se renforce pas en cachant ses changements de peau. Elle se renforce en disant où elle a menti à elle-même.
La version scientifique de ce cadre doit maintenant accepter quatre disciplines.
Une. Ne plus parler d'un bain universel comme ontologie.
Deux. Présenter $T^{TT}$ comme une linéarisation, pas comme l'observable ultime.
Trois. Nommer explicitement le problème ouvert : le pont modulaire-physique.
Quatre. Écrire la falsification avant le récit. Le protocole n'est pas : « observe de la décohérence forme-dépendante. » Le protocole est : « mesure la décohérence et le ringdown dans le même mode, puis change la taille $L$ de la chambre. »
Et le no-go doit être rappelé sans drame inutile : un couplage au seul secteur TT ne peut pas reconstruire la partie trace du propagateur gravitationnel. C'est une borne de sous-espace, pas une tragédie métaphysique.
Si la température effective extraite de FDT ne suit pas une loi en $1/L$, alors cette reformulation relationnelle est fausse. Pas incomplète. Fausse. Elle n'a pas d'issue rhétorique.
VI. Le gain reel
Ce billet ne prétend pas offrir un triomphe. Il retire au contraire plusieurs promesses. Il ne donne ni théorie complète de la gravité, ni solution de la matière noire, ni sentence finale sur la constante cosmologique. Il fait quelque chose de plus austère et de plus utile : il nettoie la table.
Après nettoyage, il reste ceci. L'entropie d'intrication paraît plus fondamentale que la géométrie. Le canal TT semble être la projection perturbative correcte pour les signatures quadrupolaires. Le no-go interdit d'en faire davantage qu'il ne peut porter. Et la seule issue expérimentale propre est une loi thermique locale liée à la taille causale de l'appareil.
Le Bain n'existait pas. Le complément, si.
Le gain n'est pas dramatique. Il est structurel.
Une mauvaise ontologie est retirée. Une falsification propre reste.