Black hole thermodynamics: the four laws, Bekenstein-Hawking entropy, and the area theorem

Intuition Beginner

Black holes look featureless. From outside, all you can measure is their mass, their spin, and their electric charge. Yet a remarkable cluster of results from the early 1970s shows that black holes also carry a temperature and an entropy, and that they obey the same four laws as ordinary thermodynamics. This is one of the deepest known bridges between gravity, quantum theory, and information.

The hinge is a single classical fact: in general relativity, the surface area of a black hole event horizon never decreases. If two black holes collide and merge, the area of the final horizon exceeds the sum of the initial areas. If matter falls in, the area grows. Stephen Hawking proved this in 1971 and it became known as the area theorem. The parallel with the second law of thermodynamics, which says entropy never decreases, was immediate and striking.

Jacob Bekenstein in 1972 proposed that the analogy was real: a black hole has an entropy proportional to the area of its horizon. Hawking then showed in 1974 that, when one quantises ordinary matter fields on the black-hole background, the hole radiates exactly as a thermal body would, with a temperature set by the surface gravity at the horizon. The constant of proportionality between area and entropy is fixed once and for all: a black hole of horizon area $A$ has entropy $S=k_B{c}^{3}A/(4G\hslash )$ in standard units, where $G$ is Newton's constant, $\hslash$ Planck's reduced constant, $c$ the speed of light, and $k_B$ Boltzmann's constant.

Visual Beginner

The picture below sketches the four laws of black-hole mechanics next to the four laws of thermodynamics, with one row per law. The arrow at the bottom indicates the historical direction: classical general relativity gave the analogy; semiclassical quantum field theory on a black-hole background promoted it to an identity.

Law	Thermodynamics	Black hole mechanics
Zeroth	Temperature $T$ is uniform at equilibrium	Surface gravity $\kappa$ is constant on a stationary horizon
First	$dE=TdS+\text{work}$	$dM=(\kappa /8\pi )dA+\Omega dJ+\Phi dQ$
Second	$dS\ge 0$ in a closed system	$dA\ge 0$ in classical GR (area theorem)
Third	Cannot reach $T=0$ in finite steps	Cannot reach $\kappa =0$ in finite steps

Worked example Beginner

Take a black hole with the mass of one kilogram. This is microscopic by astronomical standards but useful as a numerical exercise. Compute (i) the Schwarzschild radius $r_S$, (ii) the Hawking temperature $T_H$, and (iii) the rough evaporation lifetime.

Step 1. Schwarzschild radius. The formula is $r_S=2GM/c^2$. Plugging in $G=6.67\times 10^{-11}$, $M=1$ kg, $c=3\times 10^8$ m/s:

$$r_S=\frac{2\times 6.67\times 10^{-11}\times 1}{9\times 10^{16}}\approx 1.5\times 10^{-27}\text{ m}.$$

That is far smaller than a proton, which has radius about $10^{-15}$ m.

Step 2. Hawking temperature. The formula is $T_H=\hslash c^3/(8\pi GM{k}_B)$. Plugging in $\hslash =1.05\times 10^{-34}$, $k_B=1.38\times 10^{-23}$:

$$T_H=\frac{1.05\times 10^{-34}\times (3\times 10^8{)}^3}{8\pi \times 6.67\times 10^{-11}\times 1\times 1.38\times 10^{-23}}\approx 1.2\times 10^{23}\text{ K}.$$

A kilogram black hole is hotter than the centre of any star — hotter even than the universe was a microsecond after the Big Bang.

Step 3. Lifetime. The rough formula is $\tau \approx (5120\pi G^2/\hslash c^4)M^3$. For $M=1$ kg this gives about $10^{-16}$ s. A kilogram-scale black hole would evaporate almost instantly, releasing about $10^{17}$ joules of energy in the process — about a megaton of TNT.

What this tells us: small black holes are hot and short-lived, while big black holes are cold and long-lived; the Hawking temperature scales as $1/M$ and the lifetime scales as $M^3$.

Check your understanding Beginner

Formal definition Intermediate+

We work in geometric units $G=c=1$ where convenient. Take a stationary, asymptotically flat black-hole spacetime $(M,g)$ with future event horizon ${\mathcal{H}}^{+}$. The horizon is a Killing horizon: there is a Killing vector field ${\xi }^a$ which is null on ${\mathcal{H}}^{+}$ and timelike just outside it. For the Schwarzschild metric

$$d{s}^2=-\left(1-\frac{2M}{r}\right)d{t}^2+{\left(1-\frac{2M}{r}\right)}^{-1}d{r}^2+r^{2}d{\Omega }^2,$$

the stationary Killing field is ${\xi }^a=({\partial }_t{)}^a$, the horizon is $r=2M$, and the horizon area is

$$A={\int }_{\mathcal{H}\cap \Sigma }\sqrt{\det h_{ab}}{d}^{2}x=4\pi (2M{)}^2=16\pi M^2,$$

where $\Sigma$ is a Cauchy surface and $h_{ab}$ the induced 2-metric.

Definition (surface gravity). On a Killing horizon ${\mathcal{H}}^{+}$ generated by the Killing field ${\xi }^a$, the surface gravity $\kappa$ is the scalar defined by

$${\xi }^b{\nabla }_b{\xi }^a=\kappa {\xi }^a\text{on }{\mathcal{H}}^{+}.$$

Equivalently, ${\kappa }^2=-\frac{1}{2}({\nabla }^a{\xi }^b)({\nabla }_a{\xi }_b){|}_{{\mathcal{H}}^{+}}$. For the Schwarzschild metric, direct computation in the static-frame basis gives $\kappa =1/(4M)$, which restored with units is $\kappa =c^4/(4GM)$.

