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
The question for today
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.
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.
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.
Work it through
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.
For (16,64), m=16 and n=64. The estimate is nats, below the bound ln16.
For (32,32), the estimate is nats. The larger value illustrates the middle of the typical-state curve.
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 leading estimates are 2.64759, 2.96574, and 2.64759 nats; they illustrate typical statistical behavior and do not specify an actual evaporation trajectory.
The living notebook
Explore the model
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.
- Probability |0⟩
- 71.1%
- Probability |1⟩
- 28.9%
- Bloch (x, y, z)
- 0.78, 0.45, 0.42
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.
Pause & reason
Check your understanding
Your turn
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 and . 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.
Keep the idea
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.
- Page: Average Entropy of a Subsystem (1993), PDF pp. 2–4 and 6–8 — pure bipartite entropy and the leading Haar-average estimate
- Penington: Entanglement Wedge Reconstruction and the Information Paradox, introduction and §§2.2–2.3 — holographic reconstruction and the Page transition
- Hartman, Shaghoulian, and Strominger: Islands in Asymptotically Flat 2D Gravity, §3.1–3.3, PDF pp. 14–20 — extremization, Page curve, and endpoint limitation
- Antonini, Chen, Maxfield, and Penington: An apologia for islands (2025), introduction and §§3.2–3.4 — massless gravity, radiation algebras, and reconstruction assumptions
- Almheiri, Hartman, Maldacena, Shaghoulian, and Tajdini: The entropy of Hawking radiation, §§6, 8, and 11, PDF pp. 21–22, 26–30, and 38–40 — entropy prescription and remaining microscopic questions
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.