---
title: Stretched Quantum Extremal Surfaces
url: https://www.emergentmind.com/topics/stretched-quantum-extremal-surfaces
type: topic
---

# Stretched Quantum Extremal Surfaces

Stretched quantum extremal surfaces are not a single uniformly defined object across the literature. The common substrate is the quantum extremal surface (QES): a codimension-2 surface that extremizes the generalized entropy, \(S_{\mathrm{gen}}=\frac{A}{4G_N}+S_{\mathrm{bulk}}\) in semiclassical gravity, or the corresponding dilaton-plus-entropy functional in Jackiw–Teitelboim (JT) gravity. What is “stretched” differs by context. In some papers, stretching means a small perturbative displacement away from an exact QES; in others it means an operationally smeared entry boundary produced by finite string length, a shell of algebraic thickness where split property fails, a discretized surface pinned one row behind a tensor-network horizon, or a regulator-supported surface near a cosmological or black-hole horizon. This suggests that the expression is best treated as a family of closely related refinements of the sharp QES notion rather than a single canonical definition [1408.3203] [1904.08423] [2510.01556].

## 1. Foundational definition and the main senses of “stretching”

The foundational prescription is due to Engelhardt and Wall: for a boundary region \(R\), the holographic entropy is computed by minimizing the generalized entropy over bulk codimension-2 surfaces \(\Sigma\) homologous to \(R\),
\[
S(R)=\min_{\Sigma\sim R}\,\mathrm{ext}\;S_{\mathrm{gen}}[\Sigma],
\]
with
\[
S_{\mathrm{gen}}[\Sigma]=\frac{\langle A(\Sigma)\rangle}{4G_N\hbar}+S_{\mathrm{bulk}}[\Sigma]+S_{\mathrm{ct}}[\Sigma].
\]
Quantum extremality is the vanishing of the first variation of \(S_{\mathrm{gen}}\) under local deformations along both null normals; in this sense a QES is quantum marginally trapped in both directions [1408.3203].

Within that framework, later literature uses “stretched” in several distinct but technically precise ways.

| Sense of stretching | Representative formulation | Key diagnostic |
|---|---|---|
| Perturbative displacement | Small normal deformation of a QES driven by boundary, metric, or matter perturbations | Quantum extremal deviation equation |
| Operational stringy smearing | Probe-dependent delayed entry into an entanglement wedge | Crossover time, modular energy, fidelity |
| Algebraic thickening | Shell where split property fails at string scale | Stretched horizon \(*\)-algebra \(A_{\mathrm{sh}}\) |
| Discrete interior regulation | Surface pinned to a tensor-network row behind the horizon | Row-wise \(S_{\mathrm{gen}}\) minimization |
| Regulated horizon/cosmology surface | Cutoff-supported or horizon-proximate extremal surface | Lag relation, near-horizon turning point |

