Islands outside the horizon - arXiv · Islands outside the horizon Ahmed Almheiri,1 Raghu...

Islands outside the horizon

Ahmed Almheiri,1 Raghu Mahajan,1,2 Juan Maldacena1

1Institute for Advanced Study, Princeton, NJ 08540, USA

2Jadwin Hall, Princeton University, Princeton, NJ 08540, USA

[email protected], raghu [email protected], [email protected]

Abstract

We consider an AdS2 black hole in equilibrium with a bath, which we take to have a dualdescription as (0+1)-dimensional quantum mechanical system coupled to a (1+1)-dimensionalfield theory serving as the bath. We compute the entropies of both the quantum mechanicaldegrees of freedom and of the bath separately, while allowing contributions from entanglementwedge “islands”. We find situations where the island extends outside the black hole horizon.This suggests possible causality paradoxes which we show are avoided because of the quantumfocusing conjecture. Finally, we formulate a version of the information paradox for a black hole incontact with a bath in the Hartle-Hawking state, and demonstrate the role of islands in resolvingthis paradox.

arX

iv:1

910.

1107

7v3

[he

p-th

] 1

7 D

ec 2

019

Contents

1 Introduction 2

2 Extremal black hole coupled to a bath 32.1 A consistency condition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

3 Nonzero temperature black hole coupled to a bath 103.1 Who claims the island? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123.2 Rescuing the information stranded in the island . . . . . . . . . . . . . . . . . . . . 14

4 An information paradox for the eternal black hole 15

5 “Phenomenological” applications 195.1 Four dimensional near extremal black holes . . . . . . . . . . . . . . . . . . . . . . . 195.2 Comment on the transplanckian problem in Hawking radiation and cosmology . . . 20

6 Discussion 20

1 Introduction

The emergence of a Page curve for evaporating black holes is associated to contributions to the vonNeumann entropy of Hawking radiation coming from an island behind the horizon [1, 2, 3]. Theprescription is to compute the entropy of the union of the Hawking radiation and the island, plusa contribution from the boundary area of the island:

S[Rad] = min

{ext

[S[Rad ∪ I] +

Area[∂I]

4GN

]}. (1)

Here, by “Rad” we mean the radiation in the full quantum description. In contrast, by “Rad” wemean the description of radiation in the semiclassical description. We extremize the generalizedentropy over all possible islands I, and the minimum value gives the entropy of Hawking radiation.The reason that (1) leads to a decreasing fine-grained entropy for the Hawking radiation is that thesystem Rad ∪ I contains both the outgoing Hawking radiation and its interior purifying partner.

These islands could in principle exist anywhere in the spacetime, with potentially interestingconsequences if they exist inside the causal wedge. In previously considered examples [1, 2, 3], theislands were always behind a black hole horizon. In this work, we will discuss examples where theislands exist outside black hole horizons. These new examples involve black holes that are eternallycoupled to, and in equilibrium with, a bath at zero or non-zero temperatures.

Following [2], we will consider nearly-AdS2 black holes in Jackiw-Teitelboim gravity with con-formal matter, which are eternally joined along the AdS boundary to an external flat-space CFT.This can be thought of as a toy model for asymptotically-flat near-extremal Reissner-Nordstromblack holes, where we neglect the effects of gravity in the asymptotically-flat region. The goal isto analyze the role of islands in the computation of the entropy of various regions. An interestingresult we find is that the near-horizon region outside the black hole is contained in an island corre-sponding to a region far away in the bath. This suggests that the physics of the near-horizon regionis encoded in the state of the bath far away from the black hole.

This observation leads to the counterintuitive result that the entanglement wedge associated tothe dual quantum system at the AdS2 boundary is contained within its causal wedge. This gives rise

2

to an apparent paradox: If we were to decouple the black hole from the bath, could the boundarysystem get a signal from the island? The naive spacetime diagram suggests that we do. However,we expect that the decoupling process will produce some nonzero energy which should move thehorizon outwards so that the island lies behind the final horizon. We argue that the quantumfocusing conjecture (QFC) [4] is sufficient to avoid a paradox.

We then consider a black hole in equilibrium with a bath at finite temperature. The systemcan be purified by introducing the thermofield double, which is described by the Hartle-Hawkingstate in the two-sided geometry [5]. In this system, it is now possible to formulate a version ofthe Hawking information paradox [6], or its AMPS version [7], by looking at the behavior of theentropy of the pair of boundary quantum mechanical systems or the pair of outside regions. A veryclosely related paradox was discussed in [8]. The system is invariant under boosts, which involveforwards time translations on one side and backwards on the other. However, it has interesting timedependence if we consider forwards time evolution on both sides. We will analyze the evolution ofthe entanglement entropy of the union of the two boundary quantum mechanical systems. Initially,the entropy of the union of the two boundaries is relatively small because the two boundaries aremostly entangled with each other. As we evolve forwards on both sides, the black holes emit Hawkingradiation and absorb radiation from the bath. There is no gravitational backreaction because theenergy that is emitted precisely balances the energy that falls in. However, this process leads to agrowing entanglement between each boundary system and the bath, which causes the entropy of thepair of boundaries to grow linearly with time. But the entropy of the pair of the boundaries shouldnot be larger than twice their Bekenstein-Hawking entropy. This apparent paradox is resolved bythe appearance of islands. At late times, we get an island that spans the black hole interior andalso invades a little outside each of the two horizons. Once the island is present, the entropy of theboundaries is constant in time and is given essentially by twice the Bekenstein-Hawking answer.The final resolution of this version of the information paradox is conceptually as in [1, 2], but it istechnically simpler because the geometry is that of the usual eternal black hole, and we do not haveto find the time-dependent geometry of an evaporating black hole.

This paper is organized as follows. In section 2, we discuss the basic setup of a two-dimensionalgravity theory coupled to a bath. We consider the zero temperature case and compute the entan-glement wedge of a region including the boundary quantum mechanical system. We find a quantumextremal surface outside the horizon. We also discuss how this is consistent with causality, thanksto the quantum focusing conjecture. In section 3, we consider the same system but at finite tem-perature. Again we get a quantum extremal surface outside the horizon. In section 4, we discuss aversion of the information paradox for the Hartle-Hawking state of a black hole coupled to a bath.In section 5, we discuss applications of our ideas to some four-dimensional black holes, and also tothe transplanckian problem in Hawking radiation and cosmology. We conclude in section 6 withsome discussion.

2 Extremal black hole coupled to a bath

In this section, we consider an extremal black hole coupled to a bath. By a bath we mean a quantummechanical system with no gravity, or one where we can neglect the effects of gravity. This setupcould be an approximation to a black hole in asymptotically-flat space, where we neglect the effectsof quantum gravity in the flat space region far away.

More specifically, we consider two-dimensional Jackiw-Teitelboim gravity, with matter given bya two-dimensional CFT with central charge c. Consider a zero-temperature black hole in this theory.We now couple this gravity theory to a bath that consists of the same CFT2, but living in half of

3

Bath<latexit sha1_base64="uU4hN6ZV7M4O7A3djAY3x+sT9Sg=">AAAB8nicbVDLSgMxFM34rPVVdekmWARXZaYKupKiG5cV7APaoWTSO21oZjIkd8Qy9DPcuFDErV/jzr8xbWehrQcCh3PuJeeeIJHCoOt+Oyura+sbm4Wt4vbO7t5+6eCwaVSqOTS4kkq3A2ZAihgaKFBCO9HAokBCKxjdTv3WI2gjVPyA4wT8iA1iEQrO0EqdLsITZjcMh5NeqexW3BnoMvFyUiY56r3SV7eveBpBjFwyYzqem6CfMY2CS5gUu6mBhPERG0DH0phFYPxsFnlCT63Sp6HS9sVIZ+rvjYxFxoyjwE5GNp1Z9Kbif14nxfDKz0ScpAgxn38UppKiotP7aV9o4CjHljCuhc1K+ZBpxtG2VLQleIsnL5NmteKdV6r3F+XadV5HgRyTE3JGPHJJauSO1EmDcKLIM3klbw46L8678zEfXXHynSPyB87nD69DkYA=</latexit>

Extremal BH<latexit sha1_base64="/GP/bntLDLCBDBm1yQZwXee1EYE=">AAAB+3icbVDLSgNBEJz1GeNrjUcvg0HwFHajYI5BEXKMYB6QLGF20kmGzD6Y6ZWEJb/ixYMiXv0Rb/6Nk2QPmljQUFR1093lx1JodJxva2Nza3tnN7eX3z84PDq2TwpNHSWKQ4NHMlJtn2mQIoQGCpTQjhWwwJfQ8sd3c7/1BEqLKHzEaQxewIahGAjO0Eg9u9BFmGB6P0EFAZP0tjbr2UWn5CxA14mbkSLJUO/ZX91+xJMAQuSSad1xnRi9lCkUXMIs3000xIyP2RA6hoYsAO2li9tn9MIofTqIlKkQ6UL9PZGyQOtp4JvOgOFIr3pz8T+vk+Cg4qUijBOEkC8XDRJJMaLzIGhfKOAop4YwroS5lfIRU4yjiStvQnBXX14nzXLJvSqVH66L1UoWR46ckXNySVxyQ6qkRuqkQTiZkGfySt6smfVivVsfy9YNK5s5JX9gff4A/h6UXg==</latexit>

AdS2<latexit sha1_base64="FpuR4q3hMyWyCJmO3SVNBhwyIoo=">AAAB83icbVDLSgNBEJyNrxhfUY9eBoPgKexGwRwjXjxGNA/ILmF2tpMMmX0w0yuGJb/hxYMiXv0Zb/6Nk2QPmljQUFR1093lJ1JotO1vq7C2vrG5Vdwu7ezu7R+UD4/aOk4VhxaPZay6PtMgRQQtFCihmyhgoS+h449vZn7nEZQWcfSAkwS8kA0jMRCcoZFcF+EJs+vgftqv9csVu2rPQVeJk5MKydHsl7/cIOZpCBFyybTuOXaCXsYUCi5hWnJTDQnjYzaEnqERC0F72fzmKT0zSkAHsTIVIZ2rvycyFmo9CX3TGTIc6WVvJv7n9VIc1L1MREmKEPHFokEqKcZ0FgANhAKOcmII40qYWykfMcU4mphKJgRn+eVV0q5VnYtq7e6y0qjncRTJCTkl58QhV6RBbkmTtAgnCXkmr+TNSq0X6936WLQWrHzmmPyB9fkD5d2Rjg==</latexit>

⌘<latexit sha1_base64="8Lrr13Chi5EWbq4szIfy49yosxk=">AAAB7XicbVDLTgJBEOzFF+IL9ehlIjHxRHbRRI9ELx4xkUcCGzI79MLI7M46M0tCCP/gxYPGePV/vPk3DrAHBSvppFLVne6uIBFcG9f9dnJr6xubW/ntws7u3v5B8fCooWWqGNaZFFK1AqpR8BjrhhuBrUQhjQKBzWB4O/ObI1Say/jBjBP0I9qPecgZNVZqdPAp5aNuseSW3TnIKvEyUoIMtW7xq9OTLI0wNkxQrduemxh/QpXhTOC00Ek1JpQNaR/blsY0Qu1P5tdOyZlVeiSUylZsyFz9PTGhkdbjKLCdETUDvezNxP+8dmrCa3/C4yQ1GLPFojAVxEgye530uEJmxNgSyhS3txI2oIoyYwMq2BC85ZdXSaNS9i7KlfvLUvUmiyMPJ3AK5+DBFVThDmpQBwaP8Ayv8OZI58V5dz4WrTknmzmGP3A+fwDDiY9A</latexit>

CFT<latexit sha1_base64="+nddsCFm+D4i7WpNJ1xA/M+GobA=">AAAB8XicbVBNS8NAEJ3Ur1q/qh69BIvgqSRV0GOxIB4r9AvbUDbbTbt0swm7E7GE/gsvHhTx6r/x5r9x2+agrQ8GHu/NMDPPjwXX6DjfVm5tfWNzK79d2Nnd2z8oHh61dJQoypo0EpHq+EQzwSVrIkfBOrFiJPQFa/vj2sxvPzKleSQbOImZF5Kh5AGnBI300EP2hGnttjHtF0tO2ZnDXiVuRkqQod4vfvUGEU1CJpEKonXXdWL0UqKQU8GmhV6iWUzomAxZ11BJQqa9dH7x1D4zysAOImVKoj1Xf0+kJNR6EvqmMyQ40sveTPzP6yYYXHspl3GCTNLFoiARNkb27H17wBWjKCaGEKq4udWmI6IIRRNSwYTgLr+8SlqVsntRrtxflqo3WRx5OIFTOAcXrqAKd1CHJlCQ8Ayv8GZp68V6tz4WrTkrmzmGP7A+fwCRfJDY</latexit>

�<latexit sha1_base64="uveq51XskeZ/BmBbyb/DEzkG8yU=">AAAB7XicbVDLSgNBEOyNrxhfUY9eBoPgKexGQY9BLx4jmAckS5idzCZj5rHMzAphyT948aCIV//Hm3/jJNmDJhY0FFXddHdFCWfG+v63V1hb39jcKm6Xdnb39g/Kh0cto1JNaJMornQnwoZyJmnTMstpJ9EUi4jTdjS+nfntJ6oNU/LBThIaCjyULGYEWye1eoYNBe6XK37VnwOtkiAnFcjR6Je/egNFUkGlJRwb0w38xIYZ1pYRTqelXmpogskYD2nXUYkFNWE2v3aKzpwyQLHSrqRFc/X3RIaFMRMRuU6B7cgsezPxP6+b2vg6zJhMUkslWSyKU46sQrPX0YBpSiyfOIKJZu5WREZYY2JdQCUXQrD88ipp1arBRbV2f1mp3+RxFOEETuEcAriCOtxBA5pA4BGe4RXePOW9eO/ex6K14OUzx/AH3ucPna2PJw==</latexit>0

<latexit sha1_base64="rsPGDo38dCUrLsAt/ftnosrChUA=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoMeiF48t2FpoQ9lsJ+3azSbsboQS+gu8eFDEqz/Jm//GbZuDtj4YeLw3w8y8IBFcG9f9dgpr6xubW8Xt0s7u3v5B+fCoreNUMWyxWMSqE1CNgktsGW4EdhKFNAoEPgTj25n/8IRK81jem0mCfkSHkoecUWOlptsvV9yqOwdZJV5OKpCj0S9/9QYxSyOUhgmqdddzE+NnVBnOBE5LvVRjQtmYDrFrqaQRaj+bHzolZ1YZkDBWtqQhc/X3REYjrSdRYDsjakZ62ZuJ/3nd1ITXfsZlkhqUbLEoTAUxMZl9TQZcITNiYgllittbCRtRRZmx2ZRsCN7yy6ukXat6F9Va87JSv8njKMIJnMI5eHAFdbiDBrSAAcIzvMKb8+i8OO/Ox6K14OQzx/AHzucPemeMuA==</latexit>

� = 0<latexit sha1_base64="tHosFOzLSFK7tP5tRKH4aL36uaQ=">AAAB73icbVBNSwMxEJ34WetX1aOXYBE8ld0q6EUoevFYwX5Au5Rsmm1Dk+yaZIWy9E948aCIV/+ON/+NabsHbX0w8Hhvhpl5YSK4sZ73jVZW19Y3Ngtbxe2d3b390sFh08SppqxBYxHrdkgME1yxhuVWsHaiGZGhYK1wdDv1W09MGx6rBztOWCDJQPGIU2Kd1O4aPpDk2uuVyl7FmwEvEz8nZchR75W+uv2YppIpSwUxpuN7iQ0yoi2ngk2K3dSwhNARGbCOo4pIZoJsdu8Enzqlj6NYu1IWz9TfExmRxoxl6DolsUOz6E3F/7xOaqOrIOMqSS1TdL4oSgW2MZ4+j/tcM2rF2BFCNXe3YjokmlDrIiq6EPzFl5dJs1rxzyvV+4ty7SaPowDHcAJn4MMl1OAO6tAACgKe4RXe0CN6Qe/oY966gvKZI/gD9PkDkeWPqA==</latexit>

QM<latexit sha1_base64="4P38HaY/o7SFEgE6M0WsYh5x0ck=">AAAB8HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE0GPBixehBfshbSib7aZdutmE3YlYQn+FFw+KePXnePPfuG1z0NYHA4/3ZpiZFyRSGHTdb6ewtr6xuVXcLu3s7u0flA+PWiZONeNNFstYdwJquBSKN1Gg5J1EcxoFkreD8c3Mbz9ybUSs7nGScD+iQyVCwSha6aGH/Amzxt20X664VXcOskq8nFQgR71f/uoNYpZGXCGT1Jiu5yboZ1SjYJJPS73U8ISyMR3yrqWKRtz42fzgKTmzyoCEsbalkMzV3xMZjYyZRIHtjCiOzLI3E//zuimG134mVJIiV2yxKEwlwZjMvicDoTlDObGEMi3srYSNqKYMbUYlG4K3/PIqaV1UPbfqNS4rNTePowgncArn4MEV1OAW6tAEBhE8wyu8Odp5cd6dj0VrwclnjuEPnM8fAv6QeQ==</latexit><latexit sha1_base64="4P38HaY/o7SFEgE6M0WsYh5x0ck=">AAAB8HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE0GPBixehBfshbSib7aZdutmE3YlYQn+FFw+KePXnePPfuG1z0NYHA4/3ZpiZFyRSGHTdb6ewtr6xuVXcLu3s7u0flA+PWiZONeNNFstYdwJquBSKN1Gg5J1EcxoFkreD8c3Mbz9ybUSs7nGScD+iQyVCwSha6aGH/Amzxt20X664VXcOskq8nFQgR71f/uoNYpZGXCGT1Jiu5yboZ1SjYJJPS73U8ISyMR3yrqWKRtz42fzgKTmzyoCEsbalkMzV3xMZjYyZRIHtjCiOzLI3E//zuimG134mVJIiV2yxKEwlwZjMvicDoTlDObGEMi3srYSNqKYMbUYlG4K3/PIqaV1UPbfqNS4rNTePowgncArn4MEV1OAW6tAEBhE8wyu8Odp5cd6dj0VrwclnjuEPnM8fAv6QeQ==</latexit><latexit sha1_base64="4P38HaY/o7SFEgE6M0WsYh5x0ck=">AAAB8HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE0GPBixehBfshbSib7aZdutmE3YlYQn+FFw+KePXnePPfuG1z0NYHA4/3ZpiZFyRSGHTdb6ewtr6xuVXcLu3s7u0flA+PWiZONeNNFstYdwJquBSKN1Gg5J1EcxoFkreD8c3Mbz9ybUSs7nGScD+iQyVCwSha6aGH/Amzxt20X664VXcOskq8nFQgR71f/uoNYpZGXCGT1Jiu5yboZ1SjYJJPS73U8ISyMR3yrqWKRtz42fzgKTmzyoCEsbalkMzV3xMZjYyZRIHtjCiOzLI3E//zuimG134mVJIiV2yxKEwlwZjMvicDoTlDObGEMi3srYSNqKYMbUYlG4K3/PIqaV1UPbfqNS4rNTePowgncArn4MEV1OAW6tAEBhE8wyu8Odp5cd6dj0VrwclnjuEPnM8fAv6QeQ==</latexit><latexit sha1_base64="4P38HaY/o7SFEgE6M0WsYh5x0ck=">AAAB8HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE0GPBixehBfshbSib7aZdutmE3YlYQn+FFw+KePXnePPfuG1z0NYHA4/3ZpiZFyRSGHTdb6ewtr6xuVXcLu3s7u0flA+PWiZONeNNFstYdwJquBSKN1Gg5J1EcxoFkreD8c3Mbz9ybUSs7nGScD+iQyVCwSha6aGH/Amzxt20X664VXcOskq8nFQgR71f/uoNYpZGXCGT1Jiu5yboZ1SjYJJPS73U8ISyMR3yrqWKRtz42fzgKTmzyoCEsbalkMzV3xMZjYyZRIHtjCiOzLI3E//zuimG134mVJIiV2yxKEwlwZjMvicDoTlDObGEMi3srYSNqKYMbUYlG4K3/PIqaV1UPbfqNS4rNTePowgncArn4MEV1OAW6tAEBhE8wyu8Odp5cd6dj0VrwclnjuEPnM8fAv6QeQ==</latexit>

