PIRSA:15080067

The Holographic Entropy Cone

APA

Bao, N. (2015). The Holographic Entropy Cone. Perimeter Institute for Theoretical Physics. https://pirsa.org/15080067

MLA

Bao, Ning. The Holographic Entropy Cone. Perimeter Institute for Theoretical Physics, Aug. 18, 2015, https://pirsa.org/15080067

BibTex

          @misc{ scivideos_PIRSA:15080067,
            doi = {10.48660/15080067},
            url = {https://pirsa.org/15080067},
            author = {Bao, Ning},
            keywords = {Quantum Fields and Strings, Quantum Gravity, Quantum Information},
            language = {en},
            title = {The Holographic Entropy Cone},
            publisher = {Perimeter Institute for Theoretical Physics},
            year = {2015},
            month = {aug},
            note = {PIRSA:15080067 see, \url{https://scivideos.org/index.php/pirsa/15080067}}
          }
          

Ning Bao University of California, Berkeley

Talk numberPIRSA:15080067
Source RepositoryPIRSA

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.