Proof of Classical Versions of the Bousso Entropy Bound and of the Generalized Second Law

TL;DR

This paper proves classical versions of Bousso's entropy bound and the generalized second law within general relativity, based on specific hypotheses about entropy flux and energy conditions, reinforcing the holographic principle.

Contribution

It derives Bousso's entropy bound from two sets of hypotheses and establishes a stronger bound that implies the generalized second law.

Findings

Bousso's entropy bound can be derived from hypotheses involving entropy flux vectors.

A stronger entropy bound implies the generalized second law.

The results support the holographic principle in classical spacetimes.

Abstract

Bousso has conjectured that in any spacetime satisfying Einstein's equation and satisfying the dominant energy condition, the "entropy flux" S through any null hypersurface L generated by geodesics with non-positive expansion starting from some spacelike 2 surface of area A must satisfy S<=A/4. This conjecture reformulates earlier conjectured entropy bounds of Bekenstein and also of Fischler and Susskind, and can be interpreted as a statement of the so-called holographic principle. We show that Bousso's entropy bound can be derived from either of two sets of hypotheses. The first set of hypotheses is (i) associated with each null surface L in spacetime there is an entropy flux 4-vector s^a_L whose integral over L is the entropy flux through L, and (ii) along each null geodesic generator of L, we have $|s^a_L k_a| \le \pi (\lambda_\infty - \lambda) T_{ab} k^a k^b$, where $T_{ab}$ is the stress-energy tensor, $\lambda$ is an affine parameter, $k^a = (d / d\lambda)^a$, and $\lambda_\infty$ is the value of affine parameter at the endpoint of the geodesic. The second (purely local) set of hypotheses is (i) there exists an absolute entropy flux 4-vector s^a such that the entropy flux through any null surface L is the integral of s^a over L, and (ii) this entropy flux 4-vector obeys the pointwise inequalities $(s_a k^a)^2 \le T_{ab} k^a k^b / (16 \pi)$ and $|k^a k^b \nabla_a s_b| \le \pi T_{ab} k^a k^b /4$ for any null vector k^a. Under the first set of hypotheses, we also show that a stronger entropy bound can be derived, which directly implies the generalized second law of thermodynamics.