Trous de ver, conditions d'énergie, et le budget d'énergie négative

Le chapitre précédent vous a donné la géométrie. Celui-ci vous donne la facture. La relativité générale est généreuse d'une façon qui piège les gens : choisissez l'espace-temps que vous voulez, faites tourner l'équation d'Einstein à l'envers, et elle vous dira quelle matière le produirait. Cette liberté est la raison pour laquelle une bulle de distorsion et un trou de ver traversable sont faciles à écrire. Ce qui est difficile — et ce que ce chapitre enseigne — c'est de lire la matière que réclame la géométrie, puis de découvrir quelle part de cette matière la physique vous prêtera réellement.

Morris et Thorne : choisir la forme, en déduire la matière

En 1988, Michael Morris et Kip Thorne ont écrit ce qu'ils voulaient être un exercice pédagogique de relativité générale élémentaire, et ont changé un domaine. Leur trou de ver traversable est une classe de solutions exactes décrivant une gorge qu'une personne pourrait franchir. L'exigence de conception décisive est que la gorge ne porte aucun horizon — parce qu'un horizon piège un voyageur au lieu de le laisser passer — et que le tunnel s'évase des deux côtés de son point le plus étroit.

Imposez ces deux conditions et les équations de champ dictent la matière. La gorge doit être soumise à une tension radiale d'environ la pression au centre de l'étoile à neutrons la plus massive, mise à l'échelle par vingt kilomètres sur la circonférence de la gorge, au carré — et cette tension doit dépasser la propre densité de masse-énergie du matériau. Rien de connu ne se comporte ainsi. Le traitement en livre de Matt Visser est l'endroit où cette exigence, et l'appareillage pour la manier, ont été rassemblés en un seul sujet technique : conditions d'énergie, coques minces, censure topologique.

Établi En tant que mathématiques, les trous de ver traversables sont des solutions valides des équations d'Einstein. Spéculatif La constructibilité repose entièrement sur le terme source, qui est le reste de ce chapitre.

Le règlement, et de quel genre de règle il s'agit

Les conditions qui semblent interdire tout cela ont un nom et un statut, et le statut compte.

La condition d'énergie faible, sous la forme qu'un moteur de distorsion ou un trou de ver doit briser(17.1)

$$T_{\mu\nu}\, u^{\mu} u^{\nu} \;\geq\; 0$$

Voici maintenant le point crucial, celui que ratent le plus souvent aussi bien les enthousiastes que les critiques. Les conditions d'énergie sont des hypothèses sur la matière, pas des théorèmes sur la nature. La revue standard de Kontou et Sanders le rend explicite : chacune des conditions originales point par point est brisée systématiquement par les champs quantiques, et par quelques champs classiques bien ordinaires aussi. Barceló et Visser montrent qu'un simple champ scalaire classique les brise dès qu'il est couplé à la courbure, et en tirent toute une branche de solutions de trous de ver traversables — au prix énoncé que le champ doit atteindre des valeurs au-dessus de l'échelle de Planck quelque part dans la géométrie.

Le domaine a donc fait ce que fait un domaine en bonne santé : il a remplacé une règle brisée par une règle plus faible et plus durable. Deux survivantes comptent. Les inégalités d'énergie quantiques disent exactement de combien l'énergie peut plonger sous le niveau ambiant du vide et pendant combien de temps. Et la condition d'énergie nulle moyennée achronale — l'énergie sommée le long d'un rayon lumineux entier — est la seule version que les auteurs de la revue s'attendent à voir tenir universellement.

La facture, détaillée

