Gravitational Dynamics From Entanglement"Thermodynamics"

In a general conformal field theory, perturbations to the vacuum state obey the relation \delta S = \delta E, where \delta S is the change in entanglement entropy of an arbitrary ball-shaped region, and \delta E is the change in"hyperbolic"energy of this region. In this note, we show that for holographic conformal field theories, this relation, together with the holographic connection between entanglement entropies and areas of extremal surfaces and the standard connection between the field theory stress tensor and the boundary behavior of the metric, implies that geometry dual to the perturbed state satisfies Einstein's equations expanded to linear order about pure AdS.


Introduction
Since the first connections between gravity and thermodynamics were realized in the study of black hole physics [1,2,3], various attempts have been made to derive Einstein's equations from the thermodynamics of some underlying degrees of freedom, starting with Jacobson's intriguing paper [4] (see also [5,6]). With the AdS/CFT correspondence [7,8], the underlying degrees of freedom for certain theories of gravity with AdS asymptotics have been explicitly identified as the degrees of freedom of a conformal field theory. It is thus interesting to ask whether the Einstein's equations in the gravitational theory can be derived from some thermodynamic relations for the CFT degrees of freedom.
In this note, following [9,10,11,12,13] we demonstrate that at least to linear order in perturbations around pure AdS, Einstein's equations do follow from a relation dE = dS closely related to the First Law of Thermodynamics, but where the entropy S is the entanglement entropy of a spatial region in the field theory, and E is a certain energy associated with this region. A key point is that dS and dE can be defined and the relation dS = dE shown to hold for arbitrary perturbations around the vacuum state; thus, the relation is more general than the ordinary first law which applies only in situations of thermodynamic equilibrium.
The specific relation we employ, which we write as was derived recently by Blanco, Casini, Hung, and Myers in [13]. Here A represents a ball-shaped spatial region, δS A represents the change in entanglement entropy of the region A relative to the vacuum state, and δE hyp A represents the "hyperbolic" energy of the perturbed state in the region A, the expectation value of an operator which maps to the Hamiltonian of the CFT on hyperbolic space times time under a conformal transformation that takes the domain of dependence of the region A to H d × time. We review the derivation of this relation in section 2 below.
For holographic conformal field theories, each side of (1) has an interpretation in the dual gravity theory. Assuming that the perturbed state |Ψ corresponds to some weakly-curved classical spacetime, the entanglement entropy S A may be calculated via the Ryu-Takayanagi proposal [9] and its covariant generalization [10] as the area of an extremal surface in the bulk, as we review in section 3.1. In section 3.2, we recall that the energy δE A can be calculated from the asymptotic behavior of the metric. Thus, the field theory relation δS A = δE hyp A translates to a constraint on the dual geometry. In section 4, we show that this constraint is precisely that the bulk metric corresponding to |Ψ must satisfy Einstein's equations to linear order in the perturbation around pure AdS (the geometry corresponding to the CFT vacuum state). That solutions of Einstein's equations satisfy δS A = δE hyp A has already been shown in [13] (see also the related earlier work [12,14,15]). For completeness, we provide an alternate demonstration of this in section 4.2. In section 4.3, we go the other direction, showing that any perturbation to pure AdS satisfying δS A = δE hyp A must satisfy Einstein's equations. This requires more than simply reversing the arguments of section 4.2 (or of [13]). In particular, demanding that δS A = δE hyp A for all ball-shaped spatial regions A in a particular Lorentz frame only places mild constraints on the metric, determining the combination H xx + H yy in terms of the other components. It is only when we demand that δS A = δE hyp A in an arbitrary Lorentz frame (i.e. for ball-shaped regions on arbitrary spatial slices) that the full set of linearized Einstein's equations is implied.
In appendix A, we give an alternative proof that Einstein's equations imply δS A = δE hyp A that is perhaps more straightforward, but assumes that the metric is analytic. We conclude in section 5 with a discussion.

Entropy-energy relation
In this section, we review the relation δS A = δE hyp A , derived by Blanco, Casini, Hung, and Myers in [13] as a special case of an inequality that follows from the positivity of relative entropy.