Figure 1: On the left, we depict the Penrose diagram for a two-dimensional extremal black hole, coupledto a bath at zero temperature. The red part covers a region of AdS2. The blue triangle is the Penrosediagram of half of Minkowski space. On the right, we have the dual quantum mechanical setup, withthe black hole replaced by a quantum system that is coupled to a CFT2 on a half-line (only the spatialdimension is represented).

Minkowski space. We couple them by imposing “transparent” boundary conditions at the locuswhere the boundary of AdS2 joins the half-line where the bath lives, see figure 1. The full action is

I =1

4π

∫d2x√−g [φR+ 2(φ− φ0)] + ICFT . (2)

Here, we have set 4GN = 1, and φ0 is a constant that gives rise to the extremal entropy. We imposethe usual JT boundary conditions on the metric guu = 1

ε2and dilaton φ − φ0 = φr

ε . The gravitysystem is only on half the space, but the CFT is over the whole line. Thus the CFT is partly in thedynamical gravity region, and partly in the half space with a fixed flat metric.

The full system can be described by the Penrose diagram shown in figure 1. We denote byy± = t± σ the coordinates in the bath region, with σ > 0. The black hole can be described usingthe Poincare coordinates x± = x0 ± x1, with x1 < 0. The metric and the dilaton profiles in thegravity region are

ds2 =−4 dx+dx−

(x− − x+)2, φ = φ0 +

2φr(x− − x+)

. (3)

The bulk state is taken to be in the Poincare vacuum T(x)++ = T

(x)−− = 0. Since the black

hole and the bath are taken to be in equilibrium, an extremal black hole requires a bath with

zero temperature. Therefore we must have a vanishing bath stress tensor T(y)++ = T

(y)−− = 0. The

transparent boundary condition implies that the bulk and bath stress tensors are related as(∂x+

∂y+

)2

T(x)++ = T

(y)++ +

c

24π{x+, y+} , (4)

4

b<latexit sha1_base64="YJjhR7RY5hyNtVLBH/MerrmOQ7I=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoMeiF48t2FpoQ9lsJ+3azSbsboQS+gu8eFDEqz/Jm//GbZuDtj4YeLw3w8y8IBFcG9f9dgpr6xubW8Xt0s7u3v5B+fCoreNUMWyxWMSqE1CNgktsGW4EdhKFNAoEPgTj25n/8IRK81jem0mCfkSHkoecUWOlZtAvV9yqOwdZJV5OKpCj0S9/9QYxSyOUhgmqdddzE+NnVBnOBE5LvVRjQtmYDrFrqaQRaj+bHzolZ1YZkDBWtqQhc/X3REYjrSdRYDsjakZ62ZuJ/3nd1ITXfsZlkhqUbLEoTAUxMZl9TQZcITNiYgllittbCRtRRZmx2ZRsCN7yy6ukXat6F9Va87JSv8njKMIJnMI5eHAFdbiDBrSAAcIzvMKb8+i8OO/Ox6K14OQzx/AHzucPxi+M6g==</latexit>�a

<latexit sha1_base64="p51t/8el7UKqhp9ZBavCTTCEtl0=">AAAB6XicbVBNS8NAEJ34WetX1aOXxSJ4sSRV0GPRi8cq9gPaUDbbTbt0swm7E6GE/gMvHhTx6j/y5r9x2+agrQ8GHu/NMDMvSKQw6Lrfzsrq2vrGZmGruL2zu7dfOjhsmjjVjDdYLGPdDqjhUijeQIGStxPNaRRI3gpGt1O/9cS1EbF6xHHC/YgOlAgFo2ilh3PaK5XdijsDWSZeTsqQo94rfXX7MUsjrpBJakzHcxP0M6pRMMknxW5qeELZiA54x1JFI278bHbphJxapU/CWNtSSGbq74mMRsaMo8B2RhSHZtGbiv95nRTDaz8TKkmRKzZfFKaSYEymb5O+0JyhHFtCmRb2VsKGVFOGNpyiDcFbfHmZNKsV76JSvb8s127yOApwDCdwBh5cQQ3uoA4NYBDCM7zCmzNyXpx352PeuuLkM0fwB87nDy3/jSA=</latexit>

Island<latexit sha1_base64="vF0xs445rGed22OLoEq6imkIV+s=">AAAB9HicbVBNS8NAEJ34WetX1aOXYBE8laQKeix60VsF+wFtKJvNpl262cTdSbGE/g4vHhTx6o/x5r9x2+agrQ8GHu/NMDPPTwTX6Djf1srq2vrGZmGruL2zu7dfOjhs6jhVlDVoLGLV9olmgkvWQI6CtRPFSOQL1vKHN1O/NWJK81g+4DhhXkT6koecEjSS10X2hNmdFkQGk16p7FScGexl4uakDDnqvdJXN4hpGjGJVBCtO66ToJcRhZwKNil2U80SQoekzzqGShIx7WWzoyf2qVECO4yVKYn2TP09kZFI63Hkm86I4EAvelPxP6+TYnjlZVwmKTJJ54vCVNgY29ME7IArRlGMDSFUcXOrTQdEEYomp6IJwV18eZk0qxX3vFK9vyjXrvM4CnAMJ3AGLlxCDW6hDg2g8AjP8Apv1sh6sd6tj3nripXPHMEfWJ8/UbySdA==</latexit>

b<latexit sha1_base64="YJjhR7RY5hyNtVLBH/MerrmOQ7I=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoMeiF48t2FpoQ9lsJ+3azSbsboQS+gu8eFDEqz/Jm//GbZuDtj4YeLw3w8y8IBFcG9f9dgpr6xubW8Xt0s7u3v5B+fCoreNUMWyxWMSqE1CNgktsGW4EdhKFNAoEPgTj25n/8IRK81jem0mCfkSHkoecUWOlZtAvV9yqOwdZJV5OKpCj0S9/9QYxSyOUhgmqdddzE+NnVBnOBE5LvVRjQtmYDrFrqaQRaj+bHzolZ1YZkDBWtqQhc/X3REYjrSdRYDsjakZ62ZuJ/3nd1ITXfsZlkhqUbLEoTAUxMZl9TQZcITNiYgllittbCRtRRZmx2ZRsCN7yy6ukXat6F9Va87JSv8njKMIJnMI5eHAFdbiDBrSAAcIzvMKb8+i8OO/Ox6K14OQzx/AHzucPxi+M6g==</latexit>

Figure 2: On the left, in green, we see the entanglement wedge of the region corresponding to theinterval [0, b]. It is also shaded in green on the right. Shaded in blue we see the interval [b,+∞] and itsentanglement wedge which also includes the island [−∞,−a], which is outside the horizon.

and an identical equation for the right-moving piece. Since both T(x)µν and T

(y)µν vanish, we require

that x+(y+) and x−(y−) be SL(2,R) transformations. The requirement of having a pure state ofthe bath plus bulk fixes this transformation, up to an overall scale, to be simply x+ = y+ andx− = y−. The stress tensor of matter is zero everywhere.

The gravitational part of the system can have a dual quantum mechanical description. We viewthis dual quantum system as living at σ = 0, and coupled to the CFT that lives in the half-spaceσ > 0, see figure 1. We will not need the explicit form of this quantum mechanical system. Whenwe talk about the full microscopic von Neumann entropies of the quantum state, we imagine thatthey are defined in this combined quantum system, the one living at σ = 0 and the bath CFT livingon σ > 0.

We start by considering the spatial interval [0, b] that contains what we could call the “blackhole” degrees of freedom, as well as a piece of the bath. We denote by boldface the intervals inthe full quantum mechanical picture. This interval is depicted in the right part of figure 2. Inparticular, the point 0 is where one can picture the quantum system that gives rise to the AdS2

region (when it is decoupled from the bath).In order to find the entanglement wedge, we guess that it is the causal domain of some interval

[−a, b] in the y coordinates, see figure 2. Intervals without boldface are intervals in the effectivefield theory, which includes the gravitational system. Such intervals should not be confused withthe ones in boldface. The generalized entropy functional is

Sgen(a) = φ0 +φra

+ Sbulk , Sbulk =c

6log

[(a+ b)2

a

]+ constant . (5)

The bulk entanglement entropy in (5) is basically that of an interval of length a+ b in a CFT2. Thefactor of a in the denominator comes from the warp factor in the AdS2 region of the metric (3).We have absorbed the bulk UV (proper distance) cutoff into φ0, and the bath UV cutoff into theconstant.

5

Extremizing Sgen(a) with respect to a, we obtain the location of the quantum extremal surface

a =1

2

(1 + b+

√1 + 6b+ b2

), b := b

c

6φr, a := a

c

6φr, (6)

where we defined dimensionless quantities a and b. Since the horizon is at σ = −∞, and the valueof a in (6) is finite, the quantum extremal surface is outside the horizon, see figure 2.

The formula (6) contains a length scale φr/c. This length scale sets the evaporation time of ablack hole, if we started the black hole at a high temperature [9]. This scale is shorter by a factorof 1/c than the time scale φr at which JT gravity (described by the Schwarzian mode) becomesstrongly coupled. Since we have approximated the gravitational part of the entropy by its classicalcontribution, we need that a � φr. So the present discussion is justified when c � 1, so thatφr/c � φr. Then there is a non-trivial range of values of b where the quantum corrections to theSchwarzian can be neglected. However, for b > φr, we need to include quantum corrections describedby the strongly-coupled Schwarzian, and the analysis of this paper is not valid.1 Depending on thesize of b compared to φr/c we can approximate (6) as

