-
Twice Upon a Time: Timelike-Separated Quantum Extremal Surfaces
Authors:
Netta Engelhardt,
Geoff Penington,
Arvin Shahbazi-Moghaddam
Abstract:
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 exponen…
▽ More
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.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
Restricted Quantum Focusing
Authors:
Arvin Shahbazi-Moghaddam
Abstract:
Quantum Focusing is a powerful conjecture, which plays a key role in the current proofs of many well-known quantum gravity theorems, including various consistency conditions, and causality constraints in AdS/CFT. I conjecture a (weaker) restricted quantum focusing, which I argue is sufficient to derive all known essential implications of quantum focusing. Subject to a technical assumption, I prove…
▽ More
Quantum Focusing is a powerful conjecture, which plays a key role in the current proofs of many well-known quantum gravity theorems, including various consistency conditions, and causality constraints in AdS/CFT. I conjecture a (weaker) restricted quantum focusing, which I argue is sufficient to derive all known essential implications of quantum focusing. Subject to a technical assumption, I prove this conjecture on brane-world semiclassical gravity theories which are holographically dual to Einstein gravity in a higher dimensional anti-de Sitter spacetime.
△ Less
Submitted 23 October, 2023; v1 submitted 7 December, 2022;
originally announced December 2022.
-
Quantum Singularities
Authors:
Raphael Bousso,
Arvin Shahbazi-Moghaddam
Abstract:
Two spatial regions $B$ and $R$ are hyperentangled if the generalized entropy satisfies $S_{\text{gen}}^{B\cup R}<S_{\text{gen}}^R$. If in addition all future (or all past) directed inward null shape deformations of $B$ decrease $S_{\text{gen}}^{B\cup R}$, then we show that the causal development of $B$, with $R$ held fixed, must be incomplete. This result eliminates the Null Energy Condition from…
▽ More
Two spatial regions $B$ and $R$ are hyperentangled if the generalized entropy satisfies $S_{\text{gen}}^{B\cup R}<S_{\text{gen}}^R$. If in addition all future (or all past) directed inward null shape deformations of $B$ decrease $S_{\text{gen}}^{B\cup R}$, then we show that the causal development of $B$, with $R$ held fixed, must be incomplete. This result eliminates the Null Energy Condition from the assumptions of a recently proven singularity theorem. Instead, we assume a quantum version of the Bousso bound. Taking $R$ to contain the Hawking radiation after the Page time, our theorem predicts a singularity in the past causal development of the black hole interior. This is surprising because the classical spacetime is nonsingular in the past. However, one finds that Cauchy slices that are required to contain $R$ do not remain in the semiclassical regime. The quantum singularities predicted by our theorem are an obstruction to further semiclassical evolution, generalizing the singularities of classical general relativity.
△ Less
Submitted 29 March, 2023; v1 submitted 14 June, 2022;
originally announced June 2022.
-
Singularities From Entropy
Authors:
Raphael Bousso,
Arvin Shahbazi-Moghaddam
Abstract:
Assuming the Bousso bound, we prove a singularity theorem: if the light rays entering a hyperentropic region contract, then at least one light ray must be incomplete. "Hyperentropic" means that the entropy of the region exceeds the Bekenstein-Hawking entropy of its spatial boundary. Our theorem provides a direct link between singularities and quantum information. The hyperentropic condition replac…
▽ More
Assuming the Bousso bound, we prove a singularity theorem: if the light rays entering a hyperentropic region contract, then at least one light ray must be incomplete. "Hyperentropic" means that the entropy of the region exceeds the Bekenstein-Hawking entropy of its spatial boundary. Our theorem provides a direct link between singularities and quantum information. The hyperentropic condition replaces the noncompactness assumption in Penrose's theorem, so our theorem is applicable even in a closed universe. In an asymptotically de Sitter spacetime, for example, a big bang singularity can be diagnosed from the presence of dilute radiation at arbitrarily late times. In asymptotically flat space, Penrose's theorem can be recovered by adding soft radiation.
△ Less
Submitted 23 March, 2022; v1 submitted 26 January, 2022;
originally announced January 2022.
-
Finding Pythons in Unexpected Places
Authors:
Netta Engelhardt,
Geoff Penington,
Arvin Shahbazi-Moghaddam
Abstract:
We argue that novel (highly nonclassical) quantum extremal surfaces play a crucial role in reconstructing the black hole interior even for isolated, single-sided, non-evaporating black holes (i.e. with no auxiliary reservoir). Specifically, any code subspace where interior outgoing modes can be excited will have a quantum extremal surface in its maximally mixed state. We argue that as a result, re…
▽ More
We argue that novel (highly nonclassical) quantum extremal surfaces play a crucial role in reconstructing the black hole interior even for isolated, single-sided, non-evaporating black holes (i.e. with no auxiliary reservoir). Specifically, any code subspace where interior outgoing modes can be excited will have a quantum extremal surface in its maximally mixed state. We argue that as a result, reconstruction of interior outgoing modes is always exponentially complex. Our construction provides evidence in favor of a strong Python's lunch proposal: that nonminimal quantum extremal surfaces are the exclusive source of exponential complexity in the holographic dictionary. We also comment on the relevance of these quantum extremal surfaces to the geometrization of state dependence in the typicality arguments for firewalls.
△ Less
Submitted 4 June, 2021; v1 submitted 19 May, 2021;
originally announced May 2021.
-
A World without Pythons would be so Simple
Authors:
Netta Engelhardt,
Geoff Penington,
Arvin Shahbazi-Moghaddam
Abstract:
We show that bulk operators lying between the outermost extremal surface and the asymptotic boundary admit a simple boundary reconstruction in the classical limit. This is the converse of the Python's lunch conjecture, which proposes that operators with support between the minimal and outermost (quantum) extremal surfaces - e.g. the interior Hawking partners - are highly complex. Our procedure for…
▽ More
We show that bulk operators lying between the outermost extremal surface and the asymptotic boundary admit a simple boundary reconstruction in the classical limit. This is the converse of the Python's lunch conjecture, which proposes that operators with support between the minimal and outermost (quantum) extremal surfaces - e.g. the interior Hawking partners - are highly complex. Our procedure for reconstructing this "simple wedge" is based on the HKLL construction, but uses causal bulk propagation of perturbed boundary conditions on Lorentzian timefolds to expand the causal wedge as far as the outermost extremal surface. As a corollary, we establish the Simple Entropy proposal for the holographic dual of the area of a marginally trapped surface as well as a similar holographic dual for the outermost extremal surface. We find that the simple wedge is dual to a particular coarse-grained CFT state, obtained via averaging over all possible Python's lunches. An efficient quantum circuit converts this coarse-grained state into a "simple state" that is indistinguishable in finite time from a state with a local modular Hamiltonian. Under certain circumstances, the simple state modular Hamiltonian generates an exactly local flow; we interpret this result as a holographic dual of black hole uniqueness.
△ Less
Submitted 4 June, 2021; v1 submitted 15 February, 2021;
originally announced February 2021.
-
Island Finder and Entropy Bound
Authors:
Raphael Bousso,
Arvin Shahbazi-Moghaddam
Abstract:
Identifying an entanglement island requires exquisite control over the entropy of quantum fields, which is available only in toy models. Here we present a set of sufficient conditions that guarantee the existence of an island and place an upper bound on the entropy computed by the island rule. This is enough to derive the main features of the Page curve for an evaporating black hole in any spaceti…
▽ More
Identifying an entanglement island requires exquisite control over the entropy of quantum fields, which is available only in toy models. Here we present a set of sufficient conditions that guarantee the existence of an island and place an upper bound on the entropy computed by the island rule. This is enough to derive the main features of the Page curve for an evaporating black hole in any spacetime dimension. Our argument makes use of Wall's maximin formulation and the Quantum Focusing Conjecture. As a corollary, we derive a novel entropy bound.
△ Less
Submitted 13 April, 2021; v1 submitted 27 January, 2021;
originally announced January 2021.
-
Seeing the Entanglement Wedge
Authors:
Adam Levine,
Arvin Shahbazi-Moghaddam,
Ronak M Soni
Abstract:
We study the problem of revealing the entanglement wedge using simple operations. We ask what operation a semiclassical observer can do to bring the entanglement wedge into causal contact with the boundary, via backreaction.
In a generic perturbative class of states, we propose a unitary operation in the causal wedge whose backreaction brings all of the previously causally inaccessible `peninsul…
▽ More
We study the problem of revealing the entanglement wedge using simple operations. We ask what operation a semiclassical observer can do to bring the entanglement wedge into causal contact with the boundary, via backreaction.
In a generic perturbative class of states, we propose a unitary operation in the causal wedge whose backreaction brings all of the previously causally inaccessible `peninsula' into causal contact with the boundary. This class of cases includes entanglement wedges associated to boundary sub-regions that are unions of disjoint spherical caps, and the protocol works to first order in the size of the peninsula. The unitary is closely related to the so-called Connes Cocycle flow, which is a unitary that is both well-defined in QFT and localised to a sub-region. Our construction requires a generalization of the work by Ceyhan & Faulkner to regions which are unions of disconnected spherical caps. We discuss this generalization in the Appendix. We argue that this cocycle should be thought of as naturally generalizing the non-local coupling introduced in the work of Gao, Jafferis & Wall.
△ Less
Submitted 11 June, 2021; v1 submitted 23 September, 2020;
originally announced September 2020.
-
Gravity Dual of Connes Cocycle Flow
Authors:
Raphael Bousso,
Venkatesa Chandrasekaran,
Pratik Rath,
Arvin Shahbazi-Moghaddam
Abstract:
We define the "kink transform" as a one-sided boost of bulk initial data about the Ryu-Takayanagi surface of a boundary cut. For a flat cut, we conjecture that the resulting Wheeler-DeWitt patch is the bulk dual to the boundary state obtained by Connes cocycle (CC) flow across the cut. The bulk patch is glued to a precursor slice related to the original boundary slice by a one-sided boost. This ev…
▽ More
We define the "kink transform" as a one-sided boost of bulk initial data about the Ryu-Takayanagi surface of a boundary cut. For a flat cut, we conjecture that the resulting Wheeler-DeWitt patch is the bulk dual to the boundary state obtained by Connes cocycle (CC) flow across the cut. The bulk patch is glued to a precursor slice related to the original boundary slice by a one-sided boost. This evades ultraviolet divergences and distinguishes our construction from one-sided modular flow. We verify that the kink transform is consistent with known properties of operator expectation values and subregion entropies under CC flow. CC flow generates a stress tensor shock at the cut, controlled by a shape derivative of the entropy; the kink transform reproduces this shock holographically by creating a bulk Weyl tensor shock. We also go beyond known properties of CC flow by deriving novel shock components from the kink transform.
△ Less
Submitted 1 July, 2020;
originally announced July 2020.
-
Quantum Information Bound on the Energy
Authors:
Raphael Bousso,
Arvin Shahbazi-Moghaddam,
Marija Tomasevic
Abstract:
According to the classical Penrose inequality, the mass at spatial infinity is bounded from below by a function of the area of certain trapped surfaces. We exhibit quantum field theory states that violate this relation at the semiclassical level. We formulate a Quantum Penrose Inequality, by replacing the area with the generalized entropy of the lightsheet of an appropriate quantum trapped surface…
▽ More
According to the classical Penrose inequality, the mass at spatial infinity is bounded from below by a function of the area of certain trapped surfaces. We exhibit quantum field theory states that violate this relation at the semiclassical level. We formulate a Quantum Penrose Inequality, by replacing the area with the generalized entropy of the lightsheet of an appropriate quantum trapped surface. We perform a number of nontrivial tests of our proposal, and we consider and rule out alternative formulations. We also discuss the relation to weak cosmic censorhip.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
Quantum Penrose Inequality
Authors:
Raphael Bousso,
Arvin Shahbazi-Moghaddam,
Marija Tomasevic
Abstract:
The classical Penrose inequality specifies a lower bound on the total mass in terms of the area of certain trapped surfaces. This fails at the semiclassical level. We conjecture a Quantum Penrose Inequality: the mass at spatial infinity is lower-bounded by a function of the generalized entropy of the lightsheet of appropriate quantum trapped surfaces. This is the first relation between quantum inf…
▽ More
The classical Penrose inequality specifies a lower bound on the total mass in terms of the area of certain trapped surfaces. This fails at the semiclassical level. We conjecture a Quantum Penrose Inequality: the mass at spatial infinity is lower-bounded by a function of the generalized entropy of the lightsheet of appropriate quantum trapped surfaces. This is the first relation between quantum information in quantum gravity, and the total energy.
△ Less
Submitted 1 September, 2019; v1 submitted 7 August, 2019;
originally announced August 2019.
-
Entropy Variations and Light Ray Operators from Replica Defects
Authors:
Srivatsan Balakrishnan,
Venkatesa Chandrasekaran,
Thomas Faulkner,
Adam Levine,
Arvin Shahbazi-Moghaddam
Abstract:
We study the defect operator product expansion (OPE) of displacement operators in free and interacting conformal field theories using replica methods. We show that as $n$ approaches $1$ a contact term can emerge when the OPE contains defect operators of twist $d-2$. For interacting theories and general states we give evidence that the only possibility is from the defect operator that becomes the s…
▽ More
We study the defect operator product expansion (OPE) of displacement operators in free and interacting conformal field theories using replica methods. We show that as $n$ approaches $1$ a contact term can emerge when the OPE contains defect operators of twist $d-2$. For interacting theories and general states we give evidence that the only possibility is from the defect operator that becomes the stress tensor in the $n\to 1$ limit. This implies that the quantum null energy condition (QNEC) is always saturated for CFTs with a twist gap. As a check, we show independently that in a large class of near vacuum states, the second variation of the entanglement entropy is given by a simple correlation function of averaged null energy operators as studied by Hofman and Maldacena. This suggests that sub-leading terms in the the defect OPE are controlled by a defect version of the spin-3 non-local light ray operator and we speculate about the possible origin of such a defect operator. For free theories this contribution condenses to a contact term that leads to violations of QNEC saturation.
△ Less
Submitted 19 June, 2019;
originally announced June 2019.
-
Ignorance is Cheap: From Black Hole Entropy To Energy-Minimizing States In QFT
Authors:
Raphael Bousso,
Venkatesa Chandrasekaran,
Arvin Shahbazi-Moghaddam
Abstract:
Behind certain marginally trapped surfaces one can construct a geometry containing an extremal surface of equal, but not larger area. This construction underlies the Engelhardt-Wall proposal for explaining Bekenstein-Hawking entropy as a coarse-grained entropy. The construction can be proven to exist classically but fails if the Null Energy Condition is violated. Here we extend the coarse-graining…
▽ More
Behind certain marginally trapped surfaces one can construct a geometry containing an extremal surface of equal, but not larger area. This construction underlies the Engelhardt-Wall proposal for explaining Bekenstein-Hawking entropy as a coarse-grained entropy. The construction can be proven to exist classically but fails if the Null Energy Condition is violated. Here we extend the coarse-graining construction to semiclassical gravity. Its validity is conjectural, but we are able to extract an interesting nongravitational limit. Our proposal implies Wall's ant conjecture on the minimum energy of a completion of a quantum field theory state on a half-space. It further constrains the properties of the minimum energy state; for example, the minimum completion energy must be localized as a shock at the cut. We verify that the predicted properties hold in a recent explicit construction of Ceyhan and Faulkner, which proves our conjecture in the nongravitational limit.
△ Less
Submitted 13 September, 2019; v1 submitted 12 June, 2019;
originally announced June 2019.
-
Higher-Point Positivity
Authors:
Venkatesa Chandrasekaran,
Grant N. Remmen,
Arvin Shahbazi-Moghaddam
Abstract:
We consider the extension of techniques for bounding higher-dimension operators in quantum effective field theories to higher-point operators. Working in the context of theories polynomial in $X=(\partial φ)^2$, we examine how the techniques of bounding such operators based on causality, analyticity of scattering amplitudes, and unitarity of the spectral representation are all modified for operato…
▽ More
We consider the extension of techniques for bounding higher-dimension operators in quantum effective field theories to higher-point operators. Working in the context of theories polynomial in $X=(\partial φ)^2$, we examine how the techniques of bounding such operators based on causality, analyticity of scattering amplitudes, and unitarity of the spectral representation are all modified for operators beyond $(\partial φ)^4$. Under weak-coupling assumptions that we clarify, we show using all three methods that in theories in which the coefficient $λ_n$ of the $X^n$ term for some $n$ is larger than the other terms in units of the cutoff, $λ_n$ must be positive (respectively, negative) for $n$ even (odd), in mostly-plus metric signature. Along the way, we present a first-principles derivation of the propagator numerator for all massive higher-spin bosons in arbitrary dimension. We remark on subtleties and challenges of bounding $P(X)$ theories in greater generality. Finally, we examine the connections among energy conditions, causality, stability, and the involution condition on the Legendre transform relating the Lagrangian and Hamiltonian.
△ Less
Submitted 6 November, 2018; v1 submitted 9 April, 2018;
originally announced April 2018.
-
Energy is Entanglement
Authors:
Stefan Leichenauer,
Adam Levine,
Arvin Shahbazi-Moghaddam
Abstract:
We compute the local second variation of the von Neumann entropy of a region in theories with a gravity dual. For null variations our formula says that the diagonal part of the Quantum Null Energy Condition is saturated in every state, thus providing an equivalence between energy and entropy. We prove that the formula holds at leading order in 1/N, and further argue that it will not be affected at…
▽ More
We compute the local second variation of the von Neumann entropy of a region in theories with a gravity dual. For null variations our formula says that the diagonal part of the Quantum Null Energy Condition is saturated in every state, thus providing an equivalence between energy and entropy. We prove that the formula holds at leading order in 1/N, and further argue that it will not be affected at higher orders. We conjecture that the QNEC is saturated in all interacting theories. We also discuss the special case of free theories, and the implications of our formula for the Averaged Null Energy Condition, Quantum Focusing Conjecture, and gravitational equations of motion. We show that the leading-order gravitational equations of motion, Einstein's equations, are equivalent to leading-order saturation of the QFC for Planck-width deformations.
△ Less
Submitted 7 February, 2018;
originally announced February 2018.