Horndeski Gravity and the Violation of Reverse Isoperimetric Inequality

TL;DR

This paper explores Einstein-Horndeski-Maxwell gravity with axions, constructing charged AdS black holes and demonstrating that they can violate the reverse isoperimetric inequality, thus storing information more efficiently.

Contribution

It introduces new charged AdS black hole solutions in Horndeski gravity with axions and analyzes their thermodynamics, revealing violations of the reverse isoperimetric inequality.

Findings

Black holes constructed in Horndeski gravity can violate the reverse isoperimetric inequality.

These black holes can store information more efficiently than Schwarzschild black holes.

The thermodynamic properties of these black holes are thoroughly analyzed.

Abstract

We consider Einstein-Horndeski-Maxwell gravity, together with a cosmological constant and multiple Horndeski axions. We construct charged AdS planar black holes in general dimensions where the Horndeski anxions span over the planar directions. We analyse the thermodynamics and obtain the black hole volumes. We show that the reverse isoperimetric inequality can be violated, implying that these black holes can store information more efficiently than the Schwarzschild black hole.

Figures

Equations

$$V={\int }_{\mathrm{inside}}{d}^{D-1}x\sqrt{-g}.$$

$$dM=TdS+V_{\mathrm{th}}dP+\cdots .$$

$$M=(1+2\Lambda \gamma )\mu ,S=(1+2\Lambda \gamma )\pi r_0^2,$$

$$V_{\mathrm{th}}=\frac{4}{3}\pi (1+\gamma \Lambda )r_0^3-4\pi \gamma r_0.$$

$$V_{S}\equiv{\frac{\omega}{D-1}}\big{(}{\frac{4S}{\omega}}\big{)}^{{\frac{D-1}{D-2}}}\,,\qquad\hbox{or}\qquad V_{{\cal A}}\equiv{\frac{\omega}{D-1}}\big{(}{\frac{\cal A}{\omega}}\big{)}^{{\frac{D-1}{D-2}}}\,.$$

$$(i):V_{\mathrm{th}}\ge V_S,or(ii):V_{\mathrm{th}}\ge V_{\mathcal{A}}.$$

$$S={\textstyle{\frac{\scriptstyle 1}{\scriptstyle 4}}}\omega r_{0}^{D-2}\Big{(}1+2(D-2)(D-3)k{\frac{\alpha}{r_{0}^{2}}}\Big{)}\,,\qquad V_{\rm th}={\frac{\omega}{D-1}}r_{0}^{D-1}\,,$$

$$\frac{\mathcal{L}}{\sqrt{-g}}=\kappa (R-2\Lambda -\frac{1}{4}{F}^2)-\frac{1}{2}(\alpha g^{\mu \nu }-\gamma G^{\mu \nu })\sum _{i=1}^N{\partial }_{\mu }{\chi }_i{\partial }_{\nu }{\chi }_i.$$

$$\displaystyle\kappa(G_{\mu\nu}+\Lambda g_{\mu\nu}-{\frac{1}{2}}F_{\mu\nu}^{2}+{\frac{1}{8}}F^{2}g_{\mu\nu})-\sum_{i}^{2}{\textstyle{\frac{\scriptstyle 1}{\scriptstyle 2}}}\alpha\Big{(}\partial_{\mu}\chi_{i}\partial_{\nu}\chi_{i}-{\textstyle{\frac{\scriptstyle 1}{\scriptstyle 2}}}g_{\mu\nu}(\partial\chi_{i})^{2}\Big{)}$$

$$\displaystyle-\sum_{i=1}^{N}{\textstyle{\frac{\scriptstyle 1}{\scriptstyle 2}}}\gamma\Big{(}{\textstyle{\frac{\scriptstyle 1}{\scriptstyle 2}}}\partial_{\mu}\chi_{i}\partial_{\nu}\chi_{i}R-2\partial_{\rho}\chi_{i}\,\partial_{(\mu}\chi_{i}\,R_{\nu)}{}^{\rho}-\partial_{\rho}\chi_{i}\partial_{\sigma}\chi_{i}\,R_{\mu}{}^{\rho}{}_{\nu}{}^{\sigma}$$

$$-({\nabla }_{\mu }{\nabla }^{\rho }{\chi }_i)({\nabla }_{\nu }{\nabla }_{\rho }{\chi }_i)+({\nabla }_{\mu }{\nabla }_{\nu }{\chi }_i)\square {\chi }_i+\frac{1}{2}{G}_{\mu \nu }(\partial {\chi }_i{)}^2$$

$$\displaystyle-g_{\mu\nu}\big{[}-{\textstyle{\frac{\scriptstyle 1}{\scriptstyle 2}}}(\nabla^{\rho}\nabla^{\sigma}\chi_{i})(\nabla_{\rho}\nabla_{\sigma}\chi_{i})+{\textstyle{\frac{\scriptstyle 1}{\scriptstyle 2}}}(\Box\chi_{i})^{2}-\partial_{\rho}\chi_{i}\partial_{\sigma}\chi_{i}\,R^{\rho\sigma}\big{]}\Big{)}=0\,,$$

$$\displaystyle\nabla_{\mu}\big{(}(\alpha g^{\mu\nu}-\gamma G^{\mu\nu})\nabla_{\nu}\chi_{i}\big{)}=0\,,\qquad\nabla_{\nu}F^{\nu\mu}=0\,.$$