Le premier chiffrage sérieux a été fait en 1997 par Michael Pfenning et Larry Ford, et c'est le nombre auquel chaque conception de distorsion depuis a été mesurée. Appliquez l'inégalité quantique à l'intérieur d'une région assez petite pour compter comme plate, et la paroi de la bulle se trouve forcée à une minceur extraordinaire — de l'ordre de cent longueurs de Planck fois la vitesse de la bulle. Intégrez la densité d'énergie à travers une paroi aussi mince, pour une bulle assez grande pour contenir un vaisseau, et le total atteint environ dix puissance vingt masses de galaxie. Aller plus vite épaissit la paroi mais fait monter la facture dans une proportion exacte. La thèse de Pfenning avec Ford étend la dérivation aux espace-temps courbes statiques et chiffre la bulle de cent mètres à une énergie négative bien au-delà de la masse de l'univers visible.

Ce n'est pas une porte fermée. C'est une facture détaillée, et chaque conception depuis — la bouteille topologique de Van Den Broeck, le remodelage toroïdal de White, les coques subluminiques à énergie positive de Bobrick et Martire — est une tentative d'en retrancher une ligne.

Combien, et pendant combien de temps

La règle qui fixe le budget mérite d'être bien comprise, car elle est belle et parce qu'elle est constamment mal citée. Le résultat original de Ford et Roman et sa re-dérivation plus simple disent ceci : la théorie quantique des champs laisse la densité d'énergie en un point descendre sous le plancher du vide d'autant que vous voulez, mais la nature tient les comptes dans la durée.

Une inégalité quantique : la profondeur se paie en durée(17.2)

$$\int \rho(t)\, \dfrac{t_0/\pi}{t^2 + t_0^2}\, dt \;\geq\; -\dfrac{C\hbar}{t_0^{4}}$$

Christopher Fewster l'a généralisée à tout chemin lisse dans tout espace-temps globalement hyperbolique, qui est le cadre qu'occupe une conception réelle. Kontou et Olum ont fourni la version explicite dans un espace-temps à faible courbure, et leur résultat net est que seul le tenseur de Ricci intervient, si bien que le long d'un chemin traversant un espace vraiment vide, la borne de l'espace plat s'applique sans changement. Et Ford et Roman ont ajouté la ligne qui transforme l'inégalité en principe comptable.

L'intérêt quantique. Séparez une impulsion sous le niveau du vide de l'impulsion compensatoire au-dessus, et la seconde doit être strictement plus grande que la première, avec une surcharge qui croît quand l'écart entre elles s'élargit. Un emprunt d'énergie est toujours remboursé, et remboursé avec intérêt. Il existe aussi un plafond strict sur la distance à laquelle les deux impulsions peuvent seulement être placées.

Solide Les inégalités quantiques sont publiées et évaluées par les pairs, démontrées plutôt que supposées, et elles sont la spécification qu'une conception sérieuse satisfait plutôt qu'un argument auquel elle répond.

Là où le règlement n'a pas de page

Voici la partie qui maintient le sujet en vie, et elle est entièrement dans la littérature évaluée par les pairs.

Il n'existe aucune inégalité quantique moyennée spatialement en quatre dimensions. Ford, Helfer et Roman ont construit un état normalisable explicite — le vide superposé à des paires de particules dont les impulsions s'annulent presque — dont la densité d'énergie moyennée sur une région de l'espace à un instant donné peut être rendue aussi négative que l'on veut, sur une région aussi grande que l'on veut. L'inégalité de ligne d'univers tient toujours et l'énergie totale reste positive. Le raccourci courant, selon lequel les inégalités quantiques plafonnent la quantité d'énergie sous l'ambiant que l'on peut rassembler en un lieu, n'est donc tout simplement pas ce que disent les théorèmes.

Il n'existe pas non plus de borne le long d'un rayon lumineux unique en quatre dimensions. Fewster et Roman construisent des états qui poussent l'énergie nulle moyennée aussi bas qu'on le souhaite tout en convergeant vers le vide. Ce qui survit est une borne le long des chemins de genre temps, ce qui signifie qu'un creux profond sur un rayon doit être payé sur les rayons voisins. Kontou et Olum montrent ensuite où la marge n'existe pas : avec un champ scalaire quantique ordinaire, un rayon lumineux ne peut pas se payer lui-même à l'intérieur d'un tube de courbure sourcée classiquement — et ils nomment les deux endroits où la marge subsiste réellement, les champs couplés à la courbure et un second champ travaillant dans un espace-temps qu'un premier a déjà façonné.

