---
title: Quantum Extremal Surface Method
url: https://www.emergentmind.com/topics/quantum-extremal-surface-method
type: topic
---

# Quantum Extremal Surface Method

The quantum extremal surface (QES) method generalizes the classical Ryu–Takayanagi (RT) formula for holographic entanglement entropy to include quantum corrections and to address the computation of fine-grained entropy in semiclassical gravity. The QES is defined as a codimension-2 bulk surface that extremizes the “generalized entropy” functional, which is the sum of the Bekenstein–Hawking area term and the von Neumann entropy of bulk quantum fields across the surface. The QES prescription is central in the consistent semiclassical description of black hole information, the emergence of “islands,” phase transitions such as the Page curve, and in resolving paradoxes in both holographic and non-holographic settings.

## 1. Generalized Entropy Functional and Quantum Extremality

The QES prescription associates to any boundary subregion $A$ the entropy
\[
S(A) = \min_{X \sim \partial A} \text{Ext}_X \left[ S_{\mathrm{gen}}[X] \right]
\]
where the generalized entropy is
\[
S_{\mathrm{gen}}[X] = \frac{\mathrm{Area}(X)}{4 G_N} + S_{\mathrm{bulk}}[\Sigma_X]
\]
and:
- $X$: codimension-2 bulk surface homologous to $A$,
- $\mathrm{Area}(X)$: geometric area of $X$,
- $S_{\mathrm{bulk}}[\Sigma_X]$: von Neumann entropy of the quantum fields in the region $\Sigma_X$ bounded by $X$ and $A$.

Extremality requires
\[
\delta S_{\mathrm{gen}}[X] = \frac{1}{4 G_N}\delta\mathrm{Area}(X) + \delta S_{\mathrm{bulk}}[\Sigma_X] = 0
\]
for all local deformations $\delta X^a$. This introduces a “quantum correction” to the usual minimal surface equation in gravity, often interpreted as an entropic force counterbalancing the geometric mean curvature $K_a$ [1408.3203, 2502.01933]. 

## 2. Structure of the Prescription: Extremization, Minimization, and Maximin

Quantum extremal surfaces are determined by first finding all surfaces $X$ anchored to $\partial A$ that solve the extremality equation, then selecting the one with the smallest $S_{\mathrm{gen}}$. The existence and uniqueness of the minimal-QES can be established using a quantum generalization of the maximin construction. In this construction, for fixed boundary data, one minimizes $S_{\mathrm{gen}}$ over all surfaces on a given Cauchy slice, then maximizes this minimum over all slices. Under the quantum focusing conjecture (QFC), this surface coincides with the minimal QES and ensures entanglement wedge nesting and strong subadditivity [1912.02799].

The same logic straightforwardly extends to hybrid entropy functionals incorporating nonholographic systems, leading to the inclusion of “quantum islands” in evaporation models.

## 3. Quantum Extremality Under Perturbations and Operator Formulation

