arXiv subjects

Geoff Penington

Publications and source records attributed to Geoff Penington.

At least 19 recordsLinked to original sources

arXiv2026

Holographic algebras at null infinity

We construct an algebra of observables associated to a cut of null infinity in asymptotically flat spacetimes. The Bondi mass associated with a sharp cut of future null infinity is not a well-defined quantum operator: its fluctuations diverge even after smearing in retarded time. We instead introduce a finite-radius, time-smeared version of the Bondi mass and adjoin this operator to the matter and graviton observables in an arbitrarily small asymptotic neighborhood of the cut. We separately analyze spacetimes with and without black holes and find, in both cases, Type III$_1$ von Neumann algebras that satisfy non-trivial nesting relations. In Minkowski spacetime, the resulting algebra reconstructs the spacelike wedge associated with the cut. In a stationary black hole spacetime, it reconstructs the region bounded by the cut and the black hole bifurcation surface, providing an asymptotically flat analogue of an entanglement wedge. In the limit as the cut is moved to past infinity, we recover a Type I$_{\infty}$ algebra for spacetimes without black holes and a Type II$_{\infty}$ algebra for black hole spacetimes. For algebras at finite cuts of retarded time, we construct a Type II$_\infty$ regularization of the black hole algebra whose renormalized von Neumann entropy agrees with the generalized entropy. In appendices, we prove two technical results about quantum fields, in a Schwarzschild spacetime, that asymptote to the Minkowski vacuum at infinity: a split property for unbounded, spacelike separated regions and the construction of a faithful, normal, and semifinite Hartle-Hawking weight whose modular flow is Schwarzschild time evolution.

hep-th↗

arXiv2025

The algebraic structure of gravitational scrambling

We introduce a new algebraic framework to describe gravitational scrambling, including the semiclassical limit of any out-of-time-order correlation function that is built out of operator insertions separated by approximately the scrambling time. In two dimensions, the scrambling algebra, which we call a modular-twisted product, is defined in terms of two copies of the Leutheusser-Liu half-sided modular inclusion of von Neumann algebras; these describe early- and late-time operators respectively. In limits where the separation between insertions is taken to be either significantly greater or smaller than the scrambling time, the modular-twisted product reduces, respectively, to free- and tensor-product algebras that were previously studied in [arXiv:2209.10454]. In a sense, the modular-twisted product interpolates between these two products. Including the Hamiltonian in the scrambling algebra leads to a Type II$_\infty$ von Neumann algebra with finite renormalized entropies that interpolate between single-QES and multi-QES phases. We also describe how to generalize the modular-twisted product algebra to higher dimensions, including spatially localized boundary excitations.

hep-th↗

arXiv2025

Generalized entropy of gravitational fluctuations

The corrections to holographic entanglement entropy from bulk quantum fields in a classical gravitational background are now well understood. They lead, in particular, to unitary Page curves for evaporating black holes. However, the correct treatment of quantum fluctuations of the metric, including graviton excitations, is a longstanding problem. We provide a gauge-invariant prescription for the generalized entropy of gravitons in anti-de Sitter space in terms of areas and bulk entanglement entropy, generalizing the quantum extremal surface prescription to accommodate fluctuations in the semiclassical spacetime geometry. This task requires a careful treatment of the area operator on the graviton Hilbert space and the definition of a "quantum extremal gauge" in which the extremal surface is unperturbed. It also requires us to determine the correct vacuum modular Hamiltonian for the graviton field, which we fix by requiring that it doesn't contain a boundary term in extremal gauge. We check our prescription with an explicit computation of the vacuum-subtracted generalized entropy of states containing a graviton in an AdS-Rindler background. Our results exactly match vacuum-subtracted von Neumann entropies for stress-tensor excited states in holographic conformal field theory with $d>2$ dimensions. We also use covariant phase space techniques to give a partial proof of our prescription when the entanglement wedge for the background spacetime has a bifurcate Killing horizon. Along the way, we identify a class of perturbative graviton states that have parametrically larger generalized entropy, in the small $G_N$ expansion, than any low-energy excitations of an ordinary quantum field.

hep-th↗

arXiv2025

An apologia for islands

