Ignorance is Cheap: From Black Hole Entropy To Energy-Minimizing States In QFT
arXiv:1906.05299 · doi:10.1103/PhysRevD.101.046001
Abstract
Behind certain marginally trapped surfaces one can construct a geometry containing an extremal surface of equal, but not larger area. This construction underlies the Engelhardt-Wall proposal for explaining Bekenstein-Hawking entropy as a coarse-grained entropy. The construction can be proven to exist classically but fails if the Null Energy Condition is violated. Here we extend the coarse-graining construction to semiclassical gravity. Its validity is conjectural, but we are able to extract an interesting nongravitational limit. Our proposal implies Wall's ant conjecture on the minimum energy of a completion of a quantum field theory state on a half-space. It further constrains the properties of the minimum energy state; for example, the minimum completion energy must be localized as a shock at the cut. We verify that the predicted properties hold in a recent explicit construction of Ceyhan and Faulkner, which proves our conjecture in the nongravitational limit.
v2: added discussion on boundary dual of coarse-graining; v1: 15 pages
References in corpus (5)
Cited by in corpus (17)
- Gravity and the Crossed Product
- Large N algebras and generalized entropy
- Islands for Reflected Entropy
- Leading order corrections to the quantum extremal surface prescription
- Quantum minimal surfaces from quantum error correction
- A World without Pythons would be so Simple
- Finding Pythons in Unexpected Places
- Gravity Dual of Connes Cocycle Flow
- Coarse-Graining Holographic States: A Semiclassical Flow in General Spacetimes
- Canonical Purification of Evaporating Black Holes
- Quantum Penrose Inequality
- Seeing the Entanglement Wedge
- A Renyi Quantum Null Energy Condition: Proof for Free Field Theories
- The action of HRT-areas as operators in semiclassical gravity
- Large and Small Corrections to the JLMS Formula from Replica Wormholes
- Outer entropy = Bartnik-Bray inner mass, and the gravitational ant conjecture
- Extremality as a Consistency Condition on Subregion Duality