Searcharxiv⌕ Search

arXiv subjects

Arvin Shahbazi-Moghaddam

Publications and source records attributed to Arvin Shahbazi-Moghaddam.

At least 19 recordsLinked to original sources

Quantum State of a Gravitating Spacetime Region

We associate a gravitational Hilbert space $\mathbf{H}_σ$ to any closed compact $(d-1)$-manifold $σ$ with real metric. A quantum state $\mathcal{J}(σ)$ is a $d$-manifold bounded by $σ$ and equipped with elliptic data. An inner product is defined by gluing states pairwise across $σ$ and evaluated by viewing the resulting closed $d$-manifold as a boundary condition on the gravitational path integral (GPI) over $(d+1)$-manifolds. If $σ$ is nonempty and the GPI is dominated by a single $(d+1)$-manifold $M$ in the $G_N\to 0$ limit, then $M$ contains a Lorentzian CRT fixed-point set, providing $\mathcal{J}(σ)$ with a classical spacetime interpretation. Conversely, given a finite Lorentzian domain with edge $σ$, a state $\mathcal{J}(σ)$ may be associated to it by deforming its initial data off the real Lorentzian section and retaining only elliptic data. This establishes a broad correspondence between non-asymptotic spacetime regions and quantum states. Assuming that $\mathbf{H}_σ$ factorizes over connected components of $σ$, our framework admits operators and partial traces. This allows us to explore the information-theoretic structure of the states we define. As an example, we construct a family of states by deforming partial Cauchy slices $Σ$ that straddle a two-sided black hole; $σ$ consists of two spheres. We construct the reduced state on one sphere and find that its Rényi entropies are positive, monotonic, and sensitive to all aspects of $Σ$ and its complex deformation. The von Neumann entropy, however, is controlled only by the maximin surface in the causal domain of $Σ$, independently of other parameters, so long as the complex deformation does not vanish. Our proposal may thus explain the efficacy of tensor network toy models of holography while transcending their limitations.

hep-th↗

Tests of restricted Quantum Focusing and a new CFT bound

The restricted quantum focusing conjecture (rQFC) plays a central role in an axiomatic formulation of semiclassical gravity. Since much hinges on its validity, it is imperative to subject the rQFC to rigorous tests in novel settings. Here we do so in two independent directions. First, we prove rQFC in a class of spacetime dimension $d=2$ toy models, JT gravity coupled to a QFT. We also construct explicit counter-examples to the original and stronger Quantum Focusing Conjecture in a regime where matter quantum effects are comparable to the total dilaton value. Second, for $d>2$, we derive from the rQFC a constraint stronger than the Quantum Null Energy Condition (QNEC). In a broad class of states, this bound forbids the QNEC from saturating faster than $O(\mathcal{A})$ as the transverse area $\mathcal{A}$ of a certain null deformation shrinks to zero. We speculate about a universal strengthened QNEC holding across all QFT states.

hep-th↗

Quantum State of a Gravitating Region

We propose that any compact $d$-manifold with elliptic data, $\mathcal{J}$, prepares a quantum state $|\mathcal{J}\rangle$ on its $(d-1)$-boundary $σ$. Elliptic data consists of metric and field values, or their conjugates, but not both. No asymptotic structure is required. Inner products and traces are evaluated by the gravitational path integral with closed boundary conditions obtained by gluing elliptic data manifolds. In particular, we give a prescription for the Rényi entropies $S_n$ of a subregion of $σ$. In a class of examples, we find that $S_n$ is nonnegative and nonincreasing with $n$, as required for consistency. We obtain the von Neumann entropy by analytic continuation and find agreement with the minimal surface prescription of Bousso and Penington.

hep-th↗

Consistent Evaluation of the No-Boundary Proposal

