How can black hole island operators be reconstructed from Hawking radiation?

An entropy curve does not yet decode an operator

The island formula resolves the information paradox at the level of entropy: for an evaporating black hole coupled to a non-gravitating bath after the Page time, the entanglement wedge of the Hawking radiation is a bulk island, and the resulting Page curve is unitary. The paper argues that this entropic statement still leaves an operational question open. One should exhibit a map that takes an operator in the island algebra and produces an operator acting only on the asymptotic Hawking radiation.

That map is not automatic. The island sits behind a dynamical horizon and is causally disconnected from the asymptotic radiation, so the usual bulk-to-boundary reconstruction used for ordinary entanglement wedge reconstruction does not have the island in its domain. The paper therefore reframes the problem: rather than asking for a direct island-to-boundary map, it asks whether the island algebra can be related algebraically to a complementary algebra for which such a map is already known.

Modular flow and the ordinary Petz map both stall

The paper reviews the two standard formulations of entanglement wedge reconstruction and explains why each fails here. The first, due to Faulkner and Lewkowycz, uses modular flow: a boundary modular Hamiltonian generates a flow on local operators, and via the JLMS relation it acts in the bulk as a modular Hamiltonian that drives a flow inside the entanglement wedge, allowing reconstruction deep in the causal shadow with a smearing kernel. This strictly requires a continuous flow from the bulk point to the boundary, which the causally and dynamically disconnected island does not admit.

The second frames reconstruction as quantum error correction. Mapping the bulk state to the radiation defines a noisy channel, and because JLMS guarantees preservation of relative entropy between bulk and boundary, that channel is perfectly reversible; bulk operators are then reconstructable via the Heisenberg-picture Petz map. Its standard application, however, typically requires a global bulk-to-boundary isometric embedding such as global HKLL. In an evaporating black hole the CFT causal wedge covers only the exterior, and the island lies outside the domain of any known global isometry. Neither route therefore delivers a direct island-to-radiation map.

The complement, not the island, carries the map

The central physical observation is that although the island I has no known direct map to the boundary, its complement Ī can lie entirely within the entanglement wedge accessible to the asymptotic CFT after the Page time. The paper partitions a post-Page-time Cauchy slice as Σ = I ∪ Ī and treats the corresponding von Neumann algebras A_I and A_Ī inside the semiclassical code algebra. The island lies in the entanglement wedge of the radiation, I = E_R, while its complement lies in the entanglement wedge of the entire CFT, Ī = E_CFT.

This asymmetry is what makes the construction possible. A semiclassical EWR channel N: A_Ī → A_CFT is available even though no corresponding channel for A_I is known. The paper is explicit that the needed relation A′_I = A_Ī is an assumption about the algebras and code subspace under consideration, not a general consequence of spacelike separation. For concreteness it takes the bulk matter sector to be a free scalar field and assumes standard Haag duality for the corresponding local von Neumann algebras; it notes that in gauge theories and especially gravity, Haag duality is not automatic and gravitational dressing can make the algebraic situation subtler.

Three modular steps replace the missing isometry

The algebraic Petz map replaces the absent global isometry with modular data that exist for any cyclic and separating state. For an island operator φ_I ∈ A_I, the reconstructed radiation operator is Φ_R = J_bdy (N*)′_ψ (J_bulk φ_I J_bulk) J_bdy ∈ A_R. The paper reads the three factors as three distinct operations.

First, bulk modular conjugation J_bulk reflects the island operator into the complementary algebra, J_bulk A_I J_bulk = A_Ī, which is the domain where a controlled channel exists. Second, the state-dependent ψ-dual map (N*)′_ψ acts purely on the commutants and transports the operator to the boundary commutant; in matrix-algebra shorthand, for φ_Ī ∈ A_Ī, it is written as ρ_CFT^{-1} N_Ī(ρ_Ī φ_Ī). Third, boundary modular conjugation J_bdy reflects the result back into the physical radiation algebra. The construction never requires a bulk-to-boundary map whose domain contains the island itself; the missing channel is bypassed through the commutant.

The paper stresses that the resulting radiation operators are intrinsically state dependent, because both modular conjugations and the dual map are defined relative to the reference state. It also distinguishes this from a direct application of the ordinary Petz map, whose domain would have to contain the algebra being recovered.

