Relaxation Exponents of OTOCs and Overlap with Local Hamiltonians

Abstract

OTOC has been used to characterize the information scrambling in quantum systems. Recent studies have shown that local conserved quantities play a crucial role in governing the relaxation dynamics of OTOC in non-integrable systems. In particular, the slow scrambling of OTOC is seen for observables that have an overlap with local conserved quantities. However, an observable may not overlap with the Hamiltonian but instead with the Hamiltonian elevated to an exponent larger than one. Here, we show that higher exponents correspond to faster relaxation, although still algebraic, and such exponents can increase indefinitely. Our analytical results are supported by numerical experiments.

1. Introduction

For generic many-body quantum systems, information initially encoded in a few local degrees of freedom can spread in time over the entire accessible space. This process is called information scrambling and can be characterized by out-of-time ordered correlators (OTOCs) [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21]. For quantum systems with a classical limit, OTOCs can be mapped to Lyapunov exponents [22,23,24,25,26,27,28,29,30,31,32,33]. Because of this, OTOCs have been applied to understand the thermalization in many-body quantum systems [3,4,5,6,7,8,9,10,11,12,13].

Recent studies have pointed out the relevance of local conserved quantities in the relaxation dynamics of OTOCs [34,35,36,37,38,39,40]. In particular, in [39] it was shown that the emergence of algebraic relaxation can stem from the locality of the Hamiltonian, i.e., the ensuing presence of a Lieb–Robinson bound [41], and the eigestate thermalization hypothesis (ETH) [42,43]. Importantly, with the approach developed in [39] it was also possible to show that the algebraic relaxation of the OTOC is typical.

In the scenarios considered until now, the operators in the OTOC had non-zero overlap with the Hamiltonian or a local conserved quantity (i.e., total magnetization). Here, we investigate how the relaxation dynamics would be affected if the operators in the OTOC, e.g., A, do not overlap with the Hamiltonian H but only with one of its powers, i.e., $\mathrm{tr}(AH)=0$, but $\mathrm{tr}(A{H}^m)\ne 0$ for m, being an integer larger than one. We show that depending on the exponent m at which the overlap becomes non-zero, we expect an algebraic relaxation of the OTOC in time with an exponent proportional to m. To obtain this result, we also show the relation between the first non-zero derivative of the diagonals of an operator in the energy basis, with the exponent m at which $\mathrm{tr}(A{H}^m)\ne 0$.

The paper is organized as follows. In Section 2, we introduce the definition of OTOCs and explain the relaxation dynamics of OTOCs from the knowledge of the matrix elements of the observables in the eigenenergy basis. In Section 3, we show analytically our main result, i.e., that any different exponents can emerge in the relaxation of the OTOC, depending on the order at which the operators in the OTOC overlap with the Hamiltonian. Our numerical results are presented in Section 4. We draw our conclusions in Section 5.

2. Emergence of Slow Scrambling

2.1. Definition

Consider the infinite-temperature out-of-time-ordered correlator (OTOC) between two local observables A and B defined as

$$\begin{array}{cc}\hfill O^{AB}(t)& =\frac{1}{2}⟨[A(t),B]{[A(t),B]}^{†}⟩\hfill \end{array}$$

(1)

where $A(t)=U^{†}AU$ is the time evolved operator A due to the unitary evolution $U=\mathcal{T}{e}^{-\mathrm{i}{\int }_0^{t}H(\tau )d\tau }$ from the time-ordered integration of the (generically) time-dependent Hamiltonian $H(t)$. Expanding the commutators, we can rewrite Equation (1) as

$$\begin{array}{cc}\hfill \frac{1}{2}⟨[A(t),B]{[A(t),B]}^{†}⟩& =⟨B^{2}A{(t)}^2⟩-⟨A(t)BA(t)B⟩\hfill \\ \hfill & =G^{AB}(t)-F^{AB}(t),\hfill \end{array}$$

(2)

where $G^{AB}(t)=⟨B^{2}A{(t)}^2⟩$ is the time-ordered part of OTOC and $F^{AB}(t)=⟨A(t)BA(t)B⟩$ is the not-time-ordered part. We consider only unitary and Hermitian observables for which $G(t)=1$, and hence we restrict ourselves to $F(t)$ in the remaining part. Taking energy eigenstates as the basis of the Hilbert space, the time evolution of OTOC can be written in the eigenenergy basis $|p⟩$ as

