Abstract
In this paper, we use the “complexity equals action” (CA) conjecture to evaluate the holographic complexity in some multiple-horzion black holes for the gravitational theory 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. But 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. However, the choice of these additional boundary terms is dependent on the specific gravitational theory as well as the black hole geometries. To show this, we apply our late-time result to some explicit cases and show how to choose the proportional constant of the additional boundary term to make the complexity be well-defined in the zero-charge limit. Typically, we investigate the static magnetic black holes in Einstein gravity coupled to a first-order electrodynamics and find that there is a general relationship between the proper proportional constant and the Lagrangian function \(h(\mathcal {F})\) of the electromagnetic field: if \(h(\mathcal {F})\) is a convergent function, the choice of the proportional constant is independent on explicit expressions of \(h(\mathcal {F})\) and it should be chosen as 4/3; if \(h(\mathcal {F})\) is a divergent function, the proportional constant is dependent on the asymptotic index of the Lagrangian function.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 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. [6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63].
In present work, we only focus on the CA conjecture, which states that the quantum complexity of a particular state \(|\psi (t_L,t_R)\rangle \) on the boundary is given by
Here \(I_\text {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.
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 some surprising results that the complexity of the dyonic black holes cannot return to that of the neutral case under the zero-charge limit and the growth rate vanishes at late times when this dyonic black hole only carries a magnetic charge. These results do not agree with the general expectation (1.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. These results also show 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 \(\gamma \) is some proportional constant which should be chosen as \(\gamma =q_m^2/(q_m^2-q_e^2)\) for the dyonic black holes to ensure that 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 these features of CA complexity, we might also ask whether these unexpected results are universal in the black holes with magnetic charges. If it is, how can we introduce an appropriate boundary action to make the holographic complexity be well-defined? Therefore, in this paper, we would like to investigate the CA complexity in the stationary magnetic black holes and try to find the proportional additional boundary term to make the CA complexity be well-defined especially for the purely magnetic static black holes in Einstein gravity coupled to a first-order electrodynamics.
The remainder of this paper is organized as follows: in Sect. 2, we review the Iyer–Wald formalism for an invariant gravity coupled to a first order source-free electrodynamics. In Sect. 3, we evaluate the late-time holographic complexity growth rate for the original CA conjecture as well as the new conjecture with some additional boundary terms in a static multiple-horizon black hole for a gravitational theory coupled to source-free fields. In Sects. 4 and 5, we apply our late-time result to the dyonic black hole in Maxwell-f(R) gravity and charged dilaton black hole, individually. In Sect. 6, we apply our result to some purely magnetic black holes in Einstein gravity. First, we investigate some static magnetic black holes in Einstein gravity coupled a electromagnetic field with some special Lagrangian functions in Sects. 6.1 and 6.2, and show how to fix the proportional constant to make the complexity be well defined in these explicit cases. Then, in Sect. 6.3, we give a general discussion of the static magnetic black hole in the Einstein gravity with the first order electrodynamics. Finally, concluding remarks are given in Sect. 6
2 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 first-order electromagnetic field and source-free scalar field, which is described by a Lagrangian \(\varvec{L}=\mathcal {L}\varvec{\epsilon }\) where the dynamical field consists of a Lorentz signature metric \(g_{ab}\), gauge field \(A_a\) and a scalar field \(\psi \). Following the notation in [64], we use boldface letters to denote differential forms and collectively refer to \((g_{ab},A_a,\psi )\) as \(\phi \). Then, the action can be divided into the gravity part, gauge field part and scalar field part, i.e., \(\varvec{L}=\varvec{L}_\text {grav}-\varvec{L}_\text {em}+\varvec{L}_\psi \) where \(\varvec{L}_\text {em}=\mathcal {L}_\text {em}\varvec{\epsilon }=h(\varvec{F},\psi )\varvec{\epsilon }\) and \(\varvec{L}_\psi =\mathcal {L}(\psi ,|\nabla \psi |^2)\varvec{\epsilon } \). Here \(\varvec{F}=d\varvec{A}\) is the electromagnetic tensor and \(|\nabla \psi |^2=\nabla _a\psi \nabla ^a\psi \). The variation of the gravitational part with respect to \(g_{ab}\) is given by
where \(\varvec{E}_g^{ab}(\phi )\) is locally constructed out of \(\phi \) and its derivatives and \(\varvec{\Theta }\) is locally constructed out of \(\phi ,\, \delta g_{ab}\) and their derivatives. The equation of motion can be read off as
with
which is the stress-energy tensor of the matter fields. Here we denote \(\varvec{L}_\text {mat}=\mathcal {L}_\text {mt}\varvec{\epsilon }=\left( \mathcal {L}_\psi -\mathcal {L}_\text {em}\right) \varvec{\epsilon }\). Let \(\zeta ^a\) be the infinitesimal generator of a diffeomorphism. Exploiting the Bianchi identity \(\nabla _{a}T^{ab}=0\), one can obtain the identically conserved current for a generic background metric \(g_{ab}\) as
where \(s^a_{\zeta }\equiv -T^{ab}\zeta _b\) and \(\varvec{\Theta }(\phi ,\zeta )=\varvec{\Theta }(\phi ,\mathcal {L}_{\zeta }g_{ab})\). Since \(\varvec{J}\) is closed, there exists a Noether charge 2-form \(\varvec{K}[\zeta ]\) such that \(\varvec{J}[\zeta ]=d\varvec{K}[\zeta ]\). With similar arguments in [64, 65], this 2-form can always be expressed as
where
is the Wald entropy density with
Substituting (2.3) into (2.4), one can obtain
where we denote
Then, we consider the electromagnetic part \(\varvec{L}_\text {em}\). Since \(h(\varvec{F},\psi )\) and \(\psi \) are scalar fields, all of the indexes should be contracted. Then, the Lagrangian can be expressed as a function of the scalar fields
i.e., \(\varvec{L}_\text {em}=h\left( \mathcal {F},\psi \right) \) with \(\mathcal {F}=\{\mathcal {F}^{(2)}, \mathcal {F}^{(4)}, \cdots \mathcal {F}^{(2n)}, \cdots \}\). For latter convenience, here we also define a tensor
With these in mind, the variation of the electromagnetic part with respect to \(\varvec{A}\) is given by
where we have denoted
and define \(\varvec{G}=\star \varvec{H}\) with
We have also used the relation
for two 2-form \(\varvec{F}_1\) and \(\varvec{F}_2\). Since the scalar field is source-free, the equation of motion for the electromagnetic field is given by \(d\varvec{G}=0\), which is also equivalent to
Next, we turn to evaluate (2.9). If \(\zeta \) is a Killing vector, i.e., \(\mathcal {L}_\zeta \varvec{A}=0\) and \(\mathcal {L}_\zeta \psi =0\), we have
which implies
Combing with the fact \(\varvec{\Theta }(\phi ,\zeta )=0\) for the Killing vector, Eq. (2.8) becomes
Moreover, the equation of motion \(d\varvec{G}=0\) implies that \(\varvec{G}\) is a closed form for the on-shell field. Then, there exists a 1-form \(\varvec{B}\) such that \(\varvec{G}=d\varvec{B}\) when the EM field satisfies the equation of motion. Combing the Bianchi identity \(d\varvec{F}=0\), the electric charge Q and magnetic charge P can be defined as
where \(\mathcal {C}_\infty \) denotes a 2-dimensional surface at the asymptotic infinity.
3 Late-time complexity growth rate
3.1 Original CA conjecture
In this subsection, we consider a static magnetic black hole with the Killing horizon contained a bifurcation surface. And \(\xi ^a=(\partial /\partial 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 F (Riemanm) gravity, the full action can be expressed asFootnote 1 [8, 56]
where \(\varvec{s}=\varvec{X}^{cd}\varvec{\epsilon }_{cd}\) is the Wald entropy density, \(\lambda \) is the parameter of the null generator \(k^a\) on the null segment, \(\kappa \) measures the failure of \(\lambda \) to be an affine parameter which is derived from \(k^a\nabla _ak^b=\kappa k^b\), \(\Theta =\nabla _ak^a\) is the expansion scalar, and \(l_\text {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 \(\delta M\). At the late times, it can be generated by the Killing vector \(\xi ^a\) through the null boundary \(\mathcal {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 \(\{\pm \}\). Turning to the bulk contribution from \(\delta M\), we have
Using (2.19), we have
At the late times, the corner \(\mathcal {C}\) approaches the Killing horizon \(\mathcal {H}\). Since the horizon contains a bifurcation surface, the first term in (2.5) vanishes on the horizon \(\mathcal {H}\), i.e.,
where \(\varvec{\epsilon }_{ab}\) is the binormal of surface \(\mathcal {C}\), and \(\xi ^a\nabla _a\xi ^b=\kappa \xi ^b\) on the horizon. By virtue of the smoothness of the pullback of \(A_a\) and the static condition, one can show that \(\Phi _{\mathcal {H}}=-\left. \xi ^aA_a\right| _{\mathcal {H}}\) is constant in the portion of the horizon to the future of the bifurcation surface. For simplification, we can choose \(\left. A_a\xi ^a\right| _{\infty }=0\). With these in mind, (3.5) becomes
with the entropy \(S=2\pi \int _{\Sigma }\varvec{X}^{cd}\varvec{\epsilon _{cd}}\) and \(T=\kappa /2\pi \). 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 \(\mathcal {N}\), in which \(l^a\) satisfies \(\mathcal {L}_{\xi }l^a=0\). Then, the time derivative of the counterterm contributed by \(\mathcal {N}\) vanishes. By considering that the entropy is a constant on the Killing horizon, i.e., \(\mathcal {L}_{\xi }\varvec{s}=0\), the counterterm contributed by the null segment on the horizon also vanishes.
The affinely null generator on the horizon can be constructed as \(k^a=e^{-\kappa \lambda }\xi ^a=e^{-\kappa \lambda }\left( \frac{\partial }{\partial \lambda }\right) ^a\). The transformation parameter can be shown as [56]
Then, we have
Combining those contributions, we have
at late times. From [52], we can see that this expression is also satisfied for the charged black holes in Lovelock gravity. From this expression, we can see that the late-time 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 purely magnetic static black hole, in the chargeless case \(P\rightarrow 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 (3.11), the late-time rate always vanishes, which implies that the chargeless limit also vanish. Therefore, in order to obtain an expected feature of the late-time rate at the zero charge limit, we need to add some extra boundary terms related to the electromagnetic field such that the late-time rate is sensitive to the magnetic charges.
3.2 CA conjecture with some additional boundary term
3.2.1 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 \(\gamma \) 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 \(d\varvec{G}=0\), using the Stokes’ theory, this boundary term is equivalent to
with
Its variation can be written as
By setting \(\delta =\mathcal {L}_\zeta \) for any vector field \(\zeta \), (3.16) becomes
which implies that there exists a Noether charge \((n-2)\)-form \(\varvec{K}_{\mu \text {Q}}\) such that
By using (3.15), one can easy verify that \(d \varvec{K}_{\mu \text {Q}}=0\). Then, we have
If we set \(\zeta \) to be the static Killing vector field \(\xi \), (3.19) can be expressed as
where we have used \(d\varvec{G}=d\varvec{F}=0\).
Next, we start to evaluate its contribution to the holographic complexity. According to (3.14), 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
The total action within the WDW patch is given by
Subsequently, the final result for the late-time complexity growth rate becomes
3.2.2 Scalar boundary term
In this subsection, we consider the following boundary term for the source-free scalar field
with
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 \(\xi \) vanishes and \(\varvec{Z}\) is well-defined on the bifurcation surface, it is clear that \(\xi \cdot \varvec{Z}\) also vanishes on the horizon, i.e., \(I_\phi =0\). Hence, adding this scalar boundary term does not change the complexity growth rate at late times for the multiple-horizon black hole.
4 Dyonic RN black hole in f(R) gravity
In this section, we first apply our late-time 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 (3.12), the Maxwell boundary term can be expressed as
According to (4.1), the equation of motion can be expressed as
with the stress tensor of the electromagnetic field
Next, we consider s special case, in which there exists an \(R_0\) such that
For the special case \(R=R_0\), the equation of motion (4.4) 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
The electromagnetic field can be written as
And the Arnowitt–Deser–Misner mass is given by [66]
By using these expressions, one can also obtain
Then, we have
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 \(\gamma \) to satisfy
5 Charged dilaton black hole
In this section, 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(\phi )\) is given by [67]
By using (3.12), the Maxwell boundary term and scalar boundary term are expressed as
Then, we consider the electrically charged dilaton black hole, which is given by [68]
with
The electromagnetic field and dilaton field are written as
with
By using the relation
and (5.6), we can find \(Q=q_e\) and \(\Phi =q_e/r\). We should note that there is a curvature singularity at \(r=c\) in this spacetime. The horizon is determined by \(f(r_\pm )=0\). However, for the case with \(\alpha ^2\ge 1/3\), there is only single horizon of this black hole since \(r_-\le c\). For the case with \(\alpha ^2<1/3\), this geometry describes a black hole with double horizons. In this paper, we only consider the black hole with multiple horizons, i.e., here we only consider the case with \(\alpha ^2<1/3\). Then, the late-time complexity growth rate (5.12) becomes
Next, we consider the scalar boundary term. By using (5.4), we can obtain
And the scalar boundary term can be written as
This vanishing result has also been obtained by straight calculation in [47]. The neutral case can be obtained by setting \(c\rightarrow 0\). Then, the late-time growth rate becomes
In order to obtain the expected feature of the zero-charge limit, we need set the coefficient \(\gamma \) to satisfy \(\gamma =\alpha ^2\).
6 Some static magnetic black holes in Einstein gravity
In this section, we will first apply our late-time result (5.12) to some explicit magnetic black holes in Einstein gravity and discuss which conditions can give an expected feature of the complexity at zero-charge limit. Then, we will generally discuss the proper condition for the static magnetic black holes in Einstein gravity coupled to a first-order electromagnetic field.
6.1 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 [69], 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 [70, 71]
with
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
For the AdS-Bardeen solution, the electromagnetic field is given by
which gives
From (2.14), we can obtain
According to these expressions, we can find the magnetic potential and charge,
As a result, the late-time CA complexity growth rate with the Maxwell boundary term can be expressed as
which becomes
under the zero-charge limit. In order to obtain the expected feature of the zero-charge limit, we need set the coefficient \(\gamma =4/3\) such that
under the limit \(q_m\rightarrow 0\).
6.2 Static magnetic black hole in Einstein-\(\mathcal {F}^{(2n)}\) gravity
In this subsection, we consider the static magnetic solution for Einstein gravitational theory coupled a electrodynamics with the lagrangian \(h(\mathcal {F})=(-1)^n\mathcal {F}^{(2n)}\) and some positive integral n. The equation of motion can be expressed as
with
As mentioned above, we next consider the geometry of the static purely magnetic black hole solution. Its not hard to verify that the spherically static solution can be written as
with the blackening factor
According to the solution (6.14), we can further obtain
which implies
And the magnetic potential and charge can be read off
Using these expressions, the late-time CA complexity rate can be shown as
At the chargeless limit \(q_m\rightarrow 0\), the action growth rate becomes
In order to obtain the expected feature of the zero-charge limit, we need to set the coefficient \(\gamma \) to satisfy \(\gamma =1/n\).
6.3 A general discussion for the static magnetic black holes coupled to a first-order electromagnetic field
In the former subsections, we applied our late-time result (5.12) to some explicit cases of the magnetic black hole in Einstein gravity and showed how to choose the boundary terms to make the complexity be well-defined in the zero-charge limit. From these case, we can see that the choice of the proportional constant is dependent on the explicit case of the electromagnetic theory as well as the spacetime background. In this subsection, we will generally study the static magnetic black hole in Einstein gravity coupled to a first-order electromagnetic field, where the bulk action is shown as
The equation of motion of the gravity part can be read off
with
where \(H_{ab}\) is defined in (2.14) with
Here we assume that \(h(\mathcal {F})\) only vanishes when the electromagnetic field vanishes, i.e., \(h(\mathcal {F})=0\) iff \(\mathcal {F}=0\). Without loss of generality, we next consider the geometry of the static regular magnetic black hole with the metric and electromagnetic field ansatz
with the blackening factor
At the zero-charge limit, this solution should reduce to the SAdS solution, i.e., \(m(r)=M\) when \(q_m\rightarrow 0\). Moreover, we also assume that this solution shares the similar behavior with the SAdS black hole at the asymptotic infinity, i.e., \(m(r)=M\) when \(r\rightarrow \infty \). Using this solution ansatz, one can further obtain
with
According to the equation of motion (6.22), we find that there are only two independent equations, i.e.,
which give
Combining with (6.27), one can further find
which implies
With these in mind, we can obtain
Then, the late-time CA complexity growth rate is given by
Next, we consider the zero-charge limit of the late-time rate. From the solution ansatz, we have
which gives \(\mathcal {F}(r_+)=0\) under the zero-charge limit \(q_m\rightarrow 0\). This implies \(h\left( \mathcal {F}(r_+)\right) =0\) under \(q_m\rightarrow 0\). Moreover, from the blackening factor (6.26), we have
under the zero charge limit. Then, the late-time complexity growth rate (6.34) becomes
at the limit \(q_m\rightarrow 0\). The key point to obtain (6.37) is to find the behaviour of \(h\left( \mathcal {F}(r_-)\right) \) under the zero-charge limit. From (6.35), we can see that \(h(\mathcal {F})\) can be expressed as a function of \(x=q_m/r^2\), i.e., \(h(\mathcal {F})=h(x)\). According to (6.29), the mass function can be expressed as
where we denote
The asymptotic condition \(m(r\rightarrow \infty )=M\) implies \({\tilde{m}}(x\rightarrow 0)=0\). Combing (6.39) with the limit (6.36), we have
when \(q_m\rightarrow 0\). Since h(x) is a smooth function, this equation implies \(x_-\rightarrow \infty \) under the zero-charge limit. Then, there are two cases we should consider, that is, \(h\left( \mathcal {F}\right) \) being convergent or divergent.
- (a)
If \(h(\mathcal {F})\) is a convergent function, we have \(h(x_-) r_-^3 \rightarrow 0\) under the zero charge limit. The late-time growth becomes
$$\begin{aligned} \lim _{t\rightarrow \infty }\frac{dC_A}{dt}=\frac{3\gamma M}{2\pi \hbar } \end{aligned}$$(6.41)under the zero-charge limit. In order to obtain the expected feature of this limit, we need to set \(\gamma =4/3\). This implies that the choice of \(\gamma \) is independent on the explicit expression of \(h(\mathcal {F})\) if \(h(\mathcal {F})\) is convergent. We can see that the Bardeen black hole is exactly this situation.
- (b)
Next, we consider the case where \(h(\mathcal {F})\) is a divergent function. Eq. (6.40) implies that we can only consider the asymptotic behavior of h(x). In this paper, we suppose that \(h(\mathcal {F})\) has the asymptotic behavior
$$\begin{aligned} h(x)\simeq a_0 x^{2\nu }=\frac{a_0q_m^{2\nu }}{r^{4\nu }}. \end{aligned}$$(6.42)
According to the equation of motion (6.29), one can further obtain
which implies
at \(q_m\rightarrow 0\). Then, the zero-charge limit of (6.37) gives
In order to obtain the expected feature of the zero-charge limit, we need to set the coefficient \(\gamma \) to satisfy \(\gamma =1/\nu \). The case of \(h(\mathcal {F})=\mathcal {F}^{(2n)}\) in the last subsection is actually this situation with \(\nu =n\).
7 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 gravitational theory coupled to a first-order source-free electrodynamics. We showed that the vanishing feature of the late-time rate in the purely magnetic black hole is universal for the original CA conjecture. But this result does not agree with the general expectation (1.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. Based on Iyer–Wald formalism, we generally showed the late-time complexity growth rate after adding Maxwell boundary term. We also 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 \(\gamma \) which is needed to be chosen by demanding the zero-charge limit satisfies. To be specific, we applied our result to the dyonic RN black hole in f(R) gravity, charged dilation black hole, Bardeen black hole, and the static magnetic black hole in Einstein gravity coupled a electromagnetic field with \(h(\mathcal {F})=(-1)^n\mathcal {F}^{2n}\). We found that the proper proportional parameter \(\gamma \) is dependent on specific gravitational theory and the spacetime background. Finally, we investigated the static magnetic black hole for the Einstein gravity coupled to a general first-order electromagnetic field and found the relationship between the proper proportional constant and the Lagrangian function \(h(\mathcal {F})\) of the electromagnetic field. if \(h(\mathcal {F})\) is a convergent function, we need to choose \(\gamma =4/3\); if \(h(\mathcal {F})\) is a divergent function with the asymptotic behavior (6.42), we need to choose \(\gamma =\nu ^{-1}\). These results showed that the appropriate proportional parameter of the additional boundary term is dependent on the explicit theories of magnetic black holes. This is not surprised by the fact that different black holes with different electric charge have different choices of appropriate additional boundaries as shown in [47]. Moreover, We can also see that the unexpected results only appear when the black holes carry an magnetic charge. These indicate that there might be something missed for the magnetic part when changing causal structure of the black holes.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.]
References
S. Aaronson, The complexity of quantum states and transformations: from quantum money to black holes. arXiv:1607.05256
L. Susskind, Computational complexity and black hole horizons. Fortsch. Phys. 64, 24 (2016)
D. Stanford, L. Susskind, Complexity and shock wave geometries. Phys. Rev. D 90, 126007 (2014)
A.R. Brown, D.A. Roberts, L. Susskind, B. Swingle, Y. Zhao, Holographic complexity equals bulk action? Phys. Rev. Lett. 116, 191301 (2016)
A.R. Brown, D.A. Roberts, L. Susskind, B. Swingle, Y. Zhao, Complexity, action, and black holes. Phys. Rev. D 93, 086006 (2016)
J. Jiang, Action growth rate for a higher curvature gravitational theory. Phys. Rev. D 98, 086018 (2018)
R.G. Cai, S.M. Ruan, S.J. Wang, R.Q. Yang, R.H. Peng, Action growth for AdS black holes. JHEP 1809, 161 (2016)
L. Lehner, R.C. Myers, E. Poisson, R.D. Sorkin, Gravitational action with null boundaries. Phys. Rev. D 94, 084046 (2016)
D. Carmi, S. Chapman, H. Marrochio, R.C. Myers, S. Sugishita, On the time dependence of holographic complexity. JHEP 1711, 188 (2017)
Z.Y. Fan, M. Guo, Holographic complexity and thermodynamics of AdS black holes. arXiv:1903.04127
Z.Y. Fan, M. Guo, On the Noether charge and the gravity duals of quantum complexity. JHEP 1808, 031 (2018)
Y.S. An, R.G. Cai, Y. Peng, Time dependence of holographic complexity in Gauss–Bonnet gravity. Phys. Rev. D 98, 106013 (2018)
Y.S. An, R.H. Peng, Effect of the dilaton on holographic complexity growth. Phys. Rev. D 97, 066022 (2018)
A. Reynolds, S.F. Ross, Complexity in de Sitter space. Class. Quantum Gravity 34, 175013 (2017)
S. Chapman, H. Marrochio, R.C. Myers, Complexity of formation in holography. JHEP 1701, 062 (2017)
X.H. Feng, H.S. Liu, Holographic complexity growth rate in Horndeski theory. arXiv:1811.03303
D. Carmi, R.C. Myers, P. Rath, Comments on holographic complexity. JHEP 1703, 118 (2017)
M. Alishahiha, Holographic complexity. Phys. Rev. D 92, 126009 (2015)
C.A. Agon, M. Headrick, B. Swingle, Subsystem complexity and holography. arXiv:1804.01561
O. Ben-Ami, D. Carmi, On volumes of subregions in holography and complexity. JHEP 1611, 129 (2016)
Y. Zhao, Uncomplexity and black hole geometry. Phys. Rev. D 97, 126007 (2018)
Z. Fu, A. Maloney, D. Marolf, H. Maxfield, Z. Wang, Holographic complexity is nonlocal. JHEP 1802, 072 (2018)
M. Alishahiha, A.Faraji Astaneh, M.R.Mohammadi Mozaffar, A. Mollabashi, Complexity growth with Lifshitz scaling and hyperscaling violation. JHEP 1807, 042 (2018)
J. Couch, S. Eccles, W. Fischler, M.L. Xiao, Holographic complexity and noncommutative gauge theory. JHEP 1803, 108 (2018)
B. Swingle, Y. Wang, Holographic complexity of Einstein–Maxwell-dilaton gravity. JHEP 1809, 106 (2018)
J. Jiang, B. Deng, X.W. Li, Holographic complexity of charged Taub-NUT-AdS black holes. Phys. Rev. D 100, 066007 (2019)
M. Moosa, Evolution of complexity following a global quench. JHEP 1803, 031 (2018)
B. Chen, W.M. Li, R.Q. Yang, C.Y. Zhang, S.J. Zhang, Holographic subregion complexity under a thermal quench. JHEP 1807, 034 (2018)
H.S. Liu, H. Lu, Action growth of dyonic black holes and electromagnetic duality. arXiv:1905.06409
J. Jiang, B. Deng, Investigating the holographic complexity in Einsteinian cubic gravity. Eur. Phys. J. C 79, 832 (2019)
A. Bhattacharyya, A. Shekar, A. Sinha, Circuit complexity in interacting QFTs and RG flows. JHEP 1810, 140 (2018)
T. Ali, A. Bhattacharyya, S.Shajidul Haque, E.H. Kim, N. Moynihan, Time evolution of complexity: a critique of three methods. JHEP 1904, 087 (2019)
T. Ali, A. Bhattacharyya, S. Shajidul Haque, E.H. Kim, N. Moynihan, Post-quench evolution of distance and uncertainty in a topological system: complexity, entanglement and revivals. arXiv:1811.05985
S.A. Hosseini Mansoori, V. Jahnke, M.M. Qaemmaqami, Y.D. Olivas, Holographic complexity of anisotropic black branes. arXiv:1808.00067
K. Hashimoto, N. Iizuka, S. Sugishita, Time evolution of complexity in abelian gauge theories- and playing quantum othello game. arXiv:1707.03840
R.A. Jefferson, R.C. Myers, Circuit complexity in quantum field theory. JHEP 1710, 107 (2017)
S. Chapman, M.P. Heller, H. Marrochio, F. Pastawski, Towards complexity for quantum field theory states. Phys. Rev. Lett. 120, 121602 (2018)
R.-Q. Yang, A complexity for quantum field theory states and application in thermofield double states. Phys. Rev. D 97, 066004 (2018)
R.Q. Yang, C. Niu, C.Y. Zhang, K.-Y. Kim, Comparison of holographic and field theoretic complexities for time dependent thermofield double states. JHEP 1802, 082 (2018)
R.Q. Yang, Y.S. An, C. Niu, C.Y. Zhang, K.Y. Kim, More on complexity of operators in quantum field theory. JHEP 1903, 161 (2019)
A.R. Brown, L. Susskind, Second law of quantum complexity. Phys. Rev. D 97, 086015 (2018)
A.P. Reynolds, S.F. Ross, Complexity of the AdS soliton. Class. Quantum Gravity 35, 095006 (2018)
P. Caputa, N. Kundu, M. Miyaji, T. Takayanagi, K. Watanabe, Liouville action as path-integral complexity: from continuous tensor networks to AdS/CFT. JHEP 1711, 097 (2017)
R. Khan, C. Krishnan, S. Sharma, Circuit complexity in fermionic field theory. Phys. Rev. D 98, 126001 (2018)
J. Jiang, X.W. Li, Modified “complexity equals action” conjecture. arXiv:1903.05476
M. Guo, J. Hernandez, R.C. Myers, S.M. Ruan, Circuit complexity for coherent states. JHEP 1810, 011 (2018)
K. Goto, H. Marrochio, R.C. Myers, L. Queimada, B. Yoshida, Holographic complexity equals which action? JHEP 1902, 160 (2019)
J. Jiang, J. Shan, J. Yang, Circuit complexity for free Fermion with a mass quench. arXiv:1810.00537
R.Q. Yang, Y.S. An, C. Niu, C.Y. Zhang, K.Y. Kim, Principles and symmetries of complexity in quantum field theory. Eur. Phys. J. C 79, 109 (2019)
S. Chapman, J. Eisert, L. Hackl, M.P. Heller, R. Jefferson, H. Marrochio, R.C. Myers, Complexity and entanglement for thermofield double states. SciPost Phys. 6, 034 (2019)
P.A. Cano, Lovelock action with nonsmooth boundaries. Phys. Rev. D 97, 104048 (2018)
P.A. Cano, R.A. Hennigar, H. Marrochio, Complexity growth rate in lovelock gravity. Phys. Rev. Lett. 121, 121602 (2018)
J. Jiang, X. Liu, Circuit complexity for fermionic thermofield double states. Phys. Rev. D 99, 026011 (2019)
L. Hackl, R.C. Myers, Circuit complexity for free fermions. JHEP 1807, 139 (2018)
R. Nally, Stringy effects and the role of the singularity in holographic complexity. arXiv:1902.09545
J. Jiang, H. Zhang, Surface term, corner term, and action growth in F(Riemann) gravity theory. Phys. Rev. D 99, 086005 (2019)
J. Jiang, B.X. Ge, Investigating two counting methods of the holographic complexity. Phys. Rev. D 99, 126006 (2019)
S. Chapman, H. Marrochio, R.C. Myers, Holographic complexity in Vaidya spacetimes. Part I. JHEP 1806, 046 (2018)
D.A. Roberts, D. Stanford, L. Susskind, Localized shocks. JHEP 1503, 051 (2015)
S. Chapman, H. Marrochio, R.C. Myers, Holographic complexity in Vaidya spacetimes. Part II. JHEP 1806, 114 (2018)
J. Jiang, Holographic complexity in charged Vaidya black hole. Eur. Phys. J. C 79, 130 (2019)
L. Susskind, Y. Zhao, Switchbacks and the bridge to nowhere. arXiv:1408.2823
Z.Y. Fan, M. Guo, Holographic complexity under a global quantum quench. arXiv:1811.01473
V. Iyer, R.M. Wald, Some properties of Noether charge and a proposal for dynamical black hole entropy. Phys. Rev. D 50, 846 (1994)
W. Kim, S. Kulkarni, S.H. Yi, Quasilocal conserved charges in a covariant theory of gravity. Phys. Rev. Lett. 111, 081101 (2013)
E. Dyer, K. Hinterbichler, Boundary terms, variational principles, and higher derivative modified gravity. Phys. Rev. D 79, 024028 (2009)
G.W. Gibbons, K. Maeda, Black hole and membranes in higher dimensional theories with dilaton fields. Nucl. Phys. B 298, 741 (1998)
C.J. Gao, S.N. Zhang, Dilaton black holes in de Sitter or Anti-de Sitter universe. Phys. Rev. D 70, 124019 (2004)
J. Bardeen, Presented at GR5, Tiflis, U.S.S.R., Published in the conference proceedings in the U.S.S.R. (1968)
E. Ayon-Beato, A. Garcia, The Bardeen model as a nonlinear magnetic monopole. Phys. Lett. B 493, 149 (2000)
Z.Y. Fan, X. Wang, Construction of regular black holes in general relativity. Phys. Rev. D 94, 124027 (2016)
Acknowledgements
This research is supported by NSFC Grants Nos. 11775022 and 11873044.
Author information
Authors and Affiliations
Corresponding author
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
Jiang, J., Zhang, M. Holographic complexity of the electromagnetic black hole. Eur. Phys. J. C 80, 85 (2020). https://doi.org/10.1140/epjc/s10052-020-7661-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-7661-z