Collaborators and ReferencesI An Infalling Observer in AdS/CFT, arXiv:1211.6767 I The Black Hole Interior in AdS/CFT and the Information Paradox, arXiv:1310.6334 I State-Dependent Bulk-B
Trang 1State Dependent Operators and the Information
Trang 2Collaborators and References
I An Infalling Observer in AdS/CFT, arXiv:1211.6767
I The Black Hole Interior in AdS/CFT and the Information Paradox, arXiv:1310.6334
I State-Dependent Bulk-Boundary Maps and Black Hole
Complementarity, arXiv:1310.6335
at U Groningen)
Trang 3Recent work suggests that to resolve the information paradox, onemust drop this robust assumption: “quantum effects radically alterthe structure of the horizon.”
[Mathur, Almheiri, Marolf, Polchinski, Sully, Stanford, Bousso]
I will describe how our construction of the black hole interior in
recent arguments
Then I will discuss the “state dependence” of our proposal, anddescribe work in progress
Trang 41 Review of the BH Interior in AdS/CFT
2 State Dependent Operators and the Information Paradox
3 Non-Equilibrium States
4 Open Questions
Trang 5Need for Mirror Operators
Apart from usual single-trace operators, new modes are required toconstruct a local field behind the horizon
Trang 6Properties of the Mirror Operators
More precisely, the condition for smoothness of the horizon is thatthere should exist new operators eO(t, Ω), satisfying
hΨ|O(t1, Ω1) eO(t10, Ω01) eO(tl0, Ω0l) O(tn, Ωn)|Ψi
i
hΨ|Oω1 eOω01 eOω0l Oωn|Ψi
=e−β2 (ω01+ ω0l)hΨ|Oω1 .Oωn(Oωl0)† (Oω10)†|Ψi
This equation is deceptively simple On the RHS, the
Trang 7Construction of the Mirror Operators
operators to satisfy the following linear equations
e
OωOω1 .Oωn|Ψi = e−βω2 Oω1 .Oωn(Oω)†|Ψi
Denote all products ofOωi that appear above as A1 .AD This
e
Oω=gmn|umihvn|
Trang 8State Dependence
can multiply them, take expectation values etc
hΨ| eOω1Oω2Oeω3 .Oωn|Ψi
However, if we make a big change in the state, then one has touse different operators on the boundary to describe the field “atthe same point” behind the horizon
Somewhat unusual, but perhaps to be expected
Trang 9Using Mirrors to Remove the Firewall
Our explicit construction contradicts arguments in support of thestructure at the BH horizon which can be sharply paraphrased asfollows
General reasoning (from counting, strong subadditivity of entropy,
CFT
all of these arguments
construction
Trang 10Resolving the Strong Subadditivity Paradox
The first argument for structure at the BH horizon was based onstrong subadditivity of entropy
For an “old black hole”, SAB <SA
radiation implies SB=SC>0
Seems to violate Strong Subadditivity at O(1)!
SA+SC ≤ SAB+SBC
Trang 11Resolution to the SSE Paradox
B C A
Explicitly, in our construction
[Oω, eOω 0]6= 0
interior of the black hole have an overlap with the dof far away
[Verlinde2, Bousso, Maldacena, Susskind]
[Nomura, Weinberg, Varela]
Trang 12The Generic Commutator
commutator is easily measurable at O[1]
e
Oω =U†Oω†U, for a randomly selected U
[Oω, eOω 0]will be very small (e−N22 )
But
hΨ|[Oω, eOω 0][Oω, eOω 0]†|Ψi = O(1),because the exponential suppression of the matrix elements isoffset by the size of the matrix (eN2× eN2)
Trang 13The Commutator and Superluminal Propagation
With such commutators, one could send messages across thehorizon
the use of complementarity to remove the firewall
Trang 14Suppressing the Commutator
Our construction resolves this in a clever way
Within low point correlators,
[Oω, eOω 0]Ap|Ψi =e−βω02 OωAp(Oω 0)†|Ψi
− e−βω02 OωAp(Oω)†|Ψi = 0!
point correlators.We denote this by
[Oω, eOω 0]=. 0
Resolves a central objection to the use of complementarity!
Trang 15The Counting Argument
Setecω† =G
−1 2
ω Oeω† : the normalizedcreation operatorbehind thehorizon Then,
[ecω,ecω†]Ap|Ψi = Ap|Ψi,and so
e
cω
1 +ecω†ecω
e
cω† =1?
But creating a particle behind the horizon in the Hartle-Hawkingstate is like destroying a particle in front of it
[Hcft,ecω†] =−ωecω†.Since the growth of number of states with energy in the CFT ismonotonic,ec†ωcannot have a left inverse?
Trang 16Resolving the Counting Argument
Trang 17The Na 6= 0 Paradox
infalling observer is O[1]
[Marolf, Polchinski]But,
Oω− e−βω2 Oω† i.However, our operators satisfy
e
Oω|Ψi = e−βω2 (Oω)†|Ψi; eO†ω|Ψi = eβω2 Oω|Ψi
Trang 18Interim Summary
The use of an appropriately state-dependent mapping between boundary operators and local bulk operators addresses all the recent information theoretic
arguments for structure at the horizon.
Trang 19Implications for Locality
Now, we turn to some potential bugs/features of our construction
locality breaks down completely
Is there independent evidence for this?
[Mathur]
Trang 20Locality and Perturbation Theory
The CFT permits a dual local description only for quantities that
Consider the bulk Feynman path integral
Z =
Z
e−SDgµν
N perturbation theory breaks downforN-point correlators
Possible to do by crude counting of Feynman diagrams
Trang 21Combinatorics of High Point Correlators
Trang 22Criterion for Equilibrium
st
t+x
The formalism must be improved for states out of equilibrium
[Bousso, van Raamsdonk]
|(χp(t)− χp(0))|dt = Ohe−S2
i, ∀p
Trang 23Mirrors for Near Equilibrium States
S
P
|Ψ0i = U|Ψi, U = eiAp
Now, improve mirror operators to
e
OωAp|Ψ0i = ApUe−βω2 (Oω)†U†|Ψ0i
Again reproduces semi-classical expectations
Trang 24Potential Ambiguity in Equilibrium States
1− e−βω
behind the horizon
Trang 25Another Ambiguity
However, it is possible to definedifferent operatorsOe0
ω, whichsatisfy
[ eO0ω 0,Oω]=. 0, [ eOω00,H]=. 0
[Harlow]
arenot natural candidatesfor building the field inside the
black-hole since they create particles inside the black hole without
a change in energy
Important to understand how to classify
|eΨ0i = ei eOω0|Ψi,because we cannot detect that it is out of equilibrium using either
Trang 26More on the Ambiguity
Before the recent fuzz/fire/complementarity arguments, everyonewould agree that an exponentially small fraction of microstateshave excitations behind the horizon
How does one know if a given CFT state falls in this class or not?Even from bulk, very hard to tell because of the trans-Planckianproblem
Trang 27State Dependence
Adding general state-dependent operators to the Hamiltonian can
communicate between “branches of the wave-function.”
[Gisin, Polchinski,1990–91]
Important difference in our case: one might imagine, based on thisold work, that the bulk theory could have uncontrolled properties
Need to understand better what happens when the CFT is
entangled with other systemsin various ways But, so far, nothought experiment that produces a concrete contradiction
Moreover, local operators are unusual in quantum gravity
Trang 28Positioning Local Operators
[Susskind, Motl]
the horizon” may mean that the geometry is perfectly regular butthe bulk probes are not positioned where one thinks they are
Trang 29Background independent local operators?
semi-classical metric g, and the sum is over all such metrics
Therefore, difficult to prove that this operator above is “local”:
lim
x →x 0hg|φ(x)φ(x0)|gi = gµν(xµ− xν0)(xµ− xν0)−∆
?
If this works outside the BH, should it also work inside?
local operators in quantum gravity
Trang 30Local Operators in Quantum Gravity
backgroundand then place operators in this background
This needs to be understood better!
This necessity of state-dependent bulk-boundary maps to smoothenthe horizon of the black hole seems to be a key lesson of the firewalldebate Leads to a question of “how do we really describe local bulkobservables in AdS/CFT?”
Seems to be a very broad and interesting question that has arisenout of this discussion
Trang 31Hopefully, we will have more to say on this by Strings 2015, which is atour new campus in Bangalore!
Trang 32Appendix
Trang 33Interactions with an environment
for the construction
Prescription is not obtained by manually identifying
“entanglement.”
Rather, the action of an operator inside the horizon can be
represented by an operator outside (see figure.)
Very robust against interactions with the CMB etc that do notmodify the horizon within EFT
Trang 34Small Corrections
A theorem of Mathur (2009) states that “small corrections cannotunitarize Hawking radiation”
This theorem implicitly disallows the state-dependent and
hΨ|φCFT(t1,z1) φCFT(tn,zn)|Ψi = hφ(t1,z1) φ(tn,zn)ibulk
N
,where on the LHS, our operators are sandwiched in a typical state,and the RHS is calculated by Feynman diagrams in the bulk QFT
In particular, the two point function across the horizon is smooth
So, small corrections to bulk correlators are consistent with
unitarity and no information loss
Trang 35Literally doing the AMPS experiment
performs a quantum computation and gives the infalling observerthe bit that is entangled with the inside dof?
In a sense, there is a firewall for “these observables”, but otherobservables still see a smooth horizon
Trang 36Other thermal systems
As Kyriakos explained yesterday, other chaotic systems also seedoubling in typical pure states
there to be an “interior.”
We have to be able to put the mirror and ordinary operators
together in a local quantum field
Relies on properties of correlators outside the horizon, which arenot met in other cases