1 Introduction

ACFI-T14-17

Chemical Potential in the First Law for Holographic Entanglement Entropy

David Kastor, Sourya Ray, Jennie Traschen

Amherst Center for Fundamental Interactions, Department of Physics

University of Massachusetts, Amherst, MA 01003

Instituto de Ciencias Físicas y Matemáticas, Universidad Austral de Chile, Valdivia, Chile

Email: kastor@physics.umass.edu, ray@uach.cl, traschen@physics.umass.edu

Abstract

Entanglement entropy in conformal field theories is known to satisfy a first law. For spherical entangling surfaces, this has been shown to follow via the AdS/CFT correspondence and the holographic prescription for entanglement entropy from the bulk first law for Killing horizons. The bulk first law can be extended to include variations in the cosmological constant , which we established in earlier work. Here we show that this implies an extension of the boundary first law to include varying the number of degrees of freedom of the boundary CFT. The thermodynamic potential conjugate to in the bulk is called the thermodynamic volume and has a simple geometric formula. In the boundary first law it plays the role of a chemical potential. For the bulk minimal surface corresponding to a boundary sphere, the thermodynamic volume is found to be proportional to the area of , in agreement with the variation of the known result for entanglement entropy of spheres. The dependence of the CFT chemical potential on the entanglement entropy and number of degrees of freedom is similar to how the thermodynamic chemical potential of an ideal gas depends on entropy and particle number.

## 1 Introduction

Recently there has been great interest in how information regarding entanglement of the quantum state of a conformal field theory is encoded, through the AdS/CFT correspondence, in the geometry of a bulk, asymptotically anti-deSitter spacetime. According to the Ryu-Takayanagi proposal [1], the entanglement entropy associated with the division of the boundary into complementary regions and is given by the Bekenstein-Hawking entropy formula

 SE=AΣ4G (1)

applied to a bulk minimal surface whose boundary at spatial infinity matches onto the boundary between and and whose area is . Although entanglement is not a thermal property, entanglement entropy nevertheless obeys a first law relation with respect to variations in the quantum state of the CFT [2, 3]. Moreover, in the important case that the entangling surface on the boundary is a sphere, the first law for entanglement entropy has been shown to follow from a bulk gravitational first law associated with the minimal surface [4]. This works because the surface , in this case, is the bifurcation surface of a Killing horizon. The proof of the first law for stationary black holes [5] then applies in this non-black hole setting as well.

We will extend this map between bulk and boundary first laws to show that another feature of CFT entanglement, namely the dependence of entanglement entropy on the number of CFT degrees of freedom, is also encoded in the bulk geometry (at least in the case of spherical entangling surfaces to which our construction applies). In the AdS/CFT correspondence, the number of degrees of freedom in the boundary theory determines the bulk cosmological constant . Hence, varying the number of boundary degrees of freedom corresponds to varying in the bulk. In earlier work [6] we have shown that the derivation [5] of the first law for stationary black holes can be extended to include variations in . In this work we will apply the extended first law to the bulk minmal surface/Killing horizon associated with a spherical entangling region on the boundary, resulting in an extension of the first law for to include variations in the number of boundary degrees of freedom . The new conjugate thermodynamic potential appearing in the extended first law plays the role of a chemical potential, and we will see that its dependence on and is similar to that of the thermodynamic chemical potential for an ideal gas on the entropy and particle number. The extended first law for black holes can be stated in terms of varying the pressure and the conjugate thermodynamic volume ,

 dM=TdSBH+VdP (2)

where is the Hawking temperature, is the Bekenstein-Hawking entropy, and are the surface gravity and black hole horizon area, and we have suppressed terms that would arise from varying the angular momentum and charge. The thermodynamic volume is given by a simple geometric formula involving the anti-symmetric Killing potential for the Killing vector that generates the horizon. In the simplest example of the -dimensional Schwarzschild-AdS spacetime, one finds that

 V=ΩD−2rD−1hD−1 (3)

