RG Flow and Thermodynamics of Causal Horizons in AdS

Causal horizons in pure Poincare $AdS$ are Killing horizons generated by dilatation vector. Renormalization group (RG) flow breaks the dilatation symmetry and makes the horizons dynamical. We propose that the boundary RG flow is dual to the thermodynamics of the causal horizon. As a check of our proposal we show that the gravity dual of the boundary $c$-theorem is the second law of thermodynamics obeyed by causal horizons. The holographic $c$-function is the Bekenstein-Hawking entropy (density) of the dynamical causal horizon. We explicitly construct the $c$-function in a generic class of RG-flow geometries and show that it interpolates monotonically between the UV and IR central charges as a result of the second law.


I. INTRODUCTION
Renormalization group flow is an important aspect of any field theory. In holography the additional bulk direction(s) is said to emerge from the renormalization group flow of the dual field theory. This connection has beed made manifest in holographic renormalization group flow studied, e.g, in [8][9][10][11][12][13]. One of the cornerstones of RG-flow is its monotonicity property exemplified by c-theorem [1][2][3][4][5][6][7]. Holographic c-functions have been constructed before as radial evolution of a locally constructed function of the metric. In this paper we would like to address this problem from a different perspective. We will see that (thermo)dynamics of causal horizons play a crucial role in this. We want to study AdS-CFT in the Poincare patch so that our field theory lives in Minkowski space-time. In the Poincare patch the metric of AdS d+1 can be written as,

II. DILATATION AND CAUSAL HORIZONS IN ADS
where L is the AdS radius and η µν is the d-dimensional Minkowski metric with mostly + entries. This metric has a scaling isometry, (x µ , z → λx µ , λz), generated by the vector field, The isometry generated by the vector D has the interpretation of the scaling symmetry of the conformal field theory living on the boundary of AdS.
The norm of D is given by, This is a causal vector in the region, D 2 ≤ 0. In particular D is null on the hypersurface Σ given by, Σ is a null-hypersurface which is left invariant by the flow generated by D. Since D is Killing and null on Σ, Σ is a Killing horizon. It can be easily checked that it is nondegenerate.
Σ also has another interpretation. If we choose the boundary point p given by the coordinates x µ = z = 0, then Σ is the boundary of the causal (future)past of p in the AdS bulk. This is also the boundary of the causal (future)past of a time-like curve in AdS with infinite proper length in the (past) future and ends at the point p. So this null hypersurface Σ is the causal horizon of the bulk observer who reaches the point p on the boundary.
As we have shown the causal horizon is a Killing horizon in pure AdS generated by the dilatation D. Now suppose we deform the boundary CFT by adding a relevant operator.
This breaks the scale invariance and causes renormalization group flow. In the deep IR the field theory reaches a fixed point. The IR fixed point could be some non-trivial conformal field theory or could be some theory with mass gap. In any case, the dual gravity description will not have any scaling symmetry globally. But since we are adding only relevant operator the bulk still remains asymptotically AdS and the scaling symmetry is recovered asymptotically.
Deforming the UV-CFT by adding relevant operator is dual to the addition of massive scalar fields with negative mass squared in the bulk. The backreacted geometry is only asymptotically AdS. Now the causal horizon of the observer reaching the boundary point p shifts due to the backreaction of the matter. In particular this is no longer a Killing horizon -the dilatation is broken. The horizon will be Killing near the point p because horizon also satisfies laws of thermodynamics in particular the second law which states that the area of (past)future causal horizon does not (increase)decrease [15,16]. This is a natural monotonicity property associated with a dynamical causal horizon and is reminiscent of More concretely we would like to propose that the dynamics of the causal horizon due to the breaking of the scaling symmetry is dual to the renormalization group flow in the field theory. As a non-trivial check of this we will show that the c-theorem in the field theory is dual to the second law of thermodynamics of the causal horizon, with the Bekenstein-Hawking entropy(density) of the dynamical causal horizon playing the role of the c-function. For the sake of simplicity, let us start from AdS 3 space. In pure AdS 3 the causal horizon of the boundary point p with coordinates x µ = z = 0 is given by, We will work with the past horizon, denoted by Σ, i.e, the boundary of the causal future of the point p. This has the property that its area cannot increase in the future direction.
This is closer to the conventional statement of the c-theorem which states that the c-function is monotonically decreasing as we move from the UV to the IR. Now suppose we deform the boundary conformal field theory by adding a relevant operator which corresponds to adding a massive scalar field in the bulk. The back reaction of the matter will change the pure AdS geometry. Let us take the form of the back reacted geometry to be, 1 where f (z) has the form determined by solving the coupled Einstein-Scalar equations.
The scalar field is assumed to satisfy null energy condition and this leads to the constraint that, We also have, f (z) → 1 as z → 0. The behavior of f (z) as z → ∞ depends on whether the IR is a non-trivial CFT or a gapped theory. If there is a non-trivial interacting CFT in the IR then, the behavior of f (z) for large z is given by, where L IR is the size of the locally AdS region in the deep interior. If instead the IR theory is gapped then f (z) blows up as z → ∞.
Let us now define the new variablez by, With this new variable the equation of the perturbed metric becomes, 1 See for example [14].
where we treat z as a function ofz. The equation of the causal horizon,Σ, in the perturbed geometry becomes, Now we define a vectorD as,D Σ is invariant under the flow generated byD andD is null onΣ. SoD is the null generator ofΣ. AsymptoticallyD becomes Killing and generates the scaling symmetry of the UV-CFT.
Let us take the null generators to be the integral curves ofD parametrized by λ, λ is not necessarily an affine parameter. The components (t(λ), x(λ),z(λ)) satisfy (3.7), Let us now parametrizeΣ by writing, So (z, η) are intrinsic coordinates onΣ. Now along the null generators we can write, is the equation of the null generators in the intrinsic coordinates. It is easy to see using (3.9) and (3.12) that η(λ) is independent of λ. In other words η is a comoving coordinate and parametrize a spatial slice ofΣ.
The induced metric onΣ is given by, f (αz(λ)) dα ≤ 0 (3.14) because f (z) is a monotonically increasing function of z. We also take note of the fact that η being a comoving coordinate, dη does not depend on λ.
Now the Bekenstein-Hawking entropy density is given by, and satisfies, This is the statement of c-theorem. To see this more clearly let us note that increasing λ corresponds to moving away from the boundary point p. In particular let us use equation Let us now evaluate the expression in the limit of large and small λ. The expression for the c-function is, where we have used (3.5).

