Black Hole entropy for two higher derivative theories of gravity

The dark energy issue is focusing the attention of an incresing number of physicists all over the world. Among the possible alternatives in order to explain what as been named the"Mystery of the Millennium"are the so-called Modified Theories of Gravity. A crucial test for such models is represented by the existence and (if this is the case) the properties of their black hole solutions. Nowadays, to our knowledge, only two non-trivial, spherically symmetric, solutions with vanishing cosmological constant are known by Barrow&Clifton (2005) and Deser, Sarioglu&Tekin (2008). Aim of the paper is to discuss some features of such solutions, with emphasis on their thermodynamic properties such as entropy and temperature, little progress being possible along the way which leads to a consistent definition of mass.


I Introduction
Since the discovery by Riess and Perlmutter and respective collaborators [1,2] that the universe is-against any previous belief-in an accelerating epoch, the dark energy issue has become the "Mystery of the Millennium" [3]. Today, dark energy is probably the most ambitious and tantalizing field of research because of its implications in fundamental physics. That the dark energy fluid has an equation of state index w very close to minus one represents an important point in favour of those who propose to explain dark energy in terms of a cosmological constant, Λ. Still, a nonvanishing cosmological constant does not exhaust the range of models that have been proposed so far in order to solve the aforementioned issue. This is justified, in part, by the whole sort of well-known problems raised by the existence of a strictly positive cosmological constant.
On the other hand, it is well accepted the idea according to which general relativity is not the ultimate theory of gravity, but an extremely good approximation valid in the present day range of detection. It basically comes from this viewpoint the input to so-called modified theories of gravity which nowadays enjoy great popularity (cf. [4,5,6,7,8,9,10] for a review). Without any claim for unification, such models propose to change the Einstein-Hilbert Lagrangian to a more general form able to reproduce the same general relativity tests on solar distance scales and further justify both inflationary and current acceleration of the universe.
The original idea of introducing a correction to the Einstein-Hilbert action in the form of f (R) = R + R 2 was proposed long time ago by Starobinsky [11] in order to solve many of the problems left open by the so-called hot universe scenario. This, in turn, had the consequence of introducing an accelerating expansion in the primordial universe, so that the Starobinsky model can be considered as the first inflationary models. The recent interest in models of modified gravity instead, grew up in cosmology with the appearance of [12,13,14].
The mathematical structure of f (R)-theories of gravity and their physical properties (e.g., asymptotic flatness, renormalizability, unitarity) have been an exciting field of research over the last four decades; a small but significant trace of which is represented by [15,16,17,18,19,20,21].
The arena of models is in principle infinite while departures from Einstein's theory are most of the times all but minimal. Of crucial interest is, of course, the existence and, if this is the case, the properties of black holes in modified gravities. It is quite easy to find the conditions allowing the existence of de Sitter-Schwarzschild black holes (see, for example [22] for f (R) modified gravity, [23] for Gauss-Bonnet modified gravity, and [24,25,26,27] for related topics).
Here, we are interested in non-trivial and static black holes solutions. However, the number of exact non-trivial static black hole solutions so far known in modified theories of gravity is extremely small: just two, both spherically symmetric. They have been obtained by Barrow & Clifton (2005) in a modified theory of the type f (R) = R 1+δ with δ a small real parameter; and by Deser, Sarioglu & Tekin (2008) by adding to Einstein-Hilbert Lagrangian a non-polynomial contribution of the type √ C 2 , with C abcd being the Weyl tensor. These black hole solutions are not expected to share the same laws of their Einsteinian counterparts: for this reason, following [31], we shall refer to them as dirty black holes. Some of the physical quantities one would like to address to dirty black holes are their mass, the horizon entropy, their temperature and so on. Thanks to the large amount of work carried over in the last decade, we can firmly say that the issue of entropy and temperature of dirty black holes represents a well posed problem [30]; a nice and recent review on the entropy issue associated with f (R) gravity models is [32], where a complete list of references can be found. Here, we only mention [33,22,23]. However, with regard to the mass issue, all considerations still lay on a much more precise ground.
In the present paper we shall work in units of c = G = = k B = 1. The organization is as follows: in §2 we review the Deser-Sarioglu-Tekin solution and compute entropy and temperature for such black hole; in §3 we do the same for the Clifton-Barrow solution. In the Conclusions we address the difficulties faced trying to define meaningfully the concept of mass for dirty black holes.