where is the horizon area and is the area of a unit sphere. This exactly matches the naive volume inside the horizon computed as an integral from to with the full -dimensional volume element. The properties of black holes with considered as a thermodynamic variable have received considerable attention (see the recent review [7] and references therein). In particular, the thermodynamic volume was computed for a wide range of AdS black holes in [8]. It was found that while the thermodynamic volume of RN-AdS black holes continues to match the geometric volume inside the horizon, as described above, this fails for rotating black holes and also for more general charged black holes in gauged supergravities. All known cases, however, satisfy an intriguing ‘reverse isoperimetric inequality’ that bounds the thermodynamic volume from below in terms of the horizon area [8]. Also notably, reference [9] showed that the phase transition between large and small RN-AdS black holes has the Van der Waals form when analyzed in terms of isotherms in the -plane. A number of works [6, 10, 11] have also sought to apply the extended first law for AdS black hole, in the AdS/CFT context, to properties of CFT’s at finite temperature. The role of the thermodynamic volume for deSitter black holes was studied in [12] .

The structure of this paper will be as follows. In section (2) we briefly review the holographic prescription for entanglement entropy [1], the first law for CFT entanglement entropy [2, 3], and how this follows from the bulk first law in the case of spheres [4]. In section (3) we begin by reviewing the construction of the extended first law for AdS black holes [6] and then show how this can be applied to the minimal surface to extend the first law for holographic entanglement entropy. Section (3) also includes comments on how the variation of the bulk cosmological constant relates to varying the number of degrees of freedom in the boundary CFT and the natural interpretation of this in terms of chemical potential. Section (4) is devoted to concluding remarks regarding future directions for exploration on this topic.

## 2 Holographic entanglement entropy

Entanglement entropy is defined whenever the Hilbert space of a quantum theory can be split into two disjoint pieces. In a quantum field theory, this can be done by splitting the spatial volume on a given constant time slice into two complementary regions and . The reduced density matrix associated with the region for a system described by the wavefunction is obtained by tracing the full density matrix over the degrees of freedom in

 ρA=TrB|ψ⟩⟨ψ| (4)

The entanglement entropy between the regions and is then given by the trace over

 SE=−TrρAlogρA (5)

Ryu and Takyanagi have conjectured that the entanglement entropy in a CFT is given by equation (1) where is a bulk minimal surface, whose boundary at spatial infinity matches on to the boundary between the regions and .

\@float

figure\end@float

In the case that is a spherical ball, the surface can be solved for exactly and the resulting holographic formula for the entanglement entropy computed. Let us use the Poincare metric for -dimensional AdS spacetime

 ds2D=l2z2(dz2−dt2+d→x⋅d→x) (6)

where spatial infinity is located at and the AdS radius is related to the cosmological constant by

 Λ=−(D−1)(D−2)2l2 (7)

Take to be a spherical ball of radius on a constant time slice at infinity. For notational simplicity we take to be centered at the origin and the constant time to be . It is straightforward to allow for an arbitrary spatial center for or constant time slice. The corresponding bulk minimal surface on the hypersurface is then given by

 z2+r2=r20 (8)

where . We see that the surface extends in the bulk to . The minimal surface is depicted in figure (LABEL:bulksurface). The area of is given by

 AΣ=lD−2ΩD−3∫1ycdy(1−y2)D−42yD−2 (9)

where and a cutoff at has been imposed to regularize the area. Note that depends on the AdS radius only through the overall prefactor of . The integral may be evaluated in any particular dimension, and gives for example

 AΣ = 2l(−logyc+log(1+√1−y2c)),D=3 (10) AΣ = 2πl3{√1−y2cy2c+logyc−log(1+√1−y2c)},D=5 (11)

displaying logarithmic and quadratic divergences respectively as the cutoff goes to zero.

The first law for entanglement entropy [2, 3] comes about in the following way. The reduced density matrix may be used to define an effective thermal system via

 ρA=e−HATr(e−HA) (12)

where is known as the modular Hamiltonian. Under a change in the quantum state, the entanglement entropy then satisfies the first law type relation

 δSE=δ⟨HA⟩ (13)

The explicit form of the modular Hamiltonian is not known for arbitrary shaped entangling surfaces. In the special case of the sphere, however, it is given by

 HA=2π∫BdD−2xr20−r22r0TCFTtt(t=0,→x) (14)

where is the stress tensor of the boundary CFT and the integration is over the interior of the spherical ball .