$$L_{({\chi }_i,\mathrm{kin})}=\frac{1}{2}(\alpha +\gamma \Lambda )(-g^{00})\sum _{i=1}^N{\dot{\chi }}^2.$$

$$\alpha +\gamma \Lambda \ge 0i.e.\gamma \le \frac{\alpha }{(-\Lambda )}.$$

$$\alpha +\gamma \Lambda =0,$$

$$d{s}_D^2$$

$$A$$

$$a^{\prime }=\frac{Q}{r^{D-2}}\sqrt{\frac{h}{f}},$$

$$\frac{\sigma f^{\prime }}{f}+\frac{2\Lambda r}{(D-2)f}+\frac{Q^2}{2(D-2)r^{2D-5}f}+\frac{2(D-3)f+\alpha {\lambda }^2}{2rf}-\frac{(D^2-9D+22)\gamma {\lambda }^2}{4r^3}=0,$$

$$\displaystyle\qquad\qquad\qquad\qquad\sigma\Big{(}{\frac{f^{\prime}}{f}}-{\frac{h^{\prime}}{h}}\Big{)}={\frac{\gamma\lambda^{2}}{r^{3}}}\,,\qquad\sigma\equiv 1-{\frac{(D-4)\gamma\lambda^{2}}{4r^{2}}}\,.$$

$$h={\sigma }^{-\frac{2}{D-4}}f.$$

$$a=-\frac{Q}{(D-3)r^{D-3}}{}_2{F}_1[\frac{1}{D-4},\frac{1}{2}(D-3);\frac{1}{2}(D-1);\frac{(D-4)\gamma {\lambda }^2}{4r^2}].$$

$$T={\frac{\sqrt{h^{\prime}f^{\prime}}}{4\pi}}\Big{|}_{r=r_{0}}={\frac{-4\Lambda r_{0}^{2}-(D-2)\alpha\lambda^{2}-Q^{2}r_{0}^{-2(D-3)}}{8\pi(D-2)r_{0}\,\sigma_{0}^{(D-3)/(D-4)}}}\,.$$

$${\sigma }_0=1-\frac{(D-4)\gamma {\lambda }^2}{4r_0^2}>0.$$

$$S={\textstyle{\frac{\scriptstyle 1}{\scriptstyle 4}}}\omega r_{0}^{D-2}\Big{(}1-{\frac{(D-2)\gamma\lambda^{2}}{4r_{0}^{2}}}\Big{)}\,.$$

$$r_0^2\ge r_{\min }^2=\frac{(D-2)\alpha {\lambda }^2}{4(-\Lambda )}.$$

$$S_{\rm min}={\frac{\omega(D-2)}{16(-\Lambda)}}\lambda^{2}\big{(}\alpha+\gamma\Lambda\big{)}r_{0}^{D-4}$$

$$Q_e=\frac{1}{16\pi }\int \ast F=\frac{\omega }{16\pi }Q,{\Phi }_e=a(\infty )-a(r_0)=-a(r_0).$$

$$dM=TdS+{\Phi }_{e}d{Q}_e+V_{\mathrm{th}}dP,$$

$${\Gamma }^i=\frac{1}{16\pi }\int d{\chi }_i=\frac{L}{16\pi }\lambda .$$

$$u_i(r)={\nu }_i(r)-{\nu }_i(r_0),{\nu }_i(r)=\lambda L^{D-3}{\int }^{r}dr\sqrt{-g}(\alpha g^{ii}-\gamma G^{ii}).$$

$$dM=TdS+{\Phi }_{e}d{Q}_e+V_{\mathrm{th}}dP+{\nu }_{i}d{\Gamma }^i.$$

Full text

1. 1 Introduction

2. 2 Horndeski gravity with multiple axions

3. 2.1 The theory and covariant equations of motion

4. 2.2 AdS planar ansatz

5. 2.3 The thermodynamics of black holes

6. 2.4 Ghost-free condition

7. 3 Charged AdS planar black holes $D=4,5$

8. 3.1 Four dimensions

9. 3.2 Five dimensions

10. 4 Charged AdS planar black holes in general dimensions

11. 4.1 Even dimensions

12. 4.2 Odd dimensions

13. 5 Violations of RII

14. 6 Conclusions and discussions

1 Introduction

There has been tremendous progress in understanding the properties of black holes, classically much more than quantum mechanically. There is however a lack of understanding of one rather mundane concept, the volume of a black hole. The black hole thermodynamics appears to imply the membrane paradigm [1] or more generally the holographic principle [2], which makes the black hole event horizon more physically relevant. Nevertheless, a black hole does occupy the space and we would like to know its volume. A naive proposal is to simply integrate out the volume density over the “space” encircled by the horizon, namely

[TABLE]

For the Schwarzschild black hole in four dimensions, this gives precisely ${\textstyle{\frac{\scriptstyle 4}{\scriptstyle 3}}}\pi r_{0}^{3}$, which is the same as the Euclidean volume of a spherical ball of radius $r_{0}$. This definition however cannot withstand close scrutiny. Firstly, the time coordinate $t$ is not globally defined crossing over the horizon, and the constant-$t$ slice inside the horizon is not necessarily spacelike. Secondly, the metric inside the horizon may not be uniquely defined even when the spacetime outside the horizon is completely fixed, owing to the locality of Einstein’s equations. For example, the point-source Schwarzschild black hole has the same spacetime metric outside the horizon as that of black hole generated by a spherical shell of the same mass. Integrating the spacetime geometry inside the horizon can obviously lead to different answers even though the black holes look identical from the outside of the horizon.

