---
title: Generalized Entanglement Wedges in Holography
url: https://www.emergentmind.com/topics/generalized-entanglement-wedges
type: topic
---

# Generalized Entanglement Wedges in Holography

Generalized entanglement wedges are extensions of the entanglement-wedge concept beyond the standard assignment of a boundary subregion to a bulk reconstructible region in AdS/CFT. In one influential formulation, an arbitrary gravitating region \(a\) is assigned a bulk region \(E(a)\supset a\) on a time-reflection-symmetric slice, or more generally a pair of covariant regions \(e_{\max}(a)\) and \(e_{\min}(a)\), intended to quantify the range of holographic encoding in general spacetimes [2208.04993] [2302.07892]. A distinct but related line of work uses the language of generalized entanglement wedges to enlarge the data required for reconstruction inside an ordinary wedge, notably when differential entropy fails because of “entanglement shade” [1804.05855]. Across these usages, the common theme is that reconstructibility in gravity is not exhausted by boundary-anchored HRT surfaces and often depends on generalized entropy, auxiliary purifier data, causal structure, or observer-dependent access.

## 1. Historical formation and conceptual scope

The immediate precursor to later generalized-wedge frameworks was the study of reconstruction inside an ordinary entanglement wedge for extended bulk objects. In AdS\(_3\) Rindler space, it was shown that a generic spacelike curve inside a boundary region’s entanglement wedge is not fully reconstructible from interval entanglement entropies, even with the covariant “null alignment” generalization of hole-ography. The obstruction is not merely a forbidden bulk region but a forbidden set of point-and-slope data in the tangent bundle, termed the **entanglement shade** [1804.05855]. In that setting, ordinary differential entropy reconstructs only the unshaded segments of a curve, while the missing segments require a generalized entanglement-of-purification observable and its associated “differential purification.” The result is a complete reconstruction of all spacelike curves within an arbitrary entanglement wedge in any three-dimensional bulk geometry [1804.05855].

A more sweeping generalization emerged from the attempt to assign entanglement wedges directly to **gravitating bulk regions**, rather than only to asymptotic or nongravitating subsystems. The central motivation was that Hawking radiation in a weakly gravitating bulk region, or a near-boundary AdS bulk region, should already encode regions that standard discussions attach to nongravitating auxiliary systems or boundary subregions. This led to a bulk-to-bulk map
\[
a \longmapsto E(a)\supset a,
\]
where \(E(a)\) is meant to characterize the spatial range of holographic encoding for the full algebra generated by quasi-local operators in \(a\) [2208.04993].

The covariant reformulation sharpened this picture by separating two logically distinct notions: a largest region whose information can flow inward to \(a\), and a smallest region outside of which information can flow outward away from \(a\). These become \(e_{\max}(a)\) and \(e_{\min}(a)\), and unlike their AdS/CFT analogues they can differ already at the classical level, even when generalized entropy is approximated by area [2302.07892]. This distinction is one of the characteristic features of generalized entanglement wedges in arbitrary spacetimes.

## 2. Static generalized entanglement wedges for gravitating regions

The cleanest formulation is static. On a time-reflection-symmetric Cauchy slice \(\Sigma\), an open subset \(a\subset\Sigma\) is treated as a wedge. Its generalized entropy is
\[
S_{\rm gen}(a)\equiv \frac{\A(\partial a)}{4G\hbar}+S(a)+\ldots,
\]
with \(S(a)=-\operatorname{tr}\rho_a\log\rho_a\) and the ellipsis denoting local counterterms [2208.04993]. The generalized entanglement wedge \(E(a)\) is then defined as the wedge satisfying
\[
a\subset E(a)\subset \Sigma,\qquad \tilde\partial a=\tilde\partial E(a),
\]
and having the smallest generalized entropy among all such wedges [2208.04993].

This definition is bulk-intrinsic. If \(a\) is compact, the minimization is over all supersets of \(a\); if \(a\) reaches the conformal boundary, the asymptotic footprint is fixed. In the classical limit, when matter entropy is negligible, \(E(a)\) reduces to an area-minimizing superset; in flat-space examples discussed in the proposal, this becomes the convex hull of a nonconvex region [2208.04993].

