The Holographic Entropy Cone
Ning Bao, Sepehr Nezami, Hirosi Ooguri, Bogdan Stoica, James Sully, Michael Walter
TL;DR
The paper formalizes the holographic entropy cone governing Ryu-Takayanagi entropies for multipartite boundary regions, proving that SSA and MMI fully constrain the cone for up to four regions, and unveiling an infinite family of inequalities for five or more regions. It introduces a finite, graph-based model that exactly reproduces holographic entropies, establishing polyhedrality of the cone and enabling combinatorial proofs via contractions on hypercubes. A new framework of proofs by contraction yields a rich set of higher-order inequalities, including cyclic families, and provides a greedy algorithm to construct such proofs. The results bridge geometry, graph theory, and CFT, linking multiboundary wormhole geometries to entropic building blocks and outlining significant implications for holography, quantum gravity, and tensor-network models.
Abstract
We initiate a systematic enumeration and classification of entropy inequalities satisfied by the Ryu-Takayanagi formula for conformal field theory states with smooth holographic dual geometries. For 2, 3, and 4 regions, we prove that the strong subadditivity and the monogamy of mutual information give the complete set of inequalities. This is in contrast to the situation for generic quantum systems, where a complete set of entropy inequalities is not known for 4 or more regions. We also find an infinite new family of inequalities applicable to 5 or more regions. The set of all holographic entropy inequalities bounds the phase space of Ryu-Takayanagi entropies, defining the holographic entropy cone. We characterize this entropy cone by reducing geometries to minimal graph models that encode the possible cutting and gluing relations of minimal surfaces. We find that, for a fixed number of regions, there are only finitely many independent entropy inequalities. To establish new holographic entropy inequalities, we introduce a combinatorial proof technique that may also be of independent interest in Riemannian geometry and graph theory.
