Holographic complexity of the electromagnetic black hole

In this paper, we use the “complexity equals action” (CA) conjecture to evaluate the holographic complexity in some multiple-horzion black holes for F(Riemann) gravity coupled to a first-order source-free electrodynamics. Motivated by the vanishing result of the purely magnetic black hole founded by Goto et. al, we investigate the complexity in a static charged black hole with source-free electrodynamics and find that this vanishing feature of the late-time rate is universal for a purely static magnetic black hole. However, this result shows some unexpected features of the late-time growth rate. We show how the inclusion of a boundary term for the first-order electromagnetic field to the total action can make the holographic complexity be well-defined and obtain a general expression of the late-time complexity growth rate with these boundary terms. We apply our late-time result to some explicit cases and show how to choose the proportional constant of these additional boundary terms to make the complexity be well-defined in the zero-charge limit. For the static magnetic black hole in Einstein gravity coupled to a first-order electrodynamics, we find that there is a general relationship between the proper proportional constant and the Lagrangian function h(F) of the electromagnetic field: if h(F) is a convergent function, the choice of the proportional constant is independent on explicit expressions of h(F) and it should be chosen as 4/3; if h(F) is a divergent function, the proportional constant is dependent on the asymptotic index of the Lagrangian function. ar X iv :1 90 5. 07 57 6v 2 [ he pth ] 5 J ul 2 01 9


I. INTRODUCTION
In recent years, there has been a growing interest in the topic of "quantum complexity", which is defined as the minimum number of gates required to obtain a target state starting from a reference state [1,2]. From the holographic viewpoint, Brown et al. suggested that the quantum complexity of the state in the boundary theory is dual to some bulk gravitational quantities which are called "holographic complexity". Then, the two conjectures, "complexity equals volume" (CV) [2,3] and "complexity equals action" (CA) [4,5], were proposed. They aroused researchers' widespread attention to both holographic complexity and circuit complexity in quantum field theory, e.g. .
In present work, we only focus on the CA conjecture, which states that the quantum complexity of a particular state |ψ(t L ,t R ) on the boundary is given by Here I WDW is the on-shell action in the corresponding Wheeler-DeWitt (WDW) patch, which is enclosed by the past and future light sheets sent into the bulk spacetime from the timeslices t L and t R . By studying a simple class of systems known as random quantum circuits with N qubits, it has been shown that for generic circuits, after a short period of transient initial behavior, the complexity grows linearly in time, and finally saturates at a maximum value. In the context of AdS/CFT, we need to set N to be very large. Then, it can be generally argued that at late times, this quantum complexity should continue to grow with a rate given by [2,3] where the entropy represents the width of the circuit and the temperature is an obvious choice for the local rate at which a particular qubit interacts. * jiejiang@mail.bnu.edu.cn † mingzhang@mail.bnu.edu.cn Recently, Goto et. al [47] investigated the CA complexity for dyonic Reissner-Nordstrom-AdS(RN-AdS) black holes in 4-dimensional Einstein-Maxwell gravity. They found a surprising result that the growth rate vanishes at late times when this dyonic black hole only carries a magnetic charge. However, this result does not agree with the general expectation (2) for the quantum system. Moreover, from the perspective of the boundary CFT, nothing particularly strange should happen in the zero-charge limit. Therefore, the holographic complexity should also satisfy this limit. But this result also shows the unexpected feature in the zero-charge limit, i.e., the limit of complexity for the charged black hole should be as same as the neutral counterpart.
However, this apparent failure can be alleviated when we modify the total action with the addition of the Maxwell boundary term [47] for the Einstein-Maxwell gravity. Here γ is some proportional constant which should be chosen as γ = 1 for the purely magnetic dyonic black hole to ensure the complexity satisfies the zero-charge limit. After that, the late-time rate becomes finite and sensitive to the magnetic charge. Moreover, we can see that this boundary term does not affect the equation of motion of the electromagnetic fields. It only changes the boundary conditions in the variational principle of the electrodynamics. To better understand the vanishing of the late-time complexity growth rate, we might also ask whether this result is universal in a purely magnetic black hole with a sourcefree electromagnetic field. Therefore, in this paper, we would like to investigate the holographic complexity of a magnetic black hole for a higher curvature gravitational theory coupled to source-free electrodynamics and try to discuss what appropriate boundary action can be introduced to make the holographic complexity be well-defined.
The remainder of this paper is organized as follows: in Sec.II, we review the Iyer-Wald formalism for an invariant gravity coupled to a source-free electrodynamics. In Sec.III, we investigate the CA complexity growth rate in a static black hole for a higher curvature gravity coupled source-free fields without additional boundary terms. In Sec.IV, we evaluate the late-time growth rate for the total action with some additional boundary terms. In Sec.V, we apply our general formalism to the dyonic black hole in Maxwell-f (R) gravity, charged dilaton black hole, and Bardeen black hole, respectively, and show how to fix the proportional constant to make the complexity be well defined. Finally, concluding remarks are given in Sec.VI