II The Deser-Sarioglu-Tekin solution
Let us start by recapitulating the Deser-Sarioglu-Tekin solution [28]. The authors start from the action where σ is a real parameter and C 2 := C cd ab C ab cd is the trace of the Weyl tensor squared. Looking for static, spherically symmetric solutions of the type, the action (II.1) becomes Imposing the stationarity condition δI[a(r), b(r)] = 0 gives the equations of motion for the unknown functions a(r) and b(r).
The constantsk,k and k appearing in b(r) are removable by time re-scaling. Notice also that, in (II.5), g 00 and g 11 go to zero as r → ∞ so that the model is unphysical. For this reason, we shall mainly concentrate on the solution (II.6) parametrized by all the σ = 0, 1, 1 4 . In order to treat (II.6), let us introduce the parameter p(σ) := 1−σ 1−4σ so that the metric becomes For p < 0, or 1 4 < σ < 1, a(r) = −(|p| + cr 1 |p| ) < 0 for all r, that is, the parameter region 1 4 < σ < 1 needs to be excluded to preserve the metric signature. As regard the asymptotic behaviour of (II.7), we see that: • for p > 1 or 0 < σ < 1 4 , we have that g 00 → 0 and g 11 → 1 p as r → ∞; • for 0 < p < 1 or σ ∈ (−∞, 0) ∪ (1, +∞), we have that g 00 → ∞ and g 11 → 1 p as r → ∞. As noted by Deser et al. the fact that the asymptotics of g 00 and g 11 differ means that the equivalence principle is violated: something which is intimately related with the difficulty of defining a "mass" in this theory [28].
Looking at the solution (II.7), we see that the hypersurface r = r H := c p p defined by the condition a(r H ) = 0 behaves as a Killing horizon with respect to the timelike Killing vector field ξ a . To prove this, let us define a complex null tetrad {l a , n a , m a ,m a } for the metric (II.7) according to the following rules [35]: 1. l a is s.t. on the horizon l a H ≡ ξ a ; (II.8)