$$\begin{array}{c}\hfill F^{AB}(t)=\frac{1}{\mathcal{V}}\sum _{p,q,k,l}{e}^{\mathrm{i}(E_p-E_q+E_k-E_l)t}{A}_{pq}{B}_{qk}{A}_{kl}{B}_{lp}\end{array}$$

(3)

where $E_p$ is the eigenenergy, $A_{pq}=⟨p\left|A\right|q⟩$, and $B_{qk}=⟨q\left|B\right|k⟩$. We work in units for which $\hslash =1$.

As $t\to \infty$, dominant terms in the above expression are those for which $E_p-E_q+E_k-E_l=0$. Hence, for generic systems [44,45], the infinite-time value of $F^{AB}(t)$ is given by

$$\begin{array}{cc}\hfill F^{AB}(\infty )=\frac{1}{\mathcal{V}}(\sum _p& A_{pp}^2{B}_{pp}^2+\sum _{p,q\ne p}(A_{pp}{B}_{pq}{A}_{qq}{B}_{qp}\hfill \\ \hfill +& A_{pq}{B}_{qq}{A}_{qp}{B}_{pp})).\hfill \end{array}$$

(4)

Equation (4) highlights the importance of diagonal elements of A and B in the eigenenergy basis in the infinite-time value of OTOC. Indeed, a non-zero diagonal element in A or B is necessary to guarantee a non-zero value of $F^{AB}(\infty )$.

2.2. Conditions for Algebraic Relaxation of OTOC

Two sufficient conditions for the emergence of algebraic relaxation of OTOC [39,40] are

• A Lieb–Robinson bound (or even an algebraic spreading of correlation that occurs in systems with power-law interactions),
• The algebraic scaling of the infinite-time value of the OTOC with the system size.

In local and bounded Hamiltonians, the speed of propagation of the correlations is limited by Lieb–Robinson bound [41,46]. Hence, an accurate description of the evolution of OTOC of a thermodynamically large system can be obtained simply considering a finite portion of it. Assuming that the system is maximally scrambled within the region of size L, the decay of $F_{L=\infty }^{AB}(t)$ is bounded by the Lieb–Robinson velocity $v_{\mathrm{LR}}$ as

$$\begin{array}{c}\hfill F_{L=\infty }^{AB}(t)\approx F_{L=s{v}_{\mathrm{LR}}t}^{AB}(\infty ),\end{array}$$

(5)

where s is a real number larger than 1. Hence, L increases with time and is a time-dependent quantity. Therefore, the scaling of $F_L^{AB}(\infty )$ is crucial to predict the bound for the relaxation of OTOC. In particular, when $F_L^{AB}(\infty )$ decays algebraically with the system size, e.g., $F_L^{AB}(\infty )\propto L^{-\alpha }$, then the OTOC of the thermodynamic size system cannot decay faster than algebraically in time, or more precisely from Equation (5) one can write that it cannot be faster than

$$\begin{array}{c}\hfill F_{L=\infty }^{AB}(t)\propto \frac{1}{t^{\alpha }}\end{array}$$

(6)

because $L=s{v}_{\mathrm{LR}}t$.

The actual decay of the OTOC may even be slower, for example, considering cases in which the system goes through prethermalization [47] or in which the system is many-body localized [48]. However, the relaxation cannot be faster; hence, the OTOC will have a slow, non-exponential relaxation. A comprehensive analysis of this is presented in [39].

3. Generic Algebraic Relaxation in Short-Ranged Systems

3.1. Estimate of the Infinite Time Value of OTOC

In this section, we show how to obtain the approximate value of the infinite-time, finite-size, OTOC $F_L^{AB}(\infty )$