General expression for variation of the entanglement entropy
Consider a CFT on R d,1 in some state |Ψ . Choosing a spatial region A, define ρ A to be the reduced density matrix associated with this region for the state |Ψ , From this, we can define the modular Hamiltonian H A by For general states, this modular Hamiltonian is not related to the usual Hamiltonian, and cannot be written as the integral of a local density. We now consider an arbitrary variation of the state |Ψ . The change in entanglement entropy S A for the region A is given by where we have used the fact that tr(δρ A ) = 0, a consequence of assuming that the density matrix has a fixed normalization. In the last line, H A is the original modular Hamiltonian associated with the density matrix ρ A for the original state. Thus, we have the general relation valid in any spatial region A for arbitrary perturbations of an arbitrary state.
"Thermodynamic" relation for perturbations around the vacuum state We now specialize to the case where |Ψ is the vacuum state, and the region A is a ball of radius R. In this case, the domain of dependence of the ball-shaped region 1 can be mapped by a conformal transformation to hyperbolic space times time. As shown in [11], such a transformation maps the vacuum density matrix for the region A to the thermal density matrix e −βH hyp for the hyperbolic space theory, where the temperature is related to the hyperbolic space curvature radius R H by β = 2πR hyp . In this case H hyp is the integral of the local operator T 00 hyp over hyperbolic space. Mapping back to the ball-shaped region of Minkowski space, it follows [11] that the modular Hamiltonian can be written as where T 00 is the energy density operator for the CFT and r is a radial coordinate centered at the center of the ball.
In this case, we have i.e. the variation in the expectation value of the vacuum modular Hamiltonian H vac A under a small perturbation away from the vacuum state is equal to the change in the "hyperbolic" energy of the region. Thus, the general relation (2) gives reminiscent of the First Law of Thermodynamics. We emphasize however that the entanglement entropy S A can be defined for any state, in contrast to the usual thermodynamic entropy which applies to equilibrium states. Thus, (4) represents a much more general result.

Gravitational implications of dS = dE in holographic theories
Let us now consider the case of a holographic conformal field theory on Minkowski space, whose states correspond to asymptotically AdS spacetimes in some quantum theory of gravity. In this case, each side of the relation δS A = δE hyp A has a straightforward gravitational interpretation. As we review below, the left side may be calculated using the Ryu-Takayanagi proposal [9,10], while the right side can be calculated from the asymptotic form of the metric. The equality of these quantities represents a constraint on the gravitational dynamics implied by the dual field theory. In the next section, we show that this constraint is precisely equivalent to Einstein's equations linearized about AdS.

Gravitational calculation of dS
According to the Ryu-Takayanagi proposal [9] and its covariant generalization [10], the entanglement entropy S A for a state with a geometrical gravity dual is proportional to the area of the extremal co-dimension two surfaceÃ in the bulk whose boundary coincides with the boundary of the region A on the AdS boundary, The surfaceÃ is an extremum of the area functional the extremal surface ending on the spatial boundary sphere of radius R is described by the spacetime surface We now consider a small variation In this case, the extremal surface changes, and the new area is where the variation δX will be of order δG. Since the original surface was extremal, we have . Thus, the variation of the surface gives rise to changes in the area that start at order δG 2 . To find the order δG variation of the area, we need only evaluate expanded to linear order in δG. We find that 2 Throughout this paper, we set the AdS radius to one.
where we have used lower-case letters to represent pullbacks to the extremal surface. Thus, for field theory state |Ψ close to the vacuum state with dual geometry described by (7), the change in the entanglement entropy for region A relative to the vacuum state is given by an integral of the metric perturbation over the original extremal surfacẽ A. Using the explicit metric (5) and parameterizing the extremal surface (6) by the boundary coordinates x i , we have finally that

Gravitational calculation of dE
General asymptotically AdS spacetimes with a Minkowski space boundary geometry may by described using Fefferman-Graham coordinates by a metric where pure AdS, dual to the CFT vacuum, corresponds to H µν = 0. With this parametrization, the expectation value t µν of the field theory stress-energy tensor is simply related to the asymptotic metric by [16,17] Thus, we may write the change in the hyperbolic energy (3) relative to the vacuum state as This is an integral of the boundary value of H over the region A.