Definition (Hawking temperature). Given a Killing-horizon surface gravity $\kappa$, the Hawking temperature is

$$T_H=\frac{\hslash \kappa }{2\pi k_{B}c}.$$

For Schwarzschild this evaluates to $T_H=\hslash c^3/(8\pi GM{k}_B)\approx 6.2\times 10^{-8}\text{K}(M_{\odot }/M)$. The temperature scales inversely with mass: small holes are hot, large holes are cold.

Definition (Bekenstein-Hawking entropy). The entropy assigned to a black hole of horizon area $A$ is

$$S_{BH}=\frac{k_B{c}^{3}A}{4G\hslash }=\frac{k_{B}A}{4{\ell }_P^2},{\ell }_P=\sqrt{\hslash G/c^3}.$$

For Schwarzschild, $A=16\pi G^2{M}^2/c^4$, so $S_{BH}=4\pi k_{B}G{M}^2/(\hslash c)\approx 1.05\times 10^{77}{k}_B(M/M_{\odot }{)}^2$ — vastly more entropy than ordinary matter of comparable mass.

The four laws of black-hole mechanics

Following Bardeen-Carter-Hawking 1973, Comm. Math. Phys. 31, 161:

• Zeroth law. On the event horizon of a stationary black hole, the surface gravity $\kappa$ is constant.
• First law. Two infinitesimally close stationary black holes are related by $dM=(\kappa /8\pi )dA+{\Omega }_{H}dJ+{\Phi }_{H}dQ$, where ${\Omega }_H$ is the angular velocity of the horizon and ${\Phi }_H$ the electrostatic potential at the horizon.
• Second law (area theorem, Hawking 1971). In classical general relativity, with the null energy condition $T_{ab}{k}^a{k}^b\ge 0$ holding on the horizon, $dA\ge 0$ in any process.
• Third law. No physical process can reduce $\kappa$ to zero in a finite sequence of operations (extremal black holes are unreachable).

Under the dictionary $T\leftrightarrow \kappa /(2\pi )$ and $S\leftrightarrow A/4$ (with appropriate dimensional factors), the four laws of black-hole mechanics become the four laws of thermodynamics. After Hawking 1974 the dictionary is not an analogy but an identity.

Counterexamples to common slips

• The area theorem is not unconditional. It requires the null energy condition. In semiclassical settings where quantum fields can violate this condition (the renormalised stress-energy tensor of a quantum field is not positive on null vectors), the area can decrease — this is exactly what Hawking radiation does.
• Surface gravity is not the gravitational acceleration at the horizon. For a static observer just outside the horizon, the locally measured acceleration diverges as the horizon is approached; $\kappa$ is this divergent acceleration redshifted to infinity, finite by definition.
• The first law $dM=(\kappa /8\pi )dA$ is not the same as $dE=TdS$ until the temperature is identified. In the 1973 Bardeen-Carter-Hawking paper the identification $\kappa /(2\pi )=T$ was speculative; Hawking 1974 closed the gap by showing the temperature is physical.

Key theorem with proof Intermediate+

Theorem (Schwarzschild surface gravity and Hawking temperature). The Schwarzschild black hole of mass $M$ has surface gravity $\kappa =1/(4M)$ on its event horizon (in geometric units $G=c=1$), and emits Hawking radiation at temperature $T_H=\hslash /(8\pi M{k}_B)$ in conventional units.

Proof. The Schwarzschild metric has stationary Killing vector ${\xi }^a=({\partial }_t{)}^a$ with norm

$${\xi }^a{\xi }_a=g_{tt}=-\left(1-\frac{2M}{r}\right),$$

vanishing at $r=2M$, which identifies the horizon as a Killing horizon. We compute $\kappa$ from ${\kappa }^2=-\frac{1}{2}({\nabla }^a{\xi }^b)({\nabla }_a{\xi }_b)$ evaluated at $r=2M$.

Since ${\xi }^a={\delta }_t^a$, the only non-zero covariant derivatives are

$${\nabla }_a{\xi }_b={\partial }_a{\xi }_b-{\Gamma }_{ab}^c{\xi }_c.$$

For the Schwarzschild Christoffel symbols, the relevant non-zero components in the $(t,r)$ block are ${\Gamma }_{tr}^t=M/[r^2(1-2M/r)]$ and ${\Gamma }_{tt}^r=(M/r^2)(1-2M/r)$. The vector $\xi$ has ${\xi }_t=g_{tt}=-(1-2M/r)$ as its only non-zero covariant component, so

$${\nabla }_t{\xi }_r=-{\Gamma }_{tr}^t{\xi }_t=\frac{M}{r^2},{\nabla }_r{\xi }_t={\partial }_r{\xi }_t=-\frac{2M}{r^2}.$$

The antisymmetric tensor ${\nabla }_a{\xi }_b-{\nabla }_b{\xi }_a$ then has only the $(t,r)$ and $(r,t)$ entries, with magnitudes derivable from these computations and from the Killing equation ${\nabla }_{(a}{\xi }_{b)}=0$. A direct calculation (carried out e.g. in Wald 1984 §6.2) yields

$$({\nabla }^a{\xi }^b)({\nabla }_a{\xi }_b){|}_{r=2M}=-\frac{1}{8M^2}.$$

Hence ${\kappa }^2=1/(16M^2)$, so $\kappa =1/(4M)$, with the positive root selected by the convention that $\kappa >0$ for future event horizons. Restoring physical units, $\kappa =c^4/(4GM)$.

The Hawking temperature follows by inserting $\kappa$ into the Hawking formula $T_H=\hslash \kappa /(2\pi k_{B}c)$:

$$T_H=\frac{\hslash c^3}{8\pi GM{k}_B}.$$

