Extremal Surfaces Research Articles

A note on the bulk interpretation of the quantum extremal surface formula

Defining quantum information quantities directly in bulk quantum gravity is a difficult problem due to the fluctuations of spacetime. Some progress was made recently in [1], which provided a bulk interpretation of the Bekenstein Hawking formula for two sided BTZ black holes in terms of the entanglement entropy of gravitational edge modes. We generalize those results to give a bulk entanglement entropy interpretation of the quantum extremal surface formula in AdS3 gravity, as applied to a single interval in the boundary theory. Our computation further supports the proposal that AdS3 gravity can be viewed as a topological phase in which the bulk gravity edge modes are anyons that transform under the quantum group \\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${{\ ext{SL}}}_{q}^{+}\\left(2,{\\mathbb{R}}\\right)$$\\end{document}. These edge modes appear when we cut open the Euclidean path integral along bulk co-dimension 2 slices, and satisfies a shrinkable boundary condition which ensures that the Gibbons-Hawking calculation gives the correct state counting.

Surface growth approach for bulk reconstruction in the AdS/BCFT correspondence

Abstract In this paper, we extend the surface growth approach for bulk reconstruction into the AdS spacetime with a boundary in the AdS/BCFT correspondence. We show that the geometry in the entanglement wedge with a boundary can be constructed from the direct growth of bulk extremal surfaces layer by layer. In addition, we find that the surface growth configuration in BCFT can be connected with the defect multi scale entanglement renormalization ansatz (MERA) tensor network. Furthermore, we also investigate the entanglement of purification within the surface growth process, which not only reveals more refined structure of entanglement entropy in the entanglement wedge but also suggests a selection rule for surface growth in the bulk reconstruction.

Geometry of smooth extremal surfaces

We study the geometry of smooth projective surfaces defined by Frobenius forms, a class of homogenous polynomials in prime characteristic recently shown to have minimal possible F-pure threshold among forms of the same degree. We call these surfaces extremal surfaces, and show that their geometry is reminiscent of the geometry of smooth cubic surfaces, especially non-Frobenius split cubic surfaces. For instance, extremal surfaces have many lines but no triangles, hence many “star points” analogous to Eckardt points on a cubic surface. We generalize the classical notion of a double six for cubic surfaces to a double 2d on an extremal surface of degree d. We show that, asymptotically in d, smooth extremal surfaces have at least 116d14 double 2d's. A key element of the proofs is the large automorphism group of an extremal surface, which we show to act transitively on many associated sets, such as the set of triples of skew lines on the extremal surface.

Non-local computation and the black hole interior

In a two sided black hole, systems falling in from opposite asymptotic regions can meet inside the black hole and interact. This is the case even while the two CFTs describing each asymptotic region are non-interacting. Here, we relate these behind the horizon interactions to non-local quantum computations. This gives a quantum circuit perspective on these interactions, which applies whenever the interaction occurs in the past of a certain extremal surface that sits inside the black hole and in arbitrary dimension. Whenever our perspective applies, we obtain a boundary signature for these interior collisions which is stated in terms of the mutual information. We further revisit the connection discussed earlier between bulk interactions in one sided AdS geometries and non-local computation, and recycle some of our techniques to offer a new perspective on making that connection precise.

Holographic screen sequestration

Holographic screens are codimension-one hypersurfaces that extend the notion of apparent horizons to general (non-black hole) spacetimes and that display interesting thermodynamic properties. We show that if a spacetime contains a codimension-two, boundary-homologous, minimal extremal spacelike surface X (known as an HRT surface in AdS/CFT), then any holographic screens are sequestered to the causal wedges of X. That is, any single connected component of a holographic screen can be located in at most one of the causal future, causal past, inner wedge, or outer wedge of X. We comment on how this result informs possible coarse grained entropic interpretations of generic holographic screens, as well as on connections to semiclassical objects such as quantum extremal surfaces. Published by the American Physical Society 2024

Information retrieval from Hawking radiation in the non-isometric model of black hole interior: Theory and quantum simulation

