Skip to content

Hawking Radiation and Information Loss

The previous page explained why a black hole has entropy

SBH=A4GNS_{\rm BH}={A\over 4G_N\hbar}

and temperature

TH=κ2πkBc.T_H={\hbar\kappa\over 2\pi k_B c}.

This page explains why that temperature is not merely a thermodynamic bookkeeping device. Quantum fields on a collapsing black hole spacetime produce an outgoing flux at future null infinity. For a Schwarzschild black hole in units =c=kB=1\hbar=c=k_B=1,

TH=18πGNM.T_H={1\over 8\pi G_NM}.

The shock is not just that black holes radiate. The shock is that the same semiclassical calculation appears to turn an initially pure quantum state into a final mixed density matrix. That is Hawking’s original information-loss paradox.

How can a calculation performed in a low-curvature region outside a large black hole imply a breakdown of unitary quantum mechanics?

The answer has two parts. First, the near-horizon redshift converts short-distance vacuum fluctuations into a thermal flux at infinity. Second, the outgoing Hawking modes are entangled with partner modes that fall behind the horizon. If the black hole evaporates completely and nothing remains to purify the radiation, the final radiation state is mixed.

Penrose diagram of collapse and Hawking radiation

A schematic collapse geometry. Hawking quanta are detected at I+\mathcal I^+, while their partner modes lie behind the horizon. The paradox is sharpest when semiclassical evolution is trusted until the black hole disappears and no remnant, baby universe, or final interior region is left to purify the radiation.

Hawking’s calculation uses quantum field theory on a classical curved spacetime. The metric is treated as a background, while matter fields are quantized. Backreaction is first ignored and then included adiabatically by allowing the black hole mass to decrease slowly.

The relevant approximation is excellent for a macroscopic black hole because the curvature near the horizon is small. For a four-dimensional Schwarzschild black hole,

Rcurv21GN2M2,R_{\rm curv}^{-2}\sim {1\over G_N^2M^2},

so for MMPlM\gg M_{\rm Pl} the horizon region is locally gentle. This is precisely why the result is disturbing: the argument does not seem to require Planckian curvature at the horizon.

A quantum field may be expanded in two different complete bases of modes. Near past null infinity I\mathcal I^- one has an “in” expansion

ϕ=i(aiinuiin+aiinuiin),\phi=\sum_i\left(a_i^{\rm in}u_i^{\rm in}+a_i^{{\rm in}\,\dagger}u_i^{{\rm in}\,*}\right),

while near future null infinity I+\mathcal I^+ one has an “out” expansion

ϕ=j(ajoutujout+ajoutujout).\phi=\sum_j\left(a_j^{\rm out}u_j^{\rm out}+a_j^{{\rm out}\,\dagger}u_j^{{\rm out}\,*}\right).

The two bases are related by a Bogoliubov transformation,

ujout=i(αjiuiin+βjiuiin),u_j^{\rm out}=\sum_i\left(\alpha_{ji}u_i^{\rm in}+\beta_{ji}u_i^{{\rm in}\,*}\right),

or equivalently

ajout=i(αjiaiinβjiaiin).a_j^{\rm out}=\sum_i\left(\alpha_{ji}^*a_i^{\rm in}-\beta_{ji}^*a_i^{{\rm in}\,\dagger}\right).

If β0\beta\neq0, the in-vacuum is not the out-vacuum. The expected number of out-particles in the in-vacuum is

0inNjout0in=iβji2.\langle 0_{\rm in}|N_j^{\rm out}|0_{\rm in}\rangle =\sum_i |\beta_{ji}|^2.

Thus particle creation is not caused by a local machine sitting at the horizon. It is a statement about the mismatch between positive-frequency modes in the asymptotic past and positive-frequency modes in the asymptotic future.

The thermal character of Hawking radiation comes from the universal near-horizon relation between past and future null coordinates. Let

u=tr,v=t+r,u=t-r_*, \qquad v=t+r_*,

where rr_* is the tortoise coordinate. For Schwarzschild,