In the case that is a spherical ball, it was also shown that the first law for entanglement entropy (13) can be obtained from a bulk gravitational first law [4]. As noted in the introduction, this is possible because the corresponding bulk minimal surface is the bifurcation surface of a Killing horizon, and the proof of the bulk first law given in [5] applies in this non-black hole context as well. The bulk Killing vector in question is given by

 ξ=−2πr0(tz∂z+txk∂k)+πr0(r20−z2−r2−t2)∂t (15)

and its norm is given by

 ξaξa=−l2π2z2r20[(r0−t)2−(r2+z2)][(r0+t)2−(r2+z2)] (16)

The Killing horizon is the null surface in the bulk where the norm vanishes. Its boundary at includes the causal diamond shown in figure (LABEL:causalfig). The lower portion of the causal diamond is the set of all points on the boundary whose causal future on the boundary at time is included in , while the upper portion is the set of points whose entire causal past on the boundary is in . The Killing vector is easily seen to vanish on the minimal surface , given by (8) on the hypersurface, and so it is the bifurcation surface for this Killing horizon.

\@float

figure\end@float

The method of proving the bulk first law will be discussed in some detail below. For the Killing vector given in (15) the result can be written as

 κδAΣ8πG=δEξ (17)

where is the surface gravity of the horizon, is the change in area of the minimal surface under a perturbation to a nearby solution of the bulk equations of motion which keeps fixed, and is the change in the ADM charge associated with the Killing vector . The surface gravity of is found to be . Given the holographic identification of the entanglement entropy in (1), the left hand side of (17) is simply the change in the entanglement entropy of under this perturbation. The ADM charge associated with was found in [4] to be

 Eξ=2π∫BdD−2xr20−r22r0Tboundarytt(t=0,→x) (18)

where is the boundary stress tensor. According to the AdS-CFT correspondence we have and therefore is equal to the expectation value of the modular Hamiltonian (14). The right hand side of the bulk first law (17) then also maps to the right hand side of the first law for entanglement entropy (13).

## 3 Extended first law for entanglement entropy

In this section we establish an extension of the first law of entanglement entropy (13) that includes variations in the number of degrees of freedom of the boundary theory. We follow the approach of [4] outlined above, starting with an extension of the bulk gravitational first law that includes variation in the cosmological constant [6] and applying this in the context of the holographic formula for entanglement entropy [1]. Our result is thus limited to the case of spherical entangling surfaces on the boundary and by the validity of the holographic prescription for computing entanglement entropy. We will comment on ideas for extending this approach to arbitrary shaped entangling surfaces in the conclusion.

The extension of the bulk first law [6] was itself established using the Hamiltonian perturbation theory techniques that were used in the proof [5] of the ordinary first law for black hole thermodynamics111See [13] for an application of these techniques in a cosmological context.. In order to see how the extended bulk first law applies in the context of holographic entanglement entropy, we present a brief sketch of this construction. The basic idea is that for perturbations around a solution to the gravitational field equations with a Killing symmetry, e.g. a stationary black hole solution, the perturbed Hamiltonian constraint equations can be combined into a Gauss’ law type statement. Integrating over the region between the black hole horizon and spatial infinity then establishes an equality between a boundary integral at infinity, given in terms of variations in the ADM charges corresponding to the Killing symmetry, and an integral at the horizon, which is given in terms of the variation in the horizon area. In the holographic entanglement entropy context, the inner boundary becomes the minimal surface , while the outer boundary is over the region at spatial infinity.

### 3.1 Bulk first law via Hamiltonian perturbation theory

We start by assuming that we have a foliation of a spacetime by a family of hypersurfaces denoted by . The unit timelike normal to the hypersurfaces is written as with . The spacetime metric is given by

 gab=−nanb+sab, (19)

where the metric on the hypersurfaces satisfies . The dynamical variables in the Hamiltonian formalism for general relativity are the metric and its canonically conjugate momentum , where is the extrinsic curvature of a hypersurface and is the trace . We consider Hamiltonian evolution along a vector field , which can be decomposed into its components normal and tangential to according to

 ξa=Fna+βa, (20)

