Quantum Extremal Surfaces: Renormalized Semiclassical Definition

A quantum extremal surface (QES) is a codimension-two surface at which a renormalized generalized-entropy functional is stationary under admissible normal deformations. This is a semiclassical variational definition. It does not, by itself, select a global minimum, compute a radiation entropy, establish an island, or prove a Page curve.

Required background. Generalized-entropy renormalization fixes the functional; the entanglement first law controls state variations; and shape dependence supplies surface variations. Helpful background. Review gravitational replicas and the GSL.

Renormalized stationarity with complete surface data

Let $\mathfrak S(B)$ be an admissible class of smooth codimension-two surfaces. If a boundary or radiation region $B$ is involved, $\mathfrak S(B)$ must include its anchors, boundary conditions, causal placement, and the specified homology constraint. For $X\in\mathfrak S(B)$, a state $\rho$, and a chosen outside algebra $\mathcal A_{\rm out}(X)$, define

$$S_{\rm gen}^{\rm ren}[X;\rho,\mathcal A] =S_{\rm grav}^{\rm ren}[X] +S_{\rm out}^{\rm ren}[X;\rho,\mathcal A].$$

A QES satisfies

$$\delta_X S_{\rm gen}^{\rm ren}[X;\rho,\mathcal A]=0$$

for every allowed normal deformation that preserves the anchors and boundary conditions. In a null normal basis this may be written as vanishing quantum expansions, but the normalization of the null normals and the entropy-shape derivative must be fixed. Gauge or gravitational subregions additionally require an algebra/edge prescription; a naive Hilbert-space factorization is not assumed.

Stationarity is local. If several extrema exist, a later prescription must say whether to minimize, maximize, or choose a saddle by some other rule. Homology and anchoring are not consequences of the differential equation.

First application: displacement from a classical extremal surface

Parameterize nearby surfaces by shape coordinates $q^A$. Let $X_0$ be a nondegenerate classical extremum of the Einstein area, so $\partial_A A(q_0)=0$, and define

$$H_{AB}=\left.\partial_A\partial_B A\right|_{q_0}, \qquad s_A=\left.\partial_A S_{\rm out}^{\rm ren}\right|_{q_0}.$$

To first order in $G_{\rm ren}$,

$$0=\frac{1}{4G_{\rm ren}}H_{AB}\,\delta q^B+s_A, \qquad \delta q^A=-4G_{\rm ren}(H^{-1})^{AB}s_B.$$

This is a reproducible model calculation when $H$ is invertible and the matter shape derivative is finite in the same scheme as the area coupling. For a higher-curvature action, replace $A/(4G)$ by $S_{\rm grav}^{\rm ren}$ and use its Hessian. If $H$ has zero modes, if $s_A$ is singular, or if competing extrema approach within the perturbative splitting, ordinary nondegenerate perturbation theory fails.

At leading bulk quantum order, the matter entropy correction to holographic entropy was derived by Faulkner, Lewkowycz, and Maldacena 2013, §§2–3. Engelhardt and Wall introduced QESs as a proposal beyond that order Engelhardt and Wall 2015, §§2–3. The stationarity equation above is the stable semiclassical definition; the holographic minimization prescription and island applications add boundary duality and gravitational path-integral assumptions.

The structure map places QES stationarity after joint renormalization and before any holographic selection rule. Inspect the explicit separation between “extremize” and “choose an entropy.”

QES stationarity requires state, algebra, renormalization, anchors, boundary conditions, and homology data; selection among extrema is an additional rule. Schematic; not to scale.

Domain and failure conditions

Use the canonical domain table to distinguish QESs from replica saddles and GSL theorems. The result above assumes a controlled semiclassical expansion, differentiable entropy under shape deformations, and an invertible classical Hessian.

Adversarial test. Shift the finite subtraction of $S_{\rm out}^{\rm ren}$ by a local surface functional but leave $G_{\rm ren}$ and higher-curvature couplings fixed. The gradient changes, producing a false displacement of $X$. Transform the geometric couplings and their entropy functional in the same scheme; the stationary surface returns to its scheme-consistent position.

The failure map also marks zero modes and competing extrema: they require collective coordinates or a multi-branch analysis, not the inverse-Hessian formula.

The first-order displacement is licensed only for a jointly renormalized differentiable functional near an isolated nondegenerate classical extremum. Schematic; not to scale.

Handoff

As of 10 August 2026, island formulas, replica-wormhole dominance, holographic entanglement-wedge reconstruction, and Page-curve calculations remain additional model- or duality-dependent applications. They must not be inferred from $\delta_XS_{\rm gen}=0$ alone.

References

• Engelhardt, N., and A. C. Wall, “Quantum Extremal Surfaces: Holographic Entanglement Entropy beyond the Classical Regime,” Journal of High Energy Physics 2015, 073 (2015), doi:10.1007/JHEP01(2015)073.
• Faulkner, T., A. Lewkowycz, and J. Maldacena, “Quantum Corrections to Holographic Entanglement Entropy,” Journal of High Energy Physics 2013, 074 (2013), doi:10.1007/JHEP11(2013)074.