JHEP08(2018)142 Springer July 4, 2018 July 29, 2018 : : August 22, 2018 : Received Accepted Published Published for SISSA by https://doi.org/10.1007/JHEP08(2018)142 a,c [email protected] , . and Kyriakos Papadodimas 3 a,b 1708.09370 The Authors. c AdS-CFT Correspondence, Black Holes, Black Holes in String Theory

Based on the work of Gao-Jafferis-Wall and Maldacena-Stanford-Yang, we , [email protected] Geneva 23, CH-1211 Switzerland Geneva University, 24 quai Ernest-Ansermet, Geneva 4,Van Swinderen CH-1214 Institute Switzerland for ParticleNijenborgh 4, Physics Groningen, and 9747 Gravity, AG University The of Netherlands Groningen, E-mail: Theoretical Physics Department, CERN, b c a Open Access Article funded by SCOAP future. Keywords: ArXiv ePrint: of the horizontranslations. for a The large smoothnessand of class the these of proposal states entangled that hasnotice states some some that observables related relevance quantum in for teleportation to quantum through theratory gravity the these firewall setup may entangled thermofield to paradox be states implement by state-dependent. could a be time- “time-machine”, We which used allows in the a observer labo- to travel far in the Abstract: observe that thetraversable time-shifted by an thermofield appropriate coupling states ofof the a of two CFTs, modified two or quantum alternatively entangled teleportation by the protocol. CFTs application This can provides be evidence for made the smoothness Rik van Breukelen Quantum teleportation through time-shiftedwormholes AdS JHEP08(2018)142 = i T Ψ | ]. 3 . The deformation creates i 8 E,E | 2 Z βE √ − e E P = – 1 – i quantum states. We argue that the double-trace tfd Ψ | 2 6 different 12 3 7 ]. This setup has provided evidence for the smoothness of the 11 2 , 1 is a parameter controlling the entanglement. While these states are , they are i 10 T tfd 10 1 Ψ | 9 , where 0 can in principle be used in a lab setup to allow an observer crossing the i ]. Before the deformation, the two boundary theories were non-interacting and tfd 1 Ψ | T > T This simple observation has some interesting implications. First, states of this family In this paper we consider a similar experiment on a large class of states with different A.1 Basic setup A.2 Time-shifted states A.3 Additional shockwaves R iH deformation (and the quantum teleportation protocol)of can the be states modified to from apply this to class. each one This provideswith evidence that they all havewormhole a to smooth travel horizon. far in the future in finite amount of proper time. During the trip the between the two CFTs [ horizon of the eternal black hole and for thedetails ER=EPR in proposal [ thee entanglement between theas CFTs. entangled as These states are of the form placed in a specificshockwaves in entangled the bulk, state withblack negative hole average a null little, energy, allowing whichto a shrink the particle the other. to horizon traverse The of the deformation the wormhole can from also one be asymptotic formulated region as a quantum teleportation protocol 1 Introduction It has recently been demonstratedhole that can the Einstein-Rosen be bridge made ofCFTs the traversable [ eternal via AdS a black particular double-trace deformation of the boundary 6 Comments on state-dependence and7 the firewall Discussion A Some details 3 Time-shifted wormholes 4 Laboratory point of view 5 Quantum teleportation Contents 1 Introduction 2 Traversable AdS wormholes JHEP08(2018)142 ], ), ]. 6 2 in , 12 t 1 ( – L 7 φ 0. Here > out t we discuss this 5 = t and 4 0 towards the black hole . The details may depend S < , we argue that time-shifted log 3 in t 0, the bulk observer experiences (0) and the outgoing observer is i β R E = O t T < (0) i ⊗ | L E , we discuss the basic setup used by [ | . This shrinks the horizon a little. As a O 2 2 , which is turned on for a short time around 1 βE Z R − ] and the state-dependent proposal of [ √ O e 6 L – – 2 – O 4 E ). So the question of what happens to an observer ig X e out = t ]. Hence, proving the traversability of the wormhole ( i 2 R , tfd φ 1 Ψ | ] bypasses the need to define these local bulk operators, as it 1 ] that the wormhole can become traversable by coupling the two 1 is a simple operator in the two corresponding CFTs. By selecting the are of the order of the scrambling time out L/R t O appropriately, the perturbation creates negative null energy shockwaves falling and | g in t ] it was proposed that two non-interacting copies of the same holographic CFT placed | This setup is interesting because it allows us to probe the space-time in the interior of It was realized in [ This paper is organized as follows: in section We emphasize that the CFT correlators needed to support the claims of this paper are 13 = 0. Here probes the interior indirectly.the perturbation The is observer generated is bydetected CFT by created a operators by local CFT a operatorfalling local through CFT this operator wormhole canCFT be operators, translated the into analogue a of computation an of S-matrix correlators element of in local AdS. These well-defined (though on the theory and the form of the shockwave. the wormhole purely inprobing terms the of 2-sided black correlators holedefine of interior approximately standard from local CFT the operators. operatorshorizon. CFT in Directly is The AdS, more setup which difficult, is of because non-trivial, [ we especially first behind have to the sign of into the black holeresult, from an both observer sides, who seeemerges dives figure on from the right theboth side left and CFT reaches at close to the right boundary at wormhole is non-traversable, whichCFTs is are important non-interacting for and consistency hence given no that information the can boundary beCFTs with exchanged a between double-trace them. perturbation t are dual to the eternal blackof hole in as AdS. This a gravitational background wormhole can also connecting be thought two asymptotic AdS regions. However, in this setup the 2 Traversable AdS wormholes In [ in the “thermofield” (TFD) entangled state in the time-shifted states is equivalent to the samewhich proof is for the the basis TFD. wormholes of can be the made traversable traversable in wormhole.setup a from similar In a manner. section laboratory Inwe sections and discuss a some quantum-teleportation connections point to of the view. firewall paradox Finally, and in state-dependence. section evolution by finite properFinally, time, the while fact the that elapsed weof can time some establish in interest the the for smoothness lab the of can firewall this become paradox class [ very of small. time-shiftedisomorphic states to is those relevant for [ observer is mostly in free fall. Second, for states with JHEP08(2018)142 (3.1) , allowing φ , due to the i ]. tfd Ψ 13 | . i is measured. Depending E ]. This is a diffeomorphism L 11 O ]. Using this as our starting i ⊗ | E 2 | , 1 ]. iET e 14 is applied on the right CFT. Then the 2 βE Z R − √ O e L E igo contains the observer emerging from the black X e – 3 – = 0 the operator = out t t i = tfd t Ψ | . At T in R t ) CFT correlators can in principle provide evidence for the 1 iH , the unitary e = L o t i ≡ T Ψ | ] it was pointed out that this protocol is related to quantum-teleportation, and . A double trace deformation creates a shockwave which displaces the probe 1 ] relevant correlators were computed in the SYK model. 2 ] this quantum-teleportation protocol was made more explicit. First the observer is The bulk interpretation of these time-shifted states, is that they are related to the usual In [ In [ 2 1 eternal black hole by a largewhich diffeomorphism, acts see as for a example [ timeSince translation this on the is rightsupposed a boundary, to but large mod-out trivially diffeomorphism on by it. the (allowed left by Instead, boundary. it the maps boundary a physical conditions), state we to are a different not physical state. It is important toenergy-dependent realize phases. that these are different quantum states from In this papertraversable we for a will semi-classicalpostulate, work observer, we under point as the out arguedThese that assumption in are there states [ that is of a the the form large TFD class of state other can states with be similar made behaviour. quantum state of the system athole time into the right asymptotic AdS region. See also3 [ Time-shifted wormholes smoothness of the horizon of the eternal black holein and [ of the proposalplaced [ in the lefton the CFT resulting at eigenvalue Figure 1 it to escape from theof black the hole. probe The is coordinates smooth. are discontinues at the shockwave, while thedifficult path to compute in practice JHEP08(2018)142 ] T 1 R and iH 2 − e R O T . R = 0 we briefly t iH A e the observer will come (0) = R (b) , or some combination of out X t T L + iH is appreciably large. In other T e then the elapsed proper time will also L = T . The details of how the result of O t ]. However, the quantum state on the T AdS L 15 R iH , where now ∼ 0, we need to act with a more complicated − 0 the traversable wormhole protocol of [ e bh (0) < t < T , even if R R X T > in t T > (0) (0) = L exact – 4 – L O Y ig ). Then at time e T ( R satisfying O where 0 an observer jumps into the left CFT. At t we can arrange that the observer will emerge significantly ) < T T ( R in t O ) T = ( t L (a) igY e . Alternatively, we could have used a precursor on the left, i.e. coupling . 2 T ) can be represented as the usual eternal AdS black hole, but where the . 3.1 to receive the probe. b) Similar results can be achieved by using a precursor on the We argue that for every choice of AdS R R . a) In the time-shifted wormhole, with X 0. . See figure i While we can show that the observer emerges in the right CFT with memories of a We emphasize that this statement is If we consider a big black hole in AdS whose radius 2 tfd T > Ψ smooth crossing of thetook wormhole, place: there during is the a crossing the logical observer possibility actually that experienced the some unpleasantbe following parts of scenario — order any approximation. By tuning later in the future. Moreover,CFT the quantum will state be of the exactlyand observer the after the emerging same amount in — the ofindependent right simply of proper displaced time in that time. she In will particular think her has memories, elapsed, will be the same the two CFTs with left and right precursorsthis at experiment time is isomorphic to that of the TFDwords, is provided explained we in accept appendix the that observer the falling protocol into leads the TFD, to then a same smooth can traversable happen wormhole for for all the other states, without can be implemented: at couple the two CFTsis by the the “precursor” operator of theout operator in the right CFT,| in exactly the same form as in the original experiment on the state The states ( wormhole is “anchored” at different points ini) time on the two boundaries. Figure 2 operator left CFT. Notehave that a the more involved Penrose bulkboundary diagrams interpretation, after see can the for be end example [ of misleading the for experiment precursors, can be because reliably they predicted. may JHEP08(2018)142 we 1 t and its inverse U (b) and its inverse precursor 0 t at U which kills him. At a later time U . Then the quantum state of the system for ) 0 t − – 5 – 1 t ( iH e 1 − with a unitary U ) 0 ] outside the window in which the coupling between the 0 t t − 17 1 = , t ( t 16 iH − e (a) . These signals must be sufficiently weak, to avoid killing the observer 3 kills and resurrects the observer. Moreover, when resurrected the observer has . a) The memory of the probe can be modified by sending an early perturbation from the 1 t is the same as what it would have been, had we not acted with the first unitary 1 = We can see that these CFT correlators in the time-shifted TFD states are again iso- In our setup the meaning of this question isIn whether order to 2-sided directly CFT address this correlators question we can would have to define local bulk observables t field theory. If theythat nothing do dramatic so, happened thena to we statement the get of observer additional CFT while correlators, evidence, crossing. which though Then could not this in becomes definitive principlemorphic again proof, be to computed. the same correlators in the TFD state, provided that the signals from the right As an easier alternative, weobserver, can see send figure early signalsor from pushing the right the to observerCFTs probe allows [ the the path extraction of offinal the the quantum observer. state We of can then the study outgoing if observer these in signals the modify way the which is expected from effective order to be able to resurrect him. exclude the possibility thatthe the left observer and was resurrected killed when when emerging falling in the into right thewhich CFT. black would hole be from able to tell us what really happened in the middle of the bulk spacetime. t > t which killed the observer.at In this senseno the memories sequence of of the factprecursor that do he not had have been to killed. be Notice fine-tuned that with the respect unitary to the initial state of the observer in “resurrected” the observer onto the a right smooth side crossing. anddifficult This to in realize scenario a mathematically: may state for soundsystem instance with un-natural, imagine and memories an but that observer corresponding in living we inside someact act a sense with at quantum the it precursor is not so Figure 3 right. b) The same setup for the thermofield state. for example a firewall — which killed her upon impact. Then the dynamics of the system JHEP08(2018)142 , R X ), it L 3.1 igY e . We can couple . Causality requires out out t is the precursor of the . So the crossing of the < t by the operator (b) + | R out  T t T | X + + = in | t t in t | = t towards the negative values all the 0, with T 0, we can still recover the probe provided T < , where again T < (0) R , the observer will emerge in the right CFT at – 6 – X ], then the same will be true for the time-shifted 2 out (0) , L 1 O , which is less than < t ig | e out T t | + . In this case the observer emerges on the right CFT almost |  in t + | + out . This means we can push for some details. and we couple the two CFTs at t  T (a) in A + t | − in in = t t 0. Notice that in this setup the total lab time it takes for the observer to ). Provided that −| > t We can also consider states with T > ( = R out t 0. out O . a) In the time-shifted wormhole, with min t + T + T Notice that the full bulk interpretation of these protocols may be complicated due to Actually, we can shorten the lab time even more as follows. We throw the observer T T < = 4 Laboratory point ofIn view order to avoidis possible useful confusions to regarding thinka the universe meaning of where of the gravity the experiment does time-shift in not in the play ( following an way. important role. We imagine We have a two laboratory identical in CFTs proper time as before has elapsed. the use of the precursors, whichcan are reliably complicated predict non-local operators. thecrossing exact On and the quantum other finite state hand elapsed of we proper the time observer — — as with she memories emerges of on smooth the right CFT. from the left at where both are precursors. Thenthat the observer comes out at way to immediately, even though according to her own experience the same (finite) amount of t cross the wormhole is observer is accelerated forobserver the is exactly lab the frame, same. even though the proper time according to the crossing the TFD state asstates. claimed by See [ appendix ii) the two CFTs withoperator the operator Figure 4 that T is not to large. b) The extreme caseare in sent which with we receive the the appropriate probe time-shift. almost Hence immediately. if nothing strange happens to an observer JHEP08(2018)142 , out t + | in just after . Each of in the left t | t L in + t O T = is the eigenvalue t 0 the purification . L T o and in particular the t < T = 0 when we couple the two , where t R O L 0 the purification is in the right = 0 on the right CFT. The right io the observer emerges in the right t e . The CFTs are prepared to be in t the purification of the reference spin t > at out t = R out + O t R t L ] can be slightly modified to be interpreted T + 1 igo = commute it would be equivalent to measure e T = L R ] this was described as follows: we make use of – 7 – t t 2 O L O ig e = 0 the lab technician couples the two CFTs by the and selecting accordingly the unitary on the right we t = 0 and project onto one if its eigenstates with resulting L and t o ). Hence it is more appropriate to think of the parameter L information from left to right, which is a part of a quantum at . At O 3.1 in L t O = t classical . For instance, suppose that the observer on the left CFT carries a spin , but from the point of view of the lab the elapsed time is out t T + . Then he acts with a unitary L T o can be arbitrarily large. Moreover throughout this experiment the observer is = t T It is interesting to notice that from the boundary point of view, the quantum informa- The laboratory technician can prepare a protocol where the observer is first injected just before the perturbation and then perturb by as a “dial” that selects the initial state, rather than a time-shift. Of course preparing L CFT density matrix atin the the end double of trace thethat protocol, teleportation in while protocol the the will onehave step be on the the of the transfer same recording left of as boundaryteleportation the will protocol. one be different. Notice the perturbation. Because O measured. Therefore, instead ofcian acting can with implement the the double following traceCFT. protocol. perturbation, Then First the he he lab measures releases techni- eigenvalue the probe at The double-trace perturbation introduced inas [ a quantum teleportationthe protocol. fact In that [ anything weturbation do cannot on affect the the left right boundary boundary. after For example, acting we with could the measure double trace per- of the reference spinCFT is but in in the scrambled leftis form. in CFT. Eventually the Right at right after CFT in terms of a simple5 spin carried by Quantum the observer. teleportation tion of the observer jumpsCFTs. from Then the it left stays to scrambledform the in at right the CFT right at CFT forwhich a is long maximally time, entangled until with it some emerges external in reference simple spin. For independent of where in free-fall, except forsubjective the experience (mild) of interaction the with observerstrengh the is of independent shockwave. the of We interaction the emphasize with value of that the the schockwave is also independent of two CFTs in the TFDpractice, state but or possible in in one principle. of its time-shifted cousinsinto would the be left very difficult CFToperator in at mentioned previously.CFT. Then From at the point of view of the observer only a finite proper time elapses which is dual to gravity inthe AdS. CFTs There evolve is with onlyidentify its one own the Hamiltonian, common CFT but time, timea since the with specific the laboratory the CFTs entangled lab time live stateT time in ( the laboratory we realized in some material in the laboratory. These are supposed to be holographic CFTs JHEP08(2018)142 typical = 0) is the t ] to the time- ( R 2 , X 1 ). Finally at time and he acts with a T T = 0, as we would need to = t ( t ] it was proposed that the R T < 12 O – 7 ] does not disprove the firewall, 2 , 1 = 0. Using the resulting eigenvalue t ii) then he projects onto an eigenstate of on the right CFT. Here . in R t L X at time ] that if we demand smoothness for all of these L O ] was based on the assumption of smoothness = L – 8 – 11 t . Then he waits until igo 11 O e L ] it was pointed out that a version of the firewall o = . Finally he considers the right CFT density matrix 11 T U = t , we find that all of them have a smooth interior. This + . at 0 the lab technician can avoid having to use a complicated R R R X . This protocol is possible in principle, but it requires the use of O ∈ . It was shown in [ L ]. For this argument to work, it is important that we demand a R out T > T 6 t igo , ∈ e 5 = = 0 the unitary T = t t states. However, in [ U . This protocol has the advantage that we do not have to use complicated T the density matrix of the right CFT will be the same as in the experiment on for all + i many out = 0, recording the eigenvalue t tfd out t t Ψ + | = T In this paper we argued that by applying the teleportation protocol [ The smoothness of TFD state, as demonstrated by [ In the case that The quantum teleportation protocol can be immediately realized for the time-shifted at T he applies at R t L = L iH satisfying if there wasstates. more direct evidence for the smoothness ofshifted the states time-shifted for TFD disproves all the firewall within a class of states where one would naively expect some firewall- paradox can also be formulatede if we consider the entirestates, family then we of run time-shifted into TFD aare states firewall-like state-dependent. paradox, unless we The acceptfor argument that all the of interior time-shifted [ operators TFDsince states. they are This all seems related very to plausible TFD by from a the large bulk diffeomorphism. point However, of it view, would be more paradox in its strongest form, i.e.operators for to typical depend states, on can be the resolved state. by allowing the interior as the TFD isconsider one particular state, while the firewall paradox becomes relevant when we servables behind the horizon. Itthese is observables then would shown that, have according tostates to obey in bulk an effective the algebra field theory, CFT whichsmooth is [ interior inconsistent for with a the largenumber density of class of states, of then states, the i.e. paradox for becomes typical less states. sharp. If In we [ only look at a small The firewall paradox can bepure understood states in of its a mostpure 1-sided precise states black formulation have hole in a in terms smoothlinear AdS. of interior. The operators argument acting It starts is on by then the assuming assumed Hilbert that that typical space, there which should correspond exist some to fixed local semiclassical ob- at precursors. We notice thatapply we a cannot unitary use before this the protocol measurement when of 6 Comments on state-dependence and the firewall the complicated operator precursor, by performing anHe releases alternative the “time-delayed probe quantumO in teleportation the protocol”. left CFTsimple at unitary states: the lab techniciano first measures complicated precursor corresponding tot the simple operator the TFD at time JHEP08(2018)142 P and in t . . According S ], which has e 5 2 , 1 in figure P . So this local operator at out . However, the measurement of . It is interesting to understand t T Q + are state-dependent. up to a time scale of order T T = P,Q t – 9 – operator in the Schr¨odingerpicture, however — depend- . Local operators at points . Consider a local bulk operator at point the same ] leads to a firewall-like paradox, even if we restrict to the family of states with 11 takes place at laboratory time A natural explanation is that the interior operators in these states are Figure 5 P is the same for all states, independent of 3 P outside the horizon General relativity allows time-travel to the future, by hovering near the horizon for a We notice that the same property holds for local operators inside the horizon for this The class of time-shifted TFD states, together with the perturbation which allows the 0. To formulate this paradox we need to be able to take The argument of [ 3 while and then flying awayfar an observer in can time, travel to this the method future. is However, not in very order pleasant, toT move as > it requires large proper accelerations. In 7 Discussion We investigated an extensioninteresting physical of interpretations. the We argued traversable-wormhole thatthe using time-shifted protocol a thermofield larger states, of class can of [ lead entangled to states, experiments involving time-travel in the lab. class of states, for examplehow for this a happens local from operatordoes the at she point point naturally of identifyapplied. view the of correct the moment infalling in semiclassical time observer, where i.e. the how operators have to be of the point the operator at can be represented as ing on the microstateHilbert — space it corresponding is to applied a by different the time. infalling observer on the Schr¨odinger-picture particle to escape theables horizon, raise an interestingto aspect the of infalling state-dependence observer, forfreely-falling this for observ- point a fixed is amount reached of by proper-time. diving For in the infaller from this the relational left prescription CFT at like behavior. indeed state-dependent. JHEP08(2018)142 in 0 < t . t < t 0 . All times . We couple L < t < out t iφ in t e = , in the “previous t out at t i R + tfd φ Ψ T | in = 0, and then calculate the t ) t R . Ignoring the short amount of by acting with H t + in L t H ]. ( i = 0 we can retrieve the observer almost i t 20 − tfd e Ψ L | T < in iφ t ) e becomes of the order of, or larger that the R in t H ) T – 10 – + R ]. We start with the TFD state, inject a probe L H H + 2 ( , i L 1 − H ( e i L e R iφ O e i for a very short time around ) L in O tfd t R ig Ψ − O e | t t t L ) )( ) O R R R ig H H H e + + + L L L H H H ( ( ( i i i ]. Another class of candidate states in general holographic CFTs, which − − − 19 e e e = = = ]. However, the CFTs creating the wormhole should be included as part of the i i i ) ) ) 18 t t t Ψ( Ψ( Ψ( | | | It would be interesting to investigate the traversable wormhole protocol for more gen- We also argued that for certain states with We notice that when the time shift time that it takes to act with the operators mentioned above, the wavefunction is (representing the observer) in thethe left CFT two at CFTs time with expectation value of theare outgoing probe “laboratory on time”. theSchr¨odingerpicture right as We CFT a find with function it of the useful laboratoty to time think in terms of the wavefunction in the A Some details A.1 Basic setup We recall the basic setup used in [ S. Raju, A. Stergiou,NCCR E. SwissMAP Verlinde of for the Swiss discussions National andParis Science comments. Foundation. and K.P. IHES R.v.B. would for like was to hospitality supportedAcademy thank during of ENS, by completion Sciences of (KNAW). this work and the Royal Netherlands could be used as a starting point was proposed in [ Acknowledgments We would like to thank C Bachas, J. de Boer, A. Gnecchi, M. Guica, D. Jafferis, A. Puhm, eral entangled states ofsitions two of CFTs. time-shifted One thermofield particular states.possibility class Finally of of it traversing such would a states bediscussed single-sided would interesting in black to be hole. [ investigate superpo- the In the case of the SYK model this was Poincare recurrence” immediately. One mightcomputer worry through that the wespeeds wormhole, can [ while create there acomputer, are very which will fundamental fast presumably bounds computer respect on the by bounds. computation sending a From the point of viewdifference of is the large. observer the experience is pleasant, even ifPoincare the desired recurrence time- time, thenmore the carefully, since physical the interpretation observer of may the come process out must earlier be than done this paper we described a more comfortable time-machine based on quantum entanglement. JHEP08(2018)142 ). . i i in . As 0 A.1 tfd (A.1) L tfd < t . Ψ | at time Ψ iφ | t < t ) out 0 e t in in ) R ) then the t t ( < t < ) R φ T L R H ( in 0. Note that, H operator than + t R iφ L + e O L ] to be nonzero, H i ( 2 H i (0) T > ( e i R tfd R − O Ψ e O , we obtain the com- | L L (0) L different T with the same as that of the by acting with L O R iφ i . We can diagonse this by O ig in e iφ as a parameter controlling iH T ig t − tfd is a e in R e e t T ) ) w Ψ = in t | R iH R t ) 1 + t ) T − out R H exactly X i R t e . R H + ( ≈ H R L tfd + iH R + O L e H L φ Ψ L ( L 6= 0 | i H H ( O e iφ T i ( (0) V i e ig e R R will be i R i ≡ − e L O )] O T e iH T L e L Ψ iφ R out (0) O | out = 0, where t in e L t t ig iφ iH ) ( w t O e t e + − R ) R ig e – 11 – R H out T = − in t , φ + H t ) e ) ) T L ) + R = R in R L in H to be the precursor of the operator H t t ( t H i ( ( H iH + ( + L i R L − i − L L e e φ − H X [ R iφ tfd H L ( e h ( i O i − R Ψ − e e | iφ T | | X e e R T L ) R R tfd tfd w iH O φ t e Ψ Ψ ig iH L + h h e e t × t t O ) ) )( = = ig R R R . In particular it will contain the particle emerging out of the black e i H H H ) out + + + = t L L L out R t H H H = ( ( ( X i i i for a very short time around t L Ψ( − − − | O e e e R R ig X denotes the double-trace pertubation. This was shown by [ 0: = = = e φ L | i i i > ) O ) ) ) V t t t ig ( ( ( e out out T T T t In particular, by expanding the exponential t . The quantum state is Ψ Ψ Ψ | | | R Ψ( = h quantum state of theTFD right state CFT at at hole in exactly thecommutes same with form left operators, as weas in can follows the rewrite TFD. the Note coupling between that, the because boundary the systems right Hamiltonian We will now see that if we take with the TFD state, injectwe a will probe see, in in thewith left order CFT to at make time thisO state traversalbe, we now have to couple the two CFTs A.2 Time-shifted states Let us now consideralthough a we time-shifted call wormhole thisthe state entanglement a of the time-shifted state. state, We we would like think to of perform the same steps as before. We start Where thereby demonstrating informationargued transfer that a between multiparticle state the isthe transfered boundaries. without path being of destroyed, the which Moreover, probe is required to it for be was smooth. All this information is encoded in the correlator ( right CFT after having traversed the wormhole. mutator: Where we went from themore Schr¨odingerpicture to clear. the Heisenberg This picture is to the make the final times correlator which can detect the excitation emerging in the to remove high energyt modes. Next we compute the expectation value of Although the transitions are stated as sharp transitions, we should smear them a little JHEP08(2018)142 , i s 0 in  tfd + < t . Ψ | 0 t < t . It is 1 out s T < t < t t < t < t R s t in iH t | − e ) out in 2 in t t t . i ) T ) R R −| − V tfd H i H ) Ψ + = + | out L t T L T ( H T H R in ( ( R − i t i ) φ iH − − R e e . These options show the e out H (0) in R . t L R t R + ( ) i φ X 0 L O R iφ L 0 up to H tfd e out Ψ H ( t | (0) i ) in + Ψ igY L t | − R R ) L e ) O e 2 R φ H T < H i L ( ig T | + H i ) i − − L tfd + − iφ 1 e T e L H ) T Ψ tfd − ( ( | L i H in e − ( t R Ψ e T i ( | in 2 iφ on this state. R t e L iH T ) T e 2 out e ) R R R iH T R t ) iφ in e ( R H φ t in iH iH − 0 t in R + e − ( e t − iH s ) ) L Ψ L in e t 2 − h – 12 – t R iaϕ H ) T R e )( ( e H iφ i R R − R O s = e e t + 1 L H H O ) 0 1 T L T ( L O + R + (0) V H L R R i L O ( ig R H i ) H H − ig + O iH iH ( ( − i e e i L e − − out 2 2 (0) − i − H t e e L T T ( we obtain: e L | | e ( i R R L tfd O R e T iφ tfd tfd T e R iH iH ig Ψ Ψ iφ ) | e e e Ψ Ψ iaϕ | X e = in h h T e ) L t × × × ) R R 2 s in O − φ = = t t s T . The time shifted wormhole can, therefore, be used as a time- ig iH | t − − i ) e e t t T ) )( t t = )( ) ) )( R 1 out R R R R out H t t T H H H H . The probe does not feel this difference: the proper time of the proper ( + ( , or acting with precursors on both sides + + + + L T T T R L L L L H Ψ O ( Ψ H H H H generates a shockwave coming from the right, at some early time i + h | ( ( ( ( L statement: no approximations where made. The time-shifted state is just i i i i − R R − − − − e igY out φ e e e e t e × | iaϕ is some small number representing some limitations. For example, the sending of ) = = = = e =  i i i i exact out ) ) ) ) t t t t t t The time-shifted state is related to the normal state by a delay in the response. This ( ( ( ( ( T T T T T Ψ Ψ Ψ Ψ Ψ Where important that this shockwavedouble is trace perturbation extremely should weak, stillthe otherwise be additional it able shockwave. to will Moreover extract kill we the want the probe to probe. after use the the interaction The same of double trace perturbation, It is necessary forhappened the before path encountering ofwas the the killed shockwave, probe earlier otherwise to andstudy one be regenerated this: may by smooth argue the that that shockwave. the the probe We consider probe remembers the what following state to where the probe, the scattering,and and the the precursors receiving of shouldprobe the not with probe, zero act are time within elapsed. either those smeared areas. orA.3 nonlocal, Therefore, we Additional cannot shockwaves receive the machine. By tuning theby state an and arbitrary the amount correspondingalternative to perturbation, to the we acting future, can with the shift without precursorleft the changing on CFT probe the the perception right CFT, of issame the acting results. with probe. Moreover, a we precursor An can on the extend these results for is an as traversable as thetime thermofield double state.does However, not the probe depend is on received at a later For the case that computing the expectation value of operator h | | | | JHEP08(2018)142 . i ]. , , 61 tfd ]. ]. Ψ | i in SPIRE t tfd ) IN R Ψ SPIRE SPIRE | Phys. Rev. H ][ T , IN IN + ]. R [ Fortsch. Phys. L ][ (2013) 212 , H iH ( e i in − 10 Fortsch. Phys. t Phys. Rev. Lett. e ) SPIRE , , L R IN H iφ ][ + e L ) JHEP . Thus we could extract in H t ( , i T − ) − An Apologia for Firewalls (2013) 1342030 e T arXiv:1310.6334 L ]. − [ s t iφ arXiv:1503.08825 e )(( ) [ D 22 R in t SPIRE H − + IN s ]. t L )( ][ H ]. arXiv:1310.6335 ( Black Holes: Complementarity or R ]. i [ ]. ]. H − e + (2014) 051301 SPIRE R L IN SPIRE H ( iaϕ SPIRE i (2016) 084049 IN Diving into traversable wormholes ][ e SPIRE SPIRE 112 − ) IN e ][ IN T IN – 13 – R ][ ]. − ][ ][ s Int. J. Mod. Phys. t iaϕ D 93 , )( e (2014) 086010 ) R s Traversable Wormholes via a Double Trace Deformation t H Cool horizons for entangled black holes arXiv:1207.3123 SPIRE )( + [ IN R L State-Dependent Bulk-Boundary Maps and Black Hole The unreasonable effectiveness of exponentially suppressed Local Operators in the Eternal Black Hole Remarks on the necessity and implications of state-dependence An Infalling Observer in AdS/CFT Black Hole Interior in the Holographic Correspondence and H H D 89 ][ ), which permits any use, distribution and reproduction in ( i + Gauge/Gravity Duality and the Black Hole Interior ]. e L R H Phys. Rev. Phys. Rev. Lett. ( O arXiv:1307.4706 i , , L e [ O R SPIRE arXiv:1304.6483 arXiv:1608.05687 (2013) 062 X ig [ [ IN e L arXiv:1502.06692 arXiv:1704.05333 ) O [ ][ 02 Phys. Rev. [ T CC-BY 4.0 ig , − in this state we get the same response as in the thermofield state, with e t t i ) )( This article is distributed under the terms of the Creative Commons R R R H H φ arXiv:1306.0533 JHEP h + + [ (2013) 018 (2017) 151 , (2013) 171301 0, in such a way that it is clear that it corresponds to the same experiment L L H H ( ( i i 09 12 − − t > 111 e e (2015) 211601 (2017) 1700034 = = i arXiv:1211.6767 ) corrections in preserving information 115 in the black hole interior the Information Paradox Complementarity JHEP Lett. [ (2013) 781 Firewalls? JHEP 65 t K. Papadodimas and S. Raju, K. Papadodimas and S. Raju, K. Papadodimas and S. Raju, K. Papadodimas and S. Raju, K. Papadodimas and S. Raju, D. Marolf and J. Polchinski, K. Papadodimas and S. Raju, J.M. Maldacena and L. Susskind, A. Almheiri, D. Marolf, J. Polchinski and J. Sully, A. Almheiri, D. Marolf, J. Polchinski, D. Stanford and J. Sully, P. Gao, D.L. Jafferis and A. Wall, J.M. Maldacena, D. Stanford and Z. Yang, ( T [8] [9] [6] [7] [3] [4] [5] [1] [2] Ψ [11] [12] [10] | Open Access. Attribution License ( any medium, provided the original author(s) and source are credited. References If we calculate both the response and theinformation additional about shockwave being the shifted additional by shockwave from the response. modify the double tracehowever, perturbation cannot answer to whether removestate, the this for memories additional of shockwave. thein That probe the setup, are thermofield genuine. state. The We correlator rewrite follows the directly from that. whether we would send this additional shockwave or not. An alternative would be to JHEP08(2018)142 , ] gravity 2 AdS , (2014) 067 03 arXiv:1312.3296 [ JHEP , (2003) 021 arXiv:1707.04354 , (2000) 1047 ]. 04 (2014) 046 406 SPIRE 12 JHEP IN , Bulk and Transhorizon Measurements in ][ Nature , JHEP , – 14 – Pure states in the SYK model and nearly- arXiv:1201.3664 [ Multiple Shocks Black holes and the butterfly effect ]. ]. ]. ]. ]. Teleportation Through the Wormhole SPIRE SPIRE SPIRE SPIRE IN (2012) 165 SPIRE IN IN IN [ [ ][ IN ][ 10 A class of non-equilibrium states and the black hole interior ][ Eternal black holes in anti-de Sitter JHEP , Ultimate physical limits to computation ]. ]. SPIRE SPIRE quant-ph/9908043 IN arXiv:1306.0622 hep-th/0106112 IN [ arXiv:1707.02325 arXiv:1708.06328 [ [ [ [ AdS/CFT I. Kourkoulou and J.M. Maldacena, K. Papadodimas, S. Lloyd, S.H. Shenker and D. Stanford, S.H. Shenker and D. Stanford, L. Susskind and Y. Zhao, I. Heemskerk, D. Marolf, J. Polchinski and J. Sully, J.M. Maldacena, [19] [20] [18] [16] [17] [14] [15] [13]