Quantum Extremal Surfaces Explained

• Quantum Extremal Surfaces (QES) are codimension-2 bulk surfaces crucial for understanding holographic entanglement and black hole information.
• The paper investigates quantum extremality, integrating geometric and quantum contributions using the generalized entropy functional.
• QES methodologies include replica tricks and one-shot entropies, resolving the Page curve and facilitating entanglement wedge reconstruction.

A quantum extremal surface (QES) is a codimension-2 bulk surface which extremizes the generalized entropy functional, integrating geometric and quantum contributions to holographic entanglement entropy. QESs underpin the modern understanding of black hole information, entanglement islands, the Page curve, and fine-grained entropy in semi-classical gravity, with essential connections to error correction, tensor networks, and quantum information theory.

1. Definition: Generalized Entropy and Quantum Extremality

The generalized entropy functional associated to a candidate surface $\Sigma$ or collection of surfaces $\{\gamma_i\}$ takes the universal form

$$S_{\rm gen}[\Sigma] = \frac{\mathrm{Area}(\Sigma)}{4G_N} + S_{\rm bulk}(\Sigma)$$

where $G_N$ is Newton’s constant, the area term is computed on $\Sigma$, and $S_{\rm bulk}(\Sigma)$ is the von Neumann entropy of quantum fields in the chosen entanglement wedge bounded by $\Sigma$ (Engelhardt et al., 2014). The quantum extremality condition demands vanishing of the first variation:

$\delta S_{\rm gen}[\Sigma] = 0$

or, in local coordinates,

$$0 = \partial_i \mathrm{Area}(\Sigma) + 4G_N \partial_i S_{\rm bulk}(\Sigma)$$

for all normal directions to $\Sigma$ (Parrikar et al., 2023, Soni, 2024). For surfaces with two normal null directions $k^a, \ell^a$, this yields two quantum expansion conditions $\Theta_k = \Theta_\ell = 0$.

The key distinction from classical approaches (Ryu–Takayanagi, Hubeny–Rangamani–Takayanagi) is that both area and quantum entanglement contribute variationally to the location of the surface.

2. Replica Trick, Path Integral, and Saddle-Point Foundations

The standard derivation employs replica methods: compute $\mathrm{Tr}[\rho_B^n]$ via the Euclidean gravitational path integral, obtaining a family of $n$-sheeted bulk geometries with $n$-fold twist. The leading action expansion is

$I_n[w] = n I_1 + (n-1) S_{\rm gen}(w) + O((n-1)^2)$

where each candidate twist surface $w$ yields a generalized entropy. Extremizing with respect to $w$ at fixed $n$ picks out surfaces solving $\partial_w S_{\rm gen}(w) = 0$, and analytic continuation $n \to 1$ selects the QES (Engelhardt et al., 2014, Akers et al., 2020, Khodahami et al., 17 Jun 2025).

However, as $n \to 1$ the saddle in $w$ can become ill-defined: the action preference flattens, multiple surfaces may contribute nontrivially, and the dominance assumption may fail. Refined treatments sum over all candidate surfaces, weighting by $e^{-S_{\rm bulk}}$, yielding generalized formulas for entropy and sharply resolving Page curve behavior in nontrivial states (Khodahami et al., 17 Jun 2025).

3. One-Shot Entropies, AEP, and Refined QES Transition Criteria

Von Neumann entropy is an asymptotic (“many-copy”) quantity. In realistic quantum gravity settings, sharp transitions between distinct QESs—e.g., the island or no-island saddles—are dominated by “one-shot” entropic properties:

• Smooth min-entropy $H_{\min}^\varepsilon(A|B)$ and max-entropy $H_{\max}^\varepsilon(A|B)$,
• Defined via sandwiched Rényi divergences and optimized over $\varepsilon$-close states (Wang, 2021, Akers et al., 2020).

The asymptotic equipartition property (AEP) ensures that for $m$ copies,

$$\lim_{m \to \infty} \frac{1}{m} H_{\min}^\varepsilon(B^m) = S(B)$$

and similarly for $H_{\max}^\varepsilon$. However, for finite $m$ or near phase transitions (e.g., the Page curve crossover), leading corrections of order $O(G_N^{-1/2})$ arise, with entropy determined not by the naive RT/QES prescription but by one-shot entropies.