r=r+2GNMlogr2GNM1.r_*=r+2G_NM\log\left|{r\over 2G_NM}-1\right|.

Outgoing rays that barely escape from the forming black hole experience an enormous redshift. Near the last ray that escapes before horizon formation, the relation between the retarded time uu at I+\mathcal I^+ and an advanced coordinate vv at I\mathcal I^- has the form

u1κlog(v0vC),u \simeq -{1\over \kappa}\log\left({v_0-v\over C}\right),

where v0v_0 labels the would-be horizon and CC depends on collapse details. Equivalently,

v0vCeκu.v_0-v\simeq C e^{-\kappa u}.

This exponential is the heart of the calculation. A late-time outgoing mode behaves near I+\mathcal I^+ like

eiωu.e^{-i\omega u}.

When traced backward through the collapsing geometry, it becomes roughly

eiωu(v0v)iω/κ.e^{-i\omega u} \sim (v_0-v)^{i\omega/\kappa}.

Because this function is not purely positive-frequency with respect to vv, it has both positive- and negative-frequency components on I\mathcal I^-. Analytic continuation gives the ratio

βωαω=eπω/κ.\left|{\beta_\omega\over \alpha_\omega}\right|=e^{-\pi\omega/\kappa}.

Using the Bogoliubov normalization condition then yields the Planck distribution

Nω=1e2πω/κ1=1eβHω1,\langle N_\omega\rangle={1\over e^{2\pi\omega/\kappa}-1} ={1\over e^{\beta_H\omega}-1},

with

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

For a rotating or charged black hole, the same logic gives a thermal distribution with chemical potentials. For a Kerr-Newman black hole, schematically,

Nωmq=Γωmqexp[βH(ωmΩHqΦH)]1,\langle N_{\omega m q}\rangle ={\Gamma_{\omega m q}\over \exp\left[\beta_H(\omega-m\Omega_H-q\Phi_H)\right]-1},

for bosonic modes, where Γωmq\Gamma_{\omega m q} is a greybody factor. The greybody factor encodes scattering through the gravitational potential outside the horizon. It modifies the spectrum seen at infinity but not the local Hawking temperature.

Different quantum states of a field on a black hole background describe different physical situations.

The Boulware state is empty at infinity but singular on the horizon. It is not the state formed by regular gravitational collapse.

The Hartle-Hawking state describes a black hole in thermal equilibrium with a bath of incoming and outgoing radiation. It is natural for an eternal black hole in a reflecting box, or in Euclidean thermal methods.

The Unruh state describes collapse. It has no incoming thermal bath from I\mathcal I^-, is regular on the future horizon, and contains outgoing Hawking radiation at I+\mathcal I^+.

The information paradox concerns the Unruh state and its backreacted version: a black hole forms from collapse, radiates, loses mass, and eventually disappears if no stable remnant remains.

The pair-production picture is a mnemonic, but a useful one. Locally near a smooth horizon, the state looks like the Minkowski vacuum written in Rindler-like modes. For each frequency, the state has the form of a two-mode squeezed state,

ψω=1eβHωn=0enβHω/2nBnA.|\psi_\omega\rangle =\sqrt{1-e^{-\beta_H\omega}} \sum_{n=0}^{\infty}e^{-n\beta_H\omega/2}|n\rangle_B|n\rangle_A.

Here BB denotes the outgoing exterior mode and AA denotes its interior partner. Tracing over the interior partner gives

ρB=TrAψωψω=(1eβHω)n=0enβHωnBn.\rho_B =\operatorname{Tr}_A |\psi_\omega\rangle\langle\psi_\omega| =(1-e^{-\beta_H\omega}) \sum_{n=0}^{\infty}e^{-n\beta_H\omega}|n\rangle_B\langle n|.

This is a thermal density matrix.

Near-horizon pair modes and the thermal reduced density matrix

The outgoing mode BB is entangled with an interior partner AA. The exterior observer who has access only to BB sees a thermal density matrix. The information problem arises when this pair entanglement is repeatedly produced during evaporation while the black hole’s remaining entropy decreases.