The nonisometric holographic model of the black hole interior stands out as a potential resolution of the long-standing black hole information puzzle since it remedies the friction between the effective calculation and the microscopic description. In this study, combining the final-state projection model, the nonisometric model of black hole interior, and Hayden-Preskill thought experiment, we investigate the information recovery from decoding Hawking radiation and demonstrate the emergence of the Page time in this setup. We incorporate the effective modes into the scrambling inside the horizon, which are usually disregarded in Hayden-Preskill protocols, and show that the Page time can be identified as the transition of information transmission channels from the EPR projection to the local projections. This offers a new perspective on the Page time. We compute the decoupling condition under which retrieving information is feasible and show that this model computes the black hole entropy consistent with the quantum extremal surface calculation. Assuming the full knowledge of the dynamics of the black hole interior, we show how Yoshida-Kitaev decoding strategy can be employed in the modified Hayden-Preskill protocol. Furthermore, we perform experimental tests of both probabilistic and Grover’s search decoding strategies on the seven-qubit IBM quantum processors to validate our analytical findings and confirm the feasibility of retrieving information in the nonisometric model. This study would stimulate more interest to explore black hole information problem on the quantum processors. Published by the American Physical Society 2024

Back to heterotic strings on ALE spaces. Part II. Geometry of T-dual little strings

This work is the second of a series of papers devoted to revisiting the properties of Heterotic string compactifications on ALE spaces. In this project we study the geometric counterpart in F-theory of the T-dualities between Heterotic ALE instantonic Little String Theories (LSTs) extending and generalising previous results on the subject by Aspinwall and Morrison. Since the T-dualities arise from a circle reduction one can exploit the duality between F-theory and M-theory to explore a larger moduli space, where T-dualities are realised as inequivalent elliptic fibrations of the same geometry. As expected from the Heterotic/F-theory duality the elliptic F-theory Calabi-Yau we consider admit a nested elliptic K3 fibration structure. This is central for our construction: the K3 fibrations determine the flavor groups and their global forms, and are the key to identify various T-dualities. We remark that this method works also more generally for LSTs arising from non-geometric Heterotic backgrounds. We study a first example in detail: a particularly exotic class of LSTs which are built from extremal K3 surfaces that admit flavor groups with maximal rank 18. We find all models are related by a so-called T-hexality (i.e. a 6-fold family of T-dualities) which we predict from the inequivalent elliptic fibrations of the extremal K3.

Extremal surfaces in glue-on AdS/TT¯\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ T\\overline{T} $$\\end{document} holography

TT¯\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ T\\overline{T} $$\\end{document} deformed CFTs with positive deformation parameter have been proposed to be holographically dual to Einstein gravity in a glue-on AdS3 spacetime [1]. The latter is constructed from AdS3 by gluing a patch of an auxiliary AdS3∗\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ {\ extrm{AdS}}_3^{\\ast } $$\\end{document} spacetime to its asymptotic boundary. In this work, we propose a glue-on version of the Ryu-Takayanagi formula, which is given by the signed area of an extremal surface. The extremal surface is anchored at the endpoints of an interval on a cutoff surface in the glue-on geometry. It consists of an RT surface lying in the AdS3 part of the spacetime and its extension to the AdS3∗\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ {\ extrm{AdS}}_3^{\\ast } $$\\end{document} region. The signed area is the length of the RT surface minus the length of the segments in AdS3∗\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ {\ extrm{AdS}}_3^{\\ast } $$\\end{document}. We find that the Ryu-Takayanagi formula with the signed area reproduces the entanglement entropy of a half interval for TT¯\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ T\\overline{T} $$\\end{document}-deformed CFTs on the sphere. We then study the properties of extremal surfaces on various glue-on geometries, including Poincaré AdS3, global AdS3, and the BTZ black hole. When anchored on multiple intervals at the boundary, the signed area of the minimal surfaces undergoes phase transitions with novel properties. In all of these examples, we find that the glue-on extremal surfaces exhibit a minimum length related to the deformation parameter of TT¯\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ T\\overline{T} $$\\end{document}-deformed CFTs.

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.

Global Nonlinear Stability of Traveling Wave Solution to Time-Like Extremal Hypersurface in Minkowski Space

Abstract There are a few results about the global nonlinear stability of nontrivial large solution to quasilinear wave equations. Time-like extremal surface in Minkowski space is an important model of quasilinear wave equation. There are two folds in this paper. Firstly, we get the existence of traveling wave solution to the time-like extremal hypersurface in $\mathbb {R}^{1+(n+1)}$, which can be considered as the generalized Bernstein theorem. For $n=2$, we are also concerned with global stability of traveling wave solutions with speed of light to time-like extremal hypersurface equation in $1+(2+1)$ dimensional Minkowski space, which is corresponding with quasilinear wave equation in two space dimensions.

