Holographic Entanglement, Quantum Extremal Surfaces, and Reconstruction

Holographic entanglement begins with a classical area, adds bulk quantum entropy, extremizes the resulting generalized entropy, and uses relative-entropy matching to identify reconstructible bulk algebras. That chain is powerful only when its region, code subspace, regulator, and gravitational order remain explicit. This chapter develops the holographic realization while handing general Page-curve, factorization, and recovery theory to Black-Hole Information. Frontier evidence is assessed through 2026-08-20.

Helpful background. Gauge Theory and String-Theory Preparation supplies large-N holographic encoding; Quantum Gravity supplies the semiclassical expansion; Quantum Information supplies entropy and recovery; and Black-Hole Information supplies the general information problem and theorem-level treatment.

Enter this chapter

The central sequence is

$$\frac{\operatorname{Area}(X)}{4G_N} \longrightarrow S_{\rm gen}[X] \longrightarrow \min_X\operatorname*{ext}S_{\rm gen}[X] \longrightarrow D(\rho_A\Vert\sigma_A)=D(\rho_a\Vert\sigma_a) \longrightarrow\text{recovery on }A .$$

Each arrow adds assumptions. RT/HRT requires anchoring, homology, a common cutoff, and a classical saddle. FLM adds a regulated bulk algebra and loop expansion. QES requires local stationarity followed by global saddle comparison. Reconstruction requires relative-entropy equality throughout a fixed state family, not merely one entropy match.

Read the six pages in order:

1. Ryu–Takayanagi and HRT Surfaces states the static and covariant prescriptions, maximin hypotheses, and the AdS3 interval check.
2. Bulk Entanglement and Quantum Corrections derives the FLM term and the cancellation of regulator dependence.
3. Quantum Extremal Surfaces varies generalized entropy, computes the first surface shift, and compares branches.
4. Holographic Entanglement-Wedge Reconstruction follows the holographic path from JLMS equality to operator-algebra recovery.
5. Black-Hole Interior Reconstruction compares two-sided, code-subspace, mirror, and radiation representations with their state domains.
6. Islands and Black-Hole Information identifies which inputs are specifically holographic and which conclusions follow from general information theory.

Geometry, quantum entropy, and recovery

For a boundary region $A$, RT/HRT selects an anchored homologous surface $X_A$ and gives the leading large-N entropy. In a static slice it is minimal; in a covariant spacetime it is extremal and selected among admissible branches. The original area formula is normalized in Ryu and Takayanagi 2006, complete article, pp. 1–4, while the Lorentzian extension appears in Hubeny, Rangamani, and Takayanagi 2007, §§ 2–4.

At order $N^0$, the finite object is the renormalized sum

$$S_{\rm gen}[X] =\frac{\operatorname{Area}_{\rm ren}(X)}{4G_{\rm ren}} +S_{\rm bulk,ren}(r_X)+S_{\rm local}[X].$$

The bulk entropy can be evaluated on the classical surface at first quantum order because its first area variation vanishes. Metric backreaction nevertheless changes the area already at order $N^0$ and must be included in the displayed area term. The entropy shape derivative shifts the surface by order $G_N$ when the area Hessian is invertible; the effect of that embedding shift on the entropy enters one order later. Multiple QES branches must be extremized separately and then minimized.

The selected QES bounds the entanglement wedge $a$. JLMS relates boundary and wedge modular data; subtracting generalized entropies gives relative-entropy equality to the retained order. In a regulated fixed code, equality in data processing yields a recovery channel and boundary representatives of the wedge algebra. That conclusion is existential, perturbative, and state-domain dependent. It does not produce a simple decoder or a state-independent interior operator on the entire Hilbert space.

State of the evidence through 2026-08-20

The matrix separates established semiclassical constructions from disputed extrapolations.

assumptions and setting	controlled evidence or position	adverse limitation or discriminator	primary source
Large-N holographic state, asymptotically AdS classical saddle, anchored homologous surface, suitable causal and focusing conditions	RT/HRT and maximin compute leading boundary-region entropy and reproduce interval normalization and entropy inequalities	Competing saddles, higher curvature, violated focusing assumptions, or order-one quantum entropy require a modified analysis	Hubeny, Rangamani, and Takayanagi 2007, §§ 2–4
Fixed semiclassical bulk state, common regulator, one-loop expansion about a nondegenerate classical surface	Bulk entanglement, metric backreaction, and local entropy terms supply the first quantum correction	Large species number, zero modes, topology change, or mismatched subtraction schemes invalidate the simple expansion	Faulkner, Lewkowycz, and Maldacena 2013, § 2.2, Eq. (2.15)
Regulated fixed code subspace, fixed wedge algebra and center, relative-entropy equality for all relevant state pairs	Wedge operators have boundary representatives; overlapping regions can realize the same logical operator on the code	Enlarging the code across a QES transition or requiring uniform nonperturbative accuracy can destroy reconstruction	Dong, Harlow, and Wall 2016, complete Letter, pp. 1–5
Old evaporating black hole with ordinary factorization, semiclassical smooth horizon, and unitary radiation assumptions	Entanglement monogamy supplies an adverse obstruction to imposing all assumptions simultaneously	The argument identifies an inconsistent set but does not by itself choose whether factorization, effective field theory, or another premise fails in gravity	Almheiri, Marolf, Polchinski, and Sully 2013, §§ 2–3
Semiclassical gravity-plus-bath model with replica-symmetric wormhole saddles and controlled continuation	A nonempty island QES can dominate after a Page-like crossing, moving an interior algebra into the radiation wedge	Replica continuation, ensemble versus fixed theory, microscopic factorization, and decoding remain additional assumptions	Almheiri et al. 2020, §§ 2–5