For a single bosonic oscillator with

q=eβHω,q=e^{-\beta_H\omega},

the occupation probability is

pn=(1q)qn,p_n=(1-q)q^n,

and the mean occupation number is

nˉ=q1q=1eβHω1.\bar n={q\over 1-q}={1\over e^{\beta_H\omega}-1}.

The entropy of the outgoing mode is

S(B)=(nˉ+1)log(nˉ+1)nˉlognˉ.S(B)=(\bar n+1)\log(\bar n+1)-\bar n\log \bar n.

The global two-mode state ψω|\psi_\omega\rangle is pure, but the outside mode alone is mixed. This is the local origin of the paradox.

The thermal spectrum implies an energy flux. In four dimensions, the exact luminosity is not the Stefan-Boltzmann formula for a perfect black body because greybody factors and spin dependence matter. Parametrically, however, one may estimate

PATH4.P\sim A T_H^4.

For Schwarzschild,

AGN2M2,TH1GNM,A\sim G_N^2M^2, \qquad T_H\sim {1\over G_NM},

so

P1GN2M2.P\sim {1\over G_N^2M^2}.

Thus

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

and the evaporation time scales as

tevapGN2M03t_{\rm evap}\sim G_N^2M_0^3

in units =c=1\hbar=c=1. Restoring constants,

tevapGN2M03c4,t_{\rm evap}\sim {G_N^2M_0^3\over \hbar c^4},

up to a numerical coefficient and species-dependent factors.

Two lessons matter for information. First, the evaporation time is enormous for a macroscopic black hole, so the process is adiabatic for most of its life. Second, the Bekenstein-Hawking entropy decreases as

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

If the black hole is a finite quantum system with roughly eSBHe^{S_{\rm BH}} internal states, then as MM decreases it has fewer states available to purify the radiation.

From thermal radiation to information loss

Section titled “From thermal radiation to information loss”

Thermal radiation alone is not a paradox. A hot piece of coal emits radiation that looks approximately thermal in low-point observables, but the exact radiation state is pure if the coal and radiation are treated as a closed quantum system. The detailed correlations in the radiation encode the initial state.

The black hole problem is stronger. In Hawking’s semiclassical calculation, the outgoing mode is purified by an interior partner, not by earlier radiation. After many emissions, the radiation state is entangled with modes behind the horizon. Schematically,

Ψi=1N(0Bi0Ai+1Bi1Ai2),|\Psi\rangle \sim \bigotimes_{i=1}^N \left({|0\rangle_{B_i}|0\rangle_{A_i}+|1\rangle_{B_i}|1\rangle_{A_i}\over \sqrt 2}\right),

where BiB_i are outgoing modes and AiA_i are interior partners. The radiation density matrix is obtained by tracing over the interior:

ρR=TrA1ANΨΨ.\rho_R=\operatorname{Tr}_{A_1\cdots A_N}|\Psi\rangle\langle\Psi|.

Its entropy grows roughly by one bit per emitted pair in this simplified model:

S(R)Nlog2.S(R)\simeq N\log 2.

If the black hole eventually disappears, there is no interior system left to trace over. The semiclassical story then seems to imply

ΨinΨinρrad,|\Psi_{\rm in}\rangle\langle\Psi_{\rm in}| \longrightarrow \rho_{\rm rad},

where ρrad\rho_{\rm rad} is mixed. Such a map is not unitary evolution of a closed quantum system.

Logical structure of the information-loss argument

The paradox is not one assumption but a conflict among several plausible assumptions: regular horizons, local semiclassical effective field theory, complete evaporation without remnants, finite black hole entropy, and unitary quantum mechanics. Different proposed resolutions modify different parts of this diagram.

Let RnR_n be the radiation after nn emission steps, and let Bn+1B_{n+1} be the next outgoing Hawking mode. In the leading semiclassical picture, Bn+1B_{n+1} is strongly entangled with a new interior partner An+1A_{n+1} and approximately uncorrelated with RnR_n. Hence