Entanglement islands have played a key role in the recent derivation of the Page curve and other progress on the black hole information problem. Arising from the inclusion of connected wormhole saddles in a gravitational replica trick, islands signal that degrees of freedom in the black hole interior are not microscopically independent of the exterior Hawking radiation. Islands were originally discovered in the context of AdS/CFT coupled to an external, nongravitating reservoir, where the coupling gives graviton excitations an anomalous boundary scaling dimension (or "mass"). It has been claimed in the literature that this mass is crucial for the existence of islands and even the Page curve itself. In this paper, however, we explain how entanglement islands can also appear in setups with massless gravitons and no external reservoir, giving a number of examples including the entanglement wedges of boundary CFT regions, of radiation at null infinity in asymptotically flat spacetimes, and of radiation inside a semiclassical but gravitating spacetime. In each case, the Page curve is physically observable and can be determined with sufficiently careful experiments on many copies of the black hole. We give general arguments for the existence of gauge-invariant operators in gravity which are compactly supported to all orders in perturbation theory (whenever no isometries of the background spacetime exist) and refine a recently-proposed explicit construction of such operators. When applied to islands, these results -- together with entanglement wedge reconstruction -- guarantee that semiclassical operators in the island can be approximated by nonperturbative operators on the Hawking radiation.

hep-th↗

arXiv2025

It costs nothing to teleport information into a black hole

It is often claimed that adding a qubit to a black hole requires energy $ΔE \geq T_H \log 2$ so that the extra Bekenstein-Hawking entropy can accommodate the qubit. In this essay, we explain how the recently discovered phenomenon of black hole decoherence allows quantum information to be teleported into a black hole, with arbitrarily small energy cost. The generalized second law is not violated and there is no conflict with unitarity because the teleportation creates new entanglement, analogous to Hawking radiation, between the black hole interior and exterior. In accordance with Landauer's principle, a nonzero minimum energy cost only appears when there is a net erasure of information and noise from the exterior or, equivalently, when ``zerobits'' are sent into the black hole.

hep-th↗

arXiv2024

Algebras and states in super-JT gravity

In bosonic JT gravity, minimally coupled to bulk matter, there exists a single, delta-function-normalisable state in each $SL(2,R)$ representation of the matter QFT for any pair of positive energies $E_L, E_R$ at the left and right boundaries. In $\mathcal{N} = 2$ super-JT gravity coupled to matter, we show that there exists a single normalisable state in each $SU(1,1|1)$ matter representation (given appropriate R-charges) that has exactly zero energy at both boundaries. For non-BPS representations, these states have the peculiar property that they break all supersymmetry in the bulk, while preserving supersymmetry at both boundaries. Projecting the algebras of boundary observables onto these zero-energy states leads to a Type II$_1$ von Neumann factor at each boundary that contains a single operator for each supersymmetric matter boundary primary with sufficiently small R-charge. For neutral boundary primaries, the Type II$_1$ factor has a natural action on the matter QFT Hilbert space (with no additional gravitational degrees of freedom) such that the QFT vacuum is the unique tracial state. Moreover, the product of neutral matter operators can be found very explicitly and has a remarkably simple form. When primaries with nonzero matter R-charge are included, the trace can be written as a sum over matter vacuum expectation values associated to each allowed boundary R-charge $J_R$, with the terms in the sum weighted by $\mathrm{cos}(πJ_R)$. In this way, the ground state algebras encode the ratios of the number of BPS microstates within each R-charge sector. In addition to the results on super-JT gravity described above, we provide a purely Lorentzian derivation of the algebraic structure of canonically quantised (bosonic) JT gravity plus matter, without appeal to the Euclidean gravitational path integrals used in previous work.

hep-th↗

arXiv2024

The Diagonal Approximation for Holographic Rényi Entropies

Recently Dong, Rath and Kudler-Flam proposed a modified cosmic brane prescription for computing the Rényi entropy $S_α$ of a holographic system in the presence of multiple extremal surfaces. This prescription was found by assuming a diagonal approximation, where the Rényi entropy is computed after first measuring the areas of all extremal surfaces. We derive this diagonal approximation and show that it accurately computes Rényi entropies up to $O(\log G)$ corrections. For $α<1$, this allows us to derive the modified cosmic brane prescription, which differs from the original cosmic brane prescription at leading order in $G$. For $α>1$, it leads to the original cosmic brane prescription without needing to assume that replica symmetry is unbroken in the bulk.