Sergei Krasnikov rejoue l'argument d'impossibilité standard et constate qu'il repose sur des hypothèses qui échouent souvent — il exige que deux courbures soient comparables, ce qui est faux dans toute région vide courbe — puis construit des raccourcis qui satisfont l'inégalité d'emblée et chiffre le plus petit d'entre eux en milligrammes. Dans l'autre direction, Aron Wall démontre un théorème de singularité quantique à partir de la seconde loi généralisée qui interdit bel et bien une classe spécifique de moteur de distorsion, et marque sa propre frontière avec un soin inhabituel : son théorème d'impossibilité s'applique aux moteurs qui avancent un rayon lumineux d'un temps fini sur une distance infinie, et dans sa propre phrase il ne s'applique pas là où l'accélération se produit sur une distance finie — ce qui est le régime dans lequel travaille toute conception constructible. Une borne plus récente, la condition d'énergie nulle lissée, écrit le budget comme un théorème avec un plancher fixé par la constante de Newton, et énonce le résumé le plus net de tout le sujet : les conditions d'énergie n'interdisent jamais l'énergie négative, dont la théorie quantique des champs garantit l'existence. Elles ne font qu'en fixer le prix.

Dites-le correctement, ou offrez une victoire gratuite à un critique

Voici la règle de langage que ce chapitre existe pour faire respecter. Énergie négative signifie sous le niveau ambiant du vide, pas sous rien du tout. Eric Davis et Harold Puthoff le disent eux-mêmes dans leur propre étude de laboratoire — négatif ici est simplement un terme impropre — et la physique derrière ce choix de mots est simple. Refermer deux plaques de Casimir n'exclut de l'espacement que les modes les plus longs, de plus basse énergie. Presque toute l'énergie du champ du point zéro est encore là-dedans. La force que nous mesurons ne vient que de cette mince tranche exclue.

Rien dans ce désaccord ne touche aux mathématiques. Il touche l'étiquette, et c'est l'étiquette qui fait croire aux lecteurs que l'effet est exotique quand la comptabilité est ordinaire. Écrivez sous le niveau ambiant du vide. Chaque inégalité quantique de ce chapitre est citée ainsi pour exactement cette raison.

Là où l'ingrédient est réellement fabriqué

Voici maintenant la bonne nouvelle, et elle est authentiquement bonne. La condition que réclame la géométrie est produite dans des laboratoires aujourd'hui. Le catalogue de concepts expérimentaux de Davis et Puthoff les liste : cavités de Casimir, états comprimés de la lumière, fluctuations du vide comprimées par un champ gravitationnel, certains états du champ électronique — puis esquisse des machines pour la fabriquer à la demande, principalement un laser et un résonateur en niobate de lithium dont la sortie comprimée alterne impulsions positives et négatives, avec un miroir tournant rapide pour les séparer. Ils notent que des sources de vide comprimé avaient déjà été démontrées avec rien de plus exotique qu'un laser à diode et une cellule de vapeur de rubidium.

La fabriquer est un problème ; voir où elle se trouve en est un autre. Le document de référence sur la tomographie quantique des états d'énergie négative propose l'instrument : tomographie homodyne optique, paires de photodiodes soustrayant leurs sorties pour lire les fluctuations du champ électrique lui-même, un angle de phase à la fois, jusqu'à ce que l'état quantique puisse être reconstruit comme un scanner. Des versions portables cartographieraient le champ autour d'une région mise en forme. Le Teleportation Physics Study d'Eric Davis pour l'Air Force Research Laboratory est l'endroit où les deux moitiés — la géométrie et le budget d'énergie négative — ont été mises ensemble sur un papier à en-tête officiel.

