Holographic Entropy and Quantum Extremal Geometry

Holographic entropy is not one formula applied in every regime. Static Einstein gravity leads to the Ryu–Takayanagi (RT) minimum (Ryu and Takayanagi 2006a; Ryu and Takayanagi 2006b); time dependence requires the covariant Hubeny–Rangamani–Takayanagi (HRT) extremum (Hubeny, Rangamani, and Takayanagi 2007); one-loop bulk entropy gives the Faulkner–Lewkowycz–Maldacena (FLM) correction (Faulkner, Lewkowycz, and Maldacena 2013); and a self-consistent semiclassical answer extremizes renormalized generalized entropy at a quantum extremal surface (QES). Higher-curvature actions, finite replica index, and mixed-state measures each require different functionals and hypotheses. This chapter keeps those prescriptions separate and shows how to select and test them.

Helpful background. Review replica branched geometries and Rényi analytic continuation for the boundary definitions; generalized-entropy renormalization and the semiclassical QES definition for the imported quantum functional; and causal wedges to avoid identifying causal and entanglement constructions.

Choose the prescription before computing

Every problem should specify:

• the boundary state, spatial region or algebra, and entropy or mixed-state measure;
• Euclidean or Lorentzian signature, bulk dimension, asymptotic region, and gravitational action;
• anchoring and homology, including horizon components and end-of-the-world boundaries when present;
• whether the surface is minimal, extremal, maximin, or quantum extremal;
• all competing surfaces and gravitational saddles;
• regulator and renormalized counterterms for both geometric and bulk-field terms;
• the order in $G_N$, higher-derivative couplings, and bulk loops;
• replica symmetry, analytic-continuation branch, and contour assumptions; and
• whether the result is a prescription, a conditional derivation, a theorem under geometric hypotheses, or a proposal supported in special models.

For the global $(+---)$ convention, spacelike codimension-two surfaces have positive induced area. Euclidean replica calculations are obtained by an explicitly stated continuation; Lorentzian HRT and maximin statements are not inferred by silently treating Euclidean time as another spatial coordinate.

Two entry routes

The geometric route starts with static RT, moves to covariant HRT and maximin, then changes the functional for higher derivatives and quantum corrections before studying replica saddles. This route is best when the bulk geometry and gravitational action are primary.

The information route first imports the exact boundary measure, then asks which optimization, network, cone, cross section, or cosmic brane reproduces it in a controlled holographic class. This route is best for inequalities and mixed-state quantities, where several inequivalent bulk proposals can coexist.

The thirteen pages

1. The Ryu–Takayanagi Formula derives the regulated $\mathrm{AdS}_3$ interval result and enforces homology and global saddle competition.
2. Covariant Extremal Surfaces and HRT replaces a preferred static slice by a Lorentzian extremal surface and tests an AdS–Vaidya quench.
3. Maximin Constructions and Extremal-Surface Existence states the causal, compactness, and focusing hypotheses under which maximin identifies HRT.
4. Holographic Higher-Derivative Entropy Functionals shows why Wald entropy alone fails on a generic non-Killing entangling surface.
5. FLM Corrections and Holographic Use of Imported Generalized Entropy and QES separates a fixed-surface one-loop correction from quantum extremization and saddle selection.
6. Replica Derivations and Cosmic Branes derives the area term near $n=1$ and isolates replica-symmetry and continuation assumptions.
7. Rényi Entropies and Cosmic-Brane Backreaction keeps finite-$n$ brane tension and backreaction rather than extrapolating the entropy geometry.
8. Bit Threads, Multiflow, and Optimization Duality proves the static Einstein max-flow/min-cut equivalence and marks its extensions.
9. Tensor-Network Models of Holographic Entanglement Geometry computes a perfect-tensor example without treating the model as a continuum derivation.
10. Entanglement Wedges, Nesting, and Information Inequalities relates boundary inclusion to classical wedges under maximin and focusing hypotheses.
11. Holographic Entropy Inequalities and Entropy Cones distinguishes universal quantum inequalities from the smaller classical holographic cone.
12. Reflected Entropy and Proposed Entanglement-Wedge Cross-Section Duals tests the leading connected-wedge proposal and its disconnection and loop limits.
13. Negativity, Purification Measures, and Proposed Mixed-State Bulk Duals compares inequivalent candidates against defining information-theoretic properties.

Synthesis: what is being extremized?

Regime	Candidate functional	Selection rule	Status within scope
Static Einstein, leading $G_N^{-1}$	$\operatorname{Area}(\gamma_A)/(4G_N)$	minimum on a static slice, anchored and homologous to $A$	RT prescription; derived in controlled replica settings
Time-dependent Einstein, leading $G_N^{-1}$	area	Lorentzian codimension-two extremum, then least area among admissible extrema	HRT prescription; maximin theorems need causal and focusing hypotheses
Fixed classical RT surface, order $G_N^0$	area renormalization plus $S_{\rm bulk}$ and local terms	evaluate on the classical surface	FLM one-loop correction
Semiclassical gravity	renormalized $S_{\rm gen}$	extremize, then compare admissible QES saddles	QES prescription/application
Higher-curvature gravity	action-dependent entropy functional	extremize the full functional	not pure area; extrinsic terms generally matter
Finite Rényi index	backreacted quotient action or cosmic-brane area relation	solve separately at each $n$ and compare saddles	depends on analytic branch and replica symmetry
Mixed-state measures	measure-specific proposed cross section or brane functional	proposal-dependent	established only in stated models/orders