with giving the lapse function and the shift vector. The gravitational Hamiltonian for evolution of the system along is then given by where

 H ≡ −2Gabnanb=−R(D−1)+1|s|(π2D−2−πabπab), Hb ≡ −2Gacnascb=−2Da(|s|−12πab). (21)

are the Hamiltonian and momentum constraint operators. Here is the scalar curvature for the metric and is the derivative operator on the hypersurface . If the spacetime satisfies the Einstein equations with a cosmological constant then the Hamiltonian and momentum constraint equations imply that

 H=−2Λ,Hb=0. (22)

Let us now assume that our spacetime with metric solves the Einstein equation with cosmological constant and has a symmetry generated by the Killing vector . We further assume that the metric is the linear approximation to another nearby solution to the Einstein equations with a perturbed cosmological constant . The Hamiltonian data for this perturbed metric are and , where the , are the unperturbed data. Below we will use the notation and for the perturbations to the spatial metric and momentum. The corresponding linearized Hamiltonian and momentum constraint equations are given by and . Together with the unperturbed constraint equations (22) these imply that the perturbations to the Hamiltonian and momentum constraint operators satisfy

 δH=−2δΛ,δHb=0 (23)

The key step is now to note [13, 5, 14] that contracting the linearized constraints with the normal and tangential components of the Killing vector gives a total derivative on the hypersurface,

 FδH+βaδHa=DaBa. (24)

If the extrinsic curvature of the slice vanishes, which will be the case of most interest to us, then the boundary vector is given by222In the general case of non-vanishing extrinsic curvature, the boundary vector also includes the additional term

 Ba=F(Dah−Dbhab)−hDaF+habDbF (25)

Since the perturbations to the spatial metric and momentum , solve the linearized constraint equations (23), the vector therefore satisfies the Poisson type equation

 DaBa=−2FδΛ. (26)

The fact that is a Killing vector implies that the source term on the right hand side may also be written as a total derivative and moved to the left hand side [15, 6]. One defines a Killing potential associated with a Killing vector to be an antisymmetric tensor that satisfies the equation

 ∇cωcb=ξb. (27)

The existence of a Killing potential is guaranteed since , while non-uniqueness of the Killing potential cancels out from the construction. The normal component of can then be written in terms of the Killing potential as and we obtain the Gauss’ law type statement

 Da(Ba−2δΛωabnb)=0. (28)

First, let us set and see how the ordinary first law comes about in a static black hole spacetime. In that case equation (28) reduces to and we integrate this statement over a spatial hypersurface that stretches from the black hole horizon in the interior out to spatial infinity. Using Gauss’ theorem we then have the relation . Choosing to be the static Killing field, the integral at the horizon is proportional to the change in horizon area under the perturbation

 ∫HdaaBa=−2κδABH (29)

and the boundary term at infinity is proportional to the change in the ADM mass

 ∫∞daaBa=−16πGδM (30)

Combining these results yields the ordinary first law for black hole horizons .

The derivation of the first law for CFT entanglement entropy for spherical regions on the boundary from the bulk first law in [4] makes use of this same formalism. In this case one integrates over the shaded region of the constant time slice in the bulk shown in figure (2). This is bounded by the minimal surface in the interior and at spatial infinity by the spherical ball . The boundary vector is that formed from the Killing vector in (15). In this case, the resulting boundary integral at is given, similarly to (29), by . For the boundary integral at infinity, one finds that the integrand is equal to the integrand for the ADM mass but weighting by an additional factor of . The integrand for coincides with the time-time component of the boundary stress tensor . The boundary integral at infinity is then given by a factor of minus times the variation of the ADM charge in (18) yielding the first law type relation (17).

Let us now consider the case , where we perturb the cosmological constant [6]. For definiteness let us assume that . Integrating the divergence relation (28) over the region between the black hole horizon and spatial infinity, then applying Gauss’ theorem now leads to the statement

 ∫∞daa(Ba−2ωabnbδΛ)−∫Hdaa(Ba−2ωabnbδΛ)=0 (31)

