Generalized Entropy and Quantum Extremal Surfaces

Generalized entropy turns a geometric surface into a candidate for a fine-grained quantum entropy, but only after the state, observable algebra, bulk region, regulator, and gravitational approximation have been fixed. This chapter develops that construction in the order needed to use it safely: define the renormalized functional, extremize it, impose anchoring and homology, establish causal control where the hypotheses permit, and only then compare saddles. The result is a powerful semiclassical prescription, not a microscopic theory of quantum gravity by itself.

Helpful background. Semiclassical Gravity supplies renormalized generalized entropy and backreaction; Quantum Information supplies density operators, von Neumann entropy, and entropy inequalities; Quantum Fields in Curved Spacetime supplies regulated field algebras and state-dependent entanglement on a prescribed geometry.

The generalized-entropy problem

Let $A$ be a nongravitating boundary or bath region, and let $X$ be an admissible codimension-two bulk surface anchored as the problem requires. A bulk achronal region $a_X$ is chosen so that its boundary contains $A$ and $X$ in the appropriate conformal completion. In Einstein gravity the leading semiclassical functional is

$$S_{\mathrm{gen}}[X;A] = \frac{\operatorname{Area}(X)}{4G} +S_{\mathrm{bulk}}(a_X) +S_{\mathrm{ct}}[X].$$

Here $S_{\mathrm{bulk}}$ is the fine-grained entropy of the declared bulk algebra in a declared state. Its ultraviolet divergence is not an optional nuisance: the same regulator-dependent local terms renormalize $G$ and higher-curvature couplings, so only the combined $S_{\mathrm{gen}}$ has the intended semiclassical meaning. In a higher-derivative theory, the area term is replaced by the appropriate gravitational entropy functional. The first page makes these choices explicit and checks the complementary-region and classical limits, following the first-order organization of Faulkner, Lewkowycz, and Maldacena 2013, §2.2 and the QES definition in Engelhardt and Wall 2015, §§2–3.

A quantum extremal surface is stationary under both independent normal deformations:

$$\frac{\delta S_{\mathrm{gen}}}{\delta X^a(y)}=0, \qquad a=0,1.$$

Stationarity is local; entropy selection is global. A stationary surface with the wrong anchoring, the wrong homology region, or larger generalized entropy than another admissible surface does not compute the desired entropy. That distinction—candidate, extremum, then minimum—organizes the whole chapter.

The chapter sequence is Generalized Entropy for Candidate Surfaces, The Quantum Extremality Condition, Homology and Region Anchoring, Quantum Maximin and Causal Properties, Competing Saddles and Entropy Transitions, and Regime, Corrections, and Interpretation. The order matters: later conclusions presuppose the earlier definition and selection rules.

Two routes through the chapter

The calculation route is for a reader who wants to evaluate an entropy. Begin with Generalized Entropy for Candidate Surfaces, derive the Quantum Extremality Condition, fix the associated region using Homology and Region Anchoring, and work through Competing Saddles and Entropy Transitions. This route makes clear why the minimum of two smooth saddle values can have a kink even though neither saddle is singular.

The theorem-and-scope route begins with the same definition, continues to Quantum Maximin and Causal Properties, and ends with Regime, Corrections, and Interpretation. It is aimed at questions such as entanglement-wedge nesting, causal separation, stability, and what remains after perturbative assumptions or quantum focusing are relaxed.

Both routes use a common bath model: a semiclassical gravitating region is coupled transparently to a nongravitating quantum field theory in which a radiation region $A$ has an ordinary algebra. This factorization makes $S(A)$ operationally well defined. It is an instructive model choice, not a generic property of a fully gravitating closed universe.

Selection, causality, and transitions

The surface prescription has three logically different filters.

1. Admissibility: anchoring, boundary conditions, and a homology relation select which surfaces and bulk regions belong to the problem.
2. Stationarity: the geometric first variation balances the entropy shape derivative. In the limit where quantum variations vanish, the QES reduces to a classical extremal surface.
3. Dominance: among admissible QESs, minimize the renormalized generalized entropy. A change of the minimizing branch produces a leading-order entropy transition.

Quantum maximin repackages part of this selection as a maximin construction over achronal slices. Under existence, stability, global-hyperbolicity, and quantum-focusing assumptions, it agrees perturbatively with the minimal QES and supports nesting and causal results; the precise definitions and theorem chain are in Akers, Engelhardt, Penington, and Usatyuk 2020, §§3.2–3.4 and §§4–5. Removing those hypotheses can remove the conclusion: an extremum may fail to exist, jump between topology classes, or lack the comparison inequality used in the proof.

