Skip to content

Black Hole Entropy and the Holographic Principle

Black holes are the place where the slogan “geometry has entropy” becomes a formula. In ordinary thermodynamics, entropy counts microscopic states compatible with macroscopic data. In black-hole physics, the macroscopic data are geometric: mass, angular momentum, charge, and horizon area. The surprising statement is that the entropy is not proportional to the volume hidden behind the horizon, but to the area of the horizon:

SBH=AH4GN.S_{\rm BH}=\frac{A_H}{4G_N\hbar}.

This formula is the first clue that quantum gravity is not an ordinary local quantum field theory with independent degrees of freedom at every point of space. It is also the ancestor of the modern entropy formulas used later in this section: RT/HRT, quantum extremal surfaces, and islands.

This page develops the chain of ideas

area theoremblack-hole mechanicsSBH=AH4GNSgen=A4GN+Southolography.\text{area theorem} \quad\longrightarrow\quad \text{black-hole mechanics} \quad\longrightarrow\quad S_{\rm BH}=\frac{A_H}{4G_N\hbar} \quad\longrightarrow\quad S_{\rm gen}=\frac{A}{4G_N\hbar}+S_{\rm out} \quad\longrightarrow\quad \text{holography}.

The most important lesson is not merely that black holes have entropy. It is that gravitational systems appear to have far fewer independent degrees of freedom than a naive bulk field theory would suggest.

Unless stated otherwise, we use units with c=kB=1c=k_B=1, but keep GNG_N and \hbar visible when they clarify the physics. In these units,

Pd2GN\ell_P^{d-2}\sim G_N\hbar

in a dd-dimensional bulk spacetime, up to dimension-dependent conventions. In four dimensions, P2=GN\ell_P^2=G_N\hbar when c=1c=1.

For a stationary black hole, AHA_H denotes the area of a spatial cross-section of the event horizon, κ\kappa denotes the surface gravity, and THT_H denotes the Hawking temperature:

TH=κ2π.T_H=\frac{\hbar\kappa}{2\pi}.

In formulas involving electric charge or angular momentum, ΩH\Omega_H is the angular velocity of the horizon and ΦH\Phi_H is the electric potential at the horizon. Factors of 4πϵ04\pi\epsilon_0 are suppressed by the choice of electromagnetic units.

Black-hole entropy as horizon area

The Bekenstein-Hawking formula assigns entropy to a horizon cross-section. The entropy scales like area, not like the spatial volume hidden behind the horizon.

The classical starting point: area behaves like entropy

Section titled “The classical starting point: area behaves like entropy”

Classically, a black hole is a region from which no future-directed causal signal can escape to infinity. The boundary of this region is the event horizon. For a stationary black hole, the horizon is generated by a Killing vector field

χa=ta+ΩHϕa,\chi^a=t^a+\Omega_H\phi^a,

where tat^a generates time translations at infinity and ϕa\phi^a generates rotations. On the horizon, χa\chi^a becomes null. The surface gravity κ\kappa is defined by

χbbχa=κχa\chi^b\nabla_b\chi^a=\kappa\chi^a

on the horizon.

The analogy with thermodynamics begins with the four laws of black-hole mechanics. For an ordinary thermodynamic system, one has a first law such as dE=TdS+dE=T dS+\cdots. For a stationary black hole in Einstein-Maxwell theory, the corresponding mechanical first law is

dM=κ8πGNdAH+ΩHdJ+ΦHdQ.dM=\frac{\kappa}{8\pi G_N}dA_H+\Omega_H dJ+\Phi_H dQ.

The formal similarity suggests the identifications

Tκ,SAH.T\quad\leftrightarrow\quad \kappa, \qquad S\quad\leftrightarrow\quad A_H.

More precisely, after Hawking’s quantum calculation fixes the temperature to be TH=κ/(2π)T_H=\hbar\kappa/(2\pi), the first law fixes the entropy to be AH/(4GN)A_H/(4G_N\hbar).

The four laws can be summarized as follows.

Ordinary thermodynamicsBlack-hole mechanics
Zeroth law: TT is constant in equilibrium.Surface gravity κ\kappa is constant on a stationary horizon, under suitable energy conditions.
First law: dE=TdS+dE=T dS+\cdots.dM=κ8πGNdAH+ΩHdJ+ΦHdQdM=\frac{\kappa}{8\pi G_N}dA_H+\Omega_H dJ+\Phi_H dQ.
Second law: entropy does not decrease.Classically, horizon area does not decrease: dAH0dA_H\ge 0.
Third law: T=0T=0 is unattainable by finite operations.Extremal black holes with κ=0\kappa=0 are not reached by finite classical processes, in the analogous formulation.

The second-law entry is Hawking’s classical area theorem. Under the null energy condition and cosmic-censorship-type assumptions, the area of the event horizon cannot decrease:

dAHdv0.\frac{dA_H}{dv}\ge 0.

This already makes area look entropy-like. But the analogy is not yet thermodynamics. In classical general relativity, black holes do not radiate, so the temperature would seem to be zero. The real thermodynamic interpretation requires quantum field theory in curved spacetime.

Bekenstein’s argument: entropy must not disappear

Section titled “Bekenstein’s argument: entropy must not disappear”

Imagine dropping a box of matter with entropy SmatterS_{\rm matter} into a black hole. To an exterior observer, the matter disappears behind the horizon. If black holes had no entropy, the ordinary entropy outside the black hole would decrease, apparently violating the second law of thermodynamics.

Bekenstein’s proposal was to assign an entropy to the black hole itself. The total entropy relevant for exterior observers should not be merely the entropy of matter outside the horizon. It should be

Stotal=Soutside+SBH.S_{\rm total}=S_{\rm outside}+S_{\rm BH}.

The generalized second law says

ΔSoutside+ΔSBH0.\Delta S_{\rm outside}+\Delta S_{\rm BH}\ge 0.

Since the black-hole area increases when energy is thrown into the hole, it is natural to take SBHS_{\rm BH} proportional to AHA_H. Dimensional analysis then gives

SBH=ηAHGN,S_{\rm BH}=\eta\frac{A_H}{G_N\hbar},

where η\eta is a dimensionless constant. Hawking radiation fixes η=1/4\eta=1/4.

This logic is conceptually important. Black-hole entropy was not introduced merely because the first law has a suggestive form. It was introduced because otherwise the disappearance of matter behind the horizon would destroy the second law. Gravity forces us to enlarge the meaning of entropy.

Hawking’s calculation shows that a black hole emits approximately thermal radiation with temperature

TH=κ2π.T_H=\frac{\hbar\kappa}{2\pi}.

Combining this with the mechanical first law determines the entropy. For a nonrotating, uncharged Schwarzschild black hole in four dimensions,

rs=2GNM,AH=4πrs2=16πGN2M2,κ=14GNM.r_s=2G_NM, \qquad A_H=4\pi r_s^2=16\pi G_N^2M^2, \qquad \kappa=\frac{1}{4G_NM}.

Hence

TH=8πGNM.T_H=\frac{\hbar}{8\pi G_NM}.

For Schwarzschild, the first law is dM=THdSBHdM=T_H dS_{\rm BH}, so

dSBH=dMTH=8πGNMdM.dS_{\rm BH}=\frac{dM}{T_H} =\frac{8\pi G_NM}{\hbar}dM.

Integrating gives

SBH=4πGNM2+constant.S_{\rm BH}=\frac{4\pi G_NM^2}{\hbar}+\text{constant}.

Choosing the additive constant to vanish when AH=0A_H=0,

SBH=4πGNM2=16πGN2M24GN=AH4GN.S_{\rm BH}=\frac{4\pi G_NM^2}{\hbar} =\frac{16\pi G_N^2M^2}{4G_N\hbar} =\frac{A_H}{4G_N\hbar}.

Restoring cc and kBk_B gives the familiar dimensionful expression

SBH=kBc3AH4GN.S_{\rm BH}=\frac{k_B c^3 A_H}{4G_N\hbar}.

The entropy is enormous for astrophysical black holes. In four dimensions,

SBH1077(MM)2,S_{\rm BH}\sim 10^{77}\left(\frac{M}{M_\odot}\right)^2,

where the entropy is measured in units with kB=1k_B=1. A solar-mass black hole therefore has far more entropy than an ordinary star of comparable mass.

The formula

SBH=AH4GNS_{\rm BH}=\frac{A_H}{4G_N\hbar}

suggests that the number of black-hole microstates compatible with the same macroscopic data is approximately

N(M,J,Q)exp(AH(M,J,Q)4GN).\mathcal N(M,J,Q)\sim \exp\left(\frac{A_H(M,J,Q)}{4G_N\hbar}\right).

This is a statistical-mechanical statement. The black hole is not just a classical geometry; it represents an enormous degeneracy of quantum states.

However, the formula itself does not tell us what the microstates are. It only tells us their logarithmic count. Different approaches to quantum gravity explain the counting in different regimes:

  • In string theory, certain supersymmetric or near-supersymmetric black holes can be counted using D-brane or CFT degrees of freedom.
  • In AdS/CFT, large AdS black holes are dual to high-energy thermal states of the boundary CFT.
  • In loop quantum gravity and related approaches, the entropy is associated with horizon degrees of freedom.
  • In effective field theory, entanglement across the horizon contributes an area-divergent entropy, which is absorbed into the renormalization of 1/GN1/G_N.

For this section, the holographic viewpoint is the most important one: SBHS_{\rm BH} is the leading large-NN entropy of a boundary quantum system whose gravitational dual contains a black hole.

In ordinary local quantum field theory, one expects degrees of freedom to be local in space. If a spatial region has volume VV and a UV cutoff Λ\Lambda, the rough number of field-theory cells is

NcellsVΛd1N_{\rm cells}\sim V\Lambda^{d-1}

in a dd-dimensional spacetime. If each cell carries a finite number of states, the entropy can scale like volume.

Gravity changes this conclusion. If one tries to put too much energy or entropy into a region, the region collapses into a black hole. The largest entropy that fits in a region of boundary area AA is therefore expected to be of order

SmaxA4GN,S_{\rm max}\sim \frac{A}{4G_N\hbar},

not proportional to the volume.

Volume degrees of freedom versus holographic area degrees of freedom

A local cutoff field theory suggests independent degrees of freedom throughout the volume. Gravity instead suggests that the maximum entropy in a region is bounded by the area of a surrounding surface in Planck units.

This is the origin of the holographic principle. Roughly, a quantum theory of gravity in a region should be describable by degrees of freedom living on a lower-dimensional surface, with about one independent unit of information per Planck area.

More carefully, the number of independent bits associated with area AA is bounded by

NbitsA4GNlog2.N_{\rm bits}\lesssim \frac{A}{4G_N\hbar\log 2}.

The factor of log2\log 2 only converts entropy units into bits. The factor of 1/41/4 is the same universal coefficient appearing in the Bekenstein-Hawking entropy.

The word “holographic” should not be understood as saying that the universe is a projected illusion. The statement is sharper and more technical: the independent quantum degrees of freedom of a gravitational system scale like a boundary area, not like a bulk volume. AdS/CFT is the best-understood realization of this principle.

A related but distinct statement is the Bekenstein bound. For a weakly gravitating isolated system of total energy EE contained in a region of characteristic radius RR, the entropy is bounded by

S2πER.S\le \frac{2\pi E R}{\hbar}.

This bound is not the same as the black-hole area law. It applies to weakly gravitating systems, while SBHS_{\rm BH} applies to black holes. But the two are compatible. If a Schwarzschild black hole of mass MM is assigned radius R=rs=2GNMR=r_s=2G_NM, then the Bekenstein bound gives

S2πM(2GNM)=4πGNM2=AH4GN.S\le \frac{2\pi M(2G_NM)}{\hbar} =\frac{4\pi G_NM^2}{\hbar} =\frac{A_H}{4G_N\hbar}.

Thus the black hole saturates the bound parametrically and with the standard coefficient in this simple comparison.

The physical message is that black holes are the densest possible entropy containers. If one tries to exceed the entropy of a black hole of the same size, the system is no longer weakly gravitating; it must be treated as a black hole.

The quantity that survives into modern black-hole information theory is not SBHS_{\rm BH} alone, but the generalized entropy

Sgen=A4GN+Sout+Sct.S_{\rm gen}=\frac{A}{4G_N\hbar}+S_{\rm out}+S_{\rm ct}.

Here AA is the area of a codimension-two surface, SoutS_{\rm out} is the von Neumann entropy of quantum fields on one side of that surface, and SctS_{\rm ct} denotes counterterm and higher-derivative contributions needed to make the expression finite and scheme-independent.

For an event horizon in an evaporating spacetime, a useful version is

Sgen(v)=AH(v)4GN+Soutside(v).S_{\rm gen}(v)=\frac{A_H(v)}{4G_N\hbar}+S_{\rm outside}(v).

The generalized second law states that this quantity should not decrease:

dSgendv0.\frac{dS_{\rm gen}}{dv}\ge 0.

This is a quantum refinement of Hawking’s classical area theorem. Classically, area increases. Quantum mechanically, Hawking radiation can make the horizon area decrease because the black hole loses mass. But the entropy outside the black hole increases, and the generalized entropy is expected to obey the appropriate second law.

The generalized entropy is also the prototype of the quantum extremal surface prescription. Later we will replace the event horizon by a candidate surface XX and extremize

Sgen[X]=Area(X)4GN+Sbulk(ΣX)+Sct[X].S_{\rm gen}[X] =\frac{\operatorname{Area}(X)}{4G_N\hbar} +S_{\rm bulk}(\Sigma_X) +S_{\rm ct}[X].

The rule “area plus bulk entropy” is already present here. The island formula will use exactly this structure.

Entanglement entropy and the species problem

Section titled “Entanglement entropy and the species problem”

There is a tempting explanation of black-hole entropy: perhaps SBHS_{\rm BH} is simply the entanglement entropy of quantum fields across the horizon. Indeed, entanglement entropy in local QFT is dominated by short-distance correlations near an entangling surface and has an area-law divergence:

SentnspeciesAϵd2+,S_{\rm ent}\sim n_{\rm species}\frac{A}{\epsilon^{d-2}}+\cdots,

where ϵ\epsilon is a UV cutoff and nspeciesn_{\rm species} counts matter fields.

This resemblance is important, but it is not the whole story. The Bekenstein-Hawking entropy is finite when expressed in terms of the renormalized Newton constant, while the naive entanglement entropy depends on the cutoff and on the number of matter species. The modern effective-field-theory viewpoint is that the area term and the entanglement entropy must be renormalized together. The coefficient 1/GN1/G_N absorbs the same UV sensitivity that appears in the matter entanglement entropy.

Thus the generalized entropy is not a casual sum of two unrelated terms. It is the finite gravitational entropy associated with a surface:

Sgen=(A4GN)renormalized+Sbulk,renormalized+.S_{\rm gen}=\left(\frac{A}{4G_N\hbar}\right)_{\rm renormalized}+S_{\rm bulk,renormalized}+\cdots.

This is one reason the QES and island formulas are subtle: SbulkS_{\rm bulk} is an ordinary von Neumann entropy, but it is only meaningful in the gravitational entropy formula after being combined with the geometric counterterms.

The naive statement “the entropy inside a spatial region is bounded by the area of its boundary” is too rigid. In cosmology and dynamical gravitational collapse, there may not be a preferred spatial slice or a clean notion of “inside.” Relativity asks for a covariant formulation.

Bousso’s covariant entropy bound starts with a codimension-two spacelike surface BB of area A(B)A(B). Consider null geodesics orthogonal to BB. A light-sheet L(B)L(B) is generated by one of the null congruences whose expansion is nonpositive:

θ0.\theta\le 0.

The conjectured bound is

S[L(B)]A(B)4GN,S[L(B)]\le \frac{A(B)}{4G_N\hbar},

where the light-sheet is followed until caustics, singularities, or boundaries where the construction must stop.

Covariant entropy bound and light sheets

The covariant entropy bound assigns entropy not to an arbitrary spatial volume but to light-sheets: null hypersurfaces generated by non-expanding light-rays orthogonal to a surface $B$.

For a round sphere in flat spacetime, the future-directed and past-directed ingoing null congruences have decreasing area and therefore define light-sheets. The outgoing null congruences expand and are not light-sheets in this simple example.

This construction captures a central moral of gravitational entropy: the correct entropy bound is not fundamentally tied to a spatial volume. It is tied to causal structure and null focusing.

The holographic principle becomes concrete in AdS/CFT. A gravitational theory in (d+1)(d+1)-dimensional asymptotically AdS spacetime is dual to a nongravitational CFT in dd dimensions. The CFT lives on the conformal boundary, but it describes all bulk physics, including black holes.

At large NN and strong coupling, the CFT has a classical gravity dual. The rough dictionary is

Ld1GNNdof,\frac{L^{d-1}}{G_N}\sim N_{\rm dof},

where LL is the AdS radius and NdofN_{\rm dof} is a measure of the number of CFT degrees of freedom. For example, in AdS5_5/CFT4_4 with type IIB string theory on AdS5×S5_5\times S^5, one has L3/G5N2L^3/G_5\sim N^2 up to numerical factors.

A large AdS black hole is dual to a thermal state of the CFT. The entropy of the CFT thermal state matches the black-hole area:

SCFT(E)=SBH(M(E))=AH4GNS_{\rm CFT}(E)=S_{\rm BH}(M(E)) =\frac{A_H}{4G_N\hbar}

at leading order in large NN. In this setting, black-hole entropy is not merely an analogy; it is the statistical entropy of states in an ordinary quantum system.

This is why AdS/CFT sharpens the black-hole information problem. The boundary CFT evolves unitarily, so the bulk black hole must also be described by unitary dynamics. The puzzle is how this unitary behavior is encoded in a semiclassical bulk description that seems to lose information.

Example: BTZ entropy from a two-dimensional CFT

Section titled “Example: BTZ entropy from a two-dimensional CFT”

A particularly clean example is the BTZ black hole in AdS3_3. The asymptotic symmetry algebra of AdS3_3 gravity contains two copies of the Virasoro algebra with central charge

c=3L2G3,c=\frac{3L}{2G_3},

where LL is the AdS3_3 radius and G3G_3 is the three-dimensional Newton constant. The nonrotating BTZ black hole has horizon circumference

AH=2πr+,A_H=2\pi r_+,

so its Bekenstein-Hawking entropy is

SBTZ=2πr+4G3.S_{\rm BTZ}=\frac{2\pi r_+}{4G_3}.

The dual CFT2_2 thermal entropy reproduces this result. In Cardy form, the entropy of a high-energy two-dimensional CFT state is controlled by the central charge. Schematically,

SCardy=2πcL06+2πcLˉ06,S_{\rm Cardy} =2\pi\sqrt{\frac{cL_0}{6}} +2\pi\sqrt{\frac{c\bar L_0}{6}},

and using the BTZ/CFT dictionary gives precisely SBTZS_{\rm BTZ}. This example is historically important because it shows, in a highly controlled setting, how a gravitational area law can arise from ordinary CFT state counting.

From entropy bounds to holographic entanglement

Section titled “From entropy bounds to holographic entanglement”

The entropy-area relation does not stop at horizons. In AdS/CFT, the entropy of a boundary spatial region AA is computed by a bulk surface. The classical Ryu-Takayanagi formula is

S(A)=Area(γA)4GN,S(A)=\frac{\operatorname{Area}(\gamma_A)}{4G_N\hbar},

where γA\gamma_A is a minimal surface homologous to AA. Its covariant generalization, HRT, uses extremal surfaces. Quantum corrections replace the area by generalized entropy.

Thus black-hole entropy is the first example of a broader rule:

entropy in quantum gravityarea of a codimension-two surface.\text{entropy in quantum gravity} \quad\longleftrightarrow\quad \text{area of a codimension-two surface}.

When the relevant surface is a horizon, the formula gives black-hole entropy. When the surface is an RT/HRT surface, it gives boundary entanglement entropy. When the surface is a QES, it gives quantum-corrected entropy and eventually the island formula.

Pitfall 1: “The entropy is proportional to the volume inside the black hole.” The interior volume of a black hole is slicing-dependent and can grow with time even when the horizon area is fixed. The thermodynamic entropy of a stationary black hole is controlled by the horizon area, not by an arbitrary interior volume.

Pitfall 2: “The holographic principle says the world is a literal optical hologram.” The word is metaphorical. The precise claim is about the scaling and encoding of independent quantum degrees of freedom in a gravitational theory.

Pitfall 3: “The area law is only a classical statement.” The area theorem is classical, but SBH=A/(4GN)S_{\rm BH}=A/(4G_N\hbar) is quantum. The factor of \hbar enters through Hawking radiation and the temperature TH=κ/(2π)T_H=\hbar\kappa/(2\pi).

Pitfall 4: “Generalized entropy is just black-hole entropy plus ordinary entropy.” It is subtler than a naive sum. The area term and bulk entropy are separately UV sensitive; their renormalized combination is the meaningful quantity.

Pitfall 5: “Entropy bounds are already a complete microscopic theory of quantum gravity.” Entropy bounds are powerful constraints. They do not by themselves specify the microscopic degrees of freedom, the Hilbert space, or the dynamics. AdS/CFT gives a concrete realization in special asymptotics.

The formulas to remember are:

TH=κ2π,T_H=\frac{\hbar\kappa}{2\pi}, SBH=AH4GN,S_{\rm BH}=\frac{A_H}{4G_N\hbar}, dM=κ8πGNdAH+ΩHdJ+ΦHdQ,dM=\frac{\kappa}{8\pi G_N}dA_H+\Omega_HdJ+\Phi_HdQ, Sgen=A4GN+Sout+Sct,S_{\rm gen}=\frac{A}{4G_N\hbar}+S_{\rm out}+S_{\rm ct}, S[L(B)]A(B)4GN.S[L(B)]\le \frac{A(B)}{4G_N\hbar}.

The first two convert black-hole mechanics into thermodynamics. The third is the classical first law. The fourth is the object that later becomes quantum extremal entropy. The fifth is the covariant entropy bound, a relativistic expression of holographic scaling.

Exercise 1: Schwarzschild entropy from the first law

Section titled “Exercise 1: Schwarzschild entropy from the first law”

For a four-dimensional Schwarzschild black hole,

rs=2GNM,AH=4πrs2,TH=8πGNM.r_s=2G_NM, \qquad A_H=4\pi r_s^2, \qquad T_H=\frac{\hbar}{8\pi G_NM}.

Use dM=THdSdM=T_H dS to derive S=AH/(4GN)S=A_H/(4G_N\hbar).

Solution

From dM=THdSdM=T_HdS,

dS=dMTH=8πGNMdM.dS=\frac{dM}{T_H} =\frac{8\pi G_NM}{\hbar}dM.

Integrating,

S=4πGNM2+C.S=\frac{4\pi G_NM^2}{\hbar}+C.

Taking C=0C=0, and using

AH=4π(2GNM)2=16πGN2M2,A_H=4\pi(2G_NM)^2=16\pi G_N^2M^2,

we get

AH4GN=16πGN2M24GN=4πGNM2=S.\frac{A_H}{4G_N\hbar} =\frac{16\pi G_N^2M^2}{4G_N\hbar} =\frac{4\pi G_NM^2}{\hbar} =S.

Exercise 2: Saturating the Bekenstein bound

Section titled “Exercise 2: Saturating the Bekenstein bound”

The Bekenstein bound for a weakly gravitating system of energy EE and radius RR is

S2πER.S\le \frac{2\pi ER}{\hbar}.

Insert E=ME=M and R=2GNMR=2G_NM for a Schwarzschild black hole. Show that the result equals the Bekenstein-Hawking entropy.

Solution

Substituting E=ME=M and R=2GNMR=2G_NM gives

S2πM(2GNM)=4πGNM2.S\le \frac{2\pi M(2G_NM)}{\hbar} =\frac{4\pi G_NM^2}{\hbar}.

The Schwarzschild horizon area is

AH=16πGN2M2,A_H=16\pi G_N^2M^2,

so

SBH=AH4GN=16πGN2M24GN=4πGNM2.S_{\rm BH}=\frac{A_H}{4G_N\hbar} =\frac{16\pi G_N^2M^2}{4G_N\hbar} =\frac{4\pi G_NM^2}{\hbar}.

Thus the Schwarzschild black hole saturates the bound in this comparison.

Exercise 3: Why a volume entropy estimate cannot be fundamental

Section titled “Exercise 3: Why a volume entropy estimate cannot be fundamental”

Consider a region of linear size RR in four spacetime dimensions. A cutoff QFT with UV cutoff Λ\Lambda has roughly

SQFTR3Λ3S_{\rm QFT}\sim R^3\Lambda^3

available local degrees of freedom. Estimate why this cannot be the fundamental entropy at arbitrarily large Λ\Lambda once gravity is included.

Solution

A local field theory with cutoff Λ\Lambda also has energy of order

ER3Λ4E\sim R^3\Lambda^4

if the modes are highly excited up to the cutoff. To avoid forming a black hole larger than the region, this energy should be less than the mass of a Schwarzschild black hole of radius RR:

ERGN.E\lesssim \frac{R}{G_N}.

Thus

R3Λ4RGN,R^3\Lambda^4\lesssim \frac{R}{G_N},

or

Λ1GN1/4R1/2.\Lambda\lesssim \frac{1}{G_N^{1/4}R^{1/2}}.

Then the entropy estimate becomes

SQFTR3Λ3R3/2GN3/4=(R2GN)3/4.S_{\rm QFT}\sim R^3\Lambda^3 \lesssim \frac{R^{3/2}}{G_N^{3/4}} =\left(\frac{R^2}{G_N}\right)^{3/4}.

This is parametrically smaller than the black-hole entropy

SBHR2GNS_{\rm BH}\sim \frac{R^2}{G_N}

for large RR in Planck units. The exercise illustrates that ordinary local QFT overcounts states if it is extrapolated without gravitational collapse constraints.

Exercise 4: Light-sheets of a round sphere

Section titled “Exercise 4: Light-sheets of a round sphere”

Consider a round two-sphere BB at t=0t=0 in flat four-dimensional spacetime. There are four null congruences orthogonal to BB: future-outgoing, future-ingoing, past-outgoing, and past-ingoing. Which ones are light-sheets?

Solution

A light-sheet is generated by null geodesics with nonpositive expansion θ0\theta\le 0. For a round sphere in flat spacetime, outgoing future-directed light-rays move to larger spheres, so their cross-sectional area increases and θ>0\theta>0. They are not light-sheets. Future-ingoing light-rays move toward the center, so their area decreases and θ<0\theta<0 until they reach a caustic. They define a light-sheet.

The same reasoning applies in the past direction. Past-outgoing light-rays expand as one moves along the past-directed congruence, so they have positive expansion. Past-ingoing light-rays shrink toward the center and define a light-sheet. Thus the two ingoing congruences are light-sheets in this simple example.

Exercise 5: Generalized entropy during evaporation

Section titled “Exercise 5: Generalized entropy during evaporation”

Suppose a black hole emits Hawking radiation and loses a small amount of mass, causing its horizon area to decrease by ΔAH<0\Delta A_H<0. If the exterior entropy increases by ΔSoutside\Delta S_{\rm outside}, write the condition imposed by the generalized second law.

Solution

The generalized entropy is

Sgen=AH4GN+Soutside.S_{\rm gen}=\frac{A_H}{4G_N\hbar}+S_{\rm outside}.

The generalized second law requires

ΔSgen=ΔAH4GN+ΔSoutside0.\Delta S_{\rm gen} =\frac{\Delta A_H}{4G_N\hbar}+\Delta S_{\rm outside} \ge 0.

Since ΔAH<0\Delta A_H<0, the outside entropy must increase enough to compensate:

ΔSoutsideΔAH4GN.\Delta S_{\rm outside} \ge -\frac{\Delta A_H}{4G_N\hbar}.

Assume that a black hole has N\mathcal N microstates compatible with fixed macroscopic data and that SBH=logNS_{\rm BH}=\log\mathcal N. Express N\mathcal N in terms of the horizon area.

Solution

Using

SBH=AH4GNS_{\rm BH}=\frac{A_H}{4G_N\hbar}

and SBH=logNS_{\rm BH}=\log\mathcal N, we find

N=expSBH=exp(AH4GN).\mathcal N =\exp S_{\rm BH} =\exp\left(\frac{A_H}{4G_N\hbar}\right).

If one wants the number of bits, then

Nbits=SBHlog2=AH4GNlog2.N_{\rm bits}=\frac{S_{\rm BH}}{\log 2} =\frac{A_H}{4G_N\hbar\log 2}.

The next page turns from entropy to radiation: how Hawking’s calculation makes black holes thermodynamic, why the radiation is approximately thermal, and why this leads to the information paradox.