II. IYER-WALD FORMALISM
In this section, we will give a brief review of the Iyer-Wald formalism for a general 4-dimensional diffeomorphism invariant theory coupling a nonlinear gauge field and sourcefree scalar field, which is described by a Lagrangian L = L where the dynamical field consists of a Lorentz signature metric g ab , gauge field A a and a scalar field ψ. Following the notation in [54], we use boldface letters to denote differential forms and collectively refer to (g ab , A a , ψ) as φ . Then, the action can be divided into the gravity part, gauge field part and scalar field part, i.e., L = L grav − L em + L ψ where L em = L em = h(F , ψ) and L ψ = L (ψ, |∇ψ| 2 ) . Here we denote F = F ab F ab with F = dA and |∇ψ| 2 = ∇ a ψ∇ a ψ. The variation of the gravitational part with respect to g ab is given by where E ab g (φ ) is locally constructed out of φ and its derivatives and Θ is locally constructed out of φ , δ g ab and their derivatives. The equation of motion can be read off as which is the stress-energy tensor of the matter fields. Here we denote L mat = L mt = L ψ − L em . Let ζ a be the infinitesimal generator of a diffeomorphism. Exploiting the Bianchi identity ∇ a T ab = 0, one can obtain the identically conserved current for a generic background metric g ab as where s a With similar arguments in [54,55], this (n − 2)-form can always be expressed as where X cd is the Wald entropy density with Substituting (6) into (7), one can obtain where we denote Then, we consider the electromagnetic part L em . Its variation with respect to A is given by where G is defined by with Here we have used the relation Since the scalar field is source-free, the equation of motion for the electromagnetic field is given by dG = 0, which is also equivalent to With these in mind, one can further obtain if ζ a is a Killing vector. Here we have used the relation ζ a ∇ a ψ = 0 since ζ a is a Killing vector field. This implies Then, combing with the fact Θ(φ , ζ ) = 0 for the Killing vector, Eq. (11) becomes Moreover, the equation of motion dG = 0 implies that G is a closed form for the on-shell field. Then, there exists a 1-form B such that G = dB when the EM field satisfies the equation of motion. Combing the Bianchi identity dF = 0, the electric charge Q and magnetic charge P can be defined as where C ∞ denotes a 2-dimensional surface at the asymptotic infinity.

