---
title: Holographic Entropy Inequalities
url: https://www.emergentmind.com/topics/holographic-entropy-inequalities
type: topic
---

# Holographic Entropy Inequalities

Holographic entropy inequalities (HEIs) are linear and non-linear constraints on the entanglement entropies of subsystems in boundary conformal field theories dual to classical bulk geometries. These inequalities carve out the "holographic entropy cone," a polyhedral region in entropy space defined by all vectors of entropies achievable via the Ryu–Takayanagi formula. Beyond general quantum subadditivity and strong subadditivity, HEIs encode highly nontrivial multipartite correlations and impose powerful constraints informed by the combinatorics and geometry of minimal-cut surfaces in the bulk. Recent advances have elucidated their classification, geometric interpretation, algorithmic generation, combinatorial properties, and dynamical (covariant) generalizations.

## 1. Formal Definitions and Geometric Foundations

In the AdS/CFT correspondence, consider $N$ disjoint boundary regions $A_1, \ldots, A_N$. The von Neumann entropy is
\[
S(A) = -\mathrm{Tr}\, \rho_A \ln \rho_A,
\]
where $\rho_A$ is the reduced density matrix for region $A$. The Ryu–Takayanagi (RT) prescription computes
\[
S(A) = \frac{\mathrm{Area}(\gamma_A)}{4G_N},
\]
with $\gamma_A$ the bulk minimal surface homologous to $A$. The set of entropies for all nonempty unions, together with the purifier region, forms the "entropy vector" $S_{I}$ for $I \subseteq [N]$.

The set of all entropy vectors arising from the RT formula defines a convex polyhedral cone $\mathcal{C}_N \subset \mathbb{R}^{2^N-1}$ (the "holographic entropy cone") [1505.07839]. Facets of this cone correspond to HEIs—linear inequalities of the schematic form
\[
\sum_{l=1}^L \alpha_l S(X_l) \geq \sum_{r=1}^R \beta_r S(Y_r),
\]
where each $X_l$ and $Y_r$ is a subset of regions and $\alpha_l, \beta_r > 0$.

## 2. Classification, Representative Families, and Extreme Rays

For two and three regions, only subadditivity and strong subadditivity suffice to characterize the cone. However, holography yields strictly stronger constraints such as the "monogamy of mutual information" (MMI) [1505.07839]:
\[
S(AB) + S(AC) + S(BC) \geq S(A) + S(B) + S(C) + S(ABC).
\]

For $N \geq 5$, infinite families of cyclic, toroidal, and projective-plane inequalities emerge [2309.15145, 2401.13029]:
- **Cyclic inequalities** (e.g., for odd $N=2k+1$):
  \[
  \sum_{i=1}^{2k+1} S(A_i|A_{i+1}\cdots A_{i+k}) \geq S(A_1\cdots A_{2k+1}),
  \]
  generalizing Kitaev–Preskill's TEE.
- **Toric and RP$^2$ inequalities**: Built from dihedrally symmetric arrangements and linked to the topology of entanglement wedge nesting [2309.15145, 2401.13029].

Extreme rays of the cone correspond to geometric configurations such as perfect tensors (maximal multipartite entanglement) and "purely multipartite" rays with vanishing mutual information between any pair [2002.04558].

## 3. Algorithmic and Combinatorial Structures