One can then evaluate the different parts of this relation. The integral of the boundary vector over the horizon is still given by (29). The integral of the boundary vector at infinity, however, is more complicated. The boundary vector (25) depends on the metric perturbation . To derive the usual first law for black holes, one must take standard asymptotically AdS fall off conditions for (see e.g. [15, 6]), and the integral (30) then yields a finite change in the ADM mass. With , however, the asymptotics of the perturbed metric are shifted relative to the background, causing the integral of over the boundary at spatial infinity to include a divergence proportional to . One finds that the change in the ADM mass is given by the subtracted integral

 ∫∞daa(Ba−2ωabAdSnbδΛ)=−16πGδM (32)

where is the Killing potential in the background AdS spacetime with cosmological constant . The resulting extended first law then has the form

 δM=κδABH8πG+ΘδΛ8πG (33)

where the thermodynamic potential associated with varying the cosmological constant is given by

 Θ=∫Hdaaωabnb−∫∞daa(ωab−ωabAdS)nb. (34)

Adding and subtracting the background Killing potential to the integrand serves to make both and finite.

### 3.2 Extended first law for entanglement entropy

The formalism developed in the last section is applicable in the holographic entanglement entropy context as well as for black hole horizons. In this case, following [4], we take the region of integration to be the volume bounded by the bulk minimal surface in the interior, out to the portion of spatial infinity covered by the spherical ball . Integrating over the region then yields the relation

 ∫Σdac(Bc−2δΛωcbnb)−∫Bdac(Bc−2δΛωcbnb)=0. (35)

the area element is taken to point into the region on the minimal surface in the interior and out of on the ball at spatial infinity. The boundary vector and Killing potential depend on the Killing vector given in (15), which vanishes on . The Killing potential may be easily found by combining the identity for Killing vectors with Einstein’s equation for the AdS background to get333The Killing potential is not uniquely defined. However, as discussed in [6] this non-uniquenss does not affect the construction. For example, a term of the form where is a totally antisymmetric tensor can always be added to a Killing potential to get another Killing potential. However, such a term will integrate to zero in (35).

 ωab=−D−22Λ∇aξb (36)

For the Killing vector (15) this gives

 ω=12ωab∂a∧∂b=πz(D−1)r0{(r20+z2−t2−r2)∂t∧∂z+2txk∂z∧∂k+2zxk∂t∧∂k} (37)

The task is now to evaluate the different boundary integrals appearing in (35). At infinity, as in the case with the black hole spacetime, it is necessary to appropriately group terms in the integral to have finite, geometrical, combinations. Analogous to equation (32) for , which is associated with the static Killing field, the combination that gives a finite ADM charge associated with the Killing vector is

 ∫∞daa(Ba−2ωabAdSnbδΛ)=−16πGδEξ (38)

One finds that the Killing potential term exactly cancels the new term in the boundary vector that arises from varying the cosmological constant. This cancelations comes about as follows. From (7) a variation in is related to a variation in the AdS radius by

 δΛ=(D−1)(D−2)l3δl (39)

We will work here in terms of . Since the first law construction is linear in perturbations, in order to construct the new terms in the first law when is varied, we can consider this variation in isolation. The variation to the AdS metric (6) is then simply giving for the perturbation to the spatial metric. The normal component of the Killing vector in the expression (25) for the boundary vector is given by . The area element at the boundary at spatial infinity points in the -direction and hence one needs only the -component of which is found to be

 Bz=2(D−2)πδlr0l2(r20+z2−r2) (40)

On the other hand, one finds that the component of the Killing potential term in (38) is also given by

 2ωztntδΛ=2(D−2)πδlr0l2(r20+z2−r2) (41)

leading to the cancelation. Here we have used the fact that our background spacetime is unperturbed AdS, so that and is given by (37). Hence the the boundary integral (38) at infinity receives no new contributions from varying the cosmological constant The integral of the boundary vector over the minimal surface is again given by

 ∫ΣdaaBa=−2κδAΣ (42)

with surface gravity for the Killing vector .

Combining theses results, we then have the extended bulk first law

 δEξ=δAΣ4G−VδΛ8πG (43)

where the thermodynamic volume is given by444The boundary term at spatial infinity cancels in (34) because, as noted above, we are perturbing about AdS spacetime and therefore .

 V≡−Θ=−∫Σdaaωabnb (44)

This integral may be evaluated using the explicit forms for the unit normal to the constant time slice and where

 m=−lzr0(zdz+→x⋅d→x) (45)