S(Rn+1)=S(RnBn+1)S(Rn)+S(Bn+1).S(R_{n+1})=S(R_nB_{n+1}) \approx S(R_n)+S(B_{n+1}).

The radiation entropy increases monotonically.

This is not merely an artifact of using an exactly thermal approximation. Mathur’s small-corrections theorem makes the point precise in a simplified setting. If each Hawking pair differs from the leading entangled pair state by a correction of norm at most ϵ\epsilon, then the radiation entropy still increases by approximately the leading amount:

ΔS(R)log2O(ϵ).\Delta S(R)\gtrsim \log 2-O(\epsilon).

The exact numerical bound depends on the setup, but the lesson is robust: small corrections to each pair cannot by themselves produce the Page curve. To make the radiation entropy turn over, the late outgoing radiation must be correlated with the early radiation at order one in the appropriate fine-grained sense.

This is one of the clearest ways to state the paradox. The problem is not that Hawking’s spectrum is exactly thermal. The problem is that local semiclassical evolution near a smooth horizon makes the purifier of each outgoing quantum lie behind the horizon, while unitarity after the Page time requires the purifier to lie in the previously emitted radiation.

The information-loss argument is powerful because every assumption sounds reasonable in its own domain.

1. Semiclassical gravity is valid outside and near the horizon of a large black hole.

The curvature at the horizon is small for MMPlM\gg M_{\rm Pl}. Effective field theory should therefore work locally, at least for ordinary low-energy observers.

2. The horizon is regular.

An infalling observer should see no violent Planck-scale structure at the horizon of a large black hole. In local inertial coordinates, the state should resemble the vacuum.

3. Locality holds in the semiclassical geometry.

The outgoing Hawking mode just outside the horizon cannot be strongly influenced by distant early radiation without a nonlocal effect from the bulk viewpoint.

4. The black hole evaporates completely.

If no stable remnant, baby universe, or final singular interior remains, then the final state accessible at infinity is the radiation state.

5. Quantum mechanics is unitary.

A closed quantum system should evolve by

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

In particular, a pure state should remain pure.

The paradox says that these assumptions cannot all be true.

Several tempting replies miss the core issue.

“The radiation is only approximately thermal.”

Approximate thermality of low-point observables is not the problem. Ordinary systems can emit approximately thermal radiation while preserving information in subtle correlations. The issue is that the leading semiclassical geometry assigns the purifier of the outgoing radiation to the interior, and small local corrections do not change the entropy balance enough.

“The information comes out at the final Planckian stage.”

By the time the black hole reaches Planck size, it must purify a radiation system whose entropy can be of order the initial SBHS_{\rm BH}. A Planckian object has too few ordinary states to do this unless one postulates a remnant with an enormous internal degeneracy. Such remnants raise serious problems, including uncontrolled pair production and a tension with the finite entropy suggested by SBHS_{\rm BH}.

“Backreaction changes the geometry.”

Backreaction certainly matters for the mass loss. But for most of the lifetime of a large black hole, the change is slow. Adiabatic mass loss does not by itself create the order-one correlations required after the Page time.

“Greybody factors make the spectrum nonthermal.”

Greybody factors change the frequency and angular distribution of the flux at infinity. They do not remove the near-horizon entanglement structure responsible for the entropy growth.

“Quantum gravity becomes important near the singularity.”

It probably does. But in the semiclassical picture, the outgoing Hawking quanta are produced in a region of low curvature long before they can know what happens at the singularity. A resolution that relies only on the singularity must explain how it influences exterior radiation without violating the semiclassical assumptions.

Tracing a late Hawking quantum backward in time gives an exponentially blueshifted precursor near I\mathcal I^-. This is the trans-Planckian problem. It warns us that Hawking’s derivation assumes ordinary quantum field theory at arbitrarily short wavelengths.

