Holographic Entropy and Quantum Extremal Geometry
Holographic entropy translates boundary entanglement into a geometric extremization problem. Static, time-dependent, quantum-corrected, and higher-curvature settings require different prescriptions and a consistent definition of the quantity being extremized.
Enter this chapter
Section titled “Enter this chapter”Begin with The Ryu–Takayanagi Formula to apply the static area prescription with its homology constraint.
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.
Topics
Section titled “Topics”- The Ryu–Takayanagi Formula — Derives the regulated interval result and enforces homology and global saddle competition.
- Covariant Extremal Surfaces and HRT — Replaces a preferred static slice by a Lorentzian extremal surface and tests an AdS–Vaidya quench.
- Maximin Constructions and Extremal-Surface Existence — States the causal, compactness, and focusing hypotheses under which maximin identifies HRT.
- Holographic Higher-Derivative Entropy Functionals — Shows why Wald entropy alone fails on a generic non-Killing entangling surface.
- FLM Corrections and Holographic Use of Imported Generalized Entropy and QES — Separates a fixed-surface one-loop correction from quantum extremization and saddle selection.
- Replica Derivations and Cosmic Branes — Derives the area term near and isolates replica-symmetry and continuation assumptions.
- Rényi Entropies and Cosmic-Brane Backreaction — Keeps finite- brane tension and backreaction rather than extrapolating the entropy geometry.
- Bit Threads, Multiflow, and Optimization Duality — Proves the static Einstein max-flow/min-cut equivalence and marks its extensions.
- Tensor-Network Models of Holographic Entanglement Geometry — Computes a perfect-tensor example without treating the model as a continuum derivation.
- Entanglement Wedges, Nesting, and Information Inequalities — Relates boundary inclusion to classical wedges under maximin and focusing hypotheses.
- Holographic Entropy Inequalities and Entropy Cones — Distinguishes universal quantum inequalities from the smaller classical holographic cone.
- Reflected Entropy and Proposed Entanglement-Wedge Cross-Section Duals — Tests the leading connected-wedge proposal and its disconnection and loop limits.
- Negativity, Purification Measures, and Proposed Mixed-State Bulk Duals — Compares inequivalent candidates against defining information-theoretic properties.
How the ideas fit together
Section titled “How the ideas fit together”The leading classical area term receives a bulk-entanglement correction at the next semiclassical order Faulkner, Lewkowycz, and Maldacena 2013, §§ 2–3. Quantum extremal surfaces organize this by extremizing a renormalized generalized entropy, so surface displacement and bulk entropy must be counted consistently.
Homology and comparison among candidate extrema remain essential: solving the local extremality equation alone does not select the entropy. Rényi replicas backreact differently, and proposed mixed-state measures answer other boundary questions. A successful von Neumann entropy prescription therefore does not automatically establish every suggested geometric dual.
The comparison below separates the assumptions and tests needed for these different conclusions.
Claim-domain comparison
Section titled “Claim-domain comparison”| 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. | The proposed surface fails anchoring, homology, or extremality, or an admissible competing extremal surface defeats its claimed selection. | Promoting leading semiclassical entropy to 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. | Regulator dependence survives at the retained order; for a claimed QES, the generalized entropy is not stationary. FLM uses the classical surface at its stated order. | Inferring microscopic Hilbert-space factorization from an entropy correction. | 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. | The proposed replica family violates its regularity or boundary conditions, or its claimed dominant saddle loses to an admitted competitor on the chosen cycle. | Inferring a unique nonperturbative continuation from one semiclassical replica family. | conditional analytic continuation |
Download this comparison as JSON
Where to go next
Section titled “Where to go next”Continue to Modular Response, Relative Entropy, and Emergent-Gravity Claims to compare boundary and bulk modular data in a controlled code sector.
References
Section titled “References”- Faulkner, T., Lewkowycz, A., and Maldacena, J. (2013). “Quantum corrections to holographic entanglement entropy.” Journal of High Energy Physics 2013(11), 074. DOI.