For asymptotic anti-de Sitter (AdS) black holes, the volumes can be determined indirectly by means of the first law of black hole thermodynamics. The negative cosmological constant $\Lambda$ contributes to the energy-momentum tensor like perfect fluid with positive pressure $P=-\Lambda/(8\pi)$. Treating this pressure as a thermodynamic variable, one can derive its conjugate thermodynamic volume $V_{\rm th}$ by completing the black hole first law

[TABLE]

With the inclusion of $(V_{\rm th},P)$, the black hole mass $M$ should then be interpreted as the enthalpy of the thermodynamic system [3, 4]. Interestingly, the volume obtained by this means for the Schwarzschild AdS black hole turns out to be precisely the same as the naively-expected Euclidean volume. Since the volume is independent of the cosmological constant, it is expected to be true even for the usual asymptotically-flat Schwarzschild black hole.

For a generic AdS black hole, it requires an exact solution in order to determine its volume by means of completing the first law. By contrast, the entropy can be determined locally as $1/4$ of the area of the horizon in Einstein gravity, or more generally by the Wald entropy formula [5, 6], which requires only the near horizon geometry. An integral form of calculating the volume can also be derived from the Wald formalism [7, 8], which necessarily requires exact solutions. Interestingly the integration is more naturally performed from horizon to asymptotic infinity [8]. Recently, a local formula of determining the volume of a black hole was proposed for static black holes, and was tested against a large number of known black holes [9].

Having obtained both the entropy (or area) and volume, it is of interest to compare the two quantities. In Euclidean space, for a fixed enclosing area, the spherical ball has the largest volume. For black holes, it appears to be opposite. By examining large number of black holes, static or rotating ones, Cvetič, Gibbons, Kubizňák and Pope noticed that thermodynamic volumes appear to be equal or more than the corresponding Euclidean volumes associated with the entropy [4]. Physically, it implies that for a given entropy, the Schwarzschild black hole occupies the least volume, and hence it is most efficient in storing information. This reverse isoperimetric inequality (RII) was conjectured to be generally true for all black holes [4].

The CGKP conjecture is rather robust. In fact for the local volume formula of static black holes proposed in [9], the CGKP conjecture becomes a simple consequence of the null-energy condition. However, counter examples were also found in some super rotating solutions where the horizon geometry becomes no longer compact [10, 11]. However, no counter example was found for static black holes in Einstein gravities.

Since the CGKP conjecture may be related to the energy condition for black holes with compact horizons [9], we expect that the RII will be violated in higher derivative gravities, which typically involve ghost excitations. A simple example is provided by Einstein gravity with a cosmological constant $\Lambda$, extended with quadratic curvature invariants $\alpha R^{2}+\beta R^{\mu\nu}R_{\mu\nu}$. The theory contains inevitable ghost-like massive spin-2 modes [12, 13], except at some critical point where the massive spin-2 modes become log modes [14, 15]. In this theory, the Schwarzschild AdS black hole with $f=-{\frac{1}{3}}\Lambda r^{2}+1-2\mu/r$ remains to be an exact solution. (Recently, further new black holes was numerically established to exist [16].) The mass [17] and entropy [14] however are modified to become

[TABLE]

where $\gamma=4\alpha+\beta$. Completion of the first law implies

[TABLE]

It can be easily checked that the RII can be indeed violated. Recently, the violation was also observed [18] in black holes of Einsteinian cubic gravity [19, 20]. Although the theory is engineered to be ghost free in the AdS vacuum, the violation might be indicative that ghost excitations may arise in the black hole background.

As we saw above, a new subtlety emerged for higher derivative gravities. The entropy based on the Wald entropy formula is no longer purely geometrical. We can thus define the Euclidean volume associated with a black hole based either on its entropy $S$, or on its geometric area ${\cal A}$ of the horizon, namely

[TABLE]

These two definitions are identical in Einstein gravity, but different when this theory has higher-order extensions. The RII can thus have two statements

[TABLE]

Note that the RII for black hole with (1.3) and (1.4) in above quadratically-extended gravity can be violated for the both statements.

We are interested in examining the RII conjecture in ghost-free higher-derivative gravities. The simplest example may be the Einstein-Gauss-Bonnet theory. The AdS black hole was constructed in [21, 22]. The entropy and volume can be easily obtained, given by

[TABLE]

where $\alpha$ is the Gauss-Bonnet coupling constant and $k=1,0,-1$ is the topological parameter. Thus the RII of statement (ii) in (1.6) is saturated, but the RII of (i) will be violated for positive $\alpha$, for spherically-symmetric black holes with $k=1$.

In this paper, we consider Einstein-Horndeski-Maxwell gravity [23] with multiple Horndeski axions. In this theory, axion fields $\chi_{i}$’s couple non-minimally to the Einstein tensor, namely $G_{\mu\nu}\partial^{\mu}\chi_{i}\partial^{\nu}\chi_{i}$. Although the theory involves four derivatives; however, each field at the equations of motion has at most two derivatives acting on directly. It follows that the linearized theory is of two derivatives, analogous to Einstein-Gauss-Bonnet gravity. This implies that the theory can be ghost free, provided that the kinetic term of each mode is non-negative.