III. LATE-TIME COMPLEXITY GROWTH RATE
In this section, we consider a static magnetic black hole with the Killing horizon contained a bifurcation surface. And ξ a = (∂ /∂t) a is the Killing vector of this horizon. By using this static Killing vector, we can define the electric potential and magnetic potential According to the CA conjecture, calculating the holographic complexity is equivalent to evaluating the full action within the WDW patch. For a general higher curvature gravitational theory, the full action can be expressed as [46] where s = X cd cd is the Wald entropy density, λ is the parameter of the null generator k a on the null segment, κ measures the failure of λ to be an affine parameter which is derived from k a ∇ a k b = κk b , Θ = ∇ a k a is the expansion scalar, and l ct is an arbitrary length scale. These boundary terms are introduced to make the variational principle well-posed.
First of all, we consider the bulk contributions of the change of the action. As illustrated in Fig.1, the bulk contributions only come from the region δ M. At the late times, it can be generated by the Killing vector ξ a through the null boundary N which is bounded by the inner and outer horizons. Then, the action change contributed by the late-time bulk action can be shown as For simplification, we will neglect the index {±}. Turning to the bulk contribution from δ M, we have Then, by using (20), we have At the late times, the corner C approaches the Killing horizon H . Since the horizon contains a bifurcation surface, the first term in (8) vanishes on the horizon H , i.e., where ab is the binormal of surface C , and ξ a ∇ a ξ b = κξ b on the horizon. By virtue of the smoothness of the pullback of A a and the static condition, one can show that Φ H = − ξ a A a | H is constant in the portion of the horizon to the future of the bifurcation surface. For simplification, we can choose A a ξ a | ∞ = 0. With these in mind, (26) becomes with the entropy S = 2π Σ X cd cd and T = κ/2π. With these in mind, we can obtain where the index ± present the quantities evaluated at the "outer" or first "inner" horizon. Next, we consider the boundary and corner contributions to action growth. Without loss of generality, we shall adopt the affine parameter for the null generator of the null surface. As a consequence, the surface term vanishes on all null boundaries. Meanwhile, we choose l a as the null generator of the null boundary N , in which l a satisfies L ξ l a = 0. Then, the time derivative of the counterterm contributed by N vanishes. By considering that the entropy is a constant on the Killing horizon, i.e., L ξ s = 0, the counterterm contributed by the null segment on the horizon also vanishes.
The affinely null generator on the horizon can be con- . The transformation parameter can be shown as [46] Then, we have Combining those contributions, we have at late times. From this expression, we can see that the latetime complexity is independent of the magnetic field. The late-time rate vanishes in the purely magnetic black hole. However, this result will produce a puzzle in the limit of zero charges. For the pure magnetic static black hole, in the chargeless case P → 0, it will reduce to a neutral black hole, and most of them capture the nonvanished late-time rate of the complexity. However, according to (32), the late-time rate always vanishes, which implies that the chargeless limit also vanish. Therefore, in order to obtain an expected feature of the latetime rate at the zero charge limit, we need to add some extra boundary terms related to the electromagnetic field.
IV. COMPLEXITY GROWTH RATE WITH SOME ADDITIONAL BOUNDARY TERM

A. Maxwell boundary term
In order to obtain an expected feature of the complexity, with similar consideration of [47], we also modify the action with the addition of the Maxwell boundary term. According to the equation of motion for the electromagnetic field, the Maxwell boundary term can be chosen as where the γ is a free parameter, which should be determined by demanding that the holographic complexity shares expected feature under the zero-charge limit. Then, the general total action is given by Adding this boundary term will give different boundary conditions. If the electromagnetic field satisfies the equation of motion dG = 0, using the Stokes' theory, this boundary term is equivalent to with Its variation can be written as By setting δ = L ζ for any vector field ζ , (37) becomes which implies that there exists a Noether charge (n − 2)-form K µQ such that By using (36), one can easy verify that dK µQ = 0. Then, we have If we set ζ to be the static Killing vector field ξ , (40) can be expressed as where we have used dG = dF = 0. Next, we start to evaluate its contribution to the holographic complexity. According to (35), evaluating this additional boundary term can be translated into a bulk integration. Then, with similar procedures in the former section, the change of this additional action can be obtained by Then, the total action within the WDW patch is given by Subsequently, the final result for the late-time complexity growth rate becomes

B. Scalar boundary term
Next, we consider the following boundary term for the source-free scalar field Similar with the Maxwell boundary term, this term modifies the character of the boundary condition of the scalar field. By using the Stokes' theory, it can be written as a bulk integration Next, we evaluate its contribution to the WDW patch. At the late time, the change of this contribution can be expressed as Since ξ vanishes and Z is well-defined on the bifurcation surface, it is clear that ξ · Z also vanishes on the horizon, i.e., I φ = 0. Hence, adding this scalar boundary term does not change the complexity growth rate at late times for the multiple-horizon black hole.

V. SOME EXPLICIT CASES
In this section, we will apply our result to some explicit cases and discuss the conditions which give an expected feature at the zero-charge limit.

