Exterior and Infalling Measurement Protocols

Black-hole thought experiments often name early radiation, a late Hawking mode, and an interior partner as though they sat on one laboratory bench. They do not. A physical test needs worldlines, dressed operator algebras, switching times, communication channels, and a disturbance budget. Some information paradoxes are algebraic inconsistencies among assumptions and need no single observer to measure every factor; an operational claim, by contrast, must show who can access and compare the required records.

Required background. Quantum Information for Black-Hole Physics supplies purification, channels, and entanglement tests; What the Equivalence Principles Do and Do Not Imply supplies detector frames, proper time, and tidal limitations.

Helpful background. Semiclassical Gravity supplies evaporation and backreaction; Quantum Fields in Curved Spacetime supplies detector response; and Black-Hole Information supplies complementarity and AMPS subsystem assignments.

Name the algebras before assigning observers

Use $R$ for early radiation already far outside, $B$ for a late outgoing wave packet, and $A$ for the near-horizon interior partner used in a smooth-state description. An exterior observer can collect a dressed subalgebra $\mathcal A_R$ and later $\mathcal A_B$. An infaller can couple a finite detector to relational observables along one timelike worldline and may access an effective $\mathcal A_A$ before reaching large curvature. Exact tensor factorization $\mathcal H_R\otimes\mathcal H_B\otimes\mathcal H_A$ is an additional assumption, not a consequence of drawing three regions.

The AMPS argument combines a decrease of radiation entropy upon adding the late mode with the near-horizon vacuum and ordinary subsystem quantum mechanics. Its contradiction is an entropy and monogamy statement under those assumptions Almheiri et al. 2013, §§ 2–3. It remains logically consequential even if decoding $R$ is hard. A proposed experiment that verifies both entanglement relations must additionally implement measurements on the named physical algebras and bring their classical records into causal contact.

Exterior collection and distillation

Place a collector at large radius where backreaction on the near-horizon geometry is negligible. Its specification includes angular and frequency acceptance, greybody losses, collection efficiency $\eta$, storage noise, and a retarded-time window. If $n$ relevant quanta reach infinity, only roughly $\eta n$ enter the memory; lost modes belong to the inaccessible environment unless separately monitored.

Distilling a qubit $R_B$ that purifies $B$ requires a decoder adapted to the actual black-hole channel, not merely a generic entropy measurement. Harlow’s review separates information-theoretic recoverability from decoder complexity in Harlow 2016, § 5.5. The collector must report its channel knowledge, quantum memory, gates, precision, and error. If it then carries $R_B$ into the hole, the memory’s mass and control fields join the stress-energy sourcing the geometry.

There is also a state-preparation issue. Measuring $R_B$ projectively before crossing changes correlations with $B$; coherently carrying it preserves a quantum record but demands isolation. A protocol must decide whether it seeks correlation statistics over repeated preparations or a coherent comparison within one evaporation.

Infalling response is a worldline observable

An idealized two-level detector with energy gap $\Omega$, switching function $\chi(\tau)$, and trajectory $x(\tau)$ has leading excitation probability

$$P_{g\to e} =\lambda^2\int d\tau\,d\tau'\, \chi(\tau)\chi(\tau') \exp[-i\Omega(\tau-\tau')] W(x(\tau),x(\tau')),$$

where $W$ is the state-dependent two-point function of the dressed field coupled to the detector. The response depends on trajectory, gap, duration, switching, state, and dressing. “The infaller sees the vacuum” means that a declared family of such responses approximates the local freely falling vacuum over a finite regime; it does not mean that the global state factorizes.

After horizon crossing, a Schwarzschild-scale infaller has only order $GM$ of proper time before the classical singular region. The apparatus must interact with the intended interior wave packet, complete its comparison, and store a record within that interval. Increasing detector bandwidth shortens the measurement but increases energy uncertainty and possible disturbance.

The complementarity timing estimate

Consider an early infaller who carries one copy of a quantum state and a late observer who waits outside for a delay $\Delta t$, recovers the exterior copy, and then enters. Near a Schwarzschild horizon, Kruskal coordinates contain the exponential factor set by surface gravity $\kappa_H=1/(4GM)$. For the early observer to send an outgoing signal that reaches the late observer before the singular boundary, the available proper emission interval scales schematically as