The normalization conditions hold
3. All the other scalar products vanishes.
Since the metric (II.7) is not asymptotically flat, it is not clear at all what is the right normalization for ξ a . Assuming ξ a = λ ∂ a t , λ ∈ R + , it's not difficult to see that l a = (λ, λ a(r)b(r), 0, 0) , satisfy the list of conditions to form a complex null tetrad. As a consequence, for example, the metric can be re-written as g ab = −2l (a n b) + 2m (amb) . The null expansions are, by definition, , Thus, in-going light rays always converge (Θ − < 0 for all r > 0); out-going light rays, instead, focus inside the horizon (Θ + < 0 as r < r H ), diverge outside it (Θ + > 0 as r > r H ) and run in parallel at the horizon (Θ + | H = 0). When they are slightly perturbed in the in-direction (that is, along n), the out-going null ray is absorbed inside the horizon r H as it is confirmed by the fact that the in-going Lie derivative L n Θ + | H = − 1 turns out to depend by the normalization of the Killing vector ξ a . In order to fix λ, we may implement the conical singularity method. To this aim, let us start by the Euclidean metric where we suppose that both V (r) and W (r) have a structure like with v(r), w(r) regular for r >r.r may be identified with some type of horizon close to which we are interested in the behaviour of the metric.
r −r ≡ ζx 2 , (II. 15) with ζ a constant we are going to fix very soon.
Let us choose ζ = w(r)/4, the Euclidean metric takes the form (II.17) shows that close to the horizon (r ≈r or x ≪ 1) the metric factorizes into K 2 × S 2r : K 2 being the metric of flat two-dimensional metric on behalf of identifying x with the polar distance and τ with the angular coordinate. However, K 2 is regular if and only if v(r)w(r) 2 τ ∼ v(r)w(r) 2 τ + 2π (II. 18) or, in other words, β representing the (unique) τ -period which allows to impose a smooth flat metric on R 2 .
In Quantum Field Theory, the KMS propagator exhibits a periodicity in time when the system is at finite temperature. The period of the compactified time, β, is directly related to the temperature of the system in Lorentzian signature, through (k B = 1) If we assume the standard Hawking temperature formula, T = κ H /2π, the period β in (II.19) can be re-written according to which for the metric (II.2) reads κ H = 1 2 a ′ (r) H b(r) H . Comparison between the latter and (II.12) fixes the normalization of the Killing vector ξ a to be λ = 1 2 . What is most important to us is that κ H = 0, so that we may conclude that the Killing horizon is of the bifurcate type. We may anticipate that this is not the unique surface gravity which can defined for a generic spherically symmetric static black hole. For the sake of simplicity, we shall postpone this discussion to the Conclusion an alternative definition.
Given these preliminary remarks, we are now in the position to apply Wald's argument [30] to derive the black hole entropy associated to the Killing horizon of the solution (II.7). Following [30,31,34], the explicit calculation of the black hole entropy S W of the horizon r = r H = (c/p) p is provided by the formula where L = L (R abcd , g ab , ∇ a R bcde , . . . ) is the Lagrangian density of any general theory of gravity, in the specific case, The hatted variable,ǫ ab , is the binormal vector to the (bifurcate) horizon: it is antisymmetyric under the exchange of a ↔ b and normalized so thatǫ abǫ ab = −2. For the metric (II.2), the binormal turns out to beǫ The induced volume form on the bifurcate surface r = r H , t =constant is represented by h (2) dθ dφ, where, for any spherically symmetric metric, h (2) = r 2 sin θ and the angular variables θ, φ run over the intervals [0, π], [0, 2π), respectively. Finally, the superscript (0) indicates that the partial derivative δL /δR abcd is evaluated on shell. The variation of the Lagrangian density with respect to R abcd is performed as if R abcd and the metric g ab are independent. In the specific case, equation (II.22) becomes (II. 25) with A H the area of the black hole horizon. Let us compute the Lagrangian variation, Using the fact that C 2 = R abcd R abcd − 2R ab R ab + 1 3 R 2 , we get, In the specific, δL δR 0101 Since in general, tr C n = − 1 3 n [2 + (−2) 2−n ]X n , for n > 0 and for the metric (II.2), we may write  According to (II.31) the entropy predicted by Wald's formula restricts considerably the space of the σ parameter with respect to our previous considerations. In fact, as shown by Figure 1, the entropy of the black hole is positive only as far as σ ∈ (−1, 1 4 ]. For σ = −1, the entropy vanishes suggesting (but we leave this to the level of a speculation) that, for this value of σ, the number of microscopic configurations realizing the black hole is only one. For σ ∈ (−1, 0), the entropy of Deser's black hole is always smaller than its value in general relativity. Notice also that for σ = 1 4 , the entropy function is continuous even if the black hole metric changes. However, as pointed out above, such solution is not physical because of its pathological asymptotic behaviour. En passant, we notice how Wald's entropy could be computed equally well following [34]. Introducing a new radial co-ordinate ρ such that the metric (II.7) transforms to This time, Wald's entropy (II.31) will follow from

III The Clifton-Barrow solution
The Clifton-Barrow solution starts from the following modified-gravity action (evaluated in the vacuum space): Here, δ is a constant and χ is a dimensional parameter. We can choose χ = 16πG 1+δ . When δ = 0, we recover the Hilbert-Einstein action of General Relativity. Taking the variation of the action with respect to the metric g µν , we obtain: Looking for static, spherically symmetric metric of the type, we find the Clifton-Barrow solution of Equation (III.37): (III.40) C and r 0 are dimensional constants.
In a similar way with respect to the previous section, we can see that the hypersurface r = r H := (−C) (1−δ)/(1−2δ+4δ 2 ) , for which W (r H ) = 0 and ∂ r W (r H ) = 0, determines an event horizon, and, since C < 0, the Clifton-Barrow metric is a Black Hole solution.
According to Equation (II.21), we recover the Killing-horizon surface gravity which can be used to find the Hawking temperature T = κ H /2π. As a last remark, we are able to derive the Black Hole entropy associated to the event horizon of the Clifton-Barrow solution. For modified gravity F (R)-theories (where the gravity lagrangian is a function F (R) of the Ricci scalar only), it is easy to see that the Wald formula in Equation (II.22) is simplified as In our case, F (R) = R 1+δ /χ, so we find: (III. 43) proved by the fact that on the Clifton-Barrow solution R = 6δ(1 + δ)/((2δ 2 + 2δ − 1)r 2 ). In order to have the positive sign of entropy, we must require δ > ( √ 3 − 1)/2. The solutions with 0 < δ < ( √ 3 − 1)/2 are unphysical, whereas for δ = 0 we find the result of General Relativity.