A key consistency check is reduction to the ordinary entanglement wedge. If \(a\) lies inside the standard wedge of its conformal boundary, then
\[
a\subset \mathrm{EW}(\tilde\partial a)\quad\Longrightarrow\quad E(a)=\mathrm{EW}(\tilde\partial a),
\]
so the construction reproduces the usual static QES prescription near the AdS boundary [2208.04993].

The static theory also obeys several structural properties expected of an encoding map. If \(a\subset b\), then the minimized generalized entropies satisfy monotonicity, and the regions themselves satisfy nesting,
\[
a\subset b \implies E(a)\subset E(b).
\]
There is a no-cloning statement: if \(a\cap E(b)=\varnothing\) and \(b\cap E(a)=\varnothing\), then \(E(a)\cap E(b)=\varnothing\). There is also a strong-subadditivity analogue,
\[
[E(a\Cup b)] + [E(b\Cup c)] \ge [E(b)] + [E(a\Cup b\Cup c)],
\]
for mutually disjoint open subsets \(a,b,c\subset\Sigma\) [2208.04993]. These results are among the main reasons generalized entanglement wedges were proposed as a candidate universal feature of quantum gravity rather than an AdS-specific artifact.

## 3. Covariant max- and min-entanglement wedges

The covariant framework replaces a single wedge by two. In a globally hyperbolic spacetime \(M\), the spacelike complement of a set \(s\subset M\) is
\[
s' = M\setminus \cl[J^+(s)]\setminus \cl[J^-(s)],
\]
and a **wedge** is a set satisfying
\[
a=a''.
\]
The edge of a wedge is
\[
\eth a \equiv \partial a \cap \partial a',
\]
and generalized entropy takes the form
\[
S_{\rm gen}(a)\equiv \frac{\A(\eth a)}{4G\hbar}+S(a)+\ldots
\]
[2302.07892].

The construction then distinguishes \(e_{\max}(a)\) and \(e_{\min}(a)\). The max-entanglement wedge is the wedge union of all admissible supersets of \(a\) that are antinormal away from the original edge and minimize generalized entropy on a suitable Cauchy slice. The min-entanglement wedge is the intersection of all admissible normal supersets satisfying the complementary minimizing condition. The basic inclusion relation is
\[
e_{\rm min}(a)\supset e_{\rm max}(a)\supset a
\]
[2302.07892].

Operationally, \(e_{\max}(a)\) is interpreted as the largest region whose information can be moved inward to \(a\), through quantum channels whose capacity is controlled by generalized entropies of intermediate homology surfaces. By contrast, all information outside \(e_{\min}(a)\) can flow outward away from \(a\) [2302.07892]. In time-reflection-symmetric settings these notions collapse:
\[
e_T(a)=e_{\max}(a)=e_{\min}(a),
\]
recovering the static picture [2302.07892].

The covariant formulation is conceptually stronger and technically harder. It is explicitly possible for \(e_{\max}(a)\neq e_{\min}(a)\) even in the classical area approximation [2302.07892]. Later work in arbitrary spacetimes therefore often defines a single generalized entanglement wedge \(e(a)\) only when the max and min constructions coincide [2404.11644].

A path-integral derivation of the static BP prescription was given using random tensor networks, fixed-geometry states, and a “hollowing” operation that removes the bulk region \(a\) and computes the entropy of the newly opened legs. In time-reflection-symmetric settings this yields
\[
S(a)=\frac{\mathcal A(\gamma_a,h_\psi)}{4G}+S\!\left(\rho^{\text{bulk}}_{E(a)}(h_\psi)\right),
\]
with \(E(a)\) the smallest generalized-entropy region containing \(a\) and sharing its conformal boundary [2506.10064]. The same paper shows that Rényi saddles can depend on how the bulk region is gauge-invariantly specified, but the \(n\to1\) limit universally reproduces the BP prescription [2506.10064]. A later comparison found that the tensor-network observer rules proposed in a separate context are exactly equivalent to the KRR hollowing rules, suggesting a direct link between observer promotion and generalized entanglement wedges [2606.28484].