$$\begin{array}{cc}\hfill F_L^{AB}(\infty )=& \frac{1}{\mathcal{V}}\sum _p{A}_{pp}^2{B}_{pp}^2+\frac{1}{\mathcal{V}}\sum _{p,q\ne p}{A}_{pp}{A}_{qq}{\left|B_{pq}\right|}^2\hfill \\ \hfill & +\frac{1}{\mathcal{V}}\sum _{p,q\ne p}{B}_{pp}{B}_{qq}{\left|A_{pq}\right|}^2\hfill \\ \hfill \approx & \frac{1}{\mathcal{V}}\sum _p{A}_{pp}^2{B}_{pp}^2+\frac{1}{\mathcal{V}}\sum _p{A}_{pp}{A}_{pp}\left[{(B{B}^{†})}_{pp}-B_{pp}^2\right]\hfill \\ \hfill & +\frac{1}{\mathcal{V}}\sum _p{B}_{pp}{B}_{pp}\left[{(A{A}^{†})}_{pp}-A_{pp}^2\right]\hfill \\ \hfill \approx & \frac{1}{\mathcal{V}}\sum _p{A}_{pp}^2{B}_{pp}^2+\frac{1}{\mathcal{V}}\sum _p\left[\mathrm{tr}(B{B}^{†})-B_{pp}^2\right]A_{pp}^2\hfill \\ \hfill & +\frac{1}{\mathcal{V}}\sum _p\left[\mathrm{tr}(A{A}^{†})-A_{pp}^2\right]B_{pp}^2\hfill \\ \hfill \approx & \frac{1}{\mathcal{V}}\sum _p{A}_{pp}^2{B}_{pp}^2+\frac{1}{\mathcal{V}}\sum _p\left[1-B_{pp}^2\right]A_{pp}^2\hfill \\ \hfill & +\frac{1}{\mathcal{V}}\sum _p\left[1-A_{pp}^2\right]B_{pp}^2\hfill \\ \hfill \approx & \frac{1}{\mathcal{V}}\sum _p\left[A_{pp}^2+B_{pp}^2-A_{pp}^2{B}_{pp}^2\right]\hfill \\ \hfill \approx & \frac{1}{\mathcal{V}}\sum _p\left[A_{pp}^2+B_{pp}^2\right],\hfill \end{array}$$

(7)

where we have used steps similar to [39,45], and a similar discussion can be found in [40]. Thus, the main contribution of the infinite-time finite-size OTOC comes from the $A_{pp}^2$ and $B_{pp}^2$ terms, which we will be discussing in the following.

3.2. Structure of the Diagonal Elements

In short, the diagonal element $A_{pp}$ can be approximated by a function of eigenenergy $E_p$

$$\begin{array}{cc}\hfill |A_{pp}-f_A(E_p/L)|& \le e^{-(\Omega (L))},\hfill \end{array}$$

(8)

where $f_A(E_p/L)$ can be expanded as

$$\begin{array}{cc}\hfill f_A(E_p/L)& =f_A(0)+f_A^{(1)}(0)E_p/L+\frac{1}{2}{f}_A^{(2)}(0)E_p^2/L^2+...\hfill \\ \hfill & =\sum _q\frac{f_A^{(q)}}{q!}{\left(\frac{E_p}{L}\right)}^q\hfill \end{array}$$

(9)

with $f_A^{(q)}$ being the q-th derivative of $f_A$. We also note that, using Lemma 1 in [45], one can write

$$\begin{array}{cc}\hfill \frac{1}{\mathcal{V}}\sum _p{E}_p^q& =⟨H^q⟩=O(L^{q/2}).\hfill \end{array}$$

(10)

In [45] it was shown that, for traceless operators $f_A(0)=0$, and if $f_A^{(1)}(0)\ne 0$, then we can write

$$\begin{array}{cc}\hfill \mathrm{tr}(AH)& =\frac{1}{\mathcal{V}}\sum _p{A}_{pp}{E}_p\hfill \\ \hfill & \approx \frac{1}{\mathcal{V}L}\sum _p{E}_p^2{f}_A^{(1)}(0)\hfill \\ \hfill & \approx \frac{⟨H^2⟩}{L}{f}_A^{(1)}(0)\hfill \end{array}$$

(11)

and thus

$$\begin{array}{cc}\hfill f_A^{(1)}(0)& \approx \frac{\mathrm{tr}(AH)L}{⟨H^2⟩}.\hfill \end{array}$$

(12)

Hence, the first derivative of a local observable A is independent of the system size. From Equation (12), we obtain

$$\begin{array}{cc}\hfill F_L^{AB}(\infty )& \approx \frac{1}{\mathcal{V}}\sum _p(A_{pp}^2+B_{pp}^2)\hfill \\ \hfill & \approx \frac{1}{\mathcal{V}}\sum _p\frac{E_p^2}{L^2}\left[{\left(f_A^{(1)}(0)\right)}^2+{\left(f_B^{(1)}(0)\right)}^2\right]\hfill \\ \hfill & \approx \frac{1}{\mathcal{V}}\sum _p\frac{E_p^2}{L^2}\frac{\left[\mathrm{tr}{(AH)}^2+\mathrm{tr}{(BH)}^2\right]L^2}{{⟨H^2⟩}^2}\hfill \\ \hfill & \approx \frac{\mathrm{tr}{(AH)}^2+\mathrm{tr}{(BH)}^2}{⟨H^2⟩}\hfill \\ \hfill & \propto \frac{1}{L}.\hfill \end{array}$$