HEIs admit a rigorous combinatorial backbone through the "proof by contraction map" technique [1505.07839, 2506.18086]. Each candidate inequality is associated with bitstring incidence matrices for boundary regions, and its validity is equivalent to the existence of a map $f: \{0,1\}^L \to \{0,1\}^R$ satisfying:
- $f$ matches boundary conditions: $f(x^{A_i}) = y^{A_i}$ for all $i$,
- $f$ is "distance-contracting": for all $x, x'$, $||x - x'|| \geq ||f(x) - f(x')||$.

There is a complete triality:
- HEI $\leftrightarrow$ contraction map $\leftrightarrow$ partial-cube image of associated hypercube graphs [2409.17317].

All provable linear HEIs with rational coefficients admit contraction map proofs, and this method is algorithmically complete [2506.18086].

## 4. Superbalance, Null Reduction, and Majorization

Balanced HEIs cancel divergences for each party; "superbalanced" inequalities possess this property even after any purification (replacing a region by its complement) [2309.06296, 2002.04558].

The "null reduction" operation drops all terms not containing a chosen party and yields lower-dimensional inequalities. For superbalanced HEIs, all null reductions also pass the majorization test [2601.09989, 2601.09987]. Vector majorization provides combinatorial necessary and sufficient conditions for HEIs in the centered case, unifying contraction maps and dominance hierarchies.

Majorization tests have been shown to preempt a wide class of potential time-dependent (covariant) violations, adding strong evidence that all RT-proven inequalities remain valid under HRT (covariant Hubeny–Rangamani–Takayanagi formula) for dynamical spacetimes [2508.21823, 2601.09989].

## 5. Multipartite Information and Geometric Interpretation

HEIs are concisely recast in terms of multipartite information quantities $I_n$ (inclusion–exclusion basis):
\[
I_n(A_1:\cdots:A_n) = \sum_{k=1}^n (-1)^{k+1} \sum_{1 \leq i_1 < \cdots < i_k \leq n} S(A_{i_1}\cdots A_{i_k}),
\]
with notable cases including mutual information and tripartite information. Cumbersome inequalities are reduced to sums of such terms, often reaching the "tripartite form" [2309.06296].

Geometrically, $|I_n| > 0$ diagnoses genuinely multipartite connectivity of the bulk entanglement wedge—corresponding to the existence of a single bulk point with simultaneous spacelike connections to all boundary regions. Vanishing of $I_n$ signals factorization. For $n \geq 4$, $I_n$ is sign-indefinite; only $I_2 \geq 0$ and $-I_3 \geq 0$ are universal across all static holographic geometries.

## 6. Covariant Generalization, Nonlinear and Rényi Inequalities

Extensive analytic and numerical studies show that known HEIs persist in HRT (covariant) settings for $2+1$-dimensional bulks, for both simply- and multiply-connected geometries [2407.07165, 1905.03787]. Majorization-based arguments further support this extension in higher dimensions.

In specific models, additional nonlinear holographic entropy inequalities arise, especially in single-boundary AdS$_3$/CFT$_2$ [1508.05441]. These include inequalities refined by the Cardy–Calabrese formula and hyperbolic geometry, carving out strictly smaller cones of admissible entropy vectors and offering sharper diagnostics for holographic duals.

Rényi entropic inequalities (for Rényi entropy $S_n$) admit geometric holographic proofs:
\[
\partial_n S_n \leq 0,\quad \partial_n \left( \frac{n-1}{n} S_n \right) \geq 0,\quad C(n) = n^2 ( \langle H^2 \rangle_n - \langle H \rangle_n^2 ) \geq 0,
\]
where $C(n)$ is the "capacity of entanglement," and $H = -\ln \rho$ is the modular Hamiltonian. The holographic formula directly links capacity to quantum fluctuations of $H$ for stable bulk solutions [1606.08443].

## 7. Operational Meaning, Erasure Correction, and RG Implications

HEIs impose strict order parameters for quantum erasure-correction and secret-sharing schemes in AdS/CFT [2502.12246]. Saturation forces certain entanglement wedge overlaps to vanish, and strictness is necessary for correctable bulk erasure patterns. Dominance properties in majorization directly constrain logical operator recovery and RG flow of entanglement wedges in the bulk—these provide deep connections between code properties, multipartite entanglement, and holographic RG dynamics [2601.09989].

---

**References:**  
- "Holographic Entropy Inequalities and Multipartite Entanglement" [2309.06296]  
- "The Holographic Entropy Cone" [1505.07839]  
- "Superbalance of Holographic Entropy Inequalities" [2002.04558]  
- "A new characterization of the holographic entropy cone" [2508.21823]  
- "Combinatorial properties of holographic entropy inequalities" [2601.09987]  
- "Testing holographic entropy inequalities in 2+1 dimensions" [2407.07165]  
- "Two infinite families of facets of the holographic entropy cone" [2401.13029]  
- "Holographic Entropy Cone Beyond AdS/CFT" [2502.03516]  
- "A Holographic Proof of Rényi Entropic Inequalities" [1606.08443]  
- "On the completeness of contraction map proof method for holographic entropy inequalities" [2506.18086]  
- "Towards a complete classification of holographic entropy inequalities" [2409.17317]  
- "Holographic Entropy Inequalities and the Topology of Entanglement Wedge Nesting" [2309.15145]  
- "Non-linear Holographic Entanglement Entropy Inequalities for Single Boundary 2D CFT" [1508.05441]  
- "A graphical framework for proving holographic entanglement entropy inequalities in multipartite systems" [2512.18726]  
- "Entropy Inequalities Constrain Holographic Erasure Correction" [2502.12246]

Source: https://www.emergentmind.com/topics/holographic-entropy-inequalities