Carroll black holes

Despite the absence of a lightcone structure, some solutions of Carroll gravity show black hole-like behaviour. We define Carroll black holes as solutions of Carroll gravity that exhibit Carroll thermal properties and have a Carroll extremal surface, notions introduced in our work. The latter is a Carroll analogue of a Lorentzian extremal surface. As examples, we discuss the Carroll versions of Schwarzschild, Reissner-Nordström, and BTZ black holes and black hole solutions of generic 1+1 dimensional Carroll dilaton gravity, including Carroll JT and Carroll Witten black holes.

On stable commutator length of non-filling curves in surfaces

We give a new proof of rationality of stable commutator length (scl) of certain elements in surface groups: those represented by curves that do not fill the surface. Such elements always admit extremal surfaces for scl. These results also hold more generally for non-filling $1$ –chains.

Holography and correlation functions of huge operators: spacetime bananas

We initiate the study of holographic correlators for operators whose dimension scales with the central charge of the CFT. Differently from light correlators or probes, the insertion of any such maximally heavy operator changes the AdS metric, so that the correlator itself is dual to a backreacted geometry with marked points at the Poincaré boundary. We illustrate this new physics for two-point functions. Whereas the bulk description of light or probe operators involves Witten diagrams or extremal surfaces in an AdS background, the maximally heavy two-point functions are described by nontrivial new geometries which we refer to as “spacetime bananas”. As a universal example, we discuss the two-point function of maximally heavy scalar operators described by the Schwarzschild black hole in the bulk and we show that its onshell action reproduces the expected CFT result. This computation is nonstandard, and adding boundary terms to the action on the stretched horizon is crucial. Then, we verify the conformal Ward Identity from the holographic stress tensor and discuss important aspects of the Fefferman-Graham patch. Finally we study a Heavy-Heavy-Light-Light correlator by using geodesics propagating in the banana background. Our main motivation here is to set up the formalism to explore possible universal results for three- and higher-point functions of maximally heavy operators.

The Page curve from the entanglement membrane

We study entanglement dynamics in toy models of black hole information built out of chaotic many-body quantum systems, by utilising a coarse-grained description of entanglement dynamics in such systems known as the ‘entanglement membrane’. We show that in these models the Page curve associated to the entropy of Hawking radiation arises from a transition in the entanglement membrane around the Page time, in an analogous manner to the change in quantum extremal surfaces that leads to the Page curve in semi-classical gravity. We also use the entanglement membrane prescription to study the Hayden-Preskill protocol, and demonstrate how information initially encoded in the black hole is rapidly transferred to the radiation around the Page time. Our results relate recent developments in black hole information to generic features of entanglement dynamics in chaotic many-body quantum systems.

Beyond islands: a free probabilistic approach

We give a free probabilistic proposal to compute the fine-grained radiation entropy for an arbitrary bulk radiation state, in the context of the Penington-Shenker-Stanford-Yang (PSSY) model where the gravitational path integral can be implemented with full control. We observe that the replica trick gravitational path integral is combinatorially matching the free multiplicative convolution between the spectra of the gravitational sector and the matter sector respectively. The convolution formula computes the radiation entropy accurately even in cases when the island formula fails to apply. It also helps to justify this gravitational replica trick as a soluble Hausdorff moment problem. We then work out how the free convolution formula can be evaluated using free harmonic analysis, which also gives a new free probabilistic treatment of resolving the separable sample covariance matrix spectrum.The free convolution formula suggests that the quantum information encoded in competing quantum extremal surfaces can be modelled as free random variables in a finite von Neumann algebra. Using the close tie between free probability and random matrix theory, we show that the PSSY model can be described as a random matrix model that is essentially a generalization of Page’s model. It is then manifest that the island formula is only applicable when the convolution factorizes in regimes characterized by the one-shot entropies. We further show that the convolution formula can be reorganized to a generalized entropy formula in terms of the relative entropy.

The power of Lorentzian wormholes

