Skip to content

Page Curve and Fine-Grained Entropy

The previous page made the information-loss problem sharp: in Hawking’s leading semiclassical description, each outgoing mode is purified by a partner behind the horizon, so the entropy of the collected radiation grows monotonically. But if black hole formation and evaporation are described by ordinary unitary quantum mechanics, the final radiation produced from a pure initial state must itself be pure.

The Page curve is the simplest quantitative way to see the conflict. It is the expected time-dependence of the fine-grained von Neumann entropy of the Hawking radiation,

S(R)=TrρRlogρR.S(R)=-\operatorname{Tr}\rho_R\log\rho_R.

The Page curve rises at early times, reaches a maximum near the Page time, and then decreases to zero when the black hole has fully evaporated. It is not a curve of luminosity, temperature, or coarse-grained thermodynamic entropy. It is a diagnostic of purification.

If the Hawking radiation looks locally thermal, why should its fine-grained entropy ever decrease?

The short answer is that a subsystem of a closed quantum system cannot remain almost maximally mixed after the complementary subsystem has become too small to purify it. In a unitary evaporation process, the remaining black hole Hilbert space eventually has fewer available states than the radiation Hilbert space. After that time, the radiation must begin to purify itself through correlations among early and late quanta.

Hawking curve versus unitary Page curve

The Hawking calculation gives a monotonically increasing fine-grained entropy for the radiation because each outgoing mode is purified by an interior partner. A unitary evaporation process instead predicts a Page curve: after the Page time, late radiation must be correlated with early radiation, and S(R)S(R) decreases as the remaining black hole entropy decreases.

The word “entropy” does too much work in black hole physics. This page uses three related but distinct notions.

The fine-grained entropy of a density matrix is

S(ρ)=Trρlogρ.S(\rho)=-\operatorname{Tr}\rho\log\rho.

For a closed system evolving unitarily,

ρ(t)=U(t)ρ(0)U(t),\rho(t)=U(t)\rho(0)U(t)^\dagger,

all eigenvalues of ρ\rho are unchanged. Therefore the fine-grained entropy of the entire closed system is constant. In particular, a pure state stays pure and has

Stotal=0.S_{\rm total}=0.

A subsystem can have nonzero fine-grained entropy because it is entangled with its complement. If the total system factorizes as

Htotal=HRHB,\mathcal H_{\rm total}=\mathcal H_R\otimes \mathcal H_B,

then the radiation density matrix is

ρR=TrBΨΨ.\rho_R=\operatorname{Tr}_B |\Psi\rangle\langle\Psi|.

The entropy S(R)S(R) measures entanglement between the radiation RR and the remaining black hole degrees of freedom BB, assuming the total state ΨRB|\Psi\rangle_{RB} is pure.

The coarse-grained entropy counts macroscopic ignorance. For radiation it is the entropy one would assign after keeping only thermodynamic data such as energy, particle number, angular distribution, or a small number of low-point correlators. It can increase even if the exact microscopic state is pure. Ordinary burning is like this: the emitted photons are approximately thermal in simple observables, but the complete radiation state is pure if the process is treated as a closed quantum system.

The Bekenstein-Hawking entropy

SBH(t)=A(t)4GNS_{\rm BH}(t)={A(t)\over 4G_N\hbar}

is thermodynamic and also counts, in a holographic theory, the logarithm of the number of black hole microstates available at fixed macroscopic charges. In Page’s argument it is used as an estimate

dimHB(t)eSBH(t).\dim \mathcal H_B(t)\sim e^{S_{\rm BH}(t)}.

The Page curve concerns the first notion: the fine-grained von Neumann entropy of the collected Hawking radiation.

Entropy bookkeeping for radiation and black hole

Fine-grained entropy, coarse-grained entropy, and black hole thermodynamic entropy answer different questions. The Page curve tracks S(R)S(R), the entropy of the reduced density matrix of the collected radiation. It can decrease even while coarse-grained thermodynamic entropy continues to behave irreversibly.

Bipartite pure states and the Schmidt decomposition

Section titled “Bipartite pure states and the Schmidt decomposition”

The elementary linear algebra behind the Page curve is the Schmidt decomposition. For a pure state in

