Abstract
This work aims at giving Trotter errors in digital quantum simulation (DQS) of collective spin systems an interpretation in terms of quantum chaos of the kicked top. In particular, for DQS of such systems, regular dynamics of the kicked top ensures convergence of the Trotterized time evolution, while chaos in the top, which sets in above a sharp threshold value of the Trotter step size, corresponds to the proliferation of Trotter errors. We show the possibility to analyze this phenomenology in a wide variety of experimental realizations of the kicked top, ranging from single atomic spins to trappedion quantum simulators which implement DQS of alltoall interacting spin1/2 systems. These platforms thus enable indepth studies of Trotter errors and their relation to signatures of quantum chaos, including the growth of outoftimeordered correlators.
Similar content being viewed by others
Introduction
In digital quantum simulation (DQS), unitary Hamiltonian evolution is decomposed into a sequence of quantum gates. A common approach to achieve this decomposition utilizes SuzukiTrotter formulas^{1,2} to approximately factorize the time evolution operator.^{3,4,5,6,7,8,9,10,11,12} It is a fundamental conceptual question under which conditions this “Trotterization” is a controlled approximation. A recent numerical study^{13} by some of us found that Trotter errors in DQS of generic manybody systems remain bounded below and proliferate above a dynamical transition to manybody quantum chaos.^{14} Motivated by these findings we revisit the kicked top, a paradigmatic model of singlebody quantum chaos.^{15} Resorting to this wellstudied model system allows us to gain insights into Trotter errors in DQS of collective spin systems. Moreover, the kicked top connects smoothly to a paradigmatic DQS of an Ising chain with longranged powerlaw interactions.
The dynamics of the kicked top is described by the timedependent Hamiltonian
which combines precession of the spin of the top S around a fixed axis, H_{x} = h_{x}S_{x}, with nonlinear “kicks” given by \(H_z = J_zS_z^2/(2S + 1)\), which are applied periodically at times t = nτ for all n ∈ \({\mathbb{Z}}\). Here, S_{μ} with μ = x, y, z are quantum angular momentum operators. The inverse spin size can be regarded as an effective Planck constant, ħ_{eff} = 1/S,^{15} and in the limit S → ∞, a semiclassical description of the dynamics applies. Then, the precession of a classical top is only slightly perturbed by weak kicks, whereas strong kicks cause the top to tumble chaotically.^{15} This classical chaotic motion is reflected in the spectrum of the Floquet operator (we set the “true” Planck constant to unity, ħ = 1),
which determines the evolution of a quantum kicked top during a period of duration τ: In the chaotic regime of strong kicking, the spectral statistics of U_{τ} is described by Dyson’s ensemble of random orthogonal matrices.^{15} Indeed, it is a defining feature of quantum chaotic systems that their spectral statistics are universal and obey predictions from randommatrix theory (RMT).^{15} Among the model systems of quantum chaos, the kicked top stands out due to its extraordinary faithfulness to RMT. The discovery of this property initiated a surge of theoretical studies. Recent developments,^{16,17,18,19} include proposals^{20} to diagnose chaos in the kicked top by measuring outoftimeordered correlators, and the discovery of critical quasienergy states.^{21} Experimentally, the kicked top was realized as the spin of single Cesium atoms^{22} with S = 3, as the collective spin of an ensemble of three superconducting qubits^{23} corresponding to S = 3/2, and very recently in nuclear magnetic resonance (NMR) as a spin S = 1 composed of two spin1/2 nuclei.^{24} Novel experimental possibilities include atomic species with high spin becoming available in labs such as Dysprosium^{25} with S = 8 and Erbium^{26} with S = 19/2, and also the spin S = 7/2 of ^{123}Sb nuclei;^{26} implementations as collective spin in quantum simulators of alltoall coupled spin1/2 with “flipflop” qubits,^{27} or trapped ions^{28,29} in which S ≳ 50 can be realized; and condensates of ultracold bosonic atoms^{30} corresponding to even larger collective spins S on the order of several hundreds.
Formally, the dynamics of the kicked top, described by repeated application of the Floquet operator U_{τ} in Eq. (2), is equivalent to DQS of a system with Hamiltonian H = H_{x} + H_{z}: in DQS, time evolution is often “Trotterized”,^{1,2} i.e., the runtime t of a simulation is split into n steps of duration t/n, and within each step the time evolution operator is approximately factorized
We note that other ways of decomposing the time evolution operator are being studied in the literature.^{31,32} Further, Trotterization is not uniquely defined, and we discuss different schemes in Methods. To establish the formal equivalence with a periodically kicked system, in Eq. (3) we identified the Trotter step size with the kicking period, τ = t/n. One of the main goals of DQS is to enable studying the dynamics of quantum manybody systems in regimes where the growth of entanglement prohibits classical simulations. A typical model system which is implemented in trappedion quantum simulators^{4,10,11,28,29,33} is the Ising chain described by
with spin operators \(S_i^\mu\) where μ = x, y, z and i = 1, … , N, and the powerlaw coupling strength J_{z,α}. For such longrange interacting systems, extensivity of the Hamiltonian is ensured by the Kac prescription,^{34}
In the limit α → 0, this model describes alltoall interactions between spins and becomes equivalent to the quantum kicked top. In the opposite limit of nearestneighbor interactions, α → ∞, and with the addition of a longitudinal field in Eq. (4), some of us addressed in ref. ^{13} the crucial question of “Trotter errors”, i.e., errors in DQS due to the approximate factorization \({\mathrm{e}}^{  {\mathrm{i}}H\tau } \approx {\mathrm{e}}^{  {\mathrm{i}}H_z\tau }{\mathrm{e}}^{  {\mathrm{i}}H_x\tau }\). By performing extensive numerical simulations, ref. ^{13} found that the Trotter error in observables such as the magnetization exhibits threshold behavior as the Trotter step size τ is changed. Below the threshold, the Trotter error admits a perturbative expansion in τ, while it is uncontrolled above the threshold. Ref. ^{13} attributed this behavior to a transition from dynamical localization to a regime showing features of manybody quantum chaos.
Studies of manybody quantum chaos^{14} typically have to resort to numerics (see refs ^{35,36} for exceptions). In singlebody quantum chaos, on the other hand, sophisticated techniques have been developed to establish deep connections to RMT even analytically. To harness this knowledge, we first focus here on the alltoall interacting limit α → 0 of the Hamiltonian Eq. (4). In this limit, the collective spin \(S^2 = S_x^2 + S_y^2 + S_z^2\) with components \(S_\mu = \mathop {\sum}\nolimits_{i = 1}^N {S_i^\mu }\) where μ = x, y, z becomes a constant of motion. Accordingly, the 2^{N}dimensional Hilbert space of a system of N spin1/2 can be decomposed into decoupled subspaces of fixed total spin S. In each of these subspaces, the Trotterized dynamics (3) reproduces the dynamics of a kicked top of size S. We focus specifically on the subspace with maximal spin S = N/2, in which the Hamiltonians given in Eq. (4) reduce to those in Eq. (1) (up to an inconsequential additive shift of the total energy and a rescaling J_{z} → 2(N + 1)J_{z}/N to accommodate usual conventions). The dimension \({\cal{D}} = 2S + 1 = N + 1\) of this subspace scales linearly with the number of spins N. Chaotic motion of the kicked top is ergodic within this subspace, and it does not explore the full manybody Hilbert space of dimension 2^{N}. In this regard, the kicked top does not display manybody quantum chaos.
We show that in this setting nevertheless observables exhibit the same threshold behavior as described in ref. ^{13} for a generic manybody system. Moreover, we show that the threshold is determined by the onset of quantum chaos in the kicked top. While this implies that physical observables in DQS can remain close to their “ideal” values, we find that the fidelity of the simulated manybody quantum states drops sharply with time for any nonzero Trotter step in large systems. In view of the variety of possible experimental implementations of the kicked top listed above, we determine requirements on system sizes and decoherence rates to observe the threshold behavior. It is an interesting conceptual question whether in an ideal DQS Trotter errors could be controlled up to arbitrarily long times and in the thermodynamic limit in which N and hence S tend to infinity. For collective spin models, we find that this is indeed the case.
Finally, we connect the results for collective spin systems to the case of generic manybody systems.^{13} In particular, we explore the influence of deformations of the kicked top to α > 0, where the problem can no longer be solved on the basis of collective spin operators. Instead, we resort to exact diagonalization of systems up to N = 14, where we recover the essential features of the kicked top. The threshold in Trotter errors persists over the entire studied range 0 ≤ α ≤ 3 from alltoall to dipolar interactions.
Results
Trotter errors in DQS of collective spin systems
We consider two measures of Trotter errors: deviations of the expectation values of physical observables^{13} and the fidelity of the quantum state obtained in DQS. Interestingly, these measures exhibit strikingly different behaviors.
We first compare the “magnetization”, i.e., the expectation value of S_{z}, under Trotterized and ideal dynamics starting from a spin coherent state \(\left {\theta ,\phi } \right\rangle = {\mathrm{e}}^{{\mathrm{i}}\theta \left( {S_x\sin (\phi )  S_y\cos (\phi )} \right)}\left {S,S_z = S} \right\rangle\). Here, S, S_{z}〉 is an eigenstate of the spin zcomponent with eigenvalue S. The magnetization error is defined as
where the expectation value 〈⋅〉_{τ} is taken under Trotterized dynamics with step size τ while 〈⋅〉 pertains to time evolution with the target Hamiltonian H. The accumulated effect of Trotter errors is quantified by the stroboscopic temporal average \(\overline {\Delta M} (t) = \frac{1}{{n_t}}\mathop {\sum}_{n = 1}^{n_t} \Delta M(n\tau )\) where \(n_t = \left\lfloor {t/\tau } \right\rfloor\), which is shown in Fig. 1a. For this figure and throughout the paper, we assume that
for both μ = x and μ = z, with h_{x} = 0.1J_{z}, J_{x} = 0.7J_{z}, and h_{z} = 0.3J_{z}. However, our results do not depend on the precise values of these parameters (except for finetuned points of higher symmetry such as h_{x} = h_{z}, J_{x} = J_{z}). As shown in the figure, after a characteristic time of J_{z}t_{th} ≈ 25 for the spin size S = 50 and the above parameters, the timeaveraged magnetization error exhibits clear threshold behavior: While Trotter errors remain small for Trotter step sizes τ below a threshold value J_{z}τ_{*} ≈ 2.5, errors become significant for larger τ. A concrete experimental realization will also suffer from other imperfections. However, the regimes of bounded and uncontrolled Trotter errors can still be distinguished if t_{c} > t_{th}, where t_{c} is the coherence time. This is discussed further in Discussion.
As detailed below, τ_{*} determines the radius of convergence of the Floquet–Magnus (FM) expansion for the effective Hamiltonian H_{τ} defined by \(U_\tau = {\mathrm{e}}^{  {\mathrm{i}}H_\tau \tau }\) (see ref. ^{16} for the FM expansion in the context of the kicked top). The FM expansion is guaranteed to converge always if the “driving frequency” Ω = 2π/τ exceeds the timeaveraged operator norm of the Hamiltonian, i.e., \(\Omega \gtrsim \frac{1}{\tau }{\int}_0^\tau d t\left\ {H(t)} \right\\).^{37} Intuitively, for such high driving frequencies, the system cannot absorb energy from the drive and thus the energy as measured by the expectation value of the timeaveraged Hamiltonian H = H_{x} + H_{z} is conserved. The range of values of the Trotter step τ in which this criterion applies vanishes for large spin sizes S since \(\left\ {H(t)} \right\\sim S\) so that τ ≲ 1/S. However, we find in DQS of collective spin systems that heating is suppressed up to a Trotter step size τ_{*} even for large values of S. We quantify this absence of heating for τ < τ_{*} by the “simulation accuracy”^{13}
where E_{τ}(t) = 〈H(t)〉_{τ}, and E_{0} = 〈ψ_{0}Hψ_{0}〉 is the energy of the initial state at t = 0. In Q_{E}(t), the energy increase is normalized with respect to the difference between the energy of an infinitetemperature state, \(E_{T = \infty } = {\mathrm{tr}}(H)/{\cal{D}}\), where \({\cal{D}} = 2S + 1\) is the Hilbert space dimension, and E_{0}. A value of Q_{E}(t) = 1 thus indicates heating to infinite temperature. Figure 1b shows the finitetime average, \(\overline {Q_E} (t) = \frac{1}{{n_t}}\mathop {\sum}\nolimits_{n = 1}^{n_t} {Q_E} (n\tau )\), which clearly exhibits threshold behavior characterized by the same timescales t_{th} and τ_{*} as the magnetization error.
These results demonstrate that fewbody observables are quite robust against Trotter errors for τ < τ_{*}. This is in stark contrast to the accuracy of the full unitary timeevolution operator: The difference \(U(t)  U_\tau ^n\), which quantifies the error made in the Trotterization in Eq. (3), grows at least linearly in both the simulation time t = nτ and the system size N.^{38,39,40,41} Similarly, the robustness of observables also does not extend to the quantum state \(\left {\psi _\tau (t)} \right\rangle = U_\tau ^{n_t}\left {\psi _0} \right\rangle\) obtained under Trotterized dynamics in DQS. In Fig. 1c, we show stroboscopic temporal averages of the fidelity \({\cal{F}}(t)\), i.e., the absolute value of the overlap of ψ_{τ}(t)〉 with the ideal target state ψ(t)〉 = U(t)ψ_{0}〉
As illustrated in the figure, the temporal average \(\overline {\cal{F}} (t)\) approaches the ideal value of \(\overline {\cal{F}} (t) = 1\) for τ → 0, but drops sharply already for J_{z}τ ≪ 1, and in particular for Trotter step sizes which are much smaller than the threshold value τ_{*} identified above for the magnetization error and the simulation accuracy. At this threshold value, i.e., for τ ≈ τ_{*}, there is another noticeable drop in \(\overline {\cal{F}} (t)\). However, also in the region below τ_{*} the fidelity vanishes with increasing system size as shown in Fig. 1f. For large system sizes, the decay of the fidelity approaches \({\cal{F}}(t)\sim 1/\sqrt {\cal{D}}\) set by the Hilbert space dimension \({\cal{D}} = 2S + 1\).^{42} Thus, there is no persistent threshold behavior in the fidelity of the simulated quantum state. In light of this fragility of the quantum state, the robustness of local observables seems rather remarkable.
Thus far, we have focused on the temporal evolution of Trotter errors and, in particular, on the dynamical buildup of a threshold in physical observables. Notably, in collective spin systems, both the infinitetime and thermodynamic limits are accessible. Figure 1d shows the infinitetime average of the magnetization error. The data for S < ∞ is obtained by exact diagonalization of the Floquet operator U_{τ}. In the limit S → ∞, the effective Planck constant vanishes, ħ_{eff} = 1/S → 0.^{15} Therefore, in the thermodynamic limit, the spin components obey semiclassical stroboscopic evolution equations as detailed in Methods. These evolution equations can be iterated efficiently, and the longtime average for S → ∞ shown in Fig. 1d, e corresponds to n = 10^{6} iterations. Fluctuations in the data for \(\overline {\Delta M}\) decrease upon further increasing the number of iterations.
As can be seen in Fig. 1d, the threshold behavior identified above at finite times persists for t → ∞. We note that the different shapes of the curves for the magnetization error in Fig. 1a, d are due to the different choice of the initial state, which is θ, ϕ〉 = 0, 0〉 = S, S〉 and θ, ϕ〉 = 0.25π, 0〉 in a and d, respectively. We comment below on these statedependent variations, also of the threshold value τ_{*} itself.
For small Trotter steps, the timeaveraged magnetization error admits a controlled expansion in powers of τ,
This expansion can be obtained analytically from the FM series for the effective Hamiltonian by employing timedependent perturbation theory,^{13} which we generalize to arbitrary initial states in the Supplementary Section 1. While we cannot justify the truncation of the FM expansion underlying Eq. (10) with full mathematical rigor, we take the excellent quantitative agreement between Eq. (10) and the numerical data shown in Fig. 1d as evidence that the scaling of the error predicted by truncating the FM expansion is indeed correct. Our numerical findings indicate that a fully rigorous justification of the analytical error estimate can be given, perhaps similarly to the problem of simulating local lattice Hamiltonians,^{40} where an integral representation of Trotter errors for the full time evolution operator^{41} proved the correctness of error estimates based on a truncation of the Baker–Campbell–Hausdorff formula.^{39} Further, our findings suggest that the radius of convergence of the expansion Eq. (10) coincides with τ_{*} and is finite.
Figure 1d shows data for spin sizes ranging form S = 8 to S → ∞. The smallest value shown, S = 8, is realized in experiments with Dysprosium atoms,^{24} while S = 64 can be achieved in 1D^{4,33} or 2D arrays of ions.^{29} A threshold in \(\overline {\Delta M}\) is visible over the entire range of values of S. The value of τ_{*} depends only very weakly on system size, and crucially it remains finite even for S → ∞. These observations do not depend qualitatively on the choice of the Hamiltonian parameters or the angles θ and ϕ specifying the initial coherent spin state.
In Fig. 1e, we also show the longtime average \(\overline {Q_E}\) of the simulation accuracy Q_{E}(t) defined in Eq. (8). Clearly, heating is suppressed to perturbatively small values, \(\overline {Q_E} = q_1\tau + q_2\tau ^2 + O(\tau ^3)\), for Trotter steps up to the same threshold value τ_{*} as for the magnetization error, indicating a finite radius of convergence of the FM expansion even for S → ∞. As in the expansion for the magnetization error in Eq. (10), the coefficients q_{1} and q_{2} can be obtained analytically by timedependent perturbation theory, see the Supplementary Section 1.
The existence of controlled perturbative expansions for Trotter errors of fewbody observables up to comparatively large values of the Trotter step size has profound practical implications for DQS. First, to obtain accurate results for fewbody observables in DQS, one ideally would like to extrapolate from data at various finite τ to the limit τ → 0. Our results show that a controlled extrapolation is possible from a wide range of values τ < τ* with J_{z}τ* of order one, and is not restricted by the commonly expected requirement J_{z}τ ≪ 1.^{3} Second, the ability to retain controlled Trotter errors with relatively large Trotter steps is highly beneficial for current experimental efforts in DQS, as the reduced number of required quantum gates mitigates the effects of imperfect gate operations.^{13}
The region of controlled Trotter errors at small Trotter step sizes gives way to a proliferation of errors at τ > τ^{*}. In particular, the timeaveraged simulation accuracy shown in Fig. 1e approaches the maximum value of \(\overline {Q_E} = 1\) with increasing spin size. In Methods we show that this value is compatible with the assumption that the Floquet operator Eq. (2) is a random unitary matrix. In other words, the Trotterized dynamics becomes completely unrelated to the ideal dynamics generated by the target Hamiltonian H and in this sense universal. As we detail in the following, this breakdown of Trotterization, which becomes sharp for S → ∞, marks the onset of quantum chaos.
Interpretation of the proliferation of Trotter errors as quantum chaos
As we show in the following, the threshold behavior in the magnetization error and the simulation accuracy can be traced back to the transition from dynamical localization to quantum chaos in the kicked top. Indeed, for strong kicking, which corresponds to large Trotter steps τ, the kicked top is wellknown to exhibit quantum chaos.^{15} Then, statistical properties of the eigenvectors and eigenvalues of the Floquet operator Eq. (2) are faithful to RMT predictions. In the case of Hamiltonians H_{x,z} as given in Eq. (7) with all coefficients h_{x,z} and J_{x,z} different from zero, the Floquet operator does not have any symmetries other than time reversal.^{15} Thence, the relevant RMT ensemble is the circular orthogonal ensemble (COE) of unitary and symmetric matrices.
Our first indicator of quantum chaos is connected to the inverseparticipation ratio (IPR) for a state ψ_{0}〉
where {ϕ_{m}〉}_{m} denotes the eigenbasis of the Floquet operator U_{τ}. We average the IPR over the basis of the target Hamiltonian {ψ_{n}〉}_{n} and take its inverse to obtain the PR
In this definition, we rescaled the PR by a factor of \(1/{\cal{D}}\) so that it assumes values between two limiting cases
A low PR, thus, indicates that the two eigenbases are very similar (localization), whereas a high PR indicates equal absolute overlaps between all the eigenstates (delocalization). We show the PR for the kicked top in Fig. 2a. Similar to the Trotter errors discussed above, the PR exhibits a steep increase at a critical value of the Trotter step size τ. However, we would like to emphasize a crucial difference between the PR and Trotter errors of observables: The threshold value τ_{*} for Trotter errors depends on the initial state of the time evolution as illustrated Fig. 1a, b, d, e. On the other hand, the PR as defined in Eq. (12) contains an average over the entire eigenbasis of the target Hamiltonian, and consequently it is a “global” rather than a statedependent and thus “local” measure of the onset of chaos. We discuss this distinction in more detail below.
In Fig. 2a, two sets of curves are displayed: Solid lines pertain to the PR calculated with eigenvectors ϕ_{m}〉 of the Floquet operator U_{τ} given in Eq. (2); dashed lines correspond to a symmetric Floquet operator
which realizes a higherorder Trotter decomposition as explained in Methods, and is related to the Floquet operator U_{τ} in Eq. (2) by a unitary transformation
In the chaotic regime of large Trotter steps, the PR obtained from the Floquet operator U_{τ} Eq. (2) assumes the value predicted for the CUE of RMT, see Eq. (21). On the other hand, the symmetric Floquet operator U_{τ,s} yields a value of the PR that matches the COE prediction obtained from Eq. (22). This difference can be understood by noting that since the Floquet opreator U_{τ,s} is symmetric, \(U_{\tau ,{\mathrm{s}}} = U_{\tau ,{\mathrm{s}}}^T\), it can be regarded as an element of the COE. The PR Eq. (12) probes the statistics of eigenvectors of the Floquet operator U_{τ,s}, and in the chaotic regime it approaches the RMT prediction. As we explain in Methods, the RMT prediction is obtained by taking an average over the ensemble of eigenvectors of random matrices of the COE, i.e., unitnorm vectors with real components. U_{τ,s} is related to the nonsymmetric Floquet operator U_{τ} by the unitary transformation given in Eq. (15). Since a unitary transformation does not affect the spectrum of an operator, both U_{τ} and U_{τ,s} exhibit the same level statistics in the chaotic regime which we discuss in more detail below. However, as shown in Fig. 2a, the unitary transformation Q strongly affects the PR. Indeed, our results for the PR corresponding to U_{τ} indicate that applying Q to the ensemble of eigenvectors corresponding to the COE yields an ensemble of vectors that resembles the one of the CUE, which is comprised of unitnorm vectors with complex components.
At small Trotter steps, the PR does not assume the lowest possible value \(\sim \! 1/{\cal{D}} = 1/(2S + 1) = 1/(N + 1)\). Instead, it appears to converge to a finite value, which indicates that even in this localized regime the basis states ψ_{m}〉 of H are spread out over \(\sim \! {\cal{D}}\) Floquet states ϕ_{m}〉. This is similar to the manybody case considered in ref. ^{13} and further below, where for small τ an exponential number of Floquet states is required to represent generic states, but with an exponent that is smaller than the maximal possible one.
Signatures of the transition to chaos can also be found in the spectrum σ(U_{τ}) of the Floquet operator. The eigenphases {θ_{n}}_{n} of the unitary operator U_{τ} are defined through \(\sigma (U_\tau ) = \{ {\mathrm{e}}^{{\mathrm{i}}\theta _n}\} _n\) and are shown in Fig. 2b for a system with S = 8. Already by visual inspection of the figure, three regimes can be distinguished: (i) In the region of very small τ, the eigenphases of the Floquet operator U_{τ} coincide with the phases corresponding to the ideal timeevolution operator over one Trotter step, e^{−iHτ}, which are shown as gray lines in the figure. (ii) In the second regime, the phases start to wind around the interval [−π, π]. This leads to level crossings, which, however, are avoided ones with only very narrow gaps. (iii) A dramatic change can be observed in the third regime, where phase repulsion becomes strongly pronounced, which indicates significant overlaps between the respective eigenstates.
A quantitative oneparameter measure of the degree of phase repulsion is given by the average adjacent phase spacing ratio r.^{43} In terms of the phase spacings δ_{n} = θ_{n+1} − θ_{n}, the average spacing ratio is defined through
where \({\cal{D}} = 2S + 1\) denotes the dimension of the Hilbert space. The phase spacing ratio takes universal values for distinct ensembles of random matrices: In the absence of correlations between the eigenphases, which corresponds to Poissonian statistics of the adjacent phase spacings, the phase spacing ratio is given by \(r_{{\mathrm{POI}}} = 2\ln (2)  1 \approx 0.39\); in contrast, the repulsion between eigenphases of random matrices sampled from the COE is reflected in a higher universal value of the adjacent phase spacing ratio, r_{COE} = 0.5996(1).^{44} For the Floquet operator U_{τ} in Eq. (2), the adjacent phase spacing ratio is shown in Fig. 2c. Again, three regimes can be distinguished: in a region of size ~1/S in which the spectral width of the target Hamiltonian H is smaller than Ω = 2π/τ, r is determined by the spectral statistics of H. The corresponding value of r depends on the spin size S and does not assume any of the universal ones given above. This is not surprising: It is wellknown that quantum systems with timeindependent Hamiltonians that have classical counterparts with only one degree of freedom exhibit nonuniversal level statistics.^{14,15} This is the case, in particular, for the considered spin systems, where the expectation values of the collective spin operators span a twodimensional phase space corresponding to a single degree of freedom in the classical limit. Indeed, for a classical top S with spin components S_{x,y,z}, the dynamics is restricted to the surface of a sphere, \(S^2 = S_x^2 + S_y^2 + S_z^2\), and can be parameterized in terms of the polar and azimuthal angles θ and ϕ, respectively, which span the twodimensional phase space (θ, ϕ) ∈ [0, π) × [0, 2π). In the second regime in Fig. 2c, the eigenphases θ_{n} of the Floquet operator wind around the unit circle. As shown in the previous section, for values of τ up to J_{z}τ ≲ 2, the dynamics is wellcaptured by the timeindependent effective Hamiltonian H_{τ} obtained in the FM expansion. For the average phase spacing ratio we find r ≈ 0.26 in this regime. This nonuniversal value depends on the choice of parameters h_{x,z} and J_{x,z}. Finally, for large values of τ, the adjacent phase spacing ratio assumes the universal value predicted by RMT for the COE.
We note that while the behavior of fewbody observables considered above is exactly analogous to the phenomenology of generic (shortrange interacting) manybody systems,^{13} here we find a crucial difference: even in the dynamically localized regime, the timeevolution operator of an interacting manybody system displays COE phase statistics.^{45} Therefore, the statistics of the eigenphases of the Floquet operator does not allow one to distinguish between localized and manybody chaotic regimes.
The PR and the adjacent gap ratio include averages over the entire set of eigenstates and eigenphases of the Floquet operator U_{τ} in Eq. (2). Hence, they pertain to “global” properties of the dynamics, and show that at large Trotter step sizes the Floquet operator is faithful to RMT—a hallmark of singlebody quantum chaos. In contrast, the magnetization error and the simulation accuracy discussed above measure Trotter errors in the time evolution starting from a single initial state. Therefore, they yield a more “local” measure of irregularity in the dynamics, and indeed we found that the value τ* of the threshold in Trotter errors depends on the initial state. To explain this initialstate dependence, we consider again the semiclassical limit of the top. From the stroboscopic Heisenberg equations for the spincomponents of the top, we obtain in the semiclassical limit the Poincaré sections shown in Fig. 2d–f. Regimes of regular and chaotic dynamics coexist in the classical phase space, and their relative weight is tuned by the Trotter step size τ. This coexistence is reflected in the initialstate dependence of τ* in the thermodynamic limit as can be seen in Fig. 2g, where we show the simulation accuracy for trajectories which emanate from the initial states marked by colored dots in Fig. 2d–f. Note that for our choice of parameters h_{x,z} and J_{x,z}, states pertaining to θ ∈ {0, π} are particularly stable whereas states around \(\theta \approx \frac{\pi }{2}\) are generally more sensitive.
The signatures of chaos discussed so far show clearly that the proliferation of Trotter errors is a concomitant effect of the transition from regular to chaotic dynamics in the kicked top. However, in contrast to Trotter errors, in experiments these signatures are not directly accessible. We proceed to discuss how chaos is quantified by outoftimeordered correlation functions (OTOCs) which, as we show in the Supplementary Section 2, can be measured in experimental realizations of the kicked top.
Signatures of dynamical localization and quantum chaos in outoftimeordered correlators
A hallmark of chaotic dynamics in classical systems is the butterfly effect, which is caused by extreme sensitivity to initial conditions: In a chaotic system, two trajectories that emanate from nearby points in phase space deviate from each other exponentially fast. The rate entering this exponential, which is called the Lyapunov exponent, is a quantitative measure of chaos.
A generalization of these concepts to the quantum domain can be given in terms of OTOCs.^{46,47,48} The “infinitetemperature” OTOC for two initially commuting operators V and W is defined as
where \({\cal{D}}\) is the Hilbert space dimension, and the Heisenberg operator \(W(t) = U(t)^\dagger WU(t)\) is evolved unitarily with U(t). Here, we consider a single spin S with Trotterized dynamics, for which the Hilbert space dimension is \({\cal{D}} = 2S + 1\) and we evaluate C(t) stroboscopically at multiples of the Trotter step such that t = nτ and \(W(n\tau ) = U_\tau ^{n\dagger }WU_\tau ^n\). In certain highly chaotic systems,^{47,48,49} the OTOC exhibits an extended period of exponential growth, and the growth rate serves as a quantum analog of the classical Lyapunov exponent. Moreover, the infinitetime limiting value of the OTOC is maximal if the timeevolution operator U(t) is faithful to an ensemble of RMT.^{50} Due to its properties as a diagnostic of chaos, the OTOC has gained a lot of attention recently in a wide range of physical contexts including highenergy, condensed matter, and AMO physics.^{20,29,47,48,49,51,52} In experimental realizations of the kicked top, the OTOC could be accessed through a recently introduced scheme which is based on correlations between randomized measurements^{53} and has already been demonstrated in NMR.^{54} We give details on the experimental requirements in the Supplementary Section 2.
As we show in the following, in the kicked top, both the shorttime growth as well as the longtime saturation of the OTOC are indicative of the transition from dynamical localization to chaos. This is illustrated in Fig. 3, which shows the infinitetemperature OTOC (17) with unitary \(V = {\mathrm{e}}^{  {\mathrm{i}}\varphi S_z}\) and Hermitian W = S_{z}—a particular choice of operators that facilitates the measurement of C(t)^{20,29,53,55,56,57,58,59} as also discussed in the Supplementary Section 2. However, we note that for the value φ = 10^{−4} shown in Fig. 3, the OTOC reduces to the form \(C(t) =  \frac{{\varphi ^2}}{{\cal{D}}}{\mathrm{tr}}([S_z(t),S_z]^2) + O(\varphi ^4)\).
The growth of the OTOC is depicted in Fig. 3a. As expected in a chaotic system, for large Trotter step sizes the OTOC grows exponentially, \(C(t)\sim {\mathrm{e}}^{\lambda J_zt}\).^{51,60} This exponential growth extends up to the Ehrenfest time \(t_{\mathrm{E}}\sim \left {\ln (\hbar _{{\mathrm{eff}}})} \right\), where the effective Planck constant is determined by the spin size, ħ_{eff} = 1/S.^{15} For times t beyond the Ehrenfest time t_{E}, the OTOC saturates at a value C(t) = C_{COE} that is compatible with replacing the timeevolution operator in Eq. (17) by a random unitary matrix drawn from the COE as shown in Methods.
The behavior of the OTOC is markedly different in the regular regime. In particular, for the smallest nonzero Trotter step size J_{z}τ = 0.73 shown in Fig. 3a, the OTOC is essentially indistinguishable from evolution under U(t) = e^{−iHt} with the target Hamiltonian H = H_{x} + H_{z}, which is labeled as J_{z}τ = 0 in the figure. From a shorttime expansion of the time evolution operator as e^{−iHt} = 1 − iHt + O(t^{2}) it follows immediately that at very short times the OTOC grows algebraically, C(t) ~ t^{2}. The algebraic behavior persists approximately up to a time J_{z}t of order one. Then, the OTOC grows exponentially also in the regular regime. Similar behavior, i.e., exponential growth of the OTOC in a (classically) regular parameter regime, was recently discussed in ref. ^{52} for the kicked rotor. However, there are two key differences between the regular and chaotic regimes: (i) in the regular regime, the exponential growth gives way to much slower growth at late times, and eventually saturates at a value below C_{COE} as shown in Fig. 3b; (ii) moreover, the growth rate λ, which we extract from the numerical data in the region of exponential growth, assumes a constant but weakly systemsize dependent value in the regular regime as shown in Fig. 3c. In contrast, it rises sharply upon increasing the Trotter step size τ beyond the threshold to chaotic dynamics.
In Fig. 3, we show data for spin sizes S = 256,512,1024. These rather large system sizes allow us to determine the growth rate λ very accurately due to the large Ehrenfest time \(t_{\mathrm{E}}\sim \ln (S)\). However, we found (see Supplementary Section 2) that the two regimes in the dependence of λ on the Trotter step size—λ ≈ const. in the regular regime and strong increase of λ with τ in the chaotic regime—can be clearly distinguished also in systems with S ≳ 50 as in recent measurements of OTOCs with trapped ions.^{29}
The kicked top as a limit of longrange interacting spin chains
In the previous sections, we discussed extensively the kicked top as an ideal model system for the study of fundamental questions of both DQS and the associated quantum chaos threshold. Now, we explore to which extent our observations persist under natural deformations of the Hamiltonian in experimentally relevant settings. For this purpose, we consider Ising chains with algebraically decaying instead of alltoall interactions, which exhibit a direct realization in trappedion quantum computers.^{4,10,11,28,29,33} Specifically, we study a kicked spin chain as defined in Eqs. (4) and (5). By tuning the exponent α, the longrange Ising model allows us to smoothly interpolate between the two paradigmatic model systems of the infiniterange kicked top studied above and the nearestneighbor Ising chain, reached at α → 0 and α → ∞, respectively. Motivated by realistic trappedion experiments, we consider open boundary conditions. For the numerical data shown in what follows, we choose h_{x}/J_{z} = 1/4, but the main picture does not change for different parameter sets. We use a Lanczos algorithm with full reorthogonalization to propagate the initial state \(\left {\psi _0} \right\rangle = \otimes _{i = 1}^N\left \uparrow \right\rangle\) over up to 2 × 10^{4} periods. For the quantities shown below we perform a temporal average over all periods.
As explained above, the manybody Hilbert space of N spin1/2 can be decomposed into subspaces with fixed total spin S. The initial state ψ_{0}〉 given above belongs to the subspace of maximal spin S = N/2, and for α → 0 the dynamics is restricted to this subspace. That is, for α → 0 the Trotterized dynamics of the spin chain as defined in Eqs. (4) and (5) becomes equivalent to the kicked top Eq. (1) with S = N/2 and a rescaling of the parameter J_{z} as pointed out above. On the other hand, for nonzero values of α, the dynamics explores the 2^{N}dimensional manybody Hilbert space.
In Fig. 4a, we plot the numerically obtained data for the simulation accuracy Q_{E} defined in Eq. (8) in the longtime limit as a function of Trotter step τ and interaction exponent α for a fixed system size N = 14. To clearly illustrate how the kicked top is approached in the limit α → 0, Fig. 4d shows cuts through the same data for six values of the exponent α form α = 0 to α = 2. For small τ, we find that the properties observed already with the kicked top extend to α > 0. Specifically, \(\overline {Q_E}\) is small with \(\overline {Q_E} = q_2\tau ^2 + O(\tau ^3)\) (the firstorder term vanishes for the initial state \(\left {\psi _0} \right\rangle = \otimes _{i = 1}^N\left \uparrow \right\rangle\)). Upon increasing the Trotter step for α ≲ 1/4, however, \(\overline {Q_E}\) does not reach the value \(\overline {Q_E} \to 1\) expected in the quantum chaotic regime. We attribute this to the small number N = 14 of simulated spins and consequently to large finitesize corrections. This agrees also with our observations in Fig. 1e for the kicked top at α = 0, where significant finitesize effects in \(\overline {Q_E} _{}^{}\) appear (note also the different choice of initial state and Hamiltonian parameters in Fig. 1e). Instead, for α ≳ 1/4, we find a clear crossover from a perturbative regime at small Trotter steps τ, implying controllable Trotter errors, to a manybody quantum chaotic region with \(\overline {Q_E} \to 1\). Except for the range 0 ≤ α ≲ 1/4, the influence of the interaction exponent α on the simulation accuracy is only minor in that also the crossover region only shifts slightly upon varying α.
A similar picture emerges from the IPR defined in Eq. (11), which measures the localization properties of the state ψ_{0}〉 in the eigenbasis {ϕ_{m}〉}_{m} of the Floquet operator. For α > 0, the accessible Hilbert space grows exponentially with the number of spins, \({\cal{D}} = 2^N\). To account for this exponential dependence, we introduce the rate function \(\lambda _{{\mathrm{IPR}}} = \ln ({\mathrm{IPR}})/N\).^{13} In Fig. 4b, we show the ratio \(\lambda _{{\mathrm{IPR}}}/\lambda _{\cal{D}}\), where \(\lambda _{\cal{D}} = \ln (2)(1  3/N)\). This value incorporates leadingorder finitesize corrections as follows: On the one hand the system obeys both an inversion as well as Ising \({\mathbb{Z}}_{2}\) symmetry, such that \({\cal{D}} = 2^{N  2}\); On the other hand, RMT allows us to estimate the IPR in an ergodic phase as \({\mathrm{IPR}}\sim 2/{\cal{D}}\) for \({\cal{D}} \to \infty\), see Methods. Combining these two results we obtain the value of \(\lambda _{\cal{D}}\) given above. We note that here we restrict ourselves to comparing the IPR obtained for the initial state ψ_{0}〉 to the RMT prediction for the CUE Eq. (21). As discussed above, we expect that a symmetrized Floquet operator yields an IPR that is consistent with the COE result (22).
The rate function λ_{IPR} essentially reproduces the observations from the simulation accuracy in the range 0 < α ≤ 3 with only slight modifications, which we again attribute to finitesize corrections. The case α close to α = 0, however, deserves a more detailed discussion. While a system at α = 0 with total spin S = N/2 can access only \({\cal{D}} = 2S + 1 = N + 1\) quantum states in the Hilbert space, with any infinitesimal deviation from α = 0 this number grows to \({\cal{D}} = 2^N\). For a system with finite N as we consider here, however, we expect that the effective behavior of \({\cal{D}}\) has to interpolate from the polynomial dependence at α = 0 to the exponential dependence in N upon increasing α. This opens up a crossover window at small α, whose size diminishes for larger N and where the rate function λ_{IPR} exhibits strong finitesize corrections, as is also visible in Fig. 4b. Within the crossover window, the threshold to chaos is nevertheless clearly visible if instead of the rate function λ_{IPR} one considers the IPR Eq. (11) itself. This is illustrated in Fig. 4e, which is based on the same data as panel 4b and shows cuts for several small values of α. Beyond the crossover window, the rate function shown in Fig. 4b reproduces the observations from the simulation accuracy, while the crossover region from quantum localized to chaotic appears slightly broader.
The previous considerations provide numerical evidence for a quantum manybody chaos transition in the Trotterized time evolution. For completeness, we now aim to confirm our general arguments on controllable Trotter errors by studying also the longtime limit of a local observable, namely the magnetization M as done also for the kicked top. Our numerical data for the timeaveraged magnetization error Eq. (6) is shown in Fig. 4c. Again, we observe two different regimes depending on the Trotter step τ. Compared to the simulation accuracy and the IPR in Fig. 4b, the crossover region appears much sharper, which is also reflected in the cuts through the data shown in Fig. 4f. The overall behavior remains similar: delocalization of the timeevolved state in Hilbert space implies an error \(\overline {\Delta M}\) of order one as we find across a wide region in the α–τ plane. For small values of τ instead, \(\overline {\Delta M}\) is perturbatively small and Trotter errors remain controllable.
Overall, this analysis suggests that a continuous deformation of the kicked top Hamiltonian to algebraically decaying interactions does not influence our general observations in the previous parts of the manuscript, while only details such as the location of the quantum manybody chaos threshold can exhibit slight modifications. The present study of the regime 0 ≤ α ≤ 3 in combination with the results of ref. ^{13}, which considered a shortrange interacting system corresponding to the limit α → ∞, indicate that the transition to chaos is a generic phenomenon with broad relevance for DQS.
Discussion
In the field of quantum chaos, it is wellknown that the kicked top exhibits a transition from regular to chaotic dynamics upon increasing the kicking strength, and the signatures of this transition, e.g., in the spectral statistics of the Floquet operator, are wellunderstood. Our work connects these results to and highlights their fundamental importance for the seemingly remote field of quantum information science. Namely, we show that the transition to chaos becomes manifest in sharp threshold behavior of Trotter errors of fewbody observables in DQS of collective spin systems. Contrary to the difference between the ideal and the Trotterized timeevolution operator, which is often used as a measure for Trotter errors in DQS and which grows at best linearly with simulation time,^{38,39,40,41} Trotter errors of observables remain controlled and constant up to arbitrarily long times. A quantitatively accurate description of these Trotter errors is provided in the regular regime by the FM expansion—even up to Trotter step sizes for which one would expect the FM expansion to diverge^{37}. In the chaotic regime, the kicked top is wellknown to be faithful to RMT.^{15}
It is worthwhile to emphasize again the distinction between singleparticle and manybody quantum chaos, which is central to the results obtained in this work. On one hand, the quantum kicked top has emerged as a paradigmatic model for singleparticle quantum chaos upon increasing the kicking strength. In the semiclassical limit, the problem becomes chaotic in the classical sense of exponentially diverging trajectories upon slightly perturbing initial conditions. From a quantum manybody perspective, however, the kicked top is an integrable and therefore nonergodic system, because its dynamics is restricted to a N + 1dimensional subspace of the 2^{N}dimensional manybody Hilbert space. In this regard, the kicked top is also a rather peculiar system for DQS, which aims at simulating quantum manybody chaotic dynamics in regimes in which the growth of entanglement prohibits efficient classical simulations. Nevertheless, in this work we show that the phenomenology of Trotter errors in this particular DQS is analogous to the behavior found in a generic manybody system in ref. ^{13}, can be explained in terms of quantum chaos in the kicked top, and is smoothly connected to “true” quantum manybody systems described by Eq. (4) with α > 0.
We note that for small α > 0 it is not yet fully understoood whether the longrange deformation in Eq. (4) becomes ergodic. In the kicked top, i.e., for α = 0, threshold behavior persists even in the thermodynamic limit and up to arbitrarily long times. On the other hand, in generic manybody systems such as the Ising chain Eq. (4) with sufficiently large α, recent works argued that in the thermodynamic limit periodic driving will always lead to indefinite heating with the simulation accuracy Eq. (8) Q_{E} → 1,^{45,61,62} while heating can be strongly suppressed with Q_{E} < 1 during a prethermal regime.^{63,64,65,66,67} This regime persists up to a time scale which grows exponentially with the driving frequency, and has recently been observed experimentally.^{68} It is an interesting question for future studies how the above scenarios are connected upon tuning α. Irrespective of this question, the fact that the heating time scale is infinite in the kicked top and can be made arbitrarily large in generic shortrange interacting systems implies that DQS experiments are not limited by Trotter errors but rather by extrinsic error sources such as qubit decoherence. We emphasize that this conclusion is not restricted to alltoall interacting systems. Rather, we expect it to hold generically for a large class of model systems which are relevant for DQS.
Our theoretical predictions concerning Trotter errors and the onset of quantum chaos can be tested experimentally in a variety of different systems ranging from single atomic spins^{24,25} to quantum simulators of interacting spin1/2 systems.^{4,5,6,7,8,9,10,11,12,33} A first experimental requirement is the ability to engineer nonlinear spin Hamiltonians with timedependent coefficients. Moreover, in any experimental realization, decoherence will eventually wash out the threshold shown in Fig. 1: experimental imperfections such as technical noise or coupling of the system to its environment will lead to further heating and drive the system towards a featureless infinitetemperature state. In such a state, expectation values of observables become independent of the Trotter step size and the sharp threshold is destroyed. Therefore, the decoherence time t_{c} should be longer than the time scale t_{th} it takes to build up the threshold. For the parameters chosen in Fig. 1, this requirement is J_{z}t_{th} ≈ 25 < J_{z}t_{c} and can be met in current experiments. (To name an example, ref. ^{29} achieved J_{z} on the order of several kHz and thus nearly two orders of magnitude larger than the decoherence rate 1/t_{c} of several ten Hz). It is an intriguing prospect to experimentally connect the threshold in Trotter errors to quantum chaos by measuring the growth rate and saturation value of the OTOC.
To summarize, in this work, we connect the wellstudied quantum chaos of the kicked top with Trotter errors in DQS of collective spin systems. Our approach of harnessing the available knowledge on the kicked top, which is a paradigmatic model of singlebody quantum chaos, is complementary to the numerical study of the connection between Trotter errors in DQS of generic manybody systems and manybody quantum chaos presented in ref. ^{13}
Methods
Higherorder Trotterization
In this work, we exploit the formal equivalence of the dynamics of the kicked top which is determined by the Floquet operator given in Eq. (2), and the Trotterized dynamics in DQS of collective spin systems as described by Eq. (3). For a given target Hamiltonian H = H_{x} + H_{z} which is composed of two noncommuting pieces H_{x,z}, Trotterization is not unique. In the following, we briefly discuss different Trotterization schemes, and how they affect our conclusions concerning Trotter errors and quantum chaos.
Trotterization of the unitary time evolution operator U(t) = e^{−iHt} with H = H_{x} + H_{z} is carried out in two steps: first, the simulation time t is divided into n Trotter steps of duration τ = t/n
Second, within a Trotter step of size τ, the exponential e^{−iHτ} of the Hamiltonian H is approximated by a product of exponentials of H_{x} and H_{z} alone. This approximation introduces an error of order τ^{m}, where m can be increased by working with more elaborate factorizations.^{69} Eq. (3) corresponds to the lowestorder decomposition with m = 1, and a first improvement can be obtained by symmetrization
We emphasize that the given error bounds O(τ^{m}) pertain to the full time evolution operator. In contrast, as shown in this work for collective spin systems and in ref. ^{13} for a generic manybody system, Trotter errors of fewbody observables remain bounded even at long times, i.e., after repeated application of the evolution operators in Eqs. (19) and (20) corresponding to elementary Trotter steps. However, it is an interesting question for future studies how the threshold behavior in Trotter errors of fewbody observables and the quantum chaos properties discussed in Results are affected by higherorder Trotterization. Notably, already going from the firstorder formula Eq. (19) to the secondorder formula Eq. (20) leads to a significant qualitative difference in the PR Eq. (12) shown in Fig. 2a. This is discussed in detail in Results.
RMT predictions for the IPR, observables, and OTOCs
For large Trotter step sizes τ, the Floquet operator Eq. (2) is faithful to the COE of RMT. This is demonstrated in Results, where we consider the PR and eigenphasespacing statistics, cf. Fig. 2. However, also the results for the longtime averages of magnetization error and the simulation accuracy presented in Results, as well as steadystate saturation of OTOCs, are indicative of the RMT properties of the Floquet operator. Here, we derive RMT predictions for these quantities.
RMT predictions for the IPR defined in Eq. (11) can be obtained by averaging the overlap 〈ψ_{0}ϕ_{m}〉^{4} over the distribution of eigenvectors ϕ_{m}〉 of random matrices drawn from the appropriate ensemble. In particular, the components of eigenvectors of random matrices sampled from the CUE are distributed uniformly on the unit sphere in \({\Bbb C}^{\cal{D}}\), while for the COE the components of eigenvectors can be assumed real and thus lie on the the unit sphere in \({\Bbb R}^{\cal{D}}\).^{15} Averages over these eigenvector distributions can be performed by explicitly parameterizing unitnorm eigenvectors in terms of spherical coordinates and carrying out the resulting integrals as discussed for the CUE in ref. ^{70}. These averages yield the same result for all states ϕ_{m}〉 with \(m = 1, \ldots ,{\cal{D}}\) and also do not depend on the reference state ψ_{0}〉. We note that for the COE, ψ_{0}〉 should be chosen to have real components. This is indeed the case for the eigenstates ψ_{n}〉 of the target Hamiltonian which we consider in Eq. (12), if they are expanded in the basis of eigenstates of J_{z}. We find
The RMT predictions for the PR as defined in Eq. (12) follow from the above results for the IPR as \(\mathrm{PR} = 1/(\cal{D} \, \mathrm{IPR})\), and are shown in Fig. 2a.
With regard to the simulation accuracy Q_{E} defined in Eq. (8), the longtime average value of \(\overline {Q_E} = 1\) which is reached in the chaotic regime as shown in Fig. 1b, e, indicates that the temporal average of the energy E_{τ}(t) = 〈H(t)〉_{τ} is equivalent to taking the expectation value of H in an infinitetemperature state, i.e., \(E_{T = \infty } = {\mathrm{tr}}(H)/{\cal{D}}\). As we show now, the same result is predicted by RMT. To this end, we replace in Eq. (8) the n_{t}th power of Floquet operator, \(U_\tau ^{n_t}\) with \(n_t = \left\lfloor {t/\tau } \right\rfloor\), by \(Q^\dagger UQ\), where Q is given in Eq. (15) and U is a random unitary matrix from the COE. As discussed in Results, the COE is comprised of symmetric matrices, and the unitary transformation Q acts to symmetrize the Floquet operator U_{τ}. Then, the average over U ∈ COE, which we denote by [⋯]_{COE} in the following, yields^{71}
where \(\tilde H = QHQ^\dagger\). Hence, we obtain the RMT prediction for the simulation accuracy in the chaotic regime, Q_{COE} = (E_{COE} − E_{0})/(E_{T=∞} − E_{0}) ~ 1 for \({\cal{D}} \to \infty\).
Similarly, Fig. 3a, b shows that at late times the OTOC C(t) Eq. (17) approaches a value C_{COE} which as we explain in the following can also be obtained by taking an average over the COE. First, we consider the COE average of the OTOC F(t) defined as
where \(W(t) = U_\tau ^{n_t\dagger }WU_\tau ^{n_t}\) and \(n_t = \left\lfloor {t/\tau } \right\rfloor\). We assume \({\mathrm{tr({\it W}) = 0}}\) and \(V^\dagger = V^{  1}\), which is satisfied for W = S_{z} and \(V = {\mathrm{e}}^{  {\mathrm{i}}\varphi S_z}\) shown in Fig. 3. As above, we replace \(U_\tau ^{n_t}\) by \(Q^\dagger UQ\), and by taking the average over U ∈ COE we find
where \({\cal{N}}_{\cal{D}} = {\cal{D}}^2\left( {{\cal{D}} + 1} \right)\left( {{\cal{D}} + 3} \right),\) \(\tilde W = QWQ^\dagger\), and \(\tilde V = QVQ^\dagger\). To relate F(t) Eq. (24) to the squared commutator in Eq. (17), we note that for W = S_{z} we obtain \({\mathrm{tr}}(W^2)/{\cal{D}} = S\left( {S + 1} \right)/3\), which yields
This relation holds at all times t and, in particular, it allows us to express the COE average C_{COE} in terms of F_{COE} given in Eq. (25). Moreover, the infinitetime average \(\bar C\) shown in Fig. 3 can be obtained in terms of the corresponding average \(\overline F\) of F(t), which reads
where W_{nm} = 〈ϕ_{n}Wϕ_{m}〉 etc. and the vectors ϕ_{n}〉 with \(n = 1, \ldots ,{\cal{D}}\) form an eigenbasis of the Floquet operator. Figure 3 shows that the RMT expression C_{COE} of the OTOC agrees with the temporal average obtained from Eq. (27) in the chaotic regime and beyond the Ehrenfest time t_{E}.
The semiclassical limit of the kicked top
As pointed out above, in the kicked top, the role of an effective Planck constant is played by the inverse spin size, ħ_{eff} = 1/S. Hence, if the kicked top is realized as the collective spin of a system of N spin1/2 such that S = N/2, the thermodynamic limit N → ∞ coincides with the semiclassical limit ħ_{eff} → 0. In this limit, the spin S obeys stroboscopic evolution equations that can be obtained from the Heisenberg equations of motion for the spin components S_{x,y,z} by introducing rescaled variables
and subsequently taking the limit S → ∞. In this limit, the commutators [X, Y] etc. vanish, and X, Y, and Z become effectively classical variables.
The stroboscopic evolution equations of the spin operators in the Heisenberg picture are determined by
To evaluate the righthand side of this equation, we use relations such as^{72}
where f(S_{z}) = F(S_{z} + 1) − F(S_{z}), and which holds for any analytic function F and pairs of operators S_{z} and S_{+} = S_{x} + iS_{y} that obey [S_{z}, S_{+}] = S_{+}. We thus arrive at
To obtain the simulation accuracy Eq. (8) in the limit S → ∞, we iterate the semiclassical evolution Eq. (31) and insert the resulting values of the spin components as per Eq. (28) in the target Hamiltonian H = H_{x} + H_{z}, which we interpret as a function of the classical variables S_{x,y,z}. This yields E_{τ}(t). The energy E_{T=∞} at infinite temperature is obtained by averaging H over the classical phase space, i.e., a sphere of radius S. Finally, E_{0} is the energy of the initial spin configuration.
The magnetization error Eq. (6) can be obtained similarly: In the semiclassical limit, 〈S_{z}(t)〉_{τ} in Eq. (6) can be replaced by SZ(t), where Z(t) is evolved with Eq. (31); To find 〈S_{z}(t)〉, we again interpret H as a classical Hamiltonian and integrate the corresponding Hamiltonian evolution equations up to the time t.^{73}
Data availability
The data sets generated and analyzed during the current study are available from the corresponding author on reasonable request.
Code availability
All the numerical data presented in this paper are results of Python simulations conducted by T.O., A.E., and M.H. The code used to generate this data will be made available to the interested reader upon reasonable request.
References
Trotter, H. F. On the product of semigroups of operators. Proc. Am. Math. Soc. 10, 545–545 (1959).
Suzuki, M. Relationship between ddimensional quantal spin systems and (d+1)dimensional ising systems: equivalence, critical exponents and systematic approximants of the partition function and spin correlations. Prog. Theor. Phys. 56, 1454–1469 (1976).
Lloyd, S. Universal quantum simulators. Science 273, 1073–1078 (1996).
Lanyon, B. P. et al. Universal digital quantum simulation with trapped ions. Science 334, 57–61 (2011).
Peng, X., Du, J. & Suter, D. Quantum phase transition of groundstate entanglement in a Heisenberg spin chain simulated in an NMR quantum computer. Phys. Rev. A 71, 012307 (2005).
Barends, R. et al. Digitized adiabatic quantum computing with a superconducting circuit. Nature 534, 222–226 (2016).
Langford, N. K. et al. Experimentally simulating the dynamics of quantum light and matter at ultrastrong coupling. Nat. Commun. 8, 1715 (2016).
O’Malley, P. J. et al. Scalable quantum simulation of molecular energies. Phys. Rev. X 6, 1–13 (2016).
Barends, R. et al. Digital quantum simulation of fermionic models with a superconducting circuit. Nat. Commun. 6, 1–7 (2015).
Barreiro, J. T. et al. An opensystem quantum simulator with trapped ions. Nature 470, 486–491 (2011).
Martinez, E. A. et al. Realtime dynamics of lattice gauge theories with a fewqubit quantum computer. Nature 534, 516–519 (2016).
Salathé, Y. et al. Digital quantum simulation of spin models with circuit quantum electrodynamics. Phys. Rev. X 5, 1–12 (2015).
Heyl, M., Hauke, P. & Zoller, P. Quantum localization bounds Trotter errors in digital quantum simulation. Sci. Adv. 5, eaau8342 (2019).
D’Alessio, L., Kafri, Y., Polkovnikov, A. & Rigol, M. From quantum chaos and eigenstate thermalization to statistical mechanics and thermodynamics. Adv. Phys. 65, 239–362 (2016).
Haake, F. Quantum Signatures of Chaos, vol. 54 of Springer Series in Synergetics (Springer, Berlin, Heidelberg, 2010).
Bandyopadhyay, J. N. & Guha Sarkar, T. Effective timeindependent analysis for quantum kicked systems. Phys. Rev. E 91, 032923 (2015).
Bhosale, U. T. & Santhanam, M. S. Signatures of bifurcation on quantum correlations: Case of the quantum kicked top. Phys. Rev. E 95, 012216 (2017).
Bhosale, U. T. & Santhanam, M. S. Periodicity of quantum correlations in the quantum kicked top. Phys. Rev. E 98, 052228 (2018).
Kumari, M. & Ghose, S. Quantumclassical correspondence in the vicinity of periodic orbits. Phys. Rev. E 97, 1–9 (2018).
Swingle, B., Bentsen, G., SchleierSmith, M. & Hayden, P. Measuring the scrambling of quantum information. Phys. Rev. A 94, 040302 (2016).
Bastidas, V. M., PérezFernández, P., Vogl, M. & Brandes, T. Quantum criticality and dynamical instability in the kickedtop model. Phys. Rev. Lett. 112, 140408 (2014).
Chaudhury, S., Smith, A., Anderson, B. E., Ghose, S. & Jessen, P. S. Quantum signatures of chaos in a kicked top. Nature 461, 768–771 (2009).
Neill, C. et al. Ergodic dynamics and thermalization in an isolated quantum system. Nat. Phys. 12, 1037–1041 (2016).
Krithika, V. R., Anjusha, V. S., Bhosale, U. T. & Mahesh, T. S. NMR studies of quantum chaos in a twoqubit kicked top. Phys. Rev. E 99, (2019).
Chalopin, T. et al. Quantumenhanced sensing using nonclassical spin states of a highly magnetic atom. Nat. Commun. 9, 4955 (2018).
Baier, S. et al. Realization of a strongly interacting fermi gas of dipolar atoms. Phys. Rev. Lett. 121, 93602 (2018).
Mourik, V. et al. Exploring quantum chaos with a single nuclear spin. Phys. Rev. E 98, 042206 (2018).
Tosi, G. et al. Silicon quantum processor with robust longdistance qubit couplings. Nat. Commun. 8, 450 (2017).
Britton, J. W. et al. Engineered twodimensional Ising interactions in a trappedion quantum simulator with hundreds of spins. Nature 484, 489–492 (2012).
Gärttner, M. et al. Measuring outoftimeorder correlations and multiple quantum spectra in a trappedion quantum magnet. Nat. Phys. 13, 781–786 (2017).
Strobel, H. et al. Fisher information and entanglement of nonGaussian spin states. Science 345, 424–427 (2014).
Childs, A. M. & Wiebe, N. Hamiltonian simulation using linear combinations of unitary operations. Quantum Inf. Comput. 12, 901–924 (2012).
Berry, D. W., Childs, A. M. & Kothari, R. Hamiltonian simulation with nearly optimal dependence on all parameters. In 2015 IEEE 56th Annu. Symp. Found. Comput. Sci. 792–809 (IEEE, 2015).
Zhang, J. et al. Observation of a manybody dynamical phase transition with a 53qubit quantum simulator. Nature 551, 601–604 (2017).
Kac, M., Uhlenbeck, G. E. & Hemmer, P. C. On the Van der Waals Theory of the vaporliquid equilibrium. I. Discussion of a one–dimensional model. J. Math. Phys. 4, 216–228 (1963).
Kos, P., Ljubotina, M. & Prosen, T. Manybody quantum chaos: analytic connection to random matrix theory. Phys. Rev. X 8, 1–11 (2018).
Bertini, B., Kos, P. & Prosen, T. Exact spectral form factor in a minimal model of manybody quantum chaos. Phys. Rev. Lett. 121, 264101 (2018).
Casas, F., Oteo, J. A. & Ros, J. Floquet theory: exponential perturbative treatment. J. Phys. A. Math. Gen. 34, 3379–3388 (2001).
Berry, D. W., Ahokas, G., Cleve, R. & Sanders, B. C. Efficient quantum algorithms for simulating sparse hamiltonians. Commun. Math. Phys. 270, 359–371 (2007).
Jordan, S. P., Lee, K. S. M. & Preskill, J. Quantum algorithms for quantum field theories. Science 336, 1130–1133 (2012).
Haah, J., Hastings, M., Kothari, R. & Low, G. H. Quantum algorithm for simulating real time evolution of lattice hamiltonians. In 2018 IEEE 59th Annu. Symp. Found. Comput. Sci., vol. 2018 Octob, 350–360 (IEEE, 2018).
Childs, A. M. & Su, Y. Nearly Optimal Lattice Simulation by Product Formulas. Phys. Rev. Lett. 123, 050503 (2019).
Emerson, J., Weinstein, Y. S., Lloyd, S. & Cory, D. G. Fidelity decay as an efficient indicator of quantum chaos. Phys. Rev. Lett. 89, 1–4 (2002).
Oganesyan, V. & Huse, D. A. Localization of interacting fermions at high temperature. Phys. Rev. B 75, 1–5 (2007).
Atas, Y. Y., Bogomolny, E., Giraud, O. & Roux, G. Distribution of the ratio of consecutive level spacings in random matrix ensembles. Phys. Rev. Lett. 110, 1–5 (2013).
D’Alessio, L. & Rigol, M. Longtime behavior of isolated periodically driven interacting lattice systems. Phys. Rev. X 4, 1–12 (2014).
Larkin, A. I. & Ovchinnikov, Y. N. Quasiclassical method in the theory of superconductivity. JETP 28, 1200 (1969).
Maldacena, J., Shenker, S. H. & Stanford, D. A bound on chaos. J. High Energy Phys. 2016 (2016).
Kitaev, A. A Simple Model of Quantum Holography. (Talk at Kavli Institute for Theoretical Physics, University of California, Santa Barbara, CA, USA, May 7, 2015 and May 27, 2015, 2015).
Hosur, P., Qi, X. L., Roberts, D. A. & Yoshida, B. Chaos in quantum channels. J. High Energy Phys. 2016, 1–49 (2016).
Roberts, D. A. & Yoshida, B. Chaos and complexity by design. J. High Energy Phys. 2017, 121 (2017).
Pappalardi, S. et al. Scrambling and entanglement spreading in longrange spin chains. Phys. Rev. B 98, 134303 (2018).
Rozenbaum, E. B., Ganeshan, S. & Galitski, V. Lyapunov exponent and outoftimeordered correlator’s growth rate in a chaotic system. Phys. Rev. Lett. 118, 086801 (2017).
Vermersch, B., Elben, A., Sieberer, L. M., Yao, N. Y. & Zoller, P. Probing scrambling using statistical correlations between randomized measurements. Phys. Rev. X 9, 021061 (2019).
Nie, X. et al. Detecting Scrambling via Statistical Correlations Between Randomized Measurements on an NMR Quantum Simulator. Preprint at arXiv:1903.12237 (2019).
Zhu, G., Hafezi, M. & Grover, T. Measurement of manybody chaos using a quantum clock. Phys. Rev. A 94, 062329 (2016).
Shen, H., Zhang, P., Fan, R. & Zhai, H. Outoftimeorder correlation at a quantum phase transition. Phys. Rev. B 96, 054503 (2017).
Yoshida, B. & Yao, N. Y. Disentangling scrambling and decoherence via quantum teleportation. Phys. Rev. X 9, 11006 (2019).
Yao, N. Y. et al. Interferometric Approach to Probing Fast Scrambling. Preprint at: arXiv:1607.01801 (2016).
Li, J. et al. Measuring outoftimeorder correlators on a nuclear magnetic resonance quantum simulator. Phys. Rev. X 7, 031011 (2017).
Seshadri, A., Madhok, V. & Lakshminarayan, A. Tripartite mutual information, entanglement, and scrambling in permutation symmetric systems with an application to quantum chaos. Phys. Rev. E 98, 052205 (2018).
Lazarides, A., Das, A. & Moessner, R. Equilibrium states of generic quantum systems subject to periodic driving. Phys. Rev. E 90, 1–6 (2014).
Luitz, D. J., Bar Lev, Y. & Lazarides, A. Absence of dynamical localization in interacting driven systems. SciPost Phys. 3, 029 (2017).
Abanin, D. A., De Roeck, W. & Huveneers, F. Exponentially slow heating in periodically driven manybody systems. Phys. Rev. Lett. 115, 256803 (2015).
Mori, T., Kuwahara, T. & Saito, K. Rigorous bound on energy absorption and generic relaxation in periodically driven quantum systems. Phys. Rev. Lett. 116, 1–5 (2016).
Kuwahara, T., Mori, T. & Saito, K. FloquetMagnus theory and generic transient dynamics in periodically driven manybody quantum systems. Ann. Phys. 367, 96–124 (2016).
Machado, F., Meyer, G. D., Else, D. V., Nayak, C. & Yao, N. Y. Exponentially Slow Heating in Short and Longrange Interacting Floquet Systems. Preprint at arXiv:1708.01620 (2017).
Howell, O., Weinberg, P., Sels, D., Polkovnikov, A. & Bukov, M. Asymptotic prethermalization in periodically driven classical spin chains. Phys. Rev. Lett. 122, 10602 (2019).
Singh, K. et al. Quantifying and controlling prethermal nonergodicity in interacting Floquet matter. Preprint at arXiv:1809.05554 (2019).
Wiebe, N., Berry, D., Høyer, P. & Sanders, B. C. Higher order decompositions of ordered operator exponentials. J. Phys. A Math. Theor. 43, 065203 (2010).
Ullah, N. & Porter, C. E. Expectation value fluctuations in the unitary ensemble. Phys. Rev. 132, 948–950 (1963).
Brouwer, P. W. & Beenakker, C. W. J. Diagrammatic method of integration over the unitary group, with applications to quantum transport in mesoscopic systems. J. Math. Phys. 37, 4904–4934 (1996).
Kitagawa, M. & Ueda, M. Squeezed spin states. Phys. Rev. A 47, 5138–5143 (1993).
Johansson, J. R., Nation, P. D. & Nori, F. QuTiP 2: A Python framework for the dynamics of open quantum systems. Comput. Phys. Commun. 184, 1234–1240 (2013).
Acknowledgements
We thank B. Vermersch, M. Baranov, and M. Bukov for helpful discussions. Work in Innsbruck is supported by the European Research Council (ERC) Synergy Grant UQUAM and the SFB FoQuS (FWF Project No. F4016N23). M.H. acknowledges support by the Deutsche Forschungsgemeinschaft (DFG) via the Gottfried Wilhelm Leibniz Prize program. P.H. acknowledges support by the DFG Collaborative Research Centre SFB 1225 (ISOQUANT), the ERC Advanced Grant EntangleGen (ProjectID 694561), and the ERC Starting Grant StrEnQTh. Numerical simulations were realized with QuTiP.^{73}
Author information
Authors and Affiliations
Contributions
L.M.S., T.O., A.E. and P.Z. devised the project and carried out the analysis of Trotter errors and quantum chaos in the kicked top. T.O. and A.E. performed the numerical simulations of the kicked top, and M.H. contributed numerics for longrange interacting spin chains. All authors discussed the results and wrote the paper.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
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
Sieberer, L.M., Olsacher, T., Elben, A. et al. Digital quantum simulation, Trotter errors, and quantum chaos of the kicked top. npj Quantum Inf 5, 78 (2019). https://doi.org/10.1038/s4153401901925
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s4153401901925
This article is cited by

Symmetric Trotterization in digital quantum simulation of quantum spin dynamics
Journal of the Korean Physical Society (2023)

Quantum imaginary time evolution steered by reinforcement learning
Communications Physics (2022)

Spectral analysis of product formulas for quantum simulation
npj Quantum Information (2022)

Integrable quantum manybody sensors for AC field sensing
Scientific Reports (2022)

NISQ computing: where are we and where do we go?
AAPPS Bulletin (2022)