## 4. Entropy inequalities and the generalized holographic entropy cone

One of the strongest developments is the extension of holographic entropy inequalities beyond AdS/CFT. In a framework based on causally defined wedges in arbitrary globally hyperbolic spacetimes, the generalized entanglement wedge \(e(a)\) is defined only when a max-entanglement wedge and a min-entanglement wedge coincide. In the regime where matter entropy is negligible compared to geometric entropy, the area of the wedge edge is treated as an entropy-like quantity [2404.11644].

Under appropriate independence assumptions, these generalized wedges satisfy monogamy of mutual information:
\[
\mathrm{Area}[e(a)] + \mathrm{Area}[e(b)] + \mathrm{Area}[e(c)] - \mathrm{Area}[e(ab)] - \mathrm{Area}[e(bc)] - \mathrm{Area}[e(ca)] + \mathrm{Area}[e(abc)] \le 0.
\]
This extends a genuinely holographic entropy-cone inequality beyond AdS/CFT to arbitrary spacetimes [2404.11644].

In the static setting, all known area inequalities of the holographic entropy cone were then extended to generalized entanglement wedges of bulk regions in arbitrary spacetimes. The essential new hypothesis is a **mutual independence condition**:
\[
a_i \subset [E(\Cup_{j\neq i} a_j)]'
\qquad \text{for all } i,
\]
which expresses that each input bulk region lies outside the generalized entanglement wedge of the union of all the others [2502.03516]. Under this condition, every inequality generated by a contraction map in the ordinary static holographic entropy cone carries over to generalized wedges [2502.03516].

An algebraic interpretation has been proposed in which each generalized entanglement wedge \(W\) is assigned a von Neumann algebra \(\mathcal A_W\). In that framework, the wedge entropy is conjecturally related to algebraic entropy and index data by
\[
S_{gen}(W)=S(\omega\mid \mathcal A_W)-\log \mathrm{Ind}(E_{\Omega\to\mathcal A_W})+K_\Omega.
\]
With suitable assumptions on inclusion, meets and joins, factor properties, and commuting conditional expectations, BP monotonicity and strong subadditivity follow from standard operator-algebraic entropy inequalities [2511.21852]. This proposal does not construct the microscopic algebras, but it gives a natural algebraic reading of why generalized wedge entropies behave like ordinary quantum entropies.

## 5. Reconstruction, simple wedges, and operational access