HRHB,\mathcal H_R\otimes\mathcal H_B,

one can write

Ψ=i=1χpiiRiB,|\Psi\rangle=\sum_{i=1}^{\chi}\sqrt{p_i}\,|i\rangle_R|i\rangle_B,

where

χmin(dR,dB),ipi=1,\chi\leq \min(d_R,d_B), \qquad \sum_i p_i=1,

and

dR=dimHR,dB=dimHB.d_R=\dim\mathcal H_R, \qquad d_B=\dim\mathcal H_B.

The reduced density matrices are

ρR=ipiiRi,ρB=ipiiBi.\rho_R=\sum_i p_i |i\rangle_R\langle i|, \qquad \rho_B=\sum_i p_i |i\rangle_B\langle i|.

They have the same nonzero eigenvalues, so

S(R)=S(B).S(R)=S(B).

This simple equality has a huge consequence. If the total state is pure, the radiation entropy cannot exceed the logarithm of the dimension of the remaining black hole Hilbert space:

S(R)=S(B)logdB.S(R)=S(B)\leq \log d_B.

It also cannot exceed the logarithm of the effective dimension of the radiation Hilbert space:

S(R)logdR.S(R)\leq \log d_R.

Therefore

S(R)min(logdR,logdB).S(R)\leq \min(\log d_R,\log d_B).

At early times dRd_R is small and the radiation can be nearly maximally mixed. At late times dBd_B is small and the radiation cannot remain nearly maximally mixed. The curve must turn over if the process is unitary and the black hole has finite entropy.

Page’s theorem makes this typicality statement precise. Consider a random pure state in

HAHB,\mathcal H_A\otimes\mathcal H_B,

with

dimHA=m,dimHB=n,mn.\dim\mathcal H_A=m, \qquad \dim\mathcal H_B=n, \qquad m\leq n.

Averaging over the Haar measure on pure states, the mean entropy of subsystem AA is

ES(A)=k=n+1mn1km12n.\mathbb E\,S(A) =\sum_{k=n+1}^{mn}{1\over k}-{m-1\over 2n}.

Equivalently, using harmonic numbers

HN=k=1N1k,H_N=\sum_{k=1}^{N}{1\over k},

one may write

ES(A)=HmnHnm12n.\mathbb E\,S(A)=H_{mn}-H_n-{m-1\over 2n}.

For

1mn,1\ll m\leq n,

this becomes

ES(A)=logmm2n+O(1mn).\mathbb E\,S(A) =\log m-{m\over 2n}+O\left({1\over mn}\right).

Thus the smaller subsystem is almost maximally mixed. Its entropy is only

ΔSA=logmES(A)m2n\Delta S_A=\log m-\mathbb E\,S(A) \simeq {m\over 2n}

below the maximum.

In bits rather than natural logarithms, divide all entropies by log2\log 2.

Page theorem for a random bipartite pure state

For a typical pure state in HRHB\mathcal H_R\otimes\mathcal H_B, the smaller subsystem is almost maximally mixed. The entropy is approximately logdR\log d_R when dR<dBd_R<d_B, approximately logdB\log d_B when dB<dRd_B<d_R, and of order the common entropy near the Page time.

Page’s theorem is not a dynamical theorem about black holes. It does not say that black holes literally sample the Haar measure on their full Hilbert space at every moment. Its role is more modest and more powerful: it tells us what a generic unitary evaporation process should look like if the black hole behaves like a finite quantum system that scrambles information efficiently.

Let R(t)R(t) denote the Hawking radiation collected up to time tt, and let B(t)B(t) denote the remaining black hole. In a unitary description of evaporation from a pure initial state, the combined state is approximately pure:

Ψ(t)HR(t)HB(t).|\Psi(t)\rangle\in \mathcal H_R(t)\otimes\mathcal H_B(t).

The black hole Hilbert space dimension is estimated by

logdimHB(t)SBH(t).\log \dim\mathcal H_B(t)\simeq S_{\rm BH}(t).

The radiation has a coarse-grained entropy Sradcoarse(t)S_{\rm rad}^{\rm coarse}(t) that grows as more quanta are emitted. This quantity is close to what Hawking’s semiclassical calculation computes when it treats each emitted quantum as thermally entangled with an interior partner.

