A proof of the generalized second law for rapidly changing fields and arbitrary horizon slices

The generalized second law is proven for semiclassical quantum fields falling across a causal horizon, minimally coupled to general relativity. The proof is much more general than previous proofs in that it permits the quantum fields to be rapidly changing with time, and shows that entropy increases when comparing any slice of the horizon to any earlier slice. The proof requires the existence of an algebra of observables restricted to the horizon, satisfying certain axioms (Determinism, Ultralocality, Local Lorentz Invariance, and Stability). These axioms are explicitly verified in the case of free fields of various spins, as well as 1+1 conformal field theories. The validity of the axioms for other interacting theories is discussed.
44 pages, 1 fig. v3: clarified Sec. 2; signs, factors/notation corrected in Eq. 75-80, 105-107; reflects published version. v4: clearer axioms in Sec. 2.3, fixed compensating factor of 2 errors in Eq. 54,74 etc., and other errors. Results unaffected. v5: fixed typos. v6: replaced faulty 1+1 CFT argument, added note on recent progress