research38 min studyLesson 830 in Physics

The information-loss paradox and the status of proposals

Formulate the tension among semiclassical radiation, complete evaporation, and unitarity, and assess what Page curves and island calculations actually establish.

On this page

What you’ll understand

  • Separate fine-grained radiation entropy from thermal coarse-grained entropy.
  • Compute a finite-dimensional Page estimate and a declared island-branch comparison.
  • State model, subsystem, and reconstruction qualifications on information-recovery claims.

The information problem is a tension among statements that are individually well motivated in different regimes. A pure collapsing state, semiclassical production of radiation entangled with an interior, complete evaporation without an independent remnant, and a literal persistent inside–outside factorization appear to yield mixed final radiation. Exact unitary evolution of a closed system instead preserves purity. Formulating the tension explicitly prevents a thermal spectrum from being mistaken for a proof of fundamental nonunitarity: simple approximately thermal observables can coexist with subtle correlations in a globally pure state.

A radiation entropy curve requires a subsystem

For a finite-dimensional pure state of radiation R and remaining system B, their reduced von Neumann entropies agree and are bounded by the logarithm of the smaller dimension. A Page estimate further assumes a state chosen typically with the Haar measure; it is not the entropy of every state or the output of any arbitrary evaporation dynamics. As the available radiation dimension grows and the remaining dimension shrinks, the typical entropy rises and eventually falls. This illustrates what unitary statistical behavior can look like.

The exact fine-grained entropy is distinct from a coarse entropy obtained by treating emitted modes as independent thermal quanta. Correlations invisible to a few simple measurements can change the former substantially. Likewise, an entropy curve does not supply individual amplitudes, a practical decoding procedure, or a complete evaporation S-matrix. These differences matter when interpreting a gravitational calculation that predicts a Page-shaped entropy but does not explicitly construct all the underlying microstates.

s(R)=s(B)≤ln⁡min⁡(dR,dB),⟨s(R)⟩Haar≃ln⁡m−m2n,m=min⁡(dR,dB), n=max⁡(dR,dB)s(R)=s(B)\leq\ln\min(d_R,d_B),\qquad \langle s(R)\rangle_{\mathrm{Haar}}\simeq\ln m-\frac{m}{2n},\qquad m=\min(d_R,d_B),\ n=\max(d_R,d_B)
s=S/kB uses natural logarithms and is measured in nats. The equality and bound hold for a pure state on a finite tensor product. The second expression is a leading large-dimension Haar-average approximation, not an exact formula for finite dimensions or a black-hole dynamics theorem.↔ Scroll wide equations horizontally.

Island calculations extremize before selecting a branch

Semiclassical gravitational entropy prescriptions associate candidate regions, including a possible interior island, with a generalized entropy. One first finds extrema with respect to the candidate boundary and then selects the least entropy among the admissible extrema, including the empty-island candidate. This ordering is physical: merely fitting two smooth functions and taking their lower envelope does not derive a gravitational entropy formula. A calculation must specify its action, state, boundary or radiation algebra, saddles, and approximation regime.

Controlled examples in holographic settings and evaporating dilaton-gravity models produce Page behavior through a change of dominant extremum or replica saddle. In two-dimensional gravity, the gravitational entropy uses the appropriate dilaton expression rather than a literal four-dimensional area. The transition sharpness belongs to the leading approximation; corrections can modify a sharp crossing. Even successful entropy calculations retain questions about analytic continuation, factorization or ensemble interpretations in particular models, reconstruction, and the evaporation endpoint.

s(R)=min⁡admissible extrema I[A(∂I)4ℓP2+sbulk(R∪I)],δ∂I[A(∂I)4ℓP2+sbulk(R∪I)]=0s(R)=\min_{\text{admissible extrema }I}\left[\frac{A(\partial I)}{4\ell_P^2}+s_{\mathrm{bulk}}(R\cup I)\right],\qquad \delta_{\partial I}\left[\frac{A(\partial I)}{4\ell_P^2}+s_{\mathrm{bulk}}(R\cup I)\right]=0
This is the leading Einstein-gravity island prescription where applicable, with consistently renormalized terms, suitable homology and boundary conditions, and the empty-island candidate included. A(∂I) is the gravitational boundary area. Other actions, including dilaton gravity, require their corresponding gravitational entropy functional.↔ Scroll wide equations horizontally.

Current extensions need their own qualifications

