Proof of a quantum Bousso bound

We prove the generalized covariant entropy bound, ΔS≤(A-A^')/4Gℏ, for light-sheets with initial area A and final area A^'. 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.