Numerically this is $T_H\approx 1.227\times 10^{23}\text{K}(\text{kg}/M)\approx 6.17\times 10^{-8}\text{K}(M_{\odot }/M)$. $\square$

Bridge. The identification $\kappa =1/(4M)$ builds toward 13.06.04 (Hawking radiation), where Hawking's Bogoliubov-transformation argument shows that the asymptotic out-vacuum is populated by a Planck distribution at temperature $T_H=\kappa /(2\pi )$, fixing the proportionality constant in the entropy-area relation. The foundational reason that the surface gravity controls the thermal spectrum is that the Euclidean continuation of the Schwarzschild metric is smooth at the horizon exactly when the Euclidean time has period $\beta =2\pi /\kappa =8\pi M$, which is precisely the inverse temperature. This is exactly the same KMS-state argument that appears again in 13.09.08 (the Bunch-Davies state), where periodicity of Euclidean de-Sitter time gives the Gibbons-Hawking temperature $T_{dS}=H/(2\pi )$; the bridge is that any bifurcate Killing horizon carries a thermal-state structure, and the central insight is that horizon kinematics alone determine the temperature.

Exercises Intermediate+

Advanced results Master

The 1971-75 results of Hawking, Bekenstein, and Bardeen-Carter-Hawking promoted black holes from solutions of a classical field theory to thermodynamic systems with temperature and entropy, and opened up the modern programme of quantum gravity. We collect the central results in this Master section.

Theorem 1 (Area theorem; Hawking 1971, Phys. Rev. Lett. 26, 1344). Let $(M,g)$ be a globally hyperbolic spacetime satisfying the null energy condition $T_{ab}{k}^a{k}^b\ge 0$ for all null vectors $k^a$, and let ${\mathcal{H}}^{+}$ be a future event horizon. Then for any pair of Cauchy surfaces ${\Sigma }_1,{\Sigma }_2$ with ${\Sigma }_2$ to the future of ${\Sigma }_1$, the cross-sectional area satisfies $A({\mathcal{H}}^{+}\cap {\Sigma }_2)\ge A({\mathcal{H}}^{+}\cap {\Sigma }_1)$.

The proof, sketched in the Full proof set, uses the Raychaudhuri equation for the null geodesic congruence generating the horizon, the null energy condition to enforce focusing, and the absence of future endpoints of horizon generators (a consequence of the definition of an event horizon as the boundary of the causal past of future null infinity).

Three corollaries are immediate. First, when two black holes coalesce, the area of the final horizon exceeds the sum of the areas of the initial horizons: this gives an upper bound on the gravitational-wave energy radiated in a binary black-hole merger. Second, the irreducible mass $M_{\text{irr}}=\sqrt{A/(16\pi )}$ (in geometric units) is non-decreasing, sharpening the bound on rotational-energy extraction via the Penrose process from a Kerr black hole: at most $1-1/\sqrt{2}\approx 29.3\%$ of the mass-energy of an extremal Kerr black hole can be extracted before the irreducible-mass floor is reached. Third, semiclassical violations of the null energy condition (caused by Hawking radiation back-reacting on the geometry) cause the theorem to fail, requiring the generalised-entropy formulation of Theorem 5 to maintain a second-law principle.

Theorem 2 (Four laws of black-hole mechanics; Bardeen-Carter-Hawking 1973, Comm. Math. Phys. 31, 161). For stationary axisymmetric black-hole solutions of Einstein's equations with matter satisfying the dominant energy condition:

• Zeroth law: $\kappa$ is constant on ${\mathcal{H}}^{+}$.
• First law: $dM=(\kappa /8\pi )dA+{\Omega }_{H}dJ+{\Phi }_{H}dQ$.
• Second law: $dA\ge 0$.
• Third law: $\kappa =0$ cannot be achieved in a finite sequence of physical processes.

The first law follows from the Hamiltonian formulation of general relativity applied to stationary axisymmetric metrics. The zeroth law follows from the dominant energy condition plus the stationarity assumption. The third law is established as the statement that, e.g., charging a near-extremal Reissner-Nordström black hole towards extremality requires an infinite sequence of finite-impulse operations.

Theorem 3 (Hawking radiation; Hawking 1974, Nature 248, 30; 1975, Comm. Math. Phys. 43, 199). A massless scalar field on a Schwarzschild background, prepared in the in-vacuum state $|0{⟩}_{in}$ on past null infinity ${\mathcal{I}}^{-}$, has at future null infinity ${\mathcal{I}}^{+}$ a particle content

$$⟨0_{in}|N_{\omega }|0_{in}⟩=\frac{{\Gamma }_{\omega }}{e^{2\pi \omega /\kappa }-1},$$

a Planck distribution at temperature $T_H=\kappa /(2\pi )$ modulated by the greybody factor ${\Gamma }_{\omega }$ that accounts for backscattering off the Schwarzschild potential.

The derivation proceeds via a Bogoliubov transformation between the in-mode basis (positive-frequency on ${\mathcal{I}}^{-}$) and the out-mode basis (positive-frequency on ${\mathcal{I}}^{+}$ plus down-modes on ${\mathcal{H}}^{+}$). The exponential redshift of horizon-skimming modes converts a positive-frequency in-mode into a superposition of positive- and negative-frequency out-modes; the Bogoliubov $\beta$-coefficients have squared moduli given by the thermal distribution above. This is detailed in 13.06.04.

