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

# Quantum Extremal Surface Overview

A quantum extremal surface (QES) is a codimension-two surface in gravitational theories, typically continuous within holographic settings, that extremizes the generalized entropy—an interplay of geometric area and quantum entanglement entropy—under local deformations. The QES prescription computes fine-grained von Neumann entropies in the boundary theory by minimizing the generalized entropy over all such surfaces homologous to a fixed boundary region, thus generalizing the Ryu–Takayanagi formula to incorporate all quantum bulk corrections and enabling the consistent calculation of the so-called Page curve in black hole evaporation and other scenarios. Recent refinements of this prescription, motivated by quantum information-theoretic measures and path integral techniques, reveal that one-shot entropies—specifically smooth min- and max-entropies—play a pivotal role near QES phase transitions, leading to large corrections beyond the naive saddle-point analysis and sharpening our operational understanding of holographic entanglement and reconstruction.

## 1. Generalized Entropy and the QES Prescription

The canonical QES prescription computes the entropy $S(B)_\rho$ of a boundary subregion $B$ as
\[
S(B)_\rho = \min_{\gamma\sim B} \mathrm{ext}_\gamma \left[ \frac{A[\gamma]}{4G_N} + H(b)_\rho \right]
\]
where $A[\gamma]$ is the area of the bulk surface $\gamma$ homologous to $B$ and $H(b)_\rho$ is the bulk von Neumann entropy of the homology region $b$ between $\gamma$ and $B$ [2105.05892]. In the familiar two-saddle scenario (two candidate surfaces $\gamma_1$, $\gamma_2$ with $A_1 < A_2$), one obtains a Page-like rule:
\[
S(B) =
\begin{cases}
\frac{A_1}{4G_N} + H(bb')_\rho & \text{if } H(b'|b)_\rho < \frac{A_2 - A_1}{4G_N} \\
\frac{A_2}{4G_N} + H(b)_\rho  & \text{if } H(b'|b)_\rho > \frac{A_2 - A_1}{4G_N}
\end{cases}
\]
with $H(b'|b)_\rho = H(bb')_\rho - H(b)_\rho$. However, precisely near the transition $H(b'|b)_\rho \simeq (A_2 - A_1)/4G_N$, finite-$G_N$ effects induce a rounded, non-sharp crossover regime which cannot be captured by naive extremization alone.

## 2. One-Shot Entropies and the Asymptotic Equipartition Property

One-shot entropy measures—the smooth min- and max-entropies—quantify quantum information in a way suited to single-shot or finite-copy scenarios. For bipartite density matrices $\rho_{AB}$, these are defined via the sandwiched Rényi divergences,
\[
\widetilde D_n(\rho \| \sigma) = \frac{1}{n-1} \log \mathrm{Tr}\left[(\sigma^{\frac{1-n}{2n}} \rho \sigma^{\frac{1-n}{2n}})^n\right]
\]
with min/max-entropy given by
\[
H_{\min}(A|B)_\rho = -\inf_{\sigma_B}\widetilde D_\infty(\rho_{AB} \| I_A \otimes \sigma_B)
\quad
H_{\max}(A|B)_\rho = -\inf_{\sigma_B}\widetilde D_{1/2}(\rho_{AB} \| I_A \otimes \sigma_B)
\]
Their $\varepsilon$-smooth variants maximize/minimize over purified-distance $\varepsilon$-balls in state space. The asymptotic equipartition property (AEP) states that for i.i.d. product states,
\[
\lim_{m\to\infty} \frac{1}{m} H_{\min}^\varepsilon(A^m|B^m) = \lim_{m\to\infty} \frac{1}{m} H_{\max}^\varepsilon(A^m|B^m) = S(A|B)_\rho
\]
thus ensuring that von Neumann entropies emerge as the many-copy limit of these operationally pertinent one-shot measures [2105.05892].

## 3. The AEP Replica Trick and Refined QES Prescription

Applying the AEP and path integral techniques to fixed-area states leads to a refined QES prescription. Instead of the standard saddle-point approach, one computes
\[
S(B)_\rho = \lim_{m\to\infty} \lim_{n\to\infty} \max_{\tilde\rho \approx_\varepsilon \rho^{\otimes m}} \frac{1}{m(1-n)} \log \mathrm{Tr}(\tilde\rho^n)
\]
where the inner maximization operationally represents the smooth-min entropy for many copies. For two competing QES surfaces, the boundary entropy is
\[
S(B)_\rho \approx
\begin{cases}
\frac{A_1}{4G_N} + H(bb')_\rho & H^\varepsilon_{\max}(b'|b)_\rho < \frac{A_2 - A_1}{4G_N} \\
\frac{A_2}{4G_N} + H(b)_\rho & H^\varepsilon_{\min}(b'|b)_\rho > \frac{A_2 - A_1}{4G_N}
\end{cases}
\]
and in the intermediate regime, the entropy interpolates without a simple minimum prescription. Smoothing by $\varepsilon$ alters the transition only by $O(1)$ bits, negligible at leading $O(1/G_N)$ order [2105.05892].

## 4. Sharp Rényi Entropy Transitions in Pure Bulk Marginals

In fixed-area states with pure bulk marginals, the rounding regime disappears for integer Rényi entropies ($n>1$). For such states, the area term $A^*/4G_N$ decouples from $n$, and leading-order contributions arise only from two replica-symmetric saddles (all-$b$ or all-$bb'$). Thus, all Rényi entropies obey
\[
S_n(B)_\rho = \min\left\{ \frac{A_1}{4G_N} + H_n(bb')_\rho,\; \frac{A_2}{4G_N} + H_n(b)_\rho \right\}
\]
with no intermediate regime—only the $n\to1$ von Neumann entropy experiences the large rounding window [2105.05892].

## 5. Refined QES Effects in JT + EOW Brane Page Curve Toy Models

In JT gravity models with End-of-the-World (EOW) brane degrees of freedom (the PSSY setup), the standard island formula produces a sharp Page curve for flat-spectrum states. Introducing a two-peaked “L-shaped” spectrum for the black hole microstates alters the reduced density matrix of the radiation, leading to a three-regime Page curve:
- For $S<H_{\min}(R)$, pure-state dominance yields $S(R) \approx S$.
- For $H_{\min}(R) \leq S \leq H_{\max}(R)$, spectrum splitting causes a smooth transition.
- For $S>H_{\max}(R)$, the entropy saturates to $S(R) \approx H_{\max}(R)$.

This produces a large correction compared to the naive island scenario, in accordance with the refined QES prescription [2105.05892].

## 6. Implications and Generalizations

The refined QES formula, derived via the AEP replica trick and confirmed in gravity toy models, demonstrates that in regimes near phase transitions, the von Neumann entropy does not jump sharply but rather interpolates according to the min- and max-conditional entropies. This suggests that one-shot quantum information measures are fundamental to holographic entanglement entropy and reconstruction, providing operational criteria for entropy phase transitions and sharp Rényi transitions in pure bulk states. The approach generalizes beyond AdS/CFT, affirming its significance in a broad class of quantum gravity systems and supporting a robust, quantum-information-theoretic understanding of the QES prescription.

---

**Key Reference:**  
- “The refined quantum extremal surface prescription from the asymptotic equipartition property” [2105.05892]

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