A method has been proposed to calculate the out-of-time time ordered correlator in the generalization of the Sachdev–Ye–Kitaev model with a nonzero spatial dimension. The result is applicable not only at small times, when the chaotic properties of the system are developed weakly, but also at large times of about the Erenfest time. It has been shown that information on the applied perturbation, which is described by this correlator, propagates ballistically in the form of a front. The velocity of the front for models of this type has been calculated for the first time.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 INTRODUCTION
The sensitivity of a system to the initial conditions was noted by H. Poincaré who studied instabilities in the problem of three bodies. Then, this problem was studied by A. Lyapunov. The notion of the butterfly effect was suggested by E. Lorenz, who simulated atmospheric processes and discovered such an instability. This effect is manifested in an exponential increase in the distance between initially very close trajectories of the system; i.e.,
Here, \(\{ \ldots , \ldots \} \) is the Poisson bracket for this system; p and q are the canonically conjugate momentum and coordinate, respectively; and λL is called the Lyapunov exponent. This formula can also be generalized to the case of quantum systems. In this case, the Lyapunov exponent can be similarly obtained from the following correlator:
According to Eq. (2), to calculate the Lyapunov exponent, it is necessary to calculate out-of-time ordered correlators (OTOCs). The relation of such correlators with the chaotic behavior of the system was first mentioned in [1]. In the general case, we can consider not only conjugate pairs of operators but also the correlators
where \({{X}_{i}}\) are arbitrary operators and it is assumed that \({{t}_{1}} \approx {{t}_{3}} > {{t}_{2}} \approx {{t}_{4}}\). The study of such correlators allows one to characterize chaotic properties of the system and to understand the propagation of information in the quantum system [2–4].
To experimentally study OTOCs, one should “return” to past, induce perturbation, and observe its consequence compared to the situation observed before. Such an experiment for a classical system was described in the short story “A Sound of Thunder” by Ray Bradbury, where the main characters returned to the far past, randomly killed a butterfly, and, returning back to their present time, observed drastic changes in the world. Modern controlled quantum systems with a large number of degrees of freedom allow one to study such correlators. Completely controlling a system, one can change the sign of the Hamiltonian determining evolution. After such change, the system begins to evolve backward in time. Such an experiment was performed by the Google Quantum AI team [5].
For a sufficiently wide class of systems, the correlator given by Eq. (3) has a universal behavior described as
where λL is the Lyapunov exponent of this quantum system and \(C \gg 1\). The Lyapunov exponent of such systems can be generally estimated as (below, \(\hbar = 1\))
This estimate was obtained in [6]. One of the examples for which this estimate is saturated is the Sachdev–Ye–Kitaev (SYK) model [7], whose Hamiltonian will be presented below.
The next natural question is: How does this correlator behave in the case \({{t}_{1}} - {{t}_{2}} \sim \lambda _{{\text{L}}}^{{ - 1}}\ln C\)? The time \({{t}_{E}} = \lambda _{{\text{L}}}^{{ - 1}}\ln C\) is called the Erenfest time. This question in the case of the SYK model was answered in [8], where it was shown that the correlator F vanishes at \(t - {{t}_{E}} \gg \lambda _{{\text{L}}}^{{ - 1}}\). The behavior of the OTOC for zero-dimensional fermion systems at times larger than the Erenfest time was considered in [9], where it was shown that this correlator can be calculated by a universal method from the behavior of the correlator at short times given by Eq. (4) and pair correlation functions.
In the general case, the correlator for zero-dimensional systems at times t ≪ tE increases exponentially, but this increase is suppressed by a factor of \({{C}^{{ - 1}}}\). Thus, the system weakly demonstrates a chaotic behavior. Chaotic properties become pronounced at times \(t - {{t}_{E}} \gg \lambda _{{\text{L}}}^{{ - 1}}\).
What may we expect for the system with a nonzero spatial dimension? Let the operators X2 and X4 be applied at the point r2 and the OTOC be calculated, varying the point r1 and the times of application of the operators X1 and X3. As a result, at a fixed time difference \({{t}_{1}} - {{t}_{2}}\), the space can be separated into two regions: (i) the region of undeveloped chaos with \(F = {\text{const}}\) and (ii) the region of developed chaos with \(F \to 0\). In particular, sufficiently remote points belong to the first region. The second region appears only at \({{t}_{1}} - {{t}_{2}} \geqslant {{t}_{E}}\). These regions are separated by the boundary (front), which moves with time, so that the second region grows. The velocity of this motion generally depends on the direction because information on perturbation in the system propagates ballistically. A similar scenario of propagation of information for systems with a local Hamiltonian was described in [2], and a similar front was also revealed in other models, e.g., [10, 11].
The aim of this work is to study the behavior of the system of granules, where dynamics is described by the Hamiltonian of the SYK model; tunneling between granules is also allowed in the system. It is shown that the behavior of the OTOC in this system can be described within the scenario mentioned above. The velocity of propagation of the front in the generalization of the SYK model is calculated for the first time. The proposed method of calculation is also applicable to other models based on the SYK model.
The behavior of the OTOC in the generalization of the SYK model was discussed in [12]. However, the behavior of the correlator at long times was not studied in that work; correspondingly, the notion of the front was not defined. Furthermore, the authors of [12] studied only the case of long-wavelength excitations; in this case, the propagation of the front is generally ballistic; i.e., the results of [12] are applicable only in a limited region of parameters. The methods proposed in [12] are significantly based on the form of the interaction between fermions from different granules, which is of the fourth order in fermion operators, similar to the Hamiltonian describing the dynamics inside granules.
This work is organized as follows. The model under study is introduced in Section 2, where the action for its description is obtained. Section 3 describes the main properties of the SYK model. The OTOC is calculated in Section 4, where its main properties are also described.
2 MODEL AND MAIN PROPERTIES
The Hamiltonian of the model under study has the form
where
Here, χr are the Majorana fermions satisfying the commutation relations \(\{ {{\chi }_{{{\mathbf{r}},i}}},{{\chi }_{{{\mathbf{r}}',i'}}}\} = {{\delta }_{{i,i'}}}{{\delta }_{{{\mathbf{r}},{\mathbf{r}}'}}}\) and the subscript i runs from 1 to \(N \gg 1\). The Hamiltonian (6) describes the lattice of quantum dots having the position vector r, and δr is the vector between an arbitrary point and one of its neighbors. The term Hr describes the dynamics inside the point, and the second term in Eq. (6) describes the tunneling of particles between neighboring dots.
The Hamiltonian Hr is the Hamiltonian of the SYK model [7]. Qualitatively, this Hamiltonian describes a system where there are N degenerate levels; in this case, the effects of interaction become strong and lead to a non-Fermi liquid behavior, which was described, e.g., in [13, 14].
The tensors w and J are antisymmetric in indices and are independent Gaussian random variables with zero mean value and variance determined by the expression
It is assumed that the characteristic scale of the interaction inside granules is much larger than the characteristic tunneling amplitude, i.e., \(J \gg w\).
To calculate the OTOC, we have to use the double Keldysh contour (Fig. 1). Technical details of the calculation were described in [2, 8, 15].
The index \(\sigma \in \{ 1,2,3,4\} \) is introduced to specify fields defined in the four parts of the contour. For example, the fermion field defined in the σth part of the contour is denoted as \(\chi _{{{\mathbf{r}},i}}^{{(\sigma )}}\). Then, the correlator of interest is represented in the form
Here, \({{T}_{\mathcal{C}}}\) stands for the ordering of operators along the contour. The action on the contour has the form
Here, \({{\varepsilon }_{1}} = {{\varepsilon }_{3}} = 1 = - {{\varepsilon }_{2}} = - {{\varepsilon }_{4}}\) is the sign of the “time direction” in the corresponding part of the double contour. After averaging over disorder, the action has the form
The field G is defined as
It is also necessary to introduce the field Σ defined as the Lagrange multiplier for the field G, thus making the latter field free of any relations except for symmetries associated with the replacement \({{t}_{1}} \leftrightarrow {{t}_{0}}\).
Since the amplitude of tunneling between granules is much smaller than the energy scale of the interaction inside granules, the term with tunneling can be considered as a perturbation. Consequently, it is possible to retain only the fields G that depend only on one coordinate because granules in the unperturbed problem are not coupled with each other. The following convenient notation is introduced:
In terms of new fields and this notation, the action can be represented in the form
The correlator given by Eq. (8) can be represented in terms of these variables; after its renormalization, this correlator has the form
The correlator in this form was obtained in [8, 9].
As seen, the action becomes quadratic in the fermion operators; therefore, the integral over them can be calculated and the action can be represented in terms of the fields G and Σ. However, before this, it is convenient to pass to the dimensionless variable \(u \equiv 2\pi Tt\), where \(T\) is the temperature of the system, and to rescale the field as follows:
The action in terms of new variables has the form
At a sufficiently low temperature \(T \ll {{T}_{{FL}}} \sim \frac{{{{w}^{2}}}}{J}\), the last term in the action given by Eq. (15) becomes dominant and the behavior of the system is described by the convenient theory of Fermi liquid. The temperatures under consideration satisfy the condition \(T \gg {{T}_{{FL}}}\). Under this condition, the term with tunneling can be considered perturbatively. The action where this term is neglected coincides with the action of the SYK model. Its properties are considered below.
3 MAIN PROPERTIES OF THE SYK MODEL
Instead of the calculation of the functional integral over the fields G and Σ, the saddle point approximation can be used because \(S \propto N\); in this case, \(N \gg 1\). As mentioned above, the term with w can be neglected at \(T \gg {{T}_{{FL}}}\) when deriving the saddle point equations. The term with \({{\Sigma }^{{({\text{free}})}}}\) is important at temperatures about J and at short times. Under the assumption \(J \gg T \gg {{T}_{{FL}}}\), the saddle point equations for the fields G and Σ can be used in the form
Here, the parameter q = 4 is introduced; in particular calculations, it is appropriate to consider this parameter arbitrary for dimensional regularization. For this reason, the solutions of the saddle point equations are represented below in the general form.
The equations presented above have a large group of symmetries. To demonstrate this, we consider an arbitrary set of monotonic functions \({{f}_{{\sigma ,{\mathbf{r}}}}}(u)\); then, the following transformation can be performed:
where Δ = 1/q. The substitution of the new function G gives an identity. However, since the initial Hamiltonian is independent of time, the desired Green’s function should depend only on the time difference. In this case, the matrix elements of the field G are not independent because they are related through certain relations one of which is the fluctuation–dissipation theorem (which relates the Keldysh Green’s function to the retarded and advanced Green’s functions). Since the system under study is in equilibrium, the matrix elements of the field G can be indicated only in the first part of the double contour (correspondingly, \(\sigma \in \{ 1,2\} \) in Eq. (18)). Consequently, the translationally invariant solution of the saddle point equations has the form
where \(b = \frac{{(1 - 2\Delta )\tan (2\pi \Delta )}}{{2\pi }}\) and \({{s}_{0}}(u) = {{e}^{u}}\); this notation is used for the below calculations. Using the property of symmetry \({{g}_{{{{\sigma }_{1}}{{\sigma }_{0}}}}}(u) = - {{g}_{{{{\sigma }_{0}}{{\sigma }_{1}}}}}( - u)\) of the Green’s function, one can reconstruct the solution at u < 0. The group of symmetries of equations exceeds the group of symmetries of this solution, which is specified by the transformations
Such a behavior usually indicates the presence of a soft (Goldstone) mode. However, our equations are approximate; in particular, the term \({{\Sigma }^{{({\text{free}})}}}\) is neglected even at w = 0; hence, the revealed symmetry is asymptotic; this situation takes place when using σ models [16]. In the case under consideration, this means that, instead of the calculation of the entire functional integral over the fields G and \(\Sigma \), it is necessary to integrate only over the fields that are solutions of the saddle point equations. The set of such fields can be specified as follows: all such fields are obtained by the application of the symmetry transformation given by Eq. (17) to the saddle point solution specified by Eq. (18). Passage from integration over all fields to integration over fields lying on a certain manifold is not accurate; it is applicable because fluctuations in the direction perpendicular to the manifold are suppressed by a factor of \(\beta J\) [7].
This manifold is parameterized by functions \({{f}_{{\sigma ,{\mathbf{r}}}}}(u)\). The action [7] on this manifold has the form
Here, \({{C}_{J}} = {{\alpha }_{S}}N\frac{{2\pi T}}{J}\) and \({{C}_{w}} = \frac{{N{{w}^{2}}}}{{4\pi JT}}\) are the heat capacity of the SYK model and the contribution to the heat capacity from perturbation, respectively, where \({{\alpha }_{S}} \approx 0.05\); \({{g}^{{(f)}}}\) (at \({{u}_{1}} - {{u}_{2}} > 0\)) is the field defined as
\(Sch\{ s(u),u\} \) is the Schwarzian derivative defined as
One of the important properties of the Schwarzian derivative is that the replacement of s by a linear fractional transformation of s does not change the derivative. In terms of the introduced notation, the correlator we are going to calculate has the form
The quadratic action under consideration is applicable at w ≫ N/J [17, 18]. Otherwise, the consideration is limited by the times t ≪ N/J [19]. Further, the OTOC is calculated.
4 LARGE-TIME BEHAVIOR OF THE OTOC
The main idea of the work is to use the following ansatz for the field \(f(u)\):
where a(u) and b(u) are slowly varying functions. This ansatz allows one to obtain an expression for the field g following from the expression
Here, the derivatives of the fields a and b are neglected because these fields are slowly varying and only linear terms in a or b with exponentially increasing coefficients are retained because these fields are small (\(a,b \propto {{N}^{{ - 1/2}}}\)). However, their multiplication by exponentially large factors gives a combination that is not small. The further consideration requires the auxiliary integral
Using Eq. (26) twice, we can represent the correlator of interest in the form
Here, \(\hat {a}\) and \(\hat {b}\) are columns consisting of the fields a and b, respectively. These columns have four components according to the parts of the contour. The column \({{\hat {j}}_{a}}\) has the form
The vector \({{\hat {j}}_{b}}\) is defined similarly.
Now, it is possible to consider the action for the fields a and b. Since the chosen field f (24) is locally close to the saddle-point field, the quadratic action can be used to derive the action for the fields a and b. It is convenient to write the quadratic action introducing the field \(\delta f\) defined as \(f = u + \delta f(u)\). Such a quadratic action was obtained in [14, 20] and has the form
where \(\mathcal{G}\) is the Green’s function of soft modes for our action, \({{\mathcal{G}}^{0}}\) is the Green’s function of soft modes in the SYK model, and Σ ~ w2 is the self-energy part. The matrix notation is again used, joining four fields δf from different parts of the contour in one vector, and the frequency–momentum representation is also used. All matrices above are 4 × 4 matrices, but they are calculated for the equilibrium system taking into account the relation \({{\mathcal{G}}_{R}}(\Omega ) = {{\mathcal{G}}_{A}}( - \Omega )\) between the retarded and advanced Green’s functions and the fluctuation–dissipation theorem. We can write only the retarded Green’s function (all others are reconstructed from it):
The action for the fields a(Ω) and b(Ω) is defined for Ω ≪ 1 because of their slowness and has the form
For the quadratic action for the fields a and b, averaging can be performed:
The sign ≈ in Eq. (32) means that the terms proportional to \(s_{e}^{2}\) and \(s_{o}^{2}\) are omitted because they are “local,” i.e., depend on the pair of times u1 and u3 or u2 and u4, do not increase exponentially, and are thereby small. As above, d is the dimension of the lattice. On the one hand, the function z increases exponentially with u1 – u2, and on the other hand, it decreases exponentially at large r. Finally, the explicit formula for the correlator can be written in the form
Here, U is the confluent hypergeometric function certainly defined by its asymptotic behavior. This expression together with Eq. (33) for z is the main result of this work. Importance of the result is as follows.
First, the OTOC for the SYK model is obtained at \({{C}_{w}} = 0\) and coincides with Eq. (6.10) from [8] and with the result of application of the method from [9] to the SYK model. Since the method of calculation proposed in this work differs from the methods in [8, 9], coincidence of the results indicates that the ansatz (24) is applicable for the problem with \(w \ne 0\).
Second, the integral \({{f}_{\alpha }}({\mathbf{r}})\) specifies the dependence on the distance between operators in the correlator. This integral decreases exponentially with the distance, but the form of the decrease depends not only on the magnitude of r but also on its direction at not overly large α values (the contribution from small p values dominates in the integral at large α values and this dependence disappears). Thus, information on perturbation in the system propagates ballistically, qualitatively coinciding with the behavior of other systems [2, 10, 11].
Third, according to Eq. (36), the correlator in the region with \(z \gg 1\) is small, \(\tilde {F} \approx 0\); i.e., applied perturbation “is known” at points in this region; perturbation “is unknown” in the region with \(z \ll 1\), where \(\tilde {F} \approx 1\). The region with z ~ 1 requires a more detailed consideration. In a fixed direction, \(z \propto {{e}^{{{{\lambda }_{{\text{L}}}}\left( {|{{t}_{{12}}}| - \frac{{{{r}_{{12}}}}}{v}} \right) - \ln (N)}}}\), where r12 = |r1—r2| ≫ 1, \({{t}_{{12}}} = {{t}_{1}} - {{t}_{2}} \approx {{t}_{3}} - {{t}_{4}}\), and \(v\) is a parameter with the dimension of velocity. This expression shows that the region with z ~ 1 propagates in time along the fixed direction at the velocity \(v\).
The velocities for various cases are presented below.
In the general case (arbitrary dimension), the universal behavior of the function f given by Eq. (34) is observed only at \(\frac{{{{r}^{2}}}}{{{{a}^{2}}}} \gg \alpha \gg 1\), where a is the length of the edge of the lattice. In this case, \(f \sim \exp \left\{ { - \sqrt {\frac{2}{\alpha }} \frac{r}{a}} \right\}\); i.e., the front propagation velocity is given by the expression
which is independent of the direction.
The asymptotic behavior of the function f in the one-dimensional system (r = (na)) is described by the expression
In the two-dimensional case, α ≪ 1 and
Here, r = (na, ma); it is seen that this function strongly depends on the direction. At \(\alpha \gg 1\), the function f has the form
Let us consider the temperature dependence of the parameter α. According Eq. (35), α is independent of J and is determined only by the parameter T/w. At sufficiently high temperatures T ≫ w, α ~ (w/T)2 depends on the temperature. In the opposite case w ≫ T, the parameter \(\alpha \approx {{\alpha }_{0}} = \frac{{{{\pi }^{2}}}}{{{{\pi }^{2}} - 8}}\) becomes universal; i.e., it is independent of the parameters of the system and of the temperature. Since α0 ≈ 5.27, it can be assumed that α0 ≫ 1.
5 CONCLUSIONS
To summarize, the behavior of the out-of-time time ordered correlator for the system of quantum dots has been investigated. The dynamics inside dots is described by the Sachdev–Ye–Kitaev model with a characteristic energy scale J. Tunneling with a characteristic amplitude w occurs between dots. It has been shown that the Lyapunov exponent of this system has the maximum value λL = 2πT, similar to the Sachdev–Ye–Kitaev model. Since the dimension is nonzero, the studied correlator has a spatial structure: the space can be divided into two regions. In the first region, the applied perturbation with \(\tilde {F} \approx 0\) “is known,” whereas in the second region, the applied perturbation with F ≈ 1 “is unknown.” The boundary separating these regions propagates in time. Details of propagation generally depend on the parameters of the system and lattice. However, the boundary at \(w \gg T\) can be considered as spherical and its propagation velocity \({{v}_{f}} = 2\pi T\sqrt {\frac{{{{\alpha }_{0}}}}{2}} a\) depends only on the temperature and the length of the edge of the lattice. It is also noteworthy that the properties of the system change strongly at T ~ w, although the contribution with w to the saddle point equation is insignificant at \(T \gg \) \({{T}_{{FL}}} \sim \frac{{{{w}^{2}}}}{J}\). A similar effect was also revealed in [14, 20].
Change history
06 December 2022
An Erratum to this paper has been published: https://doi.org/10.1134/S0021364022340057
REFERENCES
A. I. Larkin and Yu. N. Ovchinnikov, Sov. Phys. JETP 28, 1200 (1969).
I. L. Aleiner, L. Faoro, and L. B. Ioffe, Ann. Phys. 375, 378 (2016).
Y. Sekino and L. Susskind, J. High Energy Phys. 2008, 10 (2008).
A. Kitaev and B. Yoshida, arXiv: 1710.03363.
X. Mi, P. Roushan, C. Quintana, et al., arXiv: 2101.08870.
J. Maldacena, S. H. Shenker, and D. Stanford, J. High Energy Phys. 2016, 8 (2016).
A. Kitaev and S. J. Suh, J. High Energy Phys. 2018, 5 (2018).
J. Maldacena, D. Stanford, and Z. Yang, Prog. Theor. Exp. Phys. 2016, 12 (2016).
Y. Gu, A. Kitaev, and P. Zhang, arXiv: 2111.12007.
A. Nahum, S. Vijay, and J. Haah, Phys. Rev. 8, 021014 (2018).
C. W. von Keyserlingk, T. Rakovszky, F. Pollmann, and S. L. Sondhi, Phys. Rev. X 8, 021013 (2018).
Y. Gu, X. L. Qi, and D. Stanford, J. High Energy Phys. 2017, 5 (2017).
S. Banerjee and E. Altman, Phys. Rev. 95, 13 (2017).
A. V. Lunkin and M. V. Feigel’man, arXiv: 2112.11500.
L. V. Keldysh, Sov. Phys. JETP 20, 4 (1965).
K. Efetov, Supersymmetry in Disorder and Chaos (Cambridge Univ. Press, Cambridge, 1999).
A. V. Lunkin, K. S. Tikhonov, and M. V. Feigel’man, Phys. Rev. Lett. 121, 23 (2018).
A. V. Lunkin, A. Yu. Kitaev, and M. V. Feigel’man, Phys. Rev. Lett. 125, 19 (2020).
D. Bagrets, A. Altland, and A. Kamenev, Nucl. Phys. B 911, 191 (2016).
A. V. Lunkin and M. V. Feigel’man, SciPost Phys. 12, 031 (2022).
ACKNOWLEDGMENTS
I am grateful to M.V. Feigel’man and A.Yu. Kitaev for discussion of all stages of the work and to K.S. Tikhonov for discussion of the properties of the out-of-time ordered correlator.
Funding
This work was supported in part by the Foundation for the Advancement of Theoretical Physics and Mathematics BASIS, by the Program of Basic Research of the National Research University Higher School of Economics, and by the Russian Foundation for Basic Research (project no. 20-32-90057).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
The author declares that he has no conflicts of interest.
Additional information
Translated by R. Tyapaev
The original online version of this article was revised: Due to a retrospective Open Access order.
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 license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license 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 license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lunkin, A.V. Butterfly Effect in a System of Quantum Dots in the Sachdev–Ye–Kitaev Model. Jetp Lett. 115, 297–304 (2022). https://doi.org/10.1134/S0021364022100149
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0021364022100149