Boundary-to-bulk maps for AdS causal wedges and the Reeh-Schlieder property in holography
In order to better understand how AdS holography works for sub-regions, we formulate a holographic version of the Reeh-Schlieder theorem for the simple case of an AdS Klein-Gordon field. This theorem asserts that the set of states constructed by acting on a suitable vacuum state with boundary observables contained within any subset of the boundary is dense in the Hilbert space of the bulk theory. To prove this theorem we need two ingredients which are themselves of interest. First, we prove a purely bulk version of Reeh-Schlieder theorem for an AdS Klein-Gordon field. This theorem relies on the analyticity properties of certain vacuum states. Our second ingredient is a boundary-to-bulk map for local observables on an AdS causal wedge. This mapping is achieved by simple integral kernels which construct bulk observables from convolutions with boundary operators. Our analysis improves on previous constructions of AdS boundary-to-bulk maps in that it is formulated entirely in Lorentz signature without the need for large analytic continuation of spatial coordinates. Both our Reeh-Schlieder theorem and boundary-to-bulk maps may be applied to globally well-defined states constructed from the usual AdS vacuum as well more singular states such as the local vacuum of an AdS causal wedge which is singular on the horizon.
- 1 Introduction
- 2 The bulk Reeh-Schlieder theorem
- 3 Boundary-to-bulk maps
- 4 Discussion
- A Wave front sets
- B An example transformation to an AdS causal wedge
- C WKB approximations of AdS-Rindler Klein-Gordon modes
One of the most striking features of quantum physics is the phenomena of quantum entanglement. A familiar example of entanglement in quantum mechanics is provided by EPR pairs. In local quantum field theory (LQFT) there is a sense in which entanglement is stronger, or at least more ubiquitous, and this is embodied in the Reeh-Schlieder theorem [1, 2]. Consider an LQFT on a manifold and consider the set of local observables whose support is contained in a sub-region . The Reeh-Schlieder theorem states that the set of states generated by acting on a suitable vacuum state with members of is dense upon the Hilbert space. In essence, in LQFT observables always have long-range correlations which, even if small, can be exploited; an observer with limited spacetime but unlimited resources can explore the entire Hilbert space.
It is natural to ask how this strong notion of quantum entanglement fits into the AdS/CFT correspondence [3, 4], or more generally gauge/gravity duality . In general AdS/CFT is a correspondence between two quantum theories, a -dimensional boundary conformal field theory (CFT), and -dimensional bulk quantum gravity theory. When quantum gravity is sufficiently weak the bulk theory becomes local and the duality becomes one between two LQFTs. In this setting one expects the following formulation of the Reeh-Schlieder theorem: the set of CFT states constructed by acting on a suitable CFT vacuum with observables supported in any sub-region of the boundary provides a dense set of states for the bulk Hilbert space.
In this paper we prove a holographic form of the Reeh-Schlieder
theorem in the simple case of a Klein-Gordon scalar field on a fixed
AdS background. This requires two ingredients, each of which is
of independent interest. Our first ingredient is a purely
bulk formulation of the Reeh-Schlieder theorem. This theorem applies
to states built atop suitably analytic vacuum states. Examples
of such states include the usual AdS vacuum as well as the natural
“local vacua” of AdS sub-regions such as the AdS-Rindler vacuum.
In order to make the theorem holographic we define a
suitable algebra of local boundary observables ,
along with the natural algebra of local bulk observables .
We then consider the theory restricted to a sub-region
of AdS known as an AdS causal wedge.
The conformal boundary of an AdS causal wedge is the causal development
of a compact, spherical region on an equal time hypersurface of
Our second ingredient is the construction of a 1-to-1 map for the
restricted algebras of observables:
Aspects of our results have been anticipated in many ways. Perhaps the most direct antecedents are discussions of the gravity duals of CFT density matrices [6, 7], and in particular of the gravity duals of Rindler CFTs [8, 9, 10, 11]. Also relevant is the perspective gained from gravity computations of CFT entanglement entropy [12, 13, 14, 15] and related quantities (see e.g., [16, 17, 18, 19, 20, 21, 22, 23]). These investigations provide significant evidence to suggest that given CFT data on the largest bulk region from which we expect to recover “fine-grained” information about the bulk theory is the associated causal wedge . Our boundary-to-bulk map shows that, at least for this simple theory, this “fine-grained” information is in fact the entire bulk observable algebra . It is widely believed that data on provides access to “coarse-grained” information about the bulk theory beyond (see e.g., [24, 25, 26, 27]). Our work shows that in this model the course-grained information accessible is precisely that implied by the Reeh-Schlieder theorem: using elements of one may well-approximate, but not distinguish, any bulk state.
We now describe our process and results in more detail. In the first part of our study we prove a version of the Reeh-Schlieder (RS) theorem for Klein-Gordon fields quantized in the Poincaré chart of AdS (the extension to global AdS is straightforward). As is always the case for the RS theorem, this theorem applies to states constructed from a suitably analytic vacuum state. Our theorem holds for a class of “locally analytic” vacuum states which are Gaussian states whose Wightman functions satisfy a certain analytic wave front set condition. Roughly speaking, these vacuum states are as analytic as possible within their domain of local analyticity. The key property enjoyed by these states is a unique notion of analytic continuation; from this property the RS theorem readily follows. Since our definition of a locally analytic state is local a state can be locally analytic when restricted to a sub-region of AdS but fail beyond. The usual AdS vacuum is an example of a state which is locally analytic on all of the Poincaré chart. Examples of states which are locally analytic only within sub-regions of AdS include the natural AdS-Rindler vacuum and more generally the local vacuum of any AdS causal wedge. These are the natural zero temperature vacuum states defined relative to the timelike Killing vector field of the sub-region. Thus, our RS theorem applies not only to the familiar basis of Poincaré particle states, but to finite-energy excitations of these local vacua as well. Essentially any state consistent with the semi-classical approximation (i.e. a state with well-defined, finite averaged stress-energy tensor) is included in our treatment.
In the second part of our study we construct a boundary-to-bulk map
for local observables on an AdS causal wedge.
Here is a -dimensional bulk coordinate, is a -dimensional
boundary coordinate, and is the induced metric on the
When considering sub-regions of AdS the integral kernel
is a distribution – in a convenient Fourier representation
the kernel can diverge exponentially at large momenta – and thus
it’s convolution with correlation functions which are themselves
distributions requires careful analysis.
Previous authors dealt with these divergences by performing
a large analytic continuation in the spatial coordinates of –
a much larger foray into the complex plane than is implemented
by an prescription – and this has led some to
question whether these boundary-to-bulk maps
are actually well-defined in the physically correct Lorentz
signature [11, 37].
We use the following line of reasoning to show that the boundary-to-bulk map for AdS causal wedges converges. The distributional character of CFT correlation functions is constrained by basic aspects of the theory – ingredients such as positivity and the non-negativity of the energy spectrum. From these considerations we may determine the largest class of boundary “test functions” which have well-defined convolution with CFT correlators. This class includes certain distributions in addition to functions. Our main task is to show that the test functions constructed using the integral kernel appropriate to an AdS causal wedge are in fact members of this class. Obviously, this analysis is a bit technical, but it is made rather simple by the use of a tool known as the wave front set of a distribution. This object characterizes the singularities of a distribution in an invariant manner. Lest these tools dismay the reader, we also show through explicit calculation that the boundary-to-bulk map converges on both the usual CFT vacuum as well as the local vacuum for a boundary sub-region .
2 The bulk Reeh-Schlieder theorem
2.1 Bulk theory basics
This section serves to establish our conventions for the bulk Klein-Gordon theory. For simplicity we focus on quantization in the Poincaré chart of -dimensional AdS (PAdS). The line element is
where is the AdS radius and is the AdS “radial” direction such that corresponds to the conformal boundary. The extension of our analysis to global AdS is straightforward.
We consider a real scalar field obeying the Klein-Gordon equation
AdS has a timelike conformal boundary the thus is not globally hyperbolic, so we must impose boundary conditions in order to have well-posed Cauchy evolution. As is well known, solutions to the equation of motion (2.2) have two behaviors as :
Upon quantization the scalar field becomes an operator and must be evaluated within a correlation function of some quantum state . Correlation functions satisfy the equation of motion
where , are arbitrary operator insertions, as well as the canonical commutation relations
where is the commutator function, a.k.a. the advanced-minus-retarded fundamental solution , which is unique given our choice of boundary conditions. We take as the basic observables of the theory the “smeared” operators
We define the bulk algebra of local observables to be the unital -algebra generated by finite sums of finite products of the basic elements (2.6). The restriction of this algebra to a sub-region is denoted . Quantum states are positive linear functionals on this algebra.
Technically the algebra does not include observables constructed from composite operators such as or the all-important stress tensor. Obviously we must have these observables in order to completely describe bulk physics. In particular, we regard a finite averaged stress-energy tensor to be an additional criteria for a state to be deemed physically reasonable (otherwise the semi-classical approximation is invalid). In this work we consider states for which composite operators may be constructed via normal ordering. Thus for these states one may construct directly from a larger “Wick polynomial algebra” which includes observables constructed from composite operators, though we need not present these details here – see, e.g., [42, 43, 44, 45].
2.2 Locally analytic states and the RS theorem
For typical field theories on AdS there exists a class of states which are highly analytic; this can be traced back to the fact that AdS is a complex analytic manifold. While a mathematician might call these states sparse in the same way that analytic functions are sparse on the set of smooth functions, for most physical questions this set of analytic states provide the vacuum states of interest. In this section we define a set of locally analytic states which, roughly speaking, are as analytic as the usual AdS vacuum. This analyticity property is local so a state may be locally analytic in a sub-region of AdS and fail to be so elsewhere. Locally analytic states enjoy a notion of unique analytic continuation. This is the property we need to formulate a Reeh-Schlieder theorem.
For simplicity we restrict attention to quasi-free (a.k.a. Gaussian) states. The analyticity properties of a quasi-free state are simply those of it’s Wightman function. A Wightman function is a distribution, and the analyticity of distributions is considerably more nuanced than that of functions. The analyticity properties of a distribution are nicely encoded in a mathematical tool known as the analytic wave front set () of a distribution. This is a rather technical object, so for the moment we provide a colloquial description of wave front sets that will likely be sufficient for a first reading. We provide a precise definition of the wave front set, along with further introduction, in Appendix A. Let us first describe the wave front set () which we will use later in §3. This object provides a precise characterization of the singularities of a distribution by listing, for each point in position space at which the distribution is singular, the directions in a locally-constructed Fourier space for which the function fails behave as a smooth function. The wave front set is defined locally and transforms covariantly under general diffeomorphisms; it is naturally thought of as a subset of the cotangent bundle of the manifold. One may similarly define the analytic wave front set which describes the locations and momentum directions in which a distribution fails to be analytic – for details see Appendix A.
Here is the Gauss hypergeometric function,
is the -invariant chordal distance between
Following notation employed in Appendix A, denotes
the tangent space, the zero section, the closed
One could also consider states which have the same analyticity properties of the AdS vacuum in a sub-region of PAdS but fail to be analytic everywhere. Examples of such states include the “local vacua” of AdS causal wedges and the AdS-Rindler wedge. The Wightman function of such a state is as analytic as within it’s defining sub-region, but has additional singularities on the boundary horizon as well as beyond the region. With these states in mind we define:
A locally analytic state on is a quasi-free state whose Wightman function satisfies the analytic wave front set condition
The AdS vacuum is locally analytic on all of PAdS; we will verify later that natural vacuum of an AdS causal wedge is locally analytic on the wedge.
Locally analytic states enjoy a notion of unique analytic continuation. This follows from a very general form of the “edge of the wedge theorem”  familiar from Minkowski space QFT reformulated here in terms of analytic wave front sets:
Theorem 2.2 (Edge of the wedge theorem (Proposition 5.3 of ))
be a real analytic connected manifold and a distribution (in the distribution space dual to that of smooth functions) with the property that
Then for each non-void open subset if the restriction of to vanishes then .
The following simple lemmas follow immediately:
Let be locally analytic on . If a -pt function of vanishes when restricted to an open set then on .
Proof. The state is quasi-free so if a 2n-pt function vanishes on it implies on . satisfies the criteria (2.11) so if it vanishes on it vanishes on . Thus on .
Let be locally analytic on , and let be non-void. If on an open set of then on and provides the unique locally analytic extension of on .
Proof. This follows immediately from the fact that each
These lemmas show how the locally analytic extension of a state is uniquely defined, but they do not prove the existence of such an extension. Indeed, as the example of AdS causal wedge vacua show, in general there is no such extension.
Let us turn the discussion to the more general class of states constructed by acting on a locally analytic state with members of . It is easy to show that such states are no more singular than locally analytic states, but are not necessarily as analytic. The following lemma follows immediately from the properties of wave front sets:
Let be locally analytic on and let be a sub-region such that it’s causal complement on is non-void. Then the state with is locally analytic on at least .
Despite being less analytic, states generated from locally analytic states enjoy a weaker property reminiscent of analyticity which is embodied in the Reeh-Schlieder theorem:
Theorem 2.6 (Reeh-Schlieder theorem)
Let be locally analytic on and let . The linear spans of the sets
Proof. Let and let be any finite string of operators with arguments restricted to . Consider
If is non-zero for all then the assertion
of the theorem holds. If for some then it follows from
lemma 2.3 that on and the theorem
To understand the implications of this theorem consider when is the AdS vacuum and is PAdS. Then the set is the set of finite-energy excitations of , and is the set of states which may be constructed using observables contained in . The RS theorem states that there is no state in orthogonal to the set . If we consider as the Hilbert space of the bulk theory the usual one for which is cyclic then it follows that the set is dense on this Hilbert space. Thus any state in this Hilbert space may be approximated with arbitrary precision by a state on . In other words, by judicious application of operators in to one may construct a global state which well-approximates any finite-energy state everywhere on PAdS. An important corollary is:
Consider the same configuration as theorem 2.6, and in addition let be the non-void causal complement of on . If annihilates any state in then it annihilates all states in .
Proof. From theorem 2.6 it follows that the set
spans . All such commute with . Thus if
then and so annihilates .
The conclusion is unchanged if we exchange for any member .
This corollary makes precise the difference between a dense set of states and the entire Hilbert space. If we think again of the case where and then the theorem states that an observer confined to cannot construct a set of exact annihilation operators for the span and thus the observer cannot exactly determine the quantum state. For further interpretation of the RS theorem and related corollaries see, e.g., [2, 47].
The interpretations we have just given can also be applied to cases where is a sub-region of PAdS and is any locally analytic state on .
3 Boundary-to-bulk maps
In this section we change gears and describe the boundary-to-bulk map for local observables on an AdS causal wedge. After establishing some technical details in §3.1 we review the construction of such a map for the Poincaré chart in §3.2. We introduce AdS causal wedges in §3.3. Finally in §3.4 we examine in detail the boundary-to-bulk map for the AdS-Rindler wedge.
3.1 Boundary theory basics
In this section we review the construction of the boundary theory from the bulk theory. We know this is familiar territory, but we will need some rather fine details for our later analysis so we might as well state everything clearly now.
The conformal boundary of the -dimensional Poincaré chart is Minkowski space . Following the standard AdS/CFT prescription we define the boundary operator via the limit
We use the notation with a -dimensional coordinate. AdS transformations in the bulk act as conformal transformations on the conformal boundary, and under such actions transforms as a conformal field of weight . Thus constructed in this way may be used to define a CFT on -dimensional Minkowski space. This CFT what we refer to as “the CFT” or “the boundary theory.”
We say that every bulk state induces a boundary state ; so for instance, the AdS-invariant bulk state induces a conformally-invariant boundary state . Obviously, the boundary states induced by quasi-free states are also quasi-free. We restrict attention to boundary states induced by bulk states constructed from locally analytic states within their domain of analyticity. The 2-pt functions of such boundary states have reasonable singularity structure. In fact, they satisfy the so-called “microlocal spectrum condition” . For the case at hand this condition states that the 2-pt function of a state has a wave front set contained in
In plain words this says that is singular at most when and are null-separated, and that the singularities are of locally-positive frequency. One may regard (3.2) as a very basic statement about the OPE structure of the theory.
For our purposes we define the algebra of local boundary observables to be the unital -algebra composed of finite sums of finite products of the smeared boundary field
where is the determinant of the induced metric on the boundary and is a suitable class of test functions. In textbook introductions to Minkowski QFT the class of test functions is usually taken to be smooth functions, and there are many good physical and mathematical reasons for this choice [47, 2]. For the purposes of holography it turns out that we need a different, strictly larger class of test functions whose precise definition is somewhat technical. The issue here is that we desire an algebra of boundary observables which is large enough to contain compactly-supported representations of bulk observables (this will be made more clear in later sections.) This requires that we consider as “test functions” not only smooth functions but also certain distributions. Since correlation functions of are themselves distributions, the observables (3.3) involve the point-wise product of distributions and care must be taken to assure that these objects are well-defined.
As described in Appendix A, wave front sets allow us to provide a precise criteria for when the point-wise product of two distributions is unique. Provided that the boundary theory 2-pt functions satisfy (3.2), the largest class of “test functions” which yield well-defined convolutions is the set of distributions on whose members satisfy the wave front set condition
In plain words this says that is a distribution whose local Fourier transform behaves like that of a smooth function in timelike and null momentum directions. Thus the convolution contains no overlapping singular directions and is unambiguous.
3.2 The case of the Poincaré chart
We now review the construction of the boundary-to-bulk
map for local observables on Poincaré AdS following closely
[28, 29, 30, 31]
– for some complementary remarks on this process see
Our goal is to compute local bulk observables in a bulk state
given only it’s boundary counterpart .
In this section we assume we have access to the 2-pt function of
everywhere on the Minkowski boundary, i.e. we have
A very intuitive way to proceed is as follows. Recall that in the bulk there exists a complete set of mode solutions to the Klein-Gordon equation. We may take these modes to have the form , where the function which contains the -dependence and may be taken to be real and satisfy as . This asymptotic behavior is as prescribed by our boundary conditions; the normalization is a convenient choice. Using these bulk Klein-Gordon mode functions we may extend the 2-pt function of into the bulk simply by “dressing” each Fourier mode in (3.5) with the appropriate :
By construction this bulk 2-pt function satisfies the equation of motion and limits to the boundary 2-pt function of . If the boundary 2-pt function is positive then so too is the bulk 2-pt function. Because we assume that satisfies the microlocal spectrum condition (3.2), it follows that the momentum integrals in (3.6) converge for spacelike-separated bulk points; for points with timelike or null separation further analysis is required.
The process of computing a bulk observation in may be regarded
within the boundary theory as an observation of . This
perspective has some technical advantages.
In this way of looking at things the goal is to show
that for each element there exists
a representative element . Taken
together the set
forms a representation of the bulk algebra of observables.
Alternatively, we can say that there exists a 1-to-1 map
which effectively constructs
a bulk state from it’s boundary value: .
This map is provided by the
This object takes one bulk argument and one boundary argument . For each bulk test function we associate a boundary test function via
By construction the kernel satisfies the bulk equation of motion with respect to and is also consistent with the boundary conditions imposed on the bulk theory. Note that the kernel is a distribution and is not smooth. For fixed the bulk Klein-Gordon mode functions decay like an inverse power of as . What is important, however, is not the behavior of but that of . Because is smooth a smooth function of it follows that the defined in (3.8) is a smooth function of , so indeed . The test functions which extract bulk observables from the boundary theory are essentially as nice as can be and any globally well-defined Minkowski CFT state yields finite correlators for the set .
3.3 AdS causal wedges
Next we would like to construct a boundary-to-bulk map for a sub-region of AdS which is smaller than the Poincaré chart and likewise employs a smaller region of the boundary than the entire Minkowski space. As has been discussed by many before (see e.g., [6, 7, 23]) the natural sub-region to consider is the AdS causal wedge. Consider a spherical region of an equal-time hypersurface on :
This region has origin and radius . Let denote the future (past) domain of dependence on . Then we refer the causal domain of dependence of as a causal development :
Suppose that is a sub-region on the conformal boundary of the AdS Poincaré chart; then one may define the associated AdS causal wedge
where is the future (past) domain of influence on -dimensional PAdS – see Fig. 3. As with we say that the causal wedge has origin and radius .
The bulk region of any AdS causal wedge is isomorphic to the region
of AdS known as the AdS-Rindler wedge .
3.4 The case of the AdS-Rindler wedge
Without further ado we examine the boundary-to-bulk map for the AdS-Rindler wedge. To keep the notation light we will specialize our presentation to the case of bulk dimensions. This also allows a more direct comparison with the recent works [9, 10, 11] as well as the classic references [51, 52].
In dimensions the AdS-Rindler metric has the line element
It is useful to introduce a complete set of canonically-normalized bulk Klein-Gordon modes where . These modes are normalized such that two modes have Klein-Gordon inner product
The -dependence is contained in 
The are real, satisfy
and are normalized such that near the modes behave as
In order to satisfy (3.13) the normalization constant
must be chosen to satisfy
In this setting there are two natural vacua, each of which is locally analytic on the wedge: the usual global AdS vacuum and the AdS-Rindler (AdSR) vacuum. The latter is simply the state with zero particles in the particle basis defined by the AdS-Rindler coordinate ; it has the Wightman 2-pt function
This state induces on the boundary the Rindler (R) state whose 2-pt function is easily read off from (3.18):
Returning to the bulk, consider now the global AdS vacuum restricted the the AdS-Rindler chart. As is well-known, on this chart the global AdS vacuum satisfies the KMS condition with inverse temperature (in natural units):
Using standard thermal field theory techniques it is easy to deduce from this expression that the global AdS 2-pt function may be written
This state induces the usual Minkowski vacuum state
on the boundary:
Like in the bulk is a KMS state with . From the expressions above one may easily verify the local analyticity of these states.
We can establish a map just as we did for the Poincaré chart. The mapping kernel is easily constructed from the bulk Klein-Gordon modes:
where . As we will see momentarily, the Klein-Gordon modes can grow as and so must be regarded as a distribution. Formally constructs a boundary test function for every bulk test function as in (3.8). However, recall from the discussion in §3.1 that boundary test functions yield well-defined observables only if they are members of the class . Also recall that only if satisfies the wave front set condition (3.4). Thus our task is to determine if the constructed using have wave front sets which satisfy (3.4).
We can accomplish this by examining the behavior of the Fourier transforms in AdS-Rindler coordinates. Of course the AdS-Rindler chart is not a locally-flat coordinate chart like the charts involved computing wave front sets, but nevertheless we may infer from the AdS-Rindler Fourier transform sufficient information to determine if . To start consider a bulk test function
Because is smooth it follows that it’s wave front set it empty and we may convolve with . The resulting associated boundary test function has the AdS-Rindler Fourier transform
We wish to determine the behavior of at large , and for this we need to know the behavior of as in a given direction in momentum space while , are held fixed. Examining the equation of motion governing one may readily see that this limit corresponds to the limit where the effective mass-squared term becomes large in magnitude. In this regime the asymptotic form of may be reliably computed using the WKB approximation. We carry out this analysis in Appendix C. For we obtain the asymptotic form
When along a null direction there is qualitatively similar behavior, i.e. is bounded by a power of , with oscillatory dependence on . Finally, for we obtain the asymptotic form
where is a finite constant independent of . This expression diverges most strongly as , and from this behavior we bound in this regime by
with another finite constant independent of . Taken together, these results show that the AdS-Rindler Fourier transform decays faster than any power as along timelike and null directions (in AdS-Rindler coordinates). This is sufficient to determine that the wave front set of satisfies the condition (3.4), and thus that .
Of course we do not need fancy wave front set arguments to show that the boundary observables have well-defined correlation functions for physically reasonable states. One may obtain the same conclusion by direct computation, e.g. by examining the correlators of and . Consider the correlator
Using the asymptotic formula for the Gamma function (C.14) we readily obtain the limits
with finite constants . Combining this with the the asymptotic behavior of the Klein-Gordon modes (3.27), (3.28) we see that the Fourier transform of converges absolutely. The story is quite the same for the Minkowski vacuum whose 2-pt function Fourier transform differs only by the addition of a factor . The story is also the same for states constructed from by acting with as well as states constructed from by acting with .
The goal of this work has been to understand in a precise way how “bulk information” is encoded in the boundary CFT using the simple example of an AdS Klein-Gordon field as a case study. In particular we have been interested in quantifying the information available to a boundary observer with access limited to a sub-region of the boundary. It is useful to describe our results in terms of three processes: reading, writing, and storing information. In §3 we showed that an observer with access to the observables within domain of dependence on the boundary may reconstruct all bulk observables contained within the associated AdS causal wedge anchored to . We say that this observer may read the information of the bulk algebra of observables . Any observer with access to a boundary domain whose associated causal wedge contains an observable may read . This set of boundary domains has no mutual overlap. So, while the information of may be read from several boundary domains, it is inappropriate to say that this information is stored in any of them – see again Fig. 1.
The ability of a boundary observer to write bulk information is
encapsulated in the holographic form of the Reeh-Schlieder theorem:
Let be an AdS causal wedge with conformal boundary . Let be locally analytic on and let be it’s boundary value. Then the linear spans of the sets of states
By now the reader is familiar with the implications of this statement. It we consider the case where is the AdS vacuum then the set spans the set of finite-particle states, or more generally the set of finite energy-density states which may be constructed from our bulk algebra of observables. If we instead consider the vacuum state of a causal wedge then set spans the full set of finite-particle states built atop this vacuum. Either way, the point is that the set of observables in is powerful enough to construct essentially any state consistent with the bulk semi-classical approximation. In this sense, by careful manipulation of one may write more than one can read. Another interpretation of the bulk RS theorem is that states satisfying reasonable energy conditions are have a high degree of entanglement. In holography we may exploit this entanglement to control the bulk system using only a sub-region of the boundary. We remind the reader that we are considering here just the effects of acting with normalizable excitations at the boundary.
At first glance our formulation of the Reeh-Schlieder theorem appears somewhat weaker than that of Minkowski QFT found in textbooks [2, 47]. In textbook accounts the RS theorem states the the set of states generated from the vacuum by a sub-set of the observable algebra is dense on the Hilbert space. Our theorem is phrased in terms of linear spans of sets of states generated by a -algebra. The added power of the textbook theorems comes from additional technical assumptions about the Hilbert space which follow from, e.g., adopting the Wightman axioms as in the original work  or some suitable generalization for curved spacetimes . We feel that our phrasing gets to the point of the RS theorem without boring the reader with too many technical details. That said, we are happy to point out a few technical assumptions of our analysis which could be violated so as to nullify our conclusions:
We consider -algebras of observables which have no norm. Using these algebras we cannot generate an infinite particle state from a state with finitely many particles, nor can we construct compactly-supported unitary operators. The latter are especially useful for avoiding the conclusions of the RS theorem. In order to describe these objects consistently one has do to more work and specify a norm for the algebras (equivalently, a norm for the Hilbert space).
We restrict attention to states which may be generated from locally analytic states. We are motivated to do so because we know that these states have well-behaved average stress-energy fluctuations. Of course one could consider other, more singular states.
It is natural to ask how our analysis might be extended to more interesting bulk geometries. To make this discussion as interesting as possible let us consider asymptotically-AdS wormhole geometries [53, 54, 55, 56, 57], an example of which is depicted in Fig. 4. These geometries have regions of the bulk with no causal contact with the boundaries. We continue to operate within the semi-classical approximation where we have a known, fixed bulk geometry and would like to recover the bulk observables of a bulk scalar field given only it’s boundary correlation functions. First consider recovery for bulk observables in the regions exterior to the wormhole (the white regions in Fig. 4). Given our analysis of bulk-to-boundary maps in exact AdS, along with the many excellent previous works on this subject [28, 29, 30, 31, 32, 33, 34, 35, 36], we see no credible obstacle to constructing such a map between a suitable algebra of boundary observables and the algebra of bulk observables restricted to these exterior regions. But such a map does not tell us about the quantum state beyond the horizon; for this we need additional ingredients.
Recently some works [58, 59] which consider asymptotically-AdS black holes have advocated analytic continuation as a possible tool for extending a state defined in the exterior region to the region past the horizon. Our concern with this approach is that such an analytic continuation does not necessarily provide the unique extension of a state. As we mentioned when discussing locally analytic states in AdS, it is very rare to have a unique notion of analytic continuation for quantum states. Even in AdS very few states could be called analytic from any reasonable perspective. Leaving aside their distributional aspects, the correlation functions of typical well-behaved quantum states are at best smooth, and there exist many ways to extend a smooth solution to a local equation of motion from a given domain into it’s causal complement. In this respect we sympathize with : proving the existence of a smooth extension of correlation functions past the horizon is not the same thing a showing that the physical state in question corresponds to this extension.
Perhaps a more promising approach is to take advantage of the
additional information available to us if we have access to a complete
Cauchy surface of the boundary theory. In this case we have access
to any global charge of the bulk theory which satisfies a Gauss’ Law
type conservation law.
As has been emphasized by many before
[61, 62, 63, 64, 65],
theories with dynamical gravity and stringy excitations necessarily
have such charges, including the bulk gravitational Hamiltonian.
Within the semi-classical setting one can imagine toy
quantum field theories on AdS wormhole geometries
for which there exist enough Gauss’ law-type charges to completely
determine the bulk quantum state. It would be very interesting
to study such models in detail.
We thank Madeline Anthonisen, Robert Brandenberger, Daniel Kabat, Alex Maloney, Guy Moore, Matthew Roberts, Vladimir Rosenhaus, and Aron Wall for useful conversations.
Appendix A Wave front sets
In this appendix we provide a brief introduction to the wave front set of a distribution, following closely the standard reference  as well as the introduction contained in . We denote the set of smooth functions on a manifold by and the corresponding dual space of distributions . We are interested in characterizing the singularity structure of a distribution . For the moment we consider . We denote the Fourier transform of by , and we refer to the dual variables of the Fourier transform as position and momentum respectively.
The most basic measure of singularity in position space is the singular support of , denoted , which is the set of points in having no open neighborhood to which the restriction of is a smooth function. The singular support describes where in position space a distribution is singular, but in no way describes “how” it is singular.
We may also describe the singular nature of a distribution in momentum space. Recall that the Fourier transform of a smooth function decays faster than any power law at large momenta:
for some finite constants .
Unless is in fact induced by a smooth function will
fail the bound (A.1) in some directions of momentum space.
We may thus define the singular cone of , denoted ,
as the conic set
N every direction is effectively problematic at a given point . In order to determine which singular directions are the culprits of a given singularity we need a more refined, local notion of the singular directions at a given point. A basic property of the singular cone is that
This gives us a natural way to define the cone of singular directions at a point :
We call the pair a singular directed point of if and . The set of singular directed points of is it’s wave front set:
The wave front set of a distribution is
The wave front set is a conic set with respect to the momentum variable. The projection of in position space is ; the projection of in momentum space is . The wave front set cannot be enlarged by convolution with a smooth function,
or by a derivative operator :
The Dirac delta function on has the wave front set
The wave front set provides a precise criteria for when the point-wise product of a pair of distributions is well-defined (cf. Theorem 8.2.10 of ). The point-wise product of two distributions , is uniquely defined unless there exists a singular directed point such that and . Roughly speaking, this criteria states that the convolution of distributions unambiguously defines a new distribution so long as singular directed points of do not overlap in convolution.
We have been discussing the wave front set which describes the failure of a distribution to be smooth. One can similarly define an analytic wave front set () which describes the failure of a distribution to be analytic. For details see . Obviously, .
The wave front set generalizes quite easily to distributions on manifolds. To see this note that both the singular support and the singular cone at are locally defined, and thus the wave front set is a local concept. It can be shown that the wave front set transforms covariantly under diffeomorphisms. Taken together these properties indicate that the wave front set is properly thought of as a conic subset of the cotangent bundle, i.e. . The properties of the wave front set described above for above hold as well for , , where is an arbitrary manifold. Further details of wave front sets for distributions on manifolds may be found in, e.g., [67, 45, 68].
Consider a CFT on . The 2-pt function of a scalar CFT operator of weight with respect to the CFT vacuum is given by
with the prescription . The wave front set of this 2-pt function is
The closed forward lightcone is defined below equation (2.9).
Appendix B An example transformation to an AdS causal wedge
In this Appendix we give an example of the bulk diffeomorphism (boundary conformal transformation) which establishes an AdS-Rindler chart on an AdS causal wedge. Although the procedure is the same in all bulk dimensions the notation is least cumbersome if we restrict to bulk dimensions.
Recall that AdS may be defined as the single-sheet hyperbaloid of radius in a embedding space
The embedding coordinates provide a very useful way of relating AdS coordinate charts. The Poincaré chart (2.1) may be related to the embedding coordinates via