IV Conclusions
Despite the great success enjoyed by modified theories of gravity, we have seen that only two non-trivial, static, spherically symmetric, vacuum black-hole solutions are known so far. Their thermodynamic properties have been taken into considerations. We have shown that the solutions we considered in §2 and 3 possess a Killing horizon with a Killing vector ξ a ∼ ∂ a t associated which cannot be defined unambiguously due to the fact that the spacetimes are not asymptotically flat. What is most important, however, is that we have been able to deduce a non-vanishing Killing temperature for such horizons. Of course, this is not the only temperature we can define for such horizons. As shown in [36], in spherically symmetric spacetimes always exists a Kodama vector field K whose defining property is that (G ab K b ) ;a = 0. The Kodama vector turns out to be time/light/space-like in untrapped/marginal/trapped spacetime regions; it gives a preferred flow of time generalizing the Killing time flow familiar to static cases; it makes possible to define an invariant particle energy even in non-stationary spacetimes and it associates a Kodama-Hayward surface gravity to any future outer trapping horizon [37]. In static, asymptotically flat spacetimes, both the Killing and Kodama vectors coincide, so that they give rise to the same concepts of energy and temperature. In static, non-asymptotically flat spaces, they are both ambiguous and can differ by normalizations, but nonetheless the ratio "energy/surface gravity" remains fixed [38,39,40]. This means that as far as the Killing temperature associated with the black holes mentioned here is non-vanishing, also their Kodama-Hayward temperature will be so. On the other hand, that the horizons we are concerned are of the bifurcate type means we are in Wald's hypothesis in order to compute their entropy. In this sense, equations (II.31-III.43) and Figure 1 represent our main results.
To complete the picture of thermodynamic features of black holes in modified theories of gravity, it would be necessary to formulate a consistent definition of their mass. As it is well known, in modified theories of gravity the first law of thermodynamics generally requires a work term even in vacuum solutions something which makes the first law useless in the situations at hand. Quite recently some attempts have been put forward in order to answer the question, but only for asymptotically flat spacetimes, cf. [41,42].
In principle, a powerful tool to evaluate the black hole mass in a theory of the type L = R + (. . . ) is represented by the so-called Brown-York quasi-local mass [43,44,45]. In static, spherically symmetric spacetimes where the metric can be put in the form (II.2) the BY mass reads M BY = ra(r)b(r) a (0) (r) a(r) − 1 (IV. 44) with a (0) (r) an arbitrary function which determines the zero of the energy for a background spacetime and r is the radius of the spacelike hypersurface boundary. When the spacetime is asymptotically flat, the ADM mass M is the M BY determined in (IV.44) in the limit r → ∞.
If no cosmological horizon is present, the large r limit of (IV.44) is used to determine the mass. However, this approach is known to fail whenever the matter action (i.e. what we have represented with (. . . ) few line above) contains derivatives of the metric as it is the case of the Deser et al. action, (II.1).
Another quasi-local energy definition well known in general relativity and fully employed in spherical symmetry is the so-called Misner-Sharp energy [46] which can be proved to be the conserved charge generated by the Kodama vector K [47,48]. In the last few years, different authors have tried to generalize the Misner-Sharp energy definition to wider classes of gravity theories [49,50]. But even if Cai et al. provide a general formula for the generalized MS energy in f (R) gravity, this does not produce any explicit, useful, result for the Clifton-Barrow black hole.
In conclusion, we have succeeded in computing two of three most relevant thermodynamic parameters (entropy and temperature) of the known black hole solutions in modified theories of gravity; the mass resisting up to now to any attack led by conventional methods.