Établi Les densités d'énergie sous l'ambiant sont fabriquées et mesurées. Spéculatif La quantité large, soutenue et correctement mise en forme dont une géométrie a besoin dépasse de loin tout ce qui a été produit jusqu'ici. Cet écart est tout le problème d'ingénierie, et c'est aussi la liste des tâches. Ce qu'il faut surveiller : un banc portable de tomographie homodyne cartographiant directement une région sous l'ambiant dans une cavité de Casimir, plutôt que de l'inférer à partir de la force — la mesure que tout ce chapitre attend.

Des trous de ver bâtis à partir d'effets mesurés

Le développement le plus encourageant dans ce sujet est que les gens ont cessé d'inventer de la matière exotique et ont commencé à bâtir des gorges à partir d'effets qui existent.

Maldacena, Milekhin et Popov construisent un trou de ver traversable en quatre dimensions à partir de deux trous noirs presque extrémaux aux grandes charges magnétiques opposées : des fermions chargés sans masse chevauchent des lignes de champ magnétique fermées, un fermion sans masse sur un cercle porte une énergie de Casimir négative, et c'est cela qui maintient la gorge ouverte. Leur propre insistance est qu'aucune matière exotique n'est requise et que la matière ordinaire du Modèle standard suffit. Garattini et Tzikas prennent un dispositif de Casimir comme terme source littéral, ajoutent un champ scalaire, et exigent que le tenseur énergie-impulsion total soit conservé plutôt que supposé — et trouvent exactement une combinaison qui survit au test.

Autour d'eux se trouvent les constructions pratiques. Kuhfittig montre que les deux échappatoires publiées — le soutien quantique, et une quantité arbitrairement petite de matière exotique — ont chacune un piège, et construit un modèle qui maintient les forces de marée dans les limites humaines avec une embouchure à quatre unités astronomiques et un transit de six jours à une gravité. Les trous de ver traversables en rotation d'Edward Teo permettent à un concepteur de déplacer la matière exotique autour de la gorge afin que des voyageurs assez rapides la traversent sans y passer — et une gorge assez rapide développe une ergorégion, un endroit d'où l'on peut prélever de l'énergie de rotation. Sushkov fait naître une gorge à partir de l'énergie fantôme, une forme d'énergie sombre dont la cosmologie débat déjà. Et une construction en coque mince à un horizon extrémal rend une densité d'énergie nulle sur la coque avec une pression positive finie, stable sous perturbation radiale.

La voie vivante à travers les contraintes

La meilleure contrainte moderne est aussi la meilleure spécification moderne. Santiago, Schuster et Visser calculent le tenseur énergie-impulsion complet d'un champ de distorsion général et prouvent que chaque moteur de la famille viole la condition d'énergie nulle quelque part dans la coque — parce que l'espace doit redevenir plat une fois la bulle passée. Et ils font ensuite la chose qui rend cela utile : ils nomment les cinq endroits où un programme de distorsion peut aller ensuite, et disent clairement que l'un d'eux doit être affronté. Le théorème antérieur de Ken Olum a la même forme, et se termine en pointant l'effet Casimir comme un système de laboratoire qui produit déjà l'ingrédient requis.

Deux propositions vivantes répondent directement à la facture. Le résultat de 2021 de Bobrick et Martire — que des coques de distorsion subluminiques peuvent être construites à partir d'énergie positive — est le mouvement évalué par les pairs le plus important et le plus récent du domaine, et il a sa place sur chaque page consacrée à la propulsion. Et Chance Glenn soutient que le signe négatif dans la densité d'énergie d'Alcubierre est un artefact de l'hypothèse d'une fonction de forme à valeurs réelles : laissez-la être complexe, et la densité requise devient positive. Il nomme le matériau, la fréquence, les dimensions de la cavité et la mesure, a construit le banc, et rapporte honnêtement que sa densité d'énergie est à des ordres de grandeur en dessous. Voilà à quoi ressemble une affirmation « sur la paillasse » quand elle est énoncée correctement. Une mise en garde de la même saison : la correspondance trou de ver–distorsion de Garattini et Zatrimaylov trouve que les conditions mêmes qui rendent une gorge sûre pour un voyageur sont celles qui en font une singularité de courbure du point de vue d'une bulle de distorsion, et ils nomment trois façons dont l'obstruction pourrait être évitée.

