Proof of a Quantum Bousso Bound

We prove the generalized Covariant Entropy Bound, ∆S ≤ (A−A0 )/4G~, for light-sheets with initial area A and final area A0 . The entropy ∆S is defined as a difference of von Neumann entropies of an arbitrary state and the vacuum, with both states restricted to the light-sheet under consideration. The proof applies to free fields, in the limit where gravitational backreaction is small. We do not assume the null energy condition. In regions where it is violated, we find that the bound is protected by the defining property of light-sheets: that their null generators are nowhere expanding. Fil: Bousso, Raphael. Lawrence Berkeley National Laboratory; Estados Unidos. University of California at Berkeley; Estados Unidos Fil: Casini, Horacio German. University of Princeton; Estados Unidos. Comisión Nacional de Energía Atómica. Centro Atómico Bariloche; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina