Skip to content

Black-Hole Entropy and the Holographic Principle

The fastest way to discover that quantum gravity is not ordinary local quantum field theory with a graviton added is to ask a simple counting question:

How many independent states can fit inside a spatial region?\text{How many independent states can fit inside a spatial region?}

For a nongravitational quantum field theory regulated at length scale aa, the answer looks extensive. A region of volume VV contains roughly V/aD1V/a^{D-1} spatial cells in DD spacetime dimensions, so the number of independent microscopic variables appears to grow like a volume. Gravity changes the question. If we keep adding energy to the same region, the geometry reacts. Once the Schwarzschild radius associated with the energy is comparable to the size of the region, the system is no longer a high-energy gas in a fixed box. It is a black hole.

The entropy of that black hole is

SBH=AH4GD,S_{\mathrm{BH}} = \frac{A_{\mathcal H}}{4G_D},

where AHA_{\mathcal H} is the area of the event horizon and GDG_D is Newton’s constant in DD spacetime dimensions. Restoring constants,

SBH=kBc3AH4GD.S_{\mathrm{BH}} = \frac{k_B c^3 A_{\mathcal H}}{4G_D\hbar}.

Throughout this course we usually set =c=kB=1\hbar=c=k_B=1. In these units GDG_D has dimensions of lengthD2^{D-2}, so AH/GDA_{\mathcal H}/G_D is dimensionless. The formula says that the entropy is measured in Planck-area units, not Planck-volume units.

A comparison between volume counting in a cutoff local quantum field theory and area counting for a black hole in dynamical gravity.

A local cutoff QFT naturally suggests volume counting, NcellsV/aD1N_{\rm cells}\sim V/a^{D-1}. In dynamical gravity, sufficiently energetic states collapse into black holes, whose entropy is SBH=AH/4GDS_{\rm BH}=A_{\mathcal H}/4G_D. The generalized entropy Sgen=Sout+AH/4GDS_{\rm gen}=S_{\rm out}+A_{\mathcal H}/4G_D is the quantity that behaves thermodynamically when matter crosses a horizon.

This area law is the first major clue behind the holographic principle. It says that the largest entropy in a gravitating region scales like the area of its boundary. AdS/CFT will later make this idea precise by giving a nongravitational boundary theory whose Hilbert space and observables define quantum gravity in an asymptotically AdS spacetime.

This page is deliberately more technical than the orientation discussion. The goal is to understand where the factor A/4GA/4G comes from, what kind of entropy it represents, how it leads to entropy bounds, and what it does and does not prove about holography.

Stationary black holes as thermodynamic systems

Section titled “Stationary black holes as thermodynamic systems”

A stationary black hole has a horizon generated by a Killing vector field. For a rotating and charged black hole, the relevant horizon generator is

χ=t+ΩHϕ,\chi = \partial_t+\Omega_H\partial_\phi,

with possible generalizations when there are several angular momenta. The surface gravity κ\kappa is defined on the horizon by

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

Roughly, κ\kappa measures the acceleration needed at infinity to hold a unit mass just outside the horizon. More invariantly, it is the normalization of the near-horizon Rindler geometry once the asymptotic time is fixed.

Classically, stationary black holes obey a first law of black-hole mechanics,

δM=κ8πGDδAH+ΩHδJ+ΦHδQ.\delta M = \frac{\kappa}{8\pi G_D}\delta A_{\mathcal H} +\Omega_H\delta J +\Phi_H\delta Q.

Here MM is the conserved mass, JJ the angular momentum, QQ the charge, ΩH\Omega_H the horizon angular velocity, and ΦH\Phi_H the electrostatic potential at the horizon. The resemblance to thermodynamics is immediate:

δE=TδS+work terms.\delta E = T\delta S+\text{work terms}.

Classically this was only an analogy. The area theorem says that, under suitable energy conditions and cosmic-censorship assumptions, the horizon area cannot decrease. That resembles the second law, but it does not yet identify a physical temperature. A purely classical black hole absorbs and does not emit, so its temperature would seem to be zero. The analogy becomes real only after quantum effects are included.

Near any nonextremal horizon, the Euclidean geometry has a universal form. In Lorentzian signature, the metric near the horizon can be written locally as

ds2κ2ρ2dt2+dρ2+hij(y)dyidyj,ds^2 \simeq -\kappa^2\rho^2 dt^2+d\rho^2+h_{ij}(y)dy^i dy^j,

where ρ=0\rho=0 is the horizon and yiy^i are coordinates along a spatial cross-section of the horizon. After Wick rotation t=iτt=-i\tau, the first two terms become

dsE2dρ2+κ2ρ2dτ2.ds_E^2 \simeq d\rho^2+\kappa^2\rho^2 d\tau^2.

This is just the flat plane in polar coordinates if the angular coordinate

θ=κτ\theta=\kappa\tau

has period 2π2\pi. Therefore the Euclidean time coordinate must have period

βH=2πκ.\beta_H = \frac{2\pi}{\kappa}.

In thermal field theory, periodic Euclidean time with period β\beta computes a thermal partition function with temperature T=1/βT=1/\beta. Hence the Hawking temperature is

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

Combining this quantum temperature with the classical first law gives

δM=THδ(AH4GD)+ΩHδJ+ΦHδQ.\delta M = T_H\delta\left(\frac{A_{\mathcal H}}{4G_D}\right) +\Omega_H\delta J +\Phi_H\delta Q.

So the entropy must be

SBH=AH4GD.S_{\mathrm{BH}} = \frac{A_{\mathcal H}}{4G_D}.

This derivation is powerful because it uses only the universal local form of a nonextremal horizon plus the global normalization of the time coordinate. It also foreshadows a major theme in AdS/CFT: thermal physics of the boundary theory is often encoded in smoothness or horizon boundary conditions in the bulk.

Worked example: the four-dimensional Schwarzschild black hole

Section titled “Worked example: the four-dimensional Schwarzschild black hole”

For the four-dimensional Schwarzschild solution,

ds2=(12GMr)dt2+(12GMr)1dr2+r2dΩ22.ds^2 = -\left(1-\frac{2GM}{r}\right)dt^2 +\left(1-\frac{2GM}{r}\right)^{-1}dr^2 +r^2d\Omega_2^2.

The horizon radius is

rh=2GM,r_h=2GM,

so the horizon area is

AH=4πrh2=16πG2M2.A_{\mathcal H}=4\pi r_h^2=16\pi G^2M^2.

The surface gravity is

κ=12f(rh)=14GM,f(r)=12GMr.\kappa = \frac{1}{2}f'(r_h) = \frac{1}{4GM}, \qquad f(r)=1-\frac{2GM}{r}.

Therefore

TH=18πGM,SBH=AH4G=4πGM2.T_H = \frac{1}{8\pi GM}, \qquad S_{\mathrm{BH}} = \frac{A_{\mathcal H}}{4G} = 4\pi GM^2.

Several important lessons are already visible.

First, the entropy is enormous for a macroscopic black hole. In Planck units, SBHS_{\mathrm{BH}} is of order the horizon area.

Second, the temperature decreases as the mass increases. The heat capacity is

C=dMdTH=8πGM2=2SBH.C = \frac{dM}{dT_H} = -8\pi GM^2 = -2S_{\mathrm{BH}}.

The negative sign means that an asymptotically flat Schwarzschild black hole is thermodynamically unstable in the canonical ensemble. If it loses energy by radiation, it becomes hotter, so it radiates faster. This is one reason AdS is so useful: large AdS black holes can have positive heat capacity and can be in stable thermal equilibrium with the boundary theory.

Third, the relation

SBHM2S_{\mathrm{BH}}\propto M^2

is radically different from the entropy of ordinary matter in a box. Black holes are not merely heavy particles. They are high-entropy gravitational objects whose thermodynamics is controlled by geometry.

General dimension and the scaling of maximum entropy

Section titled “General dimension and the scaling of maximum entropy”

Let DD denote the bulk spacetime dimension. The neutral asymptotically flat Schwarzschild-Tangherlini black hole has metric

ds2=f(r)dt2+dr2f(r)+r2dΩD22,f(r)=1(rhr)D3.ds^2 = -f(r)dt^2+\frac{dr^2}{f(r)}+r^2d\Omega_{D-2}^2, \qquad f(r)=1-\left(\frac{r_h}{r}\right)^{D-3}.

Its mass, temperature, and entropy are

M=(D2)ΩD216πGDrhD3,M = \frac{(D-2)\Omega_{D-2}}{16\pi G_D}r_h^{D-3}, TH=D34πrh,T_H = \frac{D-3}{4\pi r_h},

and

SBH=ΩD2rhD24GD.S_{\mathrm{BH}} = \frac{\Omega_{D-2}r_h^{D-2}}{4G_D}.

Here ΩD2\Omega_{D-2} is the area of the unit (D2)(D-2)-sphere. The numerical constants are useful, but the scaling is the real message:

MrhD3GD,SBHrhD2GD.M\sim \frac{r_h^{D-3}}{G_D}, \qquad S_{\mathrm{BH}}\sim \frac{r_h^{D-2}}{G_D}.

Now consider a spatial region of radius RR. A black hole that fits inside the region has rhRr_h\lesssim R, so the largest black-hole entropy scales as

Smax(R)RD2GDA(R)GD.S_{\max}(R) \sim \frac{R^{D-2}}{G_D} \sim \frac{A(\partial R)}{G_D}.

This is the central area-scaling result.

Compare it with a cutoff local QFT in the same spatial region. If the cutoff length is aa, volume counting gives

ScutoffNdofRD1aD1,S_{\mathrm{cutoff}} \sim N_{\mathrm{dof}}\frac{R^{D-1}}{a^{D-1}},

where NdofN_{\mathrm{dof}} is the number of degrees of freedom per cell. If one naively sets aa to the Planck length, the cutoff QFT entropy grows like RD1R^{D-1}, which exceeds the black-hole entropy for sufficiently large RR. This contradiction is not a minor regularization issue. It says that a fundamental quantum theory of gravity cannot assign independent microscopic degrees of freedom to all Planck-volume cells of a large region.

Local bulk fields can still exist. They exist as effective variables in a low-energy code subspace, not as the fundamental independent variables of the full Hilbert space.

The black-hole entropy formula also repairs a tension with the ordinary second law. Suppose an object with entropy SmatterS_{\mathrm{matter}} falls into a black hole. From the exterior, the object disappears behind the horizon. If one counts only ordinary matter entropy outside the black hole, entropy can decrease.

The gravitational replacement is the generalized entropy

Sgen=Sout+AH4GD.S_{\mathrm{gen}} = S_{\mathrm{out}} + \frac{A_{\mathcal H}}{4G_D}.

The generalized second law states that

ΔSgen0.\Delta S_{\mathrm{gen}}\ge 0.

This is a much deeper statement than the area theorem. The area theorem is classical and assumes appropriate energy conditions. The generalized second law is semiclassical: matter entropy outside the horizon can decrease, but the horizon area changes in just the way needed to preserve the generalized entropy.

In modern language, SgenS_{\mathrm{gen}} is also the prototype of the generalized entropy used in quantum extremal surfaces and island formulas:

Sgen(X)=Area(X)4GN+Sbulk(ΣX)+.S_{\mathrm{gen}}(X) = \frac{\mathrm{Area}(X)}{4G_N}+S_{\mathrm{bulk}}(\Sigma_X)+\cdots.

Here XX is a codimension-two surface and SbulkS_{\mathrm{bulk}} is the entropy of bulk quantum fields in the corresponding region. The dots include counterterms and higher-derivative corrections. This will become central in the entanglement and black-hole-information modules.

The Bekenstein bound and the route to area scaling

Section titled “The Bekenstein bound and the route to area scaling”

The Bekenstein bound is a bound on the entropy of a weakly gravitating isolated system with total energy EE and radius RR:

S2πER.S \le 2\pi ER.

The bound is motivated by the generalized second law. If one lowers an object toward a black hole and drops it in, the object disappears from the exterior. The horizon entropy must increase by at least the object’s entropy. A careful version of this thought experiment leads to a bound of the form above, in units =c=kB=1\hbar=c=k_B=1.

The Bekenstein bound is not itself the same as the holographic entropy bound. But together with gravitational collapse it points toward area scaling. In DD spacetime dimensions, avoiding black-hole formation in a region of radius RR requires roughly

GDERD3.G_D E \lesssim R^{D-3}.

Substituting this into S2πERS\le 2\pi ER gives

SRD2GDA(R)GD.S \lesssim \frac{R^{D-2}}{G_D} \sim \frac{A(\partial R)}{G_D}.

So a weak-gravity entropy bound plus the collapse threshold already suggests that the maximum entropy in a gravitating region scales like boundary area.

The factor 1/41/4 in the black-hole formula is more precise than this scaling argument. Scaling arguments explain why area appears. The full Bekenstein-Hawking formula fixes the normalization.

A naive spacelike entropy bound,

S(R)A(R)4GD,S(R)\le \frac{A(\partial R)}{4G_D},

is too crude in general spacetimes. Cosmological geometries and strongly time-dependent situations can make the words “inside a region” ambiguous. Gravity does not naturally provide a preferred global spatial slice.

The covariant refinement uses light-sheets. Start with a codimension-two spatial surface BB of area A(B)A(B). Shoot null geodesics orthogonally away from BB in a direction for which the expansion is nonpositive. The resulting null hypersurface is a light-sheet L(B)L(B), at least until caustics or singularities occur. The covariant entropy bound states schematically that

S[L(B)]A(B)4GD.S[L(B)] \le \frac{A(B)}{4G_D}.

The details require care: one must define the entropy crossing the light-sheet, specify the regime of validity, and handle quantum corrections. But the conceptual improvement is important. The bound is not tied to a preferred spatial volume. It uses causal geometry.

For AdS/CFT, the covariant viewpoint is natural. The boundary theory is not merely associated with a spatial box; it controls the causal and asymptotic structure of the bulk. Later, HRT surfaces, entanglement wedges, and quantum extremal surfaces will provide more precise versions of this causal-information relation.

Entropy counts states:

S=logΩ.S=\log \Omega.

Therefore the Bekenstein-Hawking formula demands

ΩBHexp(AH4GD).\Omega_{\mathrm{BH}} \sim \exp\left(\frac{A_{\mathcal H}}{4G_D}\right).

This is a staggering statement. A classical solution has a continuous geometry, but the entropy says that a black hole with fixed macroscopic charges corresponds to an exponentially large number of quantum microstates.

There are three increasingly precise layers of interpretation.

First, in semiclassical gravity, A/4GDA/4G_D is a thermodynamic entropy. It is inferred from temperature, the first law, and Euclidean path integrals. This is analogous to knowing the entropy of a gas before knowing the atoms.

Second, in string theory, certain supersymmetric black holes can be counted microscopically. The Strominger-Vafa calculation famously matched the Bekenstein-Hawking entropy of a class of five-dimensional extremal black holes by counting D-brane bound states. This did not solve every black-hole microstate problem, but it proved that the area law can arise from honest quantum states in string theory.

Third, in AdS/CFT, black-hole microstates are states of the boundary CFT. In this setting the nonperturbative Hilbert space is supplied by a nongravitational quantum theory. The bulk black hole is a thermodynamic phase or ensemble description of many CFT states.

This last point is the key reason AdS/CFT is more than an entropy bound. An entropy bound says how many states are allowed. A dual CFT gives the states, the Hamiltonian, the observables, and the time evolution.

The formula

SBH=A4GDS_{\mathrm{BH}}=\frac{A}{4G_D}

is the leading entropy for Einstein gravity in the semiclassical limit. In AdS/CFT language, it is usually the leading large-NN, strong-coupling answer.

There are two important classes of corrections.

The first class consists of quantum corrections in the bulk. Schematically,

S=A4GD+Sbulk+.S = \frac{A}{4G_D}+S_{\mathrm{bulk}}+\cdots.

These terms are suppressed by powers of GDG_D relative to the leading area term when the black hole is large in Planck units. In the boundary theory, they correspond to 1/N1/N effects.

The second class consists of higher-derivative corrections to the gravitational action. In string theory, these are often α\alpha' corrections. For a general higher-derivative theory, black-hole entropy is not simply area divided by 4GD4G_D; it is replaced by a Wald-like entropy, with further refinements for time-dependent or entanglement settings. In the boundary theory, these corrections correspond to finite-coupling effects and changes in CFT data.

The moral is not that A/4GDA/4G_D is unreliable. The moral is that one should always ask which approximation makes it the correct leading answer.

For AdSd+1_{d+1}/CFTd_d, the effective number of CFT degrees of freedom is controlled by

ceffLd1Gd+1,c_{\mathrm{eff}} \sim \frac{L^{d-1}}{G_{d+1}},

where LL is the AdS radius. In the canonical AdS5×S5_5\times S^5 example,

L3G5N2,\frac{L^3}{G_5}\sim N^2,

matching the fact that a large-NN matrix gauge theory has O(N2)O(N^2) degrees of freedom.

A planar AdSd+1_{d+1} black brane has metric

ds2=r2L2[f(r)dt2+dx2]+L2r2f(r)dr2,f(r)=1(rhr)d.ds^2 = \frac{r^2}{L^2}\left[-f(r)dt^2+d\vec x^{\,2}\right] +\frac{L^2}{r^2f(r)}dr^2, \qquad f(r)=1-\left(\frac{r_h}{r}\right)^d.

Its temperature is

T=drh4πL2,T = \frac{d\,r_h}{4\pi L^2},

and its entropy density is horizon area per boundary spatial volume divided by 4Gd+14G_{d+1}:

s=14Gd+1(rhL)d1.s = \frac{1}{4G_{d+1}}\left(\frac{r_h}{L}\right)^{d-1}.

Using rhL2Tr_h\sim L^2T, this becomes

sLd1Gd+1Td1ceffTd1.s \sim \frac{L^{d-1}}{G_{d+1}}T^{d-1} \sim c_{\mathrm{eff}}T^{d-1}.

This is exactly the scaling expected for a thermal CFT with ceffc_{\mathrm{eff}} effective degrees of freedom. The gravitational entropy is an area, but because the horizon extends along the boundary directions, it becomes a boundary entropy density. In AdS/CFT, the black-hole area law is not an isolated thermodynamic curiosity; it is the entropy of the dual CFT thermal state in the regime where the bulk is well approximated by classical gravity.

What the holographic principle says, and what it does not say

Section titled “What the holographic principle says, and what it does not say”

A careful version of the holographic principle says:

a consistent quantum theory of gravity should not have more independent states in a region than an area-sized Hilbert space can support.\text{a consistent quantum theory of gravity should not have more independent states in a region than an area-sized Hilbert space can support.}

This is a statement about fundamental degrees of freedom, not about the usefulness of local bulk fields. Low-energy observers can use local quantum fields in the bulk, just as fluid dynamicists can use density and velocity fields without treating them as microscopic variables.

The principle does not say that the world is literally a two-dimensional optical image. It does not by itself specify the microscopic Hilbert space. It does not give a Hamiltonian. It does not tell us which boundary variables reconstruct which bulk observables. Those are the things a concrete duality must provide.

AdS/CFT provides them in a special but extraordinarily rich class of spacetimes. It replaces the vague sentence “the bulk is encoded on a boundary” by a precise computational framework:

ZCFT[J]=Zbulk[ϕJ].Z_{\mathrm{CFT}}[J] = Z_{\mathrm{bulk}}[\phi\to J].

The black-hole area law explains why one should have expected something holographic. The CFT dictionary explains how the encoding works.

Mistake 1: treating the area law as ordinary entanglement entropy only

Section titled “Mistake 1: treating the area law as ordinary entanglement entropy only”

Quantum fields in a fixed background have entanglement entropy across a surface, and that entropy is UV divergent with a leading area divergence. This is related to black-hole entropy, but it is not the whole story. Black-hole entropy is finite after quantum gravity supplies the correct cutoff and renormalizes GDG_D. It counts gravitational states, not merely the entanglement of a fixed set of nongravitating fields.

Mistake 2: saying that every region has entropy A/4GDA/4G_D

Section titled “Mistake 2: saying that every region has entropy A/4GDA/4G_DA/4GD​”

The area law gives the entropy of a horizon, or the maximum entropy suggested by gravitational collapse. A low-energy state in a large region can have much less entropy than A/4GDA/4G_D. Most semiclassical bulk states are nowhere near saturating the bound.

Mistake 3: forgetting the regime of validity

Section titled “Mistake 3: forgetting the regime of validity”

The simple formula A/4GDA/4G_D assumes two-derivative Einstein gravity and a semiclassical horizon. Higher-derivative terms, quantum loops, stringy corrections, and small black holes can all modify the answer.

Mistake 4: identifying the horizon with a literal storage surface

Section titled “Mistake 4: identifying the horizon with a literal storage surface”

It is often useful to say that black-hole information is “stored on the horizon.” But in AdS/CFT the exact degrees of freedom live in the boundary CFT, not on a stretched horizon as independent fundamental variables. The horizon is a powerful emergent thermodynamic surface in the bulk description.

Mistake 5: confusing an entropy bound with a duality

Section titled “Mistake 5: confusing an entropy bound with a duality”

An entropy bound constrains the number of states. A duality identifies the states and all observables. This is why black-hole thermodynamics motivates holography but does not replace AdS/CFT.

Exercise 1: Euclidean regularity and Hawking temperature

Section titled “Exercise 1: Euclidean regularity and Hawking temperature”

Suppose the near-horizon Euclidean metric of a nonextremal black hole is

dsE2=dρ2+κ2ρ2dτ2+hij(y)dyidyj.ds_E^2=d\rho^2+\kappa^2\rho^2d\tau^2+h_{ij}(y)dy^i dy^j.

Show that smoothness at ρ=0\rho=0 requires

ττ+2πκ,\tau\sim \tau+\frac{2\pi}{\kappa},

and hence TH=κ/(2π)T_H=\kappa/(2\pi).

Solution

Focus on the ρ,τ\rho,\tau part of the metric:

dsE2=dρ2+κ2ρ2dτ2.ds_E^2=d\rho^2+\kappa^2\rho^2d\tau^2.

Define

θ=κτ.\theta=\kappa\tau.

Then

dsE2=dρ2+ρ2dθ2,ds_E^2=d\rho^2+\rho^2d\theta^2,

which is the flat plane in polar coordinates if and only if θ\theta has period 2π2\pi. Otherwise the origin has a conical singularity. Therefore

κτκτ+2π,\kappa\tau\sim \kappa\tau+2\pi,

so

ττ+2πκ.\tau\sim \tau+\frac{2\pi}{\kappa}.

In the Euclidean thermal path integral, the period of Euclidean time is β=1/T\beta=1/T. Hence

TH=1β=κ2π.T_H=\frac{1}{\beta}=\frac{\kappa}{2\pi}.

Exercise 2: Schwarzschild entropy and heat capacity

Section titled “Exercise 2: Schwarzschild entropy and heat capacity”

For the four-dimensional Schwarzschild black hole,

f(r)=12GMr,rh=2GM.f(r)=1-\frac{2GM}{r}, \qquad r_h=2GM.

Use

TH=f(rh)4π,SBH=A4G,T_H=\frac{f'(r_h)}{4\pi}, \qquad S_{\mathrm{BH}}=\frac{A}{4G},

to compute THT_H, SBHS_{\mathrm{BH}}, and the heat capacity C=dM/dTHC=dM/dT_H.

Solution

First compute

f(r)=2GMr2.f'(r)=\frac{2GM}{r^2}.

At rh=2GMr_h=2GM,

f(rh)=2GM(2GM)2=12GM.f'(r_h)=\frac{2GM}{(2GM)^2}=\frac{1}{2GM}.

Therefore

TH=f(rh)4π=18πGM.T_H=\frac{f'(r_h)}{4\pi}=\frac{1}{8\pi GM}.

The horizon area is

A=4πrh2=4π(2GM)2=16πG2M2.A=4\pi r_h^2=4\pi(2GM)^2=16\pi G^2M^2.

Thus

SBH=A4G=4πGM2.S_{\mathrm{BH}}=\frac{A}{4G}=4\pi GM^2.

Finally,

TH=18πGMT_H=\frac{1}{8\pi GM}

implies

dTHdM=18πGM2.\frac{dT_H}{dM}=-\frac{1}{8\pi GM^2}.

Hence

C=dMdTH=8πGM2=2SBH.C=\frac{dM}{dT_H}=-8\pi GM^2=-2S_{\mathrm{BH}}.

The heat capacity is negative.

Exercise 3: Area scaling in DD spacetime dimensions

Section titled “Exercise 3: Area scaling in DDD spacetime dimensions”

In DD spacetime dimensions, a neutral black hole of horizon radius rhr_h has

MrhD3GD,SBHrhD2GD.M\sim \frac{r_h^{D-3}}{G_D}, \qquad S_{\mathrm{BH}}\sim \frac{r_h^{D-2}}{G_D}.

Show that the maximum entropy that can fit inside a region of radius RR scales like the area of the boundary of that region.

Solution

A black hole that fits inside a region of radius RR must have

rhR.r_h\lesssim R.

The entropy of such a black hole is therefore bounded parametrically by

SBHRD2GD.S_{\mathrm{BH}} \lesssim \frac{R^{D-2}}{G_D}.

The boundary of a spatial ball in DD spacetime dimensions is a (D2)(D-2)-sphere, whose area scales as

A(R)RD2.A(\partial R)\sim R^{D-2}.

Thus

Smax(R)A(R)GD.S_{\max}(R) \sim \frac{A(\partial R)}{G_D}.

Keeping the exact Bekenstein-Hawking normalization gives S=A/(4GD)S=A/(4G_D) for a horizon.

Exercise 4: From the Bekenstein bound to an area bound

Section titled “Exercise 4: From the Bekenstein bound to an area bound”

Assume the Bekenstein bound

S2πERS\le 2\pi ER

for a weakly gravitating system of energy EE and radius RR. Also assume that avoiding gravitational collapse requires

GDERD3.G_D E\lesssim R^{D-3}.

Show that these assumptions imply an area-scaling entropy bound.

Solution

Starting from the Bekenstein bound,

S2πER.S\le 2\pi ER.

The condition for avoiding collapse gives

ERD3GD.E\lesssim \frac{R^{D-3}}{G_D}.

Substitute this into the Bekenstein bound:

S2πRD3GDR=2πRD2GD.S \lesssim 2\pi \frac{R^{D-3}}{G_D}R = 2\pi\frac{R^{D-2}}{G_D}.

Since the area of the boundary of the region scales as

A(R)RD2,A(\partial R)\sim R^{D-2},

we obtain

SA(R)GD,S\lesssim \frac{A(\partial R)}{G_D},

up to numerical constants. This reproduces the holographic scaling.

Exercise 5: Entropy density of a planar AdS black brane

Section titled “Exercise 5: Entropy density of a planar AdS black brane”

Consider the planar AdSd+1_{d+1} black brane

ds2=r2L2[f(r)dt2+dx2]+L2r2f(r)dr2,f(r)=1(rhr)d.ds^2 = \frac{r^2}{L^2}\left[-f(r)dt^2+d\vec x^{\,2}\right] +\frac{L^2}{r^2f(r)}dr^2, \qquad f(r)=1-\left(\frac{r_h}{r}\right)^d.

Show that its entropy density scales as

sLd1Gd+1Td1.s\sim \frac{L^{d-1}}{G_{d+1}}T^{d-1}.
Solution

At the horizon r=rhr=r_h, the induced spatial metric along the d1d-1 boundary spatial directions is

dshor2=rh2L2dx2.ds_{\mathrm{hor}}^2=\frac{r_h^2}{L^2}d\vec x^{\,2}.

Therefore the horizon area per unit boundary coordinate volume is

AVd1=(rhL)d1.\frac{A}{V_{d-1}}=\left(\frac{r_h}{L}\right)^{d-1}.

The Bekenstein-Hawking entropy density is

s=14Gd+1(rhL)d1.s=\frac{1}{4G_{d+1}}\left(\frac{r_h}{L}\right)^{d-1}.

The Hawking temperature is

T=drh4πL2,T=\frac{d\,r_h}{4\pi L^2},

so

rhL2T.r_h\sim L^2T.

Substituting this into the entropy density gives

s1Gd+1(L2TL)d1=Ld1Gd+1Td1,s \sim \frac{1}{G_{d+1}}\left(\frac{L^2T}{L}\right)^{d-1} = \frac{L^{d-1}}{G_{d+1}}T^{d-1},

up to the numerical factor (4π/d)d1/4(4\pi/d)^{d-1}/4. This matches the scaling of a thermal CFT with effective number of degrees of freedom

ceffLd1Gd+1.c_{\mathrm{eff}}\sim \frac{L^{d-1}}{G_{d+1}}.

Exercise 6: What an entropy bound does not tell you

Section titled “Exercise 6: What an entropy bound does not tell you”

Give three pieces of information that are needed for a complete quantum theory of gravity but are not supplied by the statement

SA4GD.S\le \frac{A}{4G_D}.
Solution

Possible answers include:

  1. The microscopic Hilbert space. The bound restricts how many states may exist, but it does not identify the states.
  2. The Hamiltonian. A bound does not specify time evolution.
  3. The observable dictionary. It does not tell us which boundary or microscopic variables compute bulk fields, Wilson loops, stress tensors, or entanglement entropies.
  4. The emergence of locality. It does not explain when a local bulk effective field theory is valid.
  5. The approximation scheme. It does not tell us which corrections are controlled by 1/N1/N, 1/λ1/\lambda, GNG_N, or α\alpha'.

AdS/CFT supplies these missing ingredients in special asymptotically AdS settings by identifying the quantum-gravity theory with a nongravitational CFT.