Skip to content

Traversable Wormholes and Quantum Sources

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

A static spherical wormhole throat requires negative radial null energy when the Einstein term dominates its field equation. Quantum field theory permits negative energy only with state-, duration-, sampling-, and geometry-dependent restrictions. Controlled negative energy exists in special settings—Casimir arrangements, boundary-coupled holographic systems, and selected large-NN states—but a metric ansatz plus a negative energy component is not yet a self-consistent semiclassical wormhole.

Required background. Quantum Information supplies entangled states and coupled subsystems.

Helpful background. Quantum Fields in Curved Spacetime supplies renormalized negative energy; Einstein Equations supplies throat constraints; Black-Hole Geometry and Mechanics supplies null congruences; Semiclassical Gravity supplies backreaction; and Causality and Global Structure supplies traversability and chronology.

For a static spherical geometry,

ds2=−e2Φ(r)dt2+dr21−b(r)/r+r2dΩ22,ds^2=-e^{2\Phi(r)}dt^2 +\frac{dr^2}{1-b(r)/r}+r^2d\Omega_2^2,

a throat at r=r0r=r_0 satisfies b(r0)=r0b(r_0)=r_0. Absence of a Killing horizon requires finite Φ(r0)\Phi(r_0), and flare-out requires b′(r0)<1b'(r_0)\lt 1. Assume a regular redshift function, so that (1−b/r)Φ′(1-b/r)\Phi' vanishes at the throat. Projecting the Einstein equation on the radial orthonormal null vector ka^=(1,1,0,0)k^{\hat a}=(1,1,0,0) gives