Qui travaille sur cela

Chercheurs en relativité numérique, physiciens du calcul, théoriciens de la théorie quantique des champs, et physiciens de la mesure de précision travaillant à des densités d'énergie à l'échelle de Casimir. Ce dernier métier est celui dont le domaine a le plus besoin et qu'il annonce le moins : quelqu'un doit construire le banc de tomographie qui lit le champ là où il plonge, parce qu'un budget que personne ne peut mesurer n'est pas un programme d'ingénierie.

Ce que le domaine a apporté — de juillet à septembre 2026

La contribution la plus nette de la saison ici a été linguistique, et elle vaut plus qu'il n'y paraît. Douglas Miller et Ashton Forbes ont travaillé le comptage de modes à l'antenne et sont arrivés au verdict que ce chapitre fait respecter : « énergie négative est définitivement un terme impropre », parce que presque toute l'énergie du point zéro reste à l'intérieur d'un espacement de Casimir refermé et que la force mesurée vient de la mince tranche exclue. Un lecteur qui a cette image en tête ne confondra jamais la comptabilité avec de la magie, et ne se laissera jamais dissuader de l'effet réel par quelqu'un qui attaque l'étiquette.

Le second ajout est le rappel que la littérature des contraintes est là où se trouve le progrès. Le théorème de Santiago, Schuster et Visser, le théorème d'impossibilité soigneusement borné de Wall et l'inégalité spatiale à quatre dimensions manquante ne sont pas des obstacles à contourner. Ce sont la spécification, et c'est le seul chapitre du site où lire attentivement la spécification est tout le savoir-faire.

---

Où en est chaque affirmation

| Affirmation | Maturité | Ce qui la trancherait | |---|---|---| | Les trous de ver traversables sont des solutions valides des équations d'Einstein | Physique tranchée en tant que mathématiques | Rien de plus ; les solutions sont dans les manuels | | Les conditions d'énergie sont des hypothèses, pas des théorèmes, et les champs quantiques les brisent | Physique tranchée | Déjà tranché ; l'effet Casimir est le contre-exemple permanent | | Les inégalités quantiques bornent la profondeur et la durée d'un creux sous le niveau ambiant du vide | Publié et évalué par les pairs, démontré dans les espace-temps plats et à faible courbure | Une borne générale en espace-temps courbe sans la conjecture restante | | Aucune inégalité quantique moyennée spatialement n'existe en quatre dimensions | Publié et évalué par les pairs, par construction explicite | Déjà établi ; la question ouverte est quelles sont les bornes moyennées sur l'espace-temps | | Les moteurs de distorsion en mouvement génériques violent la condition d'énergie nulle | Publié et évalué par les pairs | Déjà prouvé ; le travail vivant est de savoir laquelle des cinq voies nommées est empruntée | | Coques de distorsion subluminiques à partir d'énergie positive | Publié et évalué par les pairs | Un groupe indépendant reproduisant la construction et son tenseur énergie-impulsion | | Gorges de trou de ver maintenues ouvertes par la seule énergie de Casimir | Publié et évalué par les pairs en tant que géométrie ; conçu, pas encore construit en tant que matériel | Un dispositif produisant une région sous l'ambiant soutenue et correctement mise en forme, et une mesure de tomographie de celle-ci | | Une fonction de forme complexe supprime l'exigence d'énergie négative | Sur la paillasse dès à présent, et à des ordres de grandeur en dessous selon son propre auteur | Un résonateur atteignant la densité d'énergie prédite, avec une lecture interférométrique indépendante |