We revisit the Hartle-Hawking no-boundary proposal. To extract probabilities, one must use the gravitational path integral (GPI) to compute not only the no-boundary amplitude, but also the norms by which its square is divided. We find that this dramatically alters predictions: the probability for any closed universe is either nearly 1, or exactly 1. That is, in the Hilbert space of closed universes defined by the GPI, the states of interest in cosmology are all nearly parallel to the Hartle-Hawking state up to nonperturbative corrections in $G_N^{-1}$. We also consider a statistical interpretation of the GPI, as an average of arbitrary products of amplitudes. We find that all amplitudes are exactly 1 in this case, consistent with recent arguments that the statistical approach to the GPI with a closed boundary computes an average over one-dimensional Hilbert spaces. As an example, we illustrate the consistent evaluation of the no-boundary proposal in inflationary cosmology.

hep-th↗

Constraints on the resolution of spacetime singularities

What happens at spacetime singularities is poorly understood. The Penrose-Wall singularity theorem constrains possible scenarios, but until recently its key assumption--the generalized second law (GSL)--had only been proven perturbatively, severely limiting this application. We highlight that recent progress enables a proof of the GSL in holographic brane-world models, valid non-perturbatively at the species scale $cG$ (with $c$ the number of matter fields and $G$ Newton's constant). This enables genuine constraints: an outer-trapped surface in the Einstein gravity regime implies geodesic incompleteness non-perturbatively at the species scale. Conversely, any genuine resolution must evade Penrose's criteria. We illustrate both possibilities with explicit examples: the classical BTZ black hole evolves to a more severe singularity, while a null singularity on the Rindler horizon is resolved, both by species-scale effects. Subject to the GSL, these constraints on singularity resolution apply beyond brane-worlds: namely, in any theory with a geometric UV scale--roughly, where the metric remains well-defined but classical Einstein gravity breaks down.

hep-th↗

The Structure of Quantum Singularities on a Cauchy Horizon

Spacetime singularities pose a long-standing puzzle in quantum gravity. Unlike Schwarzschild, a generic family of black holes gives rise to a Cauchy horizon on which, even in the Hartle-Hawking state, quantum observables such as $\langle T_{μν} \rangle$ -- the expectation value of the stress-energy tensor -- can diverge, causing a breakdown of semiclassical gravity. Because they are diagnosed within quantum field theory (QFT) on a smooth background, these singularities may provide a better-controlled version of the spacetime singularity problem, and merit further study. Here, I highlight a mildness puzzle of Cauchy horizon singularities: the $\langle T_{μν} \rangle$ singularity is significantly milder than expected from symmetry and dimensional analysis. I address the puzzle in a simple spacetime $W_P$, which arises universally near all black hole Cauchy horizons: the past of a codimension-two spacelike plane in flat spacetime. Specifically, I propose an extremely broad QFT construction in which, roughly speaking, Cauchy horizon singularities originate from operator insertions in the causal complement of the spacetime. The construction reproduces well-known outer horizon singularities (e.g., in the Boulware state), and remarkably, when applied to $W_P$, gives rise to a universal mild singularity structure for robust singularities, ones whose leading singular behavior is state-independent. I make non-trivial predictions for all black hole Cauchy horizon singularities using this, and discuss extending the results beyond robust singularities and the strict near Cauchy horizon limit.

hep-th↗

Restricted Quantum Focusing

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.

hep-th↗

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↗

Quantum Singularities

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.

hep-th↗

Singularities From Entropy

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.

hep-th↗

Seeing the Entanglement Wedge

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.

hep-th↗

A World without Pythons would be so Simple

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.

hep-th↗

Finding Pythons in Unexpected Places

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.

hep-th↗

Island Finder and Entropy Bound

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.

hep-th↗

Gravity Dual of Connes Cocycle Flow

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.

hep-th↗

Ignorance is Cheap: From Black Hole Entropy To Energy-Minimizing States In QFT

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.

hep-th↗

Quantum Information Bound on the Energy

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.

hep-th↗

Quantum Penrose Inequality

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.

hep-th↗