(13)

The last step stems from the fact that $\mathrm{tr}(AH)$ and $\mathrm{tr}(BH)$ are independent of the system size, while $⟨H^2⟩\propto L$ from Equation (10).

If $\mathrm{tr}(AH)=0$ but, for instance, $\mathrm{tr}(A{H}^p)\ne 0$ only for $p\ge p_c$ then one can generalize the previous result. Considering $f_A^{(q)}(0)$ as the smalles non-zero derivative of $f_A$ at zero energy (with the same parity as $p_c$), then we can write

$$\begin{array}{cc}\hfill \mathrm{tr}(A{H}^{p_c})& =\sum _n\frac{f_A^{(q)}}{q!}\frac{E_n^{q+p_c}}{L^q}\hfill \end{array}$$

(14)

which implies that

$$\begin{array}{cc}\hfill f_A^{(q)}& =\frac{q!\mathrm{tr}(A{H}^{p_c})L^q}{⟨H^{p_c+q}⟩}.\hfill \end{array}$$

(15)

Now, if $q<p_c$ then $f_A^{(q)}$ would decay as $L^{-(p_c-q)/2}$, which implies that they are 0, and the non-size dependent $f_A^{(q)}(0)$ would occur exactly at $q=p_c$. This implies that the first non-zero derivative of $f_A(0)$ is the $p_c$-th one. Thus, when $\mathrm{tr}(A{H}^p)\ne 0$ only for $p\ge p_c$ we can write

$$\begin{array}{cc}\hfill F_L^{AB}(\infty )& \approx \frac{1}{\mathcal{V}}\sum _n{\left(\frac{E_n}{L}\right)}^{2p_c}\left[{\left(f_A^{(p_c)}(0)\right)}^2+{\left(f_B^{(p_c)}(0)\right)}^2\right]\hfill \\ \hfill & \approx \frac{1}{\mathcal{V}}\sum _n{\left(\frac{E_n}{L}\right)}^{2p_c}\frac{\left[\mathrm{tr}{(A{H}^{p_c})}^2+\mathrm{tr}{(B{H}^{p_c})}^2\right]L^{2p_c}}{{⟨H^{2p_c}⟩}^2}\hfill \\ \hfill & \approx \frac{\mathrm{tr}{(A{H}^{p_c})}^2+\mathrm{tr}{(B{H}^{p_c})}^2}{⟨H^{2p_c}⟩}\hfill \\ \hfill & \propto \frac{1}{L^{p_c}}.\hfill \end{array}$$

(16)

Building on Equation (16), and combining it with the Lieb–Robinson bound $L=s{v}_{\mathrm{LR}}t$, we can thus guarantee that $F^{AB}$ cannot relax faster than $t^{-p_c}$. Furthermore, for systems in which correlations mostly spread diffusively, i.e., proportional to $t^{1/2}$, we can can expect $F^{AB}$ to relax as $t^{-p_c/2}$. Hence, the structure of the diagonal elements of the observables, which is the first non-zero derivative at 0 energy, i.e., which is the first exponent of the Hamiltonian that has non-zero overlap with the operators A and B considered, plays an important role in the relaxation dynamics of the OTOC in the system. This is numerically verified in detail in the following section.

4. Results

4.1. Model

We consider a prototypical non-integrable model, the tilted Ising chain with Hamiltonian

$$\begin{array}{cc}\hfill H& =\sum _{l=1}^{L-1}{J}_z{\sigma }_l^z{\sigma }_{l+1}^z+\sum _{l=1}^L(h_x{\sigma }_l^x+h_z{\sigma }_l^z),\hfill \end{array}$$

(17)

where $J_z$ is the coupling constant in the z direction, while $h_x$ and $h_z$ are the transverse and the longitudinal field strengths. The model is integrable when either $h_x=0$ or $h_z=0$. This can be verified by studying the level spacing statistics, which typically follows a Poisson distribution for integrable systems and a Wigner–Dyson distribution for non-integrable ones [49,50]. In particular, ${\delta }_n=E_{n+1}-E_n$, the level spacing between two consecutive energy levels $E_n$ and $E_{n+1}$ within a single symmetry sector, define the ratio $r_n=\max ({\delta }_n,{\delta }_{n+1})/\min ({\delta }_n,{\delta }_{n+1})$ and take an average $r={\sum }_n{r}_n/N$, where N is the number of energy level differences considered. For a Poisson distribution, r can be computed analytically, and it gives $r=2ln2-1\approx 0.386$, while for a Wigner–Dyson distribution r can be evaluated numerically to be $r\approx 0.529$ [51]. In the current work, we use parameters $J_z=1$, $h_z=0.809$, and $h_x=0.9$, which result in $r\approx 0.53$ already for a system size of $L=12$ spins.