Competing positions and the information boundary

One position treats geometric encoding as the central lesson: within a small semiclassical code, QES wedges and relative entropy organize where information can be reconstructed. This is robust and mathematically connected to quantum error correction. A stronger position extrapolates the same picture to one state-independent local interior algebra for generic microstates. Evidence does not establish that extension; wedge transitions, state dependence, dressing, complexity, and finite-N errors become decisive.

Island calculations generate a related competition. A geometric reading says that a replica saddle changes the dominant generalized entropy and hence the semiclassical wedge assignment. A microscopic reading says that an exact radiation subsystem has a unitary Page curve and an explicit decoder. The first can be controlled in specific models without proving the second. General Page curves, replica factorization, and recovery conditions therefore remain in Black-Hole Information, while this chapter develops the holographic saddles and region/surface map.

The most useful discriminator is to enlarge the state family. If two states have indistinguishable reductions on a proposed boundary region but different wedge expectations, relative-entropy equality fails and no region-supported operator can represent the wedge observable on that enlarged code. It remains unresolved how large a code admits a common semiclassical interior, how gravitational dressing alters exact algebra factorization, and whether non-isometric or complexity-limited maps provide the correct nonperturbative description.

What could change these conclusions

The conclusions could change when a theorem controls reconstruction for a larger algebra or state class, when an explicit counterexample shows inconsistent action on overlapping codes, or when an independent calculation supplies a nonperturbative recovery error. A controlled change in replica contour, boundary condition, field content, or fixed-theory versus ensemble interpretation could also change the interpretation. Additional saddle examples within the same assumptions strengthen evidence but do not alone settle microscopic factorization or full-Hilbert-space interior operators.

Review the chapter

Combine QES selection with a reconstruction test. Two already-extremized branches have generalized entropies $S_1=40+5$ and $S_2=42+1$. Which branch is selected? If its boundary and wedge relative entropies differ by $0.20$ while the claimed uniform tolerance is $0.05$, what follows?

Solution

The first branch has generalized entropy $45$, while the second has $43$, so branch two is selected even though its geometric term is larger. This comparison illustrates why area alone cannot choose a QES after quantum corrections: the smaller bulk contribution reverses the area ordering. The relative-entropy mismatch is four times the declared tolerance, so the assumed recovery hypothesis fails on the tested state pair. The geometry may still define a candidate wedge, but one cannot claim boundary reconstruction on that code with the advertised accuracy. The state domain, error bound, or perturbative calculation must be revised, and a new pairwise relative-entropy check must pass before recovery is asserted.

References

• Almheiri, Ahmed, Donald Marolf, Joseph Polchinski, and James Sully. “Black Holes: Complementarity or Firewalls?” Journal of High Energy Physics 02 (2013): 062. DOI. Open PDF.
• Almheiri, Ahmed, Thomas Hartman, Juan Maldacena, Edgar Shaghoulian, and Amirhossein Tajdini. “Replica Wormholes and the Entropy of Hawking Radiation.” Journal of High Energy Physics 05 (2020): 013. DOI. Open PDF.
• Dong, Xi, Daniel Harlow, and Aron C. Wall. “Reconstruction of Bulk Operators within the Entanglement Wedge in Gauge-Gravity Duality.” Physical Review Letters 117 (2016): 021601. DOI. Open PDF.
• Faulkner, Thomas, Aitor Lewkowycz, and Juan Maldacena. “Quantum Corrections to Holographic Entanglement Entropy.” Journal of High Energy Physics 11 (2013): 074. DOI. Open PDF.
• Hubeny, Veronika E., Mukund Rangamani, and Tadashi Takayanagi. “A Covariant Holographic Entanglement Entropy Proposal.” Journal of High Energy Physics 07 (2007): 062. DOI. Open PDF.
• Ryu, Shinsei, and Tadashi Takayanagi. “Holographic Derivation of Entanglement Entropy from the Anti-de Sitter Space/Conformal Field Theory Correspondence.” Physical Review Letters 96 (2006): 181602. DOI. Open PDF.

Dated Research assessment. For open questions and recent results, follow the link below. Each assessment states the date through which it considers results and the limits of its conclusions.

• From AdS Unitarity to Evaporating Black Holes