Generalized entanglement wedges also appear in reconstruction problems that refine the ordinary entanglement-wedge paradigm. In AdS\(_3\) Rindler space, the obstruction called **entanglement shade** shows that not every tangent direction inside an entanglement wedge corresponds to a boundary-anchored geodesic that remains in the wedge. For the unshaded segments of a spacelike curve, differential entropy reconstructs the length; for shaded segments, the relevant data are nonminimal entanglement wedge cross sections ending on the RT surface, encoded by a generalized entanglement-of-purification observable \(P'\) and its “differential purification” [1804.05855]. In that three-dimensional setting, the full wedge becomes reconstructible only after supplementing \(\rho_A\)-data with auxiliary purifier data naturally associated with the RT surface [1804.05855].

A related operational problem asks how much of an entanglement wedge can be brought into causal contact with the boundary by simple semiclassical operations. For a perturbative class of states, a cocycle-like unitary supported in the causal wedge produces negative null-energy shocks on the causal horizon and moves the causal surface toward the outermost extremal surface. The construction reveals the previously causally inaccessible “peninsula” to first order in its size, up to \(O(G_N)\) accuracy, and is closely related to Connes cocycle flow [2009.11305].

The general-spacetime analogue of the AdS simple wedge is the **simple wedge** \(z(a)\), defined as the largest wedge accessible from an input wedge \(a\) by an alternating zigzag of antinormal lightsheets. The finite zigzag wedges \(z_n(a)\) are accessible from \(a\) on explicit preferred Cauchy slices, and the limit \(z(a)\) is a throat accessible from \(a\), unique, contained in every other accessible throat, and therefore contained in the generalized max-entanglement wedge \((a)\) [2505.00695]. In AdS, with \(a\) taken to be the bulk causal wedge of a boundary region, this reproduces the ordinary outermost or simple wedge [2505.00695]. This construction isolates the sub-exponentially reconstructible part of the generalized wedge and shows that generalized wedges can contain an internal hierarchy, analogous to the distinction between the simple wedge and the full entanglement wedge in the presence of a Python’s lunch.

## 6. Related frameworks, applications, and open directions

Several adjacent constructions broaden the generalized-wedge landscape without being identical to the BP formalism. One is the **generalized Rindler wedge** (GRW), defined by the region accessible to a family of globally well-defined accelerating observers. Its defining geometric criterion is **Rindler-convexity**, equivalently that outward normal null geodesics from the boundary of a spatial region never intersect to form caustics, or that any externally tangential lightsphere never reaches the inside of the region [2302.03340]. The associated entropy obeys the same area law,
\[
S=\frac{A}{4G},
\]
and the construction is proposed as an observer-based generalized wedge framework distinct from standard HRT wedges [2302.03340]. A later extension derived separation theorems for squashed entanglement and conditional entanglement of multipartite information in this generalized Rindler-wedge setting, with a time cutoff acting as an operational probe of how quantum correlations disappear under restricted accessibility [2310.09799]. These constructions are best regarded as observer-based analogues and probes of generalized entanglement-wedge ideas rather than replacements for the BP framework.

The generalized-entanglement-wedge formalism has also been used to recast the connected wedge theorem in terms of bulk regions and bulk entropies. For \(2\to2\) scattering, new upper and lower bounds on boundary mutual information were obtained in terms of generalized entropies of bulk scattering regions, and new bulk decision regions were defined for which nonempty scattering implies a connected entanglement wedge. The construction extends to asymptotically flat spacetimes, though for the new bulk decision regions the proven connectedness result uses the older \(e_{\min,0}\) definition rather than the refined \(e_{\min}\) [2604.22612].

A different multipartite generalization is the **entanglement wedge polygon** (EWP), a codimension-one region on a maximal-volume slice obtained by removing the individual homology regions \(r_{A_i}\) from the homology region of the union. For pure states,
\[
\Sigma_{A_1:\cdots:A_q}=r_{(A_1\cdots A_q)}\setminus \bigcup_{i=1}^q r_{A_i},
\]
and for mixed states the construction is generalized using entanglement wedge cross sections [2606.21081]. In vacuum AdS\(_3\), its volume is topological by Gauss–Bonnet:
\[
V_{\{A_i\}}=\bigl(n-2\chi(\Sigma_{\{A_i\}})\bigr)\pi L^2.
\]
The EWP is not a generalized entanglement wedge in the BP sense, but it is a codimension-one residual region built from ordinary wedges and wedge cross sections, aimed at isolating multipartite bulk structure [2606.21081].

The subject remains open in several directions. Higher-dimensional analogues of differential purification were left as future work already in the AdS\(_3\) reconstruction program [1804.05855]. The static BP proposal is much more mature than the fully covariant story; no covariant definition is known that simultaneously reproduces the static wedge, reduces to the standard boundary entanglement wedge, and preserves all desired properties such as nesting and strong subadditivity [2208.04993]. In arbitrary spacetimes, a single generalized wedge \(e(a)\) may fail to exist because the max and min constructions need not coincide [2404.11644]. At the microscopic level, the hypothesized algebras associated with generalized wedges remain largely unknown [2511.21852]. These limitations are structural rather than incidental: they indicate that generalized entanglement wedges are not merely an extrapolation of HRT surfaces, but a broader program for formulating holographic encoding, entropy, and observer access in gravitating systems beyond the standard boundary-subregion setting.

Source: https://www.emergentmind.com/topics/generalized-entanglement-wedges