In classical dynamical systems, chaotic behavior is often associated with exponential sensitivity to initial conditions together with global phase-space structure. Translating this geometric concept to the strictly linear framework of quantum mechanics presents a conceptual puzzle. The Out-of-Time-Ordered Correlator (OTOC) is often motivated as the quantum analog of the classical butterfly effect, but this slogan can hide important mathematical distinctions. This tutorial bridges the gap between applied mathematics and quantum information by detailing the mathematical machinery of the OTOC. We explore how classical sensitivity translates to operator noncommutativity, why standard two-point correlation functions fail to cleanly detect this sensitivity, and how the delocalization of quantum observables relates to the classical notion of mixing. Crucially, we outline what the OTOC can and cannot diagnose, distinguishing between local instability and global chaos. Ultimately, we provide a precise and usable conceptual map, exploring how the Koopman–von Neumann formalism offers a framework to view classical and quantum dynamics through a shared linear perspective.
In classical dynamical systems, chaotic behavior is often associated with exponential sensitivity to initial conditions together with global phase-space structure. Translating this geometric concept to the strictly linear framework of quantum mechanics presents a conceptual puzzle. The Out-of-Time-Ordered Correlator (OTOC) is often motivated as the quantum analog of the classical butterfly effect, but this slogan can hide important mathematical distinctions. This tutorial bridges the gap between applied mathematics and quantum information by detailing the mathematical machinery of the OTOC. We explore how classical sensitivity translates to operator noncommutativity, why standard two-point correlation functions fail to cleanly detect this sensitivity, and how the delocalization of quantum observables relates to the classical notion of mixing. Crucially, we outline what the OTOC can and cannot diagnose, distinguishing between local instability and global chaos. Ultimately, we provide a precise and usable conceptual map, exploring how the Koopman–von Neumann formalism offers a framework to view classical and quantum dynamics through a shared linear perspective.
In classical dynamical systems, chaotic behavior is often associated with exponential sensitivity to initial conditions together with global phase-space structure. Translating this geometric concept to the strictly linear framework of quantum mechanics presents a conceptual puzzle. The out-of-time-ordered correlator (OTOC) is often motivated as the quantum analogue of the classical butterfly effect, but this slogan can hide important mathematical distinctions. This tutorial bridges the gap between applied mathematics and quantum information by detailing the mathematical machinery of the OTOC. We explore how classical sensitivity translates to operator non-commutativity, why standard two-point correlation functions fail to cleanly detect this sensitivity, and how the delocalization of quantum observables relates to classical notions of mixing. Crucially, we outline what the OTOC can and cannot diagnose, distinguishing between local instability and global chaos. Ultimately, we provide a precise and usable conceptual map, exploring how the Koopman-von Neumann formalism offers a framework to view classical and quantum dynamics through a shared linear perspective.
The out-of-time ordered correlator (OTOC) is a measure of scrambling of quantum information. Scrambling is intuitively considered to be a significant feature of chaotic systems, and thus, the OTOC is widely used as a measure of chaos. For short times exponential growth is related to the classical Lyapunov exponent, sometimes known as the butterfly effect. At long times the OTOC attains an average equilibrium value with possible oscillations. For fully chaotic systems the approach to the asymptotic regime is exponential, with a rate given by the classical Ruelle-Pollicott resonances. In this work, we extend this notion to the more generic case of systems with mixed dynamics, in particular using the standard map, and we are able to show that the relaxation to equilibrium of the OTOC is governed by generalized classical resonances.
Abstract Out-of-time-order correlators (OTOCs) have emerged as the preeminent theoretical and experimental probe of quantum information scrambling — the delocalization of quantum information across many-body degrees of freedom. Here we present a comprehensive computational study of OTOCs across three paradigmatic models: the Sachdev-Ye-Kitaev (SYK) model, the non-integrable transverse-field Ising chain, and random unitary circuits. Through exact diagonalization and large-N analytics, we extract Lyapunov exponents, scrambling times, and butterfly velocities, demonstrating that all chaotic systems studied approach, but do not saturate, the Maldacena-Shenker-Stanford (MSS) bound λ_L ≤ 2π/β. Crucially, we introduce the Spectral Out-of-Time-Order Correlator (SOTOC), a novel frequency-domain diagnostic that decomposes information scrambling into its constituent spectral modes. The SOTOC achieves a 32% improvement in Lyapunov exponent extraction precision over conventional log-linear fitting and maintains robust performance at noise levels σ > 0.30, where traditional methods fail. Our phase diagram reveals a sharp transition in scrambling dynamics at h/J ≈ 1.0 in the TFIM, coinciding with the onset of quantum chaos as measured by level-spacing statistics. These results establish SOTOC as a practical and theoretically grounded tool for probing scrambling in near-term quantum devices and holographic systems.
Two topics, evolving rapidly in separate fields, were combined recently: the out-of-time-ordered correlator (OTOC) signals quantum-information scrambling in many-body systems. The Kirkwood-Dirac (KD) quasiprobability represents operators in quantum optics. The OTOC was shown to equal a moment of a summed quasiprobability [Yunger Halpern, Phys. Rev. A 95, 012120 (2017)]. That quasiprobability, we argue, is an extension of the KD distribution. We explore the quasiprobability's structure from experimental, numerical, and theoretical perspectives. First, we simplify and analyze Yunger Halpern's weak-measurement and interference protocols for measuring the OTOC and its quasiprobability. We decrease, exponentially in system size, the number of trials required to infer the OTOC from weak measurements. We also construct a circuit for implementing the weak-measurement scheme. Next, we calculate the quasiprobability (after coarse graining) numerically and analytically: we simulate a transverse-field Ising model first. Then, we calculate the quasiprobability averaged over random circuits, which model chaotic dynamics. The quasiprobability, we find, distinguishes chaotic from integrable regimes. We observe nonclassical behaviors: the quasiprobability typically has negative components. It becomes nonreal in some regimes. The onset of scrambling breaks a symmetry that bifurcates the quasiprobability, as in classical-chaos pitchforks. Finally, we present mathematical properties. We define an extended KD quasiprobability that generalizes the KD distribution. The quasiprobability obeys a Bayes-type theorem, for example, that exponentially decreases the memory required to calculate weak values, in certain cases. A time-ordered correlator analogous to the OTOC, insensitive to quantum-information scrambling, depends on a quasiprobability closer to a classical probability. This work not only illuminates the OTOC's underpinnings, but also generalizes quasiprobability theory and motivates immediate-future weak-measurement challenges.
The Out-of-Time-Order Correlator (OTOC) is a standard algebraic diagnostic of quantum information scrambling, but it offers limited direct geometric intuition. In this note, we propose a Bohmian, trajectory-based framework for constructing a geometric diagnostic of scrambling-related sensitivity using Lagrangian Descriptors (LDs). To avoid the uncertainty-principle obstruction to assigning independent initial position and momentum within a single wave function, we evaluate Bohmian dynamics over a two-dimensional preparation space of localized Gaussian wavepackets labeled by their initial center and momentum kick. For the inverted harmonic oscillator, this construction is analytically tractable: the wavepacket-center dynamics and their dependence on preparation parameters can be written explicitly. In particular, away from the equilibrium origin, the exponential growth of the associated preparation-space stability matrix yields an O(eωT) bound on the sensitivity of the wavepacket-center LDs, motivating a semiclassical comparison with sensitivity structures associated with OTOC growth. In this sense, the LD provides a geometric indicator of scrambling-related sensitivity. We conclude by discussing how this preparation-space picture suggests a program for future work regarding the distinct microcanonical regimes previously reported for the inverted harmonic oscillator.
A closed quantum system never forgets its initial state, but the encoded information can get scrambled and become inaccessible without measuring a large fraction of all the system degrees of freedom. This scrambling can be diagnosed by studying the spatial spreading of initially local operators under the Heisenberg time evolution, and the decay of the out-of-time-ordered correlators (OTOC). What insights can OTOCs provide to understand the dynamics of quantum many-body systems? What are the characteristic behaviors of OTOCs during the time evolution? How is information scrambling affected by the dissipation in open quantum many-body systems? We first study slow scrambling in many-body localized systems via calculating various correlators, two-point retarded correlators and OTOCs. Comparing with retarded correlators, OTOCs provide more information about the dynamics. We find that disorder slows and partially halts the onset of information scrambling. Instead of ballistic spreading, propagation of information forms a logarithmic light cone. Next, we study the finite-size scaling of OTOCs at late times in generic thermalizing quantum many-body systems. When energy is conserved, the late-time saturation value of the OTOC of generic traceless local operators scales as an inverse polynomial in the system size. This is in contrast to the inverse exponential scaling expected for chaotic dynamics without energy conservation. We also study information scrambling in open quantum many-body systems. We define a dissipative version of OTOC and study its behaviors in a prototypical chaotic quantum chain with dissipation. We find that dissipation leads to not only the overall decay of the scrambled information due to leaking, but also structural changes so that the information light cone can only reach a finite distance even when the effect of overall decay is removed. Finally, we construct a family of local Hamiltonians for understanding the asymmetric information scrambling. Our models live on a one-dimensional lattice and exhibit asymmetric butterfly light cone between the left and right spatial directions.