is the outgoing normal to within the constant time slice and is the induced area element. One then finds that555The thermodynamic volume in this case has dimension of rather than as a true volume would. This stems from the normalization of the Killing vector in (15), which makes it dimensionless, rather than having the usual scaling of as e.g. for the time translation Killing vector .

 V=2πl2D−1AΣ (46)

where is the area of the minimal surface given explicitly in (9).

One can check that this new contribution to the first law is correct by looking at the explicit form for the area given in (9). We see that the dependence on the AdS radius comes only through the overall prefactor of . If we consider the extended first law (43) in the case that only the cosmological constant is varied, so that , then we find

 δAΣ=(D−2)AΣδll (47)

Making use of (41) and (46) we then see that the extended first law (43) is satisfied.

Finally, we can rewrite the extended first law (43) with the thermodynamic volume (44) entirely in terms of the entanglement entropy and the AdS curvature radius as

 δEξ=δSE−(D−2)SEδll (48)

We see that the simple scaling of the holographic entanglement entropy with displayed by the exact formula (9) can be interpreted as following from the extended first law with the thermodynamic potential determined geometrically by the integral (44) of the Killing potential over the bulk minimal surface .

### 3.3 CFT interpretation

In the last section we found an extension of the bulk first law (43) for the minimal surface that includes varying the cosmological constant , or equivalently the AdS curvature radius . Following the logic of [4] this implies a similar extension (48) of the first law for the CFT entanglement entropy for spherical regions on the boundary. In this section we discuss the significance of this result in the boundary CFT. The extended first law provides an interpretation of the thermodynamic volume, which was originally introduced as a gravitational quantity [6], in terms of the CFT quantities. We see from (43) that is proportional to the the variation of the entanglement entropy with respect to with fixed. Generally speaking, the AdS curvature radius in the bulk is a measure of the number of degrees of freedom, , of the boundary field theory, with large AdS radius corresponding to the limit of large . Varying in the bulk then corresponds to varying in the boundary theory, i.e. to varying the boundary CFT itself within a family of such theories having different numbers of degrees of freedom, so that

 V=8πl3(D−2)(D−1)δSEδl∝δSEδNCFT (49)

The precise correspondence between and , however, depends on the family of CFT’s under consideration.

For even dimensional boundary CFT’s, corresponding to odd bulk dimensions , the correspondence between the bulk AdS radius of curvature and properties of the boundary theory can be framed in terms of conformal anomalies [16]. For example, with a dimensional bulk, the boundary theory is a -dimensional CFT and the conformal anomaly is proportional to the Virasoro central charge . The AdS curvature radius and the central charge are related according to [17]

 c=3l2G (50)

The extended first law (48) then translates into the relation for the boundary theory

 δEξ=δSE−SEcδc. (51)

Note that because of the logarithmic derivative, factors of Newton’s constant disappear, so that the relation only depends on quantities in the boundary theory. The central charge is normalized so that for a massless scalar field on the boundary, while a theory of noninteracting, massless scalars has . The extended first law then gives the dependence of the entanglement entropy on the number of degrees of freedom .

Recall that the chemical potential of a thermodynamic system is the thermodynamic variable conjugate to a change in particle number and appears in the first law as

 dE=TdS+μdNpart. (52)

It is natural to think of the new term in the first law (51) as a chemical potential term for varying the number of degrees of freedom as measured by the central charge , with the chemical potential given by

 μCFT=−SEc. (53)

For comparison, the chemical potential for an ideal gas is given by

 μideal=−T(SNpart−52). (54)

Recognizing that the effective thermodynamic ensemble for the entanglement entropy (12) is defined to have unit temperature, we see that the chemical potential for varying in the context of entanglement entropy matches the first term in the chemical potential of an ideal gas, that is, minus the entropy over the number of degrees of freedom. This term reflects an overall extensivity of the entropy on particle number, while the minus sign arises because at fixed energy, the entropy increases if is increased.

A similar story holds in higher, even number of boundary dimensions. For example, a holographic calculation of the conformal anomaly for a -dimensional boundary theory with an Einstein gravity dual gives in the notation of [16]

 A=l38πG5(18RμνRμν−124R2) (55)

