Holographic Complexity Growth Rate in Horndeski Theory

Based on the context of complexity = action (CA) conjecture, we calculate the holographic complexity of AdS black holes with planar and spherical topologies in Horndeski theory. We find that the rate of change of holographic complexity for neutral AdS black holes saturates the Lloyd's bound. For charged black holes, we find that there exists only one horizon and thus the corresponding holographic complexity can't be expressed as the difference of some thermodynamical potential between two horizons as that of Reissner-Nordstrom AdS black hole in Einstein-Maxwell theory. However, the Lloyd's bound is not violated for charged AdS black hole in Horndeski theory.


Introduction
The gauge gravity duality states connections between quantum gravity in string theory or more general settings and strongly coupled gauge field theories living on the boundary of the gravity background [1][2][3][4]. It has brought remarkable insight into understanding the phenomena various strongly coupled systems, such as low energy QCD, quark gluon plasma and condensed matter theory [5][6][7][8]. Recently, two proposals about quantum computational complexity have emerged, namely, the conjecture of complexity = volume (CV) [9,10] and the conjecture of complexity = action (CA) [11,12]. Many studies has been done about these two conjectures, see [13][14][15][16][17][18][19][20][21][22][23][24][25][26][27] and references there in. In this paper, we shall follow the CA conjecture. The CA conjecture has been proposed by Brown etal [11,12], which states that the quantum complexity of ground state of CFT is given by the classical action evaluated on the "Wheeler-DeWitt patch" (WDW), and the WdW patch is the spacetime region enclosed by future and past light rays started from a bulk Cauchy slice, reflected at the boundaries and then ended in another bulk Cauchy slice, e.g., see Fig 1 in section 2.
The conjecture thus reads (1.1) It was found that the late time action growth of various neutral black holes in the Einstein gravity theory is proportional to the black hole mass M [11,12], 2) It suggests that the neutral black hole saturates the Lloyd's bound on the rate of the computation [28] . Later, the gravitational action growth for charged and/or rotated AdS black holes in Einstein gravity were studied [29], the result turns out to be where the Ω , J are the angular velocity and angular momentum of the black hole, while the µ , Q are the electrical potential and charge of the black hole. The result was further generalized and the gravitational action growth can be written as the difference of the generalized enthalpy between the two corresponding horizons [30] dI dt where F is the free energy, T , S are the temperature and entropy of the black hole, and H = F + T S is the generalized enthalpy. It was pointed out that the result still holds for higher derivative theories. Recently, it was explicitly showed that the result is true for AdS black holes in the f (R) gravity, massive gravity theories [31][32][33][34] and Lovelock gravity [35].
However, it was pointed out that the action growth expression is different for charged black hole with a single horizon in the Einstein-Maxwell-Dilaton and Born-Infeld theories [36]. It is thus worthwhile taking a further step to explore the pattern of the action growth of charged AdS black holes with only one horizon in higher derivative gravity theory. In this paper, we shall study the action growth of AdS black holes in Horndeski gravity theory.
Horndeski theory is a kind of higher derivative scalar-tensor theory which has the similar property of Lovelock gravity, that the Largrangian involves terms which are more than two derivatives, but the equations of motion are consisted of terms which have at most two derivatives acting on each field [37]. AdS black holes have been constructed in Horndeski gravities in [38,39] and their thermodynamics were studied in [40,41]. The stability and causality of these black holes were carried out in [42][43][44]. Holographic application of Horndeski theory were investigated in [45][46][47][48][49][50][51][52]

Neutral black holes in Horndeski theory
In this section, we consider Einstein-Horndeski theory in four space time dimensions, which is given by Rg µν is Einstein tensor and χ is a scalar field. For static ansatz the theory admits asymptotic AdS black holes with planar ( = 0) and spherical ( = 1) topology [38].