We construct new AdS planar black holes in general dimensions where the Horndeski axions span over the planar directions. We analyse the global structure and obtain the thermodynamic volumes by establishing the first law of black hole thermodynamics. Comparing the entropies and volumes, we find that the RII can be violated in both statements of (1.6), even within the no-ghost condition.

The paper is organized as follows. In section 2, we present the Einstein-Horndeski-Maxwell gravity with multiple Horndeski axions. We consider the ansatz for charged AdS planar black holes and derive the equations of motion. We determine the first law of black hole thermodynamics up to the point where only the mass and volume are to be determined. We also provide the no-ghost condition on the parameters. In section 3, we present exact solutions of charged AdS planar black holes in four and five dimensions. We determine all the thermodynamic quantities including the volume, by completing the first law. In section 4, we construct the solutions to general dimensions and study their properties. In section 5, we discuss the RII and show that it can be violated by our black holes. We conclude the paper in section 6.

2 Horndeski gravity with multiple axions

2.1 The theory and covariant equations of motion

In this paper, we consider Einstein-Horndeski gravity [23] with $N$ number of Horndeski axions $\chi_{i}$. We also include a negative cosmological constant $\Lambda<0$ and a Maxwell field $A$ with its field strength $F=dA$. The full Lagrangian in general $D$ dimensions is given by

[TABLE]

The corresponding covariant equations of motion from the variation of the metric, axion $\chi_{i}$’s and $A_{\mu}$ are respectively given by

[TABLE]

Although Horndeski gravity involves a total of four derivatives, each field in the equations of motion above has at most two derivatives acting on directly. Consequently, the linearized theory in any background contains only two derivatives. Ghost excitations typically associated with higher-derivative theories can be avoided. However conditions on parameters still have to be imposed so that the kinetic terms of the linearized modes are non-negative. Without loss of much generality, we shall set $\kappa=1$ throughout of the paper, with the understanding that an overall $1/(16\pi)$ factor in the action.

Since we consider the case with a negative cosmological constant $\Lambda$, the theories all admit the AdS vacuum. In this vacuum, the effective kinetic term of the Horndeski axions becomes

[TABLE]

The ghost-free condition requires that [24]

[TABLE]

In this paper, we assume that the constant $\alpha$ is positive, and hence any negative $\gamma$ satisfies the no-ghost condition. The no-ghost condition also allows a small window of positive $\gamma$ values. (The theory reduces to Einstein theory with minimally-coupled matter when $\gamma=0$.) There is a critical situation when the parameters satisfy

[TABLE]

for which case the kinetic terms of the axions vanish, analogous to the critical point in Einstein-Guass-Bonnet gravity discussed in [25].

2.2 AdS planar ansatz

In this paper, we construct electrically-charged AdS planar black holes. It is clear that Reissner-Nordstrøm (RN) black holes with all $\chi_{i}=0$ are solutions. The RII can be easily shown to be saturated by these solutions [4]. In this paper, we are thus interested in black holes with non-vanishing $\chi_{i}$.

For $\Lambda=0$, a no-go theorem was established that there is no asymptotically-flat neutral black holes involving the axion field [26, 27]. This no-go theorem can be easily overcome by considering charged black holes [28]. With $\Lambda\neq 0$, black hole solutions with a single axion that depends on the radial coordinate (or even time) were constructed in [29, 30, 31, 28]. Thermodynamics of such black hole were analysed in [32, 33], where it was shown that the Wald entropy formula is no longer valid owing to the branch-cut divergence of the axion on the horizon.

When the theory involves multiple axions, one can consider “magnetic” axion ansatz such that the axions span over the planar directions. Such a four-dimensional solution was first constructed in [24]. Holographic transport properties with momentum dissipation by the Horndeski axions were studied in [24, 34], focusing the properties at the critical region (2.8). Here we generalize the construction to general $D$ dimensions. We consider

[TABLE]

Note that we assume that there is a sufficient number of axions, i.e. $N\geq D-2$. With this ansatz, the scalar equations of axions $\chi_{i}$ are automatically satisfied and $\lambda$ can be viewed as an integration constant. The Maxwell equation implies

[TABLE]

where $Q$ is an integration constant, parameterizing the strength of the electric charge.

The Einstein equations reduce to the following two first-order differential equations of the metric functions $(h,f)$

[TABLE]

It can be easily shown that $h$ can be expressed as

[TABLE]

We can thus solve (2.13) for the electric potential $a(r)$ and obtain

[TABLE]

We have chosen the gauge such that $a$ vanishes at the asymptotic infinity. We have thus only one equation and one function left to solve, namely the $f$ equation in (2.14). We shall present and study the solutions in sections 3 and 4.

2.3 The thermodynamics of black holes

The goal of this paper is to construct AdS planar black holes and using the first law of thermodynamics to compute their volumes. Before obtaining exact solutions, many properties can be established using the equations of motion only. Assuming that a black hole exists with the event horizon located at $r=r_{0}$ for which $h(r_{0})=0=f(r_{0})$, we can determine its temperature

[TABLE]

Here, we define $\sigma_{0}\equiv\sigma(r_{0})$. It is clear that a well-defined event horizon must satisfy

[TABLE]

