Hayden–Preskill Recovery and Decoding Tasks

The Hayden–Preskill task asks whether a message thrown into an old black hole can be recovered from newly emitted radiation together with the early radiation. For a sufficiently scrambling finite-dimensional channel, information-theoretic recovery begins after only slightly more than the message size is emitted; this existence statement is distinct from constructing an efficient decoder or deriving the black hole’s microscopic dynamics.

Required background. Recovery Thresholds, Access Structures, and Side Information supplies the decoupling criterion. Evaporating Black Holes Coupled to Baths defines the physical outputs.

Helpful background. Information Scrambling and Recovery Diagnostics, Shockwaves, OTOCs, and Scrambling, Decoupling and Subsystem Information Loss, Tripartite Information and Multipartite Scrambling, and Channel Capacities During Scrambling separate diagnostics that are often conflated.

The recovery channel

Let message $M$ be maximally entangled with a reference $Q$, and let the old black hole $B$ be maximally entangled with early radiation $R$. A scrambling unitary acts as

$$U: M\otimes B\longrightarrow B'\otimes D,$$

where $D$ is newly emitted radiation. The observer has $D R$ and seeks a decoder

$$\mathcal D_{DR\to\widehat M}$$

such that the recovered system $\widehat M$ is close to maximally entangled with $Q$. A standard error is trace distance,

$$\epsilon_{\mathrm{rec}} =\frac12 \left\lVert (\operatorname{id}_Q\otimes\mathcal D)(\rho_{QDR}) -\Phi_{Q\widehat M} \right\rVert_1 .$$

The decoder exists when $Q$ is nearly decoupled from the inaccessible remainder $B'$:

$$\frac12\left\lVert \rho_{QB'}-\rho_Q\otimes\rho_{B'} \right\rVert_1\le\epsilon .$$

This is an operational statement with specified access and norm.

Application: the random-unitary threshold

Write $d_M=d_Q=m$, $d_B=d_R=b$, and use dimension conservation $mb=d_{B'}d_D$. For Haar-random $U$, the decoupling estimate has the parametric form

$$\mathbb E_U \left\lVert\rho_{QB'}-\rho_Q\otimes\rho_{B'}\right\rVert_1 \lesssim \sqrt{\frac{d_Qd_{B'}}{d_Rd_D}} =\frac{m}{d_D}.$$

Thus $d_D\gtrsim m/\epsilon$ suffices parametrically. In qubits, the newly emitted radiation needs the message size plus roughly $\log_2(1/\epsilon)$ extra qubits. This is the “information mirror” result of Hayden and Preskill Hayden and Preskill 2007.

The estimate presumes an old black hole with almost maximal side information $R$, a random-unitary approximation in the relevant charge sector, and unrestricted coherent access to $R D$. It does not say that the physical Hawking channel is Haar-random.

Access, symmetry, and complexity tests

Remove early radiation $R$: the dimension bound changes drastically, and early recovery need not be possible. Impose energy or charge conservation: apply decoupling within sectors, including classical uncertainty among them. Replace $U$ by a shallow local circuit: small out-of-time-order correlators are not enough; the reference may remain correlated with $B'$.

Even when a decoder exists, finding or implementing it may require exponential complexity. Harlow and Hayden showed that decoding certain black-hole radiation states is computationally hard under standard complexity assumptions Harlow and Hayden 2013. Information-theoretic accessibility and feasible laboratory recovery must therefore be reported separately.

Limits and handoff

The random-channel model establishes a recovery threshold, not a smooth interior, an island saddle, or a microscopic black-hole Hamiltonian. Gravitational constraints can also obstruct the assumed tensor factors, as developed on Algebraic Factorization of Radiation and Gravity. Interior reconstruction requires a further code-subspace map on Interior Reconstruction, State Dependence, Recovery, and Scrambling.

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

• Harlow, D., and P. Hayden. “Quantum Computation vs. Firewalls.” Journal of High Energy Physics 2013, 6 (2013): 085. DOI.
• Hayden, P., and J. Preskill. “Black Holes as Mirrors: Quantum Information in Random Subsystems.” Journal of High Energy Physics 2007, 9 (2007): 120. DOI.