black hole spacetimes | vanishing angular momentum | positive angular momentum |
---|---|---|
vanishing charge | Schwarzschild spacetime | Kerr spacetime |
positive charge | Reissner-Nordstrom spacetime | Kerr-Newman spacetime |
physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
The standard second law of theormodynamics? states that in a closed system of classical mechanics or quantum mechanics the (coarse-grained) entropy is non-decreasing with time.
This is statement is to be tacitly understood as applying to dynamics taking place on an a-priori fixed spacetime (a fixed “background”). If however one takes also gravity into account as part of the “system”, then the statement of the second law becomes much more subtle.
The generalized second law of theoremodynamics is an attempt to generalize the naive second law to general relativity. A central idea is that the Bekenstein-Hawking entropy of horizons (such as of black holes) has to be added to the naive entropy of the matter in the “universe”.
gravitational entropy
A detailed discussion is in
Aron Wall, Ten proofs of the generalized second law (arXiv:0901.3865)
Aron Wall, A proof of the generalized second law for rapidly-evolving Rindler horizons (arXiv:1007.1493)
Aron Wall, A proof of the generalized second law for rapidly changing fields and arbitrary horizon slices (arXiv:1105.3445)
The first paper critiques previous work. The second proves the generalized 2nd law in a semiclassical framework on a background spacetime that has both boost and null translation symmetries. The argument makes heavy use of the concept of relative entropy. The third paper generalizes the second one to a much wider class of spacetimes, assuming some axioms about the behavior of quantum fields on these spacetimes.
To show that entropy increases, a crucial step in Wall’s proof is to use the fact that the relative entropy obeys
where the states $\rho'$ and $\sigma'$ are obtained by restricting the states $\rho$ and $\sigma$ to a subalgebra of the original algebra of observables.