The scope of island proposals extends beyond models with a nongravitating external bath. Antonini, Chen, Maxfield, and Penington's 2025 primary analysis argues for their compatibility with massless gravity and asymptotically flat radiation, while emphasizing the chosen observable algebra. A radiation algebra restricted to suitable outgoing radiative observables is different from one enlarged to include the ADM energy, which can generate time translations and alter the question being asked. An entropy independent of a retarded-time cut for the enlarged algebra need not refute a Page curve for the restricted one.

These are arguments with specified gravitational dressing, observables, and reconstruction assumptions, rather than a universal experimental demonstration of information recovery. Many-copy tomography or highly complex operations can probe information unavailable to simple semiclassical observables, but that does not provide an efficient decoder for a real astrophysical hole. A responsible status statement identifies which model gives a controlled entropy result, which algebra defines radiation, and which microscopic claims remain unsupported. A Page curve is strong evidence within its stated framework, while the detailed final state and endpoint still demand more physics.

Evaluate a typical-state Page estimate

Use only the leading Haar-average approximation above for a pure bipartite system of fixed total dimension 1024. Compare dimension pairs (dR,dB)=(16,64), (32,32), and (64,16). Use ln 2≈0.693147. Compute approximate radiation entropies and explain the symmetry.

  1. For (16,64), m=16 and n=64. The estimate is 4ln⁡2−16/(2⋅64)≃2.647594\ln2-16/(2\cdot64)\simeq2.64759 nats, below the bound ln16.

  2. For (32,32), the estimate is 5ln⁡2−32/(2⋅32)≃2.965745\ln2-32/(2\cdot32)\simeq2.96574 nats. The larger value illustrates the middle of the typical-state curve.

  3. For (64,16), m and n again equal 16 and 64, giving 2.64759 nats. Equality of the two reduced entropies in a pure state makes the estimate symmetric under exchanging the two dimensions.

The result

The leading estimates are 2.64759, 2.96574, and 2.64759 nats; they illustrate typical statistical behavior and do not specify an actual evaporation trajectory.

Explore the model

Interactive lab

Interactive lab · quantum

Identical populations can conceal different phase information

For each fresh comparison, Reset and set BOTH Mixing angle θ=90° and Relative phase φ. Compare φ=0° and φ=90° while paused. Predict equal basis probabilities 0.50 in both cases but Bloch vectors (1,0,0) and (0,1,0), up to rounding. The pure one-qubit model illustrates phase information missing from one population measurement; it has no mixed radiation density matrix, entangled interior, entropy curve, gravitational island, or decoder.

Identical populations can conceal different phase informationA normalized two-level pure state, not an interacting field simulation. Playback adds one radian per second to the relative phase; basis probabilities stay fixed. Current readings: Probability |0⟩: 71.1%; Probability |1⟩: 28.9%; Bloch (x, y, z): 0.78, 0.45, 0.42. All parameters are adjustable with the labeled controls below.xyz|0⟩|1⟩Basis probabilitiesP(0)71.1%P(1)28.9%
Bloch vector / P(0)P(1)Phase latitude
Probability |0⟩
71.1%
Probability |1⟩
28.9%
Bloch (x, y, z)
0.78, 0.45, 0.42
t = 0 s

A normalized two-level pure state, not an interacting field simulation. Playback adds one radian per second to the relative phase; basis probabilities stay fixed. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forAgreement of a restricted set of observables does not identify the complete quantum state.

Check your understanding

What does reproducing a Page-shaped radiation entropy establish by itself?

Try it yourself

Suppose a declared toy calculation has already produced two admissible extremized candidates: sempty(t)=0.2t and sisland(t)=10−0.1t for 0≤t≤50. Use the lower candidate as the leading entropy. Find the crossing time and entropy, then evaluate the chosen branch at t=20 and t=40. Does the crossing itself derive an island formula?

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

The extremization is explicitly assumed completed. Equate the candidate values before comparing them on either side of the crossing.

Compare with the solution

The crossing solves 0.3t=10, so t∗=100/3t_*=100/3 and s∗=20/3s_*=20/3. At t=20, the values are 4 and 8, so the empty candidate gives s=4. At t=40, they are 8 and 6, so the island candidate gives s=6. The lower envelope rises then falls in this interval. The elementary crossing does not derive either gravitational candidate or validate its saddles; those were supplied as toy assumptions. A kink in this leading branch approximation also need not be an exact nonanalyticity of a finite quantum system.

Take it with you

  • The information tension concerns purity, subsystem structure, semiclassical correlations, and endpoint assumptions together.
  • Page estimates and island prescriptions have different inputs and neither is an arbitrary smooth fit.
  • Current information-recovery claims require model, algebra, and reconstruction qualifications beyond an entropy curve.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.