Search arXivSearch

arXiv · 2003.05451

The ghost in the radiation: Robust encodings of the black hole interior

Abstract

We reconsider the black hole firewall puzzle, emphasizing that quantum error-correction, computational complexity, and pseudorandomness are crucial concepts for understanding the black hole interior. We assume that the Hawking radiation emitted by an old black hole is pseudorandom, meaning that it cannot be distinguished from a perfectly thermal state by any efficient quantum computation acting on the radiation alone. We then infer the existence of a subspace of the radiation system which we interpret as an encoding of the black hole interior. This encoded interior is entangled with the late outgoing Hawking quanta emitted by the old black hole, and is inaccessible to computationally bounded observers who are outside the black hole. Specifically, efficient operations acting on the radiation, those with quantum computational complexity polynomial in the entropy of the remaining black hole, commute with a complete set of logical operators acting on the encoded interior, up to corrections which are exponentially small in the entropy. Thus, under our pseudorandomness assumption, the black hole interior is well protected from exterior observers as long as the remaining black hole is macroscopic. On the other hand, if the radiation is not pseudorandom, an exterior observer may be able to create a firewall by applying a polynomial-time quantum computation to the radiation.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Isaac H. Kim, Eugene Tang, John Preskill. 2020-03-11. The ghost in the radiation: Robust encodings of the black hole interior. https://doi.org/10.1007/jhep06(2020)031

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Gaillard-Zumino non-invertible symmetries

We uncover an infinite class of novel zero-form non-invertible symmetries in a broad family of four-dimensional models, studied years ago by Gaillard and Zumino (GZ), which includes several extended supergravities as particular subcases. The GZ models consist of abelian gauge fields coupled to a neutral sector, typically including a set of scalars, whose equations of motion are classically invariant under a continuous group $\mathscr{G}$ acting on the electric and magnetic field strengths via symplectic transformations. The standard lore holds that, at the quantum level, these symmetries are broken to an integral subgroup $\mathscr{G}_\mathbb{Z}$. We show that, in fact, a much larger subgroup $\mathscr{G}_\mathbb{Q}$ survives, albeit through non-invertible topological defects. We explicitly construct these defects and compute some of their fusion rules. As illustrative examples, we consider the axion-dilaton-Maxwell model and the bosonic sector of a class of $\mathcal{N}=2$ supergravities of the kind that appear in type II Calabi-Yau compactifications. Finally, we comment on how (part of) these non-invertible zero-form symmetries can be broken by gauging the $\mathscr{G}_\mathbb{Z}$ subgroup of invertible symmetries.

hep-th

On the resolution of categorical symmetries in (Non-) Unitary Rational CFTs

We explore several aspects of categorical symmetry-resolved entanglement entropy (SREE) directly within two-dimensional rational conformal field theory (RCFT) (without invoking any SymTFT construction arXiv:2409.02806). We derive a general formula applicable whenever the action of the relevant topological defect lines on the annulus Hilbert space is known. This framework accommodates weakly and strongly symmetric boundaries, cloaking states, and fusion rings with multiplicities. We verify the formula in a range of diagonal unitary and non-unitary examples, including theories with generalized Haagerup-Izumi modular data. Furthermore, we extend the analysis to non-diagonal RCFTs. The $\frac{1}{2}E_6$ example demonstrates that closed-channel modular data and NIM-rep multiplicities alone do not suffice to determine the defect action on the complete open-channel Hilbert space.

hep-th

Reflecting boundary conditions in critical loop models

In critical loop models, we call a boundary sticky if loops can attach to it, and reflecting otherwise. Using analytic bootstrap methods, we show that reflecting boundaries are characterised by one complex parameter, analogous to the boundary cosmological constant in Liouville theory. We determine disc 1-point functions, and write an explicit formula for disc 2-point functions as infinite combinations of conformal blocks. We also sketch the lattice interpretation of reflecting boundaries.

hep-th