hep-th↗

arXiv2024

The evaporation of charged black holes

Charged particle emission from black holes with sufficiently large charge is exponentially suppressed. As a result, such black holes are driven towards extremality by the emission of neutral Hawking radiation. Eventually, an isolated black hole gets close enough to extremality that the gravitational backreaction of a single Hawking photon becomes important, and the QFT in curved spacetime approximation breaks down. To proceed further, we need to use a quantum theory of gravity. We make use of recent progress in our understanding of the quantum-gravitational thermodynamics of near-extremal black holes to compute the corrected spectrum for both neutral and charged Hawking radiation, including the effects of backreaction, greybody factors, and metric fluctuations. At low temperatures, large fluctuations in a set of light modes of the metric lead to drastic modifications to neutral particle emission that -- in contrast to the semiclassical prediction -- ensure the black hole remains subextremal. Relatedly, angular momentum constraints mean that, close enough to extremality, black holes with zero angular momentum no longer emit individual photons and gravitons; the dominant radiation channel consists of entangled pairs of photons in angular-momentum singlet states. We also compute the effects of backreaction and metric fluctuations on the emission of charged particles. Somewhat surprisingly, we find that the semiclassical Schwinger emission rate is essentially unchanged despite the fact that the emission process leads to large changes in the geometry and thermodynamics of the throat. We present, for the first time, the full history of the evaporation of a large charged black hole. This corrects the semiclassical calculation, which gives completely wrong predictions for almost the entire evaporation history, even for the crudest observables like the temperature seen by a thermometer.

hep-th↗

arXiv2024

Random tensor networks with nontrivial links

Random tensor networks are a powerful toy model for understanding the entanglement structure of holographic quantum gravity. However, unlike holographic quantum gravity, their entanglement spectra are flat. It has therefore been argued that a better model consists of random tensor networks with link states that are not maximally entangled, i.e., have nontrivial spectra. In this work, we initiate a systematic study of the entanglement properties of these networks. We employ tools from free probability, random matrix theory, and one-shot quantum information theory to study random tensor networks with bounded and unbounded variation in link spectra, and in cases where a subsystem has one or multiple minimal cuts. If the link states have bounded spectral variation, the limiting entanglement spectrum of a subsystem with two minimal cuts can be expressed as a free product of the entanglement spectra of each cut, along with a Marchenko-Pastur distribution. For a class of states with unbounded spectral variation, analogous to semiclassical states in quantum gravity, we relate the limiting entanglement spectrum of a subsystem with two minimal cuts to the distribution of the minimal entanglement across the two cuts. In doing so, we draw connections to previous work on split transfer protocols, entanglement negativity in random tensor networks, and Euclidean path integrals in quantum gravity.

quant-ph↗

arXiv2024

A clock is just a way to tell the time: gravitational algebras in cosmological spacetimes

We study the algebra of observables in semiclassical quantum gravity for cosmological backgrounds, focusing on two key examples: slow-roll inflation and evaporating Schwarzschild-de Sitter black holes. In both cases, we demonstrate the existence of a nontrivial algebra of diffeomorphism-invariant observables \emph{without} the introduction of an external clock system or the presence of any asymptotic gravitational charges. Instead, the rolling inflaton field and the evaporating black hole act as physical clocks that allow a definition of gauge-invariant observables at $G = 0$. The resulting algebras are both Type II$_\infty$ factors, but neither is manifestly a crossed product algebra. We establish a connection between the Type II entropy of these algebras and generalized entropies for appropriate states. Our work extends previous results on Type II gravitational algebras and highlights the crucial role of out-of-equilibrium dynamics for defining gauge-invariant observables in semiclassical canonically quantised gravity. We also briefly discuss the construction of gauge-invariant algebras for compact wedges bounded by extremal surfaces in generic spacetimes (i.e. in the absence of any Killing symmetry). In contrast to the inflaton and black hole cases, this algebra does end up being a simple crossed product. No clock or asymptotic charges are required because of the absence of any symmetry in the classical background.

hep-th↗

arXiv2024

One-shot holography