4.2. Observables and Structure of Their Diagonal Elements

To span over a variety of different structures, and to have operators A, which have $\mathrm{tr}(A{H}^p)\ne 0$ only for $p\le p_c$ with $p_c$, which can be different from 1, we analyze both single-site and multi-site observables in our study. In particular, we consider the following four types of observables:

$$\begin{array}{cc}\hfill \mathrm{single}-\mathrm{site}\to & {\sigma }_l^{\alpha }\hfill \end{array}$$

(18)

$$\begin{array}{cc}\hfill \mathrm{double}-\mathrm{site}\to & {\sigma }_l^{\alpha }{\sigma }_{l+1}^{\alpha }\hfill \end{array}$$

(19)

$$\begin{array}{cc}\hfill \mathrm{triple}-\mathrm{site}\to & {\sigma }_{l-1}^{\alpha }{\sigma }_l^{\alpha }{\sigma }_{l+1}^{\alpha }\hfill \end{array}$$

(20)

$$\begin{array}{cc}\hfill \mathrm{quadruple}-\mathrm{site}\to & {\sigma }_{l-2}^{\alpha }{\sigma }_{l-1}^{\alpha }{\sigma }_l^{\alpha }{\sigma }_{l+1}^{\alpha }\hfill \end{array}$$

(21)

where $\alpha =x,y$ or z. The diagonal elements of these operators in the eigenbasis of Hamiltonian Equation (17) are shown in Figure 1. The left column is for $\alpha =x$, the center column is for $\alpha =y$, and the right column is for $\alpha =z$. The rows are for increasing the range of operators from top to bottom, with the top row for single-site operators and the fourth row for four-site operators. In all of the panels, the dashed lines represent the expected algebraic energy dependence of $f_A$ near energy zero from Section 3.2. We note that these fits are evaluated directly from calculating $f_A^{(n)}(0)$ with Equation (15) along with eigenenergies $E_n$ for the system Hamiltonian in Equation (17) with no fitting parameters.

Figure 1. Diagonal elements of the observable in the energyeigen basis for single-site observables $A={\sigma }_{L/2}^{\alpha }$ panel (a–c), double-site observables $A={\sigma }_{L/2}^{\alpha }{\sigma }_{L/2+1}^{\alpha }$ (d–f), triple-site observables $A={\sigma }_{L/2-1}^{\alpha }{\sigma }_{L/2}^{\alpha }{\sigma }_{L/2+1}^{\alpha }$ (g–i), and quadruple-site observables $A={\sigma }_{L/2-2}^{\alpha }{\sigma }_{L/2-1}^{\alpha }{\sigma }_{L/2}^{\alpha }{\sigma }_{L/2+1}^{\alpha }$ (j–l). Left panels are for ${\sigma }_l^x$ ($\alpha =x$) observables, middle panels are for ${\sigma }_l^y$ ($\alpha =y$) observables, and right panels are for ${\sigma }_l^z$ ($\alpha =z$) observables. Dashed lines are the lowest order fits in the Taylor expansion of the observable in Equation (9). Here, $L=14$, $J_z=1$, $h_x=0.9$, and $h_z=0.809$.

For single-site observables $A={\sigma }_l^x$ and ${\sigma }_l^z$, and for the non-integrable Ising chain $\mathrm{tr}(AH)\ne 0$ and so $f_A^{(1)}(0)\ne 0$. However, with $A={\sigma }_l^y$, $\mathrm{tr}(A{H}^n)=0$ for any n. Hence, we expect a linear variation of the diagonal elements of ${\sigma }_l^x$ and ${\sigma }_l^z$ with energy density $E_n/L$ and a flat profile for ${\sigma }_l^y$. This can be seen in Figure 1a–c. To conform our analytical predictions, we plot $f_A^{(1)}(0)E_n/L$ where $f_A^{(1)}(0)$ is calculated explicity form Equation (12).