“Extremal” is not “minimal,” and “minimal on one slice” is not covariant. Likewise, generalized entropy is a renormalized sum: changing the matter regulator without the compensating gravitational couplings creates a spurious answer.

Review the chapter

A satisfactory analysis should be able to answer all of the following with equations or a reproducible comparison.

1. Which boundary measure is being computed, and what regulator or algebra defines it?
2. Which bulk functional follows from the gravitational action at the claimed order?
3. What are the anchoring and homology conditions, including disconnected and horizon components?
4. Have all admissible extrema and gravitational saddles been compared globally?
5. In Lorentzian signature, what establishes existence, spacelikeness, and causal placement of the surface?
6. For a quantum answer, which terms jointly renormalize $S_{\rm gen}$, and is the surface fixed or quantum extremized?
7. For a replica answer, what supports replica symmetry and the continuation from integer $n$ to the desired value?
8. For a mixed-state geometry, which defining zeros, monotonicities, bounds, and phase transitions have actually been reproduced?

An answer that omits any consequential item is a calculation in an underspecified problem, not a completed entropy claim.

Exits

Continue to modular response and emergent-gravity claims for first-law and relative-entropy arguments, then to entanglement wedges and holographic quantum error correction for algebra reconstruction. Black-hole information uses replica and QES saddle competition in Page-curve calculations. Return to Quantum Information in QFT for measure definitions and to QFT in Curved Spacetime for the renormalized generalized-entropy and QES framework.

Chapter-scale structure and validity checks

The chapter-scale structure map locates this page’s result inside the full reasoning chain. Follow the solid arrows through the declared inputs and checks; the dashed final arrow marks the point where an additional inference would be required.

RT, HRT, FLM, and QES are distinct prescriptions with different orders in gravity, saddle choices, and renormalization requirements. The diagram is an original schematic, is not to scale, and uses the dashed final arrow to mark the claim boundary.

Accessible figure data (JSON)

The companion validity map turns three common overclaims into explicit failure tests. Read each row from its declared object to the diagnostic, then compare the licensed conclusion with the dashed “not” endpoint.

RT, HRT, FLM, and QES are distinct prescriptions with different orders in gravity, saddle choices, and renormalization requirements. Each row pairs a diagnostic with the strongest supported conclusion and an explicitly unsupported promotion. The diagram is an original schematic and is not to scale.

Accessible figure data (JSON)

Claim-domain comparison

The table below gives a screen-reader-friendly comparison of three representative claims. It keeps the required declaration, approximation status, evidence timing, counterevidence, falsifier, failure condition, and licensed conclusion in one reading order.

Representative claim domains and validity boundaries for Holographic Entropy and Quantum Extremal Geometry

Claim object	State, ensemble, and conventions	Approximation, status, and evidence timing	Uncertainty and counterevidence	Falsifier	Failure condition	Licensed conclusion
RT or HRT surface	Declare state, region, homology, and causal setting; use the volume conventions unless the page states a local replacement.	Model-specific calculation or conditional result. Control chain: regulated state and entropy → extremal or generalized functional → replica and surface selection → maximin and correction checks → geometric entropy claim. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “maximin and competing-surface check” check is counterevidence to the promoted claim.	maximin and competing-surface check	exact finite-N entropy	leading semiclassical entropy
FLM or QES	Declare bulk entropy scheme and Newton coupling; use the volume conventions unless the page states a local replacement.	Model-specific calculation or conditional result. Control chain: regulated state and entropy → extremal or generalized functional → replica and surface selection → maximin and correction checks → geometric entropy claim. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “generalized-entropy extremization” check is counterevidence to the promoted claim.	generalized-entropy extremization	microscopic factorization	stated quantum correction
replica derivation	Declare integer replicas and continuation rule; use the volume conventions unless the page states a local replacement.	Model-specific calculation or conditional result. Control chain: regulated state and entropy → extremal or generalized functional → replica and surface selection → maximin and correction checks → geometric entropy claim. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “cone regularity and saddle competition” check is counterevidence to the promoted claim.	cone regularity and saddle competition	unique nonperturbative continuation	conditional analytic continuation

Download the structured table data (JSON).

References

• Faulkner, T., Lewkowycz, A., and Maldacena, J. (2013). “Quantum corrections to holographic entanglement entropy.” Journal of High Energy Physics 2013(11), 074. DOI.
• Hubeny, V. E., Rangamani, M., and Takayanagi, T. (2007). “A covariant holographic entanglement entropy proposal.” Journal of High Energy Physics 2007(7), 062. DOI.
• Ryu, S., and Takayanagi, T. (2006). “Holographic derivation of entanglement entropy from the anti-de Sitter space/conformal field theory correspondence.” Physical Review Letters 96, 181602. DOI.
• Ryu, S., and Takayanagi, T. (2006). “Aspects of holographic entanglement entropy.” Journal of High Energy Physics 2006(8), 045. DOI.