The refined prescription for two competing surfaces (areas $A_1 < A_2$) sets: | Regime | Condition | Entropy formula | |--------|-----------|------------| | 1 | $H_{\max}^\varepsilon(b'|b) < (A_2-A_1)/(4G_N)$ | $S(B) = A_1/(4G_N) + H(bb')$ | | 2 | $$H_{\min}^\varepsilon(b'|b) \leq (A_2-A_1)/(4G_N) \leq H_{\max}^\varepsilon(b'|b)$$ | Indefinite; interpolates between two surfaces | | 3 | $H_{\min}^\varepsilon(b'|b) > (A_2-A_1)/(4G_N)$ | $S(B) = A_2/(4G_N) + H(b)$ |

For higher Rényi entropies ($n>1$), transitions are sharp, always selecting a unique minimal extremal surface for fixed-area states (Wang, 2021).

4. Entanglement Wedge Reconstruction and Quantum Error Correction

Entanglement wedge reconstruction (EWR) hinges on whether a bulk region (“island”) bounded by a QES can be faithfully encoded in boundary data. The refined QES criteria directly parallel one-shot state merging and decoupling theorems in quantum information: inclusion of a region $b'$ is optimal if $H_{\max}^\varepsilon(b'|b) < (A_2-A_1)/(4G_N)$ (Akers et al., 2020).

When the necessary compressibility condition fails, EWR must be performed with exponentially suppressed fidelity—gravity implements optimally efficient state merging via zero-bits rather than classical bits, as prescribed by the quantum channel mother protocol.

Refined prescriptions, including the AEP-replica trick, yield multi-region generalizations for $l+1$ non-crossing candidate surfaces $\gamma_i$:

• Define entanglement wedge maxima/minima $\mathrm{EW}_{\max}$, $\mathrm{EW}_{\min}$ based on max/min entropies and area gaps.
• When $\mathrm{EW}_{\max} = \mathrm{EW}_{\min} = \Sigma_k$, the entropy is $A_k/(4G_N) + H(\Sigma_k)_\rho$; otherwise, the boundary entropy lies in an indefinite regime (Wang, 2021).

5. Page Curve, Islands, and Beyond AdS/CFT

The QES prescription and its refinements resolve the information paradox in evaporating black holes, yielding the Page curve: initial linear growth matches Hawking's result, but a transition at the Page time introduces an island and saturates the entropy at twice the black hole entropy $2S_{\rm BH}$ (Mahajan, 4 Feb 2025, He et al., 2021). In models where the radiation has a superposed (“L-shaped”) spectrum, intermediate dips and indefinite regimes match the refined QES formulas (Wang, 2021).

Beyond AdS/CFT, these constructions hold in Jackiw–Teitelboim gravity, generalized dilaton models, and toy black hole + reservoir models. The refined transition criteria are seen universally in the spectrum and the bulk geometry.

6. Stability, Deviation, and Perturbations: Elliptic Operator Formalism

Quantum extremal surfaces obey an equation of deviation governed by an elliptic operator:

$$\mathcal{L}[\eta]_a = J_a{}^b \eta_b + 4G_N \int_\Sigma P_a{}^c(p) \frac{D^2 S_{\rm bulk}}{D\Sigma^c(p) D\Sigma^b(p')} \eta_b(p') \varepsilon(p')$$

where $J$ is the classical Jacobi operator, and the nonlocal term incorporates quantum corrections (Engelhardt et al., 2019).

Stability under deformation (strong/weak) can be diagnosed via the spectrum of $J$. Bulk energy inequalities, the quantum focusing conjecture, and the generalized second law are encoded in the operator structure and hold for QESs in semi-classical backgrounds.

7. Future Directions and Generalizations

• Further refinement of QES prescriptions for sequential (non-i.i.d.) states may employ the entropy accumulation theorem (Wang, 2021).
• Explicit connection between one-shot entropy/chain rules and higher Rényi QESs or multiregion patches could clarify multipartite entanglement phase structure.
• The interplay of QES criteria with modular flows, purification, and subregion/subregion duality is central to the Lorentzian (non-replica) picture (Soni, 2024).
• The emergence of QES barriers in cosmological singularities, their role in protecting unitarity, and the prospects for exotic island formation remain open (Manu et al., 2020, Goswami et al., 2021).

Quantum extremal surfaces thus form the cornerstone of quantum holographic entropy, quantum error correction in gravity, and the geometric substrate of black hole information theory, with ongoing research extending their domain across semi-classical, cosmological, and non-AdS backgrounds.