a ≈{

6φrc if b� φr

c

b if b� φrc

. (7)

If we assume that the state on [0,+∞] is pure, this implies that the entanglement wedge ofthe complement region [b,+∞] will contain the region [−∞,−a]. This is an island that is outsidethe black hole horizon, see figure 2. This calculation is essentially the same as the case we justconsidered: Since the global state of the quantum fields is pure, the bulk entropy of the region[−∞,−a] ∪ [b,+∞] is identical to that of its complement. The dilaton piece of Sgen is shared bythe two at the point a.

Had we not used the purity of [0,+∞], we would naively consider the candidate quantumextremal surface for the bath region [b,+∞] to be just the surface which contains no island contri-bution. The generalized entropy in this case would simply be the field theory entropy of the interval[b,+∞] in the vacuum, which has an IR divergence. Therefore this surface, while technically aquantum extremal surface, is never minimal.

Note that the entropy (5) contains a term involving φ0, both for the region [0, b], as expected,but also for the bath region [b,+∞], which might not have been expected.

Notice that a region of the geometry at some position a corresponds to an energy scale of order1/a or length scale of order a. So the fact that regions very close to the horizon (large a) correspondsto very long distances in the bath does not look too unreasonable. Let us discuss this more.

Consider the entanglement wedge for an interval [b, b′], with b < b′. We further take b� φrc � b′.

When there is no island the entanglement entropy is

Sno−island =c

6log(b− b′)2 ≈ c

6log b′

2. (8)

When there is an island, say going between −a′ and −a, it is harder to compute the bulk entropy.However, when b′ is large we can use an OPE argument, if the points b′ and −a′ are close. Naively b′

and −a′ are very far away, but they are both approaching the point at spatial infinity in Minkowskispace.2 Since the theory under consideration is conformal, we can do the OPE expansion (in the

1Unlike [3], in this paper, we do not demand that the CFT2 has a three-dimensional holographic dual.2This closeness can be understood by viewing the two-dimensional conformally compactified Minkowski space as

a patch wrapping the cylinder, where the two spatial infinites meet at a point.

6

n-replica geometry). The leading term produces the entropy of two separate intervals [−a′, b′] and[−a, b]. For each of them we can use (6) to obtain

Sisland = 2φ0 +c

6

[log

(b′φrc

)+O(1)

], (9)

where we used the approximate expressions (7) for a and a′. If we want the island phase to dominatewe need Sisland < Sno−island, which implies that

log

(c b′

φr

)>

12φ0

c+O(1) . (10)

Therefore we see that if φ0/c is large, then b′ has to be exponentially large in order for the entan-glement wedge of [b, b′] to contain an island.3

If we take the b′ → ∞ and b → 0 limit of (9) we do not get the same entropy as in (5). Thisalso happens in simpler situations. For example, we can compare the large size limit of a finite sizeinterval in a CFT vs taking the whole line from the beginning (which would give zero entropy). Thereason is related to the IR modes that continue contributing when we have a finite interval. In thisparticular case, these IR modes involve also φ0 and sense the presence of the boundary.

To summarize, this discussion suggests that the degrees of freedom in the island are encodedin very long distance correlations in the exterior. We reached this conclusion by noting that theinterval [b, b′] has to be very large for its entanglement wedge to contain the island.

2.1 A consistency condition

The fact that the island is outside the horizon looks surprising, because we can send a signal fromthe island to the boundary of AdS2. This is not immediately a paradox since we are dealing witha coupled system where the time evolution mixes the degrees of freedom in [0, b] and [b,∞]. Thiscoupling certainly allows a region inside the entanglement wedge of [b,∞] (such as the island) tosend a signal to [0, b].

The situation becomes more interesting if we decouple the black hole from the bath. Moreprecisely, let us imagine that we decouple the localized degrees of freedom living at 0 from the onesin the CFT. If we do this over a time shorter than b, then no information from [b,∞] can reach thedegrees of freedom at living at 0.

One might naively think that we get a Penrose diagram as in figure 3(a), where the signal reachesthe boundary. However, this ignores the energy that is created by the decoupling process. Thisenergy can raise the temperature of the black hole so that we end up with a diagram as in figure3(b), where the signal does not get to the physical boundary of the nearly-AdS2 region. When weinsert some energy, the map between the x-coordinates and the time of the quantum system is suchthat x gets to a maximum value xm. This map can be obtained in a variety of ways [9, 10, 11, 12].To avoid a contradiction, we need that xm < a, as in figure 3(b). Furthermore, if we evolve thedecoupled system backwards in time, we should not receive any signal either, see figure 3(c).

One expects that an amount of energy of order c/b will be produced if we decouple the twosystems over a time less than b. This amount of energy appears to be parametrically sufficient toavoid a contradiction. The related fact that some energy is inevitably produced when we couplethe system to a bath was discussed in [13] and is used to avoid a potential contradiction also there.This is also implied by the general argument in [14], applied after decoupling, that the quantumextremal surface should be behind the horizon.4 See also [15, 16] for the corresponding argument for

3Recall that our discussion is valid when b′ < φr, so we need c� 1 and φ0/c not too large.4We thank Netta Engelhardt for discussions on this point, which we incorporated into v2 of this paper.

7

�a<latexit sha1_base64="p51t/8el7UKqhp9ZBavCTTCEtl0=">AAAB6XicbVBNS8NAEJ34WetX1aOXxSJ4sSRV0GPRi8cq9gPaUDbbTbt0swm7E6GE/gMvHhTx6j/y5r9x2+agrQ8GHu/NMDMvSKQw6Lrfzsrq2vrGZmGruL2zu7dfOjhsmjjVjDdYLGPdDqjhUijeQIGStxPNaRRI3gpGt1O/9cS1EbF6xHHC/YgOlAgFo2ilh3PaK5XdijsDWSZeTsqQo94rfXX7MUsjrpBJakzHcxP0M6pRMMknxW5qeELZiA54x1JFI278bHbphJxapU/CWNtSSGbq74mMRsaMo8B2RhSHZtGbiv95nRTDaz8TKkmRKzZfFKaSYEymb5O+0JyhHFtCmRb2VsKGVFOGNpyiDcFbfHmZNKsV76JSvb8s127yOApwDCdwBh5cQQ3uoA4NYBDCM7zCmzNyXpx352PeuuLkM0fwB87nDy3/jSA=</latexit> b

<latexit sha1_base64="YJjhR7RY5hyNtVLBH/MerrmOQ7I=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoMeiF48t2FpoQ9lsJ+3azSbsboQS+gu8eFDEqz/Jm//GbZuDtj4YeLw3w8y8IBFcG9f9dgpr6xubW8Xt0s7u3v5B+fCoreNUMWyxWMSqE1CNgktsGW4EdhKFNAoEPgTj25n/8IRK81jem0mCfkSHkoecUWOlZtAvV9yqOwdZJV5OKpCj0S9/9QYxSyOUhgmqdddzE+NnVBnOBE5LvVRjQtmYDrFrqaQRaj+bHzolZ1YZkDBWtqQhc/X3REYjrSdRYDsjakZ62ZuJ/3nd1ITXfsZlkhqUbLEoTAUxMZl9TQZcITNiYgllittbCRtRRZmx2ZRsCN7yy6ukXat6F9Va87JSv8njKMIJnMI5eHAFdbiDBrSAAcIzvMKb8+i8OO/Ox6K14OQzx/AHzucPxi+M6g==</latexit>

Light ray for QFC<latexit sha1_base64="v1njk38hTWePIAvzMPIRaLk4ykA=">AAACAXicbVDLSsNAFJ34rPUVdSO4GSyCq5JUQVdSKIgLFy3YB7ShTKaTduhkEmZuxBDqxl9x40IRt/6FO//GNM1CW8/qcM693HuOGwquwbK+jaXlldW19cJGcXNre2fX3Ntv6SBSlDVpIALVcYlmgkvWBA6CdULFiO8K1nbHtanfvmdK80DeQRwyxydDyT1OCaRS3zzsAXuA5JYPR4AVibEXKNy4rk36ZskqWxnwIrFzUkI56n3zqzcIaOQzCVQQrbu2FYKTEAWcCjYp9iLNQkLHZMi6KZXEZ9pJsgQTfJIqg+y2F0jAmfp7IyG+1rHvppM+gZGe96bif143Au/SSbgMI2CSzg55kcAQ4GkdeMAVoyDilBCqePorpiOiCIW0tGJagj0feZG0KmX7rFxpnJeqV3kdBXSEjtEpstEFqqIbVEdNRNEjekav6M14Ml6Md+NjNrpk5DsH6A+Mzx/Y3ZZ5</latexit>

(a) Ruled out by QFC

�a<latexit sha1_base64="p51t/8el7UKqhp9ZBavCTTCEtl0=">AAAB6XicbVBNS8NAEJ34WetX1aOXxSJ4sSRV0GPRi8cq9gPaUDbbTbt0swm7E6GE/gMvHhTx6j/y5r9x2+agrQ8GHu/NMDMvSKQw6Lrfzsrq2vrGZmGruL2zu7dfOjhsmjjVjDdYLGPdDqjhUijeQIGStxPNaRRI3gpGt1O/9cS1EbF6xHHC/YgOlAgFo2ilh3PaK5XdijsDWSZeTsqQo94rfXX7MUsjrpBJakzHcxP0M6pRMMknxW5qeELZiA54x1JFI278bHbphJxapU/CWNtSSGbq74mMRsaMo8B2RhSHZtGbiv95nRTDaz8TKkmRKzZfFKaSYEymb5O+0JyhHFtCmRb2VsKGVFOGNpyiDcFbfHmZNKsV76JSvb8s127yOApwDCdwBh5cQQ3uoA4NYBDCM7zCmzNyXpx352PeuuLkM0fwB87nDy3/jSA=</latexit> b

<latexit sha1_base64="YJjhR7RY5hyNtVLBH/MerrmOQ7I=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoMeiF48t2FpoQ9lsJ+3azSbsboQS+gu8eFDEqz/Jm//GbZuDtj4YeLw3w8y8IBFcG9f9dgpr6xubW8Xt0s7u3v5B+fCoreNUMWyxWMSqE1CNgktsGW4EdhKFNAoEPgTj25n/8IRK81jem0mCfkSHkoecUWOlZtAvV9yqOwdZJV5OKpCj0S9/9QYxSyOUhgmqdddzE+NnVBnOBE5LvVRjQtmYDrFrqaQRaj+bHzolZ1YZkDBWtqQhc/X3REYjrSdRYDsjakZ62ZuJ/3nd1ITXfsZlkhqUbLEoTAUxMZl9TQZcITNiYgllittbCRtRRZmx2ZRsCN7yy6ukXat6F9Va87JSv8njKMIJnMI5eHAFdbiDBrSAAcIzvMKb8+i8OO/Ox6K14OQzx/AHzucPxi+M6g==</latexit>

⌧d<latexit sha1_base64="5pGYiYF+4hSHiuJ28g5+5IrFq3A=">AAAB7XicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoOCl4MVjBfsBbSibzaZdu9mE3YlQSv+DFw+KePX/ePPfuG1z0NYHA4/3ZpiZF6RSGHTdb6ewtr6xuVXcLu3s7u0flA+PWibJNONNlshEdwJquBSKN1Gg5J1UcxoHkreD0e3Mbz9xbUSiHnCccj+mAyUiwShaqdVDmvXDfrniVt05yCrxclKBHI1++asXJiyLuUImqTFdz03Rn1CNgkk+LfUyw1PKRnTAu5YqGnPjT+bXTsmZVUISJdqWQjJXf09MaGzMOA5sZ0xxaJa9mfif180wuvYnQqUZcsUWi6JMEkzI7HUSCs0ZyrEllGlhbyVsSDVlaAMq2RC85ZdXSatW9S6qtfvLSv0mj6MIJ3AK5+DBFdThDhrQBAaP8Ayv8OYkzovz7nwsWgtOPnMMf+B8/gCVfI8c</latexit>

T<latexit sha1_base64="dd8X1zUmSkuYx0iLz84YGEzDnpU=">AAAB6HicbVDLSgNBEOyNrxhfUY9eBoPgKexGQcFLwIvHBPKCZAmzk95kzOzsMjMrhJAv8OJBEa9+kjf/xkmyB00saCiquunuChLBtXHdbye3sbm1vZPfLeztHxweFY9PWjpOFcMmi0WsOgHVKLjEpuFGYCdRSKNAYDsY38/99hMqzWPZMJME/YgOJQ85o8ZK9Ua/WHLL7gJknXgZKUGGWr/41RvELI1QGiao1l3PTYw/pcpwJnBW6KUaE8rGdIhdSyWNUPvTxaEzcmGVAQljZUsaslB/T0xppPUkCmxnRM1Ir3pz8T+vm5rw1p9ymaQGJVsuClNBTEzmX5MBV8iMmFhCmeL2VsJGVFFmbDYFG4K3+vI6aVXK3lW5Ur8uVe+yOPJwBudwCR7cQBUeoAZNYIDwDK/w5jw6L86787FszTnZzCn8gfP5A67cjNU=</latexit>

a<latexit sha1_base64="9rkWau0EY76zleZm3mh2U3qKXRM=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoOCl4MVjC7YW2lA220m7drMJuxuhhP4CLx4U8epP8ua/cdvmoK0PBh7vzTAzL0gE18Z1v53C2vrG5lZxu7Szu7d/UD48aus4VQxbLBax6gRUo+ASW4YbgZ1EIY0CgQ/B+HbmPzyh0jyW92aSoB/RoeQhZ9RYqUn75Ypbdecgq8TLSQVyNPrlr94gZmmE0jBBte56bmL8jCrDmcBpqZdqTCgb0yF2LZU0Qu1n80On5MwqAxLGypY0ZK7+nshopPUkCmxnRM1IL3sz8T+vm5rw2s+4TFKDki0WhakgJiazr8mAK2RGTCyhTHF7K2EjqigzNpuSDcFbfnmVtGtV76Jaa15W6jd5HEU4gVM4Bw+uoA530IAWMEB4hld4cx6dF+fd+Vi0Fpx85hj+wPn8AcKQjOI=</latexit> xm

<latexit sha1_base64="2LOOZEDQh3xgK0jWJJvBiVZEjiQ=">AAAB6nicbVBNSwMxEJ34WetX1aOXYBE8ld0qKHgpePFY0X5Au5Rsmm1Dk+ySZMWy9Cd48aCIV3+RN/+NabsHbX0w8Hhvhpl5YSK4sZ73jVZW19Y3Ngtbxe2d3b390sFh08SppqxBYxHrdkgME1yxhuVWsHaiGZGhYK1wdDP1W49MGx6rBztOWCDJQPGIU2KddP/Uk71S2at4M+Bl4uekDDnqvdJXtx/TVDJlqSDGdHwvsUFGtOVUsEmxmxqWEDoiA9ZxVBHJTJDNTp3gU6f0cRRrV8rimfp7IiPSmLEMXackdmgWvan4n9dJbXQVZFwlqWWKzhdFqcA2xtO/cZ9rRq0YO0Ko5u5WTIdEE2pdOkUXgr/48jJpViv+eaV6d1GuXedxFOAYTuAMfLiEGtxCHRpAYQDP8ApvSKAX9I4+5q0rKJ85gj9Anz9l043Z</latexit>

Light ray for QFC<latexit sha1_base64="v1njk38hTWePIAvzMPIRaLk4ykA=">AAACAXicbVDLSsNAFJ34rPUVdSO4GSyCq5JUQVdSKIgLFy3YB7ShTKaTduhkEmZuxBDqxl9x40IRt/6FO//GNM1CW8/qcM693HuOGwquwbK+jaXlldW19cJGcXNre2fX3Ntv6SBSlDVpIALVcYlmgkvWBA6CdULFiO8K1nbHtanfvmdK80DeQRwyxydDyT1OCaRS3zzsAXuA5JYPR4AVibEXKNy4rk36ZskqWxnwIrFzUkI56n3zqzcIaOQzCVQQrbu2FYKTEAWcCjYp9iLNQkLHZMi6KZXEZ9pJsgQTfJIqg+y2F0jAmfp7IyG+1rHvppM+gZGe96bif143Au/SSbgMI2CSzg55kcAQ4GkdeMAVoyDilBCqePorpiOiCIW0tGJagj0feZG0KmX7rFxpnJeqV3kdBXSEjtEpstEFqqIbVEdNRNEjekav6M14Ml6Md+NjNrpk5DsH6A+Mzx/Y3ZZ5</latexit>

(b) Required by QFC

s1<latexit sha1_base64="Ya0FXOF/2+xik9GsmOAV0paMtT0=">AAAB6nicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoOCl4MVjRfsBbSib7aRdutmE3Y1QQn+CFw+KePUXefPfuG1z0NYHA4/3ZpiZFySCa+O6305hbX1jc6u4XdrZ3ds/KB8etXScKoZNFotYdQKqUXCJTcONwE6ikEaBwHYwvp357SdUmsfy0UwS9CM6lDzkjBorPei+1y9X3Ko7B1klXk4qkKPRL3/1BjFLI5SGCap113MT42dUGc4ETku9VGNC2ZgOsWuppBFqP5ufOiVnVhmQMFa2pCFz9fdERiOtJ1FgOyNqRnrZm4n/ed3UhNd+xmWSGpRssShMBTExmf1NBlwhM2JiCWWK21sJG1FFmbHplGwI3vLLq6RVq3oX1dr9ZaV+k8dRhBM4hXPw4ArqcAcNaAKDITzDK7w5wnlx3p2PRWvByWeO4Q+czx8DRY2Y</latexit>

s2<latexit sha1_base64="jzHO9yCaXlTTS83YW8w+c81ktYY=">AAAB6nicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoOCl4MVjRfsBbSib7aZdutmE3YlQQn+CFw+KePUXefPfuG1z0NYHA4/3ZpiZFyRSGHTdb6ewtr6xuVXcLu3s7u0flA+PWiZONeNNFstYdwJquBSKN1Gg5J1EcxoFkreD8e3Mbz9xbUSsHnGScD+iQyVCwSha6cH0a/1yxa26c5BV4uWkAjka/fJXbxCzNOIKmaTGdD03QT+jGgWTfFrqpYYnlI3pkHctVTTixs/mp07JmVUGJIy1LYVkrv6eyGhkzCQKbGdEcWSWvZn4n9dNMbz2M6GSFLlii0VhKgnGZPY3GQjNGcqJJZRpYW8lbEQ1ZWjTKdkQvOWXV0mrVvUuqrX7y0r9Jo+jCCdwCufgwRXU4Q4a0AQGQ3iGV3hzpPPivDsfi9aCk88cwx84nz8EyY2Z</latexit>

xm<latexit sha1_base64="2LOOZEDQh3xgK0jWJJvBiVZEjiQ=">AAAB6nicbVBNSwMxEJ34WetX1aOXYBE8ld0qKHgpePFY0X5Au5Rsmm1Dk+ySZMWy9Cd48aCIV3+RN/+NabsHbX0w8Hhvhpl5YSK4sZ73jVZW19Y3Ngtbxe2d3b390sFh08SppqxBYxHrdkgME1yxhuVWsHaiGZGhYK1wdDP1W49MGx6rBztOWCDJQPGIU2KddP/Uk71S2at4M+Bl4uekDDnqvdJXtx/TVDJlqSDGdHwvsUFGtOVUsEmxmxqWEDoiA9ZxVBHJTJDNTp3gU6f0cRRrV8rimfp7IiPSmLEMXackdmgWvan4n9dJbXQVZFwlqWWKzhdFqcA2xtO/cZ9rRq0YO0Ko5u5WTIdEE2pdOkUXgr/48jJpViv+eaV6d1GuXedxFOAYTuAMfLiEGtxCHRpAYQDP8ApvSKAX9I4+5q0rKJ85gj9Anz9l043Z</latexit>

T<latexit sha1_base64="dd8X1zUmSkuYx0iLz84YGEzDnpU=">AAAB6HicbVDLSgNBEOyNrxhfUY9eBoPgKexGQcFLwIvHBPKCZAmzk95kzOzsMjMrhJAv8OJBEa9+kjf/xkmyB00saCiquunuChLBtXHdbye3sbm1vZPfLeztHxweFY9PWjpOFcMmi0WsOgHVKLjEpuFGYCdRSKNAYDsY38/99hMqzWPZMJME/YgOJQ85o8ZK9Ua/WHLL7gJknXgZKUGGWr/41RvELI1QGiao1l3PTYw/pcpwJnBW6KUaE8rGdIhdSyWNUPvTxaEzcmGVAQljZUsaslB/T0xppPUkCmxnRM1Ir3pz8T+vm5rw1p9ymaQGJVsuClNBTEzmX5MBV8iMmFhCmeL2VsJGVFFmbDYFG4K3+vI6aVXK3lW5Ur8uVe+yOPJwBudwCR7cQBUeoAZNYIDwDK/w5jw6L86787FszTnZzCn8gfP5A67cjNU=</latexit>

x0m

<latexit sha1_base64="C/jqUg6i1KbyApQ48H24Do/NsgE=">AAAB63icbVBNSwMxEJ2tX7V+VT16CRbRU8mKoMeCF48V7Ae0S8mm2TY0yS5JVixL/4IXD4p49Q9589+YbfegrQ8GHu/NMDMvTAQ3FuNvr7S2vrG5Vd6u7Ozu7R9UD4/aJk41ZS0ai1h3Q2KY4Iq1LLeCdRPNiAwF64ST29zvPDJteKwe7DRhgSQjxSNOic2lp4E8H1RruI7nQKvEL0gNCjQH1a/+MKapZMpSQYzp+TixQUa05VSwWaWfGpYQOiEj1nNUEclMkM1vnaEzpwxRFGtXyqK5+nsiI9KYqQxdpyR2bJa9XPzP66U2ugkyrpLUMkUXi6JUIBuj/HE05JpRK6aOEKq5uxXRMdGEWhdPxYXgL7+8StqXdR/X/furWgMXcZThBE7hAny4hgbcQRNaQGEMz/AKb570Xrx372PRWvKKmWP4A+/zB8J+jfs=</latexit><latexit sha1_base64="C/jqUg6i1KbyApQ48H24Do/NsgE=">AAAB63icbVBNSwMxEJ2tX7V+VT16CRbRU8mKoMeCF48V7Ae0S8mm2TY0yS5JVixL/4IXD4p49Q9589+YbfegrQ8GHu/NMDMvTAQ3FuNvr7S2vrG5Vd6u7Ozu7R9UD4/aJk41ZS0ai1h3Q2KY4Iq1LLeCdRPNiAwF64ST29zvPDJteKwe7DRhgSQjxSNOic2lp4E8H1RruI7nQKvEL0gNCjQH1a/+MKapZMpSQYzp+TixQUa05VSwWaWfGpYQOiEj1nNUEclMkM1vnaEzpwxRFGtXyqK5+nsiI9KYqQxdpyR2bJa9XPzP66U2ugkyrpLUMkUXi6JUIBuj/HE05JpRK6aOEKq5uxXRMdGEWhdPxYXgL7+8StqXdR/X/furWgMXcZThBE7hAny4hgbcQRNaQGEMz/AKb570Xrx372PRWvKKmWP4A+/zB8J+jfs=</latexit><latexit sha1_base64="C/jqUg6i1KbyApQ48H24Do/NsgE=">AAAB63icbVBNSwMxEJ2tX7V+VT16CRbRU8mKoMeCF48V7Ae0S8mm2TY0yS5JVixL/4IXD4p49Q9589+YbfegrQ8GHu/NMDMvTAQ3FuNvr7S2vrG5Vd6u7Ozu7R9UD4/aJk41ZS0ai1h3Q2KY4Iq1LLeCdRPNiAwF64ST29zvPDJteKwe7DRhgSQjxSNOic2lp4E8H1RruI7nQKvEL0gNCjQH1a/+MKapZMpSQYzp+TixQUa05VSwWaWfGpYQOiEj1nNUEclMkM1vnaEzpwxRFGtXyqK5+nsiI9KYqQxdpyR2bJa9XPzP66U2ugkyrpLUMkUXi6JUIBuj/HE05JpRK6aOEKq5uxXRMdGEWhdPxYXgL7+8StqXdR/X/furWgMXcZThBE7hAny4hgbcQRNaQGEMz/AKb570Xrx372PRWvKKmWP4A+/zB8J+jfs=</latexit><latexit sha1_base64="C/jqUg6i1KbyApQ48H24Do/NsgE=">AAAB63icbVBNSwMxEJ2tX7V+VT16CRbRU8mKoMeCF48V7Ae0S8mm2TY0yS5JVixL/4IXD4p49Q9589+YbfegrQ8GHu/NMDMvTAQ3FuNvr7S2vrG5Vd6u7Ozu7R9UD4/aJk41ZS0ai1h3Q2KY4Iq1LLeCdRPNiAwF64ST29zvPDJteKwe7DRhgSQjxSNOic2lp4E8H1RruI7nQKvEL0gNCjQH1a/+MKapZMpSQYzp+TixQUa05VSwWaWfGpYQOiEj1nNUEclMkM1vnaEzpwxRFGtXyqK5+nsiI9KYqQxdpyR2bJa9XPzP66U2ugkyrpLUMkUXi6JUIBuj/HE05JpRK6aOEKq5uxXRMdGEWhdPxYXgL7+8StqXdR/X/furWgMXcZThBE7hAny4hgbcQRNaQGEMz/AKb570Xrx372PRWvKKmWP4A+/zB8J+jfs=</latexit>

(c) Decoupled backward evolution

Figure 3: Decoupling the black hole from the bath. (a) Naively, a signal from the island can reachthe AdS boundary. This is wrong. (b) The decoupling process produces some energy that moves thehorizon outwards. This means that the trajectory of the boundary particle (shown in solid black) reachesa maximum Poincare time xm. As long as xm < a, we will have no contradiction since the signal willnot be able to reach the physical boundary. This is guaranteed by the quantum focusing conjecture. (c)After we decouple, we can evolve the system backwards in time. Then we should also find that x′m > −ato avoid seeing the signal s2.

classical extremal surfaces. Below we go over a detailed argument for this special case, highlightingthe assumptions.

We now show that the causality paradox is avoided if we assume the two-dimensional version ofthe quantum focusing conjecture [4]

∇2+(φ+ S) ≤ 0 (conjecture) . (11)

In the usual QFC, S is the entropy of the bulk fields to the right of the light ray. In our particularcase, we will take S to be the entropy of the interval that goes from a point along the light ray tothe point b in the bulk. In particular, at the start of the light ray, we have an interval from [−a, b].Since the decoupling process does not change the entropy of this interval, even after the decouplingthe entropy of this interval continues to be the same, even though it is now broken into two piecesby the boundary. In particular the quantum extremal surface continues to be a quantum extremalsurface, so that ∇+(φ + S) = 0 at the point −a. As we move along the light ray, the bulk regionchanges and the entropy (and the dilaton) will change. However, the inequality (11), together withthe extremality condition at the starting point, imply that the generalized entropy should decreasealong the light ray that starts at the quantum extremal surface and moves towards the boundary.This follows by integrating (11) twice with respect to an affine parameter along the light ray. Onthe other hand, if this light ray were to reach the physical AdS2 boundary, we would expect thatthe generalized entropy becomes very large: The dilaton grows as we approach the boundary, butthe entanglement entropy saturates. This can be avoided if this light ray reaches the “singularity,”or the region that lies beyond the end of the physical AdS2 boundary, as in figure 3(b).

Note that we only need to apply the QFC (11) to the state obtained after the decouplingprocedure, on a space with a boundary. This state can be evolved forwards or backwards in time

8

with the decoupled Hamiltonian to obtain the state along the light ray.5

So we would like to know if (11) is true. After using the equations of motion of JT gravity, (11)becomes

− 2π T++ +∇2+S ≤ 0 (conjecture, see [17]) . (12)

One can wonder whether this holds for any CFT2 on a general background. For a CFT2, a generalbackground simply amounts to a general Weyl factor for the metric. So one might have expectedthat (12) would follow from the conformal transformation properties of the flat space QNEC thatwas conjectured in [18] and proven in [19, 20, 21]

− 2π T flat++ + ∂2

+Sflat ≤ 0 (flat space, proven) . (13)

The “flat” superscript indicates that we are in flat space. Unfortunately, this seems insufficient toprove the inequality (12). Instead, it seems that one should start from the stronger inequality [22]

− 2π T flat++ + ∂2

+Sflat +

6

c(∂+S

flat)2 ≤ 0 (conjecture) . (14)

This inequality passes some simple tests and was actually proven to hold for holographic 2d theoriesin [23].6 One motivation to consider this inequality is that it has nice conformal transformationproperties [22]. More explicitly, note the following relations between the stress tensor and theentropy for the metric ds2 = e2ρds2

flat and h any scalar function:

T++ = T flat++ +

c

12π[∂2

+ρ− (∂+ρ)2] , S = Sflat +c

6ρ , ∇2

+h = ∂2+h− 2∂+ρ ∂+h . (15)

These equations imply that, on a general background, (14) becomes

− 2π T++ +∇2+S +

6

c(∇+S)2 ≤ 0 . (16)

This inequality is stronger than (12). In fact, (14) is saturated for a single interval in flat space.Hence, due to conformal invariance of (14) and (16), these inequalities are also saturated for allsituations obtainable via a conformal transformation from a single interval in flat space. Note alsothat we assuming that (16) continues to hold in the presence of a boundary.

Note that the QFC along the outwards past-directed light ray ensures that the picture is alsoconsistent if we evolve backwards in time, as in figure 3(c).

Note that the QFC (16) is also obeyed in the original coupled system, as in figure 2.7 Forexample, we can check this on the right-moving light ray starting at the quantum extremal surface,that is, the point −a. We take the region to be the spatial interval between −a and b, and imaginemoving the left end-point of this interval along the light ray at the top left edge of the green regionof figure 2. In fact ∇2

+φ = 0 and also ∇2+S+ 6

c (∇+S)2 = 0. One might then be confused because, inthis case, the light ray can indeed get to the AdS2 boundary, where the dilaton blows up. However,an important point is that since the right end-point has been fixed to b, we cannot move the left-endpoint beyond x+ = b. In particular, this argument implies that a > b since otherwise the AdS2

boundary would intersect the light ray between x+ = −a and x+ = b, and we would get a tensionbetween the QFC and the dilaton growing to infinity at the AdS2 boundary. We can see that a > bis obeyed in the expression (6).

5Here we implicitly assumed that at the decoupling time τd, we have x(τd) < a. The fact that this should be thecase can be ensured again by using the QFC, but now taking S to be the entropy of the region to the left of the lightray, together with the region to the right of b.

6We thank A. Levine for pointing out this reference and for discussions on this topic.7We thank Douglas Stanford for raising this question.

9

⌘<latexit sha1_base64="8Lrr13Chi5EWbq4szIfy49yosxk=">AAAB7XicbVDLTgJBEOzFF+IL9ehlIjHxRHbRRI9ELx4xkUcCGzI79MLI7M46M0tCCP/gxYPGePV/vPk3DrAHBSvppFLVne6uIBFcG9f9dnJr6xubW/ntws7u3v5B8fCooWWqGNaZFFK1AqpR8BjrhhuBrUQhjQKBzWB4O/ObI1Say/jBjBP0I9qPecgZNVZqdPAp5aNuseSW3TnIKvEyUoIMtW7xq9OTLI0wNkxQrduemxh/QpXhTOC00Ek1JpQNaR/blsY0Qu1P5tdOyZlVeiSUylZsyFz9PTGhkdbjKLCdETUDvezNxP+8dmrCa3/C4yQ1GLPFojAVxEgye530uEJmxNgSyhS3txI2oIoyYwMq2BC85ZdXSaNS9i7KlfvLUvUmiyMPJ3AK5+DBFVThDmpQBwaP8Ayv8OZI58V5dz4WrTknmzmGP3A+fwDDiY9A</latexit>

CFT<latexit sha1_base64="a/Zfb6vWzky2py6V/Wxca+Oncbc=">AAAB8XicbVBNS8NAEN3Ur1q/qh69BIvgqSRV0JMUCuKxQr+wDWWznbRLN5uwOxFL6L/w4kERr/4bb/4bt20O2vpg4PHeDDPz/FhwjY7zbeXW1jc2t/LbhZ3dvf2D4uFRS0eJYtBkkYhUx6caBJfQRI4COrECGvoC2v64NvPbj6A0j2QDJzF4IR1KHnBG0UgPPYQnTGu3jWm/WHLKzhz2KnEzUiIZ6v3iV28QsSQEiUxQrbuuE6OXUoWcCZgWeomGmLIxHULXUElD0F46v3hqnxllYAeRMiXRnqu/J1Iaaj0JfdMZUhzpZW8m/ud1EwyuvZTLOEGQbLEoSISNkT173x5wBQzFxBDKFDe32mxEFWVoQiqYENzll1dJq1J2L8qV+8tS9SaLI09OyCk5Jy65IlVyR+qkSRiR5Jm8kjdLWy/Wu/WxaM1Z2cwx+QPr8weQSJDU</latexit>

CFT<latexit sha1_base64="a/Zfb6vWzky2py6V/Wxca+Oncbc=">AAAB8XicbVBNS8NAEN3Ur1q/qh69BIvgqSRV0JMUCuKxQr+wDWWznbRLN5uwOxFL6L/w4kERr/4bb/4bt20O2vpg4PHeDDPz/FhwjY7zbeXW1jc2t/LbhZ3dvf2D4uFRS0eJYtBkkYhUx6caBJfQRI4COrECGvoC2v64NvPbj6A0j2QDJzF4IR1KHnBG0UgPPYQnTGu3jWm/WHLKzhz2KnEzUiIZ6v3iV28QsSQEiUxQrbuuE6OXUoWcCZgWeomGmLIxHULXUElD0F46v3hqnxllYAeRMiXRnqu/J1Iaaj0JfdMZUhzpZW8m/ud1EwyuvZTLOEGQbLEoSISNkT173x5wBQzFxBDKFDe32mxEFWVoQiqYENzll1dJq1J2L8qV+8tS9SaLI09OyCk5Jy65IlVyR+qkSRiR5Jm8kjdLWy/Wu/WxaM1Z2cwx+QPr8weQSJDU</latexit>

AdS2<latexit sha1_base64="hXn+M5sMNnMbsMJXnIRuoLrXr+E=">AAACBnicbVDLSsNAFJ34rPVVdSlCsAiuSlIFXVbduKxoH9CGMJnctkMnD2ZuxBKycuOvuHGhiFu/wZ1/4zTtQlsPDJw55z5mjhcLrtCyvo2FxaXlldXCWnF9Y3Nru7Sz21RRIhk0WCQi2faoAsFDaCBHAe1YAg08AS1veDX2W/cgFY/COxzF4AS0H/IeZxS15JYOuggPmM9JJfhZmt/TC/82c6uZWypbFSuHOU/sKSmTKepu6avrRywJIEQmqFId24rRSalEzgRkxW6iIKZsSPvQ0TSkASgnzddn5pFWfLMXSX1CNHP1d0dKA6VGgacrA4oDNeuNxf+8ToK9cyflYZwghGyyqJcIEyNznInpcwkMxUgTyiTXbzXZgErKUCdX1CHYs1+eJ81qxT6pVG9Oy7XLaRwFsk8OyTGxyRmpkWtSJw3CyCN5Jq/kzXgyXox342NSumBMe/bIHxifP6irmd4=</latexit>

R1,1<latexit sha1_base64="gvfAwdGqo4hZt5+Dg3Pgv672tHw=">AAACC3icbVC7SgNBFJ2NrxhfUUubJUGwkLAbBS2DNpZRzAOSNcxObpIhsw9m7oph2d7GX7GxUMTWH7Dzb5xsttDEAwOHc+6dOXPcUHCFlvVt5JaWV1bX8uuFjc2t7Z3i7l5TBZFk0GCBCGTbpQoE96GBHAW0QwnUcwW03PHl1G/dg1Q88G9xEoLj0aHPB5xR1FKvWOoiPGB6T+yKCJK461EcuW58k9zF9rGdJL1i2apYKcxFYmekTDLUe8Wvbj9gkQc+MkGV6thWiE5MJXImICl0IwUhZWM6hI6mPvVAOXGaITEPtdI3B4HUx0czVX9vxNRTauK5enIaVM17U/E/rxPh4NyJuR9GCD6bPTSIhImBOS3G7HMJDMVEE8ok11lNNqKSMtT1FXQJ9vyXF0mzWrFPKtXr03LtIqsjTw5IiRwRm5yRGrkiddIgjDySZ/JK3own48V4Nz5mozkj29knf2B8/gBOEZvT</latexit>R1,1

<latexit sha1_base64="gvfAwdGqo4hZt5+Dg3Pgv672tHw=">AAACC3icbVC7SgNBFJ2NrxhfUUubJUGwkLAbBS2DNpZRzAOSNcxObpIhsw9m7oph2d7GX7GxUMTWH7Dzb5xsttDEAwOHc+6dOXPcUHCFlvVt5JaWV1bX8uuFjc2t7Z3i7l5TBZFk0GCBCGTbpQoE96GBHAW0QwnUcwW03PHl1G/dg1Q88G9xEoLj0aHPB5xR1FKvWOoiPGB6T+yKCJK461EcuW58k9zF9rGdJL1i2apYKcxFYmekTDLUe8Wvbj9gkQc+MkGV6thWiE5MJXImICl0IwUhZWM6hI6mPvVAOXGaITEPtdI3B4HUx0czVX9vxNRTauK5enIaVM17U/E/rxPh4NyJuR9GCD6bPTSIhImBOS3G7HMJDMVEE8ok11lNNqKSMtT1FXQJ9vyXF0mzWrFPKtXr03LtIqsjTw5IiRwRm5yRGrkiddIgjDySZ/JK3own48V4Nz5mozkj29knf2B8/gBOEZvT</latexit>

b<latexit sha1_base64="2Hil2RXrNQKISd89TZ3DPLesdpw=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoCcpePHYgq2FNpTNdtKu3WzC7kYoob/AiwdFvPqTvPlv3LY5aOuDgcd7M8zMCxLBtXHdb6ewtr6xuVXcLu3s7u0flA+P2jpOFcMWi0WsOgHVKLjEluFGYCdRSKNA4EMwvp35D0+oNI/lvZkk6Ed0KHnIGTVWagb9csWtunOQVeLlpAI5Gv3yV28QszRCaZigWnc9NzF+RpXhTOC01Es1JpSN6RC7lkoaofaz+aFTcmaVAQljZUsaMld/T2Q00noSBbYzomakl72Z+J/XTU147WdcJqlByRaLwlQQE5PZ12TAFTIjJpZQpri9lbARVZQZm03JhuAtv7xK2rWqd1GtNS8r9Zs8jiKcwCmcgwdXUIc7aEALGCA8wyu8OY/Oi/PufCxaC04+cwx/4Hz+AMT7jOY=</latexit>

�a<latexit sha1_base64="4MwP4sCOQ2vMLouhdAoKverm2GQ=">AAAB6XicbVBNS8NAEJ34WetX1aOXxSJ4sSRV0JMUvHisYj+gDWWz3bRLN5uwOxFK6D/w4kERr/4jb/4bt20O2vpg4PHeDDPzgkQKg6777aysrq1vbBa2its7u3v7pYPDpolTzXiDxTLW7YAaLoXiDRQoeTvRnEaB5K1gdDv1W09cGxGrRxwn3I/oQIlQMIpWejinvVLZrbgzkGXi5aQMOeq90le3H7M04gqZpMZ0PDdBP6MaBZN8UuymhieUjeiAdyxVNOLGz2aXTsipVfokjLUthWSm/p7IaGTMOApsZ0RxaBa9qfif10kxvPYzoZIUuWLzRWEqCcZk+jbpC80ZyrEllGlhbyVsSDVlaMMp2hC8xZeXSbNa8S4q1fvLcu0mj6MAx3ACZ+DBFdTgDurQAAYhPMMrvDkj58V5dz7mrStOPnMEf+B8/gAsy40c</latexit>

b<latexit sha1_base64="2Hil2RXrNQKISd89TZ3DPLesdpw=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoCcpePHYgq2FNpTNdtKu3WzC7kYoob/AiwdFvPqTvPlv3LY5aOuDgcd7M8zMCxLBtXHdb6ewtr6xuVXcLu3s7u0flA+P2jpOFcMWi0WsOgHVKLjEluFGYCdRSKNA4EMwvp35D0+oNI/lvZkk6Ed0KHnIGTVWagb9csWtunOQVeLlpAI5Gv3yV28QszRCaZigWnc9NzF+RpXhTOC01Es1JpSN6RC7lkoaofaz+aFTcmaVAQljZUsaMld/T2Q00noSBbYzomakl72Z+J/XTU147WdcJqlByRaLwlQQE5PZ12TAFTIjJpZQpri9lbARVZQZm03JhuAtv7xK2rWqd1GtNS8r9Zs8jiKcwCmcgwdXUIc7aEALGCA8wyu8OY/Oi/PufCxaC04+cwx/4Hz+AMT7jOY=</latexit>

w � plane<latexit sha1_base64="6soM1e3si6bDUhRETc7NrpznNEk=">AAAB9XicbVBNS8NAEN3Ur1q/qh69BIvgxZJUQY9FLx4r2A9oY9lsJ+3SzSbsTqwl9H948aCIV/+LN/+N2zYHbX0w8Hhvhpl5fiy4Rsf5tnIrq2vrG/nNwtb2zu5ecf+goaNEMaizSESq5VMNgkuoI0cBrVgBDX0BTX94M/Wbj6A0j+Q9jmPwQtqXPOCMopEeRmcdhCdMY0ElTLrFklN2ZrCXiZuREslQ6xa/Or2IJSFIZIJq3XadGL2UKuRMwKTQSTTElA1pH9qGShqC9tLZ1RP7xCg9O4iUKYn2TP09kdJQ63Hom86Q4kAvelPxP6+dYHDlpVzGCYJk80VBImyM7GkEdo8rYCjGhlCmuLnVZgOqKEMTVMGE4C6+vEwalbJ7Xq7cXZSq11kceXJEjskpccklqZJbUiN1wogiz+SVvFkj68V6tz7mrTkrmzkkf2B9/gABcpLX</latexit>

y � plane<latexit sha1_base64="FE5PvMduQAYlUirJpgq9f+WhoQM=">AAAB9XicbVBNS8NAEN34WetX1aOXYBG8WJIq6LHoxWMF+wFtLJvtpF262YTdiRpC/4cXD4p49b9489+4bXPQ1gcDj/dmmJnnx4JrdJxva2l5ZXVtvbBR3Nza3tkt7e03dZQoBg0WiUi1fapBcAkN5CigHSugoS+g5Y+uJ37rAZTmkbzDNAYvpAPJA84oGuk+Pe0iPGEWCyph3CuVnYozhb1I3JyUSY56r/TV7UcsCUEiE1TrjuvE6GVUIWcCxsVuoiGmbEQH0DFU0hC0l02vHtvHRunbQaRMSbSn6u+JjIZap6FvOkOKQz3vTcT/vE6CwaWXcRknCJLNFgWJsDGyJxHYfa6AoUgNoUxxc6vNhlRRhiaoognBnX95kTSrFfesUr09L9eu8jgK5JAckRPikgtSIzekThqEEUWeySt5sx6tF+vd+pi1Lln5zAH5A+vzBwSUktk=</latexit>



Figure 4: A black hole in thermal equilibrium with a bath. The full Hartle-Hawking state is dual tothe thermofield double of the two quantum mechanical plus bath systems. We have two y-planes, oneon the right and one on the left. Half of each y-plane belongs to the bath and the other half to theblack hole exterior. The two y-planes fit into a w-plane where the state is the Minkowski vacuum forthe quantum fields of the CFT. The y-planes are like Rindler wedges and the state looks thermal in they-coordinates.

Notice that, even though the islands are outside the horizon of the coupled system, the islandsalways end up behind the horizon of the decoupled system, no matter how we decouple it. Thedetails of the decoupling process will determine the precise geometry and the actual position of thehorizon. However, as discussed in [14], and reviewed in this subsection, in any unitary way of doingit, the QES always lies behind the actual horizon of the decoupled system.

3 Nonzero temperature black hole coupled to a bath

In this section, we consider black holes at nonzero temperature coupled to a bath. More precisely,the setup can be thought of as having two copies of a black hole interacting with a bath, in thethermofield double state. This means that each black hole-plus-bath system is in a thermal state.The state of the quantum fields on this background is the Hartle-Hawking state. The geometrycorresponds to an AdS eternal black hole (or AdS wormhole) that is connected to two half-spaces,one on each side, see figure 4.

The stress tensor in the bath half-space regions is the usual thermal one with constant energydensity. The stress tensor in the eternal black hole or wormhole region is that of the usual AdS2

vacuum. This implies, via (4), that the relation between the Poincare coordinates (x+, x−) and the

10

right-exterior coordinates (y+, y−) is

x± = tanhπy±

β. (17)

The right black hole has the following metric and dilaton profile:

ds2 = −4π2

β2

dy+dy−

sinh2 πβ (y− − y+)

, φ = φ0 +2πφrβ

1

tanh πβ (y− − y+)

. (18)

The horizons are at y− = +∞ and y+ = −∞. In the bath region, we define the coordinates (y+, y−)as before. The whole y-plane describes one black hole exterior together with the bath. A secondy-plane describes the other side.8

The computation of the bulk entanglement entropy is similar to that of a thermal state on theplane, except that we have to include the appropriate warp factor term from the metric (18). Infact, the bulk entropy computation is simplest in the (x+, x−) coordinates since the stress tensorvanishes and we have just the vacuum formulas. We then have to transform to (y+, y−) coordinatesand keep track of the warp factors and transformation of the UV cutoffs.

We consider an interval on the right side of the form [0, b]R that includes part of the right bathand the quantum mechanical degrees of freedom at 0R. We look for an entanglement wedge thatconsists of the interval [−a, b], see figure 4. Its generalized entropy is

Sgen(a) =2πφrβ

1

tanh 2πβ a

+c

6log

sinh2 π(a+b)β

sinh 2πaβ

+ constant . (19)

In the limit of large β, this reproduces (5). Extremizing over a, we find

sinh π(a−b)β

sinh π(a+b)β

=12πφrcβ

1

sinh 2πaβ

. (20)

The important point is that, again, the value of a corresponds to a point outside the horizon, seefigure 4. This means that the region very near the horizon is not encoded in the degrees of freedomof the right boundary QM system. We find that a→∞ as b→∞, so that the quantum extremalsurface approaches the black hole horizon. This is the statement that the entire right AdS2 exterioris contained in the entire right system, [0,∞]R, including the boundary QM system at 0R.

Note that (20) depends nontrivially on the ratio of the two length scales φr/c and β. Whenφr/cβ � 1, we get (6), whose extrapolation for large b is also valid for b > β. In the oppositeregime, when φr/cβ is large, the near-extremal black hole entropy is large compared to c and theeffect of Hawking radiation is a small perturbation. In this limit, we get

a ≈ b+β

2πlog

(24πφrcβ

), for

φrcβ� 1 . (21)

Notice that the island is causally connected to the right boundary. This means that if we deposita message into the right boundary that is carried into the bulk by a particle falling into the blackhole, this message will reach the island and thus will be lost to the right boundary QM system, see

8We have x± = −1/ tanh(πy±L /β), where y±L are the coordinates of the left plane. The ones in (17) are the y±Rcoordinates.

11

tscr =�

2⇡log

SBH � S0

c<latexit sha1_base64="WEDTMba2R2McuJGP+szpaU1He9M=">AAACKnicbVDLSsNAFJ34tr6qLt0MFsGNJamCbhQfmy4VbSs0JUymN+3g5MHMjVhCvseNv+LGhVLc+iFO2yzUemDgcM653LnHT6TQaNtDa2Z2bn5hcWm5tLK6tr5R3txq6jhVHBo8lrG695kGKSJooEAJ94kCFvoSWv7D1chvPYLSIo7ucJBAJ2S9SASCMzSSV75Az0V4wkxzldNT6gaK8cz1AVme1dxE5NSVcY+WJsZtkb6s5we3np1nPPfKFbtqj0GniVOQCilw7ZXf3G7M0xAi5JJp3XbsBDsZUyi4hLzkphoSxh9YD9qGRiwE3cnGp+Z0zyhdGsTKvAjpWP05kbFQ60Hom2TIsK//eiPxP6+dYnDSyUSUpAgRnywKUkkxpqPeaFco4CgHhjCuhPkr5X1mOkHTbsmU4Pw9eZo0a1XnsFq7OaqcnxV1LJEdskv2iUOOyTmpk2vSIJw8k1fyTj6sF+vNGlqfk+iMVcxsk1+wvr4BTJGnxA==</latexit>

QES<latexit sha1_base64="VaVemGIxjE0Tg1sExz+86Fb+Wb8=">AAAB8XicbVBNS8NAEJ3Ur1q/qh69BIvgqSRV0IOHgggeW7Qf2Iay2W7apZtN2J2IJfRfePGgiFf/jTf/jds2B219MPB4b4aZeX4suEbH+bZyK6tr6xv5zcLW9s7uXnH/oKmjRFHWoJGIVNsnmgkuWQM5CtaOFSOhL1jLH11P/dYjU5pH8h7HMfNCMpA84JSgkR66yJ4wrd/cTXrFklN2ZrCXiZuREmSo9Ypf3X5Ek5BJpIJo3XGdGL2UKORUsEmhm2gWEzoiA9YxVJKQaS+dXTyxT4zSt4NImZJoz9TfEykJtR6HvukMCQ71ojcV//M6CQaXXsplnCCTdL4oSISNkT193+5zxSiKsSGEKm5utemQKELRhFQwIbiLLy+TZqXsnpUr9fNS9SqLIw9HcAyn4MIFVOEWatAAChKe4RXeLG29WO/Wx7w1Z2Uzh/AH1ucPogWQ3g==</latexit>

Figure 5: A message inserted into the right boundary quantum mechanical system will exit its entangle-ment wedge after a scrambling time.

figure 5. From (21) we can see that in order to lose access to the message at t = 0, it needs to bethrown into the black hole roughly a scrambling time tscr in the past, where

tscr =β

2πlog

(24πφrcβ

)+ . . . , (22)

and we took b � β � φr/c. After time tscr, the message should be reconstructable from thecomplementary system. This is a manifestation of the Hayden-Preskill protocol [24].

Let us make some comments about the factor of c in the denominator inside the log in (21)and (22). Assuming b� β � φr/c, the formula (21) says that a simple signal sent at a time morethan tscr in the past (from the time where we compute the island) will not belong to the rightboundary QM degrees of freedom; see figure 5. This definition of the scrambling time, with a cin the denominator inside the logarithm, might seem unconventional. But in fact, this definitionagrees with [25], after identifying the variables E, δE in [25] with E ∼ φr/β

2 and δE ∼ c/β. Wecan think of tscr as the time that has to elapse in order for the square of the commutator betweenthe message and c qubits of radiation to become of order one. If we had only one qubit of radiation,that time would be the conventional scrambling time (just the logarithm of the entropy). Since wehave c qubits, the commutator is c times larger, and we need a shorter time, as in (21) and (22).

Finally, we comment that, once again, in the nonzero temperature situation, we could run into aninconsistency unless some energy is emitted when we decouple the system. Again, the inconsistencyis avoided by the use of the QFC (11).

3.1 Who claims the island?

Since the region on the right side between the horizon and the point −a, that is the interval[−∞,−a]R in the y-coordinates, is not owned by the degrees of freedom localized at [0, b]R, wewould like to understand who owns this region. More precisely, we want to ask from what regioncan we reconstruct the island, or extract the information that is contained there.

It is clear that the island is in the entanglement wedge of the region complementary to [0, b]R.The complementary region is the union [−∞, 0]L ∪ [b,+∞]R. This is the whole left side, together

12

0L<latexit sha1_base64="/n6RkNS7hp/aRtpMWHNLVtZ2jxk=">AAAB6nicbVA9SwNBEJ3zM8avqKXNYhCswl0UtAzaWFhENB+QHGFvM5cs2ds7dveEcOQn2FgoYusvsvPfuEmu0MQHA4/3ZpiZFySCa+O6387K6tr6xmZhq7i9s7u3Xzo4bOo4VQwbLBaxagdUo+ASG4Ybge1EIY0Cga1gdDP1W0+oNI/loxkn6Ed0IHnIGTVWenB7d71S2a24M5Bl4uWkDDnqvdJXtx+zNEJpmKBadzw3MX5GleFM4KTYTTUmlI3oADuWShqh9rPZqRNyapU+CWNlSxoyU39PZDTSehwFtjOiZqgXvan4n9dJTXjlZ1wmqUHJ5ovCVBATk+nfpM8VMiPGllCmuL2VsCFVlBmbTtGG4C2+vEya1Yp3XqneX5Rr13kcBTiGEzgDDy6hBrdQhwYwGMAzvMKbI5wX5935mLeuOPnMEfyB8/kDyCuNdw==</latexit>

0R<latexit sha1_base64="EM8revJjsSYE2/mR86BFuT+P9dU=">AAAB6nicbVDLSgNBEOz1GeMr6tHLYBA8hd0o6DHoxWN85AHJEmYns8mQ2dllplcISz7BiwdFvPpF3vwbJ8keNLGgoajqprsrSKQw6Lrfzsrq2vrGZmGruL2zu7dfOjhsmjjVjDdYLGPdDqjhUijeQIGStxPNaRRI3gpGN1O/9cS1EbF6xHHC/YgOlAgFo2ilB7d33yuV3Yo7A1kmXk7KkKPeK311+zFLI66QSWpMx3MT9DOqUTDJJ8VuanhC2YgOeMdSRSNu/Gx26oScWqVPwljbUkhm6u+JjEbGjKPAdkYUh2bRm4r/eZ0Uwys/EypJkSs2XxSmkmBMpn+TvtCcoRxbQpkW9lbChlRThjadog3BW3x5mTSrFe+8Ur27KNeu8zgKcAwncAYeXEINbqEODWAwgGd4hTdHOi/Ou/Mxb11x8pkj+APn8wfRQ419</latexit>

�a<latexit sha1_base64="p51t/8el7UKqhp9ZBavCTTCEtl0=">AAAB6XicbVBNS8NAEJ34WetX1aOXxSJ4sSRV0GPRi8cq9gPaUDbbTbt0swm7E6GE/gMvHhTx6j/y5r9x2+agrQ8GHu/NMDMvSKQw6Lrfzsrq2vrGZmGruL2zu7dfOjhsmjjVjDdYLGPdDqjhUijeQIGStxPNaRRI3gpGt1O/9cS1EbF6xHHC/YgOlAgFo2ilh3PaK5XdijsDWSZeTsqQo94rfXX7MUsjrpBJakzHcxP0M6pRMMknxW5qeELZiA54x1JFI278bHbphJxapU/CWNtSSGbq74mMRsaMo8B2RhSHZtGbiv95nRTDaz8TKkmRKzZfFKaSYEymb5O+0JyhHFtCmRb2VsKGVFOGNpyiDcFbfHmZNKsV76JSvb8s127yOApwDCdwBh5cQQ3uoA4NYBDCM7zCmzNyXpx352PeuuLkM0fwB87nDy3/jSA=</latexit>

Horizon<latexit sha1_base64="r9aREBpqy+/b7oY2ZjjXEqogGXU=">AAAB9XicbVBNSwMxEM3Wr1q/qh69BIvgqexWQU9S8NJjBfsB7VqyabYNzSZLMqvWpf/DiwdFvPpfvPlvTNs9aOuDgcd7M8zMC2LBDbjut5NbWV1b38hvFra2d3b3ivsHTaMSTVmDKqF0OyCGCS5ZAzgI1o41I1EgWCsYXU/91j3Thit5C+OY+REZSB5ySsBKd11gj5DWlOZPSk56xZJbdmfAy8TLSAllqPeKX92+oknEJFBBjOl4bgx+SjRwKtik0E0MiwkdkQHrWCpJxIyfzq6e4BOr9HGotC0JeKb+nkhJZMw4CmxnRGBoFr2p+J/XSSC89FMu4wSYpPNFYSIwKDyNAPe5ZhTE2BJCNbe3YjokmlCwQRVsCN7iy8ukWSl7Z+XKzXmpepXFkUdH6BidIg9doCqqoTpqIIo0ekav6M15cF6cd+dj3ppzsplD9AfO5w9SiZMI</latexit>



(a)

0R<latexit sha1_base64="EM8revJjsSYE2/mR86BFuT+P9dU=">AAAB6nicbVDLSgNBEOz1GeMr6tHLYBA8hd0o6DHoxWN85AHJEmYns8mQ2dllplcISz7BiwdFvPpF3vwbJ8keNLGgoajqprsrSKQw6Lrfzsrq2vrGZmGruL2zu7dfOjhsmjjVjDdYLGPdDqjhUijeQIGStxPNaRRI3gpGN1O/9cS1EbF6xHHC/YgOlAgFo2ilB7d33yuV3Yo7A1kmXk7KkKPeK311+zFLI66QSWpMx3MT9DOqUTDJJ8VuanhC2YgOeMdSRSNu/Gx26oScWqVPwljbUkhm6u+JjEbGjKPAdkYUh2bRm4r/eZ0Uwys/EypJkSs2XxSmkmBMpn+TvtCcoRxbQpkW9lbChlRThjadog3BW3x5mTSrFe+8Ur27KNeu8zgKcAwncAYeXEINbqEODWAwgGd4hTdHOi/Ou/Mxb11x8pkj+APn8wfRQ419</latexit>

0L<latexit sha1_base64="/n6RkNS7hp/aRtpMWHNLVtZ2jxk=">AAAB6nicbVA9SwNBEJ3zM8avqKXNYhCswl0UtAzaWFhENB+QHGFvM5cs2ds7dveEcOQn2FgoYusvsvPfuEmu0MQHA4/3ZpiZFySCa+O6387K6tr6xmZhq7i9s7u3Xzo4bOo4VQwbLBaxagdUo+ASG4Ybge1EIY0Cga1gdDP1W0+oNI/loxkn6Ed0IHnIGTVWenB7d71S2a24M5Bl4uWkDDnqvdJXtx+zNEJpmKBadzw3MX5GleFM4KTYTTUmlI3oADuWShqh9rPZqRNyapU+CWNlSxoyU39PZDTSehwFtjOiZqgXvan4n9dJTXjlZ1wmqUHJ5ovCVBATk+nfpM8VMiPGllCmuL2VsCFVlBmbTtGG4C2+vEya1Yp3XqneX5Rr13kcBTiGEzgDDy6hBrdQhwYwGMAzvMKbI5wX5935mLeuOPnMEfyB8/kDyCuNdw==</latexit>



(b)

Figure 6: In (a), we display a spatial slice of the eternal black hole coupled to two baths and theentanglement wedges for each of the three intervals [−∞, 0]L, [0, b]R, [b,∞]R. The island does notbelong any single of them, but it does belong to any pair. In (b), we display the geometry when thematter CFT has a three-dimensional holographic dual, as in [3] (only a spatial section of the three-dimensional geometry is shown).

with the outer interval on the right side. We are defining the coordinates on the left side so thatnegative values of σ correspond to the bath, while positive values to the AdS2 region. So, in thebulk, the “island” region [−∞,−a]R is connected to the entire left side. Thus, more than an island,it is a peninsula that extends out from the left boundary. In other words, the bulk entanglementwedge of [−∞, 0]L ∪ [b,+∞]R is [−∞,∞]L∪[−∞,−a]R∪[b,∞]R. Note that the entanglement wedgeof the whole left side, or [−∞, 0]L, should be simply the whole left y-plane going up to the bifurcatehorizon, or the interval [−∞,∞]L. Therefore, by itself, it does not contain the island.

We now consider the region [b,+∞]R. We can argue that it cannot contain the island due to thefollowing reason. If we have access to [0, b]R and to the whole left side [−∞, 0]L, then we can extractthe information that is in the island, at least the one sufficiently close to the horizon, by insertinga pair of operators in these two regions, as in the traversable wormhole/quantum teleportationdiscussion in [26]. In section 3.2 we will discuss this procedure in more detail. Therefore weconclude that the island cannot be in the entanglement wedge of the [b,+∞]R region on its own.9

The upshot is that this island does not belong either to the left side [−∞, 0]L, or to the [b,+∞]Rinterval. However, it does belong to the union of these two regions. See figure 6(b) for a picture ofthe entanglement wedges for the case that the CFT2 has a three-dimensioanl holographic dual. In

9We thank Hong Zhe Chen and Rob Myers for pointing out an error in the argument we had in the first versionof this paper. We also thank R. Bousso for suggesting the present argument.

13

Negative<latexit sha1_base64="E3eZuSx7/vFl+d6E8GQjQfhA0zU=">AAAB+HicbVBNS8NAEN3Ur1o/GvXoJVgETyWpgj0WvHiSCvYD2lA222m7dLMJu5NiDf0lXjwo4tWf4s1/47bNQVsfDDzem2FmXhALrtF1v63cxubW9k5+t7C3f3BYtI+OmzpKFIMGi0Sk2gHVILiEBnIU0I4V0DAQ0ArGN3O/NQGleSQfcBqDH9Kh5APOKBqpZxe7CI+Y3sHQCBOY9eySW3YXcNaJl5ESyVDv2V/dfsSSECQyQbXueG6MfkoVciZgVugmGmLKxnQIHUMlDUH76eLwmXNulL4ziJQpic5C/T2R0lDraRiYzpDiSK96c/E/r5PgoOqnXMYJgmTLRYNEOBg58xScPlfAUEwNoUxxc6vDRlRRhiarggnBW315nTQrZe+yXLm/KtWqWRx5ckrOyAXxyDWpkVtSJw3CSEKeySt5s56sF+vd+li25qxs5oT8gfX5A2L1k4c=</latexit>

energy<latexit sha1_base64="ueqTP0GQfSpkjI+AImNKBUx8zb8=">AAAB9HicbVBNS8NAEN3Ur1q/qh69BIvgqSRVsMeCF48V7Ae0oWy2k3bpZhN3J8UQ+ju8eFDEqz/Gm//GbZuDtj4YeLw3w8w8PxZco+N8W4WNza3tneJuaW//4PCofHzS1lGiGLRYJCLV9akGwSW0kKOAbqyAhr6Ajj+5nfudKSjNI/mAaQxeSEeSB5xRNJLXR3jCDCSoUToblCtO1VnAXiduTiokR3NQ/uoPI5aEIJEJqnXPdWL0MqqQMwGzUj/REFM2oSPoGSppCNrLFkfP7AujDO0gUqYk2gv190RGQ63T0DedIcWxXvXm4n9eL8Gg7mVcxgmCZMtFQSJsjOx5AvaQK2AoUkMoU9zcarMxVZShyalkQnBXX14n7VrVvarW7q8rjXoeR5GckXNySVxyQxrkjjRJizDySJ7JK3mzptaL9W59LFsLVj5zSv7A+vwBlqOSmQ==</latexit>

Light ray for QFC<latexit sha1_base64="cecs8xw3ECQ1Nhf0hnMrHoThj3I=">AAACAXicbVC7SgNBFJ31GeNr1UawGQyCVdiNAS0DAbGwSMA8IFnC7GQ2GTL7YOauuCyx8VdsLBSx9S/s/Bsnmy008VSHc+7l3nPcSHAFlvVtrKyurW9sFraK2zu7e/vmwWFbhbGkrEVDEcquSxQTPGAt4CBYN5KM+K5gHXdSn/mdeyYVD4M7SCLm+GQUcI9TAloamMd9YA+Q3vLRGLAkCfZCiZvX9enALFllKwNeJnZOSihHY2B+9YchjX0WABVEqZ5tReCkRAKngk2L/VixiNAJGbGepgHxmXLSLMEUn2llmN32wgBwpv7eSImvVOK7etInMFaL3kz8z+vF4F05KQ+iGFhA54e8WGAI8awOPOSSURCJJoRKrn/FdEwkoaBLK+oS7MXIy6RdKdsX5UqzWqpV8zoK6ASdonNko0tUQzeogVqIokf0jF7Rm/FkvBjvxsd8dMXId47QHxifP9Xblm8=</latexit>

�a<latexit sha1_base64="4MwP4sCOQ2vMLouhdAoKverm2GQ=">AAAB6XicbVBNS8NAEJ34WetX1aOXxSJ4sSRV0JMUvHisYj+gDWWz3bRLN5uwOxFK6D/w4kERr/4jb/4bt20O2vpg4PHeDDPzgkQKg6777aysrq1vbBa2its7u3v7pYPDpolTzXiDxTLW7YAaLoXiDRQoeTvRnEaB5K1gdDv1W09cGxGrRxwn3I/oQIlQMIpWejinvVLZrbgzkGXi5aQMOeq90le3H7M04gqZpMZ0PDdBP6MaBZN8UuymhieUjeiAdyxVNOLGz2aXTsipVfokjLUthWSm/p7IaGTMOApsZ0RxaBa9qfif10kxvPYzoZIUuWLzRWEqCcZk+jbpC80ZyrEllGlhbyVsSDVlaMMp2hC8xZeXSbNa8S4q1fvLcu0mj6MAx3ACZ+DBFdTgDurQAAYhPMMrvDkj58V5dz7mrStOPnMEf+B8/gAsy40c</latexit> b

<latexit sha1_base64="2Hil2RXrNQKISd89TZ3DPLesdpw=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoCcpePHYgq2FNpTNdtKu3WzC7kYoob/AiwdFvPqTvPlv3LY5aOuDgcd7M8zMCxLBtXHdb6ewtr6xuVXcLu3s7u0flA+P2jpOFcMWi0WsOgHVKLjEluFGYCdRSKNA4EMwvp35D0+oNI/lvZkk6Ed0KHnIGTVWagb9csWtunOQVeLlpAI5Gv3yV28QszRCaZigWnc9NzF+RpXhTOC01Es1JpSN6RC7lkoaofaz+aFTcmaVAQljZUsaMld/T2Q00noSBbYzomakl72Z+J/XTU147WdcJqlByRaLwlQQE5PZ12TAFTIjJpZQpri9lbARVZQZm03JhuAtv7xK2rWqd1GtNS8r9Zs8jiKcwCmcgwdXUIc7aEALGCA8wyu8OY/Oi/PufCxaC04+cwx/4Hz+AMT7jOY=</latexit>

Figure 7: Recovering the information stranded in the island through a quantum teleportation protocol.This involves measuring fields to the right of b on the right side, and using that information to generatea negative energy pulse on the left side [26]. The natural evolution of the left side then extracts theinformation from the island (at least the information that is contained in purely left- or right-movingfields in the bulk).

summary, the island [−∞,−a]R belongs to any two of the three regions [−∞, 0]L, [0, b]R, [b,∞]R,but not to any single one of them. This is similar to the situation discussed in [27].

3.2 Rescuing the information stranded in the island

From the previous discussion we expect that it should be possible to extract the information in theisland if we have access to the union of [−∞, 0]L ∪ [b,∞]R. In general, extracting information froman island could be very difficult. However, for this particular system there is a relatively simple wayto do it [26, 28].

For simplicity let us consider the case when b � β � φr/c. Then, from (17) and (21) we seethat the point −a is such that its x+-coordinate differs from that of the past horizon by

∆x+(a) = tanhπ(−a)

β+ 1 ∝ cβ

φr, (23)

where we used (21) to approximate a, with b � β. We can now follow the quantum teleportationideas in [26] (see also [28]). By inserting a pair of operators, one near σ = b in the right bathand the other somewhere on the left side, we can create a negative energy shock of magnitudeP− = −i∂x− ∝ c that goes into the left black hole.10 Alternatively we can measure the operators

10Note from (17) that x+ and x− are dimensionless.

14

on the right bath, send the information to the left side and apply a unitary that depends on theresult. Then the dynamics of two-dimensional gravity produces a shift in the horizon

∆x+shock ∝

P−∂2rφ∝ cβ

φr, with ∂2

rφ ∝φrβ, P− ∝ c . (24)

The first formula is the general shift we have at the horizon of a black hole due to a pulse. Thequantity ∂2

rφ is the Laplacian of the dilaton at the horizon and we used its expression in JT gravity,see [28] for more details. Thus, we see that we can produce enough negative energy (24) to producea shift of the right order of magnitude (23) that can pull the island into causal contact with the leftsystem; see figure 7. We can also evolve the left system backwards in time on the left side, as wasdiscussed for the zero temperature case in figure 3(c).

We should emphasize that this protocol involves both baths plus the left boundary quantumsystem. While the initial deformation is localized in the baths, evolving with the coupled Hamilto-nian of the left boundary-plus-bath is crucial for propagating the negative energy into the bulk topull out the island.

Note that we should not be able to overdo this and pull out more than the island. Therefore wehave a sharp bound on how effective the teleportation process can be. Fortunately, by an argumentsimilar to that of section 2.1, the QFC ensures this. Namely, we can apply it along the light raythat starts at the quantum extremal surface and goes to the left, and use the entropy of the spatialinterval between a point on the light ray and b; see figure 7. Again we use that the point −a isa quantum extremal surface so that the gradient of the generalized entropy vanishes there. Asbefore, this implies that the light ray cannot hit the physical boundary of AdS2 and come out onthe left. One might be hesitant to apply the quantum focusing conjecture in a situation that wehave a non-local operator. Note, however, that this operator is a unitary transformation that actson the complement of the region [−a, b]. This implies that, at −a, we continue to have a quantumextremal surface. Furthermore, this unitary produces a new state and then we are simply applyingthe QFC for this new state.

Note that this recovery protocol explains why the island extends outside the horizon, sinceit shows that the information in that region can be recovered without the knowledge of the rightboundary QM system. In addition, the fact that the extent of the island is correct to be extractable,as discussed in (24), shows that the factor of c inside the logarithm in (21) is correct.

In summary, we have argued that we can extract some part of the island and that we cannotpull out more than the island. However, we did not show that we can pull out precisely the wholeisland. We leave this to the future.

4 An information paradox for the eternal black hole

In this section, we want to point out that there is already a Hawking-like information paradox forthe eternal black hole in equilibrium with a bath, as we considered above.11 This is the thermofielddouble of the black hole and the bath together. There are two copies of the black hole and twocopies of the bath. See figure 4. A similar paradox was discussed in [8].

Let us consider the bath subregions [−∞,−b]L and [b,∞]R both on the t = 0 slice. In this situ-ation, the entanglement entropy can be computed as the entropy of two intervals in the thermofield

11We thank Thomas Hartman and Douglas Stanford for discussion on this topic. This is different from the eternalblack hole paradox discussed in [29], which involved long time correlators for an eternal black hole which is not coupledto a bath. See also [30] for a discussion of bulk local operators in the time-shifted thermofield double states.

15

1R<latexit sha1_base64="k+RFGUeQ31myvkJ7jW5GVRY2IKw=">AAAB73icbVBNS8NAEJ34WetX1aOXxSJ4KkkV9Fj04rGK/YA2lM120y7dbOLuRAilf8KLB0W8+ne8+W/ctjlo64OBx3szzMwLEikMuu63s7K6tr6xWdgqbu/s7u2XDg6bJk414w0Wy1i3A2q4FIo3UKDk7URzGgWSt4LRzdRvPXFtRKweMEu4H9GBEqFgFK3U7goVYta775XKbsWdgSwTLydlyFHvlb66/ZilEVfIJDWm47kJ+mOqUTDJJ8VuanhC2YgOeMdSRSNu/PHs3gk5tUqfhLG2pZDM1N8TYxoZk0WB7YwoDs2iNxX/8zophlf+WKgkRa7YfFGYSoIxmT5P+kJzhjKzhDIt7K2EDammDG1ERRuCt/jyMmlWK955pXp3Ua5d53EU4BhO4Aw8uIQa3EIdGsBAwjO8wpvz6Lw4787HvHXFyWeO4A+czx8fKJAF</latexit>

�1L<latexit sha1_base64="GzwRGR7X0pNJnN8KwQ3hpayb4XQ=">AAAB8HicbVA9SwNBEN2LXzF+RS1tFoNgY7iLgpZBGwuLCOZDkiPsbfaSJbt7x+6ccBz5FTYWitj6c+z8N26SKzTxwcDjvRlm5gWx4AZc99sprKyurW8UN0tb2zu7e+X9g5aJEk1Zk0Yi0p2AGCa4Yk3gIFgn1ozIQLB2ML6Z+u0npg2P1AOkMfMlGSoeckrASo9nPa5CSPt3/XLFrboz4GXi5aSCcjT65a/eIKKJZAqoIMZ0PTcGPyMaOBVsUuolhsWEjsmQdS1VRDLjZ7ODJ/jEKgMcRtqWAjxTf09kRBqTysB2SgIjs+hNxf+8bgLhlZ9xFSfAFJ0vChOBIcLT7/GAa0ZBpJYQqrm9FdMR0YSCzahkQ/AWX14mrVrVO6/W7i8q9es8jiI6QsfoFHnoEtXRLWqgJqJIomf0it4c7bw4787HvLXg5DOH6A+czx+AnpA2</latexit>

b<latexit sha1_base64="yhQJFQpevjRByVbXWtOPqv+oT+E=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoOCl4MVjC7YW2lA220m7drMJuxuhhP4CLx4U8epP8ua/cdvmoK0PBh7vzTAzL0gE18Z1v53C2vrG5lZxu7Szu7d/UD48aus4VQxbLBax6gRUo+ASW4YbgZ1EIY0CgQ/B+HbmPzyh0jyW92aSoB/RoeQhZ9RYqRn0yxW36s5BVomXkwrkaPTLX71BzNIIpWGCat313MT4GVWGM4HTUi/VmFA2pkPsWipphNrP5odOyZlVBiSMlS1pyFz9PZHRSOtJFNjOiJqRXvZm4n9eNzXhtZ9xmaQGJVssClNBTExmX5MBV8iMmFhCmeL2VsJGVFFmbDYlG4K3/PIqadeq3kW11rys1G/yOIpwAqdwDh5cQR3uoAEtYIDwDK/w5jw6L86787FoLTj5zDH8gfP5A8QUjOM=</latexit>�b

<latexit sha1_base64="jo2feA7zl00IHtlIqWrc4t+QLuM=">AAAB6XicbVBNS8NAEJ34WetX1aOXxSJ4sSRVUPBS8OKxiv2ANpTNdtIu3WzC7kYoof/AiwdFvPqPvPlv3LY5aOuDgcd7M8zMCxLBtXHdb2dldW19Y7OwVdze2d3bLx0cNnWcKoYNFotYtQOqUXCJDcONwHaikEaBwFYwup36rSdUmsfy0YwT9CM6kDzkjBorPZwHvVLZrbgzkGXi5aQMOeq90le3H7M0QmmYoFp3PDcxfkaV4UzgpNhNNSaUjegAO5ZKGqH2s9mlE3JqlT4JY2VLGjJTf09kNNJ6HAW2M6JmqBe9qfif10lNeO1nXCapQcnmi8JUEBOT6dukzxUyI8aWUKa4vZWwIVWUGRtO0YbgLb68TJrVindRqd5flms3eRwFOIYTOAMPrqAGd1CHBjAI4Rle4c0ZOS/Ou/Mxb11x8pkj+APn8wctaI0a</latexit>

w plane<latexit sha1_base64="m6keUINZyaUwXMqsMobMXjUl0tw=">AAAB9XicbVBNS8NAEN3Ur1q/qh69BIvgqSRV0GPRi8cK9gPaWDbbSbt0swm7E2sJ9Xd48aCIV/+LN/+N2zYHbX0w8Hhvhpl5fiy4Rsf5tnIrq2vrG/nNwtb2zu5ecf+goaNEMaizSESq5VMNgkuoI0cBrVgBDX0BTX94PfWbD6A0j+QdjmPwQtqXPOCMopHuR08dhEdMY0ElTLrFklN2ZrCXiZuREslQ6xa/Or2IJSFIZIJq3XadGL2UKuRMwKTQSTTElA1pH9qGShqC9tLZ1RP7xCg9O4iUKYn2TP09kdJQ63Hom86Q4kAvelPxP6+dYHDppVzGCYJk80VBImyM7GkEdo8rYCjGhlCmuLnVZgOqKEMTVMGE4C6+vEwalbJ7Vq7cnpeqV1kceXJEjskpcckFqZIbUiN1wogiz+SVvFkj68V6tz7mrTkrmzkkf2B9/gCAApMo</latexit>

yL plane<latexit sha1_base64="Rc7iV2idQwsYoXPVor2jlTPQt4Q=">AAAB+XicbVBNS8NAEN34WetX1KOXYBE8laQKeix68eChgv2ANoTNdtou3WzC7qRYQv0lXjwo4tV/4s1/47bNQVsfDDzem2FmXpgIrtF1v62V1bX1jc3CVnF7Z3dv3z44bOg4VQzqLBaxaoVUg+AS6shRQCtRQKNQQDMc3kz95giU5rF8wHECfkT7kvc4o2ikwLbHwd1TB+ERs0RQCZPALrlldwZnmXg5KZEctcD+6nRjlkYgkQmqddtzE/QzqpAzAZNiJ9WQUDakfWgbKmkE2s9ml0+cU6N0nV6sTEl0ZurviYxGWo+j0HRGFAd60ZuK/3ntFHtXfsZlkiJINl/US4WDsTONwelyBQzF2BDKFDe3OmxAFWVowiqaELzFl5dJo1L2zsuV+4tS9TqPo0COyQk5Ix65JFVyS2qkThgZkWfySt6szHqx3q2PeeuKlc8ckT+wPn8AUkCUGg==</latexit>

yR plane<latexit sha1_base64="CxldaIpROHj/cIx6rYhcgf0K2wU=">AAAB+XicbVBNS8NAEN34WetX1KOXYBE8laQKeix68VjFfkAbwmY7bZduNmF3Uiyh/hIvHhTx6j/x5r9x2+agrQ8GHu/NMDMvTATX6Lrf1srq2vrGZmGruL2zu7dvHxw2dJwqBnUWi1i1QqpBcAl15CiglSigUSigGQ5vpn5zBErzWD7gOAE/on3Je5xRNFJg2+Pg/qmD8IhZIqiESWCX3LI7g7NMvJyUSI5aYH91ujFLI5DIBNW67bkJ+hlVyJmASbGTakgoG9I+tA2VNALtZ7PLJ86pUbpOL1amJDoz9fdERiOtx1FoOiOKA73oTcX/vHaKvSs/4zJJESSbL+qlwsHYmcbgdLkChmJsCGWKm1sdNqCKMjRhFU0I3uLLy6RRKXvn5crdRal6ncdRIMfkhJwRj1ySKrklNVInjIzIM3klb1ZmvVjv1se8dcXKZ47IH1ifP1umlCA=</latexit>

No island<latexit sha1_base64="/WfeGA8aIdM3c2LzA+VW44m5H/E=">AAAB+XicbVBNSwMxEM3Wr1q/Vj16CRbBU9mtgh6LXjxJBfsB7VKy2bQNzSZLMlssS/+JFw+KePWfePPfmLZ70NYHA4/3ZpiZFyaCG/C8b6ewtr6xuVXcLu3s7u0fuIdHTaNSTVmDKqF0OySGCS5ZAzgI1k40I3EoWCsc3c781phpw5V8hEnCgpgMJO9zSsBKPdftAnuC7F5hbgSR0bTnlr2KNwdeJX5OyihHved+dSNF05hJoIIY0/G9BIKMaOBUsGmpmxqWEDoiA9axVJKYmSCbXz7FZ1aJcF9pWxLwXP09kZHYmEkc2s6YwNAsezPxP6+TQv86yLhMUmCSLhb1U4FB4VkMOOKaURATSwjV3N6K6ZBoQsGGVbIh+Msvr5JmteJfVKoPl+XaTR5HEZ2gU3SOfHSFaugO1VEDUTRGz+gVvTmZ8+K8Ox+L1oKTzxyjP3A+fwDHxpPA</latexit>

(a)

1R<latexit sha1_base64="k+RFGUeQ31myvkJ7jW5GVRY2IKw=">AAAB73icbVBNS8NAEJ34WetX1aOXxSJ4KkkV9Fj04rGK/YA2lM120y7dbOLuRAilf8KLB0W8+ne8+W/ctjlo64OBx3szzMwLEikMuu63s7K6tr6xWdgqbu/s7u2XDg6bJk414w0Wy1i3A2q4FIo3UKDk7URzGgWSt4LRzdRvPXFtRKweMEu4H9GBEqFgFK3U7goVYta775XKbsWdgSwTLydlyFHvlb66/ZilEVfIJDWm47kJ+mOqUTDJJ8VuanhC2YgOeMdSRSNu/PHs3gk5tUqfhLG2pZDM1N8TYxoZk0WB7YwoDs2iNxX/8zophlf+WKgkRa7YfFGYSoIxmT5P+kJzhjKzhDIt7K2EDammDG1ERRuCt/jyMmlWK955pXp3Ua5d53EU4BhO4Aw8uIQa3EIdGsBAwjO8wpvz6Lw4787HvHXFyWeO4A+czx8fKJAF</latexit>

�1L<latexit sha1_base64="GzwRGR7X0pNJnN8KwQ3hpayb4XQ=">AAAB8HicbVA9SwNBEN2LXzF+RS1tFoNgY7iLgpZBGwuLCOZDkiPsbfaSJbt7x+6ccBz5FTYWitj6c+z8N26SKzTxwcDjvRlm5gWx4AZc99sprKyurW8UN0tb2zu7e+X9g5aJEk1Zk0Yi0p2AGCa4Yk3gIFgn1ozIQLB2ML6Z+u0npg2P1AOkMfMlGSoeckrASo9nPa5CSPt3/XLFrboz4GXi5aSCcjT65a/eIKKJZAqoIMZ0PTcGPyMaOBVsUuolhsWEjsmQdS1VRDLjZ7ODJ/jEKgMcRtqWAjxTf09kRBqTysB2SgIjs+hNxf+8bgLhlZ9xFSfAFJ0vChOBIcLT7/GAa0ZBpJYQqrm9FdMR0YSCzahkQ/AWX14mrVrVO6/W7i8q9es8jiI6QsfoFHnoEtXRLWqgJqJIomf0it4c7bw4787HvLXg5DOH6A+czx+AnpA2</latexit>

b<latexit sha1_base64="yhQJFQpevjRByVbXWtOPqv+oT+E=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoOCl4MVjC7YW2lA220m7drMJuxuhhP4CLx4U8epP8ua/cdvmoK0PBh7vzTAzL0gE18Z1v53C2vrG5lZxu7Szu7d/UD48aus4VQxbLBax6gRUo+ASW4YbgZ1EIY0CgQ/B+HbmPzyh0jyW92aSoB/RoeQhZ9RYqRn0yxW36s5BVomXkwrkaPTLX71BzNIIpWGCat313MT4GVWGM4HTUi/VmFA2pkPsWipphNrP5odOyZlVBiSMlS1pyFz9PZHRSOtJFNjOiJqRXvZm4n9eNzXhtZ9xmaQGJVssClNBTExmX5MBV8iMmFhCmeL2VsJGVFFmbDYlG4K3/PIqadeq3kW11rys1G/yOIpwAqdwDh5cQR3uoAEtYIDwDK/w5jw6L86787FoLTj5zDH8gfP5A8QUjOM=</latexit>�b

<latexit sha1_base64="jo2feA7zl00IHtlIqWrc4t+QLuM=">AAAB6XicbVBNS8NAEJ34WetX1aOXxSJ4sSRVUPBS8OKxiv2ANpTNdtIu3WzC7kYoof/AiwdFvPqPvPlv3LY5aOuDgcd7M8zMCxLBtXHdb2dldW19Y7OwVdze2d3bLx0cNnWcKoYNFotYtQOqUXCJDcONwHaikEaBwFYwup36rSdUmsfy0YwT9CM6kDzkjBorPZwHvVLZrbgzkGXi5aQMOeq90le3H7M0QmmYoFp3PDcxfkaV4UzgpNhNNSaUjegAO5ZKGqH2s9mlE3JqlT4JY2VLGjJTf09kNNJ6HAW2M6JmqBe9qfif10lNeO1nXCapQcnmi8JUEBOT6dukzxUyI8aWUKa4vZWwIVWUGRtO0YbgLb68TJrVindRqd5flms3eRwFOIYTOAMPrqAGd1CHBjAI4Rle4c0ZOS/Ou/Mxb11x8pkj+APn8wctaI0a</latexit>

a<latexit sha1_base64="9rkWau0EY76zleZm3mh2U3qKXRM=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0mqoOCl4MVjC7YW2lA220m7drMJuxuhhP4CLx4U8epP8ua/cdvmoK0PBh7vzTAzL0gE18Z1v53C2vrG5lZxu7Szu7d/UD48aus4VQxbLBax6gRUo+ASW4YbgZ1EIY0CgQ/B+HbmPzyh0jyW92aSoB/RoeQhZ9RYqUn75Ypbdecgq8TLSQVyNPrlr94gZmmE0jBBte56bmL8jCrDmcBpqZdqTCgb0yF2LZU0Qu1n80On5MwqAxLGypY0ZK7+nshopPUkCmxnRM1IL3sz8T+vm5rw2s+4TFKDki0WhakgJiazr8mAK2RGTCyhTHF7K2EjqigzNpuSDcFbfnmVtGtV76Jaa15W6jd5HEU4gVM4Bw+uoA530IAWMEB4hld4cx6dF+fd+Vi0Fpx85hj+wPn8AcKQjOI=</latexit> �a

<latexit sha1_base64="CNENnKGS/P/KgyI8bIMdkzC/6vw=">AAAB6XicbVBNS8NAEJ34WetX1aOXxSJ4sSRVUPBS8OKxiv2ANpTNdtMu3WzC7kQoof/AiwdFvPqPvPlv3LY5aOuDgcd7M8zMCxIpDLrut7Oyura+sVnYKm7v7O7tlw4OmyZONeMNFstYtwNquBSKN1Cg5O1EcxoFkreC0e3Ubz1xbUSsHnGccD+iAyVCwSha6eGc9kplt+LOQJaJl5My5Kj3Sl/dfszSiCtkkhrT8dwE/YxqFEzySbGbGp5QNqID3rFU0YgbP5tdOiGnVumTMNa2FJKZ+nsio5Ex4yiwnRHFoVn0puJ/XifF8NrPhEpS5IrNF4WpJBiT6dukLzRnKMeWUKaFvZWwIdWUoQ2naEPwFl9eJs1qxbuoVO8vy7WbPI4CHMMJnIEHV1CDO6hDAxiE8Ayv8OaMnBfn3fmYt644+cwR/IHz+QMr5I0Z</latexit>

w plane<latexit sha1_base64="m6keUINZyaUwXMqsMobMXjUl0tw=">AAAB9XicbVBNS8NAEN3Ur1q/qh69BIvgqSRV0GPRi8cK9gPaWDbbSbt0swm7E2sJ9Xd48aCIV/+LN/+N2zYHbX0w8Hhvhpl5fiy4Rsf5tnIrq2vrG/nNwtb2zu5ecf+goaNEMaizSESq5VMNgkuoI0cBrVgBDX0BTX94PfWbD6A0j+QdjmPwQtqXPOCMopHuR08dhEdMY0ElTLrFklN2ZrCXiZuREslQ6xa/Or2IJSFIZIJq3XadGL2UKuRMwKTQSTTElA1pH9qGShqC9tLZ1RP7xCg9O4iUKYn2TP09kdJQ63Hom86Q4kAvelPxP6+dYHDppVzGCYJk80VBImyM7GkEdo8rYCjGhlCmuLnVZgOqKEMTVMGE4C6+vEwalbJ7Vq7cnpeqV1kceXJEjskpcckFqZIbUiN1wogiz+SVvFkj68V6tz7mrTkrmzkkf2B9/gCAApMo</latexit>

yL plane<latexit sha1_base64="Rc7iV2idQwsYoXPVor2jlTPQt4Q=">AAAB+XicbVBNS8NAEN34WetX1KOXYBE8laQKeix68eChgv2ANoTNdtou3WzC7qRYQv0lXjwo4tV/4s1/47bNQVsfDDzem2FmXpgIrtF1v62V1bX1jc3CVnF7Z3dv3z44bOg4VQzqLBaxaoVUg+AS6shRQCtRQKNQQDMc3kz95giU5rF8wHECfkT7kvc4o2ikwLbHwd1TB+ERs0RQCZPALrlldwZnmXg5KZEctcD+6nRjlkYgkQmqddtzE/QzqpAzAZNiJ9WQUDakfWgbKmkE2s9ml0+cU6N0nV6sTEl0ZurviYxGWo+j0HRGFAd60ZuK/3ntFHtXfsZlkiJINl/US4WDsTONwelyBQzF2BDKFDe3OmxAFWVowiqaELzFl5dJo1L2zsuV+4tS9TqPo0COyQk5Ix65JFVyS2qkThgZkWfySt6szHqx3q2PeeuKlc8ckT+wPn8AUkCUGg==</latexit>

yR plane<latexit sha1_base64="CxldaIpROHj/cIx6rYhcgf0K2wU=">AAAB+XicbVBNS8NAEN34WetX1KOXYBE8laQKeix68VjFfkAbwmY7bZduNmF3Uiyh/hIvHhTx6j/x5r9x2+agrQ8GHu/NMDMvTATX6Lrf1srq2vrGZmGruL2zu7dvHxw2dJwqBnUWi1i1QqpBcAl15CiglSigUSigGQ5vpn5zBErzWD7gOAE/on3Je5xRNFJg2+Pg/qmD8IhZIqiESWCX3LI7g7NMvJyUSI5aYH91ujFLI5DIBNW67bkJ+hlVyJmASbGTakgoG9I+tA2VNALtZ7PLJ86pUbpOL1amJDoz9fdERiOtx1FoOiOKA73oTcX/vHaKvSs/4zJJESSbL+qlwsHYmcbgdLkChmJsCGWKm1sdNqCKMjRhFU0I3uLLy6RRKXvn5crdRal6ncdRIMfkhJwRj1ySKrklNVInjIzIM3klb1ZmvVjv1se8dcXKZ47IH1ifP1umlCA=</latexit>


(b)

Figure 8: An information paradox for the eternal black hole in the Hartle-Hawking state coupled to abath. We consider the entropy of the two outside intervals [−∞,−b]L ∪ [b,∞]R, situated at the sametime on the left and the right sides. (a) The configuration with no island that gives an entropy thatgrows linearly with time. (b) The configuration with an island. At late times, the distance betweenthe two intervals [−b, a]L and [−a, b]R is becoming very large, so we can do an OPE-like expansion tocompute the bulk entropy, which gives the entropy of the two separate red intervals.

double state and it is equal to

S =c

3log

β

π. (25)

This is computed as follows. First we notice that we can view both y-planes of figure (8) as Rindlerwedges of a single Minkowski space with coordinates (w+, w−). These are related by

w± = ± exp

(±2πy±R

β

), w± = ∓ exp

(∓2πy±L

β

). (26)

The state in the w± plane is just the vacuum. So the entropy is

S =c

6log

w+12w

−12√

∂y+w+1 ∂y−w

−1 ∂y+w

+2 ∂y−w

−2

. (27)

The denominators arise from the change in the cutoff between the y-plane and the w-plane. Thisformula is appropriate when the endpoints are in the bath region (in the black hole region we shouldtake into account the warp factor). Substituting t = 0, σL = −b and σR = b into (26) and (27), weget (25).

The entropy (25) is just that of the interval [−bL, bR] of the quantum fields through the wormhole.This is a finite interval in the w plane, see figure 8. The addition of islands is not expected todecrease the entropy, for reasons similar to the ones given in section 3.1. So, we have no island andthe entanglement wedge is simply the union of [−∞,−b]L ∪ [b,∞]R. Equation (25) also gives theentropy of the two boundary quantum systems together when we consider the union of the intervals[−b, 0]L ∪ [0, b]R.

16

So far we have taken the intervals to lie on the t = 0 slice on both sides. The situation becomesmore interesting if we take the intervals to lie on a non-zero timeslice t. Moving the right sideforwards in time and the left one backwards in time is an isometry. Using this isometry we canmake the left and right time equal if we had chosen to move them by an unequal amount. So wewill move the the left and right times forwards in time on both sides, see figure 8. So now the valuesof the coordinates of the left and right points are

y±L = t∓ b , y±R = t± b . (28)

Inserting these into (26) and (27), we find that the entropy becomes

S =c

3log

[π

βcosh

(2πt

β

)]−→ 2π

3ct

β+ . . . for t� β . (29)

In (29), we have also indicated the behavior for late times. The dots are just constants that areindependent of time.12

After a few thermal times we get linear growth with a rate governed by the temperature of theblack hole and the matter central charge. This growth captures the exchange of Hawking radiationbetween the bath and the black hole. In other words, the bath is sending excitations into the blackhole and the black hole seems to give them back in a way that is uncorrelated to what is falling in.We are feeding the black hole and we are getting out thermal radiation, so the entropy growth in(29) is a version of the information paradox; see also [8].

It would be a paradox only if it went on for a long enough time. Initially the two boundaries areentangled with each other, and their entropy is also given by (25) which is relatively small. Theirevolution coupled to the bath is disentangling them from each other and entangling them to thebath. However, the maximal entropy we should be able to generate is

Smax = 2SBH = 2

(φ0 +

2πφrβ

), (30)

which is the coarse grained entropy of the two black holes.This linear growth in the entropy is reminiscent of Hawking’s original information paradox as

it leads to the ‘overfilling’ of the black hole, whereby the fine-grained entropy exceeds the coarse-grained entropy of the wormhole. In the present context, this is in tension with the finite numberof states of the boundary QM systems. In order to solve the paradox, we should find an effect thatmodifies the linear growth in (29).

For that purpose, we can try to include an island of the form [−a,∞]L ∪ [−∞,−a]R. Now,in order to compute the entropy of the bulk quantum fields with this island included we have toconsider a problem with two intervals, see figure 8(b). In general this is difficult since such anentropy is a function of the cross-ratio of the four endpoints of the two intervals. The actual valueof the cross-ratio will come from extremizing the generalized entropy. However, our guess is thatthe value of a is the same as in (20). Let us check that this guess is correct.

The configuration of points at late times is as shown in figure 8(b). An important observationis that, for this configuration of points, the cross-ratio of the four points is going to zero (or oneor infinity, depending on how we define it). Each interval has time-independent fixed proper sizein the w-plane since they are related by a boost, while the distance between them is increasing.Therefore we can do an OPE in the channel where the points −a and b are close. (This OPE is done

12From the bulk field theory point of view we have two copies of the y-plane in the thermofield double state andwe are considering a region consisting of essentially a half space on each of the y-planes. This type of region, and thislinear growth in entropy, was previously discussed in [31].

17

tPage ⇠�SBH

c<latexit sha1_base64="XeUb1Fo8y1/A0Wl2NBay87a/m0M=">AAACF3icbVBNS8NAEN34bf2KevSyWARPJamCHjwUvXisaKvQhLDZTnTp5oPdiVhC/oUX/4oXD4p41Zv/xm2bg18PBh7vzTAzL8yk0Og4n9bU9Mzs3PzCYm1peWV1zV7f6Oo0Vxw6PJWpugqZBikS6KBACVeZAhaHEi7DwcnIv7wFpUWaXOAwAz9m14mIBGdopMBuYOAh3GHRZtdQUk+LmHqRYrzwQkBGzyv7+LQsC14Gdt1pOGPQv8StSJ1UaAf2h9dPeR5DglwyrXuuk6FfMIWCSyhrXq4hY3xgtvcMTVgM2i/Gf5V0xyh9GqXKVIJ0rH6fKFis9TAOTWfM8Eb/9kbif14vx+jQL0SS5QgJnyyKckkxpaOQaF8o4CiHhjCuhLmV8htmUkETZc2E4P5++S/pNhvuXqN5tl9vHVVxLJAtsk12iUsOSIuckjbpEE7uySN5Ji/Wg/VkvVpvk9Ypq5rZJD9gvX8BFQugew==</latexit>

t<latexit sha1_base64="Fymg2DjLmySqth55sXIm3YjnvDg=">AAAB6HicbVA9SwNBEJ2LXzF+RS1tFoNgFe6ioIVFwMYyARMDyRH2NnvJmr29Y3dOCEd+gY2FIrb+JDv/jZvkCk18MPB4b4aZeUEihUHX/XYKa+sbm1vF7dLO7t7+QfnwqG3iVDPeYrGMdSeghkuheAsFSt5JNKdRIPlDML6d+Q9PXBsRq3ucJNyP6FCJUDCKVmpiv1xxq+4cZJV4OalAjka//NUbxCyNuEImqTFdz03Qz6hGwSSflnqp4QllYzrkXUsVjbjxs/mhU3JmlQEJY21LIZmrvycyGhkziQLbGVEcmWVvJv7ndVMMr/1MqCRFrthiUZhKgjGZfU0GQnOGcmIJZVrYWwkbUU0Z2mxKNgRv+eVV0q5VvYtqrXlZqd/kcRThBE7hHDy4gjrcQQNawIDDM7zCm/PovDjvzseiteDkM8fwB87nD9+pjPY=</latexit>

S<latexit sha1_base64="CELy7kdcVpgel8Z3ZidPg/tEf24=">AAAB6HicbVA9SwNBEJ2LXzF+RS1tFoNgFe6ioIVFwMYyQfMByRH2NnPJmr29Y3dPCCG/wMZCEVt/kp3/xk1yhSY+GHi8N8PMvCARXBvX/XZya+sbm1v57cLO7t7+QfHwqKnjVDFssFjEqh1QjYJLbBhuBLYThTQKBLaC0e3Mbz2h0jyWD2acoB/RgeQhZ9RYqX7fK5bcsjsHWSVeRkqQodYrfnX7MUsjlIYJqnXHcxPjT6gynAmcFrqpxoSyER1gx1JJI9T+ZH7olJxZpU/CWNmShszV3xMTGmk9jgLbGVEz1MveTPzP66QmvPYnXCapQckWi8JUEBOT2dekzxUyI8aWUKa4vZWwIVWUGZtNwYbgLb+8SpqVsndRrtQvS9WbLI48nMApnIMHV1CFO6hBAxggPMMrvDmPzovz7nwsWnNONnMMf+B8/gCtpYzV</latexit>

Sno-island ⇠ ct

�<latexit sha1_base64="6qTYK3NZ72MzGSgaCqI6nJNAq8Q=">AAACE3icbVA9S8RAEN347fl1ammzeAgieCSnoIWFYGN5oncnXELY7E10cbMJuxPxCPkPNv4VGwtFbG3s/DfufRR+PRh4vDfDzLwok8Kg6346E5NT0zOzc/OVhcWl5ZXq6lrbpLnm0OKpTPVlxAxIoaCFAiVcZhpYEknoRDcnA79zC9qIVF1gP4MgYVdKxIIztFJY3TkPCx/hDguV7gojmeqVJfWNSKgfa8YLjmXhR4CsDKs1t+4OQf8Sb0xqZIxmWP3weynPE1DIJTOm67kZBgXTKLiEsuLnBjLGb9gVdC1VLAETFMOfSrpllR6NU21LIR2q3ycKlhjTTyLbmTC8Nr+9gfif180xPgwKobIcQfHRojiXFFM6CIj2hAaOsm8J41rYWym/ZjYKtDFWbAje75f/knaj7u3VG2f7teOjcRxzZINskm3ikQNyTE5Jk7QIJ/fkkTyTF+fBeXJenbdR64QznlknP+C8fwGNN58x</latexit>

Sisland ⇠ 2SBH<latexit sha1_base64="nYCnF0TdJCRzETOAlNhu2TMZ+6I=">AAACDHicbVC7TsMwFHXKq5RXgZHFokJiqpKCBANDBUvHotKH1ESV47qtVceJ7BtEFeUDWPgVFgYQYuUD2Pgb3DYDtBzJ0tE55+r6Hj8SXINtf1u5ldW19Y38ZmFre2d3r7h/0NJhrChr0lCEquMTzQSXrAkcBOtEipHAF6ztj2+mfvueKc1DeQeTiHkBGUo+4JSAkXrFUqOXuMAeIOFaENlPU+xqHuBKozeXr2upSdllewa8TJyMlFCGeq/45fZDGgdMAhVE665jR+AlRAGngqUFN9YsInRMhqxrqCQB014yOybFJ0bp40GozJOAZ+rviYQEWk8C3yQDAiO96E3F/7xuDINLL+EyioFJOl80iAWGEE+bwX2uGAUxMYRQxc1fMR0RRSiY/gqmBGfx5GXSqpSds3Ll9rxUvcrqyKMjdIxOkYMuUBXVUB01EUWP6Bm9ojfryXqx3q2PeTRnZTOH6A+szx85dZux</latexit>

Smax = 2SBH<latexit sha1_base64="Rp3XuP5wFVcpLWnJTpBWCG51sn0=">AAACBnicbVA9SwNBEN2LXzF+nVqKsBgEq3AXBS0UgjYpIzGJkBzH3maTLNn7YHdOEo6rbPwrNhaK2Pob7Pw3bpIrNPHBwOO9GWbmeZHgCizr28gtLa+sruXXCxubW9s75u5eU4WxpKxBQxHKe48oJnjAGsBBsPtIMuJ7grW84c3Ebz0wqXgY3ME4Yo5P+gHvcUpAS655WHeTDrARJD4ZpSm+wuW6OxOuq6lrFq2SNQVeJHZGiihDzTW/Ot2Qxj4LgAqiVNu2InASIoFTwdJCJ1YsInRI+qytaUB8ppxk+kaKj7XSxb1Q6goAT9XfEwnxlRr7nu70CQzUvDcR//PaMfQunIQHUQwsoLNFvVhgCPEkE9zlklEQY00IlVzfiumASEJBJ1fQIdjzLy+SZrlkn5bKt2fFymUWRx4doCN0gmx0jiqoimqogSh6RM/oFb0ZT8aL8W58zFpzRjazj/7A+PwBE/+Y2A==</latexit>

Figure 9: The blue curve is the naive fine-grained entropy of the Hawking radiation, represented by theinterval [−∞,−b]L ∪ [b,∞]R. It grows linearly after a few thermal times. Thus, it ultimately exceedstwice the Bekenstein-Hawking entropy of the black hole. This is a manifestation of the informationparadox, which sets in at the Page time tPage ∼ βSBH/c. The paradox is resolved by the orange curve,which is the entropy computed using the nontrivial quantum extremal surface with an island.

for the n-replica geometry.) The leading contribution in this OPE is from the identity operator.This leading contribution gives an entropy for the pair of intervals which is twice that of a singleinterval, given by the second term in (19). And the full generalized entropy for the pair is given bytwice the left hand side of (19), whose extremization reproduces (20). Therefore we have checked,a posteriori, that our assumption regarding the value of a was correct. The value of the entropy forthis configuration is then given by

S = 2

(φ0 +

2πφrβ

)+ small ≈ 2SBH , for

φrcβ� 1 . (31)

Here SBH is Bekenstein-Hawking entropy computed using a single horizon.The derivation of this second quantum extremal surface is valid when t � β, so that our OPE

expansion is correct. On the other hand, the full entropy is given by the minimum of the no-island expression (29) and the island expression (31). We conclude that this entropic informationparadox is resolved, in the sense that the entropies, computed using the RT/HRT/EW prescription[32, 33, 14], give a result which is consistent with the expectations from unitarity; see figure 9.

Of course, the resolution is conceptually the same as what was discussed for an evaporatingblack holes [1, 2]. An interesting aspect of this paradox and its resolution is that we do not needto consider any gravitational backreaction for the black hole. There is no change to the geometryof the black hole. What is happening is that the thermal bath is feeding the black hole at thesame rate that it is evaporating. We should emphasize that this setup where we consider a pairof black holes and baths starting in a pure state is conceptually similar to a black hole that startsfrom collapse and then evaporates. It is simply that, in this eternal black hole case, the black holesolution is simpler to find; it is just the standard solution. All that changes is which part of thegeometry is the entanglement wedge.

It is interesting to note that this setup also has an AMPS paradox [7] at times after the Pagetime. The basic argument is that if an outgoing Hawking particle is entangled with its partner

18

behind the horizon, then it must raise the entanglement entropy of the bath, which would thenconflict with the saturation of the entanglement entropy after the Page time (see figure 9). It wassuggested that the black hole develops a firewall at the horizon at those times. However, due tothe boost symmetry of the problem, one would have to conclude that a firewall is present along theentire bifurcate horizon at all times. Here, this conclusion is avoided due to the islands that realizeER = EPR [34] (see also [35, 36]), where the build up of entanglement leads to the interior modesbeing included inside the entanglement wedge of the bath.

This paradox (and the resolution) is also present for higher-dimensional black holes in equilib-rium with a bath. As long as we are at finite temperature and the radiation is an infinite system,or a system with entropy much larger than the black hole, we will have the same paradox andwe expect the same resolution. The precise location of the quantum extremal surface can changeslightly, but conceptually we expect the same answer. In particular, we also expect the island toextend outside the horizon. We could even consider the flat space Schwarzschild black hole in theHartle-Hawking state, as long as we neglect the backreaction of radiation on the flat-space region.

5 “Phenomenological” applications

5.1 Four dimensional near extremal black holes

In this subsection we describe a situation where the considerations of this paper apply for certainfour-dimensional black holes. We consider near-extremal charged black holes whose low-energydynamics is well described by the Jackiw-Teitelboim theory [10, 37, 38]. For a standard magnetically-charged black hole the relation between the parameters is [39]

φ0 =πr2

e

GN, φr =

2πr3e

GN, with r2

e :=πq2GNe2

, (32)

where q is the quantized (integer) magnetic charge and e is the coupling for the U(1) gauge field.Furthermore, if we have a massless charged fermion, then in the near-horizon region we get qeffectively massless two-dimensional fermions [39].

This gives a setup similar to what was described above. We can ignore the effects of quantumgravity in the flat-space region far from the black hole and approximate it by a set of q masslessfermions following the magnetic field lines [39]. Deep inside the AdS2×S2 throat we have a situationdescribed by Jackiw-Teitelboim theory coupled to matter with c = q. This is large if q is large. Therest of the fields can be ignored for the purposes of computing the bulk entropies because there arenot so many of them.

We encounter this situation for a magnetically-charged black hole in the Standard Model ofparticle physics whose size is small enough that we can approximate the fermions as massless. Inthis case the U(1) is the weak hypercharge. Demanding that re � 1/TeV, we get q � 1015. Theeffective two-dimensional central charge in this case becomes

c = 54q . (33)

Thus the discussion of this paper precisely applies to this case, including numerical factors in allformulas, after using (32) and (33).13

13In particular, note that the length scale φr/c, which here was setting the position of the island for zero temperatureand small b (7), also appeared in [39] as the effective “length” of the wormhole, defined as the time it takes to gothrough the wormhole from the outside point of view.

19

5.2 Comment on the transplanckian problem in Hawking radiation and cosmol-ogy

The phenomenon of Hawking radiation and the creation of particles by the expansion of the universeare very closely related. In suitable coordinates, we can think of Hawking radiation as due to theexpansion of space in the near horizon region. So if we take a given Hawking mode emitted at latetime and we extrapolate it backwards in time by more than the scrambling time, β

2π logSBH, we findthat it would have transplanckian energies. Normally, we say that this is not a problem because weare simply talking about the vacuum. Nevertheless, it has often been speculated that the derivationof Hawking radiation would fail once we reach the scrambling time. This is a shorter time scalecompared to the time scales at which we need corrections in the Page curve due to unitarity. Here,following [1, 2], we have argued that the formation of islands avoids the problem related to thePage curve. We interpret this result as suggesting that one can get results consistent with unitaritywithout having to make the bulk theory break down at the scrambling time. In other words, boththe bulk and boundary points of view are correct, but we need to relate them in a new way.

In cosmology, one can worry about a similar transplanckian problem. Could a primordial fluc-tuations be extrapolated backwards in time so as to become transkpanckian? The analog of thescrambling time in an approximately de Sitter space is H−1 log(M2

p/H2). It has been recently con-

jectured in [40] (see also e.g. [41, 42, 43]) that quantum gravity implies that we cannot have anapproximately de Sitter universe for more than this time. We view the absence of known paradoxesfor the black holes at these time scales as a reason not to worry about cosmology at these timescales.

6 Discussion

In this paper we discussed various aspects of quantum extremal surfaces and entanglement wedgesof black holes coupled to a bath. We considered simple non-evaporating situations where the blackhole is in equilibrium with the bath. The geometries are simple and easy to describe explicitly.

The first interesting surprise is that the quantum extremal surface for a region that includesthe boundary QM degrees of freedom and a little bit of the bath is outside the horizon. This istrue for zero as well as nonzero temperature. If one assumes entanglement wedge reconstruction,then one should conclude that the region between the horizon and the quantum extremal surfaceshould be recoverable from the bath degrees of freedom. While it is not clear how to do this forgeneral islands, we have shown how to recover the information from the nonzero temperature islandby using the Gao-Jafferis-Wall teleportation protocol [26]. It might seem strange that the couplingto the bath effectively lets us “reach” into the near-horizon region (we are also using the system theblack hole is entangled with).

The fact that the quantum extremal surface is outside the horizon makes us worry that wecould run into causality paradoxes if we decouple the black hole from the bath. Physically, weare protected by the fact that the decoupling process will inevitably produce a suitable energyflux into the black hole. This energy flux moves the horizon outwards, and the quantum extremalsurface then lies behind the horizon. The quantum focusing conjecture (QFC) [4] ensures thatenough energy is produced. In two dimensions, the QFC follows from a stronger version (14) ofthe quantum null energy condition in flat space. This stronger version was conjectured in [22] andproven for holographic theories in [23]. So, even though the islands are outside the horizon of thecoupled system, the islands end up behind the horizon of the decoupled system, no matter how wedecouple it. This is implied by arguments in [14], which use the generalized second law, that thequantum extremal surface should be behind the horizon.

20

In the zero temperature case, we needed to consider a very large interval (10) in order to seethe island in the entanglement wedge of a finite interval in the bath region. If this setup is obtainedfrom approximating a near-extremal black hole in flat space, it is probably necessary to include alsoa discussion of the soft gravitons [44].

We also discussed a simple version of the Hawking information paradox involving a two-sidedblack hole that starts out in the Hartle-Hawking state, and is then evolved forwards in time onboth sides. The geometry is the standard eternal black hole, and there is no modification due toevaporation since the amount of energy emitted in Hawking radiation is the same as falling in fromthe bath. We can consider the entropy of both the baths together. It starts small, but it linearlyincreases with time because the black hole evaporates and matter from the bath falls in. This is themost naive entropy computed for the bath. Fortunately, the appearance of islands leads to a secondquantum extremal surface whose entropy is basically twice the Bekenstein-Hawking entropy. Thisresolves this form of the information paradox. We get the right answer when applying the rightprescription. Of course this is the same idea as was described in [1, 2]. Our only objective was topresent a version of the paradox where the geometry and the quantum state are very simple.

Acknowledgments

We would like to thank Ying Zhao for initial collaboration and discussions. We also thank R. Bousso,Hong Zhe Chen, Netta Engelhardt, Daniel Harlow, Tom Hartman, Adam Levine, Henry Maxfield,Rob Myers, Geoffrey Penington, Jorge Santos, Edgar Shaghoulian, Douglas Stanford, Amir Tajdini,Edward Witten and Zhenbin Yang for useful conversations. A.A. is supported by funds from theMinistry of Presidential Affairs, UAE. R.M. is supported by US Department of Energy grant No.DE-SC0016244. J.M. is supported in part by U.S. Department of Energy grant DE-SC0009988 andby the Simons Foundation grant 385600.

References

[1] Geoffrey Penington, “Entanglement Wedge Reconstruction and the Information Paradox,”(2019), arXiv:1905.08255 [hep-th]

[2] Ahmed Almheiri, Netta Engelhardt, Donald Marolf, and Henry Maxfield, “The entropy ofbulk quantum fields and the entanglement wedge of an evaporating black hole,” (2019),arXiv:1905.08762 [hep-th]

[3] Ahmed Almheiri, Raghu Mahajan, Juan Maldacena, and Ying Zhao, “The Page curve of Hawk-ing radiation from semiclassical geometry,” (2019), arXiv:1908.10996 [hep-th]

[4] Raphael Bousso, Zachary Fisher, Stefan Leichenauer, and Aron C. Wall, “Quantum focusingconjecture,” Phys. Rev. D93, 064044 (2016), arXiv:1506.02669 [hep-th]

[5] W. Israel, “Thermo field dynamics of black holes,” Phys. Lett. A57, 107–110 (1976)

[6] S. W. Hawking, “Breakdown of Predictability in Gravitational Collapse,” Phys. Rev. D14,2460–2473 (1976)

[7] Ahmed Almheiri, Donald Marolf, Joseph Polchinski, and James Sully, “Black Holes: Comple-mentarity or Firewalls?.” JHEP 02, 062 (2013), arXiv:1207.3123 [hep-th]

[8] Samir D. Mathur, “What is the dual of two entangled CFTs?.” (2014), arXiv:1402.6378 [hep-th]

21

http://arxiv.org/abs/1905.08255



http://dx.doi.org/10.1103/PhysRevD.93.064044


http://dx.doi.org/10.1016/0375-9601(76)90178-X


http://dx.doi.org/10.1007/JHEP02(2013)062



[9] Julius Engelsoy, Thomas G. Mertens, and Herman Verlinde, “An investigation of AdS2 back-reaction and holography,” JHEP 07, 139 (2016), arXiv:1606.03438 [hep-th]

[10] Ahmed Almheiri and Joseph Polchinski, “Models of AdS2 backreaction and holography,” JHEP11, 014 (2015), arXiv:1402.6334 [hep-th]

[11] Juan Maldacena, Douglas Stanford, and Zhenbin Yang, “Conformal symmetry and its breakingin two dimensional Nearly Anti-de-Sitter space,” PTEP 2016, 12C104 (2016), arXiv:1606.01857[hep-th]

[12] Kristan Jensen, “Chaos in AdS2 Holography,” Phys. Rev. Lett. 117, 111601 (2016),arXiv:1605.06098 [hep-th]

[13] Ahmed Almheiri, Alexey Milekhin, and Brian Swingle, to appear.

[14] Netta Engelhardt and Aron C. Wall, “Quantum Extremal Surfaces: Holographic EntanglementEntropy beyond the Classical Regime,” JHEP 01, 073 (2015), arXiv:1408.3203 [hep-th]

[15] Aron C. Wall, “Maximin Surfaces, and the Strong Subadditivity of the Covariant HolographicEntanglement Entropy,” Class. Quant. Grav. 31, 225007 (2014), arXiv:1211.3494 [hep-th]

[16] Veronika E. Hubeny and Mukund Rangamani, “Causal Holographic Information,” JHEP 06,114 (2012), arXiv:1204.1698 [hep-th]

[17] Andrew Strominger and David Mattoon Thompson, “A Quantum Bousso bound,” Phys. Rev.D70, 044007 (2004), arXiv:hep-th/0303067 [hep-th]

[18] Aron C. Wall, “Lower Bound on the Energy Density in Classical and Quantum Field Theories,”Phys. Rev. Lett. 118, 151601 (2017), arXiv:1701.03196 [hep-th]

[19] Raphael Bousso, Zachary Fisher, Jason Koeller, Stefan Leichenauer, and Aron C. Wall, “Proofof the Quantum Null Energy Condition,” Phys. Rev. D93, 024017 (2016), arXiv:1509.02542[hep-th]

[20] Srivatsan Balakrishnan, Thomas Faulkner, Zuhair U. Khandker, and Huajia Wang, “A GeneralProof of the Quantum Null Energy Condition,” JHEP 09, 020 (2019), arXiv:1706.09432 [hep-th]

[21] Fikret Ceyhan and Thomas Faulkner, “Recovering the QNEC from the ANEC,” (2018),arXiv:1812.04683 [hep-th]

[22] Aron C. Wall, “Testing the Generalized Second Law in 1+1 dimensional Conformal Vacua: AnArgument for the Causal Horizon,” Phys. Rev. D85, 024015 (2012), arXiv:1105.3520 [gr-qc]

[23] Jason Koeller and Stefan Leichenauer, “Holographic Proof of the Quantum Null Energy Con-dition,” Phys. Rev. D94, 024026 (2016), arXiv:1512.06109 [hep-th]

[24] Patrick Hayden and John Preskill, “Black holes as mirrors: Quantum information in randomsubsystems,” JHEP 09, 120 (2007), arXiv:0708.4025 [hep-th]

[25] Stefan Leichenauer, “Disrupting Entanglement of Black Holes,” Phys. Rev. D90, 046009(2014), arXiv:1405.7365 [hep-th]

22





http://dx.doi.org/10.1093/ptep/ptw124



http://dx.doi.org/10.1103/PhysRevLett.117.111601




http://dx.doi.org/10.1088/0264-9381/31/22/225007





http://arxiv.org/abs/hep-th/0303067














http://dx.doi.org/10.1088/1126-6708/2007/09/120




[26] Ping Gao, Daniel Louis Jafferis, and Aron Wall, “Traversable Wormholes via a Double TraceDeformation,” JHEP 12, 151 (2017), arXiv:1608.05687 [hep-th]

[27] Ahmed Almheiri, Xi Dong, and Daniel Harlow, “Bulk Locality and Quantum Error Correctionin AdS/CFT,” JHEP 04, 163 (2015), arXiv:1411.7041 [hep-th]

[28] Juan Maldacena, Douglas Stanford, and Zhenbin Yang, “Diving into traversable wormholes,”Fortsch. Phys. 65, 1700034 (2017), arXiv:1704.05333 [hep-th]

[29] Juan Martin Maldacena, “Eternal black holes in anti-de Sitter,” JHEP 04, 021 (2003),arXiv:hep-th/0106112 [hep-th]

[30] Kyriakos Papadodimas and Suvrat Raju, “Local Operators in the Eternal Black Hole,” Phys.Rev. Lett. 115, 211601 (2015), arXiv:1502.06692 [hep-th]

[31] Thomas Hartman and Juan Maldacena, “Time Evolution of Entanglement Entropy from BlackHole Interiors,” JHEP 05, 014 (2013), arXiv:1303.1080 [hep-th]

[32] Shinsei Ryu and Tadashi Takayanagi, “Holographic derivation of entanglement entropy fromAdS/CFT,” Phys. Rev. Lett. 96, 181602 (2006), arXiv:hep-th/0603001 [hep-th]

[33] Veronika E. Hubeny, Mukund Rangamani, and Tadashi Takayanagi, “A Covariant holographicentanglement entropy proposal,” JHEP 07, 062 (2007), arXiv:0705.0016 [hep-th]

[34] Juan Maldacena and Leonard Susskind, “Cool horizons for entangled black holes,” Fortsch.Phys. 61, 781–811 (2013), arXiv:1306.0533 [hep-th]

[35] Leonard Susskind, “The Transfer of Entanglement: The Case for Firewalls,” (2012),arXiv:1210.2098 [hep-th]

[36] Kyriakos Papadodimas and Suvrat Raju, “An Infalling Observer in AdS/CFT,” JHEP 10, 212(2013), arXiv:1211.6767 [hep-th]

[37] Pranjal Nayak, Ashish Shukla, Ronak M. Soni, Sandip P. Trivedi, and V. Vishal, “On theDynamics of Near-Extremal Black Holes,” JHEP 09, 048 (2018), arXiv:1802.09547 [hep-th]

[38] Subir Sachdev, “Universal low temperature theory of charged black holes with AdS2 hori-zons,” Journal of Mathematical Physics 60, 052303 (2019), J. Math. Phys. 60, 052303 (2019),arXiv:1902.04078 [hep-th]

[39] Juan Maldacena, Alexey Milekhin, and Fedor Popov, “Traversable wormholes in four dimen-sions,” (2018), arXiv:1807.04726 [hep-th]

[40] Alek Bedroya and Cumrun Vafa, “Trans-Planckian Censorship and the Swampland,” (2019),arXiv:1909.11063 [hep-th]

[41] Jerome Martin and Robert H. Brandenberger, “The TransPlanckian problem of inflationarycosmology,” Phys. Rev. D63, 123501 (2001), arXiv:hep-th/0005209 [hep-th]

[42] Robert H. Brandenberger and Jerome Martin, “Trans-Planckian Issues for Inflationary Cos-mology,” Class. Quant. Grav. 30, 113001 (2013), arXiv:1211.6753 [astro-ph.CO]

[43] Theodore Jacobson, “Black hole evaporation and ultrashort distances,” Phys. Rev. D44, 1731–1739 (1991)

23





http://dx.doi.org/10.1002/prop.201700034


http://dx.doi.org/10.1088/1126-6708/2003/04/021









http://dx.doi.org/10.1088/1126-6708/2007/07/062










http://dx.doi.org/10.1063/1.5092726






http://dx.doi.org/10.1088/0264-9381/30/11/113001



[44] Andrew Strominger, “Lectures on the Infrared Structure of Gravity and Gauge Theory,” (2017),arXiv:1703.05448 [hep-th]

24


Islands outside the horizon - arXiv · Islands outside the horizon Ahmed Almheiri,1 Raghu...

Documents

Transcript of Islands outside the horizon - arXiv · Islands outside the horizon Ahmed Almheiri,1 Raghu...