However, the existence of this issue does not automatically invalidate Hawking radiation. Many derivations show that the thermal factor is robust under broad modifications of short-distance dispersion, provided the horizon is regular and the state is locally vacuum-like. The deeper information problem is therefore not simply “Hawking used arbitrarily high frequencies.” It is the combination of a regular horizon, local effective field theory, and complete evaporation.

In modern language, the paradox is an infrared consequence of ultraviolet assumptions. It is detected in the fine-grained entropy of radiation collected far away, but it is forced by the local entanglement structure near the horizon.

It is useful to distinguish three density matrices.

First, the global density matrix on a complete Cauchy slice before complete evaporation is pure:

ρglobal=ΨΨ.\rho_{\rm global}=|\Psi\rangle\langle\Psi|.

Second, the exterior radiation density matrix is mixed because interior partners are not included:

ρR=Trinteriorρglobal.\rho_R=\operatorname{Tr}_{\rm interior}\rho_{\rm global}.

Third, if the black hole evaporates completely in the semiclassical picture, the final density matrix is identified with ρR\rho_R itself. That is the pure-to-mixed step.

This distinction matters. There is no contradiction in saying that a subregion density matrix is mixed. Every entangled pure state has mixed reduced density matrices. The contradiction appears only when the mixed reduced density matrix becomes the final state of the whole universe.

The generalized second law says that

Sgen=A4GN+SoutsideS_{\rm gen}={A\over 4G_N\hbar}+S_{\rm outside}

should not decrease in ordinary semiclassical processes. Hawking evaporation is consistent with this statement: the area term decreases while entropy appears outside the black hole.

But the information paradox is about the fine-grained entropy of the collected radiation. Hawking’s calculation predicts that this entropy increases monotonically. Unitary evaporation predicts that it eventually decreases, because after the Page time the remaining black hole has too few states to purify the radiation.

Thus the generalized second law and the Page curve are not the same statement. The generalized second law is a semiclassical entropy law for horizons. The Page curve is a fine-grained unitarity diagnostic for the radiation.

The original information-loss argument is not obsolete. Modern islands, quantum extremal surfaces, and replica wormholes are best understood as precise responses to it.

Hawking taught us that a smooth semiclassical horizon naturally produces entangled radiation. Page taught us that a finite unitary black hole must eventually produce radiation whose entropy decreases. Holographic entropy and islands teach us that the semiclassical calculation of radiation entropy was missing a new saddle for the entropy functional, not necessarily a large local violation of effective field theory at the horizon.

That last sentence is subtle. The island formula does not say Hawking radiation was never emitted. It says that the fine-grained entropy of a radiation region is not computed by the naive no-island saddle after the Page time. The Hawking calculation remains correct for many local observables while failing for the nonlocal entropy question that diagnoses unitarity.

Pitfall 1: “Hawking radiation comes from particles popping out of the horizon.”

The particle-pair picture is a mnemonic. The actual calculation is a Bogoliubov transformation between in-modes and out-modes in a time-dependent curved geometry. The horizon and its exponential redshift are essential, but the radiation is not produced by a little local furnace exactly on the horizon.

Pitfall 2: “A thermal spectrum automatically means information loss.”

No. Approximate thermality of a spectrum is compatible with unitarity. The paradox concerns fine-grained entropy and purification, not just the one-particle spectrum.

Pitfall 3: “The paradox only appears at the final Planckian stage.”

The entropy problem appears already at the Page time, when the black hole can still be macroscopic. The tension is not confined to the final burst.

Pitfall 4: “Greybody factors solve the problem.”

Greybody factors make the spectrum at infinity non-perfectly-blackbody. They do not change the fact that the outgoing modes are purified by interior partners in the leading semiclassical state.

Pitfall 5: “The global state is mixed at all intermediate times.”

On a complete Cauchy slice before the end of evaporation, the global state in semiclassical QFT can be pure. The mixed state appears after tracing over inaccessible interior modes. The paradox arises when the interior disappears and the mixed reduced density matrix is interpreted as the final state.

Exercise 1. Thermal density matrix from a two-mode squeezed state

Section titled “Exercise 1. Thermal density matrix from a two-mode squeezed state”