Planar black hole
The metric profile of the planar black hole solution is the same as that of Schwarzschild-AdS black hole, the solution is given by The solution has two integration constants, µ is related to the black hole mass and β is related to scalar field χ which should be positive. The AdS radius l = 1/g is not determined by the cosmological constant Λ but by the ratio of α over γ which is precise in the critical point, and thus the holographic a-theorem holds for this system as pointed out in [51]. When µ = 0, the solution turns out to be an AdS vacuum with the scalar χ being logarithmic in terms of radial coordinate r. The conformal symmetry of the AdS is broken down to the Poincare symmetry plus the scaling symmetry because of the logarithmic scalar χ, which means the dual field theory is scaling invariant. The Horndeski coupling γ doesn't have a smooth zero limit and should not be treated as a perturbative parameter. It was also showed that the kinetic term of the scalar perturbation δχ is non-negative as long as γ is great than zero [52].
The mass of the black hole is given by, for more detail about the thermodynamics of the black hole we refer to [40], Now, we follow the method in [13] to calculate the late time action growth. In this method, the null coordinates were introduced and The the metric can be written as For the choices of (t, r), (u, r) and (v, r), we have where w = t , u , v and Ω is the volume of the two dimensional transverse space.
The Wheeler-de Witt patch of the black hole is defined by future light rays starting inside the black hole and reaching to the boundaries, then being joined to past light rays ending at the future singularity, which is illustrated in Fig.1. The left part of Fig.1 shows the two patches corresponding to the actions I(t 0 ) and I(t 0 + δt) which have a time difference δt. In the right part of Fig.1, the shadow area represents the difference of the actions surface and joint contributions, with Here, we choose the convention in [13] that the contributions from null boundary are zero. K is the Gibbons-Hawking term and a will be illustrated later. Due to the equation of motion the Horndeski term in the action vanishes, the bulk contribution has a simpler form and as the ρ 0 (v) term in I V 2 and thus the two terms cancel out in the whole expression leaving Since it is a small variation from v 0 to v 0 + δt, and so is the radius. Thus the above expression can be written as To the later time, the surface B approaches black hole event horizon, it turns out to be where r 0 is the radius of the event horizon.
Next, we consider boundary terms involving K, the normal vector is n α = 1 √ f ∂ α r, and K is given by It is understood that the value in the square root should be absolute value, like √ h = |h|. And For our black hole solution, it is simply given by Finally, we consider the joint contribution adS. a is defined by With those, we have At late times, r B → r 0 , r 0 is the radius of the event horizon. The joint term is then given

Spherical black hole
The spherical black hole solution in Einstein-Horndeski theory was constructed in [38] χ = 3βg 2 r 2 (3g 2 r 2 + 1) The profile is more complicated and h is not equal to f any more. The mass of the black hole is We shall follow the same method as that in the last subsection to calculate the action growth, the steps and situation are similar, hereafter we shall just present the main result of the calculation. The WdW pataches are the same as the planar case, and the late time action difference is consist of three parts, with The bulk contribution is

Charged black holes in Horndeski theory
In this section we consider Einstein-Hordeski-Maxwell theory in four dimensional space time. The theory is given by For static ansatz it was found that theory admits black hole solutions with planar and spherical topologies [39].

Planar black hole
First, we take a look at the charged planar black hole, the solution is given by f = 36g 4 r 8 (βγ + 4κ) 2 (κq 2 − 6g 2 r 4 (βγ + 4κ)) 2 h , h = g 2 r 2 − µ r + κq 2 r 2 (βγ + 4κ) − κ 2 q 4 60g 2 r 6 (βγ + 4κ) 2 , The thermodynamics was fully analysed in [40]. The mass, charge and electrical potential of the black hole are given by, we chose the gauge that the electrical potential vanishes on the horizon. Different from the neutral case, there is an additional curvature singularity r * where f diverges In order to describe a black hole, we require that the singularity r * should be inside the event horizon, which insures that the temperature is always positive, T > 0. From (3.6) we can see that in the limit q → 0 the singularity r * → 0, going back to the usual singularity.
However, it is worth pointing out that this charged black has no extreme limit, the solution has one and only one horizon. In order to see this property more clearly, we express the profile h in terms of r * , hereafter, a prime " ' " denotes derivative with respect to " r ". We find that local extremes for the black hole solution, which is quite different from RN-AdS black hole.
We now turn to the calculation of action difference, the method we follow is the same as that of neutral case. The WdW patch is similar, too, except that the past light core end at the curvature singularity r * rather than the usual singularity r = 0. Hence here, we shall skip the intermediate steps and present the final result. The total action difference is given by where Thus the action growth is As mentioned in previous, we can see from (3.6) that r * → 0 when q → 0, thus, in the limit q → 0, the action growth δS δt → 2M , going back to the neutral case as expected. It is obvious from (3.10) that C 0 is positive, so the action growth rate is less than 2M , satisfying the Lloyd's bound.

