Two-Sided Black Holes and Thermofield-Double States

The thermofield-double state purifies a thermal density operator by introducing a second copy of the Hilbert space. In a controlled holographic regime, its leading saddle is the two-sided eternal AdS black hole. This relation fixes exterior thermal correlators and left–right analytic continuations; it does not by itself prove an exact tensor factorization of quantum gravity or a state-independent interior operator algebra.

Required background. States, Geometries, and Radial Quantization supplies the state/geometry dictionary. Euclidean Saddles, Thermal States, and Hawking–Page Transitions fixes the relevant thermal saddle.

Helpful background. Thermal Density Operators and the KMS Condition supplies the thermal algebra. Reflected Entropy and Canonical Purifications and Finite-Temperature and Excited-State Entanglement distinguish purification-dependent from invariant data. Vacuum Entanglement Harvesting separates correlations from signaling, and Complete Passivity, KMS Structure, and Resource Conversion fixes the operational thermal comparison.

First application. Construct the TFD from an energy eigenbasis, trace out one copy, and match the resulting thermal state to one exterior of an eternal AdS black hole.

Constructing the thermofield double

Let $H\lvert n\rangle=E_n\lvert n\rangle$. With a definite antiunitary identification of the left copy, define

$$\lvert\mathrm{TFD}(\beta)\rangle =\frac{1}{\sqrt{Z(\beta)}} \sum_n e^{-\beta E_n/2} \lvert n\rangle_L^*\otimes\lvert n\rangle_R.$$

Tracing out either factor gives

$$\operatorname{Tr}_L \lvert\mathrm{TFD}\rangle\langle\mathrm{TFD}\rvert =\frac{e^{-\beta H_R}}{Z(\beta)}.$$

The state is invariant under the boost-like generator $H_R-H_L$, not generally under $H_R+H_L$. That sign encodes the opposite future time orientations of the two asymptotic exteriors. An operator identity such as

$$O_L(t)\lvert\mathrm{TFD}\rangle =O_R^\dagger(-t+i\beta/2)\lvert\mathrm{TFD}\rangle$$

depends on the transpose or antiunitary convention used to identify the copies; the KMS shift is the invariant content.

Euclidean preparation and the two-sided saddle

A Euclidean path integral over a half thermal circle prepares matrix elements of $e^{-\beta H/2}$ and hence the TFD wavefunction. Gluing the two ends produces the full thermal trace. When the dominant bulk filling is Euclidean AdS–Schwarzschild, cutting it across a reflection-symmetric surface and continuing to Lorentzian signature yields the two-sided Kruskal extension described by Maldacena 2003, §§2–3.

Each exterior is dual to one boundary copy. The Einstein–Rosen bridge joins the spatial slices behind the horizons, while causal signals still cannot pass from one boundary to the other in the unperturbed geometry. Left–right correlators probe correlations in the purification and can be computed by bulk propagators crossing the bridge.

The dictionary is regime dependent:

• the CFT TFD is an exact state once the two-copy theory and basis identification are defined;
• a smooth classical bridge is a leading large-central-charge, strong-coupling saddle when that saddle dominates;
• bulk loops and other saddles correct correlators;
• very late-time finite-N behavior is not captured by a single stationary geometry.

What tracing out does—and does not—show

The reduced right state is thermal for all right-algebra observables. It does not follow that the left system is a unique physical “inside”; infinitely many purifications give the same density matrix. The TFD is distinguished by its energy alignment, symmetries, and Euclidean preparation.

Nor does entanglement alone imply a semiclassical wormhole. A generic maximally entangled state obtained by a complicated unitary on the left has the same right density matrix but very different simple left–right correlators. Smooth geometry requires special structure in the state and dictionary, not only a large entropy.

In gravity, gauge constraints can also obstruct an exact factorization into left, interior, and right local Hilbert spaces. The two asymptotic CFT copies factorize by construction; the bulk subregion factorization and center variables require a separate algebraic treatment.

Adversarial controls

Scramble one side. Apply a generic unitary $U_L$ that commutes neither with $H_L$ nor with simple operators. The right density matrix remains thermal, but simple two-sided correlations and the semiclassical slice can change. Thus one-sided thermality is insufficient evidence for the original bridge.

Reverse the time convention incorrectly. Evolving both copies with $H_R+H_L$ removes stationarity and changes the analytic continuation. The KMS relation catches the sign error.

Promote the saddle to an exact interior. A single Euclidean saddle reproduces a controlled semiclassical sector; it does not construct exact state-independent operators behind the horizon or settle their finite-N algebra.

Evidence ceiling

The TFD construction exactly purifies the thermal state of two copies. In the holographic regime, Euclidean preparation and correlator matching support a two-sided black-hole saddle over its semiclassical time and code-sector domain. They do not prove that every entangled state has a wormhole, fix a unique purification, or solve black-hole interior reconstruction.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

References

• Israel, Werner. “Thermo-Field Dynamics of Black Holes.” Physics Letters A 57, 107–110 (1976). DOI.
• Maldacena, Juan. “Eternal Black Holes in Anti-de Sitter.” Journal of High Energy Physics 2003, 021 (2003). DOI; arXiv:hep-th/0106112.
• Takahashi, Yasushi, and Hiroomi Umezawa. “Thermo Field Dynamics.” Collective Phenomena 2, 55–80 (1975). J-GLOBAL record.