Strominger–Thompson Quantum Bousso Bound
Prove that for any quantum lightsheet L_qu(γ1, γ2) in semiclassical gravity, the coarse-grained (thermodynamic) entropy S_th(L_qu(γ1,γ2)) is bounded by the difference of quantum areas, i.e., S_th(L_qu(γ1,γ2)) ≤ (Area_qu(γ1) − Area_qu(γ2))/(4G).
References
Conjecture [Strominger-Thompson quantum Bousso bound] Let $\mathcal{L}{\rm qu}(\gamma_1,\gamma_2)$ be a quantum lightsheet that emanates and terminates orthogonally from two codimension-two spacelike hypersurfaces $\gamma_1$ and $\gamma_2$. Then, \begin{equation} \label{eq:STBB} S{\rm th}(\mathcal{L}{\rm qu}(\gamma_1,\gamma_2)) \leq \frac{\text{Area}{\rm qu}(\gamma_1)-\text{Area}{\rm qu}(\gamma_2)}{4G}, \end{equation} where $S{\rm th}(\mathcal{L}_{\rm qu}(\gamma_1,\gamma_2))$ is the thermodynamic entropy of the lightsheet.