The leading transition formula is simply

$$S(A)\simeq\min_i S_{\mathrm{gen}}[X_i;A],$$

where $\simeq$ denotes the retained semiclassical order. Once the complete first quantum correction has been included, the omitted perturbative terms are beyond that order; they are not another copy of the bulk entropy already displayed. The approximation can become nonuniform near a branch exchange, so a universal remainder should not be assigned without a specified model.

Results and open questions as of 2026-08-19

The chapter mixes established semiclassical derivations with open questions about analytic continuation and microscopic interpretation. The evidence cutoff for those mutable claims is 2026-08-19.

Evidence or result	Controlled scope	Limitation or open issue
Area plus bulk entropy at first quantum order, Faulkner, Lewkowycz, and Maldacena 2013, §2.2	Perturbative holographic states with a fixed boundary region and regulated bulk QFT	Does not supply all higher-loop or nonperturbative corrections
QES stationarity and causal analysis, Engelhardt and Wall 2015, §§2–4	Semiclassical expansion with a renormalized generalized entropy	Requires the stated causal and perturbative assumptions; it is not a UV definition
Quantum-maximin equivalence and nesting, Akers et al. 2020, §§3.4–5	Stable surfaces in the regulated semiclassical setting, with focusing or replacement hypotheses	Topology changes, nonexistence, and uncontrolled nonperturbative regimes remain outside the proof
Island/QES entropy in bath models, Almheiri et al. 2021, §§6–8	Selected two-dimensional and holographic semiclassical models	The entropy result alone does not determine a microscopic radiation density matrix or S-matrix

Two positions should remain distinct. A permissive reading treats the repeated agreement among replica, QES, and quantum-information structures as evidence for a broadly valid semiclassical entropy rule. A conservative reading accepts the controlled saddle calculations while withholding a universal statement about single-theory microscopic dynamics, especially when a gravitating bath, contour choice, or topology sum changes the problem. The evidence does not settle that extrapolation.

The conclusions could change after a theorem removes a focusing or stability hypothesis, after a controlled higher-dimensional single-theory calculation fixes the replica contour and nonperturbative completion, or after an explicit counterexample invalidates nesting, homology selection, or the assumed bath factorization.

Review the chapter

Diagnostic. Two admissible QES branches have $S_1(t)=S_0+\gamma t$ and $S_2(t)=2S_0-\gamma t$, with $S_0,\gamma\gt0$. Find the transition time, state whether either branch is singular there, and identify one fact still needed before interpreting the minimum as $S(A)$.

Solution

Equality gives $S_0+\gamma t_*=2S_0-\gamma t_*$, hence $t_*=S_0/(2\gamma)$. Both branches are smooth; only their minimum has a cusp because its derivative changes from $+\gamma$ to $-\gamma$. Before calling that minimum the entropy of $A$, one must at least verify that both surfaces satisfy the required anchoring and homology condition and that each $S_{\mathrm{gen}}$ was renormalized in the same scheme. Stationarity alone is insufficient.

After this chapter, the natural next step is the replica construction: it explains why new gravitational saddles can generate precisely the competing generalized-entropy branches used here.

References

• Akers et al. 2020, Chris Akers, Netta Engelhardt, Geoffrey Penington, and Mykhaylo Usatyuk, “Quantum Maximin Surfaces,” Journal of High Energy Physics 08 (2020) 140.
• Almheiri et al. 2021, Ahmed Almheiri, Thomas Hartman, Juan Maldacena, Edgar Shaghoulian, and Amirhossein Tajdini, “The Entropy of Hawking Radiation,” Reviews of Modern Physics 93 (2021) 035002.
• Engelhardt and Wall 2015, Netta Engelhardt and Aron C. Wall, “Quantum Extremal Surfaces: Holographic Entanglement Entropy beyond the Classical Regime,” Journal of High Energy Physics 01 (2015) 073.
• Faulkner, Lewkowycz, and Maldacena 2013, Thomas Faulkner, Aitor Lewkowycz, and Juan Maldacena, “Quantum Corrections to Holographic Entanglement Entropy,” Journal of High Energy Physics 11 (2013) 074.