Adiabatic stillness keeps the modular data smooth

Because the construction is state dependent, a reader might worry that a dynamically evaporating geometry invalidates it at every instant. The paper addresses this with a timescale argument. Although the quantum extremal surface position X_QES(t) evolves during Hawking evaporation, its time derivative is suppressed by the slow emission rate, scaling as O(ℏ/(G_N M²)). On intermediate timescales Δt ≪ M³G_N², the surface position is therefore adiabatically stationary.

That stationarity is what the reconstruction needs. It ensures the bulk quantum state remains thermal for the instantaneous algebra A_Ī(t), so the boundary channel and the modular smearing kernels stay smooth across time steps, and both ρ_CFT and ρ_Ī are approximately thermal. The paper also notes that after the Page time the CFT state can be well approximated by a thermal state, which is what makes the bulk and boundary reference states satisfy the cyclic and separating conditions the modular construction requires.

Mirror operators emerge instead of being postulated

A second result is that the purely algebraic derivation naturally reproduces the structure of Papadodimas-Raju mirror operators, rather than introducing them as an independent prescription. In this formulation the mirror is identified with the modular conjugation of the boundary theory. The paper computes matrix elements of the island mirror operator Õ_ω(x) between states |a⟩ = a|Ψ_bdy⟩ and |b⟩, using that Õ_ω(x) commutes with A_CFT and that J Δ^{1/2} = Δ^{-1/2} J, and reduces them to traces over ρ_CFT involving modular-flowed boundary operators O(x).

To express the action purely in the bath, the paper chooses orthonormal bases for the CFT and the radiation separately and obtains the matrix element of the mirror operator in the bath system that absorbed the Hawking radiation. That expression depends only on CFT correlators and the modular flow of the boundary operator O(x), both of which are known data from the boundary theory. The paper presents this as an explicit, computable reconstruction of island modes as operators acting on the bath, and for the evaporating case as the explicit map confirming that island information is accessible to an outside observer after the Page time.

Where the dictionary stops being rigorous

The construction is algebraic, but its holographic input is semiclassical. The modular-flow EWR channel and the identification of the relevant bulk channel are used at the order in the semiclassical expansion where those results hold, and the bulk fields are treated as free at leading order in 1/N. The paper also flags a technical caveat: local quantum field theory algebras are generically type III, so density-matrix and trace expressions in the regulated representations should be read as shorthand for the corresponding algebraic constructions.

The paper suggests a possible route beyond leading order, the algebraic version of the twirled Petz recovery channel in the Heisenberg picture, but notes a limitation: the Faulkner-Lewkowycz modular-flow EWR on which the construction relies is itself valid only in the large-N limit. A first subleading correction to that formula has been derived recently, but its applicability is currently limited to spacetimes without black holes. The paper also points to a possible observational bridge, suggesting that because the algebraic Petz map turns bulk interior modes into non-local boundary operators, the spatial location of the island could be probed through boundary operator growth and Krylov complexity.

What the island formula gains operationally

The paper's distinctive contribution is not a new entropy formula but a change in what the existing one is taken to establish. The island proposal already produced a unitary Page curve; this work supplies an operator-level dictionary that promotes the island formula from an entropic statement to a reconstruction statement, and it does so without a global bulk-to-boundary isometry or a continuous modular flow reaching the island. The decisive move is the redirection of the reconstruction problem to the commutant: the island has no direct channel, but its complement does, and modular conjugation connects the two.

The most consequential comparison in the paper is therefore between two failures and one workaround. Modular flow fails because the island is causally and dynamically disconnected from the radiation; the ordinary Petz map fails because no global isometry covers the interior; the algebraic Petz map succeeds because it needs only the exterior channel plus the universal modular structure of a cyclic and separating state. The price is explicit: the map is state dependent, it assumes A′_I = A_Ī within the chosen semiclassical code algebra, and its holographic inputs hold at leading semiclassical order. Within those conditions, the paper's claim is that information trapped inside the black hole can be decoded, and that the mirror operators long used to describe the interior follow from modular theory rather than from an extra postulate.

Sources used in this answer