An equivalent derivation runs through the Euclidean section. Wick-rotating the Schwarzschild metric by $t\to -i\tau$ produces the positive-definite line element $d{s}_E^2=(1-2M/r)d{\tau }^2+(1-2M/r{)}^{-1}d{r}^2+r^{2}d{\Omega }^2$. Near $r=2M$, introducing the proper-radial coordinate $\rho =2\sqrt{2M(r-2M)}$ gives $d{s}_E^2\approx (\rho /4M{)}^{2}d{\tau }^2+d{\rho }^2+(2M{)}^{2}d{\Omega }^2$. The $(\rho ,\tau )$ block is flat polar coordinates exactly when $\tau$ has period $\beta =8\pi M$; any other period produces a conical singularity at $\rho =0$. Smoothness of the Euclidean section therefore fixes the inverse Hawking temperature $\beta =8\pi M=2\pi /\kappa$. This Gibbons-Hawking 1977 Phys. Rev. D 15, 2752 derivation is the cleanest existing argument that the Hawking temperature is a property of the geometry rather than of a particular state-preparation choice.

Theorem 4 (Bekenstein bound; Bekenstein 1972 Lett. Nuovo Cim. 4, 737; 1973 Phys. Rev. D 7, 2333). Any system of total energy $E$ confined to a region of radius $R$ has entropy bounded by

$$S\le \frac{2\pi k_{B}RE}{\hslash c}.$$

A Schwarzschild black hole of radius $R=2GM/c^2$ and energy $E=M{c}^2$ saturates this bound at $S=4\pi k_{B}G{M}^2/(\hslash c)=S_{BH}$. This is the original information-theoretic motivation for $S_{BH}\propto A$.

Bekenstein's argument was a gedankenexperiment: lower a box containing $S_{\text{matter}}$ units of entropy toward a black-hole horizon at fixed temperature $T_H$. The work extractable from the descent (computed via the redshift factor of the static-frame energy) sets a lower bound on the area increase of the black hole. Requiring that the generalised entropy $S_{\text{matter}}+S_{BH}$ not decrease then converts the area inequality into the Bekenstein bound on the box's entropy in terms of its energy and size. A rigorous, field-theoretic re-derivation due to Casini 2008 Class. Quantum Grav. 25, 205021 formulates the bound as a positivity statement for relative entropy in quantum field theory, sidestepping the explicit black-hole gedankenexperiment.

Theorem 5 (Generalised second law; Bekenstein 1973; proven semiclassically by Frolov-Page 1993, Phys. Rev. Lett. 71, 1013; Wall 2009, Phys. Rev. D 85, 104049). In any process involving black holes and ordinary matter, the generalised entropy

$$S_{\text{gen}}=S_{\text{matter}}+S_{BH}$$

satisfies $\Delta S_{\text{gen}}\ge 0$. Even though Hawking radiation reduces $A$, the entropy of the radiation more than compensates, preserving the second law in extended form.

Frolov-Page 1993 proved the GSL for free quantum fields in stationary backgrounds with bifurcate Killing horizons. Wall 2009 extended to a wider class of fields and dynamical backgrounds via the relative-entropy positivity of quantum field theory. The Wall proof uses monotonicity of relative entropy under restriction of the algebra of observables to a sub-region: the relative entropy of the matter state with respect to the vacuum, restricted to the exterior of the horizon, is non-increasing under inward translation of the entangling surface. Combined with the first-law variation of the horizon area, this yields the generalised second law for general matter content satisfying the standard Wightman axioms.