IR
, we recover, 2 Since c (λ) ≤ 0 we conclude that c(λ) monotonically decreases from the UV central charge to the IR central charge and c IR < c U V .
For a gapped system f (∞) blows up and we get c IR = 0. This is caustic formation. So caustic formation in the interior corresponds to a gapped system in the IR.

A. Arbitrary Dimension
For AdS d+1 the same thing goes through, except that the induced metric onΣ becomes, where ds 2 H d−1 is the metric on the unit hyperbolic space H d−1 given by, The coordinates on the hyperbolic space are comoving.
The volume element of the horizon slice is, We can again write, Now define the density of the Bekenstein-Hawking entropy of the Causal horizon slice, This is our c-function. We can also write it as, 2 If the reader is not comfortable with the fact that in (3.18) the lower limit of integration is 0, one can replace it with a small number satisfying 0 < << 1 and take the limit → 0 at the end. The answer will be the same, because there is no divergence in the integral anywhere.
Using the same argument as in d = 2 we get that c(λ) monotonically decreases between the UV central charge and the IR central charge. Here also caustic formation corresponds to a gapped phase in the IR.

B. Stationarity Of The c-Function
In this section we will check the stationarity of the c-function. This reduces to the problem of showing that the following quantity, goes to zero as λ → −∞ or λ → +∞.
As λ → −∞, z(λ) → 0 andz z → 1. This shows that that the integral vanishes in the UV making the c-function stationary at the UV fixed point.
As λ → +∞, z(λ) → +∞ andz z → L IR L . This makes the integral zero and the cfunction stationary at the IR-fixed point. Here we have made use of the fact that as z → ∞, and as z → 0, f (z) → 1.