The Page estimate is then

Sfine(R(t))min(Sradcoarse(t),SBH(t)),S_{\rm fine}(R(t)) \simeq \min\left(S_{\rm rad}^{\rm coarse}(t),\,S_{\rm BH}(t)\right),

up to order-one and smoothing corrections near the transition.

This formula is not yet the island formula. It is a Hilbert-space estimate. But it already contains the target that islands must reproduce. The later island formula will compute this same minimum from a generalized entropy extremization:

S(R)=minIextI[Area(I)4GN+Smatter(RI)].S(R)=\min_{\mathcal I}\operatorname*{ext}_{\mathcal I} \left[ {\operatorname{Area}(\partial\mathcal I)\over 4G_N} +S_{\rm matter}(R\cup\mathcal I) \right].

The no-island saddle gives the Hawking curve. The island saddle gives the late-time descending branch.

Early times: why Hawking’s answer is plausible

Section titled “Early times: why Hawking’s answer is plausible”

At early times the radiation Hilbert space is the smaller subsystem:

logdR(t)logdB(t).\log d_R(t)\ll \log d_B(t).

A typical pure state on RBR\otimes B then has

S(R)logdR.S(R)\simeq \log d_R.

Physically, the radiation is nearly maximally entangled with the still-large black hole. It is therefore unsurprising that the radiation looks thermal and carries little accessible information about the initial state. This is the regime where Hawking’s calculation and Page’s unitary estimate agree.

This point is worth emphasizing. The Page curve does not require early Hawking radiation to be obviously nonthermal. On the contrary, typicality predicts that early radiation from a young black hole should look almost exactly thermal in fine-grained entropy as well as in simple observables.

The Page time is the time when the two competing entropies are comparable:

Sradcoarse(tPage)SBH(tPage).S_{\rm rad}^{\rm coarse}(t_{\rm Page}) \simeq S_{\rm BH}(t_{\rm Page}).

Equivalently, it is the time when the radiation Hilbert space and the remaining black hole Hilbert space have comparable effective dimensions:

dR(tPage)dB(tPage).d_R(t_{\rm Page})\sim d_B(t_{\rm Page}).

A simple four-dimensional Schwarzschild estimate illustrates the scale. In units =c=kB=1\hbar=c=k_B=1,

SBH(M)=4πGNM2,S_{\rm BH}(M)=4\pi G_NM^2,

and the evaporation law has the parametric form

dMdt1GN2M2.{dM\over dt}\sim -{1\over G_N^2M^2}.

If we use the reversible toy estimate

Sradcoarse(t)SBH(M0)SBH(M(t)),S_{\rm rad}^{\rm coarse}(t) \simeq S_{\rm BH}(M_0)-S_{\rm BH}(M(t)),

then the Page time satisfies

SBH(M(tPage))12SBH(M0),S_{\rm BH}(M(t_{\rm Page}))\simeq {1\over 2}S_{\rm BH}(M_0),

so

M(tPage)M02.M(t_{\rm Page})\simeq {M_0\over \sqrt 2}.

Since the remaining lifetime scales as M3M^3, this gives

tPagetevap1123/20.65.{t_{\rm Page}\over t_{\rm evap}} \simeq 1-{1\over 2^{3/2}} \simeq 0.65.

This number is not universal. Real Hawking radiation is not a perfectly reversible blackbody process; greybody factors and species content affect the relation between radiated coarse entropy and the decrease of SBHS_{\rm BH}. The robust statement is parametric: the Page time is of order the evaporation time,

tPagetevapGN2M03t_{\rm Page}\sim t_{\rm evap}\sim G_N^2M_0^3

in four spacetime dimensions, but it occurs while the black hole is still macroscopic for M0MPlM_0\gg M_{\rm Pl}.

That last point is crucial. The Page-time conflict is not confined to the final Planckian burst.

After the Page time, the remaining black hole is the smaller subsystem:

logdB(t)logdR(t).\log d_B(t)\ll \log d_R(t).

For a typical pure state,

S(R)=S(B)logdBSBH(t).S(R)=S(B)\simeq \log d_B\simeq S_{\rm BH}(t).