Derivation of linearized Einstein's equations from dE = dS
We are now ready to demonstrate that using the holographic dictionary reviewed in the previous section, the CFT relation δS A = δE hyp A is equivalent to the constraint that metric corresponding to the perturbed CFT satisfies Einstein's equations to linear order. For clarity, we focus on the case of 2+1 dimensional conformal field theories, corresponding to gravitational theories with four non-compact dimensions. However, the result can also be proven for general higher-dimensional theories.
Using the results (9) and (11), the CFT relation δS A = δE hyp A implies that a disk of any radius R centered at any point (x 0 , y 0 ) on the boundary, the integral x + x 0 , y + y 0 )xy (12) over the bulk extremal surface must equal the integral over the z = 0 surface, where we have absorbed a factor of 1/8G N R to define δŜ(R, x 0 , y 0 ) and δÊ(R, x 0 , y 0 ) (we drop the hats from now on). We will now show that this equality is true for all disks in all Lorentz frames if and only if the bulk metric satisfies Einstein's equations to linear order in H. As shown in [13], these are equivalent to the set of equations that arise by plugging the Fefferman-Graham form of the metric (10) into the zz, zµ, and µν components of Einstein's equations respectively and using the fact that H is regular at z = 0. In (14), the last equation is equivalent to saying that each component of z 3 H must satisfy the Laplace equation on the AdS background.

Proof that δS = δE for solutions of Einstein's equations
We begin by showing that solutions of the linearized Einstein's equations obey the equality δS = δE. This has already been checked in section 3.1 of [13] by demonstrating the result for a complete basis of solutions to the equations (14). In this section, we offer an alternative proof that does not require using an explicit basis of solutions. A third proof that is perhaps more straightforward but assumes a series expansion of H is given in appendix A. Using the equations (14), we have: We would like to use the last equation to eliminate H xy from (12). However, we have H xy rather than ∂ x ∂ y H xy in (12). To make progress, we begin by differentiating δS by x 0 and y 0 (the coordinates of the center of the boundary disk). This gives Now, using (15), we have 17) It is straightforward to check that this expression is equal to the integral over the extremal surface of an exact form dA, where A is defined for all (x, y, z, t) as By Stokes theorem, this equals the integral of A over the boundary of the extremal surface, so we have In the second step, we have used the fact that all other terms in A vanish for z = 0. Similarly, we find that ∂ x 0 ∂ y 0 δE may be written as where we can choosê Again, using Stokes theorem, this reduces to the integral of (3/2)Â over the boundary, so We conclude that for any H satisfying Einstein's equations, where C x and C y are some functionals linear in H that do not depend on y 0 or x 0 respectively. Now, consider the class of functions H that vanish for sufficiently large x 2 0 + y 2 0 at the time t = 0 where we evaluate δS and δE. In this case, fixing any x 0 and taking y 0 → ∞ or fixing any y 0 and taking x 0 → ∞, the left side must vanish. For this to be true on the right side, both C x and C y must be constant (as functions of x 0 and y 0 ), with C x + C y = 0. Thus, the right side vanishes for any H that vanishes as x 2 0 + y 2 0 → ∞. But more general H can be written as linear combinations of such functions, and since the right side is a linear functional in H, it must vanish for all H. This completes the argument that δS A = δE hyp A for solutions of Einstein's equations.