Consider

ψ=1qn=0qn/2nBnA,0<q<1.|\psi\rangle=\sqrt{1-q}\sum_{n=0}^{\infty}q^{n/2}|n\rangle_B|n\rangle_A, \qquad 0<q<1.

Compute ρB=TrAψψ\rho_B=\operatorname{Tr}_A|\psi\rangle\langle\psi| and show that it is thermal when q=eβωq=e^{-\beta\omega}.

Solution

The density matrix is

ψψ=(1q)m,n=0q(m+n)/2nBnABmAm.|\psi\rangle\langle\psi| =(1-q)\sum_{m,n=0}^{\infty}q^{(m+n)/2} |n\rangle_B|n\rangle_A {}_B\langle m|{}_A\langle m|.

Tracing over AA gives

ρB=(1q)m,n=0q(m+n)/2nBBmAmnA.\rho_B =(1-q)\sum_{m,n=0}^{\infty}q^{(m+n)/2} |n\rangle_B{}_B\langle m|\,{}_A\langle m|n\rangle_A.

Since AmnA=δmn{}_A\langle m|n\rangle_A=\delta_{mn},

ρB=(1q)n=0qnnBBn.\rho_B=(1-q)\sum_{n=0}^{\infty}q^n |n\rangle_B{}_B\langle n|.

If q=eβωq=e^{-\beta\omega}, this is

ρB=1Zn=0eβωnnBBn,\rho_B={1\over Z}\sum_{n=0}^{\infty}e^{-\beta\omega n}|n\rangle_B{}_B\langle n|,

with

Z=11eβω.Z={1\over 1-e^{-\beta\omega}}.

This is precisely the thermal density matrix of a harmonic oscillator mode of frequency ω\omega.

Using the density matrix from Exercise 1, compute

nˉ=Tr(ρBNB).\bar n=\operatorname{Tr}(\rho_B N_B).
Solution

We have

nˉ=(1q)n=0nqn.\bar n=(1-q)\sum_{n=0}^{\infty}nq^n.

Using

n=0qn=11q\sum_{n=0}^{\infty}q^n={1\over 1-q}

and differentiating with respect to qq,

n=0nqn1=1(1q)2,\sum_{n=0}^{\infty}nq^{n-1}={1\over (1-q)^2},

so

n=0nqn=q(1q)2.\sum_{n=0}^{\infty}nq^n={q\over (1-q)^2}.

Therefore

nˉ=q1q.\bar n={q\over 1-q}.

For q=eβωq=e^{-\beta\omega},

nˉ=1eβω1,\bar n={1\over e^{\beta\omega}-1},

which is the Bose-Einstein distribution.

Exercise 3. Exponential redshift and temperature

Section titled “Exercise 3. Exponential redshift and temperature”

Suppose outgoing rays satisfy

v0v=Ceκu.v_0-v=Ce^{-\kappa u}.

Explain why this exponential relation leads to a thermal factor involving e2πω/κe^{-2\pi\omega/\kappa}.

Solution

An outgoing positive-frequency mode at future null infinity behaves as

eiωu.e^{-i\omega u}.

Using

u=1κlog(v0vC),u=-{1\over\kappa}\log\left({v_0-v\over C}\right),

this becomes

eiωu=(v0vC)iω/κ.e^{-i\omega u} =\left({v_0-v\over C}\right)^{i\omega/\kappa}.

As a function of the past null coordinate vv, this has a branch point at v=v0v=v_0. Defining positive- and negative-frequency parts requires analytic continuation around this branch point. The continuation across the cut produces a relative factor

eπω/κe^{-\pi\omega/\kappa}

between Bogoliubov coefficients, so

βωαω2=e2πω/κ.\left|{\beta_\omega\over \alpha_\omega}\right|^2=e^{-2\pi\omega/\kappa}.

Together with the normalization relation between α\alpha and β\beta, this gives

Nω=1e2πω/κ1.\langle N_\omega\rangle={1\over e^{2\pi\omega/\kappa}-1}.