As the black hole loses area, SBH(t)S_{\rm BH}(t) decreases, so S(R)S(R) must decrease. The late outgoing modes must be correlated with the early radiation in such a way that adding more radiation can reduce the entropy of the total collected radiation.

This is counterintuitive only if one thinks of entropy as the entropy of each emitted quantum separately. The entropy of a union can decrease when a new subsystem is added. For example, if RR is entangled with an external system and the next emitted subsystem LL contains purification information, then

S(RL)<S(R)S(RL)<S(R)

is perfectly possible.

In black hole language, late radiation must be entangled more with early radiation than with a new independent interior partner. This is exactly what the leading Hawking pair picture fails to produce.

A clean way to talk about information is to introduce an external reference system QQ. Suppose the collapsing matter is initially entangled with QQ. The reference never interacts with the black hole; it is just a bookkeeping device that remembers the initial quantum information.

If evaporation is unitary, then after complete evaporation the radiation must purify the reference:

S(QR)final=0,S(QR)_{\rm final}=0,

assuming the initial QRQR state of the entire universe was pure after identifying RR with the final radiation. Equivalently, the mutual information

I(Q:R)=S(Q)+S(R)S(QR)I(Q:R)=S(Q)+S(R)-S(QR)

must eventually become large enough to encode the initial state.

For a young black hole, Page typicality says that the early radiation is almost decoupled from QQ:

I(Q:Rearly)0.I(Q:R_{\rm early})\simeq 0.

For an old black hole, new radiation can reveal information rapidly because the black hole is already highly entangled with the earlier radiation. This observation is the starting point for the Hayden-Preskill protocol, which is the topic of the next page.

The Hawking curve is obtained by repeating the local pair-entanglement step. If BiB_i is the iith outgoing mode and AiA_i its interior partner, the leading state has the schematic form

Ψi=1N0Bi0Ai+1Bi1Ai2.|\Psi\rangle\sim \bigotimes_{i=1}^N { |0\rangle_{B_i}|0\rangle_{A_i} + |1\rangle_{B_i}|1\rangle_{A_i}\over \sqrt 2}.

Tracing over the interior partners gives

S(RN)Nlog2.S(R_N)\simeq N\log 2.

The entropy grows monotonically. This is the Hawking curve.

The Page curve instead requires that, after the Page time, the new outgoing mode BN+1B_{N+1} is not primarily purified by a new independent interior degree of freedom. It must be correlated with the previously emitted radiation RNR_N. In entropy language one needs

S(RNBN+1)<S(RN)S(R_NB_{N+1})<S(R_N)

for sufficiently late emissions.

This is why small independent corrections to each Hawking pair cannot solve the problem. The Page curve demands an order-one change in the fine-grained purification structure after the Page time. That order-one change can be invisible in simple local observables, but it cannot be invisible to the entropy of the entire collected radiation.

Coarse thermality is compatible with microscopic purity

Section titled “Coarse thermality is compatible with microscopic purity”

One of the most common confusions is the statement “the radiation is thermal, therefore information is lost.” That statement is false without qualification.

A density matrix can look thermal after coarse-graining while the exact global state is pure. For a box of gas, a star, or a piece of coal, low-point observables relax toward thermal values because the system has many degrees of freedom. The exact final radiation still contains subtle correlations.

Black holes are different not because the spectrum is approximately Planckian. They are different because the semiclassical geometry gives a specific purifier for each outgoing quantum: the partner behind the horizon. If that remains true until complete evaporation, the radiation is mixed in a fine-grained sense.

Thus the Page curve asks a sharper question:

When computing S(R)S(R) for the entire collected radiation, what purifies the late Hawking quanta?

In Hawking’s leading calculation: the interior partners.

In a unitary evaporation process: the earlier radiation, after the Page time.

In the island formula: the radiation’s entanglement wedge includes an island inside the gravitating region, so the entropy calculation reorganizes which degrees of freedom are counted as part of the radiation system.

The Page curve as a constraint, not a mechanism

Section titled “The Page curve as a constraint, not a mechanism”

The Page curve is sometimes described as “the resolution” of the information paradox. More precisely, it is a unitarity constraint. A proposed resolution must explain how the fine-grained radiation entropy follows the Page curve while preserving the successes of semiclassical gravity.

