Abstract
Using “complexity = action” proposal we compute complexity for Jackiw–Teitelboim gravity assuming that a UV cutoff enforces us to have a cutoff behind the horizon. We find that the resultant complexity exhibits the late time linear growth. It is also consistent with the case where the corresponding Jackiw–Teitelboim gravity is obtained by dimensional reduction from higher dimensional gravities. To this work certain counter term on the cutoff surface behind the horizon is needed.
Similar content being viewed by others
1 Introduction
In this paper we would like to study holographic complexity for Jackiw–Teitelboim (JT) gravity [1, 2] using the “complexity = action” proposal (CA) [3, 4]. According to this proposal the holographic complexity of a holographic state is given by the on-shell action evaluated on a bulk region known as the “Wheeler-De Witt” (WDW) patch
Here the WDW patch is defined as the domain of dependence of any Cauchy surface in the bulk whose intersection with the asymptotic boundary is the time slice \(\Sigma \).
We note that the holographic complexity for JT gravity has been recently studied in [5] where the authors have observed that a naive computation of the complexity leads to a counterintuitive result. Namely the complexity approaches a constant at the late time, though one would expect to get a linear growth at the late time. To overcome the problem the authors of [5] have considered the case where the corresponding JT gravity was obtained from a four dimensional Maxwell–Einstein gravity admitting charged black hole solutions. Therefore the desired result was obtained with the cost of adding charge to the model.
Actually the problem arises due to the fact that in the near extremal limit of charged black holes one usually has to deal with geometries containing an \({\hbox {AdS}}_2\) factor. In this case a naive computation of complexity gives raise to a constant at the late time. A remedy to resolve the problem has been also proposed in [6] where it was shown that setting a UV cutoff at the boundary would automatically induce a cutoff behind the horizon that removes some part of the space time inside the horizon. This indeed naturally leads to complexity that has desired linear growth at the late time for a model admitting \({\hbox {AdS}}_2\) solution with constant Dilaton.
It is important to mention that the result of [6] leading to the behind the horizon cutoff relies on two facts. The first one is that according to explicit computations using CA proposal the late time behavior is not sensitive to the UV cutoff. The second one is that according to Lloyd’s bound [7] the late time behavior is given by twice of energy of the system. In fact we should emphases that in order to reach our conclusion the actual value of bound is not crucial. The important fact is that the late time behavior is governed by the physical charges defined at the boundary; such as mass or energy that are affected by UV cutoff.
The aim of the present paper is to compute holographic complexity for JT gravity using the procedure of [6]. The model has a solution with an \({\hbox {AdS}}_2\) geometry supported by a linear Dilation. Unlike the cases studied in [6] in the present case where the Dilaton is not constant the complexity has non-trivial time dependence that leads to violation of Lloyld’s bound [7] (see e.g. [8]). It is worth noting that the JT gravity we will be considering does not necessarily have a higher dimensional counter part.
It has been proposed (see for example [9,10,11]) that this model could provide a holographic dual for the nearly conformal dynamics of the Sachdev–Ye-Kitaev model [12, 13]. Therefore it might be interesting to study holographic complexity for JT gravity which in turns could enrich our knowledge on gravity dual of Sachdev–Ye-Kitaev model.
The organization of the paper is as follows. In the next section we shall study complexity for JT gravity. In section three we will compute complexity for a general two dimensional Dilaton-gravity for the case where the solution consists of small fluctuations above an \({\hbox {AdS}}_2\) geometry with constant Dilaton. We will see that in order to get the desired results it is crucial to consider the contribution of certain counter terms evaluated on the behind the horizon cutoff. The last section is devoted to conclusions.
2 CA complexity for Jackiw–Teitelboim gravity
In this section we study holographic complexity for JT gravity whose action may by written as followsFootnote 1
where K is extrinsic curvature of the time like boundary whose trace of induced metric is \( -h\). The first term in the boundary part of the action is required to maintain the variational principle well imposed, while the second there is needed to get quantities, such as free energy, finite. Although this term does not alter the equations of motion, as we will see has a crucial role in the holographic complexity.
The equations of motion of JT gravity obtained from the above action are
These equations admit the following linear Dilaton \(AdS_2\) solution
where \(f(r)=\frac{1}{\ell ^2}(r^2-r_h^2)\). This might be thought of as a two dimensional black hole whose entropy and Hawking temperature are given by
Now the aim is to compute complexity for this model. To do so, one should evaluate on shell action on the WDW patch shown in the Fig. 1. The null boundaries of the corresponding WDW patch are given by
where \(t_L, t_R\) the time coordinates associated with the left and right boundaries. Here \(r_{\mathrm{Max}}\) is a UV cutoff. We would like to compute complexity for a state given at the time \(\tau =t_L+t_R\). In this notation the joint point \(r_m\) shown in the Fig. 1 is determined by
Actually in general one could have had two joint points associated with the WDW patch under consideration; one at \(r_m\) and the other at \(r_{m'}\) shown by dashed lines in the Fig. 1. We note, however, that as soon as we set the UV cutoff to regularize the on shell action, there will be a cutoff behind the horizon whose value is fixed by the UV cutoff [6]. More precisely at leading order one has \(r_0 \sim \frac{{r_h^3}}{r_{\mathrm{Max}}^2}\). This cutoff prevents us to have access to the joint point \(r_{m'}\) and the corresponding WDW patch is cut at \(r=r_0\).
To proceed to compute the on shell action we note that from the equations of motion the bulk part of the action (2.1) gives zero contribution to the on shell action. Moreover, using the Affine parameter for the null directions, there is no contribution from the null boundaries either. Therefore as far as the boundary term is concerned we are left with one space like boundary at \(r=r_0\)Footnote 2
It is important to note that the overall minus sign is due to the fact that the boundary we are considering is a space like surface [18].
There is also certain terms associated with joint points where a null boundary intersects with other null, space like or time like boundaries [18, 19]. In the present case we have five joint points two of which at the UV cutoff surface, two at the cutoff behind the horizon and, one at the joint point \(r_m\). The corresponding contributions are given by
where \(\eta \) is the inner product of normal vectors of the corresponding intersecting boundaries. Denoting the null vectors and normal vector to the space like boundary \(r_0\), respectively, by
the contribution of joint points reads
Here \(\alpha \) and \(\beta \) are two free parameters appearing due to the ambiguity of normalization of null vectors. Of course there is a boundary term that should be added to remove this ambiguity [18]. In the present case the corresponding boundary term is given by
where \(\lambda \) is the null coordinate defined on the null direction. Using the Affine parameter for the null direction and taking into account the contribution of all null boundaries one finds
that cancels the last term in the above equation leading to the following expression for the total on shell action
Note that to find the final result we have also taken the \(r_0\rightarrow 0\) limit that is equivalent to the limit of \(r_\mathrm{Max} \rightarrow \infty \). It is then easy to compute the time derivative of the on shell action
that may be recast into the following form
where \(M=\frac{r_h^2}{8G\ell ^3}\). It is worth mentioning that the above complexity rate of growth becomes 2M at two points given by \(r_m=r_h\sqrt{|1-\frac{\ell ^2}{e^2 r_h^2}|}\) and \(r=r_h\) and has a maximum between these two values (here e is the Euler number defined by \(\log e=1\)). Therefore the Lloyd’s bound defined by 2M will be violated as the growth rate approaches the Lloyd’s bound from above at the late time.
3 CA complexity for a general 2D gravity
In this section we shall study holographic complexity for a general two dimensional Dilaton-Einstein gravity whose action is given by (see for example [20])
where \(V(\Phi )\) is a general potential for the Dilaton field. This is an action which may be obtained from higher dimensional Maxwell–Einstein gravities by dimensional reduction into two dimensions.
We are interested in a solution that is nearly \({\hbox {AdS}}_2\) geometry with constant Dilaton. This may be found by expanding the Dilaton field around a constant value \(\phi _0\). In order to guarantee an \({\hbox {AdS}}_2\) geometry one should have
where \(\ell \) is a constant that is the radius of the corresponding AdS geometry. Note also that the constant \(\phi _0\) is a solution of \(V(\phi _0)=0\). Let us now consider solutions of the model for small fluctuation above the constant Dilaton solution
Expanding the action above the constant Dilaton at leading order in \(\phi \) one findsFootnote 3
It is then clear that the part controlling the dynamics of the fluctuations above the constant Dilaton is given by JT gravity we have considered in the previous section. The first part of the action is topological that does not contribute to the equations of motion, though has non-trivial contribution to the physical quantities such as entropy. In the following we will also see that this topological term give an important contribution to the complexity when its counter term is evaluated on the cutoff surface behind the horizon.
The equations of motion of the above action are given by (2.2) and therefore the linear Dilaton solution (2.3) is also a solution of the model under consideration. Now the aim is to compute complexity for this solution. It is, however, evident that the contribution of the dynamical part is exactly the same as that we have obtained in the previous section. Therefore in what follows we just need to compute the contribution of topological terms given in the first line of the Eq. (3.4).
To proceed let us again start with the bulk part. In this case, setting \(R=-\frac{2}{\ell ^2}\), one gets
that can be recast to the following form by making use of an integration by parts
The boundary contributions associated with null boundaries are still zero when Affine parametrization is used. Of course in the present case we have a apace like boundary whose contribution is
As for joint points we have
Now putting all terms together and taking \(r_0\rightarrow 0\) limit one arrives at
as the contribution of the topological terms. Therefore to find the total on shell action one should add this term to that we have obtained in the previous section for the JT gravity
Thus we get
that approaches a constant at the late time
The first term is indeed the contribution of near extremity and the second term comes from the fluctuations above it.
To further explore the result, it is illustrative to consider an explicit example where the form of potential is known. To proceed let us consider the following potential [21]
where Q and L are free dimensionless and dimensionful parameters, respectively. Indeed if one thinks of the model as a two dimensional gravity obtained from a four dimensional Maxwell–Einstein gravity by a dimensional reduction, Q is related to the charge of a four dimensional charged black hole and L is related to the four dimensional Newton constant. It is then easy to see that
Therefore from (3.12) one gets the following rate of growth
where \(S_0=\frac{\pi Q^2}{4G}\) is the entropy of extremal black hole. Indeed this is the complexity for a near extremal black hole. We note that up to a numerical factor the result is in agreement with that found in [5].
4 Conclusions
In this paper we have studied holographic complexity for JT gravity, where we have seen that the corresponding complexity exhibits linear growth at the late time. Of course to get the consistence results we have considered certain crucial points.
The first point we have considered was the observation that a UV cutoff would set a cutoff behind the horizon. In other words as soon as we regularized the UV modes with a cutoff, this will automatically remove certain models behind the horizon. In particular in the present case the contribution of the joint point associated with \(r_{m'}\) ( shown by dashed lines in Fig. 1) will be removed from the on shell action. Instead we will have to consider the contribution of a surface term associated with the space like boundary sets by the behind the horizon cutoff. Indeed this point was crucial to get the right late times linear growth.
Another observation we have made is the fact that boundary terms (including counter terms) are important in order to get a consistent result. Actually complexity is a quantity that is sensitive to boundary terms. In fact the counter term given in the topological part of the action (3.4), when evaluated on the space like surface, was needed in order to get the extremal contribution to the complexity. Without this term we would not have gotten the term proportional to \(\phi _0\) in the growth rate of complexity. It is worth noting that, indeed, this was also the observation made in [5], where the authors have shown that the contribution of a certain boundary term is crucial to get the physically expected result.Footnote 4
Actually it seems that the boundary term considered in the reference [5] might be related to what we have considered in the present paper. To be more concrete, note that the extra boundary term taken into account in [5] may be written as follows (see equation (7.61) of the cited paper)
that, for the extremal limit where \(\Phi =\phi _0\) using the Eq. (3.14), can be recast into the following form
It is then easy to compute this term over the WDW patch depicted in the Fig. 1. Doing so, one arrives at
which at the late time leads to the complexity growth \(\frac{\phi _0r_h}{4G\ell ^2}\), in agreement with the first term in (3.12). Note that in order to compare this term with our result we have used our convention by restoring the factor 4G in the above equation. It would be interesting to further explore this comparison in more details.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: Due to the nature of the paper there is actually no associated data.]
Notes
It is worth recalling ourselves that when one wants to compute on shell action, it is always crucial to make it precise what one means by the action. Usually an action consists of several parts including bulk term and certain boundary terms that are needed due to certain physical requirement. In our study we define an action by all terms needed to have a general covariance with a well imposed variation principle that results to a finite on shell action when compute over whole space time [17]. With this definition one should also consider all counter terms.
It is important to note that the counter term in the first line is not needed to get finite on shell action. Indeed it must be dropped to get the right entropy in the near extremal limit. Nevertheless as we will see it has a crucial contribution when evaluated on the space like surface behind the horizon. In other words our observation is that there could be certain counter terms that should be added in the cutoff surface behind the horizon. Therefore we have kept the counter term in the topological term in the action explicitly, though it should be understood that it is defined on the space like cutoff surface behind the horizon.
In order to accommodate fluctuating Dilaton the authors of [22] have considered different sets of \({\hbox {AdS}}_2\) boundary conditions for the Jackiw–Teitelboim gravity. To do so, new boundary terms have been introduced in the action (see Eq. 4.1 of the paper). It is then interesting to study complexity for this new model to further explore the role of boundary terms. I would like to thank D. Grumiller for bringing my attention to this paper and discussions on this point.
References
R. Jackiw, Lower dimensional gravity. Nucl. Phys. B 252, 343 (1985). https://doi.org/10.1016/0550-3213(85)90448-1
C. Teitelboim, Gravitation and Hamiltonian structure in two space-time dimensions. Phys. Lett. B 126, 41 (1983). https://doi.org/10.1016/0370-2693(83)90012-6
A.R. Brown, D.A. Roberts, L. Susskind, B. Swingle, Y. Zhao, Holographic complexity equals bulk action? Phys. Rev. Lett. 116(19), 191301 (2016). https://doi.org/10.1103/PhysRevLett.116.191301. arXiv:1509.07876 [hep-th]
A.R. Brown, D.A. Roberts, L. Susskind, B. Swingle, Y. Zhao, Complexity, action, and black holes. Phys. Rev. D 93(8), 086006 (2016). https://doi.org/10.1103/PhysRevD.93.086006. arXiv:1512.04993 [hep-th]
A.R. Brown, H. Gharibyan, H.W. Lin, L. Susskind, L. Thorlacius, Y. Zhao, The case of the missing gates: complexity of Jackiw–Teitelboim gravity. arXiv:1810.08741 [hep-th]
A. Akhavan, M. Alishahiha, A. Naseh, H. Zolfi, Complexity and Behind the Horizon cut off. arXiv:1810.12015 [hep-th]
S. Lloyd, Ultimate physical limits to computation. Nature 406, 1047 (2000). arXiv:quant-ph/9908043
D. Carmi, S. Chapman, H. Marrochio, R.C. Myers, S. Sugishita, On the time dependence of holographic complexity. JHEP 1711, 188 (2017). https://doi.org/10.1007/JHEP11(2017)188. arXiv:1709.10184 [hep-th]
K. Jensen, Chaos in \({\text{AdS}}_2\) holography. Phys. Rev. Lett. 117(11), 111601 (2016). https://doi.org/10.1103/PhysRevLett.117.111601. arXiv:1605.06098 [hep-th]
J. Maldacena, D. Stanford, Z. Yang, Conformal symmetry and its breaking in two dimensional nearly Anti-de-Sitter space. PTEP 2016(12), 12C104 (2016). https://doi.org/10.1093/ptep/ptw124. arXiv:1606.01857 [hep-th]
J. Engelsy, T.G. Mertens, H. Verlinde, An investigation of \({\text{ AdS }}_{2}\) backreaction and holography. JHEP 1607, 139 (2016). https://doi.org/10.1007/JHEP07(2016)139. arXiv:1606.03438 [hep-th]
S. Sachdev, J. Ye, Gapless spin fluid ground state in a random, quantum Heisenberg magnet. Phys. Rev. Lett. 70, 3339 (1993). https://doi.org/10.1103/PhysRevLett.70.3339. arxiv:cond-mat/9212030
A. Kitaev, A simple model of quantum holography. Talks at KITP, April 7, May 27 (2015). http://online.kitp.ucsb.edu/online/entangled15/kitaev
T. Muta, S.D. Odintsov, Two-dimensional higher derivative quantum gravity with constant curvature constraint. Progr. Theor. Phys. 90, 247 (1993). https://doi.org/10.1143/PTP.90.247
T. Muta, S.D. Odintsov, Two-dimensional higher derivative quantum gravity with constant curvature constraint. Phys. Atom. Nucl. 56, 1121 (1993)
T. Muta, S.D. Odintsov, Two-dimensional higher derivative quantum gravity with constant curvature constraint. Yad. Fiz. 56(8), 223 (1993). https://doi.org/10.1143/PTP.90.247
M. Alishahiha, K. Babaei Velni, M.R. Mohammadi Mozaffar, Subregion action and complexity. arXiv:1809.06031 [hep-th]
L. Lehner, R.C. Myers, E. Poisson, R.D. Sorkin, Gravitational action with null boundaries. Phys. Rev. D 94(8), 084046 (2016). https://doi.org/10.1103/PhysRevD.94.084046. arXiv:1609.00207 [hep-th]
K. Parattu, S. Chakraborty, B.R. Majhi, T. Padmanabhan, A boundary term for the gravitational action with null boundaries. Gen. Relat. Gravit. 48(7), 94 (2016). https://doi.org/10.1007/s10714-016-2093-7. arXiv:1501.01053 [gr-qc]
A. Almheiri, J. Polchinski, Models of \({\text{ AdS }}_{2}\) backreaction and holography. JHEP 1511, 014 (2015). https://doi.org/10.1007/JHEP11(2015)014. arXiv:1402.6334 [hep-th]
J. Navarro-Salas, P. Navarro, AdS(2) / CFT(1) correspondence and near extremal black hole entropy. Nucl. Phys. B 579, 250 (2000). https://doi.org/10.1016/S0550-3213(00)00165-6. arxiv:hep-th/9910076
D. Grumiller, R. McNees, J. Salzer, C. Valcrcel, D. Vassilevich, Menagerie of \({\text{ AdS }}_{2}\) boundary conditions. JHEP 1710, 203 (2017). https://doi.org/10.1007/JHEP10(2017)203. arXiv:1708.08471 [hep-th]
Acknowledgements
The author would like to kindly thank A. Akhavan, K. Babaei, A. Faraji Astaneh, M. R. Mohammadi Mozaffar, A. Naseh, F. Omidi, M. R. Tanhayi and M.H. Vahidinia for useful discussions on related topics.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Alishahiha, M. On complexity of Jackiw–Teitelboim gravity. Eur. Phys. J. C 79, 365 (2019). https://doi.org/10.1140/epjc/s10052-019-6891-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-019-6891-4