SciPost Submission Page
On the construction of charged operators inside an eternal black hole
by Monica Guica, Daniel L. Jafferis
This is not the latest submitted version.
This Submission thread is now published as
Submission summary
Authors (as registered SciPost users):  Monica Guica 
Submission information  

Preprint Link:  http://arxiv.org/abs/1511.05627v1 (pdf) 
Date submitted:  20161117 01:00 
Submitted by:  Guica, Monica 
Submitted to:  SciPost Physics 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approach:  Theoretical 
Abstract
We revisit the holographic construction of (approximately) local bulk operators inside an eternal AdS black hole in terms of operators in the boundary CFTs. If the bulk operator carries charge, the construction must involve a qualitatively new object: a Wilson line that stretches between the two boundaries of the eternal black hole. This operator  more precisely, its zero mode  cannot be expressed in terms of the boundary currents and only exists in entangled states dual to twosided geometries, which suggests that it is a statedependent operator. We determine the action of the Wilson line on the relevant subspaces of the total Hilbert space, and show that it behaves as a local operator from the point of view of either CFT. For the case of three bulk dimensions, we give explicit expressions for the charged bulk field and the Wilson line. Furthermore, we show that when acting on the thermofield double state, the Wilson line may be extracted from a limit of certain standard CFT operator expressions. We also comment on the relationship between the Wilson line and previously discussed mirror operators in the eternal black hole.
Current status:
Reports on this Submission
Anonymous Report 1 on 2017123 (Invited Report)
 Cite as: Anonymous, Report on arXiv:1511.05627v1, delivered 20170123, doi: 10.21468/SciPost.Report.69
Strengths
 Discusses an important question in the reconstruction of the bulk in AdS/CFT.
 Makes an important point about the necessity of including the boundary current to all orders in order to correctly reproduce the bulk algebra of operators at leading order in 1/k.
 An elegant discussion of charged operator reconstruction for bulk ChernSimons theory, which enables a much more explicit treatment than is standard in the literature for more general gauge fields.
 Nicely complements an earlier paper of Harlow, which emphasized different aspects of the same problem.
Weaknesses
 The discussion of ``statedependence'' is somewhat misleading, as explained in the report below.
 A few other misleading or incorrect statements, which are pointed out below.
Report
This is an excellent paper, which I recommend be published after the authors consider the following three points and make modifications as they feel are appropriate:
1) The authors use the term ``state dependence'' to mean something considerably milder than the use of this term by Papadodimas and Raju in work which they cite. This distinction has been previously emphasized in 1405.1995 and 1506.01337: the weaker version, which in 1506.01337 is called ``background dependence'', is a standard thing in quantum mechanics: we can have observables which make sense only on a linear subspace of the states in the Hilbert space. An example of this is quasiparticle excitations of a solid, which don't make sense in states where the solid has melted or evaporated. Similarly in the quantum error correction description of bulk emergence, we only expect the bulk operators to make sense in some ``code subspace''. In the paper under review, the twosided Wilson lines only make sense in a subspace of states where the geometry is connected, so they are in the same class. This is to be contrasted with the more extreme situation advocated by PR where, contrary to quantum mechanics, the measurement theory of an observable is nonlinear. This is NOT required by anything discussed in this paper, and as such calling it statedependence and citing PR is misleading.
2) On page 5 the authors suggest that the twosided Wilson line behaves like a product of local operators, one in each CFT, but actually this is only true in the ChernSimons case, since at leading order in $1/k$ we have $F=0$ throughout the bulk. It will not be true at higher order in $1/k$, or at all in Maxwell theory. One easy way to see this is that when $F$ is nontrivial, we can consider a Wilson line that for a while hugs the boundary near one of its endpoints. We can then easily send a signal to a point on the line from a boundary point which is spacelikeseparated from both endpoints, and thus find an operator that does not commute with the line despite being spacelikeseparated from its endpoints. Another way of saying this is that we can just reconstruct the electric field at some point on the line in a boundary region which is spacelike separated from the endpoints of the line, so again they can't commute and thus the line can't be localized at its endpoints. The authors need to clarify that the locality they mention is not what we usually expect, and they also need to modify section 3.3 which thus must be wrong.
3) In section 4.2, they suggest that the ``OPE'' construction of the boundaryboundary Wilson line, also advocated in 1510.07911, can only be accomplished when there is a bifurcate horizon. But as explained in 1510.07911, this is true only if we expect that bulk reconstruction is only possible in the causal wedge. In fact it is expected to work in the larger ``entanglement wedge'', see 1601.05416 and the references therein, in which case a bifurcate horizon is not required.
Requested changes
Points 13) given above need to be addressed, I leave it to the authors to decide how.
Author: Monica Guica on 20170505 [id 126]
(in reply to Report 1 on 20170123)We thank the referee for his comments. We have submitted a new version of our article, with the following modifications:
we specified in the introduction and at the beginning of section 3.3 that the Wilson line behaves as a local operator for the particular choice of bulk curve $\Gamma$ we discuss in that section. This should address comment 2) of the referee.
we added at the end of section 4.3 a brief proof of statedependence (in the strong, PapadodimasRaju sense) of the Wilson line in the timeshifted states and commented on the relationship with the proposal of 1510.07911. This should address comment 1).
we also specified at the beginning of section 4.2 that we are interested in a representation of the Wilson line in terms of simple operators in the two CFTs, for which only the case of a bifurcate horizon is relevant, thus addressing comment 3).
Attachment:
chopbh9.pdf