The Page theorem alone does not tell us:

  • which microscopic degrees of freedom encode the information;
  • how a semiclassical observer reconstructs the interior;
  • why the gravitational path integral knows about the unitary answer;
  • whether the relevant correlations are efficiently decodable;
  • how factorization works in gravitational path integrals;
  • what happens in realistic asymptotically flat quantum gravity.

It tells us what the answer must look like if evaporation is unitary and the black hole has finite entropy.

This distinction is historically important. Page’s argument predicted the shape of the entropy curve long before the modern island formula. The island and replica-wormhole developments are powerful because they reproduce the Page curve from a gravitational entropy calculation rather than merely postulating it from Hilbert-space typicality.

The generalized second law says that

Sgen=Soutside+A4GNS_{\rm gen}=S_{\rm outside}+{A\over 4G_N\hbar}

should not decrease in ordinary semiclassical processes. During evaporation, the area term decreases while entropy appears outside the black hole.

The Page curve is not a violation of this principle. It tracks a different entropy. The decreasing late-time branch is the fine-grained entropy of the entire collected radiation, not the coarse-grained thermodynamic entropy of a gas of photons or gravitons.

A useful slogan is:

GSL: coarse/semi-classical outside entropy plus area does not decrease,\text{GSL: coarse/semi-classical outside entropy plus area does not decrease,}

while

Page curve: fine-grained radiation entropy must return to zero.\text{Page curve: fine-grained radiation entropy must return to zero.}

Both statements can be true in a unitary theory of gravity.

Pitfall 1: “The Page curve is the entropy of each Hawking quantum.”

No. It is the entropy of the entire collected radiation region R(t)R(t). Individual late quanta can still look locally thermal.

Pitfall 2: “A thermal spectrum contradicts the Page curve.”

No. A state can have nearly thermal low-point observables while containing fine-grained correlations. The Page curve concerns the exact density matrix of all the radiation.

Pitfall 3: “The Page theorem proves black holes are random matrices.”

No. The theorem is a typicality result. It gives a robust expectation for generic unitary evaporation, not a microscopic model of black hole dynamics.

Pitfall 4: “The Page time is when the black hole is Planckian.”

No. For a large initial black hole, the Page time is of order the evaporation time but occurs while the remaining black hole is still large.

Pitfall 5: “The Page curve says information comes out smoothly from the beginning.”

Not in the usual typicality estimate. Early radiation is almost maximally mixed and carries very little recoverable information about the initial state. Information becomes accessible only after the Page time, and decoding it can be computationally hard.

Pitfall 6: “The Page curve by itself explains the interior.”

No. The Page curve constrains entropy. Interior reconstruction requires additional ideas: entanglement wedges, quantum error correction, modular flow, islands, and possibly state-dependent or algebraic structures.

Exercise 1. Schmidt decomposition and equal entropies

Section titled “Exercise 1. Schmidt decomposition and equal entropies”

Let

Ψ=i=1χpiiAiB|\Psi\rangle=\sum_{i=1}^{\chi}\sqrt{p_i}\,|i\rangle_A|i\rangle_B

be a Schmidt decomposition. Show that

S(A)=S(B).S(A)=S(B).
Solution

Tracing over BB gives

ρA=ipiiAi.\rho_A=\sum_i p_i |i\rangle_A\langle i|.

Tracing over AA gives

ρB=ipiiBi.\rho_B=\sum_i p_i |i\rangle_B\langle i|.

The two reduced density matrices have the same nonzero eigenvalues pip_i. Therefore

S(A)=ipilogpi=S(B).S(A)=-\sum_i p_i\log p_i=S(B).

Exercise 2. The Page-theorem approximation

Section titled “Exercise 2. The Page-theorem approximation”

For mnm\leq n, Page’s formula is

ESA=HmnHnm12n.\mathbb E\,S_A=H_{mn}-H_n-{m-1\over 2n}.

Using

HN=logN+γ+12N+O(N2),H_N=\log N+\gamma+{1\over 2N}+O(N^{-2}),

show that for 1mn1\ll m\leq n,

ESA=logmm2n+O(1mn).\mathbb E\,S_A=\log m-{m\over 2n}+O\left({1\over mn}\right).
Solution