where is the curvature of the boundary metric. This can be matched to a field theory calculation of the conformal anomaly in order to find the relationship between the AdS curvature radius and the number of boundary degrees of freedom. Note, however, that the extended first law (48) holds in all dimensions, both even and odd, and hence such a relation between the AdS radius and the conformal anomaly of the boundary theory does not cover all cases of interest.

The most familiar example with a dimensional boundary theory is SYM theory. The conformal anomaly in this theory can be computed approximately using free fields, yielding in the large limit the identification . However, in the AdS/CFT correspondence arising from compactifying -dimensional Type IIB string theory on with units of -form flux [18], the -dimensional Newton’s constant depends on the AdS radius as well through , giving the net dependence of on

 l8=2G10N2π4 (56)

where is the fixed -dimensional Newton’s constant, so that . To apply the extended first law in this case, we need to take into account the explicit dependence of the entanglement entropy on in equation (1) as well, which gives

 δSE=14G5δAΣ−AΣδG5G5 (57)

Combining this with the extended first law (48) gives the net result for SYM theory

 δEξ=δSE−2SEδNN (58)

In comparison with (52), we can think of the coefficient of the new term in (58) as a chemical potential for varying the rank of the gauge group given by

 μN=−2SEN (59)

where the additional factor of relative to arises because the number of degrees of freedom grows like . Similar analyses can be made for and which arise from the near horizon limits of stacks of or -branes [18] and provide similar formulas for the AdS radius and lower dimensional Newton’s constant in terms of the number of branes .

## 4 Conclusions

We have shown how the extension of the first law to include variation in the cosmological constant [6] can be applied in the AdS/CFT context to yield an extension of the first law for CFT entanglement entropy. This extension takes the form of a chemical potential term for varying the number of degrees of freedom on the boundary, with the chemical potential having a similar form to the thermodynamic chemical potential of an ideal gas.

Like the derivation of the ordinary un-extended first law for entanglement entropy from the bulk first law [4], our result holds only for spherical entangling surfaces on the boundary. The first law for CFT entanglement, on the other hand, has been shown to hold for general entangling surfaces [2, 3], although the explicit form of the modular Hamiltonian in (13) is not generally known. It is natural to ask whether there is some bulk construction that yields the boundary first law for a general entangling surface. In the general case the bulk minimal surface in the holographic prescription for entanglement entropy will not be part of a Killing horizon. There has been some progress made on establishing an alternative formalism for the laws of black hole thermodynamics based on the properties of trapping horizons [19]. It would be interesting to see whether this formalism may be applied to the minimal surfaces that arise in the context of the holographic prescription for entanglement entropy.

A second, more straightforward, area for future investigation is to apply the extended first law formalism of this paper to bulk AdS black holes and the corresponding thermal states of CFT’s. Our construction applies to perturbations from AdS, and therefore to the far field regions of AdS black holes in the bulk. If we limit our attention to small spherical surfaces on the boundary, so that the corresponding bulk minimal surfaces are entirely within the far field regime, then our methods will yield the dependence of the entanglement entropy for thermal boundary states on the number of boundary degrees of freedom.

Finally, more general boundary CFT’s have bulk duals that include higher curvature interactions. Already for -dimensional boundaries, the Gauss-Bonnet interaction must be added to the bulk gravitational theory in order to reproduce a general conformal anomaly for the boundary CFT [20]. The construction of [4] yielding the boundary first law for entanglement entropy from the bulk first law applied to Lovelock theories in the bulk as well. Extension of the bulk first law to include variations of the full set of couplings of Lovelock theories were considered in [21]. As in the present paper, this should lead to similar extensions of the boundary first law for entanglement entropy for spherical surfaces. The various Lovelock couplings distinguish between different aspects of the boundary CFT’s. Computing the corresponding thermodynamic potentials for variation of the entanglement entropy with respect to these couplings should yield insight into the corresponding properties of the boundary theories.

### Acknowledgements

The authors thank Alex Maloney for helpful conversations. The work of S.R. is supported by FONDECYT grant 11110176 and CONICYT grant 791100027.

## References

