On the completeness of contraction map proof method for holographic entropy inequalities
arXiv:2506.18086 · doi:10.1007/JHEP12(2025)140
Abstract
The contraction map proof method is the commonly used method to prove holographic entropy inequalities. Existence of a contraction map corresponding to a holographic entropy inequality is a sufficient condition for its validity. But is it also necessary? In this note, we answer that question in affirmative for all linear holographic entropy inequalities with rational coefficients. We show that the pre-image of a non-contraction map is not a hypercube, but a proper cubical subgraph, and show that this manifests as alterations to the geodesic structure in the bulk, which leads to the violation of inequalities by holographic geometries obeying the RT formula.
v1 25 pages, v2 32 pages (journal version)
References in corpus (21)
- Holographic Derivation of Entanglement Entropy from AdS/CFT
- Quantum Extremal Surfaces: Holographic Entanglement Entropy beyond the Classical Regime
- Chaos in quantum channels
- The Holographic Entropy Cone
- Conditional and Multipartite Entanglements of Purification and Holography
- The Holographic Entropy Cone for Five Regions
- Quantum minimal surfaces from quantum error correction
- Holographic Entropy Relations Repackaged
- On the foundations and extremal structure of the holographic entropy cone
- Holographic Entropy Inequalities and Multipartite Entanglement
- The Symmetrized Holographic Entropy Cone
- Holographic Cone of Average Entropies
- The holographic entropy cone from marginal independence
- Holographic entropy inequalities and gapped phases of matter
- Topological Link Models of Multipartite Entanglement
- Two infinite families of facets of the holographic entropy cone
- Towards a complete classification of holographic entropy inequalities
- Properties of the contraction map for holographic entanglement entropy inequalities
- A framework for generalizing toric inequalities for holographic entanglement entropy
- Inner bounding the quantum entropy cone with subadditivity and subsystem coarse grainings
- Beyond the Holographic Entropy Cone via Cycle Flows