Following the work of [2008.03319], we define a generally covariant max-entanglement wedge of a boundary region $B$, which we conjecture to be the bulk region reconstructible from $B$. We similarly define a covariant min-entanglement wedge, which we conjecture to be the bulk region that can influence the state on $B$. We prove that the min- and max-entanglement wedges obey various properties necessary for this conjecture, such as nesting, inclusion of the causal wedge, and a reduction to the usual quantum extremal surface prescription in the appropriate special cases. These proofs rely on one-shot versions of the (restricted) quantum focusing conjecture (QFC) that we conjecture to hold. We argue that these QFCs imply a one-shot generalized second law (GSL) and quantum Bousso bound. Moreover, in a particular semiclassical limit we prove this one-shot GSL directly using algebraic techniques. Finally, in order to derive our results, we extend both the frameworks of one-shot quantum Shannon theory and state-specific reconstruction to finite-dimensional von Neumann algebras, allowing nontrivial centers.

hep-th↗

arXiv2023

Islands Far Outside the Horizon

Information located in an entanglement island in semiclassical gravity can be nonperturbatively reconstructed from distant radiation, implying a radical breakdown of effective field theory. We show that this occurs well outside of the black hole stretched horizon. We compute the island associated to large-angular momentum Hawking modes of a four-dimensional Schwarzschild black hole. These modes typically fall back into the black hole but can be extracted to infinity by relativistic strings or, more abstractly, by asymptotic boundary operators constructed using the timelike tube theorem. Remarkably, we find that their island can protrude a distance of order $\sqrt{\ell_p r_{\rm hor}}$ outside the horizon. This is parametrically larger than the Planck scale $\ell_p$ and is comparable to the Bohr radius for supermassive black holes. Therefore, in principle, a distant observer can determine experimentally whether the black hole information paradox is resolved by complementarity, or by a firewall.

hep-th↗

arXiv2023

Holograms In Our World

In AdS/CFT, the entanglement wedge EW$(B)$ is the portion of the bulk geometry that can be reconstructed from a boundary region $B$; in other words, EW$(B)$ is the hologram of $B$. We extend this notion to arbitrary spacetimes. Given any gravitating region $a$, we define a max- and a min-entanglement wedge, $e_{\rm max}(a)$ and $e_{\rm min}(a)$, such that $e_{\rm min}(a)\supset e_{\rm max}(a)\supset a$. Unlike their analogues in AdS/CFT, these two spacetime regions can differ already at the classical level, when the generalized entropy is approximated by the area. All information outside $a$ in $e_{\rm max}(a)$ can flow inwards towards $a$, through quantum channels whose capacity is controlled by the areas of intermediate homology surfaces. In contrast, all information outside $e_{\rm min}(a)$ can flow outwards. The generalized entropies of appropriate entanglement wedges obey strong subadditivity, suggesting that they represent the von Neumann entropies of ordinary quantum systems. The entanglement wedges of suitably independent regions satisfy a no-cloning relation. This suggests that it may be possible for an observer in $a$ to summon information from spacelike related points in $e_{\rm max}(a)$, using resources that transcend the semiclassical description of $a$.

hep-th↗

arXiv2023

Twice Upon a Time: Timelike-Separated Quantum Extremal Surfaces

The Python's Lunch conjecture for the complexity of bulk reconstruction involves two types of nonminimal quantum extremal surfaces (QESs): bulges and throats, which differ by their local properties. The conjecture relies on the connection between bulk spatial geometry and quantum codes: a constricting geometry from bulge to throat encodes the bulk state nonisometrically, and so requires an exponentially complex Grover search to decode. However, thus far, the Python's Lunch conjecture is only defined for spacetimes where all QESs are spacelike-separated from one another. Here we explicitly construct (time-reflection symmetric) spacetimes featuring both timelike-separated bulges and timelike-separated throats. Interestingly, all our examples also feature a third type of QES, locally resembling a de Sitter bifurcation surface, which we name a bounce. By analyzing the Hessian of generalized entropy at a QES, we argue that this classification into throats, bulges and bounces is exhaustive. We then propose an updated Python's Lunch conjecture that can accommodate general timelike-separated QESs and bounces. Notably, our proposal suggests that the gravitational analogue of a tensor network is not necessarily the time-reflection symmetric slice, even when one exists.

hep-th↗

arXiv2023

Entanglement Wedges for Gravitating Regions

