Abstract
In this paper, we use the “complexity equals action” (CA) conjecture to explore the switchback effect in the strongly-coupled quantum field theories with finite N and finite coupling effects. In the perspective of holography, this is equivalent to evaluating the CA complexity in a Vaidya geometry equipped with a light shockwave for a higher curvature gravitational theory. Based on the Noether charge formalism of Iyer and Wald, we obtain the slope of the complexity of formation in the small- and large-time approximations. By circuit analogy, we show that our results concur with the switchback effect of the quantum system. These results show that the switchback effect is a general feature of the CA complexity in stationary black holes and its existence is independent of the explicit gravitational theory as well as spacetime background. From the viewpoint of AdS/CFT, this also implies that the switchback effect is a general feature of the thermofield double state in the strongly-coupled quantum field systems with finite N and finite coupling effects. Moreover, we also illustrate that unlike the late-time complexity growth rate, the counterterm plays an important role in the study of the switchback effect.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In recent years, quantum information perspectives have provided many useful techniques for studying the AdS/CFT correspondence. This idea has aroused more and more attention to the concept of “quantum circuit complexity”, which is defined as the number of the elementary gates in the optimal circuit from a given state to a target state [1,2,3,4,5]. From the perspective of holography, two complementary conjectures for the bulk description of the complexity of boundary states have been proposed: the “complexity equals volume” (CV) [5, 6] and the “complexity equals action” (CA) [7, 8] conjectures. The CV conjecture states that the circuit complexity of a quantum state \(|\psi (t_\mathrm{{L}},t_\mathrm{{R}})\rangle \) in boundary strongly-coupled system is dual to the volume V of the Einstein–Rosen bridge anchored at the time slices \(t_\mathrm{{L}}\) and \(t_\mathrm{{R}}\) on the boundary, i.e.,
On the other hand, the CA conjecture states that the complexity of boundary state is given by evaluating the full on-shell action of the bulk gravitational theory on the Wheeler–DeWitt (WDW) patch, which is the causal development of a spacelike bulk surface (Cauchy surface) connected the boundary timeslices \(t_\mathrm{{L}}\) and \(t_\mathrm{{R}}\), i.e.,
These conjectures have led researchers to study the complexity of the strongly-coupled quantum system from the perspective of the holographic principle [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,64,65,66,67,68,69,70,71,72,73].
The concepts of the local and global quantum quenches have been widely used to study the holographic complexity. The local quench is the process when the system evolves after a local perturbation. It was argued that the holographic dual of this process is given by the black hole geometry perturbed by the particle falling on the horizon [74,75,76,77,78]. Based on this setup, Lloyd’s bound [79] of the complexity in the boundary system has been tested under the local quench by using the holographic conjectures [42, 80, 81]. If the perturbation is global, the process is called a global quench. The holographic dual of this process is given by the Vaidya geometry, which is equipped with a thin shell of null fluid collapse (shockwave) [82,83,84,85,86,87,88,89]. Based on this duality, the time dependence of the complexity in the boundary quantum field system has been studied by using different holographic complexities [40, 65,66,67,68,69,70,71].
It has been argued in [6, 13] that in general the quantum complexity in chaos system should exhibit the switchback effect when this system is perturbed by a quantum quench, which can be described by a precursor \(\mathcal {O}(t)=U^\dag (t)\mathcal {O} U (t)\) of a simple perturbation operator \(\mathcal {O}\). Since \(\mathcal {O}\) is a very simple operator, at a very early time, it can be regarded as a unit operator and then the complexity does not grow. However, for a chaotic system, at a very large time compared to the scrambling time \(t_\text {scr}^\star \), the operator \(\mathcal {O}\) will disrupt the time-reversed evolution and the complexity will become twice the complexity of the evolution operator U(t) [6]. This property of the quantum complexity under the quantum quench is known as the switchback effect [6]. This feature plays an important role when it comes to examining the definitions the complexity.
Although lots of researchers focused on the calculation of the circuit complexity in quantum field theory [90,91,92,93,94,95,96,97,98,99,100,101,102,103], there is still a lack of a valid method to evaluate the circuit complexity in the strongly-coupled system. Therefore, some researchers used the holographic complexity in the Vaidya black holes for Einstein gravity to study the switchback effect in the boundary strongly-coupled system [6, 13, 65, 67]. However, in the context of AdS/CFT, the Einstein gravity in bulk is dual to the strongly-coupled quantum field with infinite N or infinite coupling effects. A natural question is to ask whether the switchback effect is a general feature of the strongly-coupled quantum system and independent on the explicit of the quantum state as well as the quantum theory. As is well known, the boundary quantum field theory with finite N and finite coupling effects are corresponding to a gravitational theory with higher curvature corrections. Therefore, in this paper, we would like to use the CA conjecture to show whether the switchback effect also exists in the strongly-coupled quantum system with finite N and finite coupling effect under a global quantum quench.
Recently, some authors found that once the higher curvature corrections are taken into account, the neutral (single-horizon) black holes will have a divergent complexity growth rate since the WDW patch will go arbitrarily near the singularity [39, 64]. However, this does not happen for multiple-horizon black holes due to the different causal structure including at least two horizons. Moreover, most of the previous research implies that the CA complexity for the neutral black hole can be obtained by taking the limit of its corresponding multiple-horizon counterpart [56,57,58,59,60]. Therefore, in order to reflect some universal features of the CA complexity and avoid the divergent result of the neutral case, in this paper, we would like to focus on the black holes which have at least two Killing horizons. Generally, these black holes carry some extra conserved charges, such as the angular momentum and electric charge. From the viewpoint of the holography, they are dual to the boundary quantum state which also contains some extra conserved charges. Therefore, our investigations can also reflect the influence of the extra conserved charges on the complexity in the boundary quantum system.
The above statements show that the main task of this paper should be to evaluate the CA complexity in the Vaidya geometry equipped with a light shockwave. By analyzing this geometry in Sect. 2, we can see that at the large-time limit, the dynamical points will approach the Killing horizons. Then the actions that we need to evaluate are in the regions which are connected to the Killing horizons and can be generated by the corresponding Killing vectors. This property allows us to express this action as some boundary integrals based on the Iyer–Wald formalism [104]. Therefore, in the following, we would like to utilize the Iyer–Wald formula to derive some general expressions of the CA complexity at large times.
The remainder of our paper is organized as follows: in Sect. 2, we first study the geometry of the stationary black hole with a thin shell of null fluid collapse. In Sect. 3, we briefly review the Iyer–Wald formalism with an invariant theory in mind. In Sect. 4, we investigate the switchback effect of the CA complexity in a multiple-horizon black hole for a general higher curvature gravitational theory coupled with arbitrary matter fields. In Sect. 5, we compare our holographic results with the circuit behaviors.
2 Geometry with a large-time light shockwave
As mentioned above, the stationary multiple horizons of the black holes are caused by the extra conserved charges of the spacetime. In the context of AdS/CFT, these black holes are dual to the thermofield double (TFD) states
on the boundary of strongly-coupled quantum field theory [105], where we have denoted by the subscripts L and R the left and right boundaries of the multiple-horizon black hole geometry individually. Here \(E_\alpha \) and \(Q_\alpha \) correspond to the eigenvalues of the energy and extra conserved charges separately. The time evolution of the TFD state is obtained by
where
are the time-evolution operators corresponding to the left and right quantum system. We can see that this state is invariant under the shift transformation,
In this paper, we would like to investigate the switchback effect of the complexity. Following the setup in Refs. [6, 13, 66], we consider the perturbation of the TFD state,
where the precusor \(\mathcal {O}_\mathrm{{R}}(-t_\mathrm{{w}})=U_\mathrm{{R}}(t_\mathrm{{w}})\mathcal {O}_\mathrm{{R}}U_\mathrm{{R}}^\dag (t_\mathrm{{w}})\) is the perturbation operator inserted into the right side quantum system at time \(-t_\mathrm{{w}}\), and \(\mathcal {O}_\mathrm{{R}}\) is a localized simple operator. In the chaos quantum system, \(U_\mathrm{{R}}(t_\mathrm{{w}})\) and \(U_\mathrm{{R}}^\dag (t_\mathrm{{w}})\) will approximately cancel until times of the order of the scrambling time \(t_\text {scr}^\star \) [6] and the state would keep unchanged, i.e., the complexity growth rate is vanishing. For \(t_\mathrm{{w}}\gg t_\text {scr}^\star \), the complexity growth rate of \(\mathcal {O}(t_\mathrm{{w}})\) is just twice the rate of the evolution operator \(U_\mathrm{{R}}(t_\mathrm{{w}})\). This nontrivial feature is connected to the switchback effect [6, 13]. Evolving the perturbed state in the right and left time gives
In the holographic context, the dual geometry in the bulk to above perturbed system is AdS-Vaidya spacetime with multiple horizons source by a thin shell of null fluid collapses. It can be described by the metric ansatz
where \(\mathcal {H}(v)\) is the Heaviside step function, and
where \(i=1,2\) describes a multiple-horizon stationary black hole, the indices A, B denote the coordinates of the codimension-two surface, \(\Omega ^{(A)}\) is some component of the metric which becomes the angular velocity of the black holes when it evaluates on the Killing horizon. The metric in (10) is a generalization from most stationary axisymmetric black holes in general relativity or other theories of gravity, such as: Kerr-AdS(dS) black holes, Myers–Perry black holes [106], rotating Bardeen black holes [107], rotating Hyward black holes [107], rotating charged cylindrical black holes [108], Kerr-MOG black holes [109], Kerr–Sen black holes[110], Kerr–Newman–Taub-NUT-AdS black holes [111], Gauss–Bonnet black holes [112], rotating black holes in a Randall–Sundrum brane [113], and charged accelerating AdS black holes [114].
By virtue of the second law of thermodynamics for black holes, we will set \(r_{+,2}>r_{+,1}\) with horizon radius \(r_{\pm ,i}\) determined by \(f_i(r_{\pm ,i})=0\). This line element describes an infinitely thin shell collapse which generates a shape transition from a black hole with the metric \(\mathrm{{d}}s_1^2\) to another one with \(\mathrm{{d}}s^2_2\). For convenience of later calculations, we introduce the tortoise coordinates:
When the position considered is near the horizon, i.e., \(r\simeq r_{\pm ,i}\), we have
where
is the surface gravity corresponding to the Killing horizons. Using these coordinates, one can also define an “outgoing” null coordinate u and auxiliary time coordinate t,
According to the CA conjecture (2), computing the quantum complexity of the boundary state is equivalent to evaluating the full action within the WDW patch. As is shown in Fig. 1, the geometry of the WDW patch is characterized by some dynamical points: \(r_1\) and \(r_2\), the points where the past/future null boundaries of the WDW patch meet inside the horizon; \(r_\mathrm{{s}}\) and \(r_\mathrm{{b}}\), the positions where the right past and left future boundaries meet the shockwave. Moreover, in order to regulate the divergence caused by the asymptotic infinity, a cut-off surface \(r=r_\Lambda \) is also introduced.
Performing the tortoise coordinates, one can find that these dynamical positions \(r_\mathrm{{s}},r_\mathrm{{b}},r_1\) and \(r_2\) yield
For the cases with light shockwave, there exists a scrambling time
which divides the evolution into two asymptotic regions. Here we have denoted
For the case with a light shockwave, the scrambling time becomes very large. According to expressions (15), we can see that the dynamical point \(r_\mathrm{{s}}\) approaches the horizon \(\mathcal {H}_{2,+}\). Then, when \(t_\mathrm{{w}}-t_\mathrm{{L}} > t_\text {scr}^*\) and \(t_\mathrm{{w}}+t_\mathrm{{R}} > t_\text {scr}^*\), we have
These expressions imply that the scrambling time \(t_\text {scr}^*\) is a transition position for \(r_i\) between \(r_{+,i}\) and \(r_{-,i}\). Then, in the limit of large \(t_\mathrm{{w}}\), we have \(r_s\rightarrow r_{+,2}\), \(r_\mathrm{{b}}\rightarrow r_{+,1}\) and \(r_i\rightarrow r_{-,i}\).
Finally, we consider the behaviors of the null segment which crosses the shockwave. According to the line element (10), it is easy to check that
with
are the affine null generator of the past right and future left null boundaries, individually. We can find that \(\mathcal {L}_\zeta l^a_i=0\) if \(\zeta ^a\) is a Killing vector field, such as the stationary Killing vector \(t^a=(\partial /\partial v)^a\) or the axial Killing vector \(\varphi ^a_{(\mu )}\). Then, using Eq. (15), one can further obtain
in the large-time limit. These results imply that the past right null segment before shockwave as well as the future right null segment after shockwave keep almost unchanged when we vary the left or right boundary times.
3 Iyer–Wald formalism
According to the discussion in the last section, we can see that all of the dynamical points of WDW patch are located on the horizons \(\mathcal {H}_{\pm ,i}\) in the limit of large time \(t_\mathrm{{w}}\). The integral region for calculating the change of the bulk action can be generated by the diffeomorphism related to the Killing vector field of the Killing horizon. Using the Stokes theorem, we can express these action as some boundary integrals related to the Killing vector fields. On the other hand, Iyer and Wald [104] employ the differential form to obtain the relationship between the conserved charges related to some vector fields and the action integrals. Therefore, it might be possible for us to derive some general expressions of the CA complexity at the large-time limit based on the Iyer–Wald formalism. Next, we give a brief review of the Iyer–Wald formalism for a general diffeomorphism invariant theory, which is described by a Lagrangian \(\varvec{L}=\mathcal {L}\varvec{\epsilon }\) where the dynamical fields consist of a Lorentz signature metric \(g_{\mathrm{{ab}}}\) and other fields \(\psi \). Following the notation in [104], we use boldface letters to denote differential forms and collectively refer to \((g_{\mathrm{{ab}}},\psi )\) as \(\phi \). Generally, the action can be divided into the gravity part and matter part, i.e., \(\varvec{L}=\varvec{L}_\text {grav}+\varvec{L}_\text {mt}\). The variation of the gravitational part with respect to \(g_{\mathrm{{ab}}}\) is given by
where \(\varvec{E}_g^{\mathrm{{ab}}}(\phi )\) is locally constructed out of \(\phi \) and its derivatives and \(\varvec{\Theta }\) is locally constructed out of \(\phi ,\, \delta g_{\mathrm{{ab}}}\) and their derivatives. The equation of motion can be read off as
where
is the stress-energy tensor of the matter fields. Let \(\zeta ^a\) be the infinitesimal generator of a diffeomorphism. Exploiting the Bianchi identity \(\nabla _{a}T^{\mathrm{{ab}}}=0\), one can obtain the identically conserved current for a generic background metric \(g_{\mathrm{{ab}}}\) as
where \(s^a_{\zeta }\equiv T^{\mathrm{{ab}}}\zeta _\mathrm{{b}}\) and \(\varvec{\Theta }(\phi ,\zeta )=\varvec{\Theta }(\phi ,\mathcal {L}_{\zeta }g_{\mathrm{{ab}}})\). Since \(\varvec{J}\) is closed, there exists a Noether charge \((n-2)\)-form \(\varvec{K}[\zeta ]\) such that \(\varvec{J}[\zeta ]=\mathrm{{d}}\varvec{K}[\zeta ]\). With similar arguments in [104], this \((n-2)\)-form can always be expressed as
where
is the Wald entropy density, in which
Particularly, when \(\zeta ^a\) is taken to be a rotational Killing vector \(\varphi ^a\) in an axisymmetric spacetime, by using this \((n-2)\)-form, we can construct a conserved charge:
where \(\mathcal {C}_\infty \) denotes a \((n-2)\)-dimensional surface at asymptotic infinity. It can be interpreted as the angular momentum of the black hole in an arbitrary asymptotic space[115]. For a general higher curvature gravitational theory, it is given by
Moreover, if we set \(\zeta ^a\) to be a Killing vector, by substituting (24) into (25), one can obtain
where \(\varvec{\Lambda }[\zeta ]\) is a \((n-2)\)-form and constructed by
4 The slope of complexity of formation
In this section, we start to evaluate the derivative of the complexity of formation with respect to \(t_\mathrm{{w}}\) (the slope of the complexity of formation). Here the complexity of formation is defined as the extra complexity required to prepare the two copies of the quantum field theory in the TFD state compared to simply preparing each of the copies in the vacuum state, i.e.,
In the context of AdS/CFT, it is dual to the difference between the holographic complexity for a black hole and that for two copies of the vacuum geometry at \(t_\mathrm{{R}}=t_\mathrm{{L}}=0\). Therefore, in the following it is sufficient to restrict our attention to the case \(t_\mathrm{{L}}=t_\mathrm{{R}}=0\). By considering the shift symmetry to the antisymmetric time evolution of the complexity, i.e.,
we can further obtain
where we have used the fact that the complexity in vacuum geometry is time-independent. Then, using CA conjecture (2), obtaining the slope of the complexity of formation amounts to finding the change of the full action I within the WDW patch, i.e.,
For a general higher curvature gravity, the full action can be expressed as [34]
where \(\varvec{s}=\varvec{X}^{\mathrm{{cd}}}\varvec{\epsilon }_{\mathrm{{cd}}}\) is the Wald entropy density, \(\lambda \) is the parameter of the null generator \(k^\mathrm{{a}}\) on the null segment, \(\kappa \) measures the failure of \(\lambda \) to be an affine parameter which is derived from \(k^\mathrm{{a}}\nabla _\mathrm{{a}}k^\mathrm{{b}}=\kappa k^\mathrm{{b}}\), \(\Theta =\nabla _\mathrm{{a}}k^\mathrm{{a}}\) is the expansion scalar, and \(l_\text {ct}\) is an arbitrary length scale.
As mentioned in the last section, there are two asymptotic regions: \(t_\mathrm{{w}} \ll t^*_\text {scr}\) and \(t_\mathrm{{w}} \gg t^*_\text {scr}\). In the first region with \(t_\mathrm{{w}}\ll t^*_\text {scr}\), we can simply approximate \(\mathrm{{d}}s_1^2\simeq \mathrm{{d}}s_2^2\) in the limit of a light shockwave, i.e., the complexity of formation is the same as the unperturbed geometry. Then, by utilizing the shift symmetry, the slope of the complexity of formation vanishes, i.e.,
Then we consider the second region with \(t_\mathrm{{w}} \gg t^*_\text {scr}\). Under this limit, the joints \(\mathcal {C}_i\) and \(\mathcal {C}_s\) approach the inner horizon \(\mathcal {H}_{-,i}\) and the outer horizon \(\mathcal {H}_{+,2}\), respectively, and the left future and right past boundary of the WDW patch become the segment of the inner horizon.
To calculate the action changes at the large times, we first focus on \(\delta I_{R}\) where we fix the left boundary time \(t_\mathrm{{L}}\) and vary \(t_\mathrm{{R}}\) in the right boundary.
4.1 Bulk contributions
For the bulk contributions, in the limit of the large \(t_\mathrm{{w}}\), according to (21), we can see that the null segment \(\mathcal {N}_1\) keeps almost unchanged when we vary \(t_\mathrm{{R}}\). This implies that all of the bulk contributions only come from the bulk regions \(M_{\pm ,2}\), which can be generated by the Killing vector
of the Killing horizon \(\mathcal {H}_{\pm ,2}\) through the null boundary \(\mathcal {N}_{\pm ,2}\) of the WDW patch. For simplification, we suppress the index \(\{\pm ,2\}\) in the following calculation. Then the bulk contribution from the bulk region \(M_{\pm ,2}\) can be written as
According to (31), one can obtain
where the \((n-2)\)-surface \(\mathcal {C}\) is the boundary of null segment \(\mathcal {N}\) near the horizon.
Since the Killing horizon contains a bifurcate surface, the first term in (26) vanishes. Then
on the horizon \(\mathcal {H}\), where \(\varvec{\epsilon }_{\mathrm{{ab}}}\) is the binormal of surface \(\Sigma \), and \(\kappa \) is the surface gravity of the horizon which satisfies \(\xi ^\mathrm{{a}}\nabla _\mathrm{{a}}\xi ^\mathrm{{b}}=\kappa \xi ^\mathrm{{b}}\). With these in mind, Eq. (41) becomes
with the entropy \(S_{\pm ,i}=2\pi \int _{\mathcal {C}_{\pm ,i}}\varvec{s}\) and the temperature \(T=\kappa /2\pi \) of the corresponding horizon. Considering these relations, we have
where we denoted \(\delta I_{\mathrm{{M}}_\mathrm{{R}}}= I_{\mathrm{{M}}_{-,2}}-I_{\mathrm{{M}}_{+,2}}\) and
with any \((n-2)\)-surface \(\mathcal {S}\) and \(\mathcal {C}_{\pm ,i}\) is a codimension-2 section on the horizon \(\mathcal {H}_{\pm ,i}\). Here the index \(\{\pm ,2\}\) presents the quantities evaluated at the “outer” or first “inner” horizons \(\mathcal {H}_{\pm ,2}\).
4.2 Surface contributions
Next, we consider the surface contributions. 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, by virtue of \(\mathcal {L}_{\xi _{\pm ,2}}l^a_2=0\), the time derivative of the counterterm contributed by \(\mathcal {N}_{\pm ,2}\) 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. Therefore, the only nonvanishing contribution comes from the null segment \(\mathcal {N}_1\). It can be written as
where we denote \(\Theta _1=\nabla _\mathrm{{a}} l^\mathrm{{a}}_1\), \(l^\mathrm{{a}}=(\partial /\partial \tau )^\mathrm{{a}}\) and \(l^\mathrm{{a}}_1=(\partial /\partial \tau _1)^\mathrm{{a}}\) . Then when we vary the right boundary, we have
where we used the light shockwave limit as well as the feature that \(\mathcal {N}_1\) keep unchanged at the large \(t_\mathrm{{w}}\).
4.3 Corner contributions
Ultimately, we consider the contributions from the joints \(\mathcal {C}_{1,2}\). The affinely null generator on the horizon can be constructed as \(k^a=e^{-\kappa \lambda }\xi ^a\) with \(\xi ^a=(\partial /\partial \lambda )^a\). Then the transformation parameter can be written [34]
First, we consider the corner contribution from \(\mathcal {C}_2\). Here, the change of this corner can be realized by the transformation of the Killing vector \(\xi ^a\), Then we have
where we have used \(\mathcal {L}_{\xi _{2,-}} l_2=0\). For the corner contribution from \(\mathcal {C}_1\), we have
Then the change of this term becomes
where we considered that \(\mathcal {C}_1\) also keeps unchanged at the large time. Finally, according to
and the CA conjecture (2), we can further obtain
in the light shockwave case. Here the quantities without the index i present the counterparts without the shockwave. This is actually the late-time CA complexity growth rate in the multiple-horizon black hole for a higher curvature gravity [33]. When the matter fields are composed of a U(1) gauge field and its corresponding complex scalar field, it will become [33]
where \(\Phi _{\mathcal {H}_{\pm }}\) and \(Q_{\mathcal {C}_{\pm }}\) are the chemical potential and the charge of horizon \(\mathcal {H}_\pm \), separately.
With similar calculation, we can also obtain \(\delta I_\mathrm{{L}}=-\delta I_\mathrm{{R}}\). Using Eq. (35), we can further obtain
which is essentially twice the late-time growth rate in an unperturbed geometry. This result is actually in agrement with the switchback effect of the complexity. Moreover, according to the above calculation, we can see that the counterterm plays an important role in the slope of the complexity of formation at the large times. This is totally different from the calculation of the late-time CA complexity growth rate, where the counterterm vanishes at the late times.
5 Circuit analogy
In this section, we would like to investigate the connection between the behaviors of our holographic results and the switchback effect of the circuit model. As discussed in Sect. 2, evolving the perturbed state independently in the left and right times can be expressed as
where the perturbed operator \(\mathcal {O}_\mathrm{{R}}\) is a localized simple operator. \(U_\mathrm{{R}}(t)\mathcal {O}_\mathrm{{R}} U_\mathrm{{R}}(-t)=I\) with the identity operator I when \(t<t^*_\text {scr}\). This feature is connected to the switchback effect [6, 14] and can provide a deeper explanation of our holographic results.
We denote the rate of the complexity to \(\mathcal {R}_1\) before the operator \(\mathcal {O}_\mathrm{{R}}\) is inserted and \(\mathcal {R}_2\) after it [66]. In the holographic context, these rates are dual to the late-time complexity growth rate of the stationary black hole. In the limit of light shocks, we have \( \mathcal {R}_1\approx \mathcal {R}_2\approx \mathcal {R}. \)
With similar consideration as last section, here we also focus on the case \(t_\mathrm{{R}}=t_\mathrm{{L}}=0\). Then the complexity only depends on \(t_\mathrm{{w}}\). There are two special regions, which are divided by the scrambling time \(t_\text {scr}^*\).
First of all, we consider the region with \(t_\mathrm{{w}}>t^*_\text {scr}\), where the process can be illustrated by (a) in Fig. 2. In this case, the two time-evolution operators cancel out only during the scrambling time. Then the complexity can be written as
However, for the case \(t_\mathrm{{w}}<t^*_\text {scr}\), as illustrated by (b) in Fig. 2, the switchback effect produces a cancelation for the process below the dashed line. Then the rate of the complexity vanishes.
Summarizing these results, the slope of the complexity of formation can be written as
Again, this formula is also in accord with the our holographic case as illustrated in Eqs. (38) and (55) of the previous section.
6 Conclusion
In this paper, we use the CA conjecture to investigate the switchback effect of the TFD state following a quantum quench in the strongly-coupled quantum system with finite N and finite coupling effects. From the viewpoint of the AdS/CFT, this quantum system is dual to a bulk gravitational theory with higher curvature corrections. Then the investigation is equivalent to studying the switchback effect of the CA complexity in a Vaidya geometry equipped with a light shockwave. Based on the Noether charge formalism of Iyer and Wald, a general expression can be resorting to describing the slope of the complexity of formation in the small- and large-\(t_\mathrm{{w}}\) approximations. The large-time slope of the complexity of formation is essentially twice the late-time growth rate in an unperturbed geometry. By the circuit analogy, we showed this holographic result is essentially in agreement with the switchback effect of the quantum system. The above discussions are independent of the explicit gravitational theory as well as spacetime geometry. This also indicates that the switchback effect is a general feature of the TFD state in the strongly-coupled system with finite N and finite coupling effects. Moreover, according to the calculation of the slope of the complexity, we can see that unlike the late-time complexity growth rate, the countertem will play an important role in the switchback effect.
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 analysed during the current study.]
References
J. Watrous, in Encyclopedia of Complexity and Systems Science, ed. by R.A. Meyers. Quantum Computational Complexity (Springer, New York, 2009), p. 7174–7201
S. Aaronson, The Complexity of Quantum States and Transformations: From Quantum Money to Black Holes. arXiv:1607.05256
L. Susskind, PiTP Lectures on Complexity and Black Holes [hep-th/1808.09941]
L. Susskind, Three Lectures on Complexity and Black Holes [hep-th/1810.11563]
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)
H.W. Lin, L. Susskind, Complexity geometry and Schwarzian dynamics. JHEP 2001, 087 (2020)
L. Susskind, Complexity and Newton’s Laws. arXiv:1904.12819
A.R. Brown, H. Gharibyan, H.W. Lin, L. Susskind, L. Thorlacius, Y. Zhao, Complexity of Jackiw–Teitelboim gravity. Phys. Rev. D 99, 046016 (2019)
M. Susskind, Black Holes and Complexity Classes. arXiv:1802.02175
D.A. Roberts, D. Stanford, L. Susskind, Localized shocks. JHEP 1503, 051 (2015)
L. Susskind, Y. Zhao, Switchbacks and the Bridge to Nowhere, arXiv:1408.2823
Y. Zhao, A quantum circuit interpretation of evaporating black hole geometry. arXiv:1912.00909
Y. Zhao, Uncomplexity and black hole geometry. Phys. Rev. D 97, 126007 (2018)
Y. Zhao, Complexity and boost symmetry. Phys. Rev. D 98(8), 086011 (2018)
A. Bernamonti, F. Galli, J. Hernandez, R.C. Myers, S.M. Ruan, J. Simón, Aspects of The First Law of Complexity. arXiv:2002.05779
E. Caceres, S. Chapman, J.D. Couch, J.P. Hernandez, R.C. Myers, S.M. Ruan, Complexity of Mixed States in QFT and Holography. arXiv:1909.10557
A. Bernamonti, F. Galli, J. Hernandez, R.C. Myers, S.M. Ruan, J. Simón, First law of holographic complexity. Phys. Rev. Lett. 123, 081601 (2019)
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)
S. Chapman, H. Marrochio, R.C. Myers, Complexity of formation in holography. JHEP 1701, 062 (2017)
D. Carmi, R.C. Myers, P. Rath, Comments on holographic complexity. JHEP 1703, 118 (2017)
Z.Y. Fan, M. Guo, On the Noether charge and the gravity duals of quantum complexity. JHEP 1808, 031 (2018)
A.A.Y. Fan, H.Z. Liang, Time dependence of complexity for Lovelock black holes. Phys. Rev. D 100, 086016 (2019)
Z.Y. Fan, M. Guo, Holographic complexity and thermodynamics of AdS black holes. Phys. Rev. D 100, 026016 (2019)
P.A. Cano, R.A. Hennigar, H. Marrochio, Complexity growth rate in Lovelock gravity. Phys. Rev. Lett. 121, 121602 (2018)
P.A. Cano, Lovelock action with nonsmooth boundaries. Phys. Rev. D 97, 104048 (2018)
R.G. Cai, S. He, S.J. Wang, Y.X. Zhang, Revisit on holographic complexity in two-dimensional gravity. arXiv:2001.11626
K. Nagasaki, Complexity Growth for Topological Black Holes with a Probe String. arXiv:1912.03567
P. Braccia, A.L. Cotrone, E. Tonni, Complexity in the presence of a boundary. JHEP 2002, 051 (2020)
J. Jiang, H. Zhang, Surface term, corner term, and action growth in F(Riemann) gravity theory. Phys. Rev. D 99, 086005 (2019)
J. Jiang, Action growth rate for a higher curvature gravitational theory. Phys. Rev. D 98, 086018 (2018)
J. Jiang, B. Deng, X.W. Li, Holographic complexity of charged Taub-NUT-AdS black holes. Phys. Rev. D 100, 066007 (2019)
J. Jiang, B. Deng, Investigating the holographic complexity in Einsteinian cubic gravity. Eur. Phys. J. C 79, 832 (2019)
J. Jiang, M. Zhang, Holographic complexity of the electromagnetic black hole. Eur. Phys. J. C 80, 85 (2020)
J. Jiang, B.X. Ge, Investigating two counting methods of the holographic complexity. Phys. Rev. D 99, 126006 (2019)
J. Jiang, X.W. Li, Adjusted complexity equals action conjecture. Phys. Rev. D 100, 066026 (2019)
R. Auzzi, G. Nardelli, F.I. Schaposnik Massolo, G. Tallarita, N. Zenoni, On volume subregion complexity in Vaidya spacetime. JHEP 1911, 098 (2019)
S.J. Zhang, Subregion complexity in holographic thermalization with dS boundary. Eur. Phys. J. C 79(8), 715 (2019)
D. Ageev, Holographic complexity of local quench at finite temperature. Phys. Rev. D 100, 126005 (2019)
Y.S. An, R.G. Cai, L. Li, Y. Peng, Holographic complexity growth in an FLRW universe. Phys. Rev. D 101, 046006 (2020)
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, Class. Complexity in de Sitter space. Quant. Grav. 34, 175013 (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)
Z. Fu, A. Maloney, D. Marolf, H. Maxfield, Z. Wang, Holographic complexity is nonlocal. JHEP 1802, 072 (2018)
M. Alishahiha, A.F. Astaneh, M.R.M. Mozaffar, A. Mollabashi, Complexity growth with Lifshitz scaling and hyperscaling violation. JHEP 1807, 042 (2018)
R.Q. Yang, H.S. Jeong, C. Niu, K.Y. Kim, Complexity of holographic superconductors. JHEP 1904, 146 (2019)
R.Q. Yang, C.Y. Zhang, W.M. Li, Holographic entanglement of purification for thermofield double states and thermal quench. JHEP 1901, 114 (2019)
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, C. Niu, K.Y. Kim, Surface counterterms and regularized holographic complexity. JHEP 1709, 042 (2017)
S.G. Cai, S.M. Ruan, S.J. Wang, R.Q. Yang, R.H. Peng, Action growth for AdS black holes. JHEP 1609, 161 (2016)
W.J. Pan, Y.C. Huang, Holographic complexity and action growth in massive gravities. Phys. Rev. D 95, 126013 (2017)
W.D. Guo, S.W. Wei, Y.Y. Li, Y.X. Liu, Complexity growth rates for AdS black holes in massive gravity and \(f(R)\) gravity. Eur. Phys. J. C 77, 904 (2017)
P. Wang, H. Yang, S. Ying, Action growth in \(f(R)\) gravity. Phys. Rev. D 96, 046007 (2017)
M. Alishahiha, A.F. Astaneh, A. Naseh, M.H. Vahidinia, On complexity for F(R) and critical gravity. JHEP 1705, 009 (2017)
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)
A.P. Reynolds, S.F. Ross, Complexity of the AdS soliton. Class. Quant. Grav. 35, 095006 (2018)
R. Nally, Stringy effects and the role of the singularity in holographic complexity. JHEP 1909, 094 (2019)
S. Chapman, H. Marrochio, R.C. Myers, JHEP holographic complexity in Vaidya spacetimes. Part I 1806, 046 (2018)
S. Chapman, H. Marrochio, R.C. Myers, Holographic complexity in Vaidya spacetimes. Part II, JHEP 1806, 114 (2018)
Z.Y. Fan, M. Guo, Holographic complexity under a global quantum quench. Nucl. Phys. B 950, 114818 (2020)
J. Jiang, Holographic complexity in charged Vaidya black hole. Eur. Phys. J. C 79, 130 (2019)
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)
M.R. Tanhayi, R. Vazirian, S. Khoeini-Moghaddam, Complexity growth following multiple shocks. Phys. Lett. B 790, 49 (2019)
M. Moosa, Evolution of complexity following a global quench. JHEP 1803, 031 (2018)
S.S. Hashemi, G. Jafari, A. Naseh, On the first law of holographic complexity. arXiv:1912.10436
S.S. Hashemi, G. Jafari, A. Naseh, H. Zolfi, More on complexity in finite cut off geometry. Phys. Lett. B 797, 134898 (2019)
M. Nozaki, T. Numasawa, T. Takayanagi, Holographic local quenches and entanglement density. JHEP 1305, 080 (2013)
P. Caputa, J. Simon, A. Stikonas, T. Takayanagi, Quantum entanglement of localized excited states at finite temperature. JHEP. 01, 102 (2015)
M.M. Roberts, Time evolution of entanglement entropy from a pulse. JHEP 1212, 027 (2012)
A.F. Astaneh, A.E. Mosaffa, Holographic entanglement entropy for excited states in two dimensional CFT. JHEP 1303, 135 (2013)
C.T. Asplund, A. Bernamonti, Mutual information after a local quench in conformal field theory. Phys. Rev. D 89, 066015 (2014)
S. Lloyd, Ultimate physical limits to computation. Nature 406, 1047 (2000)
D.S. Ageev, I.Y. Aref’eva, A.A. Bagrov, M.I. Katsnelson, Holographic local quench and effective complexity. JHEP 1808, 071 (2018)
D. Ageev, Holography, quantum complexity and quantum chaos in different models. EPJ Web Conf. 191, 06006 (2018)
J. Abajo-Arrastia, J. Aparicio, E. Lopez, Holographic evolution of entanglement entropy. JHEP 1011, 149 (2010)
V. Balasubramanian et al., Thermalization of strongly coupled field theories. Phys. Rev. Lett. 106, 191601 (2011)
V. Balasubramanian, A. Bernamonti, N. Copland, B. Craps, F. Galli, Thermalization of mutual and tripartite information in strongly coupled two dimensional conformal field theories. Phys. Rev. D 84, 105017 (2011)
A. Allais, E. Tonni, Holographic evolution of the mutual information. JHEP 1201, 102 (2012)
T. Hartman, J. Maldacena, Time evolution of entanglement entropy from black hole interiors. JHEP 1305, 014 (2013)
H. Liu, S.J. Suh, Entanglement growth during thermalization in holographic systems. Phys. Rev. D 89, 066012 (2014)
C.T. Asplund, A. Bernamonti, Mutual information after a local quench in conformal field theory. Phys. Rev. D 89, 066015 (2014)
V. Ziogas, Holographic mutual information in global Vaidya-BTZ spacetime. JHEP 1509, 114 (2015)
J. Jiang, J. Shan, J. Yang, Circuit complexity for free Fermion with a mass quench. arXiv:1810.00537
J. Jiang, X. Liu, Circuit complexity for fermionic thermofield double states. Phys. Rev. D 99, 026011 (2019)
R.A. Jefferson, R.C. Myers, Circuit complexity in quantum field theory. JHEP 1710, 107 (2017)
M. Guo, J. Hernandez, R.C. Myers, S.M. Ruan, Circuit complexity for coherent states. JHEP 1810, 011 (2018)
S. Chapman, J. Eisert, L. Hackl, M.P. Heller, R. Jefferson, H. Marrochio, R.C. Myers, Complexity and entanglement for thermofield double states. Sci. Post Phys. 6, 034 (2019)
L. Hackl, R.C. Myers, Circuit complexity for free fermions. JHEP 1807, 139 (2018)
R.Q. Yang, Y.S. An, C. Niu, C.Y. Zhang, K.Y. Kim, To be unitary-invariant or not? A simple but non-trivial proposal for the complexity between states in quantum mechanics/field theory. arXiv:1906.02063
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)
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(2), 109 (2019)
R.Q. Yang, Complexity for quantum field theory states and applications to thermofield double states. Phys. Rev. D 97, 066004 (2018)
S. Khan, C. Krishnan, S. Sharma, Circuit complexity in fermionic field theory. Phys. Rev. D 98, 126001 (2018)
T. Chapman, H.Z. Chen, Complexity for Charged Thermofield Double States. arXiv:1910.07508
M. Doroudiani, A. Naseh, R. Pirmoradian, Complexity for charged thermofield double states. JHEP 2001, 120 (2020)
S. Chapman, M.P. Heller, H. Marrochio, F. Pastawski, Towards complexity for quantum field theory states. Phys. Rev. Lett. 120, 121602 (2018)
V. Iyer, R.M. Wald, Some properties of Noether charge and a proposal for dynamical black hole entropy. Phys. Rev. D 50, 846 (1994)
J.M. Maldacena, Eternal black holes in anti-de Sitter. JHEP 0304, 021 (2003)
R.C. Myers, M.J. Perry, Black holes in higher dimensional space-times. Ann. Phys. 172, 304 (1986)
C. Bambi, L. Modesto, Rotating regular black holes. Phys. Lett. B 721, 329 (2013)
J.P.S. Lemos, V.T. Zanchin, Rotating charged black string and three-dimensional black holes. Phys. Rev. D 54, 3840 (1996)
J.W. Moffat, Black holes in modified gravity (MOG). Eur. Phys. J. C 75, 175 (2015)
A. Sen, Rotating charged black hole solution in heterotic string theory. Phys. Rev. Lett. 69, 1006 (1992)
N. Alonso-Alberca, P. Meessen, T. Ortin, Supersymmetry of topological Kerr–Newman–Taub-NUT-AdS space-times. Class. Quant. Grav. 17, 2783 (2000)
D.L. Wiltshire, Spherically symmetric solutions of Einstein–Maxwell theory with a Gauss–Bonnet term. Phys. Lett. 169B, 36 (1986)
J.C.S. Neves, C. Molina, Rotating black holes in a Randall–Sundrum brane with a cosmological constant. Phys. Rev. D 86, 124047 (2012)
J.B. Griffiths, J. Podolsky, A new look at the PlebanskiDemianski family of solutions. Int. J. Mod. Phys. D 15, 335 (2006)
W. Kim, S. Kulkarni, S.H. Yi, Quasilocal conserved charges in a covariant theory of gravity. Phys. Rev. Lett. 111, 081101 (2013)
Acknowledgements
This research was supported by NSFC Grant 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., Chen, Z. & Liu, C. Switchback effect of holographic complexity in multiple-horizon black holes. Eur. Phys. J. C 80, 306 (2020). https://doi.org/10.1140/epjc/s10052-020-7864-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-7864-3