Interestingly, this condition is always satisfied for negative $\gamma$, which also ensures the ghost-free condition. We employ the Wald entropy formula to calculate the entropy of the black holes, given by

[TABLE]

Here we assume that the volume of the space $dx^{i}dx^{i}$ in the planar direction is $\omega$. The black hole in a well-defined theory with no ghost excitations should not have negative entropy. When $\gamma$ is positive, there is however a potential danger of having negative entropy. To study this, we note that the solution has the extremal limit of zero temperature. Consequently the horizon radius has a minimal value for a given $\lambda$; it is given by

[TABLE]

Note that the above $r_{\rm min}$ is the radius of the extremal black hole with $Q=0$. For non-vanishing $Q$, the extremal radius becomes larger. Thus the minimal value of the entropy of the black holes for a given $\lambda$ is

[TABLE]

The entropy is therefore non-negative provided that the no-ghost condition (2.7) is satisfied. Note also that if $r_{0}=r_{\rm min}$ satisfies (2.18), then the minimum black hole radius can be reached; otherwise, the solution becomes singular before the horizon shrinks to $r_{\rm min}$.

Analogously, even before we construct the full black hole solution, we can determine the electric charge $Q_{e}$ and its thermodynamic conjugate $\Phi_{e}$, namely

[TABLE]

Typically, coupling constants in a theory should not be treated as a thermodynamic variable. However, the cosmological constant in AdS is special in that it can be viewed as an integration constant of an equivalent $D$-form field strength of some $(D-1)$-form gauge potential. The cosmological constant can then be treated as a variable, namely the thermodynamic pressure $P$. The first law of black hole thermodynamics becomes

[TABLE]

where $M$ is the mass of the black hole, and should be interpreted as enthalpy now [3, 4]. The quantity $V_{\rm th}$ is the thermodynamic volume conjugate to the pressure. The determination of the mass and volume relies on solving the $f$ equation in (2.14). We shall carry out this task in sections 3 and 4 for various dimensions.

Before finishing this subsection, we point out that in the above discussion, we treated the integration constant $\lambda$ as a fixed thermodynamic variable, i.e. it does not vary thermodynamically. The physical interpretation of $\lambda$ is the “magnetic” charge of the axions, namely

[TABLE]

For simplicity, we assume that $\int dx_{i}=L$ and hence $\omega=L^{D-2}$. It follows from the axion equations that its potential is given by

[TABLE]

where we have chosen the gauge such that $u_{i}$ vanishes on the horizon. Unlike the electric potential of Maxwell field, for which the difference between the horizon and asymptotic infinity is finite. The above value diverges asymptotically. We thus need to renormalize the magnetic potential to a finite value $\nu_{i}(r_{0})$, up to an additive numerical constant. The first law is then modified to become

[TABLE]

Owing to the complication arising from the inclusion of this thermodynamic quantity, we consider in this paper the simplified situation where $\Gamma^{i}$’s are fixed thermodynamically. We shall come back to this point briefly in section 3.

2.4 Ghost-free condition

In subsection 2.1, we established that the theory is ghost free in the AdS vacuum provided that the parameter $\gamma$ for the Horndeski term satisfies (2.7). In this section, we would like to examine the same condition in the AdS planar black holes. The kinetic term of the axion perturbations take the form

[TABLE]

The ghost-free condition requires that $K$ is non-negative on and outer of the event horizon. Asymptotically, we have $f\sim-2\Lambda r^{2}/((D-1)(D-2))$, and hence we recover the condition (2.7). On the horizon, making use of the equations of motion, we find

[TABLE]

For positive $\gamma$, this quantity is clearly non-negative provided that the ghost-free condition (2.7) is satisfied. For negative $\gamma$, it is advantageous to re-express $K(r_{0})$ in terms of temperature defined in the previous subsection. We find

[TABLE]

It is then clear that for negative $\gamma$, we have $K(r_{0})>0$ also for black holes. The above calculation is indicative that the perturbations of $\chi_{i}$’s do not give rise to ghost modes. Of course, one needs to establish that $K(r)$ is non-negative for all the $r\geq r_{0}$, which can be easily done once the analytical solution for $f$ is obtained in the next section. The ghost-free condition in four dimensions was also studied in [24].

3 Charged AdS planar black holes $D=4,5$

In this section, we solve the function $f$ in (2.14) in four and five dimensions. The resulting solutions describe charged AdS planar black holes. We analyse the global structure and obtain the first law of thermodynamics. We focus on the discussion of the black hole volumes.

3.1 Four dimensions

In four dimensions, the equations discussed in the previous section become degenerated, and hence it should be solved on its own. The solutions were first constructed in [24] and it is given by

[TABLE]

where the function $\tilde{f}$ is given by

[TABLE]

Note that for negative $\gamma=-\tilde{\gamma}$, the error function terms all continue to be real because

[TABLE]

At the asymptotic $r\rightarrow\infty$ region, the metric function $g_{tt}$ behaves

[TABLE]

Thus the solution is asymptotic to the AdS spacetime of cosmological constant $\Lambda$. It is clear that the constant $\mu$ is associated with the condensate of the massless graviton. The solution contains however additional slower falloff terms, which will not vanish owing to the no-ghost condition (2.7). The resulting ADM mass will then diverge, which is related to the divergence of the potential associated with the magnetic axion charges (2.25). This problem persists even in Einstein gravity with $\gamma=0$, in which case the solution was obtained in [35]. In this paper, we adopt the concept of “gravitational mass” that is associated with the graviton mode [36], namely