Use the asymptotic expansion

Hmn=log(mn)+γ+12mn+O((mn)2),H_{mn}=\log(mn)+\gamma+{1\over 2mn}+O((mn)^{-2}),

and

Hn=logn+γ+12n+O(n2).H_n=\log n+\gamma+{1\over 2n}+O(n^{-2}).

Then

HmnHn=logm+12mn12n+O(n2).H_{mn}-H_n =\log m+{1\over 2mn}-{1\over 2n}+O(n^{-2}).

Subtracting the Page correction gives

ESA=logm+12mn12nm12n+O(n2).\mathbb E\,S_A =\log m+{1\over 2mn}-{1\over 2n}-{m-1\over 2n}+O(n^{-2}).

The two terms proportional to 1/(2n)1/(2n) combine as

12nm12n=m2n.-{1\over 2n}-{m-1\over 2n}=-{m\over 2n}.

Thus

ESA=logmm2n+12mn+O(n2).\mathbb E\,S_A =\log m-{m\over 2n}+{1\over 2mn}+O(n^{-2}).

For the regime 1mn1\ll m\leq n, this is usually written as

ESA=logmm2n+O(1mn),\mathbb E\,S_A=\log m-{m\over 2n}+O\left({1\over mn}\right),

with the precise subleading bookkeeping depending on how mm and nn are taken large.

Exercise 3. Deriving the min rule from typicality

Section titled “Exercise 3. Deriving the min rule from typicality”

Assume the radiation and remaining black hole are described by a typical pure state in

HRHB,\mathcal H_R\otimes\mathcal H_B,

with effective dimensions

logdR=Sradcoarse(t),logdB=SBH(t).\log d_R=S_{\rm rad}^{\rm coarse}(t), \qquad \log d_B=S_{\rm BH}(t).

Use Page’s theorem to justify

Sfine(R)min(Sradcoarse,SBH).S_{\rm fine}(R)\simeq \min\left(S_{\rm rad}^{\rm coarse},S_{\rm BH}\right).
Solution

If dRdBd_R\leq d_B, Page’s theorem says that the smaller subsystem RR is almost maximally mixed:

S(R)logdR=Sradcoarse.S(R)\simeq \log d_R=S_{\rm rad}^{\rm coarse}.

If dBdRd_B\leq d_R, then the smaller subsystem is BB. Since the total state is pure,

S(R)=S(B).S(R)=S(B).

Page’s theorem applied to BB gives

S(B)logdB=SBH.S(B)\simeq \log d_B=S_{\rm BH}.

Combining the two regimes gives

S(R)min(logdR,logdB)=min(Sradcoarse,SBH).S(R)\simeq \min(\log d_R,\log d_B) =\min\left(S_{\rm rad}^{\rm coarse},S_{\rm BH}\right).

Exercise 4. Page time in a reversible Schwarzschild toy model

Section titled “Exercise 4. Page time in a reversible Schwarzschild toy model”

Suppose a four-dimensional Schwarzschild black hole has

SBH(M)=4πGNM2S_{\rm BH}(M)=4\pi G_NM^2

and evaporation law

dMdt=αGN2M2,{dM\over dt}=-{\alpha\over G_N^2M^2},

where α\alpha is a positive constant. In the toy model

Sradcoarse=SBH(M0)SBH(M),S_{\rm rad}^{\rm coarse}=S_{\rm BH}(M_0)-S_{\rm BH}(M),

find M(tPage)/M0M(t_{\rm Page})/M_0 and tPage/tevapt_{\rm Page}/t_{\rm evap}.

Solution

The Page time is defined by

Sradcoarse=SBH(M).S_{\rm rad}^{\rm coarse}=S_{\rm BH}(M).

Using the toy model,

SBH(M0)SBH(M)=SBH(M),S_{\rm BH}(M_0)-S_{\rm BH}(M)=S_{\rm BH}(M),

so

SBH(M)=12SBH(M0).S_{\rm BH}(M)={1\over 2}S_{\rm BH}(M_0).

Since SBHM2S_{\rm BH}\propto M^2,

M(tPage)M0=12.{M(t_{\rm Page})\over M_0}={1\over \sqrt 2}.