The two-site observables $A={\sigma }_{L/2}^{\alpha }{\sigma }_{L/2+1}^{\alpha }$, are shown in the panels (d–f). For $A={\sigma }_{L/2}^x{\sigma }_{L/2+1}^x$, $\mathrm{tr}(A{H}^2)\ne 0$, whereas $\mathrm{tr}(AH)=0$ and, as predicted in Section 3.2, we thus observe that $f_A$ can be fitted by a parabola $f_A^{(2)}(0)E_n^2/(2!L^2)$ indicated by the dashed black lines. Since $\mathrm{tr}(AH)\ne 0$ for $A={\sigma }_{L/2}^z{\sigma }_{L/2+1}^z$, we see a linear scaling of $A_{nn}$ with $E_n/L$. For the $A={\sigma }_{L/2}^y{\sigma }_{L/2+1}^y$ observable, $\mathrm{tr}(A{H}^m)\ne 0$ for $m\ge 3$. Hence, we see a cubic structure of the diagonal elements with a fitting of the form $f_A^{(3)}(0)E_n^3/(3!L^3)$.

We also consider triple-site observables $A={\sigma }_{L/2-1}^{\alpha }{\sigma }_{L/2}^{\alpha }{\sigma }_{L/2+1}^{\alpha }$. These are depicted in the panels (g–i). Here, $\mathrm{tr}(A{H}^m)\ne 0$ for $m\ge 3$ for ${\sigma }_l^x$ observables, and we clearly see a cubic structure for the diagonal elements that can be fitted with lines of the form $f_A^{(3)}(0)E_n^3/(3!L^3)$. Since there are no diagonal elements for any power of H for the ${\sigma }^y$ observable, a flat profile is seen. With the ${\sigma }^z$ observable, a parabolic structure is seen since $\mathrm{tr}(A{H}^2)\ne 0$, whereas $\mathrm{tr}(AH)=0$. This is also nicely fitted by $f_A^{(2)}(0)E_n^2/(2!L^2)$ in panel (i).

For the four site observable, we study $A={\sigma }_{L/2-2}^{\alpha }{\sigma }_{L/2-1}^{\alpha }{\sigma }_{L/2}^{\alpha }{\sigma }_{L/2+1}^{\alpha }$. For $A={\sigma }_{L/2-2}^x{\sigma }_{L/2-1}^x{\sigma }_{L/2}^x{\sigma }_{L/2+1}^x$, a quartic structure can be seen as $\mathrm{tr}(A{H}^m)\ne 0$ only for $m\ge 4$. This is fitted by $f_A^{(4)}(0)E_n^4/(4!L^4)$ (black dashed lines). With ${\sigma }_l^y$ observables, the expected structure is hexic (polynomial of sixth degree) because $\mathrm{tr}(A{H}^m)\ne 0$ only for $m\ge 6$. Though it is less clear, we fit it with the expected scaling $f_A^{(6)}(0)E_n^6/(6!L^6)$ using the black dashed lines. For the ${\sigma }^z$ observable, we find a parabolic structure in accordance with our prediction as $\mathrm{tr}(A{H}^2)\ne 0$, whereas $\mathrm{tr}(AH)=0$. Since we consider systems of size $L=14$, the results in Figure 1j–l are partially affected by finite-size effects. Despite this, the numerics are aligned with our theoretical predictions.

To summarize this section, we observe clearly that the diagonal elements of operators can have a very different dependence as a function of energy near zero. In particular, we have numerically verified the prediction that $A_{nn}\sim 1/L^p$, where p is the lowest positive integer such that $\mathrm{tr}(A{H}^p)\ne 0$.

4.3. Scaling of the Infinite Time Value of OTOC