Proof that δS = δE implies the linearized Einstein's equations
In this section, we go the other direction to show that the relation δS = δE implies that the metric satisfies Einstein's equations to linear order, i.e. that the equivalence of (12) and (13) implies the relations (14). Given the boundary stress tensor t µν , let H EE µν be the corresponding metric perturbation that follows from Einstein's equations, i.e. the solution of (14) satisfying H EE µν (0, t, x, y) = (16πG N /3)t µν . We will show that there is no other H with these boundary conditions for which δS = δE in all frames of reference.
Suppose there were another H for which δS = δE for all disk shaped regions in all Lorentz frames. Then the difference ∆ = H − H EE must satisfy and for arbitrary R, x 0 , and y 0 , and in an arbitrary Lorentz frame. Let us first see the consequences of demanding this result in a fixed frame. To begin, we note that (20) may be expanded in powers of R using the basic integral Defining we find that (20) becomes 3 where the C coefficients can be read off from (23). As examples, the first few equations give yy (t, x 0 , y 0 )) We see that this set of equations completely determines the combination ∆ xx + ∆ yy at each order in z in terms of the lower order terms in the expansion of ∆. However, apart from the constraint (19) on the boundary behavior (equivalent to ∆ (0) µν = 0), the remaining elements of ∆ µν are completely unconstrained.
To constrain ∆ µν further, we need to use the requirement that the relation (20) should hold in an arbitrary Lorentz frame. Thus, for each choice of reference frame, we will have equations analogous to (24). Specifically, consider a general boost In the equations for a general frame of reference obtained by such a boost, the left sides in (24) will be replaced by Up to an overall constant factor, this gives Now, consider the general version of the second equation in (24) (the first equation already holds by (19)). This requires the vanishing of For a fixed x 0 and y 0 , this is a polynomial in β i that must vanish for all values of β i . Thus, the polynomial must be identically zero. At order β 0 , this gives ii (t, x 0 , y 0 ) = 0 as we had before. At order β, we get At order β 2 , this gives ii (t, x 0 , y 0 ) = 0 and ∆ kk (t, x 0 , y 0 ) = 0 .

Thus, we have ∆
(1) µν = 0. We can now continue to analyze the remaining equations in (24) in turn. Supposing that we have shown ∆ (k) µν = 0 for k < n, the general version of the nth equation in (24) requires the vanishing of since the right hand side in (24) will be zero. Repeating the analysis above, we conclude that ∆ (n) µν = 0. By induction, this holds for all n, so we have shown that ∆ µν = 0, completing the proof.

Discussion
In this paper, we have seen that to linear order in perturbations about the vacuum state, the emergence of gravitational dynamics in the theory dual to a holographic CFT is directly related to a general relation satisfied by CFT entanglement entropies on ballshaped regions. This relation is closely related to the First Law of Thermodynamics, but is more general since it applies to arbitrary perturbations of the state rather than perturbations for which the system remains in thermal equilibrium.
Some of the derivations we have provided are specific to the case of four-dimensional gravity. However, the proof given in [13] that Einstein's equations imply δS = δE, and our proofs in section 5.3 and appendix A that δS = δE implies the linearized Einstein's equations, are valid in any number of dimensions.
The linearized Einstein's equations we derived are for the metric components in the field theory directions and radial direction of the bulk. Any additional fields in the gravitational theory, including metric components in any compactified directions, are not constrained by the CFT relation we have considered. At linear order, the equations for these fields decouple from the linearized Einstein's equations for the metric in the non-compact directions. Thus, we can say that the universal relation δS = δE is equivalent to the universal sector of the linearized bulk equations.
Our results do not imply that all holographic theories are dual to gravitational theories whose metric perturbations satisfy Einstein's equations. In this paper, we assumed that entanglement entropies are related to areas via the usual Ryu-Takayanagi formula, and that the stress-energy tensor in the dual field theory is related to the asymptotic form of the metric. In more general theories, the entanglement entropy may correspond to a more complicated functional of the bulk geometry and the relation between the stress tensor and asymptotic metric may be modified. In these cases, we expect that the bulk equations will be different, for example involving α ′ corrections with higher-derivative terms. However, it may be possible following the methods in this paper to derive the linearized version of these more general equations given a particular choice for the holographic entanglement entropy formula and the holographic formula for the stress tensor.
It will be interesting to see whether the first non-linear corrections to Einstein's equations in the bulk are equivalent to some simple property of entanglement entropies.

Acknowledgments
This research is supported in part by the Natural Sciences and Engineering Research Council of Canada.
A Alternative derivation of linearized Einstein's equations from δE = δS In this appendix, we offer an alternative proof that solutions of Einstein's equations satisfy δS A = δE hyp A . This proof replaces δS A = δE hyp A with the infinite set of relations obtained by matching the terms in the power series expansion of this relation in R, the radius of the disk A, as we did in section 4.2.

A.2 Checking that solutions of Einstein's equations satisfy δS = δE
Using these expansions, it is straightforward to verify that any solution of the linearized Einstein's equations (14) satisfies δE = δS, as was done originally in [13] and by another alternative approach in section 4.