On the reconstruction of Lifshitz spacetimes

Journal of High Energy Physics, Mar 2016

Abstract We consider the reconstruction of a Lifshitz spacetime from three perspectives: differential entropy (or ‘hole-ography’), causal wedges and entanglement wedges. We find that not all time-varying bulk curves in vacuum Lifshitz can be reconstructed via the differential entropy approach, adding a caveat to the general analysis of [1]. We show that the causal wedge for Lifshitz spacetimes degenerates, while the entanglement wedge requires the additional consideration of a set of boundary-emanating light-sheets. The need to include bulk surfaces with no clear field theory interpretation in the differential entropy construction and the change in the entanglement wedge formation both serve as warnings against a naive application of holographic entanglement entropy proposals in Lifshitz spacetimes.

A PDF file should load here. If you do not see its contents the file may be temporarily unavailable at the journal website or you do not have a PDF plug-in installed and enabled in your browser.

Alternatively, you can download the file locally and open with any standalone PDF reader:


On the reconstruction of Lifshitz spacetimes

Accepted: March On the reconstruction of Lifshitz spacetimes Simon A. Gentle 0 1 3 Cynthia Keeler 0 1 2 0 Blegdamsvej 17 , DK 2100, Copenhagen , Denmark 1 Los Angeles , CA 90095 , U.S.A 2 Niels Bohr International Academy, Niels Bohr Institute, University of Copenhagen 3 Department of Physics and Astronomy, University of California We consider the reconstruction of a Lifshitz spacetime from three perspectives: di erential entropy (or `hole-ography'), causal wedges and entanglement wedges. We nd that not all time-varying bulk curves in vacuum Lifshitz can be reconstructed via the di erential entropy approach, adding a caveat to the general analysis of [1]. that the causal wedge for Lifshitz spacetimes degenerates, while the entanglement wedge requires the additional consideration of a set of boundary-emanating light-sheets. The need to include bulk surfaces with no clear eld theory interpretation in the di erential entropy construction and the change in the entanglement wedge formation both serve as warnings against a naive application of holographic entanglement entropy proposals in AdS-CFT Correspondence; Gauge-gravity correspondence; Holography and - condensed matter physics (AdS/CMT) 1 Introduction 2 3 4 5 6 3.1 3.2 4.1 4.2 5.1 5.2 Geodesics in Lifshitz spacetime Reconstructing bulk surfaces Causal wedge degeneration Causal wedges in AdS spacetimes Causal wedges in Lifshitz spacetime The entanglement wedge Entanglement wedge in AdS3 Entanglement wedge in Lif3 Discussion Holographic holes and di erential entropy A Lifshitz failure of the di erential entropy reconstruction A A useful null congruence 1 Introduction Holographic dualities purport to map eld theories to gravitational systems in higher dimensions. The rst examples of holographic duality mapped conformal (relativistic) eld theories in d spacetime dimensions to (d + 1)-dimensional Anti-de Sitter space. Interest in using the power of holography, as a strong-weak duality, for applications in condensed matter physics has driven extensions of holographic dualities to non-relativistic eld theories. If these maps are actually dualities, then they should run in both directions: that is, we should be able to reconstruct bulk information from boundary data, in addition to computing boundary quantities from bulk physics. In the AdS context, boundary entanglement entropies have been successfully used to reconstruct information about the bulk spacetime metric. The work of this paper will be to extend AdS reconstruction schemes to Lifshitz spacetimes. Initial approaches to spacetime reconstruction concentrated on rebuilding eld pro les on top of a xed background; for example, via the smearing function [2]. This smearing function, which takes normalizable boundary information and outputs the bulk eld pro le, requires a momentum cut-o , limiting its locality, in both black hole spacetimes [3] and non-relativistic spacetimes including Lifshitz spacetimes [4, 5]. { 1 { metric from boundary data include [11{14]. Additionally, the `hole-ography' [15] and differential entropy [1, 16] approaches reconstruct the length of a bulk curve from a family of boundary entanglement entropies. As the entanglement entropy is de ned in terms of the density matrix for a boundary subregion, it is natural to ask what bulk region is reconstructible from this density matrix [17{19]. Two regions to consider are the `entanglement wedge' [19] and the `causal wedge' [18], the latter of which additionally de nes the causal holographic information surface. The entanglement wedge is the causal development of the bulk slice bounded by the extremal surface used to compute entanglement entropy and the boundary subregion itself. The causal wedge, on the other hand, depends purely on causal relations: it is the intersection of the bulk past and bulk future of the boundary domain of dependence of the boundary subregion. The particular class of non-relativistic eld theories whose dual we will study are those while t ! obeying Lifshitz symmetry. Under this symmetry, time and space scale di erently: x ! x zt, where z is referred to as the dynamical exponent. The dual spacetime, termed Lifshitz spacetime, was proposed in [20, 21] and has been studied intensively since (see [22] for a recent review). In this paper we consider the reconstruction of a Lifshitz spacetime from three perspectives: di erential entropy, causal wedges and entanglement wedges. Since entanglement-based spacetime reconstruction schemes often rely upon the RyuTakayanagi proposal and its covariant generalization, let us pause to consider its application to Lifshitz spacetimes. Most authors have assumed these proposals apply to spacetimes with non-relativistic duals; for example, see [23{30] (and also [31, 32]). For vacuum Lifshitz spacetime, the induced metric on a constant time slice cannot be distinguished from a constant (Poincare) time slice in AdS; this means that any result con ned to a constant time slice in vacuum Lifshitz will be as if the dynamical exponent z has been set to one. See [24, 33{36] for a sample of entanglement entropy calculations in Lifshitz eld theories. The simplest way to probe the dynamical exponent is to consider the entanglement entropy of a boundary region not on a constant time slice. However, given both the lack of conformal boundary in a Lifshitz spacetime and the even more important lack of a physical interpretation for a boundary region of non-constant time in a non-relativistic eld theory, this approach cannot provide eld theoretic justi cation for the covariant holographic entropy proposal in Lifshitz spacetimes. Even for boundary regions on a constant time slice, where the dependence on z is introduced via a non-zero temperature black brane setup or some other asymptotically Lifshitz solution, comparison with eld theory results is di cult. Lifshitz eld theories have less symmetry than conformal eld theories, so many of { 2 { the eld theory entanglement entropy calculation techniques do not work in this context. Of course this di culty highlights the importance of having a holographic entanglement calculation method, while also making such a method hard to verify. For the body of this paper, our approach will also be to treat the RT and HRT entanglement entropy proposals as applicable to Lifshitz spacetimes. However, as we discover in section 5 and discuss further in the conclusions, the peculiar nature of light-sheets in Lifshitz spacetime actually alters one of the justi cations for the covariant entanglement entropy proposal. There are two major di erences between Lifshitz spacetimes and AdS that will underlie our bulk reconstruction di culties. First, only purely radially-directed light rays in Lifshitz reach the boundary. Any light ray with nonzero momentum in a spatial direction will instead reach a turning point and then return to the bulk. This feature will complicate both curve reconstruction via di erential entropy and the construction of the entanglement wedge. The second major di erence is the degeneracy of the Lifshitz boundary. Unlike in AdS, Lifshitz does not have a conformal boundary; the metric on the boundary is degenerate. This degeneracy means the boundary domain of dependence collapses, due to the nonrelativistic nature of the boundary. Since it is non-relativistic, the e ective speed of light is in nite, so any point in the spacetime can be a ected by any point at an earlier time, regardless of its location in space. In fact, since the boundary is non-relativistic, we expect a metric-complex instead of a boundary metric. This vielbein approach to de ning the boundary has been successful for holographic renormalization in non-relativistic duals [37{ 46]. Of course, we can avoid these issues if we work at a cut-o . However, we expect that removing the cut-o will result in degeneration of the causal wedge; this is in fact the behavior we see in section 4. This paper is organized as follows. In the following section we collect conventions and simple observations about Lifshitz spacetimes that will be useful throughout our discussion. In section 3 we obtain partial success in the reconstruction of bulk curves via the di erential entropy approach. We discuss the details of the relationship between curves that are not reconstructible and light rays that turn around in Lifshitz in appendix A. Section 4 studies the degeneration of the causal wedge, while in section 5 we construct the entanglement wedge. Section 6 contains discussion of our results and speculations about how to better reconstruct a spacetime dual to a Lifshitz eld theory. 2 Geodesics in Lifshitz spacetime We work with the Lifshitz metric ds2 = L 2 dt2 u2z + dx2 u2 + du2 u2 (2.1) where the boundary is at u = 0. Although we will work almost entirely in three dimensions, the majority of our results will hold when dx2 is replaced by d~x2. This metric coincides with AdS3 in Poincare coordinates when z = 1. We will only consider z 1 as this restriction satis es the null energy condition [47]. As in AdS, L sets { 3 { ` Ve(0)(u) < 0 for di erent values of z: 1 (blue), 3/2 (yellow), 2 (green), 3 (red) and 10 (purple). HJEP03(216)95 the scale for the radius of curvature of the geometry, though we will set this to unity from now on for simplicity. In section 3 we will demand that the x direction is periodic with period . e ective potential as follows: The radial motion of geodesics in the geometry (2.1) (with L = 1) is governed by an u_ 2 = V e( )(u) u2 + E2 u2(z+1) P 2 u4: A dot denotes derivative with respect to an a ne parameter and = 1; 0 or spacelike, null or timelike geodesics, respectively. The conserved quantities E and P are P=E: u_ 2 = In section 3 we will be concerned with spacelike geodesics and the reconstruction of bulk curves. transverse momentum ` In section 4 we will focus on null geodesics. Beginning with the general geodesic equation (2.2), we set = 0, rescale the a ne parameter by E and introduce the (rescaled) t_ = u2z; Ve(0)(u) u4(u2(z 1) `2) ; x_ = `u2: (2.5) As pointed out in [4], light rays with transverse momentum do not reach the boundary in Lifshitz spacetime. This phenomenon is manifested by a bump in the potential V (0)(u) near the boundary for any non-zero `. Classical geodesic motion must obey u_ therefore can only take place in regions for which V (0)(u) 0, i.e. for u j j ` 1=(z 1). The e boundaries of these regions for di erent values of z are plotted in gure 1. By contrast, light rays reach the boundary of an asymptotically AdS spacetime if `2 1 (using the same 2 e 0 and conventions). For large z, spacetime e ectively cuts o below u = 1 as far as null geodesics with ` 6= 0 are concerned. This is apparent even at z = 10 for the purple curve in gure 1. t_ = Eu2z; x_ = P u2: { 4 { (2.2) 1 for (2.3) (2.4) Since Lifshitz spacetime becomes AdS2 RD 2 as z ! 1, this behavior is expected. Light rays with non-zero momentum in the at directions are headed towards the at space's asymptotic in nity instead of the conformal boundary of AdS2. 3 Reconstructing bulk surfaces Consider a bulk surface not anchored on the boundary of a holographic spacetime. Assuming this bulk surface is not a horizon, what is its boundary interpretation? Can it be reconstructed from boundary observables? In this section we address these questions for Building on the work of [15, 16], a general proof relating the surface area of a generic class of bulk surfaces to the `di erential entropy' of a particular family of boundary intervals was given in [1]. These boundary intervals are chosen so that the extremal surfaces that calculate their holographic entanglement entropy, via the HRT conjecture, are tangent to the bulk surface whose area is being computed. In section 3.1 we review this construction and consider an explicit example in Lifshitz spacetime. However, despite the success of section 3.1, not all curves in Lifshitz spacetime can be constructed via di erential entropy, as we exhibit explicitly for a family of bulk curves in section 3.2. For these curves, there are some regions where no tangent extremal surface can reach the boundary. The situation is reminiscent to that found in [48], which showed that spacetimes with holographic screens, such as black hole spacetimes, must contain bulk curves beyond said screens that are not reconstructible via the `hole-ography' or di erential entropy approach. 3.1 Holographic holes and di erential entropy For simplicity we begin our discussion in Poincare AdS3, given in (2.1) with z = 1. In this section we take the x direction to be periodic with period . Consider a closed bulk curve B( ) that is not anchored on the boundary. This must respect the periodicity in x and we insist that its tangent vector be everywhere spacelike, but otherwise it can be arbitrary. In particular, it need not be extremal. Its area, or `gravitational entropy', is given by the Bekenstein-Hawking formula: SG 1 where a prime denotes di erentiation with respect to . The construction of [1] is built around a family of boundary intervals with endpoints described by the two curves m( ) (where m 2 ft; xg). These curves depend periodically on the parameter such that the intervals cover a full period of x as varies in [0; 1]. Although each interval must lie on a boundary Cauchy slice, they need not all lie on the same one. From the curves m( ), we construct a continuous family of bulk spacelike geodesics (s; ), where labels the geodesic and s is a parameter (not necessarily a ne) along it. The endpoints of geodesic are anchored on the boundary at m( ). As in { 5 { HJEP03(216)95 the HRT prescription, if there is more than one geodesic anchored at a particular pair of boundary endpoints, we take the shortest such geodesic. The di erential entropy of this family of boundary intervals is de ned by SD 0= : In this formula, S[ ( ); +( )] is the entanglement entropy associated with the particular boundary interval at . This is given holographically by [8] as the length (divided by 4GN ) of the bulk spacelike geodesic (s; ). We have suggestively used to parametrize both the bulk curve B and the family of boundary intervals described by the boundary curves m, because, as proven in [1], the gravitational entropy and the boundary di erential entropy are the same. That is, SG = SD if we demand that the geodesics (s; ) are tangent to the bulk curve B( ) at some s = sB( ). This requires where a dot denotes di erentiation with respect to s. Before we proceed, note that [1] generalized this result; for example, by relaxing the condition (3.4) to allow the tangent vectors to be oppositely-oriented or not even collinear. In our simple example we will take ( ) > 0. The work in [1] also extends to a variety of other backgrounds that possess planar symmetry, including Lifshitz spacetime.1 boundary-anchored extremal curves The relationship between the lengths of the m( ) and the length of the bulk curve B is clearly preserved in Lifshitz spacetime. However, in order to actually relate the di erential entropy to the gravitational entropy, we require that the entanglement entropy in the boundary theory is still computed holographically by [8]. It is not clear that this is the case for Lifshitz spacetime; for instance, the interpretation for the length of a bulk spacelike geodesic with endpoints at di erent times is unknown. The purpose of this section is to demonstrate the extent to which the geometric construction still goes through, regardless of the entropic interpretations, whilst also highlighting the di erences between a Lifshitz and an asymptotically AdS spacetime. Now we turn to Lifshitz spacetime (2.1) with z > 1. Consider a bulk curve that sits at a xed radius u = u? but varies in time and respects the periodicity in x. We parametrize this curve by B( ) = fT ( ); B(0) = B(1) : ; u?g with 2 [0; 1] ; (3.5) (3.6) 1One can also extend the result to include spacetimes in higher dimensions with a generalised notion of are replaced with strips. We consider three bulk dimensions for simplicity. We need a continuous family of bulk spacelike geodesics that begin and end at the boundary u = 0 in order to construct the di erential entropy. The equations we must solve are (2.2), (2.3) and (2.4). It is convenient to parametrize the spacelike geodesics via the radius u. Consequently, we nd pairs of functions t (u) and x (u) that describe the two halves of a geodesic, one on each side of its radial turning point. These two halves must match smoothly at the bulk curve B( ) so that the resulting geodesics are tangent to the curve, i.e. so (3.3) and (3.4) are satis ed.2 The matching point between the two portions of the geodesic is where it touches the bulk curve, at u = u?. From (3.3) we have This is also the turning point of the geodesic, where t (u?) = t+(u?) = T ( ) ; x (u?) = x+(u?) = : u_ ju=u? = 0 ) V e ( =1)(u?) = 0 : _ t x_ u=u? = E u?2(z 1) P = The ratio t_=x_ is xed in terms of the geodesic's conserved quantities E and P via (2.3) and (2.4): where we have applied the second tangency condition (3.4) for the right hand equality. We also note that the spacelike condition (3.7) on the bulk curve can now be rewritten as Since we want the bulk curve to be spacelike, its tangent vector must be everywhere spacelike: We can immediately write down length of this curve: SG = 1 4GN 0 d s That is, a bulk curve at constant radius u? with a tangent geodesic having conserved quantities E; P is spacelike as long as the bulk curve is located at a radius smaller then the maximum in (3.13). Since the bulk curve's tangent geodesics could have di erent conserved quantities at di erent tangent points, the maximum possible radius is set by the smallest P=E attained along the entire bulk curve. 2Note that in the case of E = 0 the geodesic is restricted to lie on a constant-time slice. In this case the problem is identical to that studied in section 2.3 of [1] (in fact, for any z). This geodesic will also be useful later in sections 4 and 5. u?2(z 1) < E2 (3.7) (3.8) (3.9) (3.10) (3.11) (3.12) (3.13) where = 1. Comparing this result with (3.4) we identify E = P = ( ) uz ? q 2 u2?(z 1) q 2 u2?(z 1) = 1 so that the orientation of the two tangent vectors _ and B0 agree at From here on we restrict to z = 2 for which we can solve the equations (2.2), (2.3) and (2.4) analytically. The turning point in this case satis es 1 P 2u2? + E2u4? = 0 ) u? = pP 2 p 2E 4E2 : Here we have chosen the smallest positive root because we require boundary-anchored geodesics, as we will explicitly demonstrate below. This root is real as long as the bulk curve's tangent geodesics have P 4 4E2 0. However, choosing the smallest positive root does have a consequence: the maximum turning radius we can produce from this smallest root is 2 u?;max = 2E2 : The astute reader will notice that this maximum radius is smaller than the maximum in (3.13). Regardless, we now impose the smaller maximum, and show that reconstruction works for bulk curves whose tangent geodesics and radius satisfy u? u?;max. We will return to the case of larger radius in section 3.2 below. The solutions that satisfy the matching conditions (3.9) and (3.10) are given by t (u; ) = T ( ) t 1 p 1 Moving forward, we evaluate E; P using the chain rule and taking the limit u ! u?: 2E P 2E 2E 2E log 2E 4E2 2E 4E2 : ; P 2u2 + E2u4) ; P 2u2 + E2u4) : x (u; ) = x where we have de ned 3The opposite choice is perfectly valid. In that case the di erential entropy computes the `signed length' of the curve: (3.1) supplemented with sgn [1]. { 8 { m = fT ( ) t; xg : As in an asymptotically AdS spacetime, the length of such a boundary-anchored geodesic diverges in Lifshitz spacetime. We introduce a simple radial cut-o at u = " to regulate this divergence: As we can see from these explicit expressions, these geodesics do indeed reach the boundary u = 0. In fact, from the endpoints at u = 0 we can read o the family of boundary intervals necessary to reconstruct the bulk curve: L 2 Z u? " = log = log p in (3.2). It is useful to rewrite this as where we used (3.17) to obtain the nal line. It is not clear how to interpret the length of this geodesic in the dual eld theory. As mentioned earlier, when E = 0 we simply recover the AdS result, so it is tempting to identify this as the entanglement entropy a la Ryu-Takayanagi. This independence from z is a bit surprising in itself. There is some supporting evidence from calculations featuring Lifshitz symmetry: both [33] and [24] recover an area law, though the former observes an additional sub-leading divergence. However, these two di erent setups both have more symmetry than we do. Even aside from this possible concern, we are left with a further question: when the interval (3.23) does not lie on a constant-time slice, what are we computing? We do not have a physical understanding of this boundary quantity. For both of these reasons, it is still unclear what is the meaningful entanglement entropy calculation in a Lifshitz eld theory. For now we simply assume that the length of this geodesic computes the entanglement L=(4GN ). We will see that the regulatory cut-o drops out in (3.23) (3.24) (3.25) (3.26) (3.27) HJEP03(216)95 Z 1 0 d 0= = Z 1 0 d We know S(E; P ), but would need to invert (3.21) and (3.22) to obtain S( ; +). However, since we only need its derivative in (3.26), we can use the chain rule and implicit di erentiation. From translation invariance in t and x we can express the length as S( t; x). We evaluate the partial derivatives the hard way using (3.25), (3.21) and (3.22): We now have all the ingredients we need to evaluate the di erential entropy, de ned E 4GN = P 4GN : and { 9 { Our results seem surprisingly simple at rst. However, as pointed out in the proof given by [1], the simple explanation is that these are the Hamilton-Jacobi equations from S = L=(4GN ). We now use (3.14) and (3.15) to express our derivative as a function of : d E 4GN d d +t + P d +x 4GN d = 1 1 4GN u2 ? The total derivative term drops out of the integral in (3.26) due to the periodic bound B( ). Thus, we do indeed recover the length, or gravitational entropy (3.8), of the bulk curve. In conclusion, the di erential entropy construction worked just as in asymptotically AdS spacetime, despite the lack of eld theory interpretation for the length of a geodesic with endpoints at di erent times. Furthermore, the cut-o we introduced dropped out. Whilst we considered the simplest non-trivial example of a time-dependent curve, the general result of [1] will still hold for some more general bulk curves. However, in the following section we will see that there exist curves for which it does not. In [1] it is also claimed that the bulk curve emerges from the intersection of neighboring entanglement wedges. We will comment on this in the context of Lifshitz spacetime in section 6. 3.2 A Lifshitz failure of the di erential entropy reconstruction Despite the success of the di erential entropy construction for curves at the constant radii given in (3.17), we will now show that some bulk curves cannot be built in this manner, because the extremal surfaces necessary to do so never reach the boundary. Thus, they have no endpoints on the boundary and cannot trace out boundary curves from which to de ne the di erential entropy. The simplest such bulk curves are as above: they have constant radius but can vary in time as we move along the x direction, as long as they stay spacelike. We again want to nd a family of spacelike geodesics tangent to the curve, necessarily at the radial turning points of the geodesics. To be speci c, equations (3.5) through (3.15) still apply. However, as we highlighted above, in the case of z = 2 the maximum radius bulk curve we can describe using the smallest positive root in the turning point condition is (3.18), while requiring the bulk curve to be spacelike only necessitates (3.13). There is a mismatch here: what about bulk curves of constant radius between P= 2E and P=E?4 Clearly there p are tangent spacelike geodesics, because (3.13) is satis ed. So what goes wrong with (3.18)? That maximum radius was found assuming we took the smallest positive root of the turning point equation for the tangent geodesic. If we instead take the larger positive root, the maximum radius now becomes just P=E. At any larger radius, a curve with tangents governed by E; P would be timelike so not within our construction. 4More properly we should translate back to the bulk curve quantities using (3.14) and (3.15), so instead we are worried about bulk curves at constant radius that have at least one tangent with P=p2E smaller than their constant radius u?. However, we chose the smallest positive root because those geodesics start and end on the spacetime boundary. A geodesic whose turning point occurs at the larger positive root instead ends at a singularity: either the tidal singularity in vacuum Lifshitz, or a black hole singularity. Importantly, spacelike geodesics that do not end on the boundary cannot participate in the di erential entropy construction. To check that geodesics whose turning points occur at larger radii than in (3.18) do not reach the boundary, we consider the concavity of the geodesic, given by u. When u < 0 at a turning point, the geodesics bends towards the boundary there. When u > 0 at a turning point, then instead the geodesics return to larger radii. To nd u at a generic turning point, we take the derivative of (2.2) with respect to the a ne parameter, nding where we have restored general z. Next, we use the turning point equation u_ = 0 to eliminate either E or P from the expression u < 0. We nd u2? < u2?z < (z (z z 1 1)P 2 1)E2 : u?2;(mzax1) = P 2 zE2 : (3.29) (3.30) (3.31) (3.32) Of course these are actually the same maximum possible u?;max, just expressed in a di erent way. Consequently, although earlier we only exhibited the mismatch for z = 2, we now see the maximum radius for boundary-anchored spacelike geodesics for general z obeys Again, spacelike curves with E; P exist up to u? satisfying (3.13), but for these larger radii their tangent geodesics never reach the boundary. This failure of the di erential entropy reconstruction is reminiscent of that shown in [48]. The authors proved that spacetimes with certain types of `holographic screens' contain bulk surfaces that cannot be reconstructed via this hole-olography approach (even though extremal surfaces can reach the bulk surfaces in question). As we exhibit in appendix A, Lifshitz spacetime contains surfaces similar to holographic screens; these surfaces, caused because light rays with non-zero momentum turn around in Lifshitz spacetimes, are in fact indicative of the explicit failure we have just shown. Our situation is actually slightly worse than that shown in the horizon-having spacetimes of [48]. In Lifshitz spacetime, by choosing a spacelike curve whose tangent somewhere has arbitrarily small P=E, we can draw a bulk spacelike curve arbitrarily close to the boundary whose tangent geodesics will never reach the boundary. There are non-reconstructible constant radius bulk curves everywhere in the spacetime. 4 Causal wedge degeneration In this section we consider a construction based on a proper subset of (a Cauchy slice of) the boundary: the causal wedge. Consider rst an asymptotically AdS spacetime and focus on a spacelike co-dimension one boundary region A with boundary domain of dependence A is the intersection of the causal past and the causal future of bulk is generated by null geodesics that end on the boundary of A A. The bulk causal wedge A. Its boundary in the . Given the knowledge of the reduced density matrix in A, it was argued in [18] that one should be able to reconstruct at least the corresponding bulk causal wedge in the dual spacetime In an asymptotically AdS spacetime, we only have to send null geodesics from the future- and past-most tips of A in order to obtain a wedge that is a closed subset of the bulk. As mentioned in the introduction, the boundary and causal structures of Lifshitz spacetime di er from those in AdS, so we will have to modify the above de nitions First let us review the simple example of the causal wedge in Poincare AdS3. The relevant equations are (2.5) with z = 1. We choose our boundary region A to be an interval of width 2a on a time slice: A = f(t; x) j t = 0; jxj ag. The boundary domain of dependence associated with this region is A = (t; x) jtj a x; x 2 [0; a] [ (t; x) jtj a + x; x 2 [ a; 0] : (4.1) The future boundary @+( A) of the causal wedge is given by null geodesics sent from the future tip of A at (t; x) = (a; 0). The result is x2; t 2 [0; a]; jxj a : (4.2) t. These two null surfaces intersect at the t = 0 slice in the bulk. The causal wedge itself is the entire bulk region sandwiched between (and including) these surfaces (the past and future Rindler horizons) The past and future boundaries of the causal wedge intersect at a bulk co-dimension two surface called the causal information surface A [18]. In the previous example, this coincides with the spacelike geodesic anchored at the endpoints of A. For a spacetime that is only asymptotically AdS, this is not true in general. In fact, for spacetimes satisfying the null energy condition it can be shown that an extremal surface anchored on the same @A must lie outside (or on the boundary of) the causal wedge [18, 49, 50]. This issue is more complicated in Lifshitz spacetime, as we will see. 4.2 Causal wedges in Lifshitz spacetime Now we turn to Lifshitz spacetimes (2.1) with z > 1. As mentioned in section 1, such spacetimes do not have a conformal boundary in the usual sense. Our prescription is to cut o the spacetime at a slice of constant radius fu = "g. We can de ne a domain of dependence on this cut-o surface for any non-zero " and we make the minimal modi cations necessary to all other de nitions. The purpose of this section is to study the resulting causal wedge and explore what happens as we remove the cut-o . HJEP03(216)95 the causal information surface A in Poincare AdS3. We x the interval width 2a = 2 and also show A (given by (4.2) with t = 0). regulated boundary domain of dependence " at u = " via We continue to focus on an interval A = f(t; x) j t = 0; jxj A ag, but now we de ne a ing (2.5), we must therefore solve "A = (t; x) jtj " z 1(a x); x 2 [0; a] [ (t; x) jtj " z 1(a + x); x 2 [ a; 0] : (4.3) A future- and past-most tips are located at (t; x) = ( a "z 1; 0), respectively. For The boundaries of this region are null geodesics of the induced metric on fu = "g.5 The xed interval width 2a, note that " attens as " is lowered, as demonstrated in gure 3. This is a consequence of the non-relativistic causal structure at the boundary, wherein the causal past of a point (or spatial region) includes everything in its past. We de ne the bulk causal wedge Lifshitz spacetime to be the in tersection of the causal past and the causal future of " . Its boundaries in the bulk are constructed by sending null geodesics into the bulk from the boundary of A A 0 specify the distance in t; x from the center (t; x; u) = (0; 0; ") x0) and allowing x0 2 [0; a] with these sign choices moves The parameters t0 0; x0 A of " . Choosing t0 = "z 1(a us along the boundary of " . 5By de nition, these null geodesics satisfy u_ 1.0 0.5 -0.5 -1.0 -1.0 -0.5 x the interval width 2a = 2 and plot three di erent values of the cut-o ": 0:5, 0:2 and 0:1 (from the outside to the centre) in black. We show A for Poincare AdS3 in gray for comparison. Before solving these equations in general, let us focus on the simplest case of purely radial geodesics (` = 0) sent from the future and past tips of " (t0 = a "z 1, x0 = 0). The solution to (4.4) is then t(`=0)(u) = a "z 1 u z " z : These geodesics intersect the t = 0 slice (and each other) when u = u " 1 + z 1 : az z " This u is the radial extent of the causal wedge. As well as attening that lowering " sends this radial extent to zero, and so the degeneration of the causal wedge A " in time, we see is very severe. Now we present solutions for general values of t0; x0 and `: t0 x0 1 z z p`2 2 where we have de ned the function u `2 "p"2(z 1) `2 + [G(u) G(")] ; ` 2 z(z 2) [G(u) G(")] ; G(v) v 2 z 2F1 1 ; 2 2(z z 2 4 ; 1) 2 3z 2z ; `2v2 2z : (4.6) (4.7) (4.8) (4.9) (4.10) HJEP03(216)95 The expressions for z = 2 are We will see that geodesics with t+(u) generate @+( A) and geodesics with x+(u) generate ) with x 2 [0; a]. (The minus signs refer to the appropriate opposites.) Before plotting these curves to nd the boundary of the causal wedge, let us highlight a key di erence from AdS. Suppose we send null geodesics just from the future- and past-most tips of " . This is what one would do for an asymptotically AdS spacetime. A However, our discussion in section 2 implies that, for a given choice of ", null geodesics with j`j > "z 1 are classically forbidden and therefore cannot be included. In the AdS case this bound is j`j = 1 and such geodesics sent from the tips run along the boundary of This is not the case for Lifshitz spacetimes: geodesics with the maximum j`j = j`?j sent from the tips of " bend away from the cut-o surface into the bulk.6 This leads us . A "z 1 to suspect that the surfaces built from null geodesics sent from these tips will not close at the edges at fu = "g. One could be concerned at this stage that the causal past or future of these tips is ill-de ned. However, the allowed geodesics sent from these tips in the cut-o Lifshitz spacetime do indeed form (the curved surfaces of) half-cones locally. Unlike the AdS case, this is not true away from the tips. In order to build the full boundaries of the causal wedge we therefore need to include the null geodesics from the rest of the boundary of " . Speci cally, the causal wedge boundary is built from two types of null geodesic: A Type I : null geodesics sent from the future- and past-most tips of "A with 0 ` j j j`?j. Type II : null geodesics sent from other points on the boundary of "A with j`j = j`?j. (Again, in the AdS case the latter type run along the boundary of A.) Finally we are ready to present the causal wedge In gure 4 we plot an example with z = 2. This looks qualitatively similar to the wedge for Poincare AdS3 presented in gure 2, besides its height being rescaled by a factor of " z 1. However, it is clear that Type II geodesics are required in order to form a closed co-dimension zero wedge of the bulk. For di erent values of z, a and " we nd qualitatively similar wedges. To visualize the quantitative dependence on these parameters it is useful to focus on the causal information surface , which is a curve in three bulk dimensions. Whilst we have been unable to determine this curve analytically, it is straightforward to nd it numerically. For xed z, in gure 5 we see how the causal wedge degenerates as we lower the cut-o ". Note that the radial extents match the formula given in (4.7). For xed ", in gure 6 we observe the A same e ect as z is increased. 6Such geodesics have u_ = 0, u > 0 at u = ", unlike those forming "A, which have u_ iPPPPPPP 6 Type I: sent from the tips Type II: sent from the edges u A width 2a = 2 and also the cut-o " = 0:5. The central yellow section is built from light rays sent from the future- and past-most tips of the regulated boundary domain of dependence whereas the outer blue sections are built from light rays sent from its edges with j`j = j`?j (Type II). A " (Type I), A in Lifshitz spacetime with z = 2. We x the interval width 2a = 2 and nd the surface for ve di erent values of the cut-o ": 0:05, 0:1, 0:25, 0:5 and 1, from left to right. For each curve, the central yellow section is built from Type I light rays, whereas the outer blue sections are built from Type II light rays, as in gure 4. Recall that j`?j = "z 1 . Black dots mark the radial extent u in each case via (4.7). As mentioned in section 4.1, the causal information surface in Poincare AdS3 coincides with the spacelike geodesic anchored at the same endpoints. A natural question is: does this also hold for Lifshitz spacetime if we de ne a spacelike geodesic anchored on the cut-o surface? The formula for the latter is known for all z analytically because it lies on a time 0.5 -0.5 -1.0 A at various z. We x the interval width 2a = 2 and also the cut-o " = 0:5. From right to left: z = 1, 3=2, 2, 3 and 10. HJEP03(216)95 0.2 0.4 0.6 0.8 1.0 0.2 0.4 0.6 0.8 1.0 u (4.13) (4.14) 1.0 0.5 -0.5 -1.0 0.2 0.4 0.6 0.8 1.0 1.2 A for z = 2 and the spacelike geodesic (black curves) with the same endpoints. We present one example for which u? = u (" = 1=2, left) and one for which u? > u (" = 1=3, right). Black dots mark u using (4.7) and u? using (4.14). slice (i.e. it has E = 0): Its momentum P (and hence turning point u?) is determined by demanding that its endpoints are anchored at the interval endpoints x = a on the cut-o surface at u = ": P = pa2 + "2 1 ) u? = pa2 + "2 : In gure 7 we demonstrate that the answer to the above question is negative. In general the two curves have only the endpoints in common. However, for su ciently large " the turning point u? of the spacelike geodesic is less than the radial extent u . Said di erently, the causal wedge can reach further into the bulk than the spacelike geodesic anchored at the same points. This is demonstrated in gure 8. This appears to be at odds with the general result of [18, 49, 50] for an asymptotically AdS spacetime mentioned earlier. How can we resolve this? The key point is that the proof by contradiction presented in those papers does not hold when we introduce a cut-o . Unlike the boundary, the cut-o surface can be reached by a light ray from a bulk point on the causal information surface in nite a ne parameter. u? 1.4 1.2 1.0 0.8 0.6 0.4 0.2 ? u? of the spacelike geodesic as a function of the cut-o " for di erent values of z: 1 (blue), 3/2 (yellow), 2 (green), 3 (red) and 10 (purple) at xed a = 1. The ratio tends to unity as " ! 1 for xed z (and also as z ! 1 for xed "). As a result, the expansion of A can be non-negative without leading to caustics.7 We introduce a cut-o in order to de ne the causal wedge in Lifshitz spacetime, which is why we see u =u? exceed unity as we increase ". Of course, our primary interest is in removing the cut-o and in the regime of small " we recover u < u?. The area of the causal information surface in Planck units was dubbed causal holographic information A in [18]. Whilst there is no clear understanding of A from eld theory as yet,8 it was conjectured in [18] that this should provide an upper bound on the holographic entanglement entropy associated with the same region A. When spacelike geodesic lie on a constant-time slice, clearly we should have A S A and the A because the geodesic is the minimal length curve anchored at @A. The closer a curve hugs the boundary, the greater its length, so this implies u? u . But we have just seen that this latter condition is not true in Lifshitz spacetime for large ", so this is a further warning that care must be taken when applying AdS intuition to Lifshitz. Causal wedges have been constructed in asymptotically AdS solutions: for example, in Schwarzschild-AdS black holes [50] and in horizonless scalar solitons [53]. Generically, the causal wedge can have non-trivial topology and so A will be a proper subset of the t = 0 surface consisting of a number of disconnected regions [50]. Both of these examples exhibit this feature, even though the latter spacetimes are causally trivial. Note that we do not see holes in our cut-o wedges in Lif3. As argued in [50], the causal wedge cannot have non-trivial topology in three-dimensional bulk spacetimes. The higher dimensional examples mentioned above are spherically symmetric spacetimes, but this symmetry is not a necessary condition for holes. It is therefore reasonable to expect that causal wedge holes can exist in asymptotically Lifshitz solutions in higher dimensions. In conclusion, sensible causal wedges can be de ned in Lifshitz spacetime if we introduce a radial cut-o . These wedges look very similar to those found in Poincare AdS3. 7One can demonstrate this by manipulating Raychaudhuri's equation | see section 9.2 of Wald [51], for example. 8See however the interesting recent proposal of [52] and earlier attempts by [3]. enclosed by the boundary subregion A and the associated Degeneration of the causal wedge as we remove this cut-o is inevitable, in line with a non-relativistic boundary theory. The cut-o imposed here serves a qualitatively di erent purpose to the one used in section 3.1. There, a radial cut-o was introduced simply to regulate the length of a bulk spacelike geodesic. It dropped out of the construction in the end. In contrast, here a radial cut-o was required in order to de ne the causal wedge at all. 5 The entanglement wedge In this section, we construct the entanglement wedge considered in [17, 19]. The entanglement wedge is one conjecture for the most natural bulk region corresponding to the boundary reduced density matrix. Consider a boundary region A that is a subset of a boundary Cauchy slice. If the slice in question aligns with a bulk Killing vector rendering the spacetime static, we follow the Ryu-Takayanagi procedure to compute the holographic entanglement entropy for A. Otherwise, we use the covariant procedure proposed in [8]. In both cases, the holographic entanglement entropy is the (regulated) area of the extremal co-dimension two surface EA anchored at the boundary of (and homologous to) the region A. Together, EA and A enclose a spacelike co-dimension one region, which we call . This = A [ EA and an example is illustrated in gure 9. The entanglement wedge, denoted WA, is de ned to be the causal development of . In order to nd the causal development of , we begin by considering light-sheets emanating from EA. As a co-dimension two spacelike surface, we can use EA to de ne a pair of light-sheets following the construction in [54]. We build these light-sheets by nding the null geodesics at each point on EA that are orthogonal to EA. This produces four sets of null geodesics: one pair heading towards the boundary and one pair heading towards the bulk, where one of each pair is headed towards the future and one towards the past. Additionally imposing that the expansion of the null congruence associated with this set of orthogonal geodesics satisfy 0 picks out two sets of null geodesics; these two sets of null geodesics comprise the light-sheets associated with the surface EA. In the AdS case, these light-sheets from EA are su cient: the entanglement wedge is the bulk region bounded on one side by the light-sheets built from EA, and on the other by the boundary domain of dependence A of the region A. However, for Lifshitz spacetimes, the light-sheets emanating from EA do not form a closed surface; they do not reach u = 0. We must also include light-sheets coming from into the bulk from the boundary region A in order to nd the causal development of the region . For our explicit constructions, we will focus on three-dimensional bulk spacetimes; thus, the extremal surface EA will be just the spacelike geodesic whose end points coincide with the endpoints of the interval A on the boundary. Thus they will satisfy the geodesic equation (2.2) with Entanglement wedge in AdS3 We begin by studying the entanglement wedge in vacuum AdS3 for a region on a constant time slice. As before, we choose A = f(t; x) j t = 0; jxj g a . The spacelike geodesic homologous to A will also reside on a constant time slice and thus have E = 0 in the geodesic equation (2.2). It is described by the equation (4.13) with P = 1=a. Note this equation is also valid for spacelike geodesics on a constant time slice of a Lifshitz spacetime with any value of z, in addition to the AdS or z = 1 case. Next, we need to nd the null geodesics orthogonal to the spacelike geodesic in (4.13). For simplicity we will focus on the x region of the spacelike geodesic; those for the x+ region can be found similarly. Writing the tangent to the spacelike geodesic as T , and the null geodesic as n , the equations (5.1) (5.2) (5.3) (5.4) enforce nullness and orthogonality to the spacelike geodesic for the null rays. Taking the derivative of (4.13) to nd the ratio T x=T u, the second condition is solved by where us labels the point of intersection on the spacelike geodesic, and we have chosen the sign to select the light rays going towards the boundary. The nullness condition on the vector n becomes nx nu = a p1 us us2=a2 ; n n = 0 ; T n = 0 ; n t nu = a us : Note that n here tells us the null vector for a null geodesic normal to our spacelike geodesic, at a particular location labelled by the radius us of the intersection on that spacelike geodesic. The minus sign indicates light rays heading towards the boundary in the future, while the plus sign indicates those from the boundary in the past. If we wish to now follow this null ray as it continues towards the boundary, we should compute the conserved quantity ` in (2.5) and then solve the null geodesic equation, with the constraint that the null ray pass through the spacelike geodesic at radius u = us. For ` we nd x = ap1 us2=a2. These null geodesics satisfy So the conserved quantity ` for the null geodesic depends on the radial location us of its intersection with the spacelike geodesic. The null geodesics we are interested in should thus satisfy (2.5) with ` as in (5.5), and they should go through the point u = us, t = 0, ` = nx nt = p1 t = x = a a us u us u p1 us ; (5.5) (5.6) (5.7) Each future-directed light ray here passes through the extremal surface at u = us, and then heads in a straight line towards the boundary point u = 0, t = a, x = 0. Thus the future-directed rays form one quarter of a cone whose base is the semicircle of the spacelike geodesic. Including the rays that intersect with the x+ portion of the semicircle produces a half-cone whose at edge lies along the boundary of the spacetime. The past directed rays here (plus those from x+) produce an equivalent past half-cone. These two half cones, plus the spacetime boundary, enclose the entanglement wedge of the boundary region A (see gure 10 in the following subsection). In vacuum AdS this region coincides with the causal wedge studied in section 4. One important feature of the cone shape here is that null rays leaving the spacelike geodesic from very close to the boundary stay in the neighbourhood of the boundary causal diamond. That is, the light-sheets leaving the bulk holographic entanglement surface smoothly connect to the boundary casual diamond. This is not an accident; in fact, this feature was a requirement for the covariant HRT proposal [8]. The important feature here is that light-sheets limit the amount of entropy that can ow through them; the light-sheet we have just found for the region A is thus a reasonable conjecture for the bound of the bulk spacetime region reconstructible from only boundary information within A. 5.2 Entanglement wedge in Lif3 We now move on to study the entanglement wedge for arbitrary z, staying in three dimensions for simplicity. We also choose the constant time slice t = 0, both to avoid questions as to the boundary physical meaning of other slices as well as for simplicity. Lastly, we maintain the same boundary region A as in the previous section. Again, the extremal surface is a semicircle given by (4.13) with P = 1=a. Similarly, regardless of the value of z, the orthogonality condition is still (5.3). However the nullness condition (5.1) now becomes and similarly the conserved momentum ` becomes n nu = ausz 2; ` = nt s nx u2z 2 = uz 1p1 s Even before we explicitly solve for the light paths, we can already see a concern here. From the null geodesic equations (2.5), we see for z > 1, any geodesic with nonzero ` will have a minimum radius of `1=(z 1). There are only three future-directed rays in the light-sheet that have ` = 0: one leaving from us = a, x = 0 and two from us = 0, x = a. Thus we might worry that the entanglement `wedge' in Lifshitz does not close; that is, the lightsheet itself may not reach the boundary, so there is no nite subregion of the bulk bounded by the past and future light-sheets of EA alone. This is exactly the behaviour we observe below. x = ap1 In order to present explicit solutions, we now specify to the case z = 2. Next, we solve (2.5) with this ` as in (5.9) and insist the geodesics pass through u = us, t = 0, us2=a2. The future light sheet is then described by the paths (5.8) (5.9) x = p1 us2=a2 us log t = 1 2a2 us3a au pa2u2 aus a2us2 + us4 u2 s aupa2u2 a2us2 + us4 a2us2 log au + us4 log au pa2u2 a2us2 + us4 aus + us2 : a ; pa2u2 aus a2us2 + us4 u2 s (5.10) (5.11) Here the top signs indicate paths before they reach their turning points, and the bottom signs indicate rays after the turning points, continuing in towards the bulk. Before we present a plot of the light-sheets, we note that the (future) light-sheets only continue as long as their expansion 0; that is, as soon as the light rays form a caustic, the sheet stops [54]. Caustics occur when neighbouring rays intersect (that is, when becomes positive; the light rays have crossed and are now going away from each other. We can calculate the location of the caustics by nding intersections between rays starting at us and us + , then taking to zero. Equivalently, we x u, take the derivative of both (5.10) and (5.11) with respect to us, and then nd the caustic radius u = uc where both derivatives vanish. The caustic radius uc will be a function of the starting point us; it tells us how far we should continue the ray that started at us. As the right hand plot in gure 10 shows (see also gure 11), indeed the light-sheets built from the spacelike surface EA alone do not form the boundary of a bulk subregion. Although we have only shown the algebra above for the case when the boundary region A is on a constant time slice, extending to the non-constant time slice case (at a cut-o radius) does not improve the situation, nor does considering regions of di erent sizes. Since the sheets do not come close to the boundary, a cut-o radius alone also cannot help. directed light-sheets emanating from the bulk extremal surface in Lifshitz with z = 2. Both plots have a boundary region A of radius a = 1. Note that changing the size of the Lifshitz region does change the relative height (unlike in AdS), because time scales twice as fast as space for Lifshitz z = 2. The rainbow lines trace individual light rays comprising the light-sheets; their color indicates their ` value, with low ` being blue and large ` being red. The extremal surface at t = 0 is represented by the solid black line, whereas the dashed black line on the Lifshitz plot indicates the location of the caustics. Cutting o the light-sheets at caustics could be the source of the problem; perhaps this criterion terminates the light-sheets too early. However, as we can see in gure 12 below, continuing to follow the null geodesics that comprise our light sheet past caustics will not allow us to form the boundary of a bulk subregion; the geodesics turn around before they hit the spacetime boundary. Instead, we must go back to the de nition of the entanglement wedge WA as the causal development of the spacelike region . At the boundary u = 0, as we discussed in the introduction, the boundary domain of dependence degenerates to become just A itself. This occurs because the boundary theory is non-relativistic: the e ective speed limit is in nite, so any point on the boundary to the future of A could be a ected by events that occurred outside of A but on the same time slice. Consequently, we also should be considering light-sheets emanating from A. For z = 2 these light-sheets satisfy u 2 2 : a < x < a ; t = (5.12) As shown in gure 13, adding in these light-sheets indeed encloses a bulk subregion.9 9We thank Matthew Headrick for suggesting this resolution. x HJEP03(216)95 u u view and angled view. Again the colors of the light rays indicate their `, with red corresponding to large ` and purple corresponding to ` = 0. As is visible in the top view, the line of caustics indicated by the dashed black line only touches the boundary at the edges of A; the closest approach at x = 0 is at u = a=e, t = (a2=2)(1 1=e2). Generic points on the line of caustics were found numerically. As we can see from (5.9), the maximum ` value occurs at us = a=p2 here, not at the boundary. Note that adding a cut-o would complicate the shape of the light-sheets coming from A, but would not remove the requirement to include both EA- and A-emanating lightsheets. This behavior is di erent from AdS (and asymptotically AdS spacetimes), where the light-sheets from EA alone connect smoothly to the boundary causal diamond A . The requirement to include light-sheets from A in the Lifshitz case occurs because light-sheets leaving EA in a Lifshitz spacetime do not smoothly connect to the boundary causal diamond A of A, unlike in the AdS case. However, once we include the light-sheet from A, the full entanglement wedge boundary does indeed intersect the boundary of A which is just the two endpoints of A in this case. We note that this smooth matching of the light-sheet from EA alone in the AdS case was used by HRT [8] as partial justi cation for their covariant holographic entanglement entropy proposal. 6 As we have shown, spacetime reconstruction techniques valid for asymptotically AdS spacetimes require re-evaluation for asymptotically Lifshitz backgrounds. We nd that the changes in the bulk causal structure for z > 1 as well as the non-relativistic boundary behavior both serve to alter the reconstructibility of bulk spacelike curves, as well as the x the light rays past caustics does not close o the wedge. Instead, all of the light rays, except the three with ` = 0, hit turning points and return into the bulk. identi cation of the bulk reconstructible region via either the causal wedge or entanglement wedge. Constructions that work simply in AdS may encounter complications in Lifshitz systems. The di erential entropy approach to building spacelike bulk curves succeeds for constant radius curves, when the bulk curve has tangents satisfying (A.9). Indeed, even the cut-o necessary to de ne the di erential entropy drops out of the nal result. If the curve takes on a larger value for T 0( ) anywhere along its path at u = u?, then we cannot reconstruct it from a series of boundary-anchored curves, for the simple reason that the tangent extremal curve is not boundary-anchored. Crucially, it is possible to a pick a curve that is entirely spacelike, but cannot be reconstructed, for any given radius. For the causal wedge we also found partial success: we are able to de ne a causal wedge based on a regulated domain of dependence. However both the height and the bulk depth of the wedge shrink to zero as we remove the cut-o . If the causal wedge correctly identi es the bulk region reconstructible from the information within the starting boundary region, then this degeneration may indicate that only with a strict cut-o can we hope to reconstruct any of the bulk. For the entanglement wedge, the problem is di erent. The light-sheets from the holographic entanglement extremal surface do not reach the boundary and thus do not enclose a bulk region. Continuing the light-sheets past caustics does not x the problem, since light rays with transverse momentum in Lifshitz spacetime turn around before reaching the boundary. For an interval of width 2a in Lif3 with z = 2, the light rays have momentum as high as ` = a=2, which corresponds to a geodesic that turns around at u = a=2, so u of light-sheets (5.12) (in brown) sent into the bulk from the boundary region A indeed closes the entanglement wedge. a small cut-o alone cannot close the wedge. Instead, we must additionally include lightsheets emanating from the boundary region A: these light-sheets combined with those from the extremal surface EA do form a closed subregion of the bulk. This change in the formation of the entanglement wedge does not alter the identi cation of intersections of entanglement wedges with the spacelike curve reconstructed via the di erential entropy, as mentioned at the end of section 3.1. Although the light-sheets emanating from a single extremal surface do not enclose a bulk subregion, a pair of neighboring light-sheets still may. However, the change in the formation of the entanglement wedge does indicate a concern regarding the HRT proposal in a Lifshitz spacetime. One justi cation of this proposal begins with a series of past and future light-sheets that asymptotically approach the past and future of the boundary causal diamond; where each pair of light sheets intersects, HRT de ne a candidate surface. Among these candidate surfaces, their proposal picks out the surface that extremizes its area, as justi ed by the Bousso entropy bound. In the Lifshitz case, it is still possible to construct many light-sheets that do asymptote to the boundary causal diamond in asymptotically Lifshitz spacetime; however the light-sheets emanating from the spacelike geodesic corresponding to the Ryu-Takayangi or HRT proposal are not in this class. If we insist on considering light-sheets that asymptote to the boundary causal domain, we would then need another prescription to decide between the many possible light-sheets. We have limited our discussion here to vacuum Lifshitz spacetimes in three dimensions. For the di erential entropy, this means both that we study only spacelike geodesics rather than higher-dimensional extremal surfaces, and also that there is only one spacelike geodesic homologous to a given boundary region. From our experience with non-vacuum AdS spacetimes, we expect that considering instead just asymptotically Lifshitz spacetimes may require choosing between two (or more) extremal surfaces. For the causal wedge, our restriction to three dimensions means that the boundary domain of dependence is fairly trivial: domains of dependence in two dimensions are necessarily composed entirely of causal diamonds. In higher dimensions the boundary domain may be more complicated, but we do not believe this will alter our result; we will still require a cut-o surface in order to de ne a non-degenerate wedge, but with a cut-o the construction should be successful. We are left with many unresolved questions. First, naive application of the Ryu Takayanagi proposal to Lifshitz spacetimes may not be justi ed; there are few calculations to compare to. The lack of dependence on the dynamical exponent z in the vacuum could be physical but may also be indicative of a required modi cation of this proposal. It would be interesting to see if the justi cation of this proposal given in [55] can be extended to asymptotically Lifshitz spacetimes. In order to study dependence on z more thoroughly we could consider boundary regions of non-constant time, de ned on a cut-o surface. However it is unclear to us what meaning an entanglement entropy on such a region would have in the boundary eld theory, much less that said quantity should be associated with the area of a homologous extremal surface. In fact, if we wish to consider boundary regions at something other than constant t, we should instead consider the eld theory symmetry algebra directly, rather than just inheriting the relativistic bulk symmetry at a cut-o surface (see for example [56{58]). Perhaps a Galilean boosted region might be more interesting to consider. We should note that the lack of physical interpretation in the boundary eld theory for the entanglement entropy of a boosted region means that even curves that can be successfully reconstructed via a di erential entropy approach have not really been built from boundary information; or rather, we do not understand the physical boundary information required to compute the length of such curves if they are not on a constant time slice. This problem, coupled with the lack of eld-theoretic calculations for Lifshitz eld theories, also precludes using the variational approach of [9, 10] to rebuild Lifshitz spacetime. Given the di erences between Lifshitz and AdS that we have exhibited here, we expect that other entanglement-reconstruction ides, including universal properties of entanglement reconstruction [59] and entanglement holography [60], will also be altered when studied for non-relativistic duals. Even outside of the question of asymptotically Lifshitz spacetimes, some of our results also a ect asymptotically AdS spacetimes, provided they have a Lifshitz-like interior. For example, reconstruction of bulk curves deep in a Lifshitz-like region may fail due to a lack of boundary-anchored extremal surfaces. Such problems may additionally generalize to other spacetimes with light rays that do not reach the boundary, such as black holes in AdS. This possible generalization, which remains to be explored fully, is evidenced by the connection between our work and that of [48]. It would be interesting to explore the relationship between boundary and bulk causality in an asymptotically Lifshitz spacetime. In asymptotically AdS spacetimes, the gravitational time-delay theorem of Gao and Wald [61] implies that bulk causality agrees with boundary causality for local CFT observables. (In brief: a signal connecting two boundary points cannot propagate more quickly through the bulk than along the boundary.) It was proven in [19] that the HRT prescription for entanglement entropy (a non-local quantity) also satis es this basic consistency requirement. Both results assume that the bulk obeys the null energy condition. Whilst many theories admitting asymptotically Lifshitz solutions satisfy this condition, the degeneracy of the Lifshitz boundary and its presumed non-relativistic dual makes this issue very di erent to the AdS case. One possible in-road to this subject is to study the Lieb-Robinson bound [62] on the speed of entanglement propagation for non-relativistic systems holographically. There is a stronger possible interpretation of the di culties with bulk reconstruction in Lifshitz spacetimes: perhaps they arise not from problems with holographic entanglement entropy prescriptions, but instead because we are attempting to construct the wrong spacetime. In order to reconstruct a bulk dual geometry to non-relativistic theories, perhaps we should begin by studying the boundary symmetries, viewing the eld theory in a Newton-Cartan approach as in [44]. Then we may hope to construct a new spacetime dual that we are able to more fully reconstruct, as done for warped CFTs in [58, 63]. Acknowledgments We are delighted to thank Gino Knodel, Per Kraus, James Liu, Niels Obers, Simon Ross, Tadashi Takayanagi, Larus Thorlacius, William Witczak-Krempa and especially Matthew Headrick for useful discussions. SAG is supported by National Science Foundation grant PHY-13-13986. CK is supported by the European Union's Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 656900. A A useful null congruence Recently, [48] proved that any spacetime with a holographic screen contains curves that are not constructible via the hole-ography or di erential entropy approaches. In this section, we demonstrate a class of null congruences possessing almost-holographic screens within the vacuum Lifshitz spacetime. Consequently, despite the success of the approach for the speci c curves in (3.5), (3.6), we are not surprised that vacuum Lifshitz spacetime must contain curves for which the di erential entropy reconstruction approach fails. Additionally, we use lemma 2 from [48] to show that spacelike geodesics with radii above (3.32) never reach a smaller u and thus cannot touch the boundary or participate in the hole-ography approach. To de ne a holographic screen, [48] begin with a null foliation of (a region of) the spacetime, de ned via the foliation's null generator k . We will assume k is future directed, and use k to refer to the null expansion. Along each codimension-one leaf of the foliation, we build a sequence of co-dimension two surfaces by choosing another null vector l tangent to the leaf. These `lea ets'10 have two null normal directions, k and l . Let 10We follow the terminology and notation in [48]. to the past of N . null generator N be the location on an individual leaf N of this foliation where the null congruence's expansion vanishes; this can happen at most once per foliation as long as the null energy condition holds. the same location. A holographic screen is the union of these N across the entire foliation, assuming that the expansion l is non-zero. It is a future holographic screen if l < 0, and a past holographic screen if l > 0. In our case below, however, we will nd k and l vanish at Even though the theorems in [48] are not applicable because both k and l vanish at the same location, we can still use lemma 2 (conveniently applicable in 2+1 dimensions!) to show that geodesics with turning radii between (3.32) and the spacelike limit (P=E)1=(1 z) cannot reach the boundary. Lemma 2 shows that in a region of a null congruence with k < 0, for a given leaf N of the associated foliation, any spacelike geodesic X that is tangent to the leaf N at a point p has some neighborhood Op such that X \ Op is nowhere Let us now be explicit for the case of Lifshitz. We consider the foliation built from the with a positive constant. Individual leaves of this foliation solve k = u2z; upu2z u2 2; u 2 ; Z t = x + duku + cN ; where the constant cN speci es the leaf in the foliation, and we assume > 0 for simplicity. This foliation is spacetime lling for u > 1=(z 1). It is easiest to compute k by choosing another non-aligned null vector; the choice of null vector is immaterial but we will choose one suited to the above. Speci cally, we choose l = u2z; upu2z u2 2; u 2 : Note that we do not have k l = 1, but this could be acheived by a trivial rescaling of l if needed. We will not need it here. and then computing Similarly for the expansion of l we nd In both cases, the N , where = 0, occur at constant radius uN given by Instead, we now compute k by rst de ning the reduced induced metric h : h g + k l + l k ; h r k k = h r l l = 2u2z pu2z 2u2z pu2z u2z 2u2 u2z 2u2 : : uN = ( 2z) 2(z 1) : 1 (A.1) (A.2) (A.3) (A.4) (A.5) (A.6) (A.7) u HJEP03(216)95 t u = 3. Di erent colors denote di erent values of cN , where the upper leaves of each color correspond to the k congruence and the lower ones correspond to ` . The light rays comprising the top pair of leaves have been drawn in black; we can see they have a turning point where the leaves join. Both congruences have expansion = 0 at the dotted lines where u = uN . Spacelike geodesics tangent to the upper leaf for u < uN must be to the past of, or below, the leaf; that is, they head away from the boundary. Conversely, spacelike geodesics tangent to the upper leaf for u > uN must be to the future of, or above, the leaf, so they head in towards the boundary. Note for k, the expansion k becomes negative for u > uN . This makes sense as k is futuredirected and headed towards larger radius at larger t, so indeed k can only decrease (or stay constant) as u gets larger. It is also positive for u < uN . Thus by lemma 2 of [48], any spacelike geodesic tangent to this foliation at u > uN must be to the future of N (for a small neighborhood). See gure 14 for illustration. Now, let us consider how this result a ects the spacelike geodesics considered in section 3. For simplicity we will explicitly consider only geodesics that are tangent to the foliation at their radial turning point. This means their tangent vector at the radial turning point should solve T k = 0, with T given as in (2.3) and (2.4), so we require = Eu?2(z 1) P T 0( ) (A.8) where here u? is the radial turning point. The second equality comes from (3.12), which relates the spacelike curve we are trying to rebuild to its tangent geodesic. Consequently, in order to see if a particular spacelike curve is reconstructible, we should examine the congruence given by (A.1) with satisfying (A.8). If the radial location of the curve we are trying to reconstruct, u?, is smaller than uN as in (A.7), then the extremal curve through it will not reach the boundary. However, if u? > uN , then the curve can be constructed. Rewriting using (A.8), we nd the curve is constructible as long as u?2(z 1) > T 0( ) 2 z : (A.9) Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited. JHEP 10 (2014) 149 [arXiv:1408.4770] [INSPIRE]. [2] V. Balasubramanian, S.B. Giddings and A.E. Lawrence, What do CFTs tell us about anti-de Sitter space-times?, JHEP 03 (1999) 001 [hep-th/9902052] [INSPIRE]. [3] B. Freivogel and B. Mosk, Properties of causal holographic information, JHEP 09 (2013) 100 [arXiv:1304.7229] [INSPIRE]. [4] C. Keeler, G. Knodel and J.T. Liu, What do non-relativistic CFTs tell us about Lifshitz spacetimes?, JHEP 01 (2014) 062 [arXiv:1308.5689] [INSPIRE]. [5] C. Keeler, G. Knodel and J.T. Liu, Hidden horizons in non-relativistic AdS/CFT, JHEP 08 (2014) 024 [arXiv:1404.4877] [INSPIRE]. [6] S. Ryu and T. Takayanagi, Aspects of holographic entanglement entropy, JHEP 08 (2006) 045 [hep-th/0605073] [INSPIRE]. [7] S. Ryu and T. Takayanagi, Holographic derivation of entanglement entropy from AdS/CFT, Phys. Rev. Lett. 96 (2006) 181602 [hep-th/0603001] [INSPIRE]. [8] V.E. Hubeny, M. Rangamani and T. Takayanagi, A covariant holographic entanglement entropy proposal, JHEP 07 (2007) 062 [arXiv:0705.0016] [INSPIRE]. [9] N. Lashkari, M.B. McDermott and M. Van Raamsdonk, Gravitational dynamics from entanglement `thermodynamics', JHEP 04 (2014) 195 [arXiv:1308.3716] [INSPIRE]. [10] T. Faulkner, M. Guica, T. Hartman, R.C. Myers and M. Van Raamsdonk, Gravitation from entanglement in holographic CFTs, JHEP 03 (2014) 051 [arXiv:1312.7856] [INSPIRE]. [11] J. Hammersley, Extracting the bulk metric from boundary information in asymptotically AdS spacetimes, JHEP 12 (2006) 047 [hep-th/0609202] [INSPIRE]. [12] J. Hammersley, Numerical metric extraction in AdS/CFT, Gen. Rel. Grav. 40 (2008) 1619 [arXiv:0705.0159] [INSPIRE]. [arXiv:0807.3695] [INSPIRE]. [13] S. Bilson, Extracting spacetimes using the AdS/CFT conjecture, JHEP 08 (2008) 073 [14] S. Bilson, Extracting spacetimes using the AdS/CFT conjecture. Part II, JHEP 02 (2011) 050 [arXiv:1012.1812] [INSPIRE]. [15] V. Balasubramanian, B.D. Chowdhury, B. Czech, J. de Boer and M.P. Heller, Bulk curves from boundary data in holography, Phys. Rev. D 89 (2014) 086004 [arXiv:1310.4204] JHEP 06 (2014) 044 [arXiv:1403.3416] [INSPIRE]. [17] B. Czech, J.L. Karczmarek, F. Nogueira and M. Van Raamsdonk, The gravity dual of a [arXiv:1204.1698] [INSPIRE]. entanglement entropy, JHEP 12 (2014) 162 [arXiv:1408.6300] [INSPIRE]. HJEP03(216)95 Phys. Rev. D 78 (2008) 106005 [arXiv:0808.1725] [INSPIRE]. [INSPIRE]. [INSPIRE]. [23] T. Azeyanagi, W. Li and T. Takayanagi, On string theory duals of Lifshitz-like xed points, JHEP 06 (2009) 084 [arXiv:0905.0688] [INSPIRE]. JHEP 04 (2010) 101 [arXiv:0909.0277] [INSPIRE]. [24] S.N. Solodukhin, Entanglement entropy in non-relativistic eld theories, [25] V. Keranen, E. Keski-Vakkuri and L. Thorlacius, Thermalization and entanglement following a non-relativistic holographic quench, Phys. Rev. D 85 (2012) 026005 [arXiv:1110.5035] [26] B.S. Kim, Schrodinger holography with and without hyperscaling violation, JHEP 06 (2012) 116 [arXiv:1202.6062] [INSPIRE]. [27] M. Alishahiha, A.F. Astaneh and M.R.M. Moza ar, Thermalization in backgrounds with hyperscaling violating factor, Phys. Rev. D 90 (2014) 046004 [arXiv:1401.2807] [INSPIRE]. [28] P. Fonda et al., Holographic thermalization with Lifshitz scaling and hyperscaling violation, JHEP 08 (2014) 051 [arXiv:1401.6088] [INSPIRE]. [29] S. Fischetti and D. Marolf, Complex entangling surfaces for AdS and Lifshitz black holes?, Class. Quant. Grav. 31 (2014) 214005 [arXiv:1407.2900] [INSPIRE]. [30] S.M. Hosseini and A. Veliz-Osorio, Entanglement and mutual information in two-dimensional nonrelativistic eld theories, Phys. Rev. D 93 (2016) 026010 [arXiv:1510.03876] [INSPIRE]. [31] H. Singh, Lifshitz to AdS ow with interpolating p-brane solutions, JHEP 08 (2013) 097 [arXiv:1305.3784] [INSPIRE]. [INSPIRE]. [32] H. Singh, Schrodinger spacetimes with screen and reduced entanglement, arXiv:1309.7908 [33] E. Fradkin and J.E. Moore, Entanglement entropy of 2D conformal quantum critical points: hearing the shape of a quantum drum, Phys. Rev. Lett. 97 (2006) 050404 [cond-mat/0605683] [INSPIRE]. [34] B. Hsu and E. Fradkin, Universal behavior of entanglement in 2D quantum critical dimer models, J. Stat. Mech. (2010) P09004 [arXiv:1006.1361] [INSPIRE]. [35] M. Oshikawa, Boundary conformal eld theory and entanglement entropy in two-dimensional quantum Lifshitz critical point, arXiv:1007.3739 [INSPIRE]. [36] S. Inglis and R.G. Melko, Entanglement at a two-dimensional quantum critical point: JHEP 09 (2009) 009 [arXiv:0907.1846] [INSPIRE]. [39] S.F. Ross, Holography for asymptotically locally Lifshitz spacetimes, Class. Quant. Grav. 28 (2011) 215019 [arXiv:1107.4451] [INSPIRE]. [40] W. Chemissany and I. Papadimitriou, Lifshitz holography: the whole shebang, JHEP 01 (2015) 052 [arXiv:1408.0795] [INSPIRE]. [44] J. Hartong, E. Kiritsis and N.A. Obers, Schrodinger invariance from Lifshitz isometries in holography and eld theory, Phys. Rev. D 92 (2015) 066003 [arXiv:1409.1522] [INSPIRE]. [45] M.H. Christensen, J. Hartong, N.A. Obers and B. Rollier, Torsional Newton-Cartan geometry and Lifshitz holography, Phys. Rev. D 89 (2014) 061901 [arXiv:1311.4794] [INSPIRE]. [46] M.H. Christensen, J. Hartong, N.A. Obers and B. Rollier, Boundary stress-energy tensor and Newton-Cartan geometry in Lifshitz holography, JHEP 01 (2014) 057 [arXiv:1311.6471] [47] C. Hoyos and P. Koroteev, On the null energy condition and causality in Lifshitz holography, Phys. Rev. D 82 (2010) 084002 [Erratum ibid. D 82 (2010) 109905] [arXiv:1007.1428] [INSPIRE]. [arXiv:1304.4926] [INSPIRE]. [48] N. Engelhardt and S. Fischetti, Covariant constraints on hole-ography, Class. Quant. Grav. 32 (2015) 195021 [arXiv:1507.00354] [INSPIRE]. [49] A.C. Wall, Maximin surfaces and the strong subadditivity of the covariant holographic entanglement entropy, Class. Quant. Grav. 31 (2014) 225007 [arXiv:1211.3494] [INSPIRE]. [50] V.E. Hubeny, M. Rangamani and E. Tonni, Global properties of causal wedges in asymptotically AdS spacetimes, JHEP 10 (2013) 059 [arXiv:1306.4324] [INSPIRE]. [51] R.M. Wald, General relativity, Chicago University Press, Chicago U.S.A. (1984) [INSPIRE]. [52] W.R. Kelly and A.C. Wall, Coarse-grained entropy and causal holographic information in AdS/CFT, JHEP 03 (2014) 118 [arXiv:1309.3610] [INSPIRE]. [53] S.A. Gentle and M. Rangamani, Holographic entanglement and causal information in coherent states, JHEP 01 (2014) 120 [arXiv:1311.0015] [INSPIRE]. [54] R. Bousso, The holographic principle, Rev. Mod. Phys. 74 (2002) 825 [hep-th/0203101] [55] A. Lewkowycz and J. Maldacena, Generalized gravitational entropy, JHEP 08 (2013) 090 theories, JHEP 02 (2016) 033 [arXiv:1511.00707] [INSPIRE]. reconstruction, JHEP 10 (2015) 159 [arXiv:1508.00766] [INSPIRE]. Class. Quant. Grav. 17 (2000) 4999 [gr-qc/0007021] [INSPIRE]. Commun. Math. Phys. 28 (1972) 251 [INSPIRE]. Nucl. Phys. B 897 (2015) 1 [arXiv:1411.0672] [INSPIRE].

This is a preview of a remote PDF: https://link.springer.com/content/pdf/10.1007%2FJHEP03%282016%29195.pdf

Simon A. Gentle, Cynthia Keeler. On the reconstruction of Lifshitz spacetimes, Journal of High Energy Physics, 2016, 195, DOI: 10.1007/JHEP03(2016)195