Theorem 6 (Holographic principle; 't Hooft 1993, arXiv/9310026; Susskind 1995, J. Math. Phys. 36, 6377). The maximum entropy that can be contained in a spatial region $\mathcal{R}$ with boundary area $A(\partial \mathcal{R})$ is bounded by $A(\partial \mathcal{R})/(4{\ell }_P^2)$. Equivalently, the number of independent quantum degrees of freedom in $\mathcal{R}$ scales with the boundary area, not the volume.

The argument: any object more entropic than the corresponding black hole could be added to a black hole and would reduce horizon entropy, violating the GSL. Hence ordinary matter is bounded below the Bekenstein-Hawking ceiling. The Maldacena 1998 AdS/CFT correspondence (Adv. Theor. Math. Phys. 2, 231) gives an explicit realisation: the bulk gravitational entropy of an asymptotically AdS spacetime equals the thermal entropy of a dual conformal field theory living on its boundary. In the canonical example ${\text{AdS}}_5\times S^5$ dual to $\mathcal{N}=4$ supersymmetric Yang-Mills theory at large $N$, the entropy of a large planar black hole in ${\text{AdS}}_5$ equals the thermal entropy of the boundary $\mathcal{N}=4$ SYM theory at the corresponding temperature, with the Bekenstein-Hawking $1/4$ coefficient reproduced as a strict prediction of the conformal-field-theory partition function in the strong-coupling, large-$N$ limit. The Bousso 1999 JHEP 9907, 004 covariant entropy bound extends the holographic statement to general dynamical spacetimes: the entropy passing through a light-sheet of a codimension-2 surface is bounded by the surface's area in Planck units.

Theorem 7 (Wald entropy formula; Wald 1993 Phys. Rev. D 48, R3427; Iyer-Wald 1994 Phys. Rev. D 50, 846). For any diffeomorphism-invariant Lagrangian $L(g_{ab},R_{abcd},\nabla R,\dots )$ defining a theory of gravity, the entropy of a stationary black hole with Killing horizon ${\mathcal{H}}^{+}$ is

$$S_W=-\frac{2\pi }{\hslash }{\oint }_{{\mathcal{H}}^{+}\cap \Sigma }\frac{\partial L}{\partial R_{abcd}}{\epsilon }_{ab}{\epsilon }_{cd}{d}^{2}x,$$

where ${\epsilon }_{ab}$ is the binormal to the horizon cross-section. For Einstein gravity $L=R/(16\pi G)$ this reduces to $S=A/(4G\hslash )$. For higher-derivative gravity it gives correction terms — for instance, Gauss-Bonnet gravity adds a term proportional to the integrated Euler density on the horizon cross-section.

The derivation of $S_W$ is structural: it is the Noether charge of the diffeomorphism symmetry associated with the horizon-generating Killing vector. Wald 1993 shows that the first law of black-hole mechanics holds in any diffeomorphism-invariant theory of gravity provided the entropy is defined by this Noether-charge prescription. Iyer-Wald 1994 extends the formula to dynamical situations (non-stationary horizons), giving the appropriate definition of horizon entropy when the spacetime is evolving. The formula has been tested against string-theoretic microstate counts in the AdS${}_5\times S^5$/$\mathcal{N}=4$ SYM duality and reproduces the Bekenstein-Hawking entropy at leading order plus the predicted higher-derivative corrections.

Theorem 8 (Page curve; Page 1993, Phys. Rev. Lett. 71, 3743). If a black hole forms from a pure quantum state and evaporates fully into Hawking radiation, and if the evaporation is unitary, then the von Neumann entropy of the radiation as a function of evaporation time follows the Page curve: it rises while the radiation is small, peaks at the Page time when about half the original entropy has been emitted, and then decreases back to zero. The quantum-extremal-surface formula of Penington 2020 and Almheiri-Engelhardt-Hartman-Maldacena 2020 (JHEP 09 (2020) 002) reproduces this curve semiclassically using entanglement-wedge reconstruction with substantive island contributions after the Page time.

The semiclassical extension of the Ryu-Takayanagi 2006 holographic entanglement entropy formula to dynamical situations gives the generalised-entropy minimisation: $S({\rho }_R)={\min }_{\sigma }{\text{ext}}_{\sigma }[A(\sigma )/(4G\hslash )+S_{\text{matter}}({\Sigma }_R\cup \mathcal{I})]$ over candidate extremal surfaces $\sigma$ bounding a possibly non-empty island region $\mathcal{I}$ in the black-hole interior. Before the Page time the empty-island extremum dominates and gives the rising Hawking radiation entropy; after the Page time a non-empty-island extremum dominates, capturing the interior degrees of freedom that purify the late-time radiation. The replica-wormhole derivation due to Penington-Shenker-Stanford-Yang 2019 and Almheiri-Hartman-Maldacena-Shaghoulian-Tajdini 2020 shows that this island prescription arises naturally from a saddle-point evaluation of the gravitational path integral on the replica geometry, providing what is currently the most rigorous semiclassical evidence for unitary evaporation.

Synthesis. Putting these together, black-hole thermodynamics is the foundational reason that quantum gravity, classical relativity, and thermodynamics fit into a single coherent framework. The central insight, established progressively through Hawking 1971, Bekenstein 1972-73, Bardeen-Carter-Hawking 1973, and Hawking 1974-75, is that the surface gravity $\kappa$ on a stationary Killing horizon plays the role of temperature, the horizon area $A/4$ plays the role of entropy, and the four laws of mechanics on black-hole solutions are literally the four laws of thermodynamics applied to a substantive gravitational system. The bridge is the Bogoliubov-transformation derivation of the thermal spectrum, which makes the dictionary an identity rather than an analogy: every passing in-mode reaching ${\mathcal{I}}^{+}$ samples the horizon's Hawking quanta at exactly the temperature predicted by Euclidean smoothness.

This pattern recurs whenever a bifurcate Killing horizon exists — appears again in 13.09.08 for the cosmological case of de Sitter, where the analogous Gibbons-Hawking temperature $T_{dS}=H/(2\pi )$ governs the static-patch thermal bath, and generalises further in the Unruh effect, where the accelerated observer in Minkowski space sees a thermal Rindler bath at temperature $T_U=a/(2\pi )$. The bridge is from local horizon kinematics to global thermal physics, and identifies the universal geometric origin of horizon entropy with the area of the appropriate codimension-2 fixed surface of the time-translation Killing field. The holographic principle of 't Hooft and Susskind, sharpened by Maldacena's AdS/CFT correspondence, is exactly the structural fact that organises the bound — that gravitational degrees of freedom in a bulk region are encoded on the boundary, with the Bekenstein-Hawking factor of $1/4$ as the universal proportionality constant.

Full proof set Master

We give the proof of the area theorem in the form due to Hawking 1971 and codified in Hawking and Ellis 1973 §9.

Proposition (Area theorem). Let $(M,g)$ be a globally hyperbolic, asymptotically flat spacetime in which the null energy condition $R_{ab}{k}^a{k}^b\ge 0$ holds for all null $k^a$, and suppose the spacetime is future asymptotically predictable (a precise form of the cosmic censorship hypothesis). Let ${\mathcal{H}}^{+}=\partial J^{-}({\mathcal{I}}^{+})\cap M$ be the future event horizon. Then for any two spacelike Cauchy surfaces ${\Sigma }_1\subset J^{-}({\Sigma }_2)$, the horizon areas obey

$$A({\mathcal{H}}^{+}\cap {\Sigma }_2)\ge A({\mathcal{H}}^{+}\cap {\Sigma }_1).$$

Proof. The horizon ${\mathcal{H}}^{+}$ is a null hypersurface generated by null geodesics. Let $k^a$ denote the future-directed null tangent to a generator and parametrise generators by an affine parameter $\lambda$.

Step 1: horizon generators have no future endpoints. This is the global content of Penrose 1965, extended by Hawking 1971. A future endpoint of a horizon generator would correspond to a point at which the generator becomes timelike or terminates at a singularity. The first is forbidden by the definition of the horizon as a null hypersurface; the second is forbidden under cosmic censorship, which keeps singularities in $J^{+}({\mathcal{H}}^{+})$ rather than on ${\mathcal{H}}^{+}$ itself. Generators may have past endpoints (e.g., where new matter falls in and the horizon expands) but not future endpoints. This is the load-bearing topological fact for the theorem.

Step 2: Raychaudhuri's focusing equation. The expansion $\theta ={\nabla }_a{k}^a$ of the null congruence on the horizon obeys

$$\frac{d\theta }{d\lambda }=-\frac{1}{2}{\theta }^2-{\sigma }_{ab}{\sigma }^{ab}+{\omega }_{ab}{\omega }^{ab}-R_{ab}{k}^a{k}^b,$$

where ${\sigma }_{ab}$ is the shear and ${\omega }_{ab}$ the twist. For a hypersurface-orthogonal congruence (which a Killing horizon is, since it is a null hypersurface), the twist vanishes: ${\omega }_{ab}=0$. The shear contribution is non-positive: $-{\sigma }_{ab}{\sigma }^{ab}\le 0$. The Einstein equations contract the null energy condition to give $R_{ab}{k}^a{k}^b\ge 0$. Hence

$$\frac{d\theta }{d\lambda }\le -\frac{1}{2}{\theta }^2.$$

Step 3: $\theta \ge 0$ on horizon generators. Suppose for contradiction $\theta ({\lambda }_0)<0$ at some point on a horizon generator. The differential inequality $d\theta /d\lambda \le -{\theta }^2/2$ then implies that $\theta \to -\infty$ within finite affine parameter $\Delta \lambda \le 2/|\theta ({\lambda }_0)|$. An infinite-expansion-rate point is a focal point at which neighbouring generators cross. Past a focal point, the generators leave the horizon and re-enter the interior of $J^{-}({\mathcal{I}}^{+})$, so the generator has a future endpoint. This contradicts Step 1. Hence $\theta \ge 0$ everywhere on ${\mathcal{H}}^{+}$.

Step 4: non-decreasing area. The cross-sectional area element of the horizon evolves as

$$\frac{d(\delta A)}{d\lambda }=\theta \delta A,$$

so $\theta \ge 0$ implies $d(\delta A)/d\lambda \ge 0$. Integrating each generator from ${\Sigma }_1$ to ${\Sigma }_2$ and summing over all generators present in ${\Sigma }_2$ (including those generated by new generators that joined at $\lambda$ between the two surfaces),

$$A({\mathcal{H}}^{+}\cap {\Sigma }_2)\ge A({\mathcal{H}}^{+}\cap {\Sigma }_1).$$

This completes the proof. $\square$

Proposition (Surface gravity is constant on a stationary Killing horizon). Let ${\xi }^a$ be a Killing vector that is null on a horizon ${\mathcal{H}}^{+}$, and assume the dominant energy condition. Then the surface gravity $\kappa$ defined by ${\xi }^b{\nabla }_b{\xi }^a=\kappa {\xi }^a$ on ${\mathcal{H}}^{+}$ is constant along the generators of ${\mathcal{H}}^{+}$.

Proof. Killing's equation ${\nabla }_{(a}{\xi }_{b)}=0$ combined with the integrability condition ${\xi }_{[a}{\nabla }_b{\xi }_{c]}=0$ on the horizon (where $\xi$ becomes null) implies that the connection of $\nabla \kappa$ to $\xi$ is constrained: a short calculation using ${\xi }^b{\nabla }_b({\xi }^a{\xi }_a)=0$ (the norm of a Killing vector being conserved along its own integral curves) shows ${\nabla }_a\kappa$ is proportional to ${\xi }_a$ on the horizon, hence has no component within the horizon, hence $\kappa$ is constant on ${\mathcal{H}}^{+}$ (per the dominant energy condition argument of Bardeen-Carter-Hawking 1973). $\square$

Proposition (Smith form of the first law). For a Kerr-Newman black hole varied within the stationary axisymmetric family, $\delta M=(\kappa /8\pi )\delta A+{\Omega }_H\delta J+{\Phi }_H\delta Q$.

Proof sketch. Smith's identity, applied to the Komar mass $M$ and Komar angular momentum $J$:

$$M=-\frac{1}{8\pi }{\oint }_{\mathcal{I}}\ast d\xi -2{\Omega }_{H}J+\frac{1}{4\pi }{\oint }_{\mathcal{H}}{\xi }^a{\xi }^b{T}_{ab}dA+2{\Omega }_{H}J,$$

with cancellations from the integral over the horizon (replaced via Stokes' theorem with a horizon-area integral) and the matter terms (giving the angular-velocity and electrostatic-potential contributions) gives the first law as stated. The full derivation occupies Bardeen-Carter-Hawking 1973 §3. $\square$

Connections Master

• Black holes 13.06.01. The direct predecessor unit develops the Schwarzschild, Kerr, and Reissner-Nordström solutions and introduces the qualitative content of the four laws. The present unit promotes the four laws from analogy to identity by working through surface gravity, the area theorem proof, and the Bekenstein-Hawking entropy formula; this unit also fixes the proportionality constant $S=A/(4{\ell }_P^2)$ that the predecessor states without derivation.

• First and second laws of thermodynamics 11.01.01. The classical four laws of thermodynamics are the structural pattern the four laws of black-hole mechanics generalises. The first law $dE=TdS+\delta W$ has direct counterpart $dM=(\kappa /8\pi )dA+{\Omega }_{H}dJ+{\Phi }_{H}dQ$, with rotation and charge appearing as work terms. The second law's monotone-entropy structure maps to the area theorem, while the third-law unattainability of $T=0$ becomes the third-law unattainability of extremal $\kappa =0$. This unit is exactly the case where the macroscopic-thermodynamic framework absorbs a gravitational system.

• Schwarzschild solution 13.05.01. The Schwarzschild metric provides the explicit form on which the surface gravity $\kappa =1/(4M)$, horizon area $A=16\pi M^2$, and Hawking temperature $T_H=1/(8\pi M)$ are computed. The static Killing vector $\xi ={\partial }_t$ vanishes at $r=2M$, identifying $r=2M$ as a Killing horizon and enabling the Bardeen-Carter-Hawking machinery.

• Einstein field equations 13.04.01. The Einstein equations and the null energy condition together provide the analytic input to Raychaudhuri's focusing equation that establishes $\theta \ge 0$ on the horizon. Without the Einstein-equation contraction $R_{ab}{k}^a{k}^b=8\pi T_{ab}{k}^a{k}^b$, the focusing argument would be content-free; with it, classical matter satisfying the null energy condition forces horizon expansion.

• Bunch-Davies state on de Sitter spacetime 13.09.08. The Gibbons-Hawking temperature $T_{dS}=H/(2\pi )$ of a de Sitter cosmological horizon is the exact cosmological analogue of the Hawking temperature $T_H=\kappa /(2\pi )$ of a Schwarzschild black-hole horizon. Both arise from the same Euclidean smoothness condition: the Euclidean section is smooth at the horizon exactly when the Euclidean time has the appropriate periodicity. The Bunch-Davies state in the cosmological case is the analogue of the Hartle-Hawking state in the black-hole case.

• Globally hyperbolic Lorentzian manifolds 13.09.01. The area theorem proof assumes global hyperbolicity, which controls the causal structure of ${\mathcal{H}}^{+}$ and allows the no-future-endpoints argument of Step 1 in the area theorem proof. Without global hyperbolicity the event horizon may not be well-defined as $\partial J^{-}({\mathcal{I}}^{+})$, and Raychaudhuri-style focusing arguments lose their topological underpinning.

Historical & philosophical context Master

The thermodynamic interpretation of black holes emerged in a four-year burst from 1971 to 1975 that reshaped quantum gravity. Hawking proved the area theorem in 1971 ^{[Hawking1971]}, extending the Penrose 1965 singularity-theorem framework to non-decreasing-area statements via the Raychaudhuri equation. Bekenstein, a Princeton graduate student under Wheeler, was unsettled by an apparent violation of the second law: lowering a box of hot gas into a black hole would seem to destroy the gas's entropy. In 1972 Bekenstein proposed ^{[Bekenstein1972]} that the black-hole horizon area is itself a measure of entropy, with the explicit proportionality $S_{BH}\propto A$ closed in his 1973 Phys. Rev. D paper ^{[Bekenstein1973]}. Bardeen, Carter, and Hawking formalised the four laws in their 1973 Comm. Math. Phys. paper ^{[BardeenCarterHawking1973]}, cautiously treating the temperature-surface-gravity identification as an analogy. Hawking himself was a sceptic of Bekenstein's proposal at the time of the four-laws paper.

The decisive shift came when Hawking attempted to refute Bekenstein by computing the particle creation by an evaporating black hole using techniques of quantum field theory on a curved background. To his surprise, the calculation ^{[Hawking1974; Hawking1975]} gave a thermal spectrum at exactly the temperature $T_H=\kappa /(2\pi )$ that the four-laws analogy had predicted. The Bekenstein-Hawking entropy formula $S=A/(4{\ell }_P^2)$ acquired a definite proportionality coefficient, and the analogy hardened into identity.

The information paradox surfaced in Hawking's 1976 Phys. Rev. D paper ^{[Hawking1976]}: if a black hole forms from a pure quantum state and evaporates fully into thermal Hawking radiation, then a pure state has evolved into a mixed state, violating unitarity. Hawking initially argued that unitarity should be abandoned in the presence of black holes; Preskill and 't Hooft argued the reverse. The Bekenstein bound and its holographic-principle generalisation by 't Hooft 1993 ^[tHooft1993] and Susskind 1995 ^{[Susskind1995]} reinforced the unitarity side, suggesting that the apparent thermal spectrum hides correlations preserving information. The Maldacena 1998 AdS/CFT correspondence ^{[Maldacena1998]} provided an explicit unitary boundary description of black-hole evaporation in asymptotically AdS spacetimes, undercutting Hawking's information-loss hypothesis; he conceded in 2004 that information is preserved.

The story has continued into the present decade. The Page curve ^[Page1993] gives the unitarity-consistent prediction for the entropy of Hawking radiation as a function of time; the Penington 2020 entanglement-wedge derivation ^{[Penington2020]} and the contemporaneous Almheiri-Engelhardt-Hartman-Maldacena work on quantum-extremal surfaces and islands reproduce the Page curve semiclassically. The Wald 1993 Noether-charge entropy formula ^[Wald1993] generalises the Bekenstein-Hawking formula beyond Einstein gravity. The Iyer-Wald 1994 refinement ^{[IyerWald1994]} makes the construction work for dynamical black holes. The active research front is the precise meaning of the entanglement-wedge reconstruction map, the role of replica wormholes in the gravitational path integral, and the relationship between bulk locality and boundary unitarity.

A second strand of historical development concerns the proof of the area theorem itself. Hawking's 1971 paper invoked an asymptotic-predictability hypothesis that is essentially a precise form of the weak cosmic-censorship conjecture; the conjecture remains unproved in full generality, although strong numerical and analytic evidence supports it for generic gravitational collapse. The Penrose 1965 Phys. Rev. Lett. 14, 57 singularity theorem provides the technical antecedent: it shows that trapped surfaces plus the null energy condition plus global hyperbolicity force geodesic incompleteness. Hawking 1971 turned the trapped-surface focusing argument from a singularity-existence theorem into an area-monotonicity theorem by replacing "no future endpoint" inside the trapped region with "no future endpoint on the horizon generator". Hawking-Ellis 1973 chapter 9 is the standard codification. The Frolov-Page 1993 Phys. Rev. Lett. 71, 1013 proof of the generalised second law for free quantum fields and the Wall 2009 Phys. Rev. D 85, 104049 strengthening complete the semiclassical picture: the area theorem fails in the presence of quantum-field stress-energy that violates the null energy condition, but the generalised second law $\Delta (S_{\text{matter}}+S_{BH})\ge 0$ holds.

The conceptual significance of black-hole thermodynamics extends beyond gravity. The Unruh effect (Unruh 1976 Phys. Rev. D 14, 870) shows that an observer uniformly accelerated in Minkowski space measures a thermal bath at temperature $T_U=\hslash a/(2\pi k_{B}c)$. This is the same surface-gravity-to-temperature formula as for black holes, with the accelerated observer's Rindler horizon playing the role of the black-hole event horizon. The de Sitter cosmological horizon gives a third instance: Gibbons-Hawking 1977 Phys. Rev. D 15, 2738 showed that an inertial observer in de Sitter space sees a thermal bath at the Hubble-rate temperature $T_{dS}=\hslash H/(2\pi k_{B}c)$. These three results — Hawking, Unruh, Gibbons-Hawking — together establish the universal thermodynamic interpretation of bifurcate Killing horizons: any such horizon carries a temperature equal to its surface gravity divided by $2\pi$, regardless of whether it arises from a black hole, a cosmological expansion, or an accelerated observer. The structural unification has motivated programmes like Jacobson 1995 Phys. Rev. Lett. 75, 1260 in which the Einstein equation is derived as a thermodynamic equation of state from local Rindler-wedge first laws applied to causal horizons.

Bibliography Master

@article{Bekenstein1972,
  author = {Bekenstein, Jacob D.},
  title = {Black holes and the second law},
  journal = {Lett. Nuovo Cim.},
  volume = {4},
  year = {1972},
  pages = {737--740},
}

@article{Bekenstein1973,
  author = {Bekenstein, Jacob D.},
  title = {Black holes and entropy},
  journal = {Phys. Rev. D},
  volume = {7},
  year = {1973},
  pages = {2333--2346},
}

@article{Hawking1971,
  author = {Hawking, Stephen W.},
  title = {Gravitational radiation from colliding black holes},
  journal = {Phys. Rev. Lett.},
  volume = {26},
  year = {1971},
  pages = {1344--1346},
}

@article{BardeenCarterHawking1973,
  author = {Bardeen, J. M. and Carter, B. and Hawking, S. W.},
  title = {The four laws of black hole mechanics},
  journal = {Comm. Math. Phys.},
  volume = {31},
  year = {1973},
  pages = {161--170},
}

@article{Hawking1974,
  author = {Hawking, Stephen W.},
  title = {Black hole explosions?},
  journal = {Nature},
  volume = {248},
  year = {1974},
  pages = {30--31},
}

@article{Hawking1975,
  author = {Hawking, Stephen W.},
  title = {Particle creation by black holes},
  journal = {Comm. Math. Phys.},
  volume = {43},
  year = {1975},
  pages = {199--220},
}

@article{Hawking1976,
  author = {Hawking, Stephen W.},
  title = {Breakdown of predictability in gravitational collapse},
  journal = {Phys. Rev. D},
  volume = {14},
  year = {1976},
  pages = {2460--2473},
}

@article{tHooft1993,
  author = {'t Hooft, Gerard},
  title = {Dimensional reduction in quantum gravity},
  journal = {arXiv:gr-qc/9310026},
  year = {1993},
}

@article{Susskind1995,
  author = {Susskind, Leonard},
  title = {The world as a hologram},
  journal = {J. Math. Phys.},
  volume = {36},
  year = {1995},
  pages = {6377--6396},
}

@book{Wald1984,
  author = {Wald, Robert M.},
  title = {General Relativity},
  publisher = {University of Chicago Press},
  year = {1984},
}

@article{Wald1993,
  author = {Wald, Robert M.},
  title = {Black hole entropy is the {N}oether charge},
  journal = {Phys. Rev. D},
  volume = {48},
  year = {1993},
  pages = {R3427--R3431},
}

@book{Wald1994,
  author = {Wald, Robert M.},
  title = {Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics},
  publisher = {University of Chicago Press},
  year = {1994},
}

@article{IyerWald1994,
  author = {Iyer, V. and Wald, Robert M.},
  title = {Some properties of the {N}oether charge and a proposal for dynamical black hole entropy},
  journal = {Phys. Rev. D},
  volume = {50},
  year = {1994},
  pages = {846--864},
}

@article{Maldacena1998,
  author = {Maldacena, Juan},
  title = {The large-{N} limit of superconformal field theories and supergravity},
  journal = {Adv. Theor. Math. Phys.},
  volume = {2},
  year = {1998},
  pages = {231--252},
}

@article{Page1993,
  author = {Page, Don N.},
  title = {Information in black hole radiation},
  journal = {Phys. Rev. Lett.},
  volume = {71},
  year = {1993},
  pages = {3743--3746},
}

@article{Penington2020,
  author = {Penington, Geoffrey},
  title = {Entanglement wedge reconstruction and the information paradox},
  journal = {JHEP},
  volume = {09},
  year = {2020},
  pages = {002},
}

@book{HawkingEllis1973,
  author = {Hawking, S. W. and Ellis, G. F. R.},
  title = {The Large Scale Structure of Space-Time},
  publisher = {Cambridge University Press},
  year = {1973},
}