Abstract
In the context of CA conjecture for holographic complexity, we study the action growth rate at late time approximation for general quadratic curvature theory of gravity. We show how the Lloyd’s bound saturates for charged and neutral black hole solutions. We observe that a second singular point may modify the action growth rate to a value other than the Lloyd’s bound. Moreover, we find the universal terms that appear in the divergent part of complexity from computing the bulk and joint terms on a regulated WDW patch.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In recent years, by combining the basic ideas of quantum information theory (QIT) and AdS/CFT duality, a significant development in the area of black hole physics has occurred and we have witnessed the appearance of new paradigms in our quest to understand the quantum theory of gravity.
Holographic entanglement entropy (HEE) is a successful example and has been captured the imagination of many people in this area of research [1, 2]. Meanwhile, it was claimed in [3] that the HEE is not enough to distinguish the degrees of freedom inside a black hole, because even if the space-time reaches the thermal equilibrium, the volume of the black hole continues to grow. Instead, complexity is an interesting proposal that characterizes these degrees of freedom.
In QIT, complexity is defined as the minimum number of quantum gates, essential to produce a particular state \(|\psi \rangle \) from a reference state \(|\psi _0\rangle \). In other words, complexity is a measure of how hard it is to construct a final state from an initial state [4,5,6].
In the context of AdS/CFT there are two main proposals on how to compute the complexity of a boundary state. The first one is the “Complexity = Volume” or (CV) conjecture [7,8,9] and the second one is the “Complexity=Action” or (CA) conjecture [10, 11]. The CV duality states that the complexity of a holographic boundary state on a time slice \(\Sigma \) is given by
where \(\ell \) is a certain length scale of the geometry (for example the curvature scale or horizon radius) and B is the corresponding bulk surface. The CA conjecture claims that the complexity is given by the gravitational action evaluated on the Wheeler–DeWitt (WDW) patch. This patch is defined as the domain of dependence of the Cauchy surface in the bulk which asymptotically approaches the time slice \(\Sigma \) on the boundary
In CA conjecture we are dealing with evaluating the gravitational action on various space-time regions including space/time-like boundaries, null boundary surfaces, and various types of joints at the intersection of boundaries [12].
Other than complexity, there are related interesting parameters, which play major roles in the computation of CV and CA conjectures. For example complexity of formation \(\Delta C\), the structure of UV divergences of the complexity, the time dependence or the rate of complexity dC/dt, and the so-called Lloyd’s bound. In what follows, we briefly review these parameters one by one.
Let us begin by introducing the complexity of formation. The thermofield double (TFD) state can be considered as the dual description of the full geometry of an eternal AdS black hole [13]
where the corresponding asymptotic boundaries (denoted by L and R) are two copies of the same CFT. One can construct thermal density matrix of the CFT at temperature T, by integrating out either the left or right degrees of freedom in the above state. Moreover, the entanglement between these two sets of degrees of freedom leads to the appearance of Einstein–Rosen bridge in the bulk [13, 14]. The complexity of formation is the difference between complexity in the process of forming the entangled TFD state and preparing two individual copies of the vacuum state of the left and right boundary CFTs
In [15] it was found that for boundary dimensions greater than two, the complexity of formation grows linearly with the thermal entropy at high temperatures \(\Delta C \sim S\).
The growth rate of action within the WDW patch at late time approximation or dC/dt is another important factor. One of the interesting features of this parameter is that it tends to a specific universal value. In QIT this limit has been found in the study of an arbitrary quantum system [16] (Lloyd bound). In the context of CA conjecture it was first studied in [10, 11], where they show that the bound is violated for large enough Schwarzschild AdS black holes, and is saturated for small ones. Their results suggest that the growth rate would be bounded by the total energy of the system
Further exploration of this bound, in the case of rotating and charged black holes were carried out in [17, 18], where a modified formula for the action growth rate was presented. For example in the case of charged black holes
where M and Q are mass and charge of the black hole and \(\mu \) is the chemical potential. The ± signs represent the outer and inner horizons of the black hole.
In the context of gauge/gravity duality, it is usual to consider a given classical theory of gravity with an asymptotically AdS solution as a toy model. Such a model may have not a unique dual CFT but it might probably be a truncation of many various theories with additional fields that have an explicit dual CFT. Therefore by studying the holographic dictionary we explore a family of CFTs in the same universality class. The holographic dual of Einstein gravity is restricted to a specific set of CFTs. To study a broader spectrum of CFTs, one can consider higher curvature theories of gravity in the bulk. This enables us to explore other universality classes as well because as it is observed in these theories there are various types of degrees of freedom in addition to the Einstein modes.
In this regard, the higher order curvature theories of gravity usually have two important roles. Either they show the existence of a certain property that holds for all holographic dual CFTs, for instance, the holographic c-theorems or holographic entanglement entropy, or in opposite direction, they provide counterexamples, for example in the known Kovtun–Son–Starinets bound for the shear viscosity over entropy density ratio, where the bound is violated in the presence of certain higher curvature terms. These properties motivate us to study the holographic complexity in both directions in this paper. In Sect. 2 we examine possible situations where the Lloyd’s bound is preserved or violated and in Sect. 3 we find the universal terms that appear in the divergent part of complexity.
In fact, there has been extensive discussion on the preservation or violation of the Lloyd’s bound in various gravitational setups [19,20,21,22,23,24,25,26,27]. For example in [26], using Noether charge formalism of Iyer and Wald,Footnote 1 the authors have found a modified version of the Lloyd’s bound in multiple Killing horizons black hole for a higher curvature theory of gravity. Also, in [30] it was shown that strong energy condition is a sufficient condition to ensure the bound inequality (1.5) and it was argued that the equality (1.6) satisfies the bound (1.5).
Generally, there are two main methods for computation of the action growth rate in CA conjecture, the BRSSZ method introduced in [11], and the LMPS method [12]. In the latter paper, the authors show that the two methods lead to the same result for the action growth rate in Einstein gravity. Also in [31] it was pointed out that even in general higher curvature theories of gravity these two methods provide the same result.
Since in the first approach one does not need to know the corresponding action of the null boundaries in general higher curvature theories of gravity, we use this method to compute the action growth rate. In the BRSSZ method for the computation of dC/dt, in addition to the bulk action, it is only necessary to know the action on the time/space-like boundaries, which is essentially the Gibbons–Hawking–York (GHY) action and its generalizations (see Sect. 2 for more details).
For a general higher curvature gravitational theory it is hard to find an appropriate surface term to make the variational principle well-posed [32], but the non-null surface terms have been developed for some gravitational theories, such as F(R), Gauss–Bonnet gravity and Lanczos–Lovelock theory [33,34,35,36,37,38] and other higher curvature theories [39]. Specifically for f(Riemann) theories of gravity by using the auxiliary field formalism these surface terms have been investigated in [40]. In this context, complexity has been studied for higher curvature theories of gravity of example see [41,42,43,44,45]. Inspired by this, we are going to consider the general quadratic curvature (GQC) theory of gravity in this paper and compute the action growth rate in this theory.
Another related subject is the structure of UV divergences of the complexity. In both complexity conjectures, we evaluate quantities which diverge by extending near the asymptotic boundaries. These divergences are related to the existence of short-scale correlations in the dual boundary CFTs. As it was shown in [46] the coefficients in these divergent terms can be written in terms of intrinsic and extrinsic boundary curvatures. The general structure of divergent terms in complexity in d dimensional space-time can be written as
where \(\delta \) is the UV cut-off. Here the coefficients \(a_i\) depend on the regularization scheme but the coefficients \(b_i\) are universal (regulator independent). In Sect. 3 we will study the structure of these divergences of the complexity and compute the universal terms of the complexity in GQC gravity.
2 The action growth rate of GQC gravity
Following [11, 17] we are going to compute the action growth rate on a WDW patch associated with a two-sided black hole in GQC theory of gravity, see Fig. (1). It is believed that this would be dual to the rate of growth of the complexity of the boundary state. This black hole is a charged/neutral Schwarzschild AdS solution of the equations of motion. For charged solution (left diagram) we suppose outer and inner horizons at \(r=r_\pm \). For neutral case (right diagram) we consider inside the black hole is limited from singularity to the future horizon.
According to the arguments of [11], the WDW patch is bounded by \(t_L\) and \(t_R\) on the left and right for a (un)charged black hole. When time passes on the left boundary from \(t_L\) to \({\bar{t}}_L\), the WDW patch starts growing in the green region and shrinks in the red region. At late times, the whole contribution of action growth comes from the green region that now lives between inner and outer horizons at \(r=r_{\pm }\) of the charged black hole or between singularity at \(r=r_s\) and future horizon of the neutral black hole. Therefore the total contribution of action comes from the bulk action in this region as well as the boundary actions on the space-like surfaces at \(r_\pm \) or the singularity and future horizon.
2.1 General quadratic curvature action
Let us first introduce the bulk and boundary actions of GQC. The bulk action consists of the Einstein–Hilbert action together with a cosmological term. Moreover, we add all quadratic curvature terms as the sum of Ricci and Ricci scalar curvature squared terms and the well-known Gauss–Bonnet (GB) terms. To study charged black holes we also consider a U(1) gauge field through a Maxwell term in our Lagrangian
where \(\kappa ^2=8\pi G\). To write the action for boundary surfaces, which make the variational principle of the gravitational field well-defined, instead of using the auxiliary field formalism (see e.g. [40]), we consider three types of Gibbons–Hawking (GH) terms corresponding to the Einstein–Hilbert, GB and Ricci square terms. The GH term associated to the Einstein–Hilbert action is given by
where h is the determinant of the induced metric on the boundary surfaces \(\partial {\mathcal {M}}\) and K is the trace of the extrinsic curvature. The extrinsic curvature is defined by
and \(n_\mu \) is a space-like unit vector, normal to the boundary. Moreover, there is a generalized GH action corresponding to the GB gravity [36]
where \({{\mathcal {G}}}_{ab}\) is the Einstein tensor constructed out of the induced metric. For Ricci squared terms of the action we use the following expression for GH term
The total GH term therefore is the sum of these three parts
2.2 Charged solution in d dimension
To find a charged solution with asymptotic AdS symmetries we use the following metric in d dimensional space-time
The field strength satisfies the Maxwell equation in d dimension, i.e. \(\nabla _\mu (\sqrt{-g}F^{\mu \nu })=0\)
where q is the constant of integration, and is related to the electric charge Q by
By variation of the Lagrangian (2.1) and inserting (2.7) and (2.8) for metric and field strength, we will find a couple of third and fourth order differential equations for \(f_1(r)\) and \(f_2(r)\). Finding an exact solution is a hard task to do, instead we find a solution which is linear in terms of the couplings of theory i.e. \(a_1, a_2\) and \(a_3\). The solution is given by
where all the above coefficients are as follow
To prevent the divergence in the gauge field strength (2.8), the function h(r) in relation (2.10b) should not be equal to zero. This requires considering the following condition between couplings of the theory
For the neutral solution as we send \(q\rightarrow 0\), both functions in (2.10a) and (2.10b) are equal or \(h(r)=1\) at this level of perturbation, but it can be shown that, \(f_1(r)\) and \(f_2(r)\) are separated when we consider next orders of perturbation into account.
2.3 Action growth rate in WDW patch
The growth rate of bulk action in the WDW patch at late-time approximation can be computed by inserting the solution (2.10a) and (2.10b) into bulk action (2.1). For more details of computations see relations (A.1a)−(A.1c) in Appendix A
where \(\alpha _1,...,\alpha _5\) are given in Eq. (B.1) in Appendix B. In calculation of action growth in this section we consider \(r_{\pm }\) as outer/inner horizons and we suppose that there is no singularity in between them.
At late-time approximation, the growth rate of Gibbons-Hawking surface terms of WDW patch is obtained by computing the value of (2.6). To do this we insert the solution (2.10a) and (2.10b) into the Eqs. (A.2) and (A.3) and we find
where \(\beta _1,...,\beta _9\) are given in Eq. (B.2). Finally, we perform the integration of (2.13) and add it to the relation (2.14) which leads to the total action growth rate. The final result can be simplified by using the following steps:
-
1.
Because we considered \(r_+\) as the outer horizon, we can solve \(f_1(r_+)=0\) to find a relation for \(\Lambda _0\).
-
2.
Insert the value of \(\Lambda _0\) from the first step into \(f_1(r_-)=0\) to find a relation for m in terms of \(r_+\) and \(r_-\).
-
3.
Insert the relations of \(\Lambda _0\) and m in the first and second steps into the total action growth rate. The final result is
$$\begin{aligned} \frac{dI_{tot}}{dt}&=-\frac{\Omega _{d-2}}{\kappa ^2}q^2 \nonumber \\&\quad \times \left( (d-2) \left( \frac{1}{r_-^{d-3}}-\frac{1}{r_+^{d-3}}\right) +\frac{2(d-3)^2q^2}{3d-7}\right. \nonumber \\&\quad \times \left( a_1 (2d-3)(d-4) +a_2 (5-5d+d^2)\right) \nonumber \\&\quad \times \left. \left( \frac{1}{r_-^{3d-7}}-\frac{1}{r_+^{3d-7}}\right) \right) \,. \end{aligned}$$(2.15)
Using the field strength relation (2.8) and the value of electric charge in (2.9), one can write the above expression as follow
where we have supposed M as the mass of black hole and
are the values of chemical potential on \(r_\pm \) horizons.
The result of Eq. (2.16) shows that the proposal introduced in [17] is correct for general quadratic curvature theory. Using the Noether charge formalism of Iyer and Wald [26] finds this modified version of the Lloyd’s bound in multiple Killing horizons black hole for a higher curvature theory of gravity.
2.4 Neutral black hole in d dimension
To find the action growth rate in the neutral case we need to know the singular points of the geometry. To do this we first review the solutions of equations of motion for some special cases:
-
\(a_3=0\): In this case the exact solution of equations of motion is given by the known Schwarzschild AdS black hole, for example see [49]
$$\begin{aligned}&f_1(r)=f_2(r)=1+\frac{r^2}{L^2}-\frac{m}{r^{d-3}}\,, \end{aligned}$$(2.18a)$$\begin{aligned}&-(d-2) (d-1) \frac{1}{L^2}+(d-4) (d-1)^2 \nonumber \\&\quad \times (a_2+a_1 d) \frac{1}{L^4}-2 \Lambda _0=0\,. \end{aligned}$$(2.18b)This solution has a singularity at \(r_s=0\).
-
\(a_1=a_2=0\): This case corresponds to the Gauss–Bonnet gravity. The exact solution is given by [17]
$$\begin{aligned} f_1(r)&=f_2(r)=1+\frac{r^2}{\lambda } \nonumber \\&\quad \times \left( 1-\sqrt{1+2\lambda \Bigg (\frac{2 \Lambda _0}{(d-1)(d-2)}+\frac{m}{r^{d-1}}}\Bigg )\right) \,, \end{aligned}$$(2.19a)$$\begin{aligned} \lambda&=2 a_3 (d-4) (d-3) \,. \end{aligned}$$(2.19b)
This solution has two singularities. The first one, is where the metric is divergent and the other one, is the point where the metric or scalar curvature terms become imaginary
The above analysis for special cases helps us to find the singularity structure of the solution for general case. To make the analysis easier, it would be better to find a solution which reduces to solution (2.10a) when \(q\rightarrow 0\) and reduces to (2.19a) when \(a_1=a_2=0\).
In fact, we may assume that there is a general solution, which can be written as \(f(r)=1+r^2 X(r)\Big (1-\sqrt{1+c+\frac{m}{r^{d-1}}}\Big )\) and solve equations of motion perturbativly to find c, m and X(r). To first order of perturbation both \(f_1(r)\) and \(f_2(r)\) functions are given by
We can see that (2.21) has the same the singularity structure as (2.19a) at least at this order of perturbation. By an expansion around small couplings (2.21) would be equal to
where in this expansion \(m=m_0+\delta m\) (\(m_0\) is a constant of integration) and
2.5 Action growth rate in WDW patch
To find the growth rate of actions for neutral Schwarzschild AdS black hole we carry out the following steps:
-
1.
First, we add Eqs. (2.13) and (2.14) after taking the limit of \(q \rightarrow 0\), with a distinction that the upper limit is \(r=r_h\), the location of the future horizon and the lower limit is \(r=r_s\), the location of the singularity
$$\begin{aligned} \frac{dI^{q=0}_{tot}}{dt}&=\frac{\Omega _{d-2}}{6\kappa ^2} \nonumber \\&\quad \times \Big (3(d-1)m -(d-2) m^2 r^{1-d} \lambda +2 m \nonumber \\&\quad \times \left( \frac{(d-2)\lambda }{r^2}+\frac{6 (d-1) (a_2+a_1 d)\Lambda _0}{d-2} +\frac{\lambda \Lambda _0}{d-4}\right) \nonumber \\&\quad +\frac{2r^{d-5}}{(d-1)^2(d-2)^2} \big (2 (d-2)^2 (d-1) r^2 \nonumber \\&\quad \times (3 r^2+\lambda -6 (d-1) (a_2+a_1 d)) \Lambda _0\nonumber \\&\quad \times -(d-2)^3 (d-1)^2 (3 r^2+2 \lambda ) +2 r^4 \nonumber \\&\quad \times (6 (d{-}1) d (a_2{+}a_1 d){-}(d{-}2) \lambda ) \Lambda _0^2\big ) \Big )\Big |_{r_s}^{r_h}. \end{aligned}$$(2.24) -
2.
The horizon is given by solving the equation
$$\begin{aligned} 1+\frac{r_h^2}{L^2} - \frac{m}{r_h^{d-3}}+ \frac{\lambda }{2}\frac{m^2}{r_h^{2 d - 4}}=0\,. \end{aligned}$$(2.25)We use this equation as a constraint between \(r_h\) and other parameters. Suppose that the location of horizon from this equation can be found perturbativly by putting \(r_h=r_0+\delta r\) into (2.25). In this way, we can find the following relations
$$\begin{aligned}&\delta r=\frac{1}{-(d-3) m_0 r_0^{2-d}+\frac{4 r_0 \Lambda _0}{(d-1)(d-2)}} \nonumber \\&\qquad \times \Bigg (\frac{1}{2} \lambda m_0^2 r_0^{4-2 d}-\delta m r_0^{3-d}\nonumber \\&\qquad +\frac{ 2\big (\lambda (d-2)+2 (d-1)(d-4)(a_2 +a_1 d)\big ) r_0^2 \Lambda _0^2}{(d-2)^3 (d-1)^2}\Bigg )\,, \end{aligned}$$(2.26a)$$\begin{aligned}&1-m_0 r_0^{3-d}-\frac{2 r_0^2 \Lambda _0}{(d-1)(d-2)}=0\,. \end{aligned}$$(2.26b) -
3.
Using the above equations we can simplify the growth rate (2.24) at \(r=r_h\). For simplicity from now on we drop the constant (independent of \(r_h\)) terms in (2.24) (note that they will cancel when we compute the total growth), then we have
$$\begin{aligned} \frac{dI^{q=0}_{tot}}{dt}\Big |^{r_h}&=-\frac{m\Omega _{d-2}}{\kappa ^2} \nonumber \\&\quad \times \Bigg ((d-2)+\frac{2(d-3)\Lambda _0}{(d-1)(d-2)} \nonumber \\&\quad \times (a_3 (d-5) (d-2)+(d-1)(a_2 +a_1d)) \Big )\,. \end{aligned}$$(2.27) -
4.
In general the action growth rate at \(r=r_s\) diverges when \(r_s\rightarrow 0\). Nevertheless, there are special cases that its value is finite:
-
For \(a_3=0\), as we already mentioned, the singularity is located at \(r_s=0\). At this value the Eq. (2.24) will be equal to
$$\begin{aligned} \frac{dI^{q=0}_{tot}}{dt}\Bigg |_{r_s=0}=\frac{2m\Omega _{d-2}}{\kappa ^2}\frac{d-1}{d-2}(a_2+a_1 d) \Lambda _0\,, \end{aligned}$$(2.28)therefore the total action growth rate would be equal to
$$\begin{aligned} \frac{dI^{q=0}_{tot}}{dt}= & {} -\frac{m\Omega _{d-2}}{\kappa ^2} \Big ((d-2)+4(a_2+a_1 d)\Lambda _0\Big ) \nonumber \\= & {} 2M\,. \end{aligned}$$(2.29)The last equality is written in terms of the mass of black hole for the Ricci square theory of gravity. For example see [49] for more details of computation of this mass.Footnote 2 Note that (2.29) is a general result and for example as a special case it gives the result of d dimensional critical gravity.
-
For \(d=4\) the Gauss–Bonnet part of the theory is a topological term. The growth rate in this case is equal to
$$\begin{aligned} \frac{dI^{q=0}_{tot}}{dt}&=-\frac{4\pi ^2 m}{\kappa ^2} \left( \left( 2+4a_1+a_2-\frac{2}{3} a_3\right) \right. \nonumber \\&\quad -\left. \left( -12a_1-3a_2-\frac{2}{3} a_3\right) \right) \nonumber \\&=-\frac{8\pi ^2 m}{\kappa ^2}\Big (1+2(a_2+4a_1)\Lambda _0\Big )=2M\,. \end{aligned}$$(2.30)
-
-
5.
For a more general case when \(a_3< 0\), there is a second singularity at \(r_s\ne 0\). This can be seen from Eq. (2.20) for \(m>0\) and \(\Lambda _0<0\). Although this new point of singularity makes the Eq. (2.24) finite, but the final result leads to a wrong answer for late time complexity
$$\begin{aligned} \frac{dI^{q=0}_{tot}}{dt}= & {} -\frac{(d-2)\Omega _{d-2}}{\kappa ^2} \nonumber \\&\times \Bigg (\frac{13}{12}m+\frac{7}{3\times 4^{d-1}}\nonumber \\&\times \big (-2(d-3)(d-4)a_3 m\big )^{\frac{d-3}{d-1}}\Bigg )\,. \end{aligned}$$(2.31)
A similar behavior also has been reported for the \(d=5\) dimensional Gauss–Bonnet gravity in [17].
2.6 More on the second singularity and complexity
In previous sections we studied the GQC black hole’s solution perturbativly. We assumed two outer and inner horizons and singularity was located behind the inner one. As we investigated (perturbativly) in neutral black holes, it is possible to have a second singularity which leads to a wrong answer for late time complexity. In this section we will try to study d-dimensional charged black hole solution in Gauss–Bonnet gravity which can be found analytically and contains a second singularity as well, (see [17] for \(d=5\)). The metric (2.7) after solving the equations of motion is given by \(f_1(r)=f_2(r)=f(r)\)
Then the location of horizons and the second singularity (interval) are given by the following algebraic equations
In general, finding the analytic solutions for above equations is a hard task to do, but a simple numerical investigation shows the possible situations. In Fig. (2) we have sketched the various possible solutions for f(r).
The asymptotic AdS nature of solution restricts us to consider \(\Lambda _0<0\). Moreover, m is proportional to the mass of black hole so \(m>0\). The Gauss–Bonnet coupling could be either negative or positive. In Fig. 2 we have fixed \(\Lambda _0=-0.01\), \(m=1\) and \(a_3=\mp 0.02\) in the left/right diagrams, in \(d=5\). For various values of the charge q, we have the following behaviors:
The left diagram:
-
1.
There is a naked singularity at \(r_s=0\), green curve.
-
2.
There are two horizons and a singularity at \(r_s=0\), orange curve.
-
3.
A second singularity at \(r_s\ne 0 \) exists between two horizons, red and blue curves.
-
4.
The second singularity at \(r_s\ne 0 \) exists behind the horizons, black curve (neutral solution).
The right diagram:
-
1.
A singularity at \(r_s\ne 0 \) exists behind the inner horizon, green to blue curves.
-
2.
A solution with a horizon and no singularity, black curve (neutral solution).
By performing the same steps as we did in the previous sections we find the following relation for total action growth:
When the second singularity is behind the inner horizon the situation is similar to the perturbed solution which we found already
On the other hand when the second singularity is between the two horizons
As we see, although the first term can be written as \((M-\mu _h Q)-(M-\mu _s Q)\), but there is an extra term which leads us to another value for the Lloyd’s bound.
3 WDW action for global AdS
In this section, we are going to compute the universal terms that appear in the divergent part of \(C_A\) complexity in the GQC theory of gravity. All steps that we follow here, have been presented already in reference [47]. We will show how with some simple modifications we can find the universal coefficients of \(C_A\).
Paper [47] begins with Lovelock theory with the following bulk and space/time-like boundary actions
where \({\mathcal {X}}_{2n}\) is the Euler density and \({\mathcal {Q}}_n\) is the generalized GH boundary term. The boundary terms make the variational principle well defined. For example for \(n=1,2\), the relations for \({\mathcal {Q}}_1\) and \({\mathcal {Q}}_2\) are given in Eqs. (2.2) and (2.4).
After that, [47] computes the contribution from space/time-like joints by employing the Hayward smoothing method. These joints are co-dimension two surfaces, which are made from the intersection of boundary surfaces. In this way [47] prove that the joint terms can be computed from the Lovelock boundary term in (3.1) and are given by
where \(\eta =\pm cosh^{-1}|n_1.n_2|\), and \(n_{1,2}\) are normal one-forms to each boundary that their intersection makes the joint C. In above equation \(\hat{{\mathcal {X}}}_{2(n-1)}\) is the Euler density constructed from the induced metric on the joint.
To find the universal terms, one needs to compute the gravitational action on a regularized WDW patch. This patch contains a cut-off distance \(\delta \) from the boundary (see Fig. (3))
By choosing this patch, [47] argues that despite of surface terms for null boundaries, the universal terms are originating either from the joint terms (3.2) or the bulk action. The final form of joint term is given by
where \(a=\pm \log |k_1.k_2/2|\) for joints between two null boundaries and \(a=\pm \log |n.k_1|\) for joints between a time-like and a null boundary.
Now consider the GQC action (2.1) without Yang–Mills term. Although the bulk action cannot be written as a sum of Euler terms but as it was shown in [48] or from computing Eq. (2.5) for a Global AdS solution, the total GH boundary term (2.6) can be written as
Therefore the joint term (3.3) for GQC theory simplifies to
where \(\hat{{\mathcal {R}}}\) is the scalar curvature on the joint that is constructed from the induced metric.
Following [46], we use the regulated graph depicted in Fig. (3), i.e. we change the WDW patch by an inward shift on the right and left edges. To compute the structure of divergences, we begin with the following metric which is asymptotically \(AdS_d\) space-time with radius \({\tilde{L}}\) in GQC theory
By two successive proper coordinate transformation i.e. \(z=\frac{{\tilde{L}}}{r}\) and \(t=\tau {\tilde{L}}\), and then \(z=\frac{2{\tilde{L}} \,\cos \theta }{1+\sin \theta }\) we find the following metric
In this metric, the null boundaries of the WDW patch (the right diagram of Fig. (3)) are given by
Moreover the unit normal vectors to \(S^+\) and \(S^-\) null surfaces are
where \(\alpha _{1,2}\) are normalization constants. By another change of coordinate, \(\theta '=\frac{\pi }{2}-\theta \) the location of joint is at \((\tau ,\theta ')=(0,\delta ')\). In this way the induced metric on the joint and scalar curvature tensor would be
Also for a joint between two null boundaries in this coordinate
By substituting the above values into the joint action (3.5), finally, we obtain
We can write the above expression in terms of original cut-off by using \(\delta =\frac{2\tilde{L}\sin \delta '}{1+\cos \delta '}\). After expansion around \(\delta =0\) we find
where dots represent the power expansion terms. Therefore the universal term for GQC from the joint term for even d dimensional space-time is given by
We can also find the universal terms, which obtain from the computation of the bulk action on WDW patch. In d dimensional space-time these terms are computed in [47]
where \(a^{*}_d\) is the a-anomaly, and for GQC theory it is equal to (see [48] for more discussions)
4 Conclusion and discussion
In this paper we use the CA conjecture (1.2) for studying the holographic complexity. In the bulk space-time, we assume a general quadratic action that includes both Riemann and Ricci curvature tensors up to the quadratic terms (2.1). This form of action allows us to generalize the ideas around the holographic complexity when one takes into account the higher curvature theories of gravity in d dimensional space-time.
In Sect. 2 we examine the proposal of growth bound on complexity for two types of charged and neutral black holes of GQC that are asymptotically AdS space-time. In Sect. 2.2 we first find a U(1) charged black hole solution and then in Sect. 2.3 we obtain the action growth rate (2.15) by computing the bulk and boundary actions on WDW patch at late-time approximation. Our final result (2.16) confirms the proposal in [17], i.e. we can write the total action growth as a difference between the value of \(M-\mu Q\) on the outer and inner horizons of the black hole. This result has been already reported for various theories of gravity [26], and here we observe that this bound is preserved for general quadratic curvature theory of gravity.
Despite this, the case of the neutral black hole is more challenging. The reason is the existence of the singularity as one of the surface boundaries of the WDW patch. In Sect. 2.4 we learn how we can guess and compute the singularity structure of geometry in GQC theory from a particular class of solutions . Using this, in Sect. 2.5 we compute the action growth rate. We show that for special cases such as \(a_3=0\) or \(d=4\) where the singularity is located at \(r_s=0\), the singularity does not produce any divergences and the Lloyd’s bound saturates at 2M.
The above results hold when the singularity point is located behind the horizon(s). A numerical survey shows that, for certain regions of the parameters of the theory a second singularity appears at \(r_s\ne 0\). For neutral black holes this changes the expected proposal of [17]. Moreover for charged black holes when this singularity is behind the inner horizon, the action growth rate saturates the Lloyd’s bound. But when it is located between the two horizons then it leads to a result other than the expected Lloyd’s bound.
It is worth reminding that, even though higher order curvature theories of gravity may contain the ghost modes, as indicated in [30] it can be shown that the strong energy condition is a sufficient condition to ensure the bound inequality, therefore in this paper, we suppose this energy condition everywhere, (for more details on energy conditions of the GQC see [48]).
In Sect. 3 we look into another interesting subject in the context of holographic complexity and compute the universal terms that appear in the divergent part of \(C_A\) for the GQC theory of gravity. Usually, there are two types of these universal terms, one from the joint terms of regularized WDW patch and one from the bulk action. Using a simple trick, by introducing an effective GH term (3.4), we find the joint terms from the techniques in paper [47]. In that paper, the joint terms were calculated for Lovelock theory. Although the GQC cannot be written in terms of the Lovelock theory, its GH terms as we mentioned, are compatible with those in [47] technique. In this way, we find the universal terms (3.14b) and (3.16).
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: All data is produced by Mathematica software.]
Notes
To translate computations of [49] to ours, we need to change \(a_1 \leftrightarrow a_2\), \(\kappa ^2\rightarrow -\kappa ^2\) and replace \(l=1\), \(r_0^{d-1}=m\), \(V_{d-2}=\Omega _{d-2}\), \({\bar{\sigma }}=1+2(d-1)\Lambda (a_2+a_1 d)\) and \(\Lambda _0=\frac{1}{2}(d-1)\Lambda (d-2+(d-4)(d-1)\Lambda (a_2+da_1))\) in mass equation (5.13) i.e. \(M=\frac{(d-2)V_{d-2}}{8\pi G_d l}(\frac{r_0}{l})^{d-1}{\bar{\sigma }}\).
References
S. Ryu, T. Takayanagi, Holographic derivation of entanglement entropy from AdS/CFT. Phys. Rev. Lett. 96, 181602 (2006). arXiv:hep-th/0603001
S. Ryu, T. Takayanagi, Aspects of holographic entanglement entropy. JHEP 08, 045 (2006). arXiv:hep-th/0605073
L. Susskind, Entanglement is not enough. Fortsch. Phys. 64, 49 (2016). arXiv:1411.0690 [hep-th]
J. Watrous, Quantum computational complexity, encyclopedia of complexity and systems science, ed. by R.A. Meyers (2009), pp. 7174–7201. arXiv:0804.3401 [quant-ph]
S. Gharibian, Y. Huang, Z. Landau, S.W. Shin, Quantum hamiltonian complexity. Found. Trends Theor. Comput. Sci. 10, 159–282 (2015). arXiv:1401.3916 [quant-ph]
T.J. Osborne, Hamiltonian complexity. Rep. Prog. Phys. 75, 022001 (2012). arXiv:1106.5875 [quant-ph]
L. Susskind, Computational complexity and black hole horizons. Fortsch. Phys. 64, 24–43 (2016). arXiv:1402.5674 [hep-th]
L. Susskind, Addendum to: Computational complexity and black hole horizons. Fortsch. Phys. 64, 44 (2016). arXiv:1403.5695 [hep-th]
D. Stanford, L. Susskind, Complexity and shock wave geometries. Phys. Rev. D 90, 126007 (2014). arXiv:1406.2678 [hep-th]
A.R. Brown, D.A. Roberts, L. Susskind, B. Swingle, Y. Zhao, Holographic complexity equals bulk action? Phys. Rev. Lett. 116(19), 191301 (2016). arXiv:1509.07876 [hep-th]
A.R. Brown, D.A. Roberts, L. Susskind, B. Swingle, Y. Zhao, Complexity, action, and black holes. Phys. Rev. D 93(8), 086006 (2016). arXiv:1512.04993 [hep-th]
L. Lehner, R.C. Myers, E. Poisson, R.D. Sorkin, Gravitational action with null boundaries. Phys. Rev. D 94(8), 084046 (2016). arXiv:1609.00207 [hep-th]
J.M. Maldacena, Eternal black holes in anti-de Sitter. JHEP 0304, 021 (2003). arXiv:hep-th/0106112
J. Maldacena, L. Susskind, Cool horizons for entangled black holes. Fortsch. Phys. 61, 781 (2013). arXiv:1306.0533 [hep-th]
S. Chapman, H. Marrochio, R.C. Myers, Complexity of Formation in Holography. JHEP 01, 062 (2017). arXiv:1610.08063 [hep-th]
S. Lloyd, Ultimate physical limits to computation. Nature (London) 406, 1047 (2000)
R.G. Cai, S.M. Ruan, S.J. Wang, R.Q. Yang, R.H. Peng, Action growth for AdS black holes. JHEP 1609, 161 (2016). arXiv:1606.08307 [gr-qc]
H. Huang, X.H. Feng, H. Lu, Holographic complexity and two identities of action growth. Phys. Lett. B 769, 357 (2017). arXiv:1611.02321 [hep-th]
R. Cai, M. Sasaki, S. Wang, Action growth of charged black holes with a single horizon. Phys. Rev. D 95(12), 124002 (2017). arXiv:1702.06766 [gr-qc]
D. Carmi, S. Chapman, H. Marrochio, R.C. Myers, S. Sugishita, On the time dependence of holographic complexity. JHEP 11, 188 (2017). arXiv:1709.10184 [hep-th]
K. Goto, H. Marrochio, R.C. Myers, L. Queimada, B. Yoshida, Holographic complexity equals which action? JHEP 02, 160 (2019). arXiv:1901.00014 [hep-th]
Z. Fan, M. Guo, Holographic complexity and thermodynamics of AdS black holes. Phys. Rev. D 100, 026016 (2019). arXiv:1903.04127 [hep-th]
J. Jiang, X. Li, Adjusted complexity equals action conjecture. Phys. Rev. D 100(6), 066026 (2019). arXiv:1903.05476 [hep-th]
Z. Fan, H. Liang, Time dependence of complexity for Lovelock black holes. Phys. Rev. D 100(8), 086016 (2019). arXiv:1908.09310 [hep-th]
J. Jiang, M. Zhang, Holographic complexity of the electromagnetic black hole. Eur. Phys. J. C 80(2), 85 (2020). arXiv:1905.07576 [hep-th]
J. Jiang, Action growth rate for a higher curvature gravitational theory. Phys. Rev. D 98(8), 086018 (2018). arXiv:1810.00758 [hep-th]
W. Sun, X.H. Ge, Complexity growth rate, grand potential and partition function. arXiv:1912.00153 [hep-th]
J. Couch, W. Fischler, P.H. Nguyen, Noether charge, black hole volume, and complexity. JHEP 03, 119 (2017). arXiv:1610.02038 [hep-th]
Z. Fan, M. Guo, On the Noether charge and the gravity duals of quantum complexity. JHEP 08, 031 (2018). arXiv:1805.03796 [hep-th]
R.Q. Yang, Strong energy condition and complexity growth bound in holography. Phys. Rev. D 95(8), 086017 (2017). arXiv:1610.05090 [gr-qc]
J. Jiang, B.X. Ge, Investigating two counting methods of the holographic complexity. Phys. Rev. D 99(12), 126006 (2019). arXiv:1905.08447 [hep-th]
E. Dyer, K. Hinterbichler, Boundary terms, variational principles and higher derivative modified gravity. Phys. Rev. D 79, 024028 (2009). arXiv:0809.4033 [gr-qc]
A. de la Cruz-Dombriz, A. Dobado, A.L. Maroto, Black holes in f(R) theories. Phys. Rev. D 80, 124011 (2009). arXiv:0907.3872 [gr-qc] [Erratum: Phys. Rev. D 83, 029903 (2011)]
A. Guarnizo, L. Castaneda, J.M. Tejeiro, Boundary term in metric f(R) gravity: field equations in the metric formalism. Gen. Relativ. Gravity 42, 2713 (2010). arXiv:1002.0617 [gr-qc]
T.S. Bunch, Surface terms in higher derivative gravity. J. Phys. A 14, L139 (1981)
R.C. Myers, Higher-derivative gravity, surface terms, and string theory. Phys. Rev. D 36, 392 (1987)
T. Padmanabhan, D. Kothawala, Lanczos-Lovelock models of gravity. Phys. Rept. 531, 115 (2013). arXiv:1302.2151 [gr-qc]
P. Bueno, P.A. Cano, A.O. Lasso, P.F. Ramirez, f(Lovelock) theories of gravity. JHEP 1604, 028 (2016). arXiv:1602.07310 [hep-th]
A. Teimouri, S. Talaganis, J. Edholm, A. Mazumdar, Generalised boundary terms for higher derivative theories of gravity. JHEP 1608, 144 (2016). arXiv:1606.01911 [gr-qc]
N. Deruelle, M. Sasaki, Y. Sendouda, D. Yamauchi, Hamiltonian formulation of f(Riemann) theories of gravity. Prog. Theor. Phys. 123, 169–185 (2010). arXiv:0908.0679 [hep-th]
M. Alishahiha, A. Faraji Astaneh, A. Naseh, M.H. Vahidinia, On complexity for F(R) and critical gravity. JHEP 05, 009 (2017). arXiv:1702.06796 [hep-th]
Y. Ding, T. Wang, Action growth rates of black holes in the Chern–Simons modified gravity. arXiv:1811.08113 [hep-th]
J. Jiang, H. Zhang, Surface term, corner term, and action growth in \(F(R_{abcd})\) gravity theory. Phys. Rev. D 99(8), 086005 (2019). arXiv:1806.10312 [hep-th]
P.A. Cano, R.A. Hennigar, H. Marrochio, Complexity growth rate in lovelock gravity. Phys. Rev. Lett. 121(12), 121602 (2018). arXiv:1803.02795 [hep-th]
Y. An, R. Cai, Y. Peng, Time dependence of holographic complexity in Gauss-Bonnet gravity. Phys. Rev. D 98(10), 106013 (2018). arXiv:1805.07775 [hep-th]
D. Carmi, R.C. Myers, P. Rath, Comments on holographic complexity. JHEP 03, 118 (2017). arXiv:1612.00433 [hep-th]
P.A. Cano, Lovelock action with nonsmooth boundaries. Phys. Rev. D 97(10), 104048 (2018). arXiv:1803.00172 [gr-qc]
A. Ghodsi, M. Siahvoshan, A holographic study of the \(a\)-theorem and RG Flow in general quadratic curvature gravity. Eur. Phys. J. C 79(10), 820 (2019). arXiv:1907.03497 [hep-th]
A. Ghodsi, F. Najafi, Ricci cubic gravity in d dimensions, gravitons and SAdS/Lifshitz black holes. Eur. Phys. J. C 77(8), 559 (2017). arXiv:1702.06798 [hep-th]
Acknowledgements
We would like to thank M. Siahvoshan for useful discussion. This work is supported by Ferdowsi University of Mashhad under the grant 2/52193.
Author information
Authors and Affiliations
Corresponding author
Appendices
Useful relations
Using the anzats in (2.7) we find the following useful expressions for computing the bulk Lagrangian (2.1)
The sum of GH terms (2.2) and (2.5) are given by
The GH term (2.4) has the following contribution
Action growth coefficients
The coefficients of bulk action growth in Eq. (2.13) are
The coefficients of boundary action growth in Eq. (2.14) are
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Ghodsi, A., Qolibikloo, S. & Karimi, S. Holographic complexity in general quadratic curvature theory of gravity. Eur. Phys. J. C 80, 920 (2020). https://doi.org/10.1140/epjc/s10052-020-08503-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-08503-9