As shown by Louko and Sorkin in 1995, topology change in Lorentzian signature involves spacetimes with singular points, which they called crotches. We modify their construction to obtain Lorentzian semiclassical wormholes in asymptotically AdS. These solutions are obtained by inserting crotches on known saddles, like the double-cone or multiple copies of the Lorentzian black hole. The crotches implement swap-identifications, and are classically located near an extremal surface. The resulting Lorentzian wormholes have an instanton action equal to their area, which is responsible for topological suppression in any number of dimensions.We conjecture that including such Lorentzian wormhole spacetimes is equivalent to path integrating over all mostly Euclidean smooth spacetimes. We present evidence for this by reproducing semiclassical features of the genus expansion of the spectral form factor, and of a late-time two point function, by summing over the moduli space of Lorentzian wormholes. As a final piece of evidence, we discuss the Lorentzian version of West-Coast replica wormholes.

Canonical purification and the quantum extremal shock

We study the canonical purification of pure, bi-partite states (with respect to one of the parties) obtained by turning on sources in the Euclidean path integral. In holographic conformal field theories, the Lorentzian bulk dual of the canonical purification consists of the corresponding entanglement wedge glued to its CRT image at the quantum extremal surface. However, the mismatch in the classical expansions at the QES due to quantum corrections needs to be supported by a shock in the bulk matter stress tensor in order for the bulk to satisfy Einstein’s equations. Working perturbatively to first order in double-trace sources around the thermofield double state, we demonstrate that the state of the bulk matter in the dual to the canonically purified boundary CFT state precisely has this quantum extremal shock in the bulk stress tensor. We interpret our results as the emergence of gravitational physics from the CFT entanglement structure in a context where bulk quantum corrections are important.

Bridging the static patches: de Sitter holography and entanglement

In the context of de Sitter static-patch holography, two prescriptions have been put forward for holographic entanglement entropy computations, the monolayer and bilayer proposals. In this paper, we reformulate both prescriptions in a covariant way and extend them to include quantum corrections. We argue that the bilayer proposal is self-consistent, while the monolayer proposal exhibits contradictory behavior. In fact, the bilayer proposal leads to a stronger holographic description, in which the full spacetime is encoded on two screens at the cosmological horizons. At the classical level, we find large degeneracies of minimal extremal homologous surfaces, localized at the horizons, which can be lifted by quantum corrections. The entanglement wedges of subregions of the screens exhibit non-trivial behaviors, hinting at the existence of interesting phase transitions and non-locality in the holographic theory. In particular, while each screen encodes its corresponding static patch, we show that the entanglement wedge of the screen with the larger quantum area extends and covers the causal diamond between the screens, with a phase transition occurring when the quantum areas of the screens become equal. We argue that the capacity of the screens to encode the region between them is lost, when these are pushed further in the static patches of the observers and placed on stretched horizons.

Explicit black hole thermodynamics in natural variables

We consider the general thermal asymptotically flat Kerr-Newman black holes in 4d Einstein-Maxwell theory. Even though their thermodynamics has been understood for decades, the Gibbs free energy and on-shell action are only known implicitly as functions of the standard chemical potentials. Using the so-called left and right moving (or holomorphic and anti-holomorphic) variables related to the chemical potentials on both the outer and the inner horizons, we are able to present explicit and very simple expressions for all quantities. We discuss various limits in the parameter space, remarkably finding a smooth BPS limit allowing direct access to the extremal surface. In the BPS limit the anti-holomorphic part of the on-shell action vanishes identically, leading automatically to the holomorphic expression expected microscopically. This gives us confidence that the newly defined thermal partition function in terms of these variables is the natural candidate for a full microscopic description.

Page curve and island in EGB gravity

In this paper, the information paradox on lower-dimensional Gauss–Bonnet gravity, known as a three-dimensional EGB black hole, is studied using the quantum extremal island approach. For that, we connect an auxiliary flat bath system to this timelike singularity spacetime and estimate the entropy of hawking radiation in its asymptotic regions when gravity is weak. The addition of island areas to the entanglement wedge of radiation causes its entropy to obey the Page curve, as shown. The quantum extremal surface, or island boundary, is outside the horizon. This yields a time-independent equation for Hawking radiation fine-grained entropy compatible with the appropriate Page curve. We also discover the modifications to this entropy and Page time.