Now integrate the evaporation law:

M2dM=αGN2dt.M^2dM=-{\alpha\over G_N^2}dt.

The time to evaporate from M0M_0 to MM is

t(M)=GN23α(M03M3).t(M)={G_N^2\over 3\alpha}\left(M_0^3-M^3\right).

The total evaporation time is

tevap=GN2M033α.t_{\rm evap}={G_N^2M_0^3\over 3\alpha}.

Therefore

tPagetevap=1(M(tPage)M0)3=1123/2.{t_{\rm Page}\over t_{\rm evap}} =1-\left({M(t_{\rm Page})\over M_0}\right)^3 =1-{1\over 2^{3/2}}.

Numerically this is approximately 0.650.65.

Exercise 5. Entropy can decrease when a subsystem is added

Section titled “Exercise 5. Entropy can decrease when a subsystem is added”

Give a simple example in which adding a subsystem decreases the entropy:

S(RL)<S(R).S(RL)<S(R).

Explain why this is relevant to the late Page curve.

Solution

Let RR be one qubit of a Bell pair and LL be the other. Before adding LL, the reduced state of RR is maximally mixed:

ρR=12I,\rho_R={1\over 2}I,

so

S(R)=log2.S(R)=\log 2.

The joint state is pure:

Φ+RL=12(00+11),|\Phi^+\rangle_{RL}={1\over \sqrt2}(|00\rangle+|11\rangle),

so

S(RL)=0.S(RL)=0.

Thus

S(RL)<S(R).S(RL)<S(R).

For an old black hole, the newly emitted late radiation can play the role of LL: it can purify part of the previously emitted radiation. This is how the entropy of the collected radiation can decrease after the Page time.

Let QQ be a reference system entangled with the matter that formed the black hole. Why does unitarity imply that QQ must eventually be purified by the Hawking radiation?

Solution

The reference system QQ does not interact with the black hole. It is introduced so that the initial black hole-forming matter can be regarded as part of a larger pure state. If the black hole evaporates completely and the dynamics is unitary, the final degrees of freedom, apart from QQ, are the Hawking radiation RfinalR_{\rm final}.

Since unitary evolution preserves purity of the total state, the final state on

QRfinalQ\otimes R_{\rm final}

must be pure. Therefore

S(QRfinal)=0S(QR_{\rm final})=0

and

S(Q)=S(Rfinal).S(Q)=S(R_{\rm final}).

The information initially correlated with QQ must be encoded in correlations within the final radiation. If the radiation remained in the mixed state predicted by the naive Hawking curve, this purification would fail.

  • D. N. Page, “Average Entropy of a Subsystem,” Physical Review Letters 71 (1993), 1291–1294. arXiv:gr-qc/9305007.
  • D. N. Page, “Information in Black Hole Radiation,” Physical Review Letters 71 (1993), 3743–3746. arXiv:hep-th/9306083.
  • S. K. Foong and S. Kanno, “Proof of Page’s Conjecture on the Average Entropy of a Subsystem,” Physical Review Letters 72 (1994), 1148–1151. DOI: 10.1103/PhysRevLett.72.1148.
  • S. Sen, “Average Entropy of a Quantum Subsystem,” Physical Review Letters 77 (1996), 1–3. arXiv:hep-th/9601132.
  • J. Preskill, “Do Black Holes Destroy Information?” arXiv:hep-th/9209058.
  • S. D. Mathur, “The Information Paradox: A Pedagogical Introduction,” arXiv:0909.1038.
  • A. Almheiri, R. Mahajan, J. Maldacena, and Y. Zhao, “The Page Curve of Hawking Radiation from Semiclassical Geometry,” JHEP 03 (2020), 149. arXiv:1908.10996.
  • A. Almheiri, T. Hartman, J. Maldacena, E. Shaghoulian, and A. Tajdini, “The Entropy of Hawking Radiation,” Reviews of Modern Physics 93 (2021), 035002. arXiv:2006.06872.

The next page studies fast scrambling and Hayden-Preskill recovery. Page’s theorem tells us when information should begin to emerge. Hayden and Preskill explain why, for an old black hole, newly thrown-in information can return after only a scrambling time, provided one already has access to the early radiation.