• [1] S. Ryu and T. Takayanagi, “Holographic derivation of entanglement entropy from AdS/CFT,” Phys. Rev. Lett. 96, 181602 (2006) [hep-th/0603001].
• [2] D. D. Blanco, H. Casini, L. Y. Hung and R. C. Myers, “Relative Entropy and Holography,” JHEP 1308, 060 (2013) [arXiv:1305.3182 [hep-th]].
• [3] G. Wong, I. Klich, L. A. Pando Zayas and D. Vaman, “Entanglement Temperature and Entanglement Entropy of Excited States,” JHEP 1312 (2013) 020 [arXiv:1305.3291 [hep-th]].
• [4] T. Faulkner, M. Guica, T. Hartman, R. C. Myers and M. Van Raamsdonk, “Gravitation from Entanglement in Holographic CFTs,” JHEP 1403, 051 (2014) [arXiv:1312.7856 [hep-th]].
• [5] D. Sudarsky and R. M. Wald, Extrema of mass, stationarity, and staticity, and solutions to the Einstein Yang-Mills equations, Phys.Rev. D46 (1992) 1453–1474.
• [6] D. Kastor, S. Ray, and J. Traschen, Enthalpy and the Mechanics of AdS Black Holes, Class.Quant.Grav. 26 (2009) 195011,
• [7] B. P. Dolan, “Black holes and Boyle’s law – the thermodynamics of the cosmological constant,” arXiv:1408.4023 [gr-qc].
• [8] M. Cvetic, G. W. Gibbons, D. Kubiznak and C. N. Pope, “Black Hole Enthalpy and an Entropy Inequality for the Thermodynamic Volume,” Phys. Rev. D 84, 024037 (2011) [arXiv:1012.2888 [hep-th]].
• [9] D. Kubiznak and R. B. Mann, “P-V criticality of charged AdS black holes,” JHEP 1207, 033 (2012) [arXiv:1205.0559 [hep-th]].
• [10] C. V. Johnson, “Holographic Heat Engines,” arXiv:1404.5982 [hep-th].
• [11] B. P. Dolan, “Bose condensation and branes,” arXiv:1406.7267 [hep-th].
• [12] B. P. Dolan, D. Kastor, D. Kubiznak, R. B. Mann and J. Traschen, Phys. Rev. D 87, no. 10, 104017 (2013) [arXiv:1301.5926 [hep-th]].
• [13] J. Traschen, Constraints on stress energy perturbations in general relativity, Phys.Rev. D31 (1985) 283.
• [14] J. Traschen and D. Fox, Tension perturbations of black brane space-times, Class.Quant.Grav. 21 (2004) 289–306,
• [15] D. Kastor, Komar Integrals in Higher (and Lower) Derivative Gravity, Class.Quant.Grav. 25 (2008) 175007,
• [16] M. Henningson and K. Skenderis, “The Holographic Weyl anomaly,” JHEP 9807, 023 (1998) [hep-th/9806087].
• [17] J. D. Brown and M. Henneaux, “Central Charges in the Canonical Realization of Asymptotic Symmetries: An Example from Three-Dimensional Gravity,” Commun. Math. Phys. 104, 207 (1986).
• [18] J. M. Maldacena, “The Large N limit of superconformal field theories and supergravity,” Int. J. Theor. Phys. 38, 1113 (1999) [Adv. Theor. Math. Phys. 2, 231 (1998)] [hep-th/9711200].
• [19] S. A. Hayward, “General laws of black hole dynamics,” Phys. Rev. D 49, 6467 (1994).
• [20] S. Nojiri and S. D. Odintsov, “On the conformal anomaly from higher derivative gravity in AdS / CFT correspondence,” Int. J. Mod. Phys. A 15, 413 (2000) [hep-th/9903033].
• [21] D. Kastor, S. Ray and J. Traschen, “Smarr Formula and an Extended First Law for Lovelock Gravity,” Class. Quant. Grav. 27, 235014 (2010) [arXiv:1005.5053 [hep-th]].
Comments 0
You are adding the first comment!
How to quickly get a good reply:
• Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
• Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
• Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
The feedback must be of minimum 40 characters and the title a minimum of 5 characters

Loading ...
249615

You are asking your first question!
How to quickly get a good answer:
• Keep your question short and to the point
• Check for grammar or spelling errors.
• Phrase it like a question
Test
Test description