[TABLE]

As $r$ runs from the AdS boundary into the bulk, for sufficiently large $\mu$, there exists $r_{0}>0$ such that $\tilde{f}(r_{0})=0$. This gives rise to the event horizon of a black hole. All the thermodynamic variables can be obtained, given by

[TABLE]

As we discussed in section 2.3, the entropy is non-negative provided that the no-ghost condition (2.7) is satisfied.

Note that if we follow the discussion at the end of section 2.3, we can also introduce the axion magnetic charge $\lambda$ as the thermodynamic variables and obtain its conjugate potential. The first law is then extended to (2.26). The formulae can be somewhat complicated and they do not add further clarity, and we therefore shall not present them here.

The above thermodynamic quantities are well defined for $\gamma>0$. When $\gamma$ is negative, the situation can be somewhat subtle. The ghost-free condition implies that $\gamma$ can be arbitrarily negative, and correspondingly the mass and volume defined above can hence be arbitrarily negative. This is clearly unsatisfactory. In order to resolve this issue, we introduce $\tilde{\gamma}=-\gamma>0$. We find that

[TABLE]

This negative mass divergence can be resolved by shifting the coefficient $\mu$ to $\tilde{\mu}$ and define the mass as

[TABLE]

Consequently, the black hole volume for $\gamma=-\tilde{\gamma}<0$ is shifted by a thermodynamic constant factor $\sqrt{\pi}\omega(\tilde{\gamma}\lambda^{2})^{{\frac{3}{2}}}$, namely

[TABLE]

(Recall that the parameters $(\lambda,\gamma)$ are not treated as thermodynamic variables in this paper.) It can be evaluated numerically that the volume is non-negative. Note that the volume formula for $\gamma>0$ and $\gamma<0$ are smoothly connected at $\gamma=0$.

Owing to the lack of the independent definition of the black hole mass and thermodynamic volume for our black holes, there is an ambiguity of adding extra constants to the volume formula. However, it appears to be rather ad hoc to add an extra term $\sqrt{\pi}\omega(-\gamma\lambda^{2})^{{\frac{3}{2}}}$ to formula as $\gamma$ crosses from positive to negative values, if it were to simply to avoid arbitrarily negative mass and volume. As we shall see in the next subsection, the situation becomes more severe in five dimensions. The volume formula satisfying the first law without analogous shift cannot be both real, making the shift mandatory. It is also worth noting that the shift quantity is purely “numerical” in that the quantity is not a thermodynamic variable and does not participate in the differentiations in the first law. Finally, as we shall discuss in section 5, the ambiguity of the volume definition will not affect the key conclusion of the paper, namely the RII can be violated by the black holes in Horndeski gravity.

3.2 Five dimensions

As was discussed in section 2.2, the functions $(h,a)$ were solved for general dimensions. In five dimensions, they are given by

[TABLE]

The function $f$ can be also solved easily from (2.14). For $\gamma<0$, we have

[TABLE]

This solution is well-behaved for negative $\gamma$, which is consistent with the no-ghost condition (2.7). However, the no-ghost condition allows also a narrow window of positive $\gamma$, in which case the function $f$ becomes complex at the asymptotic regions. For positive $\gamma$, it is more natural to write

[TABLE]

The complex number can be absorbed into the redefinition of $\mu$ and the solution remains real at the asymptotic large $r$ region. The solution becomes

[TABLE]

Thus we see that in five dimensions, the reality condition requires us to use different forms of the solution to describe black holes for negative or positive $\gamma$. This is analogous to the case in four dimensions, even though the reason is somewhat different. Note that the $Q$-term and $\sigma$ take the same form as $\gamma$ crosses from negative to positive regions. Note also that both the $\gamma>0$ and $\gamma<0$ solutions have the same limit of $\gamma\rightarrow 0$.

The thermodynamic quantities are all obtained in section 2.3, except for $M$ and $V_{\rm th}$. We find that for mass given by (4.7), the black hole volume in five dimensions is given by

[TABLE]

Thus we see that the reality condition alone makes it mandatory to use different volume formulae for the $\gamma<0$ and $\gamma>0$ regions. It is easy to check however that the two formulae are smoothly connected. In other words, both $V_{\rm th}$ and $dV_{\rm th}/d\gamma$ are continuous at $\gamma=0$. Also note that the volume is non-negative in all the parameter regions of the black hole.

4 Charged AdS planar black holes in general dimensions

In the previous section, we discussed charged AdS planar black holes in four and five dimensions. The different structures suggest that we should consider even or odd dimensions separately when we generalize to higher dimensions.

4.1 Even dimensions

We first consider the general even dimensions. We may solve (2.14) by

[TABLE]

where $\sigma$ is given in (2.14) and $\tilde{f}$ is given in terms of hypergeometric functions

[TABLE]

The limit of this solution to $D=4$ is subtle and it is more advantageous to solve the equation (2.14) directly when $D=4$. For the large $r$, we have

[TABLE]

where $c_{i}$ are constant functions of $(\alpha,\gamma,\lambda,\Lambda)$. Thus solutions are all asymptotic to AdS. Following the same argument in $D=4$, we consider gravitational mass defined by

