The Information Problem: Assumptions and Observables

The information problem arises when semiclassical Hawking pair production, a smooth horizon, a finite black-hole state count, ordinary subsystem factorization, and unitary complete evaporation are imposed together. Different proposed resolutions relax different assumptions, so the first task is to define the observable—flux, radiation entropy, correlator, recovery error, or S-matrix element—and the regime in which it exists.

Required background. Semiclassical Black-Hole Information: Scope and Limits fixes the semiclassical boundary. Observable and Regime Matrix for Quantum Gravity supplies the claim discipline.

Helpful background. Hawking Radiation from Gravitational Collapse, Ray Tracing and the Hawking Bogoliubov Map, and Boulware, Hartle–Hawking, and Unruh States supply the radiation calculation. Claim Status, Freshness, and Research Handoffs is useful for mutable conclusions.

The Hawking assumption set

For an asymptotically flat collapsing black hole, the leading near-horizon state of one outgoing mode $b$ and its interior partner $\tilde b$ is a two-mode squeezed state,

$$\lvert0\rangle_{\mathrm{in}} \propto \sum_{n=0}^\infty e^{-\beta\omega n/2} \lvert n\rangle_b\lvert n\rangle_{\tilde b}.$$

Tracing the partner gives a thermal exterior mode. Repeating this approximately independently makes the radiation fine-grained entropy increase in leading semiclassical QFT Hawking 1975.

The contradiction requires a conjunction:

1. semiclassical local QFT remains valid near and outside a smooth horizon;
2. each late quantum is nearly maximally entangled with an independent interior partner;
3. the radiation and remaining black hole define appropriate subsystems or commuting algebras;
4. the number of black-hole states is finite, roughly $e^{S_{\mathrm{BH}}}$;
5. complete evaporation maps a pure initial state to radiation;
6. evolution is linear and unitary, with no inaccessible final sector;
7. corrections to Hawking pairs are small in the norm relevant to entropy.

Mathur’s small-corrections theorem makes the last point quantitative: small independent corrections to each pair cannot reverse extensive entropy growth Mathur 2009. The hypotheses, especially factorization and independence, must be checked in gravity.

Observables define different problems

The renormalized flux $\langle T_{uu}\rangle$ asks whether energy escapes and fixes $dM/du$ in a controlled background. A fine-grained entropy $S(\mathcal A_R)$ asks about a specified radiation algebra. A recovery problem asks whether a reference system can be reconstructed from accessible outputs with error $\epsilon$. An S-matrix question asks for exact complex amplitudes between asymptotic states.

These implications do not run automatically:

$$\text{Hawking flux} \;\not\Rightarrow\; \text{mixed exact final state}, \qquad \text{Page-like entropy} \;\not\Rightarrow\; \text{known microscopic unitary}.$$

The first result is semiclassical and local in time; the second is a statement about a reduced state; microscopic unitarity also fixes phases and all correlators.

Application: remove one assumption at a time

Hold the same asymptotic radiation algebra and entropy definition while modifying one hypothesis.

• Add an inaccessible baby-universe factor. Global purity may survive, but the asymptotic radiation state remains mixed; this abandons asymptotic completeness.
• Make the horizon nonsmooth. The late mode need not be entangled with an interior vacuum partner; this abandons the infalling-vacuum assumption.
• Replace exact tensor factors by a gravitational algebra with shared center or dressing. The entropy bookkeeping must be reformulated; this modifies assumption 3.
• Add order-one correlations among Hawking quanta. A Page curve can become possible, but a dynamics producing those correlations is still required.
• End in a remnant with arbitrarily many internal states. Complete evaporation fails and species or production problems must be addressed.

Because the observable and regulator are held fixed, each change has a definite logical cost rather than merely renaming the paradox.

Adversarial consistency check

For any proposed resolution, place an old black hole, an infalling detector, and the early radiation in the same experiment. Specify which algebras commute, which observer can access which records, and whether the proposal predicts signaling, cloning, a divergent density of states, or an undefined endpoint. If the argument silently switches from a fine-grained entropy to thermodynamic entropy, or from one fixed theory to an ensemble average, it has changed the question.

Scope and handoff

Semiclassical QFT is reliable for local stress tensors and low-energy propagation while curvature and backreaction are controlled; the global Hilbert-space conclusions require quantum gravity. The explicit bath model is built on Evaporating Black Holes Coupled to Baths, and the principal assumption-trading proposals are compared on Complementarity, Firewalls, Remnants, and Final-State Proposals.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

References

• Hawking, S. W. “Breakdown of Predictability in Gravitational Collapse.” Physical Review D 14 (1976): 2460–2473. DOI.
• Hawking, S. W. “Particle Creation by Black Holes.” Communications in Mathematical Physics 43 (1975): 199–220. DOI.
• Mathur, S. D. “The Information Paradox: A Pedagogical Introduction.” Classical and Quantum Gravity 26 (2009): 224001. DOI.