Thus the inverse temperature is

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

Use the estimates

AGN2M2,TH1GNM,PATH4,A\sim G_N^2M^2, \qquad T_H\sim {1\over G_NM}, \qquad P\sim AT_H^4,

to show that tevapGN2M03t_{\rm evap}\sim G_N^2M_0^3 in units =c=1\hbar=c=1.

Solution

The power scales as

PATH4(GN2M2)(1GNM)4=1GN2M2.P\sim A T_H^4 \sim (G_N^2M^2)\left({1\over G_NM}\right)^4 ={1\over G_N^2M^2}.

Since power is energy loss per unit time,

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

Thus

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

Integrating from M0M_0 to 00 gives

M033tevapGN2,{M_0^3\over 3}\sim {t_{\rm evap}\over G_N^2},

so

tevapGN2M03,t_{\rm evap}\sim G_N^2M_0^3,

up to numerical constants and species-dependent factors.

Exercise 5. Why a mixed reduced state is not yet a paradox

Section titled “Exercise 5. Why a mixed reduced state is not yet a paradox”

Explain why the mixedness of ρR=Trinteriorρglobal\rho_R=\operatorname{Tr}_{\rm interior}\rho_{\rm global} at an intermediate time does not itself violate unitarity. Where exactly does the paradox enter?

Solution

In ordinary quantum mechanics, a subsystem of a pure entangled state has a mixed reduced density matrix. Thus there is no violation of unitarity if, on a complete Cauchy slice, the global state is pure but the exterior radiation state is mixed after tracing over interior degrees of freedom.

The paradox enters when the black hole is assumed to evaporate completely. If there is no remnant, baby universe, or remaining interior Hilbert space, the radiation becomes the entire final system. Hawking’s semiclassical calculation then appears to identify the final state with the mixed reduced density matrix ρR\rho_R. A closed system evolving from a pure state to a mixed state cannot be described by unitary evolution.

Exercise 6. Small corrections and entropy growth

Section titled “Exercise 6. Small corrections and entropy growth”

In the simplified pair model, suppose each emission step produces a state that differs only slightly from a maximally entangled Hawking pair. Why is this insufficient to make the radiation entropy decrease after the Page time?

Solution

If each outgoing mode is still almost purified by a new interior partner, then it is not strongly purified by the previously emitted radiation. The new mode therefore adds approximately its own entropy to the radiation system. Entropy inequalities make this intuition precise: small corrections to each pair can change the entropy increase only by a small amount per step.

To obtain a Page curve, the late outgoing radiation must be correlated with the early radiation strongly enough that adding a new emitted mode can reduce the radiation entropy. That requires an order-one change in the fine-grained entanglement structure relative to the naive Hawking pair state. It does not necessarily require an order-one change in every local low-energy observable, but it does require more than perturbatively small independent corrections to each pair.

  • S. W. Hawking, “Particle Creation by Black Holes,” Communications in Mathematical Physics 43 (1975), 199–220. Project Euclid.
  • S. W. Hawking, “Breakdown of Predictability in Gravitational Collapse,” Physical Review D 14 (1976), 2460–2473. DOI: 10.1103/PhysRevD.14.2460.
  • W. G. Unruh, “Notes on Black-Hole Evaporation,” Physical Review D 14 (1976), 870–892. DOI: 10.1103/PhysRevD.14.870.
  • N. D. Birrell and P. C. W. Davies, Quantum Fields in Curved Space, Cambridge University Press, 1982.
  • R. M. Wald, Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics, University of Chicago Press, 1994.
  • J. Preskill, “Do Black Holes Destroy Information?” arXiv:hep-th/9209058.
  • S. D. Mathur, “The Information Paradox: A Pedagogical Introduction,” arXiv:0909.1038.

The next page turns the information-loss argument into a quantitative diagnostic: the Page curve. We will distinguish coarse-grained thermodynamic entropy from fine-grained von Neumann entropy, prove the basic Page-theorem estimate, and see why unitary evaporation requires the radiation entropy to rise and then fall.