Ta^b^ka^kb^=ρ+pr=b′(r0)−18πGr02<0.T_{\hat a\hat b}k^{\hat a}k^{\hat b} =\rho+p_r =\frac{b'(r_0)-1}{8\pi G r_0^2}\lt 0.

Thus the classical null energy condition fails at the throat. A cosmological-constant term drops out of this null contraction. If higher-curvature terms are appreciable, the same geometric relation constrains an effective source including those terms, not matter alone. This equation fixes the stress required by the geometry; it does not construct a quantum state that realizes it. A proposed source must also satisfy stress conservation away from the throat, regularity in a freely falling frame, and the remaining semiclassical equations.

For a free massless minimally coupled scalar in four-dimensional Minkowski space, Ford and Roman use a Lorentzian-sampled timelike quantum inequality. Along an inertial worldline, with stress normal ordered relative to the Minkowski vacuum and an admissible Hadamard state, it reads

τ0π∫−∞∞⟨Tabuaub⟩ dττ2+τ02≥−332π2τ04.\frac{\tau_0}{\pi}\int_{-\infty}^{\infty} \frac{\langle T_{ab}u^au^b\rangle\,d\tau} {\tau^2+\tau_0^2} \ge-\frac{3}{32\pi^2\tau_0^4}.

The lower bound weakens as τ0−4\tau_0^{-4} for short sampling; satisfying it is a necessary constraint and does not construct a state realizing a proposed energy profile. Ford and Roman apply the flat-space bound locally when τ0\tau_0 is much smaller than curvature and boundary scales Ford and Roman 1996, §§ 2–3, PDF. This is a local-flatness approximation: the Lorentzian sampler has infinite tails, so the scale comparison alone is not an exact curved-spacetime theorem. Their §§ 4–6 obtain strong restrictions on broad static wormhole families under that approximation; a rigorous application can instead use an appropriate curved-spacetime inequality with controlled sampling support.

For a simple scale estimate, set Φ=0\Phi=0 and b(r)=r02/rb(r)=r_0^2/r, the example in Ford and Roman 1996, § 4.1, Eqs. (47)–(51), PDF. The Einstein equation gives ρ(r0)=−1/(8πGr02)\rho(r_0)=-1/(8\pi G r_0^2). A static observer is geodesic in this ultrastatic metric and measures a constant density. Formally choosing τ0=fr0\tau_0=f r_0, with f≪1f\ll1, in the local-flatness estimate gives

18πGr02≤332π2f4r04⟹r0≤32π f2 ℓP.\frac{1}{8\pi G r_0^2} \le\frac{3}{32\pi^2 f^4r_0^4} \quad\Longrightarrow\quad r_0\le\frac{\sqrt3}{2\sqrt\pi\,f^2}\,\ell_P.

Here ℓP=G\ell_P=\sqrt G in the stated quantum-field units. The estimate explains the tension between throat size and sustained negative energy, while its numerical bound inherits the sampling approximation. It neither identifies a supporting state nor proves a universal wormhole prohibition.

This is not a theorem excluding every wormhole. The field class, worldline, sampling function, local-flatness approximation, number of species, boundary conditions, and relation between timelike and null averages all matter. Enlarging NN species can enhance negative stress, but it also renormalizes gravitational couplings and changes the scale at which matter loops or fluctuations become important.

Results and open questions through 2026-08-19

Section titled “Results and open questions through 2026-08-19”

Evidence through 2026-08-19 establishes controlled traversability in special coupled or lower-dimensional constructions and powerful restrictions on generic negative-energy throats. A universal verdict for asymptotically flat four-dimensional semiclassical wormholes remains unresolved and conjectural.

Evidence and exact locatorControlled result or claimScope and limitation
Ford and Roman 1996, §§ 2–6, PDFTimelike quantum inequalities force extreme scale separation or thin negative-energy regions in broad static wormhole examplesFree-field, sampling, local-flatness, and geometry assumptions; not a universal no-go theorem
Gao, Jafferis, and Wall 2017, §§ 2–4, PDFA boundary double-trace coupling produces negative averaged null energy and a traversable window in a controlled holographic setupTwo coupled asymptotic systems and perturbative holographic assumptions; not an isolated asymptotically flat throat
Kontou 2024, §§ 4–5, PDFModern QEI and averaged-energy results sharpen restrictions on short wormholes and time-machine variantsHypotheses vary by field, sampling curve, and geometry; self-consistent source construction remains separate
Kontou 2024, §§ 6.1–6.4, PDFLong-wormhole proposals are compared with SNEC, DSNEC, and two-dimensional boundsSome inequalities are conjectural or conditional, and translating them between dimensions or states is nontrivial

The conservative position demands an explicit renormalized state whose stress solves the full geometry and passes QEI, fluctuation, and cutoff tests. The competing constructive position regards a controlled averaged negative-energy calculation in a coupled or holographic system as sufficient evidence for traversability in that system. Both can be correct because their boundary coupling, asymptotics, field content, and large-NN regime axes differ.

A complete semiclassical proposal should provide:

  • a globally specified state or density matrix and its boundary interactions;
  • the renormalized ⟨Tab⟩\langle T_{ab}\rangle in the same geometry it supports;
  • constraint and conservation residuals;
  • sampling times compared with curvature radii, throat length, and boundary distance;
  • stress fluctuations or a noise-kernel estimate at that sampling scale;
  • the renormalized species dependence of GG and the EFT cutoff; and
  • a causal diagram showing whether the construction creates a chronology horizon.

Three adverse tests prevent easy overclaims. Turn off the boundary coupling: if negative energy disappears, the wormhole is not an autonomous vacuum solution. Increase the sampling time within its valid range: a sustained energy profile must continue to satisfy the appropriate inequality. Perturb the throat and state together: a stress computed only on the unperturbed metric cannot establish dynamical stability.

Averaged null energy and timelike QEI statements are not interchangeable. Nor can a short sampling bound be extrapolated across an entire macroscopic throat. If the required support lies at the cutoff, curvature becomes Planckian, or the propagated fluctuations of a smeared throat observable invalidate perturbation theory, the semiclassical construction has reached its boundary. A large stress variance relative to a nearly vanishing mean is not by itself that metric-fluctuation test.

Semiclassical gravity asks whether a declared quantum source supports a mean traversable geometry. If the proposal requires topology creation, a superposition of causal structures, or microscopic factorization across the throat, the treatment passes to Quantum Gravity. If relative motion creates a compactly generated chronology horizon, the Kay–Radzikowski–Wald obstruction must also be tested; traversability alone does not imply a time machine.

The conclusions could change after a new QEI or averaged-null theorem changes the admissible field and sampling class, an independently reproduced self-consistent four-dimensional solution survives fluctuation tests, a boundary-coupled construction loses or gains a controlled traversable window, or a corrected species analysis changes the cutoff; a nonlinear stability result or chronology-horizon theorem could also change the conclusion.

In units where the displayed inequality applies, suppose a nearly constant sampled energy density is ρ=−10−5\rho=-10^{-5}. Test it with τ0=5\tau_0=5 and τ0=10\tau_0=10. Why must the second result be checked against local curvature before drawing a conclusion?

Solution

For τ0=5\tau_0=5, the lower bound is

−332π2(5)4≃−1.52×10−5,-\frac{3}{32\pi^2(5)^4}\simeq-1.52\times10^{-5},

so ρ=−10−5\rho=-10^{-5} lies above the bound. For τ0=10\tau_0=10, the bound is approximately −9.50×10−7-9.50\times10^{-7}, so the same constant negative density would violate it. However, the flat-space approximation is available only if τ0\tau_0 is short compared with every local curvature and boundary scale. If 1010 exceeds that range, one must use a curved-space QEI rather than claim exclusion.

  • Ford, L. H., and Roman, T. A. (1996). “Quantum Field Theory Constrains Traversable Wormhole Geometries.” Physical Review D 53, 5496–5507. DOI. Open PDF.
  • Gao, P., Jafferis, D. L., and Wall, A. C. (2017). “Traversable Wormholes via a Double Trace Deformation.” JHEP 12, 151. DOI. Open PDF.
  • Kontou, E.-A. (2024). “Wormhole Restrictions from Quantum Energy Inequalities.” Universe 10, 291. DOI. Open PDF.