Abstract:We provide a formulation and proof of the gravitational entropy bound. We use a recently given framework which expresses the measurable quantities of a quantum theory as a weighted sum over paths in the theory's phase space. If this framework is applied to a field theory on a spacetime foliated by a hypersurface $\Sigma,$ the choice of a codimension-2 surface $B$ without boundary contained in $\Sigma$ specifies a submanifold in the phase space. We show here that this submanifold is naturally restricted to obey an entropy bound if the field theory is diffeomorphism-invariant. We prove this restriction to arise by considering the quantum-mechanical sum of paths in phase space and exploiting the interplay of the commutativity of the sum with diffeomorphism-invariance. The formulation of the entropy bound, which we state and derive in detail, involves a functional $K$ on the submanifold associated to $B.$ We give an explicit construction of $K$ in terms of the Lagrangian. The gravitational entropy bound then states: For any real $\frac{\lambda}{\hbar},$ consider the set of states where $K$ takes a value not bigger than $\lambda$ and let $V$ denote the phase space volume of this set. One has then $\ln (V) \le \frac{\lambda}{\hbar}.$ Especially, we show for the Einstein-Hilbert Lagrangian in any dimension with cosmological constant and arbitrary minimally coupled matter, one has $K = \frac{A}{4G}.$ Hereby, $A$ denotes the area of $B$ in a particular state.

A Bekenstein-type bound in QFT

The entropy bound for local quantum field theory

Von Neumann Entropy in QFT

Bekenstein bound on black hole entropy in non-Gaussian statistics

Comment on "holographic Entropy Bound and Local Quantum Field Theory"

A covariant regulator for entanglement entropy: proofs of the Bekenstein bound and QNEC

Bounds on field range for slowly varying positive potentials

On the Quantum Bousso Bound in JT gravity

The Fermionic Entanglement Entropy and Area Law for the Relativistic Dirac Vacuum State

Infinite Statistics and Holographic Principle

What exactly does Bekenstein bound?

Formulation and Proof of the Gravitational Entropy Bound

Area Law Saturation of Entropy Bound from Perturbative Unitarity in Renormalizable Theories

Relative entropy and curved spacetimes

An entropy bound due to symmetries

Generalized entropy for general subregions in quantum gravity

On separable states in relativistic quantum field theory

Entanglement entropy in conformal quantum mechanics

A glimpse at the flat-spacetime limit of quantum gravity using the Bekenstein argument in reverse