[TABLE]

For sufficiently large $M$, the solution can describe a black hole whose event horizon is located at $r_{0}$. In section 2.3, all the thermodynamic variables are derived except for mass and $V_{\rm th}$. For the mass given by (4.7), we find that the black hole volume is

[TABLE]

It can be easily verified that the first law (2.23) is satisfied.

The above solution is suitable to describe solutions with positive $\gamma$. For negative $\gamma$, it suffers from the same problem as that in four dimensions, where the mass $M$ becomes divergent as $\gamma\rightarrow-\infty$, namely the mass becomes negative infinity in $D=4k$ dimensions and positive infinity in $D=4k+2$ dimensions. For $\gamma<0$, we find that the form of the solution is better changed to the following

[TABLE]

This solution can be obtained from (4.5) by applying appropriately the hypergeometric function identity

[TABLE]

Note that the $Q$-term is kept the same as that in (4.5). It is easy to check that the hypergeometric functions are well behaved for negative $\gamma$, and the solution is also asymptotic to AdS. The mass defined by (4.7) is now non-divergent as $\gamma\rightarrow-\infty$. The thermodynamic volume is now given by

[TABLE]

where $\sigma_{0}$ is defined in (2.18) and $\gamma\in(-\infty,0]$.

We now compare the solutions (4.13) with (4.5). The only difference between the two solutions is a constant shift of the mass parameter $\mu$ by

[TABLE]

where $c_{1}$ and $c_{2}$ are “numerical” constants. By numerical, we mean that they depend only on the parameters $(\alpha,\gamma,\lambda)$ which do not involve in the thermodynamic variations. This implies that the difference between the $V_{\rm th}$ defined in (4.8) and (4.16) must be numerical also. Indeed, the difference is given by

[TABLE]

This quantity is divergent for $\gamma\rightarrow-\infty$. Since we do not have an independent way of calculating the mass and volume, there is an ambiguity of the definition of these quantities by shifting a “numerical” constant, and our analysis indicates that (4.8) and (4.16) are more suitable volume formulae for positive and negative $\gamma$ respectively. However, as we shall see in section 5, this ambiguity does not affect the conclusion that the RII can be violated by black holes in Horndeski gravity.

In six dimensions, the hypergeometric functions reduce to ordinary functions and the volumes for positive and negative $\gamma$ are given by

[TABLE]

4.2 Odd dimensions

It turns out that when $D$ is odd, the hypergeometric functions in (4.5) all diverge except for the one associated with the $Q^{2}$. Thus for odd dimensions, the general expression of the solutions are given in (4.13), which are more suitable for the $\gamma<0$ case, and correspondingly the volume formula is given by (4.16). Indeed, when $D=5$, the solution reduces to (3.15). In fact as in the five dimensional example, the solution (4.13) can also describe the case with $\gamma>0$, with some appropriate redefinition of $\mu$ to absorb the complex number so that the solution remains real. This can be done for all odd dimensions. Since the $D=5$ example illustrates this point perfectly, we shall not elaborate it for general odd dimensions.

The solution degenerates in three dimensions, and we solve the case on its own. We find

[TABLE]

The thermodynamic quantities are

[TABLE]

The solution describes the case with $\gamma>0$. Suitable care should be taken for negative $\gamma$ as well.

5 Violations of RII

The entropy and the volume of a Schwarzschild AdS black hole in general dimensions $D$ in Einstein gravity is given by

[TABLE]

Interestingly, the volume of the Schwarzschild black hole is precisely equal to that of a spherical ball of radius $\rho_{0}$ in Euclidean space, namely

[TABLE]

For a generic black hole with entropy $S$, we can define its effective radius $\rho_{0}$ by $S={\textstyle{\frac{\scriptstyle 1}{\scriptstyle 4}}}\omega\rho_{0}^{D-2}$. For Einstein gravity with minimally coupled matter, $\rho_{0}$ is precisely the radius of the event horizon if the black hole is static. When the theory involve non-minimally coupled matter or higher order curvature invariants, $\rho_{0}$ may not be the radius of the event horizon. We can nevertheless define the Euclidean volume (5.2). The RII conjecture states that [4]

[TABLE]

Schwarzschild AdS black hole in Einstein gravity saturates the inequality. It was argued [9] that this inequality in Einstein gravity with minimally coupled matter for static black holes is guaranteed by the null-energy condition.

In higher derivative gravities, or gravities with non-minimally coupled matter, the entropy is no longer simply one quarter of the area of the horizon. In this case, the RII conjecture expressed in (5.3) is no longer purely geometrical. There can thus be an alternative version of the RII conjecture, namely

[TABLE]

where ${\cal A}$ is the area of the horizon. This RII statement is purely geometrical. The two statements (5.3) and (5.4) become equivalent in Einstein gravity with minimally-coupled matter. They are asymptotically close to each other for large black holes when the Einstein-Hilbert term typically dominates. We take the view that the version (5.3) is more physically relevant, but we also study the version (5.4). In fact, the inequality is saturated for static black holes in some ghost-free higher-derivative gravities such as Gauss-Bonnet and general Lovelock gravities.

W now examine the inequality for the black holes of Horndeski gravity constructed in the previous sections. First, as remarked at the beginning of section 2.2 that the RN black holes are solutions. The entropy and volume for RN black holes are given by (5.1), and hence the RII is saturated, and the two statements of the RII are the same.