$$\Delta\tau_{\text{send}} \sim GM\exp(-\kappa_H\Delta t).$$

Time–energy resolution then requires at least

$$E_{\text{signal}} \gtrsim \frac{1}{GM} \exp(\kappa_H\Delta t).$$

For a short wait, the energy is of order the inverse horizon scale and the estimate alone does not forbid communication. For a retention-scale wait much longer than $GM$, the required energy can exceed the black-hole mass, so the fixed-background duplication experiment invalidates itself. Hayden and Preskill give the complementarity timing calculation and its assumptions in Hayden and Preskill 2007, § 6, Eqs. (9)–(11). Numerical factors change with trajectory and coordinates; the exponential competition is the discriminating result.

This protection is not a universal resolution. A sufficiently fast recovery time, an old black hole, a different interior map, or an algebraic AMPS contradiction changes the setup. Harlow reviews the distinct interior experiments and assumptions in Harlow 2016, §§ 8.1–8.4.

A protocol matrix

Proposed comparison	Required access	Dominant limitation
Radiation purity at infinity	Many copies or a controlled many-body measurement on the complete radiation algebra	Preparation count, losses, and nonlinear entropy estimation
$B$–$R_B$ entanglement	Collected early radiation, a channel-specific decoder, and late mode $B$	Gates, memory, collection efficiency, and decoder error
Smooth $A$–$B$ correlation	Infalling detector coupled to both effective wave packets	Short proper time, dressing, bandwidth, and backreaction
Direct duplication comparison	Exterior recovery followed by entry plus a causal signal from the earlier interior record	Exponentially shrinking signal interval and exponentially growing energy

The matrix separates an inaccessible comparison from an inconsistent set of theoretical assumptions. Failure of one observer to perform the last row does not prove that a nonunitary theory is consistent; it limits that operational test.

Limitations and acceptance conditions

A complete protocol should draw the detector worldlines, list each physical algebra, give the state and switching functions, and propagate classical or quantum records to one comparison event. It should calculate collection loss, decoder error, signal energy, and stress-energy relative to the background. A claimed contradiction must then be labeled algebraic, statistically verifiable over preparations, or single-history operational.

The estimates above use a semiclassical Schwarzschild-like near-horizon region and neglect apparatus self-gravity until the final check. They do not cover a fully backreacted detector, exact gravitational factorization, or a microscopic interior. Susskind, Thorlacius, and Uglum formulate the original stretched- horizon duplication logic in Susskind, Thorlacius, and Uglum 1993, §§ 2–4; later paradoxes must not inherit its observer assumptions without rechecking them.

Exercises

Take $\Delta t=16GM$ in the schematic timing estimate. Compute the exponential enhancement of the signal energy relative to $(GM)^{-1}$ and explain what must be checked before concluding that the protocol is impossible.

Solution

Since $\kappa_H=1/(4GM)$, the exponent is $\kappa_H\Delta t=4$, so $E_{\text{signal}}\gtrsim e^4/(GM)\approx54.6/(GM)$. One must compare this with the black-hole mass and with the local backreaction threshold, while also checking the exact trajectory, wave-packet duration, and numerical factors. The estimate rules out the fixed-background protocol only when the required signal itself appreciably changes the geometry or cannot fit within the causal window; it is not a coordinate-independent impossibility theorem by itself.

References

• Almheiri, Ahmed, Donald Marolf, Joseph Polchinski, and James Sully. 2013. “Black Holes: Complementarity or Firewalls?” Journal of High Energy Physics 02, 062. arXiv:1207.3123.
• Harlow, Daniel. 2016. “Jerusalem Lectures on Black Holes and Quantum Information.” Reviews of Modern Physics 88, 015002. DOI. arXiv:1409.1231.
• Hayden, Patrick, and John Preskill. 2007. “Black Holes as Mirrors: Quantum Information in Random Subsystems.” Journal of High Energy Physics 09, 120. arXiv:0708.4025.
• Susskind, Leonard, Larus Thorlacius, and John Uglum. 1993. “The Stretched Horizon and Black Hole Complementarity.” Physical Review D 48, 3743–3761. DOI. arXiv:hep-th/9306069.