Spherical black hole
The solution is given by with constrains The mass, charge and electrical potential of the black hole are given by, for more detail about the thermodynamics of the black we refer to [41], , (3.14) and ω is the volume of the unite sphere, we choose a gauge so that the electrical potential a vanishes on the black hole event horizon. Again, there is an additional singularity r * where In order to avoid a naked singularity, we require that the singularity r * should be inside the event horizon, which insures that the temperature is always positive, T > 0. It is similar to that of planar case, this charged black has no extreme limit, too. The solution has one and only one horizon. With the same strategy, we can do the analysis by using r * . We find that local extremes of profile h, where h = 0, are equal to h e = r 2 e − r 2 * 2 3g 2 r 2 e + r 2 * (βγ + 4κ) + 4κ Now we are in the position to calculate the action difference with the same procedure, the total action difference includes three parts, the bulk, boundary and joint parts and is given by So the action growth is Again, when q → 0, r * → q 2 √ 2 , thus in the limit of q → 0, the combination QΦ + C 1 approaches zero and the action growth reduces to the neutral case, δS δt → 2M . For small q the combination of QΦ + C 1 is given by Here, we set κ = 1 and g = 1 for simplicity. We can easily see that the combination is great than zero for a not very small r 0 . However, as we mentioned that the singularity should live inside the black hole event horizon, r 0 > r * , so r 0 can't be arbitrarily small, when q is small, the black hole radus r 0 should be great than q 2 √ 2 , in this limit we have that which is obviously great than zero. So, we found that the combination of QΦ+C 1 is positive for small q. For general parameter range we can not prove the combination QΦ+C 1 is always greater than zero, however we plot QΦ + C 1 as a function of q and r 0 for large number of parameter choices which imply that QΦ+C 1 is greater than zero, we present several of them in Fig. 2, . It seems that the combination of QΦ + C 1 is always greater than zero, and the holographic complexity satisfies the Lloyd's bound.

Conclusions
In this paper, we studied the holographic complexity in Horndeski gravity theories through the " Complexity = Action" conjecture. In particular, we calculated the gravitational action growth of neutral and charged AdS black holes in Horndeski gravities. We found that the rate of change of action for neutral black holes with planar and spherical topologies is 2M , which is the same as the universal result [11,12] and saturates the Lloyd's bound [28].
The charged black holes are more complicated. We analysed the metric profiles carefully and found that the charged black holes with planar and spherical topology both have only one event horizon which are quite different from that of the RN black holes. We computed the gravitational action growth for the charged black holes with planar and spherical topologies. It turns out that the action growth for planar topology is less then 2 M thus satisfies the Lloyd's bound. Whilst, for spherical case, we showed that the action growth is less than 2M when q is small. Though we didn't prove analytically that the result holds for the whole range of parameters, we did numerically studies a substantial parameter choices and found that the action growth is less than 2M , which leads us to believe that the action growth is always less than 2M and satisfy the Lloyd's bound.
Here, we just studied the late time rate of change of holographic complexity, it is worthwhile going a step further to see the effect of the higher-derivative non-minimally coupled Horndeski term to the complexity of formation [54], subregion complexity [16,[55][56][57] and also to explore full time dependence of the holographic complexity [58][59][60].