Holographic Entropy Inequalities

• Holographic Entropy Inequalities are linear and nonlinear constraints that define the holographic entropy cone via the Ryu–Takayanagi prescription.
• They reveal intricate multipartite correlations by analyzing minimal-cut surfaces and using contraction map techniques for rigorous combinatorial proofs.
• These inequalities inform applications in quantum erasure correction, secret-sharing, and renormalization group flows within the AdS/CFT framework.

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") (Bao et al., 2015). 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) (Bao et al., 2015): $$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 (Czech et al., 2023, Czech et al., 2024):

• 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 (Czech et al., 2023, Czech et al., 2024).

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 (He et al., 2020).

3. Algorithmic and Combinatorial Structures

HEIs admit a rigorous combinatorial backbone through the "proof by contraction map" technique (Bao et al., 2015, Bao et al., 22 Jun 2025). 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 (Bao et al., 2024).

All provable linear HEIs with rational coefficients admit contraction map proofs, and this method is algorithmically complete (Bao et al., 22 Jun 2025).

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) (Hernández-Cuenca et al., 2023, He et al., 2020).

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 (Czech et al., 15 Jan 2026, Grimaldi et al., 15 Jan 2026). 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 (Grimaldi et al., 29 Aug 2025, Czech et al., 15 Jan 2026).

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" (Hernández-Cuenca et al., 2023).

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 (Grado-White et al., 2024, Czech et al., 2019). 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$ (Brown et al., 2015). 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 (Nakaguchi et al., 2016).

7. Operational Meaning, Erasure Correction, and RG Implications

HEIs impose strict order parameters for quantum erasure-correction and secret-sharing schemes in AdS/CFT (Czech et al., 17 Feb 2025). 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 (Czech et al., 15 Jan 2026).

---

References:

• "Holographic Entropy Inequalities and Multipartite Entanglement" (Hernández-Cuenca et al., 2023)
• "The Holographic Entropy Cone" (Bao et al., 2015)
• "Superbalance of Holographic Entropy Inequalities" (He et al., 2020)
• "A new characterization of the holographic entropy cone" (Grimaldi et al., 29 Aug 2025)
• "Combinatorial properties of holographic entropy inequalities" (Grimaldi et al., 15 Jan 2026)
• "Testing holographic entropy inequalities in 2+1 dimensions" (Grado-White et al., 2024)
• "Two infinite families of facets of the holographic entropy cone" (Czech et al., 2024)
• "Holographic Entropy Cone Beyond AdS/CFT" (Bousso et al., 5 Feb 2025)
• "A Holographic Proof of Rényi Entropic Inequalities" (Nakaguchi et al., 2016)
• "On the completeness of contraction map proof method for holographic entropy inequalities" (Bao et al., 22 Jun 2025)
• "Towards a complete classification of holographic entropy inequalities" (Bao et al., 2024)
• "Holographic Entropy Inequalities and the Topology of Entanglement Wedge Nesting" (Czech et al., 2023)
• "Non-linear Holographic Entanglement Entropy Inequalities for Single Boundary 2D CFT" (Brown et al., 2015)
• "A graphical framework for proving holographic entanglement entropy inequalities in multipartite systems" (Chou et al., 21 Dec 2025)
• "Entropy Inequalities Constrain Holographic Erasure Correction" (Czech et al., 17 Feb 2025)