For all of our new black holes with non-vanishing axions, the situation is very different. The corresponding Euclidean volumes, calculated from the entropy formula (2.19), take the form

[TABLE]

There is some ambiguity in our results for the thermodynamic volume up to some constant shifting of the “numerical” quantities such as $(\lambda,\gamma)$; however, for large enough horizon radius $r_{0}$, this ambiguity becomes insignificant. We find that

[TABLE]

The ambiguity of the definition of thermodynamic volume gives a contribution of order $1/r_{0}^{D-1}$ and hence can be ignored at large $r_{0}$. Thus we see that for large $r_{0}$, the first statement of the RII conjecture holds for positive $\gamma$, and the saturation occurs when $\gamma=0$ or $r_{0}\rightarrow\infty$. On the other hand, for negative $\gamma$, the RII conjecture is violated.

Analogously, for the second statement of RII, we find

[TABLE]

Therefore, the dependence of the violation on the sign of $\gamma$ is the same as $V_{\rm th}/V_{S}$.

It is of interest to plot the $V_{\rm th}/V_{S}$ and $V_{\rm th}/V_{\cal A}$ ratios as functions of $r_{0}$ and $\gamma$. It turns out that for our determination of the volumes, this ratio depends only on the parameter ratio

[TABLE]

As concrete examples, we give the ratio explicitly in four, five and six dimensions:

[TABLE]

The three functions and their derivatives are continuous at $\gamma=0$. The function $V_{\rm th}/V_{\cal A}$ is given by

[TABLE]

The plots of $V_{\rm th}/V_{S}$ and $V_{\rm th}/V_{\cal A}$ as functions of $\delta$ in $D=4,5,6$ are presented in Fig. 1. The divergence of the left plot in the $\delta>0$ region implies that the black hole is not efficient for storing information. For a given horizon radius $r_{0}$, it has the finite thermodynamic volume, but stores no information (zero entropy). On the other hand, as $\delta\rightarrow-\infty$, the entropy becomes infinite, whilst the thermodynamic volume shrinks to zero.

6 Conclusions and discussions

In this paper, we studied Einstein-Horndeski-Maxwell gravity with a cosmological constant and multiple Horndeski axions. We constructed a new class of AdS planar black holes where the axions span over the planar directions. We study the black hole thermodynamics and derive the black hole volume by means of completing the first law, in which the cosmological constant is treated as a thermodynamic variable, the pressure. By comparing the entropy and the volume, we find that the RII is violated when the Horndeski coupling constant $\gamma$ is negative. Owing to the fact that in Einstein-Horndeski-Maxwell gravity, the entropy of a black hole is no longer simply one quarter of the area of the horizon, we presented two RII statements, one based on the entropy and the other based on the area of the horizon, and we found that both RII’s could be violated.

As we discussed in section 2, the ghost-free condition of the black hole backgrounds allows that $\gamma\rightarrow-\infty$. In this limit, the entropy (2.19) becomes infinite, even when the area of the horizon remains finite. It follows from (5.2) and (5.4) that we have

[TABLE]

The violation of the RII aside, the ability of storing arbitrarily large amount of information on a finite physical horizon area is counter intuitive. This phenomenon occurs also in Einstein-Gauss-Bonnet gravity whose black hole entropy (1.7) becomes divergent as $\alpha\rightarrow+\infty$. However, in the Gauss-Bonnet theory, the quantum effects imply that the causality will be violated when the coupling constant $\alpha$ is above some critical value and the classical Lagrangian cannot be trusted [37]. The similar $S/\gamma$ dependence (2.19) suggests that a similar causality bound may exist in Horndeski gravity which may put an up bound on how much entropy that can be stored in a given volume.

It is of interest to note that although we obtain the volume formulae by indirect means of completing the first law in the case by case basis, there is a general local expression for the volumes of all our solutions. To see this, note that we can write

[TABLE]

where $(\tilde{h},h_{0})$ do not involve any $\Lambda$. The thermodynamic volumes for the black holes we constructed in this paper can all be expressed locally as

[TABLE]

This formula is analogous to the one obtained in [9] for black holes in two-derivative gravities.

The new black holes we constructed generalize the four dimensional one [24] for which the holographic transport properties with momentum dissipation by the Horndeski axions were studied [24, 34]. In addition to our focus on studying black hole volumes, we expect these solutions in general dimensions can also have the similar applications. In particular, before ending the paper, we would like to comment on the butterfly velocity that was introduced in [38]. For our black holes, it is simply given by

[TABLE]

where $T,S$, $P$ and $\sigma_{0}$ were given in section 2 and $V_{\cal A}$ is defined in (5.4). (The four dimensional result was given in [34], although it was not put in this form.) In Einstein gravity, surveyed for a variety of isotropic AdS planar black holes, the butterfly velocity can be expressed as [9]

[TABLE]

We find that this formula is no longer true in general Horndeski gravity, but instead we have the inequality

[TABLE]

The equality occurs at $\gamma=0$ or in the large black hole $r_{0}\rightarrow\infty$ limit.

Acknowledgement

The research of X.-H.F, W.-T.L and H.L. is supported in part by NSFC grants No. 11175269, 11235003 and 11475024. H-S.L. is supported in part by NSFC grants No. 11305140, 11375153, 11475148 and 11675144.