IV. ENTANGLEMENT SLICING
Let us go back to the case of AdS 3 and choose a different slicing. We parametrizeΣ by, By the same argument as in the previous case we get that θ is a comoving coordinate.
The induced metric on the horizon is given by, Since θ is a comoving coordinate we can repeat the previous arguments and get back the same c-function. But we would like point out one thing. Suppose we are in pure AdS. In that casez = z and we get, Now we can identify the quantity defined by, Before we conclude this section we would like to mention that with this particular choice of slicing the total entropy associated with a space-like slice can be identified with the Causal Holographic Information as defined in [24]. 3 So the density of causal holographic information in a domain-wall geometry is a holographic c-function.

A. Linearized Second Law And Entropic c-Theorem
The linearized first law for AdS-Rindler horizons has been shown to follow from the first law of entanglement entropy in the boundary field theory [25,26]. There is an interesting special case when one can interpret the entropic c-theorem as the linearized second law for causal horizons. This is the case when the two fixed points are very close to each other so that we can do linearized calculation. This was done in [14] and the authors found that to linear order the renormalized EE is a good c-function for any space-time dimension. We think that the reason for this is the following.
To prove entropic c-theorem, roughly speaking, one compares the EE of spherical regions of varying sizes [6,7]. For example say we are working with a (2 + 1) dimensional field theory. We consider a family of disks of varying radius R given by, Let us start with a CFT. Since we are considering time-independent situation, we can as If we slice it by the plane t = R we get, monotonically. This is the linearized c-theorem. We have done this for three dimensional field theories, but it is clear that it is true for any dimension. It is also clear that beyond linearized order the entropic c-theorem does not match with the causal horizon c-theorem.

V. DISCUSSION
In this paper we have tried to argue that the dynamics of the causal horizons in AdS caused by the breaking of the scaling isometry is dual to the RG flow in the field theory.
As a non-trivial check we have shown that the c-theorem is dual to the second law of thermodynamics of these dynamically evolving horizons. The Bekenstein-Hawking entropy density of these causal horizons play the role of c-function. So the number of degrees of freedom of the field theory is counted by the horizon density of Bekenstein-Hawking entropy.
Since the slices of the causal horizon are noncompact, density is the right thing to use in this case.

A. Observer Dependence Of The c-Function
One question is does the c-function depend on the choice of the bulk observer with which we associate the causal horizon. In the example we have studied, the c-function will not depend on our choice of the observer because the dual field theory is translationally invariant.
It will be interesting to see what happens if we break translational invariance. Presumably the c-function will be replaced by a local quantity which will again show monotonic behavior.

B. Higher Derivative Corrections And The Second Law
Another important thing to consider is higher derivative corrections in the bulk. In Einstein gravity second law is the statement about the area increase of the spacelike slices of the future horizon. This is no longer true if we have higher derivative corrections to the Einstein theory in the bulk. The natural thing to consider in this situation is the Wald entropy [17,18]. But it is not known if Wald entropy satisfies the second law of thermodynamics [19,20]. So Wald entropy cannot be used to produce a causal horizon c-function. In order to produce a causal horizon c-function we need an entropy functional which satisfies the second law. Recently a modified Wald functional has been shown to satisfy the linearized second law of black hole thermodynamics [27][28][29][30][31][32]. If the UV and the IR fixed points are very close so that we can apply the linearized second law of thermodynamics to the dynamical causal horizon, then this expression defines the c-function. Now what about a general higher derivative theory of gravity ? A general higher derivative theory of gravity will not define a unitary boundary theory, but as long as the gravity theory satisfies the second law we can construct a causal horizon c-function using that. But if the higher derivative theory defines a unitary boundary theory then there will be c-theorem. This seems to imply that any unitary higher derivative theory of gravity satisfies the second law of causal horizon thermodynamics. It is far beyond the scope of this paper to say anything conclusive about it. But it is satisfying that the existence of the classical second law for causal horizons is closely tied to the unitarity of the underlying theory.

C. Quantum Correction
It is tempting to propose that at least the leading 1 N correction of this picture will be captured by the generalized second law applied to causal horizons. It will be interesting to see how this works out. We would like to take note of the fact that the generalized second law has been proved for causal horizons in [33,34]. for their hospitality during the completion of this project. This work was supported by