In Figure 2, we show numerical confirmation that, given the minimum positive integer $p_c$ such that $\mathrm{tr}(A{H}^{p_c})\ne 0$ or $\mathrm{tr}(B{H}^{p_c})\ne 0$, then $F_{L=\infty }^{AB}(t)\propto 1/L^{p_c}$. In each of the panels, we show how the infinite time value of the OTOC $F_L^{AB}(t=\infty )$ varies as a function of the system size L. In the different panels, we will focus on single-site, panel (a); two-site, panel (b), three-site, panel (c); and four-site, panel (d), observables. In each panel, the red line with circles corresponds to $\alpha =x$, blue with stars to $\alpha =y$, and green with diamonds to $\alpha =z$. In panel Figure 2a, we plot the infinite time values of OTOC with single-site observables $A,B={\sigma }_l^{\alpha }$, where $l=L/2$ for observable B and $l=L/2-1$ for observable A. We see that these observables have $p_c=1$, and hence they follow $1/L$ scaling, as shown by dashed line. ${\sigma }_l^y$ has no overlap with any local conserved quantities, and hence the diagonal elements as well as the infinite time values of OTOC are zero. Figure 2b is for double-site observables Equation (19), where $l=L/2$ for observable B and $l=L/2-2$ for observable A. We compare the numerical results with fitted lines, in particular with $1/L^2$ (dotted), $1/L^3$ (dashed dotted lines), and $1/L$ (dashed), respectively, corresponding to operators with $p_c=2,3$ and 1. We note that due to the small value of the overlap of ${\sigma }_j^y{\sigma }_{j+1}^y$ with the Hamiltonian, the expected scaling is followed only at larger system sizes. In panel (c), we plot the triple-site observables Equation (20), where $j=L/2-3$ for A and $j=L/2$ for B. Fitted lines are for $1/L^2$ and $1/L^3$ scalings, as expected, since $\alpha =2$ and 3, respectively. Since the diagonal elements of ${\sigma }_j^y{\sigma }_{j+1}^y{\sigma }_{j+2}^y$ are zero, the infinite time value of the OTOC $F_L^{AB}(t=\infty )$ is zero. Panel (d) is for quadruple-site observables Equation (21), where $j=L/2-4$ for A and $j=L/2$ for B. The expected scalings are $p_c=4,6,2$. However, due to the fact that the observables have a large support at initial time, we see that the correct scaling of $1/L^4,1/L^6,1/L^2$ is followed only at large system sizes.

Figure 2. Infinite time values of OTOC corresponding to the single-site observables with $A={\sigma }_{L/2-1}^{\alpha }$, $B={\sigma }_{L/2}^{\alpha }$ panel (a), double-site observables with $A={\sigma }_{L/2-2}^{\alpha }{\sigma }_{L/2-1}^{\alpha }$, $B={\sigma }_{L/2}^{\alpha }{\sigma }_{L/2+1}^{\alpha }$ (b), triple-site observables with $A={\sigma }_{L/2-3}^{\alpha }{\sigma }_{L/2-2}^{\alpha }{\sigma }_{L/2-1}^{\alpha }$, $B={\sigma }_{L/2}^{\alpha }{\sigma }_{L/2+1}^{\alpha }{\sigma }_{L/2+2}^{\alpha }$ (c), and quadruple-site observables with $A={\sigma }_{L/2-4}^{\alpha }{\sigma }_{L/2-3}^{\alpha }{\sigma }_{L/2-2}^{\alpha }{\sigma }_{L/2-1}^{\alpha }$, $B={\sigma }_{L/2}^{\alpha }{\sigma }_{L/2+1}^{\alpha }{\sigma }_{L/2+2}^{\alpha }{\sigma }_{L/2+3}^{\alpha }$ (d). Green lines with diamonds are for observables involving only ${\sigma }_l^z$$(\alpha =z)$ operators, red lines with circles are for ${\sigma }_l^x$$(\alpha =x)$, and blue lines with stars are for ${\sigma }_l^y$$(\alpha =y)$ operators, respectively. Black-dashed, brown-dotted, and grey-dashed dotted lines are the fits for ${\sigma }_l^z$, ${\sigma }_l^x$, and ${\sigma }_l^y$ observables. Here, $J_z=1$, $h_x=0.9$, and $h_z=0.809$.

4.4. Dynamics of OTOCs

We study the dynamics of OTOC in Figure 3, where each panel reflects the same case analyzed in the corresponding panel of Figure 2. Green lines are for observables involving only ${\sigma }_l^z$ operators, red lines are for ${\sigma }_l^x$, and blue lines are for ${\sigma }_l^y$ operators, respectively. In these plots, we need to study the long-time evolution. We thus need to disregard initial transients. At the same time, though, our results are affected by finite size, so we would need to concentrate on long yet intermediate times to evaluate the relaxation of the OTOC over time. Light shades are for $L=14$, and dark shades for $L=12$. Black-dashed, brown-dotted, and grey-dashed dotted lines are the fits for ${\sigma }_l^z$, ${\sigma }_l^x$, and ${\sigma }_l^y$ observables. Figure 3a is for single-site observables, as in Equation (18). We have already seen that since $\mathrm{tr}(OH)\ne 0$, for $(O=A,B)$, then the infinite time value of OTOC $F_L^{AB}(t=\infty )$ scales as $1/L$. From our discussion at the end of Section 3.2, we thus expect that $F^{AB}(t)\propto 1/t^{1/2}$, and the numerical result of the dynamics, is well fitted by the black dashed line proportional to $t^{1/2}$.

