What is the Entropy in Entropic Gravity?
Sean M. Carroll and Grant N. Remmen
[7mm] Walter Burke Institute for Theoretical Physics,
California Institute of Technology, Pasadena, CA 91125††e-mail: email@example.com,firstname.lastname@example.org
We investigate theories in which gravity arises as a consequence of entropy. We distinguish between two approaches to this idea: holographic gravity, in which Einstein’s equation arises from keeping entropy stationary in equilibrium under variations of the geometry and quantum state of a small region, and thermodynamic gravity, in which Einstein’s equation emerges as a local equation of state from constraints on the area of a dynamical lightsheet in a fixed spacetime background. Examining holographic gravity, we argue that its underlying assumptions can be justified in part using recent results on the form of the modular energy in quantum field theory. For thermodynamic gravity, on the other hand, we find that it is difficult to formulate a self-consistent definition of the entropy, which represents an obstacle for this approach. This investigation points the way forward in understanding the connections between gravity and entanglement.
The existence of a profound relationship between gravity and entropy has been recognized since the formulation of the laws of black hole mechanics  and the derivation of the Bekenstein-Hawking entropy [2, 3]. More recently, ideas such as the holographic principle [4, 5], black hole complementarity , the gauge/gravity correspondence [7, 8, 9], and the firewall puzzle [10, 11] have provided further hints that a deep relationship between gravitation and entropy will be present in the ultimate theory of quantum gravity.
In the quest to explore this connection and further our understanding of quantum gravity, there have been several proposals for directly linking gravity and entanglement. These proposals fall essentially into two distinct types, which we dub holographic gravity (HG) and thermodynamic gravity (TG). The labels are not perfect, as HG is related to thermodynamics and TG is related to holography, but they will serve as a useful shorthand for the two approaches.
In holographic gravity, one considers variations of the spacetime geometry and quantum state within a region, posits a relationship between the change in entanglement entropy and the change in the area of the boundary, and then uses these constraints to derive the Einstein equation in a bulk spacetime. This approach was used successfully in Refs. [12, 13] in an AdS/CFT context (see also LABEL:Swingle) and in LABEL:Jacobson2 in a more general setup based on local causal diamonds. In holographic gravity, gravity emerges as a dual description of the entanglement entropy of the degrees of freedom in a local region.
In thermodynamic gravity, there is no variation over different states. Rather, one fixes a dynamical spacetime and a particular energy-momentum background. One then posits a relationship between some entropy flux (defined using the energy-momentum tensor) and some cross-sectional area (e.g., of a given null surface). Using this area-entropy relation, one derives the Einstein equations. This was the method of LABEL:Jacobson, as well as Refs. [17, 18, 19, 20]. While these approaches are similar in spirit, Verlinde  emphasizes the existence of an entropic force from the gradient of the entropy, while Jacobson  derives the Einstein equation directly as a local equation of state.
Open questions are present in both HG and TG approaches. For definiteness, we will focus on Jacobson’s version of HG in LABEL:Jacobson2 and of TG in LABEL:Jacobson. In the HG case, we clarify the underlying assumptions of the theory and present arguments in their favor. In particular, we show how new results on entanglement entropy and the modular Hamiltonian in quantum field theory [21, 22] can be used to justify a crucial infrared assumption in HG. On the other hand, we find that TG exhibits a tension related to the fact that the “entropy” is not well-defined in this theory. We will argue that it is difficult to find a self-consistent definition of the entropy in TG approaches. Our results indicate that holographic gravity is successful and points the way toward promising future results; reassuringly, holographic gravity is most closely related to AdS/CFT, in that it makes gravity in the bulk of a region dual to entanglement constraints on the boundary, in a sense that we will explore later.
The remainder of this paper is organized as follows. In Sec. 2 we first review the holographic formulation of entropic gravity, identify its axioms, and examine its derivation of the Einstein equation. Afterwards, we demonstrate that the axioms of this theory can be justified in part using recent results in quantum field theory. In Sec. 3 we examine the formulation of the thermodynamic approach to entropic gravity and demonstrate the origin of the difficulties it experiences in defining the entropy. Finally, we summarize and discuss future directions in Sec. 4.
2 Holographic Gravity
After reviewing the motivation for relating entropy, particularly that of entanglement, with gravitation, we codify the axioms of holographic gravity and demonstrate the derivation of the Einstein equation. We then investigate how to justify and make rigorous each of the postulates underlying HG.
We start with the underlying motivation of the holographic approach to entropic gravity. One of the most important facts that we (believe we) know about quantum gravity is the proportionality relationship between entropy and horizon area [23, 3],111Throughout, we leave explicit in expressions leading to the derivation of the Einstein equation, as a bookkeeping device for semiclassicality.
The derivation of this fact is phenomenological: the energy of the black hole is given by its mass, Hawking used quantum field theory in curved spacetime to calculate the temperature , and then we can use the thermodynamic relation to define the entropy. One expects that this entropy represents the logarithm of the underlying degrees of freedom in the true theory of quantum gravity; this expectation has been successfully borne out in certain stringy models of black holes [24, 25].
In the black hole case, it is clear what the entropy is actually the entropy of: the black hole, or at least the degrees of freedom that macroscopically appear to us as a black hole. That is a system that can be objectively defined in a way upon which all observers would agree. But the same formula (1) applies to the horizon of de Sitter space, as shown by Gibbons and Hawking . The de Sitter horizon is an observer-dependent notion; given any worldline extended to future infinity, the horizon separates events within the causal diamond of that worldline from those outside. This suggests that the identification of the entropy as belonging to the system described by the horizon applies more universally than to fixed objects like black holes and indeed may apply to horizons in general.
Another clue comes from the existence of Rindler horizons in Minkowski space. Starting from the vacuum state of a general interacting quantum field theory, the Bisognano-Wichmann theorem guarantees that the density matrix restricted to the wedge is that of a thermal state with respect to the boost Hamiltonian [27, 28]. The boundary of the wedge acts as a horizon for observers who are moving with a constant acceleration along the -axis. In 3+1 dimensions, the area of this horizon is infinite, so it is unsurprising that the von Neumann entropy of the corresponding density matrix is also infinite. We can ask, however, about the entropy density per unit horizon area. This is also infinite, which can be attributed to the contributions of ultraviolet modes of the field. Imposing an arbitrary short-distance cutoff, we find that there is a constant, fixed amount of entropy per unit horizon area. Since the original calculation was carried out in flat-spacetime quantum field theory, it is natural to suppose that the true entropy density would be finite in a quantum theory of gravity.222As noted in LABEL:Jacobson2, we can say that gravity cuts off the number of degrees of freedom and renders the entropy finite or that demanding a finite horizon entropy implies the existence of gravity. Requiring finite entropy at least implies some ultraviolet cutoff for the applicability of quantum field theory.
Together, these facts suggest that there is a universal relationship: to any horizon, we can associate an entropy proportional to its area. This observation was the inspiration for entropic gravity in Refs. [16, 15]. It remains to formulate a precise prescription for what kind of entropy is actually involved. The natural candidate in the quantum context is the von Neumann entanglement entropy, for some density matrix . Taking a vacuum spacetime region and cutting off modes at some fixed short distance, we obtain an entanglement entropy that is proportional to the area of the boundary of the region being considered [29, 30]. The entanglement entropy further appears in the recent proofs of versions of the covariant entropy bound within quantum field theory [21, 22]. Moreover, the Ryu-Takayanagi formula [31, 32] in AdS/CFT relates the entanglement entropy in a boundary region with the area of an extremal surface in the bulk. The conjectured ER=EPR duality  (see also Refs. [34, 35]) further underscores this connection. Taking these results as motivation, holographic gravity seeks to relate the Einstein equations themselves to constraints on entanglement entropy and areas in a sense that we will make precise.
2.2 Formulation of holographic gravity
Let us now review the approach to HG laid out in LABEL:Jacobson2. Fix an arbitrary background -dimensional spacetime geometry and a spacelike slice . Choose a point and define a ball as the set of points such that the geodesic distance in between and is less than . Next, define the causal diamond associated with as the union of the past and future domains of dependence of ; that is, the set of all points such that all inextendible timelike curves through necessarily intersect ; see Fig. 1. We write as the volume of and the area of . For a sufficiently small causal diamond, the background metric approaches the Minkowski form. There is a unique conformal isometry generated by the Killing vector
where and for time coordinate and radial coordinate .
Writing the quantum state of the system on as , we can define the reduced density matrix on as
We define the entanglement entropy associated with as
i.e., the entanglement of the state on with that on . We posit that the Hilbert space of states on can be factorized into infrared and ultraviolet contributions,
The infrared states are ordinary field-theory states in a spacetime background (including semiclassical gravitational perturbations), while the ultraviolet contributions represent short-distance physics, including specifically quantum-gravitational degrees of freedom. Writing for the scale of the UV completion, which we take to be below the Planck scale, then and contain degrees of freedom with energies below and above , respectively. The size of the causal diamond is taken to be larger than the Planck length but smaller than . Tracing out the UV degrees of freedom, we are left with an infrared density matrix
We then define the (field-theoretic) modular Hamiltonian on via the implicit relation
In Minkowski space, the causal diamond can be mapped via a conformal transformation to the Rindler wedge ; writing for the (radial) coordinates of the ball, for the (Cartesian) coordinates of the Rindler wedge , and defining , the conformal transformation is
where and similarly for . With and , the Rindler wedge corresponds to the intersection of and , which maps to the causal diamond . For the Rindler wedge, the Bisognano-Wichmann theorem  guarantees that the density matrix is thermal with respect to the Hamiltonian generating time translation. Thus, for a conformal field theory (CFT), which is invariant under this transformation of the geometry, the modular Hamiltonian is just the Hamiltonian generating flow along from Eq. (2), namely,
where is the surface element orthogonal to and is the energy-momentum tensor.
We now consider a variation of the spacetime and of the quantum state on . We will write this variation via
Under this variation, the area at fixed changes by and the quantum state on changes by . Moreover, there is a change in the entanglement entropy as well as a change in the expectation value of the modular Hamiltonian, , which is in general a highly nonlocal quantity. The modular Hamiltonian does not correspond a priori to any intuitive sense of energy; it is just an operator one can define using the reduced density matrix. Note that all of the above variations are not dynamical variations that occur with time; rather, we are considering varying the entire history of the configuration, examining the consequences for various quantities for infinitesimally separated configurations of geometry and fields. For example, for a CFT, plugging in the Killing field (2) into Eq. (9) and requiring a sufficiently small causal diamond , where is the characteristic length scale of changes in , we have the modular energy
where is the area of the unit -sphere.
We are now ready to state the postulates of the holographic gravity theory given in LABEL:Jacobson2. They are as follows:
Entanglement separability. The entropy can be written as a simple sum , where UV and IR denote the entanglement entropies in the UV (quantum gravitational) and IR (quantum field-theoretic) degrees of freedom. Equivalently, the quantum mutual information is negligible. That is, there is minimal entanglement among degrees of freedom at widely separated energy scales.333This formulation of postulate 1. is actually somewhat stronger than necessary; for holographic gravity it is sufficient that merely the entropy variation factorize as in Eq. (12). However, the justification for this weaker version of postulate 1. will ultimately be the same as the stronger version we state above.
Equilibrium condition. The entanglement entropy of the causal diamond is stationary with respect to variations of the state and metric, i.e.,
and the geometry of the causal diamond is that of a maximally symmetric spacetime (Minkowski, de Sitter, or anti-de Sitter).
Area-entropy relation. The variation of the UV entropy of the causal diamond is proportional to its area change at fixed volume,
for some universal constant . That is, satisfies a local, bulk version of holography. This is Jacobson’s generalization of the area law for black hole entropy and is the crucial substantive assumption underlying holographic gravity.
Modular energy: CFT form. The modular energy, defined to be the variation in the expectation value of the modular Hamiltonian, for an arbitrary quantum field theory is given by the form in Eq. (11), possibly modified by some scalar operator ,
While the first three postulates are assumptions about ultraviolet behavior, the fourth is strictly an infrared statement and we will argue that, in its null-limit form, it can be derived rather than postulated. Note that in postulate 3., we expect , the same constant as appears in the Bekenstein-Hawking formula .
Reference  shows how postulates 1. through 4. can be used to derive the Einstein equations. Our purpose in this section is to illustrate how some of these postulates can be justified rigorously, rather than taken as assumptions. While we leave the geometric details of how the postulates imply the Einstein equations to LABEL:Jacobson2, we sketch the main points. First, writing as usual
we have the entanglement first law 
Further, the area variation at constant for a maximally symmetric spacetime in which for some arbitrary constant is
Rearranging and requiring that this relation hold for all possible spatial slicings (i.e., in arbitrary reference frames) requires
Now, since we must have for energy-momentum conservation, but by the Bianchi identity, can be identified as for arbitrary constant , yielding Einstein’s equation in semiclassical terms,
where in the final equality we plugged in as expected for consistency with the Bekenstein-Hawking formula. Note that the appearing on the right-hand side is really just the expectation value of the energy-momentum tensor under consideration, since without the variation, i.e., in vacuum, the causal diamond is assumed to be described by a maximally symmetric spacetime with vanishing .
The way in which the Einstein equation arose in the above derivation was by the imposition of a relationship between the change of entanglement entropy and area for variations over the spacetime configuration and quantum state. It is not a dynamical constraint within a single solution, but rather a relationship between infinitesimally separated spacetime histories and geometries. Mathematically, how this constraint leads to the Einstein equation is the same as how the Einstein equation was derived [12, 13] in the context of AdS/CFT via the Ryu-Takayanagi formula [31, 32]. That is, AdS/CFT itself, in Refs. [12, 13], provides another realization of holographic gravity. The version of the theory in LABEL:Jacobson2 attempts wider applicability, by applying holographic formulas to causal diamonds in an arbitrary spacetime. It is therefore crucial to investigate the extent to which the postulates of the theory can be justified. We conduct such an investigation in the next subsection, providing a nontrivial check of the health of HG.
2.3 Justifying the assumptions of holographic gravity
Postulates 1. through 3. above deal with the ultraviolet degrees of freedom in the ultimate theory of quantum gravity. Hence, they either must be taken as axioms of the theory or shown to be true in a more general ultraviolet completion of gravity (e.g., through holography and string theory). Despite this ultraviolet character, there are motivations for postulates 1. through 3., which we will briefly mention. More importantly, we offer a derivation of a null-limit version of postulate 4., allowing it to be removed as an independent assumption in HG.
Postulate 1., requiring minimal entanglement between infrared and ultraviolet degrees of freedom, is a basic feature of effective field theory , so the first postulate amounts to the assertion that effective field theory is (at least approximately) valid for the field-theoretic degrees of freedom. That is, for renormalization group flow to work in the usual manner, we require a decoupling between the low- and high-momentum states. We do not expect significant mutual information between the low-energy degrees of freedom in a Wilsonian effective action and those in the ultraviolet completion. This was explicitly found to be the case for interacting scalar quantum field theories in LABEL:Decoupling.
Postulate 2. is really the entropic foundation of the theory, being the assertion of a condition on the spacetime geometry that will ultimately lead to the Einstein equation. In essence, postulate 2. is the assertion that the vacuum should look as simple as possible, namely, that a small region should be well described by a Gibbs state. For a fixed energy expectation value, the Gibbs state has the maximum entropy, so . Moreover, for the Gibbs distribution, expectation values of quantum mechanical quantities related to the entanglement entropy map onto those from classical thermodynamics . Viewed in this sense, the causal diamond represents a canonical ensemble , with fixed degrees of freedom and volume. Hence, classically, its entropy for a given expectation value of is maximized in equilibrium. The requirement that the causal diamond be described by a maximally symmetric spacetime means that there is not power in spacetime fluctuations at arbitrarily small scales. If this were not the case, then introducing fluctuations would produce a large backreaction that would spoil the equilibrium condition. The content of postulate 2. is therefore the assertion that the semiclassical Einstein equations hold if and only if the causal diamond is in thermodynamic equilibrium.
Postulate 3. is related to the Ryu-Takayanagi relation [31, 32], with which Refs. [12, 13] derived the Einstein equations in a holographic context in a manner closely related to that of LABEL:Jacobson2. References [12, 13] can be regarded as another example of HG, in which bulk gravitation is again found to be dual to a constraint on entanglement entropy in some boundary degrees of freedom. The boundaries of the causal diamond can be viewed as the Rindler horizons of a set of appropriately accelerating observers. The area of is just the area of this horizon. Postulate 3. does not require assigning a change in entropy with time to a dynamical change in area. Rather, it just requires identifying the area of the causal diamond with the entanglement entropy and then doing this for an entire family of infinitesimally separated causal diamond configurations. The motivations for assigning an entropy to an area for this apparent horizon in the first place were discussed in Sec. 2.1.
Postulate 4. is of a different character. Unlike the ultraviolet-dependent postulates 1. through 3., postulate 4. is an assertion about the form of the modular Hamiltonian for the field-theoretic degrees of freedom. Thus, postulate 4. is amenable to analysis and, as a consistency test of the holographic gravity of LABEL:Jacobson2, we can investigate whether postulate 4. can be justified, rather than taken as an assumption. A holographic justification of postulate 4. for spacelike slicing was considered in LABEL:NewCasini, in which the subtleties of the construction in LABEL:Jacobson2 for operators of particular conformal dimensions is discussed in detail. However, we will show that postulate 4. may be justified more simply in the null limit by using the conformal symmetry of the causal diamond and the light-sheet results of LABEL:Bousso2.
A priori, postulate 4. suffers from two potential weaknesses. First, it is unclear why the modular energy of a generic quantum field theory should take the form appropriate for a CFT. Second, LABEL:Jacobson2 derived the Einstein equations only for small variations about the vacuum in the field-theoretic density matrix , for which the entanglement first law (16) holds. However, small variations to the geometry, in which gravitational backreaction is negligible, do not necessarily correspond to small variations in . For example, two massive particles in a Bell pair state certainly gravitate, but their long-range entanglement does not correspond to a small perturbation about the vacuum state of . Thus, the question remains of how to retain the success of HG in obtaining the Einstein equation for large changes to the quantum state without using the entanglement first law. Both of these challenges can be addressed using recent results proven in quantum field theory.
To address the second issue, we consider the computation of the modular energy and entanglement entropy for an interacting CFT in , which was computed for a null slab in Refs. [21, 22]. For an arbitrary state defined on a spatial region (for example, one of the spatial slices of our causal diamond), we can define the Casini entropy
which is just the vacuum-subtracted von Neumann entropy, and the modular energy,
where the modular Hamiltonian is defined as in Eq. (7) but with respect to the vacuum density matrix . Note that in the limit in which the field-theoretic density matrix for this state is infinitesimally close to the vacuum state , we have and and the entanglement first law guarantees . Using the replica trick [41, 42] to compute the th Rényi entropy for an arbitrary spatial region by inserting defect operators on the boundaries, LABEL:Bousso2 shows through an argument involving the operator product expansion in the null limit that the only operators that can contribute to or are single-copy scalar operators with twist in the range
For spin-zero operators, is just the scaling dimension. By single-copy, we mean that the operator appears inside just one of the copies of the CFT in the replica trick; in that case, the contribution of this operator to the entanglement entropy is proportional to the expectation value of the operator inside a single copy of the CFT . That is, single-copy operators contribute linearly in the density matrix to .
Finally, the modular Hamiltonian is the unique operator on that matches at linear order for arbitrary perturbations of the density matrix. Thus, single-copy operators contribute equally to and , so taking the null limit of any spatial surface and computing and , we have
One can show that, evaluated on any fixed spatial slice, , the relative entropy between the state and the vacuum, which is always non-negative. However, in the null limit, LABEL:Bousso2 showed that in an interacting conformal field theory, no operators in the algebra can be localized to a null surface, which allows the excited state and the vacuum to differ while remaining indistinguishable. Moreover, the null limit is sensitive only to the UV structure of the theory. For quantum field theories with an interacting UV fixed point, LABEL:Bousso2 thus showed that the result of Eq. (24) continues to hold (provided the quantum field theory does not have finite wave function renormalization, as for, e.g., superrenormalizable theories). The result is therefore quite general. Equation (24) applies to any quantum state that backreacts weakly on the geometry and thus strengthens the argument for HG in LABEL:Jacobson2. No longer is it necessary to rely on the entanglement first law (16) and consider only small perturbations about the vacuum density matrix in postulate 4.; we are now free to consider arbitrary states.
To mitigate the first issue raised regarding postulate 4., namely the question of why the modular energy for a generic quantum field theory should be related to that of a CFT, LABEL:Jacobson2 considered a quantum field theory with a UV fixed point and required that the size of the causal diamond be smaller than every length scale in the quantum field theory, i.e.,
where are the masses of states in the quantum field theory. That is, we are required to take the causal diamond to be smaller than the cutoff of the quantum field theory, . Naively, this leads to doubtful consistency of treating the spacetime semiclassically; we do not want to be required to take the causal diamond to be Planck-scale. However, we typically expect the scale of a perturbative UV completion of gravity to be parametrically smaller than the Planck scale, as indeed is the case in string theory .
In any case, we can dramatically relax the stipulation of Eq. (25) by evaluating in the null limit. Let us choose a sequence of spacelike slices through the diamond, , defined by the orbit of in Eq. (2), where we start with and end with , the upper null surface of the diamond. Now, is not a member of the Poincaré group; it is a conformal Killing vector and in particular contains a dilation. The proper distance across tends to zero as we send , that is, as we flow along . Acting with on a given field configuration with small momentum on takes us to larger and larger momenta and we experience renormalization group flow as we move through different values of . For a CFT, acts trivially, but for a general interacting quantum field theory with a UV fixed point [15, 22], flow along means are probing higher and higher energy scales within the theory, eventually reaching a regime in which the CFT approximation is valid. Thus, Eqs. (9) and (14) become in the null limit
where we still assume that varies with a length scale larger than . Moreover, we can write the area variation (17) in terms of its null components as lines up with in the null limit. Hence, Eq. (18) still applies, but for the components. Following the logic through as before, we again obtain the Einstein equation
We therefore see the infrared assumption underlying holographic gravity, that the modular energy takes the CFT form given in Eq. (14), need not be separately postulated, but can be justified by examining the null limit. The null surfaces themselves are not special or preferred, but the use of the null limit rendered tractable the explicit computation of the entanglement entropy and modular energy for generic interacting quantum field theories with an ultraviolet fixed point. Moreover, we seem to have a specific and self-consistent formulation of what kind of entropy we are talking about in holographic gravity: the Casini entropy evaluated on the null boundary of a small causal diamond.
3 Thermodynamic Gravity
In Sec. 2, we demonstrated that the holographic gravity of LABEL:Jacobson2 can be made well defined, putting its axioms on a more solid footing. In this section, we turn to the question of whether the same can be done for the thermodynamic gravity of LABEL:Jacobson. We will argue that there does not exist any self-consistent definition of entropy in this approach.
In the cases relating entropy and area that we discussed in Sec. 2.1, the area is a constant along the horizon. To work our way toward a truly dynamical theory of gravity, we must be able to handle more general cases, including time-dependent spacetimes. Holographic gravity accommodates this requirement by varying the spacetime history: in that case, general relativity can be shown to be equivalent to constraints relating the variation in entanglement entropy and area of a small causal diamond. However, the HG approach does not allow gravity to truly emerge as an equation of state, since the area and entropy variations are not dynamical changes within a single background spacetime. TG takes the other approach. That is, we can start with the null generators of a local Rindler horizon, but the corresponding cross-sectional area will generally change with time. Thermodynamic gravity  therefore posits that the change in entropy behind such a horizon is proportional to the change in that area. This is a natural generalization of the area law itself. We will argue that it is then hard to associate this quantity with a well-defined entropy of any particular local system.
3.1 Formulation of thermodynamic gravity
Consider an arbitrary spacetime and identify some point . Restrict to a sufficiently small region such that we can define a spacelike foliation with respect to a time coordinate . Our point is located at time coordinate on a spacelike codimension-one hypersurface . Choose a codimension-two approximately-flat spacelike surface containing . Approximate flatness means that the null congruences normal to have vanishing expansion and shear at to first order in the distance from . Fix a closed orientable smooth spacelike codimension-two surface containing and choose a future-directed inward null direction normal to , which defines a null congruence originating from . Denote the spacelike region of that lies inside by . Choose an affine parameter along the congruence, with tangent vector , letting equal zero at and increase toward the future. Points in the congruence make up the “lightsheet” emanating from . At a not-much-later time , the intersection of the null congruence from with a spacelike hypersurface defines a spacelike codimension-two surface , such that evolves to . The region inside is denoted by . The setup is portrayed in Fig. 2.
The lightsheet is a horizon in the sense that it serves as a local Rindler horizon for appropriately accelerating observers. (In LABEL:Jacobson, the construction was formulated over the past horizon instead of the future horizon, but this distinction makes no difference to our arguments.) We can define an approximate boost Killing vector , where is the acceleration of the associated Rindler trajectory. The surface element for the local Rindler horizon is , where is the codimension-two spacelike cross-sectional area element. This can be used to define a heat flux across the lightsheet
Viewing our system as the set of degrees of freedom on in Fig. 2, defines the heat leaving the system through . The temperature associated with this process is just the Unruh temperature  for the Rindler trajectory, .
The area decrement of the lightsheet as flows through it is
where is the initial area of the codimension-two surface , , and is the area of the codimension-two surface at the other end of . The expansion is defined to be . Carefully treating the range of integration of will play an important role in our discussion in Sec. 3.2.
Having made these preliminary definitions, we are ready to state the assumptions of thermodynamic gravity. They are the following:
Clausius relation. There exists an entropy change associated with the flow of heat through the lightsheet , which in local thermodynamic equilibrium is given by
Local holography. For any lightsheet of the form shown in Fig. 2, the entropy change is proportional to the change in area with some universal constant ,
Note that the use of the Clausius relation (30) implies that the entropy under consideration should correspond to some notion of entropy for a system that can be locally defined. The local holography assumption, meanwhile, is motivated by black hole thermodynamics, upon which entropic gravity is based. Therefore, we should expect that is the same coefficient as in the Bekenstein-Hawking formula , . Were we to find that is required for consistency with Eqs. (30) and (31) and Einstein’s equation, this would undermine the original motivation for TG. This is the problem we will uncover in Sec. 3.2.
Putting these assumptions together, we can derive Einstein’s equation. First, from the Raychaudhuri equation,
which is just a geometric statement in terms of the expansion, shear, and Ricci tensor , LABEL:Jacobson writes for a small segment of the lightsheet and inserts this result into Eq. (29) to obtain
for some scalar quantity . Since we must have for energy-momentum conservation, but by the Bianchi identity, can be identified, yielding Einstein’s equation,
where is the cosmological constant. We find that must indeed be equal to , as expected for consistency with the Bekenstein-Hawking formula.
We see that the assumptions of the Clausius relation (30) and local holography (31) are, together, sufficient to derive Einstein’s equation, at least up to a normalization. Less clear is the nature of the quantity – in particular, precisely what this is supposed to be the entropy of. Formally, the only role of in this derivation is to motivate equating with ; once that happens, disappears from the discussion. But if we were simply to assume from the start, that would be tantamount to assuming Einstein’s equation. The substantive content of TG, therefore, rests on the existence of a consistent and well-defined local construction for the entropy associated with lightsheet segments anywhere in spacetime. We now turn to an investigation of what that construction might be.
3.2 Entanglement entropy of a null region
Some form of the von Neumann entanglement entropy is a natural candidate for the quantity that plays a crucial role in TG. We first need to specify the precise system whose entanglement entropy we are calculating. Factors of Hilbert space are usually associated with regions of spacelike surfaces, but local holography refers to the entropy associated with part of a null surface. The simplest option would be to introduce some spacelike slicing, zoom in on a small neighborhood so that the spacetime looks approximately static, and compute the von Neumann entropy on the small spacelike region; subsequently, one could enforce local holography on the small lightsheet through which the orthogonal timelike congruence originating from the small spacelike region passes. However, this prescription does not prove suitable: while the von Neumann entropy is subextensive, energy-momentum is extensive. That is, considering two adjacent regions and , we have , with strict inequality if and are entangled; however, the masses of and , and hence the concomitant first-order area decrements of a lightsheet passing through them, add linearly. Thus, the use of the von Neumann entropy on spacelike surfaces cannot provide a consistent formulation of thermodynamic gravity.
We therefore turn to the null limit. Consider a spacelike region , with a point on its boundary, as shown in Fig. 3. It contains a smaller spacelike region with also on its boundary. The large null surface to the future of is labeled and a small lightsheet , as defined in Sec. 3.1, can be thought of as the null limit of a series of spacelike regions . There are then two different ways to associate an entropy with : i) the entanglement entropy associated with the region itself and ii) the difference in entanglement entropies between those of the large null surfaces and , which emanate from and , respectively. We will consider each possibility in turn.
Let us first see whether the entropy appearing in TG could be the entanglement entropy associated with the region . Let be the density matrix of the system on the spacelike region and let be the vacuum density matrix. Let and . We are immediately forced to identify some way to regulate the von Neumann entropy, which naively diverges. Consider the vacuum von Neumann entropy in the null limit, . If we simply impose an ultraviolet cutoff, the entanglement entropy associated with a vacuum region is still large [29, 30], going as , where is the area of the boundary of and is the cutoff length. By the local holography postulate (31), we must have , where is the area decrement along , which must vanish in the Minkowski vacuum. While the details of a UV cutoff may have bearing on the renormalization of Newton’s constant (see LABEL:Anber:2011ut and references therein) and therefore of , no such effect could reconcile a finite value of with an exactly vanishing . Thus, we cannot use the UV-regulated von Neumann entropy in the null limit as in entropic gravity, since doing so would require violation of either the postulate of local holography or flatness of the vacuum spacetime. We must therefore adopt the prescription of Casini , subtracting the entanglement entropy associated with the vacuum as in Eq. (21), producing the appropriate regulated version of the von Neumann entropy that vanishes in vacuum.
We compute the Casini entropy of the small spacelike region as the difference of the von Neumann entropies for and as in Eq. (21), , and then take the null limit to define the entropy on the small lightsheet, . Next, let us define a modular Hamiltonian on via
where is a real function whose precise values depend on the interacting quantum field theory being considered. Note that is not automatically theory-independent, as in the causal diamond case: the causal diamond was related by a global conformal transformation (8) to the Rindler wedge, while this is not so for the lightsheet . However, LABEL:Bousso2 showed that is computable in particular cases and moreover satisfies certain general properties for all interacting quantum field theories, which will be sufficient for our purposes.
The function , whose properties we discuss in detail below, plays a crucial role here. Equations analogous to Eq. (37) appear as expressions for the heat transfer in Refs. [16, 46], but with replaced simply by . [This similarity suggests that we should view Eq. (37) as corresponding to the Clausius relation, indicating that this formulation of the entropy is appropriate for application to TG.] For the Rindler Hamiltonian, which inspires this form, is perfectly appropriate for a semi-infinite lightsheet, but we are now computing the entropy for the finite segment of lightsheet , for which the entropy takes the form of Eq. (37), as shown in Refs. [21, 22]. That makes all the difference: initially increases as , but then decreases as at the other end of the segment. As a result, the integral in Eq. (37) differs from the Rindler Hamiltonian by a theory-dependent constant factor of order unity. This discrepancy implies that we cannot simultaneously choose our normalization so as to correctly recover Newton’s constant in both Einstein’s equation and in the area-entropy formula.
Reference  derived a number of properties that the function appearing in Eq. (37) must obey, amounting essentially to the requirement that it have the form illustrated in Fig. 4. More specifically, defining , we have , with , and
Putting together the required properties of , LABEL:Bousso2 showed that . Note in particular that the integral is less than .
Now let us consider the area variation of . As in LABEL:Jacobson, we can choose such that and vanish at first order near . We can evaluate the change in the cross-sectional area of by integrating the Raychaudhuri equation (32) for a finite lightsheet, keeping careful track of the ranges of integration. We find that the area decrement along is
We can now test whether the null Casini entropy , which is the regularized von Neumann entropy from Eq. (21) evaluated in the null limit, can be the basis of a consistent formulation of TG. First, we need only consider the limit of a very small lightsheet, since we wish only to recover the local equations of motion, i.e., Einstein’s equation. That is, we can take and in Eqs. (39) and (37) in the limit of very small and cross-sectional area to define and for use in the assumption of local holography in Eq. (31). From Eq. (39), we have
where we used the fact that in the limit of a small lightsheet the Ricci tensor could be taken to be a constant evaluated at . Similarly, using Eq. (37), we find for the entropy that
Local holography posits that for some constant . For consistency with the Bekenstein-Hawking formula, we expect to equal , but for now we will keep it undetermined. Setting Eq. (40) proportional to Eq. (41) implies
Let us write and write Newton’s constant in Einstein’s equation as . Then requiring consistency of Eq. (42) with Einstein’s equation and rearranging, we have
noting, as we previously observed, that the integral over is less than . That is, in terms of the constant in Einstein’s equation, we have
This is inconsistent, by an order-unity factor, with the area-entropy coefficient from black hole thermodynamics, which would be . So we see that, while thermodynamic gravity is motivated by the area-entropy equivalence for black holes, enforcing would lead to the wrong constant in Einstein’s equation. Moreover, this constant appears in a theory-dependent way via the function . On the other hand, one could insist that the correct coefficient be obtained in Einstein’s equation. By Eq. (43), this would require , which would constitute a theory-dependent modification of the local holography postulate with a coefficient that now no longer corresponds to the area-entropy relation from black hole thermodynamics. In other words, one could require that Einstein’s equation and the coefficient in the local holography postulate have Newton’s constants that differ by the order-unity factor given in Eq. (43). A question for future work on TG would then be the identification of a justification, independent of Einstein’s equation, of why the local holography postulate must take precisely this modified form.
The reason for the inconsistency of Einstein’s equation and the expected area-entropy ratio in the formulation of TG we have considered here stems from the fact that, despite the similarity between Eqs. (28) and (37), there is a crucial factor-of- difference. In LABEL:Jacobson, the heat transfer was taken to be given by the Rindler form (28), where is just ; interpreted as a modular Hamiltonian, this is the appropriate form for a semi-infinite lightsheet. However, only finite lightsheets [16, 46] can be considered in the formulation of TG, so that and remain subdominant in the Raychaudhuri equation.
There is an important distinction between the formulation of TG here and the causal-diamond derivation of HG in the previous section. The transformation (8) that brings a Rindler wedge to the causal diamond is a true conformal transformation for the spacetime. In contrast, to bring a semi-infinite lightsheet to a finite segment requires a transformation that is conformal on two-dimensional subspaces, but not on the spacetime as a whole. For general theories (in particular, those that are not ultralocal), this leads to the need for the function , which was not present for the causal-diamond formulation.
3.3 Loopholes and alternatives
A possible concern about this analysis might be that the Casini entropy (37) is calculated in terms of the field-theoretic degrees of freedom alone. That is, one might imagine positing the existence of hidden, quantum-gravitational degrees of freedom that would provide additional entropy so that equals , with the aim of getting both the correct coefficients in the area-entropy relation and in Einstein’s equation.
However, this proves to not be possible. The general form of the Casini entropy must be given by a relation of the form (37), linear in the energy-momentum tensor, if we are to use to derive Einstein’s equation with on the right-hand side. Positing new degrees of freedom can only affect the calculation of the theory-dependent coefficient . But attaining would require to exceed unity. It is shown in LABEL:Bousso2 that this is impossible on very general grounds, regardless of any details about quantum field theory: exceeding this limit would violate strong subadditivity of von Neumann entropy or monotonicity of quantum relative entropy. Hence, positing non-field-theoretic degrees of freedom in the density matrix describing the lightsheet system is insufficient to simultaneously recover Einstein’s equation and rectify the contradiction with the area-entropy formula we derived in Eq. (44). We are forced to conclude that the entropy in thermodynamic gravity cannot be the vacuum-subtracted von Neumann (i.e., Casini) entropy of the lightsheet segment .
An alternative tack for formulating TG would be to use the Casini entropy, but define the quantity in a slightly different way. Rather than associating it directly with the quantum state on the null region , we could let it be the difference in Casini entropies between the large lightsheet emanating from and the lightsheet with removed, . Note that this is in general a distinctly different quantity from that investigated above, since by subadditivity. For convenience, we will take to be a semi-infinite null surface; because we are only interested in an entropy difference, the conclusions in this section are the same for any much longer than . One might imagine that this alternate formulation, with semi-infinite lightsheets, would allow the Rindler form of the integrand in the expression for the entropy and possibly rescue thermodynamic gravity; however, this will prove to not be the case.
Let us specialize to spacetimes in which gravitational backreaction is small. (Including corrections to the Rindler Hamiltonian induced by spacetime curvature would only be relevant at higher order in Newton’s constant.) Generalizing the arguments of LABEL:Bousso2 to semi-infinite null surfaces, with affine parameter going from to infinity, we have
where . Then we can define the change in the null Casini entropy, . Here, we have labeled the null regions by the value of the affine parameter from which they emanate, where in the parametrization, is defined as .
However, this final formulation of the entropy as the null Casini entropy cannot be the correct definition of entropy in thermodynamic gravity. Let us define an affine parametrization that starts at at , so . Defining as the tangent four-vector to , , we have
where and . We can make the approximation that changes slowly with the affine parameter and that and are close, so that . Further, we can take the cross-sectional area of the lightsheet to be small, so that is approximately constant over the cross section at a fixed affine parameter. We thus have
where in the final line we dropped the primes, since is a dummy variable. Now, from Eq. (40), we have
We see that Eq. (49) cannot be arranged in a form that looks like as in Eq. (31). In particular, Eq. (49) is second-order rather than linear in the curvature and therefore in the area decrement . Though Eq. (45) looks similar to Eq. (28), one cannot naively conclude that the difference between the values of for versus in Eq. (45) can be taken as simply an integral over ; such an operation is not valid when the integrand itself has explicit dependence on its end points, as is the case in Eq. (45). We have found that by taking to be the difference in the null Casini entropies of overlapping null surfaces, we obtain an expression (49) for that is fundamentally incompatible with the local holographic postulate (31) that is one of the axioms of TG.
Hence, neither the null-limit Casini entropy of a small null region nor the difference in null-limit Casini entropies of two large null regions provides an acceptable definition of entropy in the thermodynamic formulation of entropic gravity.
The idea that gravity can be thought of as an entropic force is an attractive one. In this paper we have distinguished between two different ways of implementing this idea: holographic gravity, which derives the Einstein equation from constraints on the boundary entanglement after varying over different states in the theory, and thermodynamic gravity, which relates the time evolution of a cross-sectional area to the entropy passing through a null surface in a specified spacetime. We argued that holographic gravity is a consistent formulation and indeed that recent work on the modular Hamiltonian in quantum field theory provides additional support for its underlying assumptions. The thermodynamic approach, on the other hand, seems to suffer from a difficulty in providing a self-consistent definition for what the appropriate entropy is going to be.
In the title of this work, we asked, “What is the entropy in entropic gravity?” We are now equipped to answer this question. In what we have called “holographic gravity,” the vacuum-subtracted von Neumann entanglement entropy (the Casini entropy), evaluated on the null surfaces of the causal diamond, provides an appropriate formulation for an entropic treatment of gravitation. This can help guide further attempts to understand the underlying microscopic degrees of freedom giving rise to gravitation in general spacetime backgrounds.
We thank Cliff Cheung, Ted Jacobson, and Hirosi Ooguri for conversations that helped us considerably improve upon an earlier draft of this paper. This research is funded in part by the Walter Burke Institute for Theoretical Physics at Caltech, by DOE grant DE-SC0011632, and by the Gordon and Betty Moore Foundation through Grant 776 to the Caltech Moore Center for Theoretical Cosmology and Physics. G.N.R. is supported by a Hertz Graduate Fellowship and a NSF Graduate Research Fellowship under Grant No. DGE-1144469.
-  J. M. Bardeen, B. Carter, and S. Hawking, “The four laws of black hole mechanics,” Commun.Math.Phys. 31 (1973) 161–170.
-  J. D. Bekenstein, “Black holes and entropy,” Phys.Rev. D7 (1973) 2333–2346.
-  S. Hawking, “Black Holes and Thermodynamics,” Phys.Rev. D13 (1976) 191–197.
-  L. Susskind, “The world as a hologram,” J.Math.Phys. 36 (1995) 6377–6396, arXiv:hep-th/9409089 [hep-th].
-  G. ’t Hooft, “Dimensional reduction in quantum gravity,” arXiv:gr-qc/9310026 [gr-qc].
-  L. Susskind, L. Thorlacius, and J. Uglum, “The stretched horizon and black hole complementarity,” Phys. Rev. D48 (1993) 3743–3761, arXiv:hep-th/9306069 [hep-th].
-  J. M. Maldacena, “The large- limit of superconformal field theories and supergravity,” Int.J.Theor.Phys. 38 (1999) 1113–1133, arXiv:hep-th/9711200 [hep-th].
-  E. Witten, “Anti-de Sitter space and holography,” Adv.Theor.Math.Phys. 2 (1998) 253–291, arXiv:hep-th/9802150 [hep-th].
-  O. Aharony, S. S. Gubser, J. M. Maldacena, H. Ooguri, and Y. Oz, “Large- field theories, string theory and gravity,” Phys.Rept. 323 (2000) 183–386, arXiv:hep-th/9905111 [hep-th].
-  A. Almheiri, D. Marolf, J. Polchinski, and J. Sully, “Black Holes: Complementarity or Firewalls?,” JHEP 1302 (2013) 062, arXiv:1207.3123 [hep-th].
-  S. L. Braunstein, “Black hole entropy as entropy of entanglement, or it’s curtains for the equivalence principle,” arXiv:0907.1190v1 [quant-ph].
-  T. Faulkner, M. Guica, T. Hartman, R. C. Myers, and M. Van Raamsdonk, “Gravitation from Entanglement in Holographic CFTs,” JHEP 1403 (2014) 051, arXiv:1312.7856 [hep-th].
-  N. Lashkari, M. B. McDermott, and M. Van Raamsdonk, “Gravitational dynamics from entanglement ’thermodynamics’,” JHEP 04 (2014) 195, arXiv:1308.3716 [hep-th].
-  B. Swingle and M. Van Raamsdonk, “Universality of Gravity from Entanglement,” arXiv:1405.2933 [hep-th].
-  T. Jacobson, “Entanglement equilibrium and the Einstein equation,” Phys. Rev. Lett. 116 (2016) 201101, arXiv:1505.04753 [gr-qc].
-  T. Jacobson, “Thermodynamics of space-time: The Einstein equation of state,” Phys.Rev.Lett. 75 (1995) 1260–1263, arXiv:gr-qc/9504004 [gr-qc].
-  E. P. Verlinde, “On the Origin of Gravity and the Laws of Newton,” JHEP 1104 (2011) 029, arXiv:1001.0785 [hep-th].
-  T. Padmanabhan, “Thermodynamical Aspects of Gravity: New insights,” Rept. Prog. Phys. 73 (2010) 046901, arXiv:0911.5004 [gr-qc].
-  Y. Tian and X.-N. Wu, “Thermodynamics of Black Holes from Equipartition of Energy and Holography,” Phys. Rev. D81 (2010) 104013, arXiv:1002.1275 [hep-th].
-  R.-G. Cai and S. P. Kim, “First law of thermodynamics and Friedmann equations of Friedmann-Robertson-Walker universe,” JHEP 02 (2005) 050, arXiv:hep-th/0501055 [hep-th].
-  R. Bousso, H. Casini, Z. Fisher, and J. Maldacena, “Proof of a Quantum Bousso Bound,” Phys.Rev. D90 (2014) 044002, arXiv:1404.5635 [hep-th].
-  R. Bousso, H. Casini, Z. Fisher, and J. Maldacena, “Entropy on a null surface for interacting quantum field theories and the Bousso bound,” Phys. Rev. D91 (2015) 084030, arXiv:1406.4545 [hep-th].
-  S. W. Hawking, “Particle creation by black holes,” Communications in Mathematical Physics 43 (Aug., 1975) 199–220.
-  A. Strominger and C. Vafa, “Microscopic origin of the Bekenstein-Hawking entropy,” Phys. Lett. B379 (1996) 99–104, arXiv:hep-th/9601029 [hep-th].
-  J. M. Maldacena, A. Strominger, and E. Witten, “Black hole entropy in M-theory,” JHEP 12 (1997) 002, arXiv:hep-th/9711053 [hep-th].
-  G. W. Gibbons and S. W. Hawking, “Cosmological Event Horizons, Thermodynamics, and Particle Creation,” Phys. Rev. D15 (1977) 2738–2751.
-  W. Unruh, “Notes on black hole evaporation,” Phys.Rev. D14 (1976) 870.
-  J. Bisognano and E. Wichmann, “On the Duality Condition for Quantum Fields,” J.Math.Phys. 17 (1976) 303–321.
-  L. Bombelli, R. K. Koul, J. Lee, and R. D. Sorkin, “A Quantum Source of Entropy for Black Holes,” Phys.Rev. D34 (1986) 373–383.
-  M. Srednicki, “Entropy and area,” Phys.Rev.Lett. 71 (1993) 666–669, arXiv:hep-th/9303048 [hep-th].
-  S. Ryu and T. Takayanagi, “Holographic derivation of entanglement entropy from AdS/CFT,” Phys. Rev. Lett. 96 (2006) 181602, arXiv:hep-th/0603001 [hep-th].
-  A. Lewkowycz and J. Maldacena, “Generalized gravitational entropy,” JHEP 08 (2013) 090, arXiv:1304.4926 [hep-th].
-  J. Maldacena and L. Susskind, “Cool horizons for entangled black holes,” Fortsch.Phys. 61 (2013) 781–811, arXiv:1306.0533 [hep-th].
-  N. Bao, J. Pollack, and G. N. Remmen, “Splitting Spacetime and Cloning Qubits: Linking No-Go Theorems across the ER=EPR Duality,” Fortsch. Phys. 63 (2015) 705–710, arXiv:1506.08203 [hep-th].
-  N. Bao, J. Pollack, and G. N. Remmen, “Wormhole and Entanglement (Non-)Detection in the ER=EPR Correspondence,” JHEP 11 (2015) 126, arXiv:1509.05426 [hep-th].
-  H. Casini, M. Huerta, and R. C. Myers, “Towards a derivation of holographic entanglement entropy,” JHEP 05 (2011) 036, arXiv:1102.0440 [hep-th].
-  D. D. Blanco, H. Casini, L.-Y. Hung, and R. C. Myers, “Relative Entropy and Holography,” JHEP 08 (2013) 060, arXiv:1305.3182 [hep-th].
-  V. Balasubramanian, M. B. McDermott, and M. Van Raamsdonk, “Momentum-space entanglement and renormalization in quantum field theory,” Phys. Rev. D86 (2012) 045014, arXiv:1108.3568 [hep-th].
-  J. von Neumann, Mathematical Foundations of Quantum Mechanics. Princeton University Press, 1955.
-  H. Casini, D. A. Galante, and R. C. Myers, “Comments on Jacobson’s ‘Entanglement equilibrium and the Einstein equation’,” arXiv:1601.00528 [hep-th].
-  C. G. Callan, Jr. and F. Wilczek, “On geometric entropy,” Phys. Lett. B333 (1994) 55–61, arXiv:hep-th/9401072 [hep-th].
-  P. Calabrese and J. Cardy, “Entanglement entropy and conformal field theory,” J. Phys. A42 (2009) 504005, arXiv:0905.4013 [cond-mat.stat-mech].
-  N. Arkani-Hamed, L. Motl, A. Nicolis, and C. Vafa, “The String Landscape, Black Holes and Gravity as the Weakest Force,” JHEP 06 (2007) 060, arXiv:hep-th/0601001 [hep-th].
-  M. M. Anber and J. F. Donoghue, “On the running of the gravitational constant,” Phys. Rev. D85 (2012) 104016, arXiv:1111.2875 [hep-th].
-  H. Casini, “Relative entropy and the Bekenstein bound,” Class.Quant.Grav. 25 (2008) 205021, arXiv:0804.2182 [hep-th].
-  C. Eling, R. Guedens, and T. Jacobson, “Non-equilibrium thermodynamics of spacetime,” Phys. Rev. Lett. 96 (2006) 121301, arXiv:gr-qc/0602001 [gr-qc].