Perturbative analysis leads to a “quantum extremal deviation equation”:
\[
J(\eta_\perp)_a + 4G_N \hbar \int_\Sigma P_a^b(p)\frac{\mathcal{D}^2 S_{\mathrm{bulk}}}{\mathcal{D}\Sigma^b(p)\mathcal{D}\Sigma^c(p')}\eta^c(p') d\mu(p') = s_a(p) + \text{(sources)}
\]
where $J$ is the classical Jacobi operator for normal deformations, and $\mathcal{D} S_{\mathrm{bulk}}/\mathcal{D} \Sigma$ denotes covariant functional derivatives of the von Neumann entropy. This framework allows stability analysis of QES and connects geometric constraints (focusing, wedge nesting) to properties of the nonlocal entropy kernel [1904.08423].

At leading order, extremality is governed by the area term, subleading corrections produce FLM-type terms, and at higher orders, the extremal surface and the entropy kernel shift nontrivially—a genuinely quantum effect [1408.3203].

## 4. Replica Trick, One-Shot Refinements, and Weighted Multi-Surface Formulas

The replica trick provides a path-integral derivation of QES via analytic continuation of $\mathrm{Tr} \, \rho^n$ geometry. At finite $G_N$, the naive saddle-point extremization becomes subtle as $n\to 1$, requiring careful summation over configurations. Recent work derives an exact “multi-surface” formula,
\[
S_{\mathrm{refined}} = \sum_{w} P_w\, [ S_{\mathrm{gen}}(w) + S(\Sigma_w) ]
\]
with normalized weights $P_w \propto \exp[-S(\Sigma_w)]$, describing the entropy as a weighted average over all QES candidates [2506.14071]. In the limit where one candidate dominates, this reduces to the standard prescription.

Furthermore, the sharpness of phase transitions predicted by QES is corrected by one-shot quantum information theoretic effects, governed by smooth min- and max-entropies $H_{\min}^{\epsilon}$, $H_{\max}^{\epsilon}$. The refined criterion for a phase transition is
- $H_{\max}^{\epsilon}(b'|b) < \Delta A/(4G_N)$: the “no-island” QES dominates.
- $H_{\min}^{\epsilon}(b'|b) > \Delta A/(4G_N)$: the “island” QES dominates.
- Intermediate regime: entropy transitions smoothly, and the formula must account for the detailed entanglement spectrum [2008.03319, 2105.05892].

This formalism yields the correct reproduction of the Page curve (early/late-time entropy transition) in black hole evaporation and applies to both gravitational and non-gravitational systems coupled to gravity.

## 5. Defect Extremal Surfaces and Island-Generalized Entropy

In bulk geometries with co-dimension 1 defects (e.g., end-of-the-world branes in AdS/BCFT setups), the generalized entropy includes both a geometric area term and an additional entropic piece from the defect QFT on the brane:
\[
S_{\mathrm{DES}}[\Gamma] = \frac{\mathrm{Area}(\Gamma)}{4G_N} + S_{\mathrm{defect}}(\Gamma \cap D)
\]
The stationarity conditions $\delta S/\delta \Gamma = 0$, $\delta S/\delta X = 0$ enforce both bulk and defect quantum extremality [2108.08544, 2012.07612]. For intervals in AdS$_3$/BCFT$_2$, this prescription exactly matches the standard QES/island formula after suitable decomposition (RS reduction, transparent boundary insertion), guaranteeing consistency between the bulk defect formulation and boundary entanglement island rules. The defect extremal surface method also generalizes to mixed-state reflected entropy via appropriate replica-index conventions.

## 6. Applications: JT Gravity, Cosmological Backgrounds, Modular Bootstrap

In JT gravity, the QES lies just outside the black hole horizon, with its stationarity condition corresponding to the microcanonical first law of a nested Rindler wedge [2107.10358]. The generalized entropy incorporates Wald entropy, Polyakov term, and time-dependent von Neumann entropy, with the QES encoding the quantum corrections precisely [2502.01933].

In cosmological settings, the QES method accommodates effective 2D reductions and can be used to study the absence or structure of islands in singular backgrounds: in AdS-Kasner and dS/FRW, islands are generically absent or have singular on-shell entropy, while in null-Kasner there are formal extremal solutions with diverging $S_{\mathrm{gen}}$ near the singularity [2111.14906].

Recent developments also use CFT modular-flow techniques, extremality equations, and explicit Witten-diagram calculations to match CFT entanglement entropy at $O(\lambda^2 G_N)$ to holographic QES results, including the canonical energy term and shape-deformation effects [2512.11754]. There are explicit bootstrap correspondences between CFT OPE data and the QES expansion—proving, for example, that the area operator encodes the Virasoro vacuum block up to $O(1/c)$ [2107.07516].

## 7. Physical Consequences: Entanglement Wedges, Page Curve, Quantum Barriers

The QES defines the boundary of the so-called quantum entanglement wedge, which encodes the reconstructable bulk region given access to a boundary subregion. Quantum extremal surfaces are constrained to lie outside the causal wedge and may obey “quantum barrier” constraints, enforcing the generalized second law. The QES method resolves the black hole information paradox by predicting the emergence of “islands” that bound the entropy growth of Hawking radiation and by producing the appropriate Page curve [1408.3203, 1912.02799].

The entanglement wedge nesting property and strong subadditivity become rigorous theorems for QES in semiclassical gravity [1912.02799]. Moreover, the defect extension to e.g., reflected entropy, exhibits the precise correspondence of quantum extremal surfaces to mixed-state quantum measures in brane-worlds and BCFT scenarios—offering compelling evidence for the universality and robustness of QES methods [2108.08544].

---

### References
- [1408.3203] Engelhardt, Wall: "Quantum Extremal Surfaces: Holographic Entanglement Entropy beyond the Classical Regime"
- [1912.02799] Akers, Engelhardt, Wall: "Quantum Maximin Surfaces"
- [1904.08423] Engelhardt, Fischetti: "Surface Theory: the Classical, the Quantum, and the Holographic"
- [2012.07612] Chu, Liu: "Defect extremal surface as the holographic counterpart of Island formula"
- [2108.08544] Li, Yuan, Zhou: "Defect Extremal Surface for Reflected Entropy"
- [2105.05892] Liu, Su: "The refined quantum extremal surface prescription from the asymptotic equipartition property"
- [2506.14071] Khodahami, Azizi: "A revision to the QES prescription"
- [2008.03319] Akers, Penington: "Leading order corrections to the quantum extremal surface prescription"
- [2512.11754] Bhattacharya, Parrikkar: "Modular Witten Diagrams and Quantum Extremality"
- [2107.07516] Belin, Colin-Ellerin: "Bootstrapping Quantum Extremal Surfaces I: The Area Operator"
- [2502.01933] Mahajan: "Lectures on Quantum Extremal Surfaces and the Page Curve"
- [2107.10358] Ouyang, Stoica: "Semi-classical thermodynamics of quantum extremal surfaces in Jackiw-Teitelboim gravity"
- [2111.14906] Manu, Narayan, Paul: "Cosmologies, singularities and quantum extremal surfaces"
- [2212.03193] Wong: "A note on the bulk interpretation of the Quantum Extremal Surface formula"
- [2006.04851] Rozali, Sully, Van Raamsdonk et al.: "Quantum Extremal Islands Made Easy, Part I: Entanglement on the Brane"

Source: https://www.emergentmind.com/topics/quantum-extremal-surface-method