A bstract We formulate a quantum generalization of maximin surfaces and show that a quantum maximin surface is identical to the minimal quantum extremal surface, introduced in the EW prescription. We discuss various subtleties and complications associated to a maximinimization of the bulk von Neumann entropy due to corners and unboundedness and present arguments that nonetheless a maximinimization of the UV-finite generalized entropy should be well-defined. We give the first general proof that the EW prescription satisfies entanglement wedge nesting and the strong subadditivity inequality. In addition, we apply the quantum maximin technology to prove that recently proposed generalizations of the EW prescription to nonholographic subsystems (including the so-called “quantum extremal islands”) also satisfy entanglement wedge nesting and strong subadditivity. Our results hold in the regime where backreaction of bulk quantum fields can be treated perturbatively in G N ħ , but we emphasize that they are valid even when gradients of the bulk entropy are of the same order as variations in the area, a regime recently investigated in new models of black hole evaporation in AdS/CFT.
A bstract We formulate a quantum generalization of maximin surfaces and show that a quantum maximin surface is identical to the minimal quantum extremal surface, introduced in the EW prescription. We discuss various subtleties and complications associated to a maximinimization of the bulk von Neumann entropy due to corners and unboundedness and present arguments that nonetheless a maximinimization of the UV-finite generalized entropy should be well-defined. We give the first general proof that the EW prescription satisfies entanglement wedge nesting and the strong subadditivity inequality. In addition, we apply the quantum maximin technology to prove that recently proposed generalizations of the EW prescription to nonholographic subsystems (including the so-called “quantum extremal islands”) also satisfy entanglement wedge nesting and strong subadditivity. Our results hold in the regime where backreaction of bulk quantum fields can be treated perturbatively in G N ħ , but we emphasize that they are valid even when gradients of the bulk entropy are of the same order as variations in the area, a regime recently investigated in new models of black hole evaporation in AdS/CFT.
A bstract Bulk quantum fields are often said to contribute to the generalized entropy 4GNA+Sbulk A 4 G N + S bulk only at O (1). Nonetheless, in the context of evaporating black holes, O (1 /GN ) gradients in S bulk can arise due to large boosts, introducing a quantum extremal surface far from any classical extremal surface. We examine the effect of such bulk quantum effects on quantum extremal surfaces (QESs) and the resulting entanglement wedge in a simple two-boundary 2 d bulk system defined by Jackiw-Teitelboim gravity coupled to a 1+1 CFT. Turning on a coupling between one boundary and a further external auxiliary system which functions as a heat sink allows a two-sided otherwise-eternal black hole to evaporate on one side. We find the generalized entropy of the QES to behave as expected from general considerations of unitarity, and in particular that ingoing information disappears from the entanglement wedge after a scambling time 2πβlogΔS+O(1) β 2 π log ΔS + O 1 in accord with expectations for holographic implementations of the Hayden-Preskill protocol. We also find an interesting QES phase transition at what one might call the Page time for our process.
A bstract 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.
Abstract\n \n Bulk quantum fields are often said to contribute to the generalized entropy \n \n fracA4GN+Smathrmbulk\n \n \n A\n \n 4\n \n G\n N\n \n \n \n +\n \n S\n bulk\n \n \n \n only at O(1). Nonetheless, in the context of evaporating black holes, O(1/GN ) gradients in S\n bulk can arise due to large boosts, introducing a quantum extremal surface far from any classical extremal surface. We examine the effect of such bulk quantum effects on quantum extremal surfaces (QESs) and the resulting entanglement wedge in a simple two-boundary 2d bulk system defined by Jackiw-Teitelboim gravity coupled to a 1+1 CFT. Turning on a coupling between one boundary and a further external auxiliary system which functions as a heat sink allows a two-sided otherwise-eternal black hole to evaporate on one side. We find the generalized entropy of the QES to behave as expected from general considerations of unitarity, and in particular that ingoing information disappears from the entanglement wedge after a scambling time \n \n fracbeta2pilogvarDeltaS+O(1)\n \n \n β\n \n 2\n π\n \n \n log\n ΔS\n +\n O\n \n 1\n \n \n \n in accord with expectations for holographic implementations of the Hayden-Preskill protocol. We also find an interesting QES phase transition at what one might call the Page time for our process.
A bstract The concept of the generalized entanglement wedge was recently proposed by Bousso and Penington, which states that any bulk gravitational region a possesses an associated generalized entanglement wedge E ( a ) ⊃ a on a static Cauchy surface M in general gravitational spacetimes, where E ( a ) may contain an entanglement island I ( a ). It suggests that the fine-grained entropy for bulk region a is given by the generalized entropy S gen ( E ( a )). Motivated by this proposal, we extend the quantum bit thread description to general gravitational spacetimes, no longer limited to the AdS spacetime. By utilizing the convex optimization techniques, a dual flow description for the generalized entropy S gen ( E ( a )) of a bulk gravitational region a is established on the static Cauchy surface M , such that S gen ( E ( a )) is equal to the maximum flux of any flow that starts from the boundary ∂M and ends at bulk region a , or equivalently, the maximum number of bit threads that connect the boundary ∂M to the bulk region a . In addition, the nesting property of flows is also proved. Thus the basic properties of the entropy for bulk regions, i.e. the monotonicity, subadditivity, Araki-Lieb inequality and strong subadditivity, can be verified from flow perspectives by using properties of flows, such as the nesting property. Moreover, in max thread configurations, we find that there exists some lower bounds on the bulk entanglement entropy of matter fields in the region E ( a ) \ a , particularly on an entanglement island region I ( a ) ⊂ ( E ( a ) \ a ), as required by the existence of a nontrivial generalized entanglement wedge. Our quantum bit thread formulation may provide a way to investigate more fine-grained entanglement structures in general spacetimes.
Abstract Quantum corrections to holographic entanglement entropy require knowledge of the bulk quantum state. In this paper, we derive a novel dual prescription for the generalized entropy that allows us to interpret the leading quantum corrections in a geometric way with minimal input from the bulk state. The equivalence is proven using tools borrowed from convex optimization. The new prescription does not involve bulk surfaces but instead uses a generalized notion of a flow, which allows for possible sources or sinks in the bulk geometry. In its discrete version, our prescription can alternatively be interpreted in terms of a set of Planck-thickness bit threads, which can be either classical or quantum. This interpretation uncovers an aspect of the generalized entropy that admits a neat information-theoretic description, namely, the fact that the quantum corrections can be cast in terms of entanglement distillation of the bulk state. We also prove some general properties of our prescription, including nesting and a quantum version of the max multiflow theorem. These properties are used to verify that our proposal respects known inequalities that a von Neumann entropy must satisfy, including subadditivity and strong subadditivity, as well as to investigate the fate of the holographic monogamy. Finally, using the Iyer-Wald formalism we show that for cases with a local modular Hamiltonian there is always a canonical solution to the program that exploits the property of bulk locality. Combining with previous results by Swingle and Van Raamsdonk, we show that the con- sistency of this special solution requires the semi-classical Einstein’s equations to hold for any consistent perturbative bulk quantum state.
Following the work of [J. High Energy Phys. 04, 062 (2021)], 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.