Motivated by properties of tensor networks, we conjecture that an arbitrary gravitating region $a$ can be assigned a generalized entanglement wedge $E\supset a$, such that quasi-local operators in $E$ have a holographic representation in the full algebra generated by quasi-local operators in $a$. The universe need not be asymptotically flat or AdS, and $a$ need not be asymptotic or weakly gravitating. On a static Cauchy surface $Σ$, we propose that $E$ is the superset of $a$ that minimizes the generalized entropy. We prove that $E$ satisfies a no-cloning theorem and appropriate forms of strong subadditivity and nesting. If $a$ lies near a portion $A$ of the conformal boundary of AdS, our proposal reduces to the Quantum Minimal Surface prescription applied to $A$. We also discuss possible covariant extensions of this proposal, although none prove completely satisfactory. Our results are consistent with the conjecture that information in $E$ that is spacelike to $a$ in the semiclassical description can nevertheless be recovered from $a$, by microscopic operators that break that description. We thus propose that $E$ quantifies the range of holographic encoding, an important nonlocal feature of quantum gravity, in general spacetimes.

hep-th↗

arXiv2023

Algebras and States in JT Gravity

We analyze the algebra of boundary observables in canonically quantised JT gravity with or without matter. In the absence of matter, this algebra is commutative, generated by the ADM Hamiltonian. After coupling to a bulk quantum field theory, it becomes a highly noncommutative algebra of Type II$_\infty$ with a trivial center. As a result, density matrices and entropies on the boundary algebra are uniquely defined up to, respectively, a rescaling or shift. We show that this algebraic definition of entropy agrees with the usual replica trick definition computed using Euclidean path integrals. Unlike in previous arguments that focused on $\mathcal{O}(1)$ fluctuations to a black hole of specified mass, this Type II$_\infty$ algebra describes states at all temperatures or energies. We also consider the role of spacetime wormholes. One can try to define operators associated with wormholes that commute with the boundary algebra, but this fails in an instructive way. In a regulated version of the theory, wormholes and topology change can be incorporated perturbatively. The bulk Hilbert space $\mathcal{H}_\mathrm{bulk}$ that includes baby universe states is then much bigger than the space of states $\mathcal{H}_\mathrm{bdry}$ accessible to a boundary observer. However, to a boundary observer, every pure or mixed state on $\mathcal{H}_\mathrm{bulk}$ is equivalent to some pure state in $\mathcal{H}_\mathrm{bdry}$.

hep-th↗

arXiv2023

An Algebra of Observables for de Sitter Space

We describe an algebra of observables for a static patch in de Sitter space, with operators gravitationally dressed to the worldline of an observer. The algebra is a von Neumann algebra of Type II$_1$. There is a natural notion of entropy for a state of such an algebra. There is a maximum entropy state, which corresponds to empty de Sitter space, and the entropy of any semiclassical state of the Type II$_1$ algebras agrees, up to an additive constant independent of the state, with the expected generalized entropy $S_{\text{gen}}=(A/4G_N)+S_{\text{out}}$. An arbitrary additive constant is present because of the renormalization that is involved in defining entropy for a Type II$_1$ algebra.

hep-th↗

arXiv2023

Fun with replicas: tripartitions in tensor networks and gravity

We introduce a new correlation measure for tripartite pure states that we call $G(A:B:C)$. The quantity is symmetric with respect to the subsystems $A$, $B$, $C$, invariant under local unitaries, and is bounded from above by $\log d_A d_B$. For random tensor network states, we prove that $G(A:B:C)$ is equal to the size of the minimal tripartition of the tensor network, i.e., the logarithmic bond dimension of the smallest cut that partitions the network into three components with $A$, $B$, and $C$. We argue that for holographic states with a fixed spatial geometry, $G(A:B:C)$ is similarly computed by the minimal area tripartition. For general holographic states, $G(A:B:C)$ is determined by the minimal area tripartition in a backreacted geometry, but a smoothed version is equal to the minimal tripartition in an unbackreacted geometry at leading order. We briefly discuss a natural family of quantities $G_n(A:B:C)$ for integer $n \geq 2$ that generalize $G=G_2$. In holography, the computation of $G_n(A:B:C)$ for $n>2$ spontaneously breaks part of a $\mathbb{Z}_n \times \mathbb{Z}_n$ replica symmetry. This prevents any naive application of the Lewkowycz-Maldacena trick in a hypothetical analytic continuation to $n=1$.

hep-th↗