Localized thermal states and negative energy

We construct localized states defined in a ball or the half-space of a conformal field theory (CFT) in Minkowski that are thermal with respect to the local modular flow. We compute their energy density at arbitrary temperature for a variety of CFTs, and find values for which it is negative and divergent at the boundary. Despite this singular behavior we show that the energy measured by an observer is consistent with the bounds present in the literature. For holographic CFTs these states are captured by hyperbolic black holes in anti-de Sitter, where the negative energy in field theory amounts to the well known negative mass of the black hole. As a byproduct, we show that the Casini-Huerta-Myers proof of the Ryu-Takayangi holographic entanglement formula for the vacuum reduced to a ball can be naturally extended to include half-space regions.


Introduction
The quantization of a classical field theory is a highly non trivial procedure which gives rise to several subtle and interesting phenomena. Entanglement correlations between causally disconnected space-time regions and quantum states with negative energy densities are two illustrative examples of intrinsically quantum features that are not present in the classical regime. To better understand the quantum theory and the quantization procedure itself, the investigation of these aspects is an appropriate starting point that can shed valuable insight.
Although there has been a lot of attention towards the derivation and application of energy inequalities, less has been done regarding the explicit construction of negative energy states. This is an important aspect given that it can shed light into the detailed structure of the states themselves. The aim of this paper is to systematically construct negative energy states for a wide range of theories defined in Minkowski space-time in any dimension. By restricting to conformal field theories (CFTs) we are able to obtain a one parameter family of states that interpolate between positive and negative energy density inside a ball and the half-space.
Let us first review the setups in which negative energy states appear, which can be roughly classified in three categories. The first is usually referred as quantum coherence and requires a free theory where the fields admit a mode expansion. By constructing specific superpositions of these modes, such as the vacuum and a two particle state [27], or squeezed states [27,28] negative energy densities appear. Although explorations in this direction has been considered in refs. [29][30][31][32][33], they are by construction restricted to free theories. The second setup arises when quantizing a field theory on a curved background geometry, where the space-time curvature induces some negative Casimir energy density on the states [34][35][36][37]. Given that the quantization in curved backgrounds is not always simple, this approach is technically more challenging.
The third approach is the one we take in this work and we refer as localized states. Given a region A on a Cauchy surface Σ let us assume that the Hilbert space decomposes into a tensor product structure H = H A ⊗ H A c , with A c the complementary region. We name localized states to any density operator defined in the Hilbert space H A . In fact, from causality and unitarity these states are defined in the causal domain of the region, D A . 1 Given that negative energy densities are by definition a local feature of the quantum theory, this is perhaps the most natural approach for constructing negative energy states. Previous work which falls into this category (though sometimes from a very different perspective) are the Casimir energy induced by two parallel plates [38,39], the vacuum of the Rindler region [40,41] and fields in the presence of moving mirrors [29,[42][43][44].
The localized states we consider in this work can be thought as thermal with respect to the modular flow of the region D A (thermal in the sense of the KMS condition [45]). Though the modular flow can be rigorously defined for any region in the context of the Tomita-Takesaki theory [45,46], we will restrict ourselves to simple setups (with A a ball JHEP10(2019)246 or the half-space) where the modular flow is local and can be described by a timelike coordinate s. In this case, given any local operator O(x A ) with x A ∈ D A , the modular flow is implemented by the unitary operator U (s) according to where x A (s) ∈ D A . From this we can define a thermal state with inverse temperature β with respect to translations in s and compute its energy density for arbitrary temperatures. As β varies we will find that the energy density in the region D A interpolates from positive to negative, providing with a one parameter family of negative energy states. A seemingly disturbing feature of these localized thermal states is the fact that their energy density diverges at the boundary of D A . In particular, it goes to minus infinity for a given range of β. The origin of this singular behavior is the fact that the tensor product structure of the Hilbert space H = H A ⊗ H A c is not rigorously valid in any QFT [46,47]. 2 To make sure that the states we construct are physical we consider the negative energy measured by an observer restricted to D A and compare with several quantum energy inequalities (QEIs) present in the literature. We find perfect agreement with the QEIs, meaning that these localized states are perfectly reasonable states.
One of the most compelling features of these states is the fact that their properties can be mapped through the AdS/CFT correspondence to black holes with hyperbolic horizon. 3 This provides a procedure for studying negative energy states in strongly coupled theories, which is extremely challenging using standard QFT techniques. The negative energy density of the localized state is mapped to a negative mass of the hyperbolic black hole. Though this negative mass has been noted long ago in the literature, its meaning has been poorly understood. From this perspective the negative mass of the black hole is not only natural but expected, given that it arises from the negative energy density of the states in the boundary CFT. This connection has been recently made in ref. [50], but only for the ball region and the zero temperature case. There it was also suggested that the relation could be generalized to arbitrary temperatures. In this work, we confirm the claims of ref. [50] and make the connection between the localized states and the black holes much more clearer and precise.
In the process of investigating the relation between the localized states and the hyperbolic black holes we stumble upon a very natural extension of the famous construction developed in ref. [49]. In that work, the entanglement entropy of the Minkowski vacuum reduced to a ball was mapped to the horizon area of the massless hyperbolic black hole and found to be in perfect agreement with the holographic Ryu-Takayanagi (RT) prescription [51,52]. In fact, the horizon of the black hole and the RT surface can be shown to be exactly the same, providing with an explicit proof of the RT formula for spherical regions. We find that this proof can be extended beyond spherical regions to include the half-space 2 We understand this from a practical level. The entanglement entropy of the Minkowski vacuum reduced to a ball or the half-space can be obtained by integrating the energy density of a localized thermal state [48,49], where the divergence in the energy density translates in the divergence of the entanglement entropy (which is known to arise from the assumed tensor product structure of the Hilbert space). 3 The temperature of the localized state is mapped to the horizon temperature of the black hole.

JHEP10(2019)246
using the same massless black hole, which allows us to explicitly verify that for the Minkowski vacuum reduced to the half-space of a CFT. Though this relation is certainly not unexpected, it is satisfying to get another setup where the proof can be made explicit. The reader interested in this result and somewhat familiar with the construction of ref. [49] is encouraged to go directly to section 4.1 and appendix A. The outline of the paper is as follows. We start in the following section by constructing the localized thermal states in the half-space and ball in Minkowski. We explicitly compute their energy density for arbitrary two-dimensional CFTs, massless scalar field and strongly coupled holographic CFTs. Some of the technical calculations, including the quantization of a thermal scalar conformally coupled to a hyperbolic space-time, are relegated to appendices B, C and D. In section 3 we consider the energy measured by an observer and show that it is consistent with the QEIs present in the literature. For two-dimensional CFTs we show that the localized states saturate the most general inequality in the zero temperature limit. We continue in section 4 by carefully illustrating the connection between the localized thermal states and the hyperbolic black holes. We finish in section 5 with a summary of our results and interesting future directions. The proof of the RT formula for the Minkowski vacuum reduced to the half-space is given in appendix A, which also includes some holographic and field theory calculations for the half-space Renyi entropy.
In appendix E we consider building separable state that are globally defined in the Hilbert space and show that they require an infinite amount of positive energy localized at the entangling surface.

Localized thermal states and energy density
In this section we explicitly construct the localized thermal states in the Hilbert space H A with A given by the half-space or a ball in Minkwoski at t = 0. We compute their energy density at arbitrary temperature for a variety of CFTs. To do so, we must first write the operator K s which generates the modular flow in eq. (1.1) and maps D A into itself. Given that the flow will be local for the regions we consider, the operator K s has a simple expression in terms of the stress tensor T µν (t, x) where x µ = (t, x). Since this operator plays the role of the Hamiltonian associated to the region D A , we have a natural definition of a thermal state in H A according to Even though this might not be an ordinary thermal state given that K s will not always be a conserved quantity, it is thermal in the sense that it satisifes the KMS condition [45].

JHEP10(2019)246
Another crucial feature of taking the regions as the half-space or a ball is that in both cases there is an inverse temperature β = 2π with a length scale, where the thermal state ρ A (2π ) is equivalent to the Minkowski vacuum |0 M of the full Hilbert space H reduced to H A , i.e.
where A c is the complementary region to A. This will play an important role when computing the energy density of these states, given that it implies There will be two distinct regimes, β smaller or larger than 2π , where the energy density becomes positive or negative. The inverse temperature β will allows us to interpolate between positive and negative energy density. In order to compute these quantities explicitly, we employ several tools previously developed in refs. [45,49,[53][54][55][56][57].

Half-space region
Consider a d-dimensional CFT in Minkowski space-time ds 2 = −dt 2 + dx 2 + d y.d y and take the region A at t = 0 as the half-space (x, y ) ∈ R × R d−2 : x > x 0 with its boundary at x 0 . Its causal domain is the right Rindler wedge, given by To construct the operator K s in eq. (2.1) we must find a well defined timelike evolution in D HS . 4 This can be easily done by taking standard Rindler coordinates (η, ξ) given by which automatically verify the constraints in (2.5) as long as ξ > 0. The dimensionful constant α plays no fundamental role and is introduced so that η has units of time. Since the coordinate η gives a well defined time evolution in D HS , we can identify it with the s parameter in eq. (2.1) and explicitly write the operator K η generating η translations, and its associated thermal state The operator K η is proportional to the boost operator in the x direction. For β = 2πα the well known Unruh effect [53,54] implies that this thermal state becomes equivalent to the Minkowski vacuum |0 M reduced to D HS , as given in eq. (2.3) after replacing → α. We now compute the energy density of ρ HS (β)

JHEP10(2019)246
which from eq. (2.4) must vanish for β = 2πα. We first apply a conformal transformation given by the change of coordinates in eq. (2.6), so that the Minkowski metric becomes where dH d−1 is the line element of a unit hyperbolic plane Applying a Weyl rescaling which removes the conformal factor in eq. (2.9), the Rindler region D HS is mapped to the entire hyperbolic space-time R × H d−1 . This transformation is implemented on the Hilbert space by the unitary operator U : H HS →H Hyp , wherē H Hyp is the Hilbert space of the CFT in the hyperbolic space-time. We will add bar over quantities defined after the conformal transformation. To see how the energy density (2.8) transforms, we must look at the transformation of the stress tensor, that is given by 5 where x µ = (t, x, y) and X a = (η, ξ, y). The operator S ab is the anomalous contribution proportional to the identity operator which generalizes the two-dimensional Schwartzian derivative [58] and is different from zero only for d even. Though its general expression is not known, 6 if we take the expectation value of eq. (2.11) with respect to ρ HS (2πα), the left-hand side vanishes due to eq. (2.4) and we find S ab = Tr ρ(2πα)T ab for d even , whereρ(β) = U ρ HS (β)U † is the transformed state, an ordinary thermal state in the hyperbolic background R × H d−1 . Since the hyperbolic space is maximally symmetric andρ(β) is an equilibrium state, the thermal expectation value ofT a b for arbitrary β is given by whereĒ(β) is the thermal energy density in the hyperbolic space-time. In this expression we have already imposed the zero trace condition of the stress tensor, which follows from the fact that the hyperbolic space-time is conformally flat and the Euler density of R×H d−1 vanishes. 7 Using eqs. (2.11)-(2.13) in eq. (2.8), we obtain the following expression for the energy density of ρ HS (β) (2.14) 5 The first factor is given by the Weyl rescaling and can be easily obtained by seeing how Tµν = δg µν transforms. 6 See however refs. [36,37,59]. 7 Though this is true for arbitrary d, it is straightforward to check for the first few even values.
As discussed in the introduction, the energy density becomes singular at the boundary of D HS given by u ± = x 0 (2.5). Moreover, the sign of E HS (β) is completely determined by the sign ofĒ(β)−Ē(2πα). Since the energy density of a thermal state always increases with its temperature and E HS (2πα) = 0, we conclude that ρ HS (β) has negative energy density for β > 2πα and positive for β < 2πα. All that remains to obtain an explicit expression for E HS (β) is computeĒ(β). To do so, we must consider a particular space-time dimension and CFT.

Two-dimensional CFT
For any two-dimensional CFT the calculation ofĒ(β) becomes very simple due to the fact that the hyperbolic plane in eq. (2.10) becomes the real line, i.e. α 2 dH 2 1 = (α dξ/ξ) 2 = [d(α ln(ξ/α))] 2 . This means thatĒ(β) is the energy density of a thermal state in twodimensional Minkwoski. The only dimensionful quantity it can depend on is β, meaning that dimensional analysis impliesĒ(β) ∝ β −2 . The proportionality constant can be determined from a standard computation that involves going to Euclidean time and compactifying on a circle of length β, which gives [37,58] where c is the Virasoro central charge of the CFT. Using this in eq. (2.14) we can write E HS (β) in terms of the dimensionless temperature T = 2πα/β as (2.16) For any value of T < 1 the energy density is negative.

Arbitrary dimensional CFTs
For d = 2 the thermal energy densityĒ(β) was practically fixed by dimensional analysis since the hyperbolic plane α 2 dH 2 d−1 is the real line. This is not the case for d > 2, meaning thatĒ(β) will not only depend on β, but also on the radius of the hyperbolic plane α. In the following we will consider particular cases of free and strongly coupled CFTs wherē E(β) can be obtained explicitly.
Free theories. For free theories we can directly quantize the classical field in the hyperbolic background and compute the thermal energy densityĒ(β). Let us consider a free massless scalar in d-dimensional Minkowski space-time, which aquires a conformal coupling to the background geometry when applying the conformal transformation (see eq. (B.1) for JHEP10(2019)246 the resulting action of the scalar field after the conformal transformation). In appendix B we apply standard canonical quantization to compute the thermal energy densityĒ(β). 8 For the first few even values of d > 2, we obtain the results in table 1, written in terms of the dimensionless temperature T = 2πα/β. Using this in eq. (2.14) we can explicitly write the energy density of ρ HS (β). For odd d the calculation ofĒ(β) is technically more challenging. For d = 3, it can be written in terms of the following integral which vanishes when β = 2πα since there is no trace anomaly in odd dimensions (2.12).
For several rational values of T the integral can be solved exactly, the most interesting being the zero temperature case where we find with ζ(z) is the Riemann zeta function. For general T , we can solve through numerical integration and obtain the plot in figure 1, the red dots corresponding to values of T which allow for exact integration. Using eqs. (2.17) and (2.14), we obtain an integral expression for the energy density of ρ HS (β).
Strongly coupled theories. We now move to the opposite side of the spectrum and consider strongly coupled CFTs. To do so, we restrict to theories with large number of degrees of freedom and apply the standard AdS/CFT dictionary [71][72][73]. In this limit, the thermal stateρ(β) in R × H d−1 will be dual to a black hole with a hyperbolic horizon. The energy densityĒ(β) can be computed from a standard gravity calculation of the quasi-local stress tensor of the black hole [74,75]. For holographic CFTs dual to pure Einstein gravity we compute the quasi-local stress tensor of the appropriate hyperbolic black hole in appendix D and obtain the following result for the energy densitȳ The systematic canonical quantization of a thermal scalar field conformally coupled to R × H d−1 has not been presented in the literature, though substancial work has been done in refs. [55,[60][61][62][63][64][65][66][67][68][69][70] . We explicitly do so in appendix B for arbitrary temperature and space-time dimensions, and compute the thermal two-point functions, energy density and partition function. where T = 2πα/β, Vol(S d−1 ) = 2π d/2 /Γ(d/2), and a * d is the generalized central charge given by [76] a * d = A d for d even , with A d the A-type trace anomaly of the stress tensor (see ref. [77] for conventions) and Z(S d ) the regularized vacuum partition function of the CFT placed on a unit d-dimensional sphere (see ref. [78] for S 3 examples). Using this in eq. (2.14) we can write the energy density of ρ HS (β) for any space-time dimension and temperature. The same calculation can be done for holographic CFTs dual to Gauss-Bonnet gravity. In appendix D we explicitly computeĒ(β) for d = 4 and arbitrary values of β. In the zero temperature limit the expression simplifies and becomes where a and c are the coefficients of the terms appearing in the trace anomaly of the four dimensional CFT (not to be confused with the two-dimensional Virasoro central charge). These are constrained by the Hofman-Maldacena bounds according to [

Ball region
A very similar construction can be applied to a ball B of radius R at t = 0. Its causal domain can be written as where θ i are the angles on the unit sphere S d−2 and we are implicitly assuming w + + w − ≥ 0. 9 Same as before, we must find a well defined timelike coordinate in D B to construct the operator K s in eq. (2.1). The constraint in (2.23) is automatically verified if we define the coordinates (τ, u) according to where r ≥ 0 implies u ≥ 0. 10 The timelike coordinate τ is unconstrained and gives a well defined time evolution in D B . We can identify τ with the s parameter in eq. (2.1) and explicitly write the operator K τ generating τ translations and its associated thermal state For β = 2πR this thermal state is equivalent to the Minkowski vacuum |0 M reduced to D B , as given in eq. (2.3) after replacing → R [45,49,56].
To compute the energy density of ρ B (β) we apply a conformal transformation given by the change of coordinates in eq. (2.24), so that the Minkowski metric becomes where dH d−1 is the line element of a unit hyperbolic plane in a different set of coordinates Applying a Weyl rescaling which removes the conformal factor, the region D B is mapped to the entire hyperbolic space-time R × H d−1 . Same as before, we will compute the energy density of ρ B (β) by first looking at the transformation of the stress tensor, that will have an analogous expression to eq. (2.11) For d = 2 this region is diamond in the (t, x) plane, while for d = 3 it is obtained from rotating this diamond along the t axis. 10 This is the same change of coordinates considered in ref. [49] but written in a more compact way.

JHEP10(2019)246
where now x µ = (t, r, θ i ) and X a = (τ, u, θ i ). Using the same argument as before, the anomalous terms S ab is given by eq. (2.12) replacing α → R. Using this and the thermal stress tensor in eq. (2.13), we can use the change of coordinates in eq. (2.24) and write the energy density of ρ B (β) as where , is the conformal factor in w ± coordinates. The energy density is again divergent at the boundary of D B , given by |w ± | = R (2.23). Its sign is determined byĒ(β) −Ē(2πR), meaning that the energy will be negative for β > 2πR and positive otherwise. We can obtain explicit expressions for E B (β) using the results of eqs. (2.17), (2.19), (2.21) and table 1, making the replacement α → R.
For a two-dimensional CFT the ball becomes a segment of length 2R. The radial coordinate gets replaced by a cartesian coordinate r → x ∈ R, meaning that u can now take any real value. The energy density of ρ B (β) can be explicitly written from eqs. (2.15) and (2.29) in terms of T = 2πR/β as which is explicitly negative when T < 1.

Energy measured by observer
In the previous section we have constructed localized states defined in the Hilbert space H A , where A is either the half-space or a ball in Minkowski at t = 0. A disturbing feature of these states is that their energy density diverges at the boundary of D A , which raises the question of whether they are physically allowed. To assess this, we consider an observer restricted to D A and compute the energy measured along a given trajectory, which must be finite and in agreement with the Quantum Energy Inequalities (QEIs) present in the literature.
For simplicity we take A as a ball B and consider a static observer fixed at the center r = 0. A similar analysis follows for the half-space and observers moving along constant speed trajectories. The measured energy is given by where ϕ(t) is the weight function characterizing the measurement apparatus. Evaluating for the energy density of ρ B (β) in eq. (2.29), we find Given that the state ρ B (β) is only defined in D B , this expression is only valid if the weight function is compactly supported in |t| < R. The simplest choice for ϕ(t) is to consider the characteristic function of the interval of |t| < R, such that every point along the trajectory in D B is assigned equal weight. However, this naive choice of ϕ(t) makes the measured energy in eq. (3.2) divergent. In particular, for β > 2πR it becomes minus infinity in direct contradiction with numerous QEIs in the literature. Similar scenarios have been previously recognized and addressed in the literature, despite generating some initial confusion. 11 Note that the conflict is resolved if we require the weight function to be smooth (ϕ(t) ∈ C ∞ (R)). Since it must also be compactly supported in D B , this means it approaches the boundary |t| = R faster than any polynomial and expression (3.2) yields a finite value. This smoothness constraint on ϕ(t) is not a capricious choice, but can be understood in several ways.
The physical argument in favor of the smoothness requirement of ϕ(t) comes from the fact that this function is determined by the measurement apparatus used to detect energy. Any real device will not have a discontinuous profile given that there is always a relaxation time associated to its variations. Moreover T tt (t, 0) is an operator valued distribution whose domain is given by suitable smooth test functions. It is therefore no surprise that some states yield incoherent expectation values when T tt (t, 0) is evaluated on functions that are outside its domain. Finally, all the rigorous QEIs derived in the literature require the weight function to be smooth. If one tries to relax this requirement, it can be shown that the bounds fails to be true (e.g. see section 4.2.4 of ref. [7]) and the energy measured by an observer is unbounded from below.
Having established the smoothness requirement of ϕ(t), the question remains whether the amount of negative energy measured by the observer when β > 2πR is consistent with the QEIs present in the literature. We will consider this question for arbitrary two-dimensional CFTs and a massless scalar field in arbitrary dimensions, where QEIs are available.
Two-dimensional CFTs. Consider the following QEI valid for any twodimensional CFT where ϕ(t) must be an even function of the Schwartz type, i.e. smooth and all its derivatives must decay at infinity faster than any polynomial. Notice that only the left hand side depends on the state under consideration. This bound was rigorously proven in ref. [7] where it was also shown to be sharp, i.e. for a fixed weight function ϕ(t) there is always a state which saturates the inequality. An alternative derivation, which also includes a correction term for mixed states, was given in ref. [8] from the monotonicity property of relative entropy. 12 Evaluating the inequality for the energy density of ρ B (β) (2.30) in the zero temperature limit (where it has its most negative value) and redefining the weight function as JHEP10(2019)246 where we have used that h(t) must be complactly supported in |t| < R and changed variables to v = t/R. Following ref. [82] we can view this inequality as a statement of the non-negativity of the operator in eq. (3.4) acting on the Hilbert space of smooth functions on the interval v ∈ (−1, 1). If we rewrite this operator in the following way we explicitly see that the left-hand side of eq. (3.4) is positive. We conclude that the QEI (3.3) holds for the energy density of ρ B (β) for any temperature and smooth weight function.
It is natural to consider what happens to the above argument if we add a little bit more of negative energy. Will the QEI (3.3) be violated? To consider this, we multiply the energy density of ρ B (β → ∞) with a positive factor λ > 1, i.e. E B → λ E B . In this case, the QEI can be written as Let us write the most general differential operator B(λ) given by From this constraint is straightforward to show that the function U (v) must be real and satisfy the following differential equation Solving this differential equation one finds that the solution is real only if λ ≤ 1, where for λ = 1 the operator becomes the one in eq. (3.5). This allows us to conclude that the energy density of ρ B (β) in the zero temperature limit is the maximum amount allowed by the CFT.
Massless scalar field. For a massless scalar field a QEI for arbitrary space-time dimensions was derived in ref. [2], that simplifies for even values and can be written as where ϕ(t) must be even and of the Schwartz type. In contrast to the two-dimensional case, this inequality is not expected to be sharp. Trying to use the same methods to check the validity of the QEI (3.7) becomes complicated due to the higher order derivatives. Instead JHEP10(2019)246 Table 2. Lower bound onĒ(β) −Ē(2πR) obtained from numerically evaluating the QEI (3.7) for the energy in eq. (3.2) and the weight functions in eqs. (3.8). The most constraining bound comes from taking (ϕ 1 (t)) q with q d=4 = 2.57, q d=6 = 5.2 and q d=8 = 8.
we can consider a particular set of weight function ϕ(t), that we take to be zero for |t| ≥ R and have the following values when |t| < R where v = t/R and I 0 (z) is the modified Bessel function of the first kind. All of these functions are smooth and by definition have compact support in D B .
Evaluating the left-hand side using eq. (3.2) for these weight functions, both integrals appearing in the QEI (3.7) can be written independently of R and solved numerically. Apart from considering the functions ϕ i (t) in eqs. (3.8) we have raised them to positive powers and multiplied by even positive polynomials. The most constraining bounds we where able to obtain from the QEI for the factorĒ(β) −Ē(2πR) in eq. (3.2) are given in table 2.
The factors in parenthesis in each column are the actual minimum values ofĒ(β) − E(2πR) obtained from the transformed statesρ(β) (found in table 1 after replacing α → R). Since all the factors multiplying these expressions are larger than one, we find no evidence implying that the energy density of ρ B (β) is inconsistent with the QEIs in eq. (3.7).
The conclusion of this section is that despite the singular behavior of the energy density of the states ρ HS (β) and ρ B (β) at the boundary of the regions, they are perfectly reasonable and in agreement with the QEIs in the literature.

Holographic description of localized states
We have focused our study on the states ρ HS (β) and ρ B (β) that are defined on the half-space and a ball on Minkowski respectively. In both cases they can be mapped via (different) conformal transformations to an ordinary thermal state in the hyperbolic space-time R×H d−1 . Applying the standard AdS/CFT dictionary this thermal state has a description in terms of a black hole with hyperbolic horizon. This means that the properties of the localized states can be mapped to the hyperbolic black hole (and vice versa) via the conformal transformation plus the standard AdS/CFT dictionary (see figure 2 for a diagram illustrating the connection).
It is particurlarly interesting to consider the mapping of the negative energy densities discussed in the previous sections. The stress tensor of the localized states is mapped to the quasi-local gravitational stress tensor [74,75] of the black hole, 13 which will be negative for β < 2π . 14 Since the mass of the black hole is obtained by integrating this quantity it means that the negative energy density of the localized states results in a negative mass for the hyperbolic black hole. Though this negative mass has been noted long ago in the literature, its meaning has been very poorly understood. From this perspective the negative mass of the black hole is not only natural but expected, given that it arises from the negative energy density of the states in the CFT. For the zero temperature case and the ball region this connection has been recently made in ref. [50]. There it was also suggested that the relation could be generalized to arbitrary temperatures. In this work, we confirm the claims of ref. [50] and make the connection between the localized states and the black holes much more clearer and precise. A natural question that arises is whether we can make sense of the mapping between the localized thermal states and the hyperbolic black holes without having to go through the intermediate step of the thermal state in R × H d−1 . Can we map the black hole quantities directly to ρ HS (β) and ρ B (β)? There is a naive way of doing so. Let us see how it works for the case of the half-space. The hyperbolic black hole solution can be written as where ρ is the radial coordinate with the AdS boundary of radius L located at ρ → +∞. The outer horizon is determined from V (ρ + ) = 0 where the function V (ρ) depends on the particular gravitational theory under consideration (see appendix D for Einstein and Gauss-Bonnet examples). Since the solution must be asymptotically AdS it must have the

JHEP10(2019)246
following behavior The time coordinate η has been rescaled so that we recover the hyperbolic plane of radius α at the boundary. Let us first review how we can take the standard boundary limit to obtain the ordinary thermal state in the hyperbolic background. Expanding the bulk metric for ρ α, L we find Removing the conformal factor (ρ/α) 2 in the leading term contribution we obtain the boundary geometry R × H d−1 where the thermal state is defined. All the black hole quantities can be mapped to the properties of the thermal state (in appendix D we map the quasi-local stress tensor in this way). We now consider a different way of taking this limit that will enable us to recover the Rindler metric at the boundary. To do so, let us tune the coordinates ρ and ξ so that ρ ξ, L. For any value of ξ (which is real and positive), we can take an appropriate ρ so that this is the case. The leading contribution to the bulk metric in this limit is given by Removing the conformal factor (ρ/ξ) 2 we recognize the line element of the Rindler spacetime describing the causal domain of the Minkowski half space. This means that the hyperbolic black hole can be directly mapped to ρ HS (β) by taking this non-standard boundary limit, which results in the conformal factor (ρ/ξ) 2 instead of the more standard (ρ/α) 2 .
In this way, we can avoid the CFT in the hyperbolic background and go directly to the Rindler wedge. A completely analogous discussion holds for the localized thermal state define in the ball. It is clear that if there is also a bulk scalar field ϕ(ρ) with a non-trivial radial profile this non-standard boundary limit will not work, given that there is no reason to expect ϕ(ρ) to have an expansion in terms of ρ/ξ (instead of the standard ρ/L). This is in accordance with the fact that such bulk scalar would break the conformal invariance of the CFT in the hyperbolic boundary (by adding a mass term to the action or a non-trivial vacuum expectation value) and therefore the conformal mapping from R × H d−1 to the Minkowski half-space described in figure 2 would not be valid.
When applying the direct mapping described by the limit in eq. (4.2) one must also be careful with the anomalous contribution in even d of the gravitational stress tensor (the second term in eq. (D.10)). The energy density of the localized thermal state is not just given by the quasi-local energy density of the black hole, but by this quantity minus the anomalous contribution. This subtraction is not implied by the limit in eq. (4.2) but must be added by hand.

Massless hyperbolic black hole
As shown in refs. [49,57] the mapping between the localized thermal states and the hyperbolic black hole can be extended when the inverse temperature is given by β = 2π with = α or R. In the following, we will review and expand on the details of this construction. For these temperatures the well known Unruh effect [53,54] implies that the localized thermal states in eqs. (2.7) and (2.25) are equivalent to the Minkowski vacuum reduced to each of the regions, as described in eq. (2.3).
The essential bulk feature is that the hyperbolic black hole has vanishing mass 15 and is in fact a section of pure AdS. This means that the radial function of the black hole is always given by V (ρ) = (ρ/L) 2 − 1, for any covariant theory of gravity with negative cosmological constant [49]. For any other temperature different from β = 2π the function V (ρ) will have a complicated expression which depends on the gravity theory.
The conformal transformations in figure 2 can be uplifted to a bulk change of coordinates so that we get the extended diagram in figure 3. The massless hyperbolic black hole will be mapped to a section of the Poincare patch of AdS determined by the boundary half-space or ball. Let us see how this works in either case.
Half-space region. Starting from the massless hyperbolic black hole consider the following bulk change of coordinates [57]  Notice that as we take the boundary limit ρ → +∞ we recover the boundary conformal transformation in eq. (2.6), meaning that this bulk change of coordinates is equivalent to the conformal transformation in the boundary theory. The inverse transformation can be written as Applying this to the massless hyperbolic black hole the metric becomes that is pure AdS in Poincare coordinates. However, the resulting metric does not describe the whole Poincare AdS, given that from eq. (4.4) the coordinates u ± are restricted to be positive. The horizon of the massless hyperbolic black hole ρ + = L can be written in Poincare coordinates as (z, u ± , y) Horizon = (ξ, 0, y) . This horizon intersects with the Poincare boundary z = 0 exactly at the horizon of the Rindler space-time of the CFT, u ± = 0. As ξ increases we go further into the bulk without changing any of the other coordinates. For a two-dimensional boundary we can plot this in the diagram that is on the left of figure 4. In this figure, the massless hyperbolic black hole only describes the bulk region to the right of the horizon. In appendix A we will use this to give a proof of the RT holographic formula for the entanglement entropy of the half-space.

JHEP10(2019)246
Ball region. A completely analogous construction can be made for the ball region by starting from the massless hyperbolic black hole written as and considering the following bulk change of coordinates where w ± = r±t. As we take the boundary limit ρ → +∞ one can check that the conformal transformation in eq. (2.24) is recovered. After some work, the inverse bulk transformation can be found and written as Applying this change of coordinates to the massless hyperbolic black hole we find the AdS Poincare metric Same as before, the Poincare section is not covered entirely. To see what amount is covered by the black hole we can write the horizon ρ + = L in Poincare coordinates, which results in where θ i are the angles parametrizing S d−2 . As u → +∞ we approach the boundary of the Poincare AdS, where the black hole horizon goes to w ± → R that is precisely the boundary of the causal domain of the ball. For a two-dimensional CFT we can plot the surface in the diagram that is on the right of figure 4. This construction was famously developed in ref. [49] to compute the entanglement entropy of the Minkowski ground state reduced to a ball and provide an explicit proof of the RT holographic prescription. In appendix A we show how it can be very naturally extended to give proof of the RT formula for the half-space region.

Final remarks
In this work we have constructed localized thermal states with negative energy density in the causal domain of a ball and the half-space of a CFT in Minkowski space-time. We obtained explicit expressions for the energy density at arbitrary temperatures for a variety of CFTs and space-time dimensions. As the temperature changes these states interpolate between positive and negative energy without violating any of the QEIs present in the literature. In fact, for any two-dimensional CFT we have shown that the zero temperature solution saturates the most general QEI.

JHEP10(2019)246
It would be interesting to extend these results by constructing localized states in other CFTs. This can be done for a CFT in a cylindrical background R × S d−1 by taking the region given by a cap θ ∈ [0, θ 0 ] at t = 0, which allows for a local modular flow. From this we can define a localized thermal state which can be mapped to a thermal state in R × H d−1 [49], so that its energy density can be obtained in the same way as for the ball and half-space in Minkowski. Another setup which allows for the same construction is the static de Sitter patch of a CFT in de Sitter space-time [49,55].
An important feature of all these localized states which makes them appealing is that they can be mapped via a conformal transformation and the AdS/CFT correspondence to black holes with hyperbolic horizon. This provides a tractable setup in which negative energy states can be studied in strongly coupled CFTs, which is very challenging using standard field theory tools. The well known negative mass of the hyperbolic black hole (which is very peculiar from the gravitational perspective) is nothing more than the manifestation of the negative energy density of the boundary field theory.
In the process of investigating the holographic description of the localized thermal states we have found an explicit proof of the Ryu-Takaganayi holographic entropy formula for the vacuum reduced to the half-space. This gives a natural extension of the CHM proof for ball regions presented in ref. [49]. Given the wide range of applications found to the CHM map, one might wonder whether this generalized construction might be of value in similar setups.
For instance, in ref. [83] the CHM mapping was used in order to establish a concrete connection between extended black hole thermodynamics (see ref. [84] for a review) and renormalization group flows in the boundary field theory. It would be interesting to see how this picture can be enlarged when considering the mapping to the half-space instead. Moreover, it might also be valuable to apply this holographic construction to study the entanglement entropy of the half-space under geometric and state deformations. This would be particurlarly interesting given that universal terms are known to arise when considering these types of deformations [85,86].
Using the localized state constructed in this paper it is a simple matter to consider separable states that are defined in the whole Hilbert space. For instance, if we split the t = 0 Cauchy surface in Minkowski in the left and right half-space, the Hilbert space becomes H = H L ⊗ H R and we can consider the following global state where ρ HS (β) is given in eq. (2.7). This might seem worrying given that if we tune the left and right inverse temperatures so that β L/R > 2πα the energy density is negative in both sides. In fact, the total energy appears to diverges to minus infinity E(ρ sep ) → −∞, in direct contradiction with countless of results in the literature. This is resolved by analyzing the energy density of ρ sep precisely at the entangling surface. In appendix E we do so for a separable state constructed from the reduced density operators in the left and right side and show that a positive and divergent contribution arises at the surface due to short distance correlations. This shows that the construction of a separable state such as the one in eq. (5.1) requires and infinite amount of positive energy JHEP10(2019)246 at the entangling surface which must exceed the negative energy contributions present for β L/R > 2πα. Further investigations of these separable states are left to future work.

Acknowledgments
We are grateful for useful comments and/or discussions with Clifford V. Johnson, Juan Hernandez, Robert Walker, Horacio Casini, David Blanco, Robert C. Myers, Andrew Svesko and Cynthia A. Keeler. This work was partially supported by DOE grant DE-SC0011687.

A Rindler entanglement from bulk horizon area
The entanglement entropy of the Minkowski vacuum reduced to the half-space is given by where K η is proportional to the boost generator in eq. (2.7) and from the Unruh effect [53,54] ρ HS is the Minkowski vacuum reduced to Rindler. Since the Von Neumann entropy is invariant under unitary transformations, the entanglement entropy can be computed at any point of the mappings in figure 3.
In particular it can be obtained from the black hole horizon entropy of the massless hyperbolic black hole in eq. (4.3). For Einstein gravity the horizon entropy is given by the Bekenstein-Hawking area law and can be explicitly written as where p is Planck's length and we have used the expression for the generalized central charge a * d in Einstein gravity (D.2). If instead we consider an arbitrary covariant theory of gravity, the hyperbolic massless black hole is unchanged (still given by eq. (4.3)) but the horizon entropy is computed from Wald's functional [87][88][89]. Nonetheless, the end result is the same as in the Einstein case [49] in eq. (A.2).
The volume of the unit hyperbolic plane Vol(H d−1 ) is divergent and must be regularized. Depending on the regularization procedure we can recover either the entanglement entropy of the half-space or the ball. Despite the fact that the Von Neumann entropy is invariant under all the unitary transformations in figure 3, the regularization procedure is not. Depending whether we are interested in the half-space or the ball, it is convenient to write the divergent volume from eqs. (2.10) or (2.28) as where A d−2 is the area of the Rindler entangling surface, an infinite (d − 2)-dimensional plane. The remaining integrals must be regularized by adding the cut-offs ξ min and u max .

JHEP10(2019)246
We can relate them to the cut-off in Poincare coordinates z min by evaluating the bulk change of coordinates in eqs. (4.4) and (4.7) at the horizon ρ + = L ξ min = z min , u max = arcosh (R/z min ) .
With this prescription we can solve the remaining integrals and regulate the hyperbolic volume. For the half-space we obtain the following expression where we have defined = z min and for the d = 2 case we had to introduce and additional long distance cut-off Λ. An analogous expression can be easily written for the case of the ball [90]. Using this in eq. (A.2) we obtain the entanglement entropy of the Minkowski vacuum reduced to Rindler where we have used that a * 2 = c/12 with c the Virasoro central charge [91,92]. Due to the simple geometry of the entangling surface, the entanglement entropy contains no universal terms apart from the two-dimensional case. This means that the coefficient of the area term is regularization dependent. However, for a fixed regularization procedure the entanglement entropy computed via any other procedure will be equivalent. We will use this fact when comparing with the RT formula in the following section.
This result was obtained from the horizon area of the massless hyperbolic black hole at fixed time, that in Poincare coordinates is given by the bulk surface in eq. (4.6) (z, t, x, y) Horizon = (ξ, 0, 0, y) , with ξ ≥ 0. In the d = 2 case it corresponds to the highlighted line in the diagram that is on the left of figure 4, that goes straight into the bulk. For larger dimensions the picture cannot be drawn but is essentially unchanged given that the transverse coordinates y play no fundamental role.

A.1 Matching with RT prescription
We now compute the entanglement entropy of the Minkowski vacuum reduced to Rindler from the Ryu-Takayanagi prescription [51,52], that is given by where ext [A(γ)] is the area of the extremal bulk surface γ whose boundary lies on the entangling surface. While the calculation from the previous section holds for an arbitrary JHEP10(2019)246 theory of gravity, this formula is only expected to be true for holographic CFTs dual to Einstein gravity.
Since the global state is the Minkowski vacuum, we must consider the bulk extremal surface in the Poincare metric (4.5) at t = 0. From the symmetry of the setup, we take an ansatz for the surface that is independent of y, so that its induced area becomes The y integral gives the area of the entangling surface A d−2 , while the remaining is the functional we must extremize. Let us first consider the d = 2 case where the half-space is given by a semi-infinite segment in the boundary. If we add a long distance regulator Λ, the segment becomes finite and given by x ∈ [0, 2Λ]. The curve extremizing the functional (A.6) can be easily computed [51] and is given by the semi-circle z 2 + (x − Λ) 2 = Λ 2 with z > 0. Evaluating the area functional (A.6) along this curve we find where we have regularized the integral the same way as in eq. (A.3), by adding the cut-off z min = . The factor of 2 takes into account the area of both halves of the semi-circle. However, as we take the limit Λ → +∞ we effectively get half of a semi-circle, meaning that we must drop this extra factor (see figure 5). Using this in the RT formula (A.5), we find S RT = 2πL , we find precise agreement. We can compare the RT extremal curve with the horizon of the massless hyperbolic black hole. In figure 5 we have plotted the extremal curve for increasing values of Λ, which limits towards the red vertical line at x = 0 as Λ → +∞. Comparing with the previous section, this red vertical line becomes the bulk horizon at t = 0, highlighted in the diagram that is on the left of figure 4. This means that the Ryu-Takayanagi extremal curve precisely matches with the horizon of the massless hyperbolic black hole. Given that the coordinates y do not play any essential role, this generalizes to arbitrary dimensions where it is not possible to draw the picture.
To evaluate the area of the RT surface for general d we use the result obtained for a strip x ∈ [−Λ, Λ], that is given by [52] ext where = z min , the same regulator. 16 Similarly to the two-dimensional case, we must take the limit Λ → +∞ and divide by a factor of two to account for the area excess. Doing so x z Figure 5. Ryu-Takayanagi extremal curves for CFT 2 /AdS 3 given by semi-circles z 2 +(x−Λ) 2 = Λ 2 with z > 0. In the limit of Λ → +∞ we see how they limit towards the red vertical line, that is precisely the horizon at t = 0 in the diagram that is on the left of figure 4. and using this in eq. (A.5) we find where in the last equality we have used the expression of a * d for Einstein gravity in eq. (D.2). Comparing with eq. (A.4) we find precise agreement. This allows us to conclude that for the Minkowski vacuum reduced to the half-space of a CFT, providing with a proof of the RT prescription in this particular case.

A.2 Renyi entropy
By a slight modification of this approach we can also compute the Renyi entropy, defined as where in the limit q → 1 we recover the entanglement entropy. This expression can be rewritten in terms of the free energy of the thermal state in R × H d−1 ,F (β) as [90,94] An important difference with respect to the entanglement entropy is that the Renyi entropy involves the thermal state in the hyperbolic space-time at any temperature. For the holographic calculation this means that we must consider hyperbolic black holes solutions away from the massless case. Since the solution for β = 2πα depends on the gravity theory under consideration, the Renyi entropy will differ in each case. Table 3. Renyi entropy of the Minkowski vacuum reduced to the half-space for a free massless scalar.

JHEP10(2019)246
Precisely the calculation of eq. (A.8) was considered in ref. [90] for several gravity theories. For Einstein gravity the result is given by [90] and S Horizon is given in eq. (A.2). The only difference with respect to the results in ref. [90] is the regularization of the hyperbolic volume, which in this case is given by eq. (A.3).
Keeping this in mind, one can borrow the results of ref. [90] and obtain the Rindler Renyi entropy from more complicated gravity theories. We also use eq. (A.8) to compute the Renyi entropy directly in field theory. For twodimensional CFTs the free energy can be obtained from the basic thermodynamic relation in eq. (B.26) and the energy density obtained in eq. (2.15), so that we find Taking the q → 1 limit for d = 4 we recover the entanglement entropy computed in ref. [98]. We also find agreement with the holographic result (A.4), using that from eq. (2.20) a * 4 is given by the trace anomaly of a real scalar A 4 = 1/360. If we compare the Renyi entropies for arbitrary q in table 3 with the holographic result in eq. (A.9), we find that the expressions do not agree. This is not a problem since the holographic calculations are expected to hold for strongly coupled CFTs with a large number of degrees of freedom, which is clearly not the case of a free scalar field.

JHEP10(2019)246
For d = 3 space-time dimensions we can use the integral expression for the free energy in eq. (B.27) and write the Renyi entropy as Using numerical integration we can solve the integral and obtain the Renyi entropy as a function of q. In the limit of q → 1 we obtain the entanglement entropy Comparing with the holographic result in eq. (A.4) we see that the area terms is exactly given by a * 3 . The value of a * 3 is computed from eq. (2.20) using the expression for ln[Z(S 3 )] obtained in eq. (2.5) of ref. [78], which gives a * 3 ≈ 0.0102 in precise agreement with eq. (A.10).
The fact that all the different calculations of the entanglement entropy agree serves a check of our results. Despite of the fact that the coefficient of the area term is not universal all our results agree and are consistent because we are always using the same regularization procedure for the hyperbolic volume.
There are several other calculations one could perform regarding the Rindler Renyi entropy. For instance, it would be interesting to compare this approach with the holographic formula for the Renyi entropy proposed in ref. [99] Moreover, one could consider the charged [100] and extended [101] Renyi entropy for the half-space and analyze the analiticity as a function of q by perfoming a similar analysis to the one in ref. [102].

B Conformal scalar in hyperbolic space-time
In this appendix, we apply standard canonical quantization on a scalar field conformally coupled to the hyperbolic space-time and compute the thermal energy density. The systematic canonical quantization of a thermal scalar field in R × H d−1 has not been presented in the literature, though substancial and important work has been previously done in refs. [55,[60][61][62][63][64][65][66][67][68][69][70]. We explicitly do so for arbitrary temperature and space-time dimensions, and compute the thermal two-point function, energy density and partition function.
The action of the scalar field is given by where X a = (η, u, θ i ) and we find convenient to write the space-time metric R × H d−1 as From this we can easily compute the Ricci tensor and scalar, that are given bȳ

JHEP10(2019)246
We have chosen the normalization of the action such that the canonical momentum π(X), is properly normalized and given byπ(X) = ∂ ηφ (X). Upon variation of the action, we obtain the following wave equation where∇ 2 is the Laplacian operator of the metric in eq. (B.2). The differential equation is separable and can be solved explicitly. In appendix C we show that it can be solved by the following mode solution where k = (w, , m), Y m (θ i ) are the spherical harmonics on S d−2 and the functions f w, (u) are explicitly written in appendix C. The coefficient w is real and non-negative, while and m are integers obeying the standard constraints. Since these modes form a complete and orthogonal set (see appendix C for details) we can use them to expandφ(X) andπ(X). Applying standard canonical quantization, we promote the classical fields to operators in the Hilbert space and find where the normalization has been chosen so that the operatorsā † k andā k satisfy andφ(X) andπ(X) verify the standard equal time canonical commutation relation. This allows us to define the ground state (that may not be unique) associated to the hyperbolic space-time asā k |0 Hyp = 0. The rest of the Hilbert space is generated by acting with an arbitrary number of creation operators on |0 Hyp .

B.1 Thermal two point function
To compute the thermal free energy we must first obtain the thermal two point function of the operatorφ(X), that is given bȳ where Z is the thermal partition function andH η is the Hamiltonian in the hyperbolic space-time generating η translations. Instead of computing the trace in eq. (B.7) directly, we note that from the KMS condition [45] the thermal two point function is periodic with period β in the imaginary time direction i.e.,Ḡ β (X, X ) =Ḡ β (X + iβX 0 , X ). We can JHEP10(2019)246 then start from the vacuum two point functionḠ 0 (X, X ), and use the method of images to impose the required periodicity [103] G β (X, X ) = n∈ZḠ 0 (X, X ) η→η+inβ .

(B.8)
This gives a simple procedure for computing the thermal two point function when considering free theories. The vacuum two point function can be easily obtained from the expansion ofφ(X) in eq. (B.6) and the algebra of the creation/annihilation operators, so that we find The summation over and m can be explicitly solved, but the result is very different depending on whether d is even or odd. Because of this, we must consider each case separately.
Even space-time. The vacuum two point function (B.9) can be written explicitly with the aid of the following identity [104] ,m where ∆η = η − η and ∆γ is defined from cosh(∆γ) = cosh(u) cosh(u ) − sinh(u) sinh(u )n.n , (B.10) withn the unit vector of S d−2 given from X a . Though ∆γ has in general a complicated expression in terms of the spatial coordinates (u, θ i ), we can always align our coordinate system on S d−2 so thatn.n = 1 which implies ∆γ = ∆u. For the moment we will keep ∆γ in full generality. Using this identity, the vacuum two point function in eq. (B.9) becomes The resulting w integral is divergent since it is given by an oscillatory function integrated over the real positive line. We can regulate such divergence by adding a small imaginary time component ∆η → ∆η − i so that we get a damping exponential and find This expression should be understood as a distribution, which is no surprise sinceφ(X) is an operator valued distribution. The thermal two point function can be obtained from the method of images by using eq. (B.8). To do so, we first drop the factor i and use that the series can be summed exactly according to

JHEP10(2019)246
where on the right hand side we have defined the dimensionless temperature T = 2πα/β. Using this and eq. (B.11) in eq. (B.8), we obtain the following expression for the thermal two point function (B.13) where we have introduced the i factor again. For any particular space-time dimension the derivative can be easily computed and we can write the thermal two point function explicitly. 17 For the particular case in which T = 1 (that corresponds to β = 2πα) the expression only depends on ∆γ through cosh(∆γ), which means we can solve the derivative for arbitrary values of d and find (B.14) Odd space-time. For odd space-time dimension, we can write an expression for the vacuum two point function (B.9) by using the following identity [104] ,m where ∆γ is again defined from eq. (B.10), and P iw−1/2 (z) is the associated Legendre function [105,106]. Using the following integral representation for P iw−1/2 (z) [104] P iw−1/2 (cosh(∆γ)) = we can write the vacuum two point function in eq. (B.9) as The w integral is the same one we solved for the even d case, so that we find 17 The way in which we have dealt with the i prescription and the method of images is sloppy but gives the right answer. The proper way is the following: first Wick rotate the vacuum two point function in eq. (B.11) to Euclidean signature ∆η → i∆ηe. The Euclidean correlator does not require the i for convergence, so we can set it to zero as long as the operators are time ordered, i.e. ∆ηe = ηe − η e > 0. We can then solve the summation over the images and finally analytically continue to back Lorentzian time ∆ηe = − i∆η, which gives the result in eq. (B.13). We thank David Simmons-Duffin for clarifying this issue.

JHEP10(2019)246
Even though the remaining integral cannot be solved analytically, we can use eqs. (B.8) and (B.12), to obtain the thermal two point function in terms of T = 2πα/β We find that this expression can only be integrated analytically for several rational values of T . For the case in which T = 1 (corresponding to β = 2πα) this can be easily done and we find (B.18) The remaining derivative can be computed explicitly for arbitrary values of d, and we find exactly the same result as in the even case in eq. (B.14). For other integer values of T , the integral in eq. (B.17) can also be solved exactly, though it becomes increasingly complicated.
Thermal behavior of Minkowski vacuum. For β = 2πα we have found that the two point function is given by eq. (B.14) for both even and odd d. This is not a coincide as we can see by applying the conformal transformations relating R × H d−1 to the causal domain of the ball in Minkowski, where the conformal factor is given in eq. (2.27), i.e. Ω(X) = cosh(η/α) + cosh(u). Since the scaling dimension of a free scalar is ∆ φ = (d − 2)/2, the two point function in the causal domain of the ball G β (X, X ) transforms according to Setting the coordinate system so that ∆γ = ∆u and momentarily dropping the i prescription, we can use eq. (B.14) to write the two point function at temperature β = 2πα as (cosh(u) + cosh(η/α)) (cosh(u ) + cosh(η /α)) 2α 2 (− cosh(∆η/α) + cosh(∆u)) Using the change of coordinates in eq. (2.24) (replacing τ → η and R → α) to write this in Minkowski coordinates (t, r, θ i ) we find , that is precisely the Minkowski vacuum two point function [103]. Moreover, since the theory is free and φ(X) is the only primary field, all the correlators are determined from this two point function using Wick's theorem. This means that for an observer restricted to D B , the Minkowski vacuum seems to be a thermal state of inverse temperature β = 2πα. This gives a particular and explicit proof of the much more general result obtained in ref. [49].

B.2 Thermal stress tensor and free energy
We can now use the results from the previous section to compute the thermal expectation value of the stress tensor The operatorT a b is determined from the variation of the action in eq. (B.1) with respect to the metric and can be written in terms ofφ and its derivatives as [107] 18 where we have rearranged the standard expression using the equation of motion in eq. (B.4). From this we can determine the thermal stress tensor from the coincidence limit of the thermal two point functions in eqs. (B.13) and (B.17) and its derivatives. The immediate problem with this coincidence limit is that it gives rise to short distance divergences, which we must be regularized. We can do so in the simplest way, by defining the regularized two point functionḠ reg β (X, X ) according tō where we have chosen the reference temperature as β = 2πα given that it corresponds to the vacuum when mapping back to Minkowski. Using the regularized two point function, we obtain a finite result for the expectation value of the operators in eq. (B.20) where ∂ b is the derivative with respect to X . Let us first make some observations that will simplify the calculation in eq. (B.19). First, notice that the space-time dependence of the thermal two point functions in eqs. (B.13) and (B.17), is entirely written in terms of ∆η and ∆γ. Since taking the coincidence limit is given by (∆η, ∆γ) → 0, this means that φ 2 β will be independent of the space-time coordinates. Thus, the third contribution to the stress tensor in eq. (B.20), which involves derivatives acting onφ 2 drops out.
The first term in eq. (B.20) is the tricky one, given that when taking the spatial derivatives we must differentiate ∆γ, whose complicated spatial dependence is given through eq. (B.10). The computation can be simplified by noting that since the hyperbolic plane H d−1 is maximally symmetric and the thermal state is by definition homogeneous, there are no preferred spatial directions in the index structure of T a b β . Since the second term in eq. (B.20) is given by the Ricci tensor that is already homogeneous in space (see eq. (B.3)), all the spatial components of ∂ aφ ∂ bφ β are equal. We can then compute the (u, u) component, and use it to infer the rest of them. In other words, the thermal stress tensor can be written as T a b β = diag −Ē,p, . . . ,p , 18 We must consider a different sign on the third term of ref. [107] due to the signature convention. For the correct sign in four dimensions, see for example ref. [108].

JHEP10(2019)246
with the energy densityĒ and the pressurep given bȳ Notice that we have not used the zero trace condition of the stress tensor to relate the energy and pressure according toĒ(β) = (d−1)p(β). Such relation is not at all obvious from eq. (B.23) but will be true when computing explicitly both quantities through eq. (B.22), using the thermal two point functions in eqs. (B.13) and (B.17). Due to the regularization procedure (B.21), the energy density computed in this way is determined up to an overall constant, which can be fixed from the knowledge of the energy density at any given fixed temperature. In ref. [37] (see also [36,59]) the thermal energy density at temperature β = 2πα was computed for an arbitrary CFT and shown to be given byĒ where A d is the coefficient of the Euler density in the trace anomaly (see ref. [77] for conventions). Using this, we can fix the undetermined constant and unambiguously determine the thermal energy density. Before doing so we note that we can also obtain the thermal free energy, defined from the partition function Z = Tr(e −βHη ) as whereĒ(β) is the total thermal energy andS(β) the Von-Neumann entropy of the thermal state. Differentiating with respect to β we obtain the first law, which gives an integral expression forS(β) in terms ofĒ(β). We can then express the free energy entirely in terms ofĒ(β) asF whereF 0 is an integration constant. We now proceed to find explicit expressions forĒ(β), p(β) andF (β) using eqs.  Table 4. Thermal energy and free energy of a scalar field conformally coupled to the hyperbolic background R × H d−1 , written in terms of the dimensionless temperature T = 2πα/β for the first few even space-time dimensions.
Odd space-time. For odd values of d, the thermal two point function has an integral expression (B.17) which makes the computations more complicated. However, for d = 3, we can still write the energy density from eq. (B.23) in terms of the following integral T .
For several rational values of T the integral can be solved exactly, the most interesting being the zero temperature case where we find with ζ(z) is the Riemann zeta function. For general T , we can solve through numerical integration and obtain the plot in figure 1, the red dots corresponding to values of T which allow for exact integration. As required from eq. (B.24) the expression vanishes for β = 2πα. Using this in eq. (B.26) we can also find an integral expression for the free energȳ that can be solved through numerical integration.

C Solution to hyperbolic wave equation
In this appendix we show how to solve the wave equation (B.4) of a conformally coupled scalar field to the hyperbolic space-time metric R × H d−1 . Though the solution and its properties can be found in the excellent ref. [104], we find it instructive to show its derivation since it is missing from [104]. It will be convenient to define the coordinate z = cosh(u), so that the hyperbolic Laplacian in eq. (B.4) can be easily computed and we find

JHEP10(2019)246
where ∆ S d−2 is the Laplacian of the unit sphere S d−2 . Considering the ansatz in eq. (B.5) and using that the eigenvalues of the spherical harmonics are given by − ( + d − 3), we find the following differential equation for f w, (z) To solve this, we first consider the behavior of f (z) when z ∼ ±1, where it is easy to see that in this limit the solution is given by f (z) ∼ (z ∓ 1) /2 . It is then useful to write the function as f (z) = (z 2 − 1) /2 h(z), and plug this into eq. (C.1), so that we obtain the following differential equation for h(z) The solution of this equation splits depending on whether d is even or odd.
Even space-time. For even values of d it is convenient to define the factor n = (d − 2)/2 + , that is an integer larger or equal than one. For n = 0, eq. (C.2) becomes Writing this equation in terms of the u coordinate z = cosh(u), we obtain a harmonic oscillator equation with frequency w. We can then write the solution for the n = 0 case as h n=0 (z) ∝ cos(wu). For arbitrary values of n, we notice that if we take the n-th derivative of eq. (C.3) with respect to z we get n=0 (z) is the n-th derivative of h n=0 (z). We recognize this equation as the one we started from in eq. (C.2). This means that the general solution in the u variables is given by taking derivatives of the simple n = 0 solution with N a normalization constant.

JHEP10(2019)246
Since we want the solution to be regular when z ∼ 1, we consider h m=0 (z) ∝ P iw−1/2 (z). For arbitrary m ∈ Z ≥0 , we take the m-th derivative of eq. (C.6) with respect to z, and find is the m-th derivative. This is again the same equation we started from (C.5), which means that the general solution can be written in the u coordinate by taking derivatives of the m = 0 solution (C.7) Completeness and orthogonality. In ref. [104] it was shown that these solutions form an orthonormal set as long as the normalization constant N in eqs. (C.4) and (C.7) is taken as Moreover, the following completeness relation was shown to be true for the mode solutions H k (X) in eq. (B.5) ,m where δ hyp. (X, X ) is the Dirac delta in the unit hyperboloid. These relations are crucial for the derivation of the commutation relations ofφ(X) andπ(X).

D Quasi-local stress tensor of hyperbolic black hole
In this appendix we obtain the thermal energy density in the hyperbolic space-time R×H d−1 for a strongly coupled CFT using the AdS/CFT correspondence. We do so by computing the quasi-local stress tensor [74,75] of the appropriate black hole solutions for Einstein and Gauss-Bonnet gravity theories.

D.1 Einstein gravity
Let us start by considering Einstein gravity, which has a bulk action given by where p is Planck's length, L the AdS radius and R the Ricci scalar. The generalized central charge of the dual field theory a * d defined in eq. (2.20), is computed from the pure AdS solution according to [77] where L AdS is the Lagrangian density in eq. (D.1) evaluated at the pure AdS solution.
The thermal state in the background R × H d−1 is dual to a black hole with a hyperbolic horizon where dH d−1 is the line element of a unit hyperbolic plane and the radial function V (ρ) is fixed from the equations of motion according to with µ an integration constant. We have rescaled the time coordinate η in eq. (D.3) so that we recover the hyperbolic d-dimensional metric with radius α at the AdS boundary ρ → +∞. This space-time has a causal horizon at ρ = ρ + defined from g ρρ (ρ + ) = 0. From this constraint we can write the integration constant µ in terms of ρ + as The associated inverse temperature β can be easily computed from the surface gravity κ where we have defined the dimensionless temperature T = 2πα/β. We now wish to compute the quasi-local stress tensor associated to this solution. To do so, we must first introduce a radial cut-off ρ 0 and consider the following regularized on-shell action where the coordinates X a parametrize the boundary ρ = ρ 0 and K is the trace of the extrinsic curvature associated to the boundary with metric h ab . The second term is the Gibbons-Hawking-York (GHY) boundary term that has to be considered for the variational principle to be well defined. The third term is the counter term needed to regulate JHEP10(2019)246 divergences and yield a finite result [75,109,110]. The structure of this term depends on the space-time dimensions. From the on-shell action we can define the quasi-local stress tensor as [74] T For d ≤ 4 this can be computed and gives [75] d−1 (D. 8) where G ab = R ab − h ab R/2 is the Einstein tensor of the boundary metric. The first term comes from the GHY contribution while the second from the counter term. Computing this explicitly we can easily guess the general expression for arbitrary values of d by requiring that the correct ADM mass is recovered when computing the conserved charge under time translations. The end result is given by where we have used eqs. (D.2) and (D.5). The constant term c d is a Casimir type contribution that is non vanishing only for d even and has been computed in ref. [110] for d even , where Vol(S d−1 ) = 2π d/2 /Γ(d/2). From this we can compute the expectation value of the stress tensor operatorT a b in the thermal stateρ(β) in the hyperbolic background as Doing so, we can read off the energy density as where we have defined g(β) = x + in eq. (D.6) for notation convenience. The first term vanishes when β = 2πα, so that the energy density in the hyperbolic space-time at β = 2πα is given by the second term

D.2 Gauss-Bonnet gravity
We can now consider higher curvature corrections to the bulk action (D.1) by adding a Gauss-Bonnet term, which will modify the equations of motion for d ≥ 4. Since the calculation becomes more complex, we consider the d = 4 case that will capture most of the relevant features. In this case, the bulk action is given by Pure AdS will be a solution to the equations of motion as longs as its radiusL is given bỹ From this we can compute the value of the generalized central charges of the boundary CFT, given by the coefficients of the anomalous terms appearing in the trace of the stress tensor. In this case, the two coefficients a and c will not be the same (as they are for Einstein gravity) and can be found to be [77] The thermal state in the boundary theory will be described by a black hole solution with hyperbolic horizon, that is given by [111] and µ is an integration constant. Taking the boundary limit ρ → +∞ we recover the boundary metric R × H 3 of the CFT. From the horizon radius ρ = ρ + defined from g ρρ (ρ + ) = 0, we can write the integration constant µ as µ L 2 = x 4 + − x 2 + + λ , The temperature is computed from the surface gravity κ evaluated at the horizon and it gives Though we could invert this expression to find x + as a function of β, we prefer not to do it explicitly since it involves solving for the root of a cubic polynomial.

JHEP10(2019)246
The quasi-local stress tensor is computed again from eq. (D.7) but considering the generalizations of the GHY and counter terms appropriate to Gauss-Bonnet gravity [112,113]. Doing so, the stress tensor is found to be [113] 3 The term involving the Q a b tensor comes from the Gauss-Bonnet contribution to the GHY term. In the limit of λ → 0 we recover the Einstein expression (D.8) evaluated at d = 4. Using the hyperbolic black hole metric (D.14), we can compute this tensor and find The parameters λ and f ∞ can be written in terms of the CFT central charges a and c using eq. (D.13) (D.17) Taking the boundary limit as in eq. (D.9) we find that the thermal energy density of the CFT is given byĒ where we have used eq. (D.15). Apart from the β = 2πα case, where the first term vanishes and the energy density is given in eq. (D.11), the result is different from the one obtained from the Einstein calculation (D.10). The parameter x + can be written explicitly in terms of β and the central charges by inverting eq. (D.16) and using eqs. (D.17). In the zero temperature limit the energy density simplifies and is given bȳ

E Surface energy in separable states 19
Consider a QFT in d-dimensional Minkowski space-time in a state described by any density operator ρ. The Cauchy surface t = 0 can be split in half by the infinite plane x = 0, 19 We thank Juan Hernandez for helpful discussions which resulted in this appendix and an anonymous referee whose inquires resulted in its inclusion in this paper.

JHEP10(2019)246
where we write the spatial coordinates as x = (x, y). Assuming that the total Hilbert space admits a tensor product structure in terms of the left and right degrees of freedom H = H L ⊗ H R , we can define the reduced density operators ρ L/R by tracing over the complementary regions. These operators satisfy the following property where O L/R is any operator localized in the left and right side respectively. From this we can build a separable state that is globally defined in H as ρ sep = ρ L ⊗ ρ R , whose expectation value on any local observable O L/R is given by The question we want to address is what happens for an observable localized precisely at the entangling plane, i.e. lim x→0 O(x, y) ρsep . In particular, we are interested in its energy. For definiteness, let us consider a scalar field whose action is given by where V (φ) is an arbitrary function of φ with a minimum at φ = 0. From the conjugate momentum π(t, x) = ∂ t φ(t, x) we can easily compute the hamiltonian density which gives the following expression for T tt (t, x) where ∇ gives the spatial derivatives in (x, y). Since it contains quadratic and higher product of of the fields evaluated at coincident points, this operator must be regularized by a normal ordering procedure where |0 M is the Minkowski vacuum state. This subtraction ensures the cancellation of the UV divergences for ordinary states built from the vacuum. To compute the energy density of the separable state at the entangling surface (t, x, y) = (0, 0, y) we discretize the x coordinate x n = (2n − 1) with n ∈ Z, and then take the limit → 0. For an arbitrary power of the field φ we define its expectation value on ρ sep at the entangling surface as where we are omitting the coordinates t and y in the dependence of φ for notation convenience. Using eq. (E.1) we can write both factors in terms of the expectation value of ρ. Since this global state has no problem at the surface x = 0, the → 0 limit can be taken directly and we find Tr H ρ sep φ k (0) ≡ lim

JHEP10(2019)246
This means that for arbitrary powers of φ there is no additional surface contribution and eq. (E.2) still holds at (t, x, y) = (0, 0, y). Though this is still true for derivatives in the y direction, we must be careful when considering derivatives across the entangling surface, in the x direction. In this case we must also discretize the derivative so that the expectation value of (∂ x φ) 2 becomes 20 The key point is that when expanding the square we will encounter product of the fields in opposite sides of the entangling surface, whose expectation value will factorize in the separable state φ( ) ρ φ(− ) ρ . This means that in order to recover (∂ x φ(0)) 2 ρ on the right hand side, we must add additional terms in which the expectation value does not factorize. Working this out, the additional term can be written as The function C(ρ; , y) precisely captures the correlations of ρ across the entangling surface. Moreover, in the limit of → 0 it is non-negative since each term can be written as When taking this limit the second term in eq. (E.5) diverges from the 1/ 2 factor and from the coincidence limit of the two point function. Notice that applying normal ordering on (∂ x φ) 2 does not cancel either of these divergences.
Using We explicitly see there is a surface contribution to the energy density which diverges to positive infinity in the continuum limit. Integrating over all space we can also compute the total energy. Assuming that the initial global state ρ is homogeneous (a thermal state for instance), the term C(ρ; , y) is independent of y and we find The factor proportional to the spatial volume R d−1 comes from the integral in y and a remaining factor −1 . This divergence is not surprising since it is expected for a homogeneous state. On the other hand, the divergence of C(ρ; ) is induced by UV correlations and shows that in order to construct a separable state in the continuum QFT we require an infinite amount of positive energy localized around the entangling surface. 20 One might also be worried about the time derivative of the field that is hidden in the conjugate momentum π(t, x) = ∂tφ(t, x). It can be treated in the same way by going to null coordinates u± = x ± t and applying this same procedure to each direction.

JHEP10(2019)246
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.