The perturbative meaning is explicit in “Surface Theory: the Classical, the Quantum, and the Holographic,” which does not itself use the term “stretched QES” but develops the equation of quantum extremal deviation governing small displacements of a QES under anchor changes, metric perturbations, and matter-state perturbations [1904.08423]. A second, more operational meaning appears in “Scattering strings off quantum extremal surfaces,” where a “stringy QES” is the effective target seen by a probe when finite \(\alpha'\), finite smearing, and sub-maximal chaos smooth the otherwise sharp null-separation criterion for entry into the entanglement wedge [2108.01093]. A third, algebraic meaning appears in “Stringy algebras, stretched horizons, and quantum-connected wormholes,” where stretched QES are defined as algebraically thickened boundaries supported on the shell where the split property fails at distances of order \(\ell_s\sim \beta_H\) [2510.01556].

A crucial qualification is that not every stretched object can serve as the exact entanglement wedge boundary. “Extremality as a Consistency Condition on Subregion Duality” argues in JT gravity coupled to a CFT that any candidate boundary with nonzero outward variation of \(S_{\mathrm{gen}}\) is inconsistent with complementary causal wedge exclusion under sufficiently strong complementary modular flow. In that sense, exact wedge boundaries must remain exactly quantum extremal, even if stretched constructions are useful approximations or regulators [2403.19562].

## 2. Perturbative geometry: quantum extremal deviation and microscopic displacement

The most systematic geometric account of stretched QES is the perturbative one. For a non-null surface \(\Sigma\), the classical deformation problem is controlled by the Jacobi or Simons stability operator \(J\), acting on normal deformations \(\eta_\perp^a\). In codimension two and a null basis \(\{k^a,\ell^a\}\), the classical deviation equations become a coupled elliptic system. Quantum extremality replaces extremality of area by extremality of generalized entropy,
\[
S_{\mathrm{gen}}[\Sigma]=\frac{A[\Sigma]}{4G_N\hbar}+S_{\mathrm{out}}[\Sigma],\qquad
K_a+4G_N\hbar \frac{D S_{\mathrm{out}}}{D\Sigma^a}=0,
\]
and the corresponding linearized displacement is governed by the equation of quantum extremal deviation [1904.08423]:
\[
J(\eta_\perp)_a
+4G_N\hbar\int_\Sigma P_a^{\ b}\frac{D^2 S_{\mathrm{out}}}{D\Sigma^c(p')D\Sigma^b(p)}\eta_\perp^c(p')\,\epsilon(p')
=
s_a(\delta g)+4G_N\hbar\Big[P_a^{\ b}P^{cd}\frac{D S_{\mathrm{out}}}{D\Sigma^d}\delta g_{bc}-\frac{D\,\delta S_{\mathrm{out}}}{D\Sigma^a}\Big].
\]

This packages stretched-QES kinematics into a sourced linear problem,
\[
L_q \eta_\perp = J_{\rm bdy}+J_g+J_{\rm matter},
\]
where the quantum stability operator \(L_q\) consists of the classical elliptic operator \(J\) plus a multilocal entropy kernel. In the weakly stable regime, where zero is absent from the Dirichlet spectrum of \(J\), the Fredholm alternative yields existence and uniqueness of the linearized displaced surface for arbitrary boundary data and sources. In that sense, “stretching” is a controlled small-deformation problem rather than a distinct nonperturbative object [1904.08423].

The near-horizon AdS Rindler example makes this concrete. For the bifurcation surface \(\mathcal H\), the QES displacement \(\eta_E^a=\alpha_E k^a+\beta_E \ell^a\) is written in terms of a Dirichlet Green’s function \(G(p,p')\) on \(\mathcal H\):
\[
\alpha_E(p)=\int_{\mathcal H} G(p,p')\Big[s_\ell(p')-4G_N\hbar\,\ell^a\frac{D\delta S_{\mathrm{out}}}{D\Sigma^a}(p')\Big]\epsilon(p'),
\]
\[
\beta_E(p)=\int_{\mathcal H} G(p,p')\Big[s_k(p')-4G_N\hbar\,k^a\frac{D\delta S_{\mathrm{out}}}{D\Sigma^a}(p')\Big]\epsilon(p').
\]
These are explicitly described as the displacement of the HRT surface away from the horizon due to sources, and they provide a canonical perturbative model of a stretched QES [1904.08423].

A complementary microscopic perspective appears in “Bootstrapping Quantum Extremal Surfaces I: The Area Operator.” In AdS\(_3\)/CFT\(_2\), the QES displacement is expanded as \(\Sigma_A=\Sigma_A^{(0)}+G_N\Sigma_A^{(1)}+\cdots\), and in AdS-Rindler coordinates the shift is parameterized by
\[
\rho(x)=G_N\rho^{(1)}(x),\qquad
\rho^{(1)}(x)=\rho_{\mathrm{geo}}^{(1)}(x)+\rho_{\mathrm{EE}}^{(1)}(x).
\]
The geometric part is controlled by the Virasoro identity block, while the non-identity blocks encode the bulk matter entropy contribution. To order \(1/c\), the paper shows that the identity block contributes solely to the area operator. This supplies a microscopic CFT meaning to the perturbative “stretching” of a classical RT surface into a QES [2107.07516].

## 3. Stringy, modular, and algebraic thickening

A distinct use of stretching is operational rather than variational. In “Scattering strings off quantum extremal surfaces,” a particle or string is inserted in a Rindler-like wedge, and one asks when boundary diagnostics detect that it has entered the entanglement wedge of a complementary region. In maximally chaotic theories, \(J=2\), the transition is sharp and occurs exactly at null separation from the QES:
\[
x^+_{\mathrm{insertion}}=\delta x_Q^+ \quad\Leftrightarrow\quad e^{T_R}=\delta x_Q^+.
\]
For \(1\le J<2\), finite string length, reduced Lyapunov exponent \(\lambda_L=J-1\), and finite smearing \(\delta\) replace this by a delayed and smoothed crossover,
\[
T_R^*\approx -\frac{1}{J-1}\log\!\big(\delta^{\,2-J}\delta x_Q^{(J)}\big).
\]
The paper emphasizes that this “stretching” may be at least partly a property of the probe, via longitudinal string spreading, rather than a universal modification of the QES prescription itself [2108.01093].

Modular transport yields yet another operational refinement. “Quantum Extremal Modular Curvature: Modular Transport with Islands” defines the Quantum Extremal Modular Curvature (QEMC) for JT gravity with islands. The exact boundary transport generator coherently drags both bath and island endpoints according to the QES condition,
\[
V_{a_2}^Q = V_{a_2}+\left(\frac{\partial b_1}{\partial a_2}\right)V_{b_1},
\]
and the corresponding modular curvature is generally non-local. In an OPE or effective single-interval limit, however, the QEMC becomes local and probes the bulk Riemann curvature near the island. The regulated interval on which this local curvature is sampled functions as an operational stretched-QES representative of the true QES [2406.05176].

The algebraic formulation is more radical. In the \(g_s\to 0\), finite-string-tension regime, “Stringy algebras, stretched horizons, and quantum-connected wormholes” models the infinite tower of string modes as free fields with Hagedorn growth,
\[
\rho(E)\sim e^{\beta_H E}.
\]
This growth violates modular nuclearity bounds and causes split property to fail once separations are of order \(\delta\lesssim \beta_H\). The paper then defines stretched QES as the shell of thickness \(O(\ell_s\sim \beta_H)\) around a classical QES where factorization fails, together with a stretched horizon \(*\)-algebra \(A_{\mathrm{sh}}\) supported on that shell. In this setting, the “surface” is no longer sharp in a geometric sense; it becomes an algebraically thickened boundary. Reflected entropy diverges when split fails, and the associated purified algebras can become type III\(_0\), which the paper interprets as a signature of quantum-connected wormholes between geometrically disjoint regions [2510.01556].

## 4. JT gravity, islands, tensor networks, and interior dynamics

Semi-classical JT gravity provides the cleanest explicit horizon-proximate stretched-QES solution. “Semi-classical thermodynamics of quantum extremal surfaces in Jackiw–Teitelboim gravity” shows that the semi-classical Wald entropy,
\[
S_{\mathrm{Wald}}=\frac{1}{4G}(\phi_0+\phi)-\frac{c}{6}\chi,
\]
fully reproduces the generalized entropy, including the time-dependent von Neumann term, and that its extremization gives a QES lying just outside the classical horizon. In the Hartle–Hawking state the displacement is small,
\[
r_{\mathrm{QES}}\approx r_H\left[1+\frac{2}{9}\epsilon^2 e^{-2\sqrt{\mu}r_{*,B}/L}\right],\qquad
\epsilon=\frac{Gc}{\sqrt{\mu}\phi_r}\ll 1,
\]
so the QES is literally stretched outside the horizon. The same surface is the bifurcation surface of a nested AdS-Rindler wedge with temperature \(T=\kappa/2\pi\), and the paper derives a semi-classical Smarr relation and first law for that nested wedge, identifying the generalized entropy as its thermodynamic entropy [2107.10358].

Island dynamics can make stretching transient and non-monotonic. “Ephemeral Islands, Plunging Quantum Extremal Surfaces and BCFT channels” studies finite intervals in Minkowski baths coupled to an eternal JT black hole. There the QES can start inside the horizon, emerge outside, and then plunge back in. In the high-temperature near-horizon regime, the QES positions satisfy
\[
w^\mp_\sigma=-s\sum_{\mu\neq \sigma}\frac{(-1)^{\sigma-\mu}}{w^\pm_\sigma-w^\pm_\mu},\qquad s=\frac{\beta k}{2\pi}\ll 1,
\]
and the exit time for semi-infinite intervals is
\[
t_{\rm exit}=2a+\frac{\beta}{2\pi}\log\frac{2\pi}{\beta k}.
\]
The resulting “ephemeral islands” dominate only at intermediate times and produce a characteristic entropy dip that matches special disconnected OPE channels in a free-fermion BCFT description [2109.01895].

Tensor-network models supply a discretized interior counterpart. “Tensor networks for black hole interiors: non-isometries, quantum extremal surfaces, and wormholes” places effective interior qudits on rows of a hyperbolic tessellation. Candidate surfaces \(\chi\) are pinned to row boundaries, with discrete generalized entropy
\[
S_{\mathrm{gen}}(\chi)=|\chi|+S(EW),\qquad |\chi|=q_B(N),
\]
and local extremality determined by row differences such as
\[
\delta S_{\mathrm{gen},B}(N)=q_B(N)-q_B(N-1)-q_r(N)-s\,q_\ell(N).
\]
A candidate QES at row \(N\) appears when \(\delta S_{\mathrm{gen}}(N)\le 0\), and with \(s=0\) this coincides with the non-isometry criterion for that row. The resulting QES are “stretched” in a discrete sense: they sit one row behind the horizon regulator \(\Lambda_{BH}\), move inward by jumps as rows are shed during evaporation, and are influenced by wormhole-like contractions to the radiation [2407.01666].

## 5. Cosmological and de Sitter realizations

In cosmological singularity backgrounds, stretching typically means repulsion from a Big-Crunch region rather than approach to it. “Cosmological singularities, entanglement and quantum extremal surfaces” studies isotropic AdS Kasner and related 2D reductions. At the classical level, HRT surfaces dip radially but bend away from the singularity: at the turning point,
\[
t'_*=\frac{r_*}{d_i t_*}>0,
\]
so \(t_*\) is a local maximum and \(t_*>t_0\) for a surface anchored at boundary time \(t_0\). In the reduced 2D theory, the QES equations similarly drive both \(r_*\) and \(t_*\) to the semiclassical region far from the singularity. The paper’s conclusion is that these QES are “always driven to the semiclassical region far from the singularity,” and closed cosmologies of this type do not produce islands [2012.07351].

“Cosmologies, singularities and quantum extremal surfaces” sharpens this by introducing a spatial regulator \(r_*=R_c\), interpreted as a stretched boundary. In isotropic AdS Kasner the regulated QES time satisfies
\[
\frac{\Delta t}{R_c^2-(\Delta t)^2}
=
\frac{1}{2K_c}+\frac{d_i-1}{2d_i t},
\]
and for \(\Delta t\ll R_c\),
\[
\frac{\Delta t}{R_c^2}\approx \frac{1}{2K_c}+\frac{d_i-1}{2d_i t_0},\qquad \Delta t=t_*-t_0>0.
\]
The QES therefore lags behind the observer location, again away from the singularity. The same analysis finds that a potential island-like region becomes inconsistent when examined near the putative island boundary. In null Kasner backgrounds, by contrast, the QES can move toward the near-singularity region, although the on-shell generalized entropy is then generically singular [2111.14906].

De Sitter and Schwarzschild–de Sitter studies broaden the meaning of stretching further. “Schwarzschild de Sitter and extremal surfaces” finds codimension-2 timelike extremal surfaces stretching between \(I^+\) and \(I^-\), approaching the cosmological horizon and becoming nearly null there, as well as spacelike surfaces that stretch indefinitely across the extended Penrose diagram and can pass near both cosmological and Schwarzschild horizons. The paper does not compute \(S_{\mathrm{bulk}}\), but explicitly presents these classical surfaces as the geometric backbone on which stretched QES might later be constructed [1910.11788]. “de Sitter space, extremal surfaces and ‘time-entanglement’” likewise studies future-past timelike extremal surfaces in Lorentzian de Sitter and no-boundary continuations that join a timelike top half to a Euclidean hemisphere. The areas are purely imaginary in the fully Lorentzian case and complex in the no-boundary case, which implies that any generalized entropy built from them could also be complex. Here too the stretched-QES language is prospective rather than fully realized by an explicit \(S_{\mathrm{bulk}}\) calculation [2210.12963].

## 6. Exactness, phase transitions, and conceptual status

One source of ambiguity is that “stretching” may refer either to a geometric surface or to a transition region in entropic dominance. “The refined quantum extremal surface prescription from the asymptotic equipartition property” replaces the sharp two-saddle von Neumann transition by a one-shot-entropic window bounded by smooth min- and max-entropies. For two competing saddles with areas \(A_1\) and \(A_2\),
\[
H_{\min}^{\varepsilon}(b'|b)\le \frac{A_2-A_1}{4G_N}\le H_{\max}^{\varepsilon}(b'|b)
\]
defines an indefinite region in which generalized entropy need not equal the boundary entropy. This is a stretched QES transition rather than a stretched geometric surface. The same paper proves that for fixed-area states with pure bulk marginals, higher Rényi entropies retain sharp transitions, so the broadening is specific to the \(n\to 1\) von Neumann limit [2105.05892].

At the level of exact wedge boundaries, the literature is restrictive. Engelhardt and Wall proved that QES lie outside the causal wedge and obey barrier theorems: quantum trapped or quantum marginally trapped null surfaces obstruct QES from entering certain regions, with implications for bulk reconstruction [1408.3203]. Gao’s operator-based argument in JT gravity strengthens this: if a candidate boundary is not exactly quantum extremal, then a complementary Connes cocycle flow can violate complementary causal wedge exclusion. The relevant threshold is finite whenever the outward quantum expansion is positive,
\[
s_*=\frac{1}{2\pi}\log\frac{E_{\mathrm{QHA},0}}{\Theta_0(0,0)}.
\]
This means that even an arbitrarily small but nonzero departure from extremality can become inconsistent under sufficiently strong complementary modular flow. A plausible implication is that stretched QES are admissible as regulators, perturbative proxies, operational diagnostics, or algebraic shells, but not as literal replacements for the exact entanglement wedge boundary without additional error-control assumptions [2403.19562].

Taken together, the literature supports a layered picture. Exact entanglement wedge boundaries remain exact QES. Around them, however, several technically useful stretched notions appear: perturbatively displaced surfaces solving elliptic deviation equations, horizon-proximate semi-classical saddles in JT gravity, operationally smeared stringy targets, algebraically thick shells generated by split failure, discretized row-localized tensor-network surfaces, and regulator-supported or future-past surfaces in cosmological settings. The unifying theme is not a universal new entropy prescription, but a family of controlled refinements that expose how generalized entropy, modular structure, string nonlocality, and semiclassical backreaction blur the idealized sharpness of extremal surfaces in different regimes [1904.08423] [2107.10358] [2510.01556].

Source: https://www.emergentmind.com/topics/stretched-quantum-extremal-surfaces