A. Dyonic RN black hole in f (R) gravity
In this subsection, we first apply our result to a dyonic RN-AdS black hole for Maxwell-f (R) gravity, where the bulk action is given by with the Ricci Scalar R. Then, we have By using (33), the Maxwell boundary term can be expressed as According to (49), the equation of motion can be expressed as with the stress tensor of the electromagnetic field In this section, we will consider s special case, in which there exists an R 0 such that Then, for the special case R = R 0 , the equation of motion (53) becomes which implies that the dynoic Reissner-Nordstrom-AdS black hole with L 2 = −12/R 0 is the solution of this theory. Its line element can be described by the following metric, with the blackening factor b(r) = r 2 The electromagnetic field can be written as And the Arnowitt-Deser-Misner mass is given by [56] M By using these expressions, one can also obtain Then, we have Then, the late-time CA complexity growth rate with the Maxwell boundary term can be expressed as When we consider the Einstein gravity f (R) = R + 6/L 2 , we can see that this result is same as that obtained by [47]. Then, in order to obtain the expected feature under the zero-charge limit, we need to set the coefficient γ to satisfy

B. Charged dilaton black hole
In this subsection, we consider the charged dilation black hole for the Einstein gravity coupled to a dilaton field as well as a Maxwell field, where the dilaton potential V (φ ) is given by [57] By using (33), the Maxwell boundary term and scalar boundary term are expressed as Then, we consider the electrically charged dilaton black hole, which is given by [58] The electromagnetic field and dilaton field are written as By using the relation and (69), we can find Q = q e and Φ = q e /r. In this paper, we only consider the black hole with multiple horizons, i.e., α 2 < 1/3 in this case. Then, the late-time complexity growth rate (75) becomes Next, we consider the scalar boundary term. By using (67), we can obtain Then, the scalar boundary term can be written as The neutral case can be obtained by setting c → 0. Then, the late-time growth rate becomes Then, in order to obtain the expected feature of the zerocharge limit, we need set the coefficient γ to satisfy γ = α 2 .

C. Bardeen black hole
In this subsection, we consider the Bardeen black hole for the nonlinear gauge theories. The bulk action can be written as In [59], Bardeen first proposed a black hole solution being regular at r = 0 where the standard black hole spacetime has a physical singularity. In this subsection, we consider the AdS-Bardeen spacetime, which can be described by [60] This spacetime is parameterised by the mass parameter M and the magnetic charge q m . It is not hard to verify that this spacetime is a solution of the Einstein gravitational equation coupled to nonlinear electromagnetic field with Then, for the AdS-Bardeen solution, the electromagnetic field is given by Then, we have From (14), we can obtain G = 15Mq m r 4 8π(q 2 m + r 2 ) 7/2 dt ∧ dr , Then, we can obtain the magnetic potential and charge, At the zero-charge limit, we need set the coefficient γ to satisfy In order to obtain the expected feature of the zero-charge limit, we need set the coefficient γ = 4/3 such that under the limit q m → 0.

VI. CONCLUSION
Motivated by [47] where the vanishing of the late-time CA complexity rate in purely magnetic dyonic RN-AdS black hole was found and a remedy was proposed, in this paper, we evaluated the original CA holographic complexity in a static multiple-horizon black hole for a general higher curvature gravity coupled to source-free electrodynamics. We showed that this vanishing feature of the late-time rate is universal for the original CA conjecture. But this result does not agree with the general expectation (2) of the quantum system, and it also has an unexpected feature in the zero-charge limit. However, these failures could be alleviated when we modified the action with an additional term (Maxwell boundary term) within the WDW patch. By Iyer-Wald formalism, we also generally showed the late-time complexity growth rate after adding Maxwell boundary term. Moreover, we found that the scalar boundary term does not change the late-time rate for a multiple-horizon black hole with source-free electrodynamics. Moreover, there exists a dimensionless parameter γ which is needed to be chosen by demanding the zero-charge limit satisfies. To be specific, we apply our result to the dyonic RN black hole in f (R) gravity, charged dilation black hole, and Bardeen black hole. We found the proper proportional parameter γ is dependent of specific gravitational theory as well as the explicit spacetime background.