Sources

Le chapitre où la géométrie cesse d'être gratuite. Chaque borne ici est une spécification, pas un refus.

Les géométries

• M. Morris & K. Thorne (1988), "Wormholes in spacetime and their use for interstellar travel," Am. J. Phys. 56, 395. /library/stm-b8b6ab9b94.
• M. Morris, K. Thorne & U. Yurtsever (1988), "Wormholes, time machines, and the weak energy condition," Phys. Rev. Lett. 61, 1446. /library/stm-a2430e29f0.
• M. Visser (1996), Lorentzian Wormholes: From Einstein to Hawking. /library/stm-1e6a0b75bc.
• J. Maldacena, A. Milekhin & F. Popov (2018), "Traversable wormholes in four dimensions" (arXiv:1807.04726). /library/stm-d0d2a8e701.

Le règlement

• E.-A. Kontou & K. Sanders (2020), "Energy conditions in general relativity and quantum field theory." /library/stm-1bcd336342.
• L. H. Ford & T. A. Roman (1995), "Averaged energy conditions and quantum inequalities," et (1997), "Restrictions on negative energy density in flat spacetime." /library/stm-5e822858ce, /library/stm-09a7d97555.
• L. H. Ford & T. A. Roman (1999), "The quantum interest conjecture." /library/stm-e1bdffd056.
• C. J. Fewster (2000), "A general worldline quantum inequality." /library/stm-22ba5ed09b.
• M. Pfenning & L. Ford (1997), "The unphysical nature of warp drive" (arXiv:gr-qc/9702026) — la facture à laquelle chaque conception ultérieure répond. /library/stm-710bf626ca.

Là où le règlement s'arrête

• L. H. Ford, A. D. Helfer & T. A. Roman (2002), "Spatially averaged quantum inequalities do not exist in four-dimensional spacetime." /library/stm-755a293263.
• C. J. Fewster & T. A. Roman (2003), "Null energy conditions in quantum field theory." /library/stm-d1e51c2294.
• S. Krasnikov (2003), "Quantum inequalities do not forbid spacetime shortcuts." /library/stm-898c89f416.
• A. C. Wall (2013), "The generalized second law implies a quantum singularity theorem" — avec la déclaration de l'auteur lui-même sur l'endroit où il ne s'applique pas. /library/stm-15e3404f9f.
• B. Freivogel, E.-A. Kontou & D. Krommydas (2022), "The return of the singularities: applications of the smeared null energy condition." /library/stm-75affcb30e.

La fabriquer, la mesurer, et la voie à travers

• E. Davis & H. Puthoff (2006), "Experimental concepts for generating negative energy in the laboratory." /library/stm-2fa40aad9d.
• E. Davis (2004), Teleportation Physics Study, AFRL-PR-ED-TR-2003-0034, DTIC ADA425545. /library/stm-5b568f0316.
• "Quantum Tomography of Negative Energy States in the Vacuum" (2011), DIRD. /library/stm-07d12a8c5d.
• J. Santiago, S. Schuster & M. Visser (2021), "Generic warp drives violate the null energy condition" (arXiv:2105.03079). /library/stm-467f9a2835.
• A. Bobrick & G. Martire (2021), "Introducing physical warp drives," Class. Quantum Grav. 38, 105009 (arXiv:2102.06824) — coques subluminiques à partir d'énergie positive.
• C. Van Den Broeck (1999), "A warp drive with more reasonable total energy requirements" (arXiv:gr-qc/9905084) — la bouteille topologique.
• C. M. Glenn (2026), "Overcoming the negative energy density requirements in the Alcubierre warp field equations with a complex shaping function." /library/stm-d4ce3e0e56.