Figure 3. Time evolution of OTOC corresponding to the single-site observables with $A={\sigma }_{L/2-1}^{\alpha }$, $B={\sigma }_{L/2}^{\alpha }$ panel (a), double-site observables with $A={\sigma }_{L/2-2}^{\alpha }{\sigma }_{L/2-1}^{\alpha }$, $B={\sigma }_{L/2}^{\alpha }{\sigma }_{L/2+1}^{\alpha }$ (b), triple-site observables $A={\sigma }_{L/2-3}^{\alpha }{\sigma }_{L/2-2}^{\alpha }{\sigma }_{L/2-1}^{\alpha }$, $B={\sigma }_{L/2}^{\alpha }{\sigma }_{L/2+1}^{\alpha }{\sigma }_{L/2+2}^{\alpha }$ (c), and quadruple-site observables $A={\sigma }_{L/2-4}^{\alpha }{\sigma }_{L/2-3}^{\alpha }{\sigma }_{L/2-2}^{\alpha }{\sigma }_{L/2-1}^{\alpha }$, $B={\sigma }_{L/2}^{\alpha }{\sigma }_{L/2+1}^{\alpha }{\sigma }_{L/2+2}^{\alpha }{\sigma }_{L/2+3}^{\alpha }$ (d). Green lines are for observables involving only ${\sigma }_l^z$$(\alpha =z)$ operators, red lines are for ${\sigma }_l^x$$(\alpha =x)$, and blue lines are for ${\sigma }_l^y$$(\alpha =y)$ operators respectively. Black-dashed, brown-dotted, and grey-dashed dotted lines are the fits for ${\sigma }_l^z$, ${\sigma }_l^x$, and ${\sigma }_l^y$ observables discussed in the text. Here, $L=14$ for lighter shades and $L=12$ for darker shades and $J_z=1$, $h_x=0.9$, and $h_z=0.809$.

In Figure 3b, we study the two-site observables of Equation (19) with $l=L/2$ for observable B and $l=L/2-2$ for observable A. As already discussed, the lowest order terms that have non zero values in the Taylor expansion for these observables are $1,2$ and 3, respectively, for the ${\sigma }_l^z,{\sigma }_l^x,{\sigma }_l^y$ observables. In Figure 2b, we showed the scaling of the infinite-time OTOC for these observables as $1/L$, $1/L^2$, $1/L^3$. Here, we would thus expect a scaling with times of $1/t^{1/2}$, $1/t$, and $1/t^{3/2}$, as shown in the plots by dotted, dashed dotted, and dashed lines, respectively. We study the evolution of three-site observables of Equation (20) in Figure 3c. Here, $l=L/2-3$ for A and $l=L/2$ for B. Fitted lines are for $1/t$ and $1/t^{3/2}$ scaling as expected since $\mathrm{tr}(OH)\ne 0$ for ${\sigma }_l^z$ and $\mathrm{tr}(O{H}^2)\ne 0$ for the ${\sigma }_l^x$ observable. Panel (d) shows the dynamics for four site observables with $l=L/2-4$ for A and $l=L/2$ for B. The expected scaling is $1/t$, $1/t^2$, and $1/t^3$ for $\alpha =z,x$ and y, respectively, whose operators for the corresponding critical exponent $p_c$ that gives non-zero overlap are $2,4$, and 6.

5. Conclusions

OTOCs have been studied as a probe for quantum information scrambling. Slow, algebraic scrambling has been reported in systems with local conserved quantities [34,38,39,40].

In this paper, we showed that the higher the exponent at which ones elevates the Hamiltonian in order to have a non-zero overlap with the operators in the OTOC, the faster is the relaxation of the OTOC over time. Furthermore, if there is an exponent such that the overlap is non-zero, then the relaxation, even if it appears to be fast, is bounded to be, at the fastest, algebraic, and only if there is no overlap with any power of the Hamiltonian (or other conserved quantities), then the relaxation can be exponential.

From our results, it follows that considering single-site operators in the OTOC, and a local Hamiltonian with only a single site and nearest neighbours term, relaxation can only take a limited set of exponents. It is thus necessary to consider operators with larger support, such as two-site, three-site, and four-site operators, to observe a larger variety and magnitude of relaxation exponents. This, however, leads to the difficulty of studying the relaxation numerically due to more pronounced finite-size effects when studying operators with larger support. Future developments in numerical methods could help to test our results for larger systems.

In order to derive these results, we also found a relation between the first non-zero derivative of the function representing the diagonals of an operator in the energy basis and the first non-zero exponent of the Hamiltonian (which has non-zero overlap with the operators of the OTOC). Future works could extend these results to time-dependent systems with other types of conserved quantities.