Unitary randomness underpins both fundamental tasks in quantum information and the modern theory of quantum chaos. On one side, a central concept is that of approximate unitary designs: circuits that look random according to small moments and for forward-in-time protocols. In a distinct setting, out-of-time-ordered correlators (OTOCs), intensely studied as a measure of information scrambling, have recently been shown to probe freeness between Heisenberg operators, the noncommutative generalization of statistical independence. Bridging these two concepts, we study the emergence of freeness in a random matrix product unitary ensemble. We prove that, with only polynomial bond dimension, these unitaries reproduce Haar values of higher-order OTOCs for local, finite-trace observables, while traceless observables instead require exponential resources. Indeed, local observables are precisely those predicted to thermalize in chaotic many-body systems according to the eigenstate thermalization hypothesis. Moreover, adding to previous literature, we show how random matrix product unitaries constitute approximate designs: we exactly compute the frame potential of the ensemble, showing convergence to the Haar value with polynomial deviations and so indicating that global observables are freely independent on-average. Our results highlight the need to refine previous notions of unitary design in the context of operator dynamics, guiding us towards protocols for quantum advantage and shedding light on the emergent complexity of chaotic many-body systems.
Unitary randomness underpins both fundamental tasks in quantum information and the modern theory of quantum chaos. On one side, a central concept is that of approximate unitary designs: circuits that look random according to small moments and for forward-in-time protocols. In a distinct setting, out-of-time-ordered correlators (OTOCs), intensely studied as a measure of information scrambling, have recently been shown to probe freeness between Heisenberg operators, the noncommutative generalization of statistical independence. Bridging these two concepts, we study the emergence of freeness in a random matrix product unitary ensemble. We prove that, with only polynomial bond dimension, these unitaries reproduce Haar values of higher-order OTOCs for local, finite-trace observables, while traceless observables instead require exponential resources. Indeed, local observables are precisely those predicted to thermalize in chaotic many-body systems according to the eigenstate thermalization hypothesis. Moreover, adding to previous literature, we show how random matrix product unitaries constitute approximate designs: we exactly compute the frame potential of the ensemble, showing convergence to the Haar value with polynomial deviations and so indicating that global observables are freely independent on-average. Our results highlight the need to refine previous notions of unitary design in the context of operator dynamics, guiding us towards protocols for quantum advantage and shedding light on the emergent complexity of chaotic many-body systems.
Unitary designs have become a vital tool for investigating pseudorandomness, since they approximate the statistics of the uniform Haar ensemble. Despite their central role in quantum information, their relations to quantum chaotic evolution and, in particular, to the eigenstate thermalization hypothesis (ETH) are still largely debated issues. This work provides a bridge between the latter and k designs through free probability theory. First, by introducing the more general notion of k -freeness, we show that it can be used as an alternative probe to designs. In turn, free probability theory comes with several tools, useful, for instance, for the calculation of mixed moments or the so-called k -fold quantum channels. Our second result is the connection to quantum dynamics. Quantum ergodicity and, correspondingly, ETH apply to a restricted class of physical observables, as already discussed in the literature. In this spirit, we show that unitary evolution with generic Hamiltonians always leads to freeness at sufficiently long times but only when the operators considered are restricted within the ETH class. Our results provide a direct link between unitary designs, quantum chaos, and the eigenstate thermalization hypothesis and shed new light on the universality of late-time quantum dynamics.
Information scrambling, the process by which quantum information spreads and becomes effectively inaccessible, is central to modern quantum statistical physics and quantum chaos. These lecture notes provide an introduction to information scrambling from both static and dynamical perspectives. The spectral properties of reduced density matrices arising from Haar-random states are developed through the geometry of the unitary group and the universal results of random matrix theory. This geometric framework yields universal, model-independent predictions for entanglement and spectral statistics, capturing generic features of quantum chaos without reference to microscopic details. Dynamical diagnostics such as the spectral form factor and out-of-time-ordered correlators further reveal the onset of chaos in time-dependent evolution.
The notes are aimed at advanced undergraduate and graduate students in physics, mathematics, and computer science who are interested in the connections between quantum chaos, information dynamics, and quantum computing. Concepts such as entanglement growth, Haar randomness, random-matrix statistics, and unitary t-designs are introduced through their realization in random quantum circuits and circuit complexity. The same mathematical framework also underpins modern quantum-device benchmarking, where approximate unitary designs and random circuits translate geometric ideas into quantitative tools for assessing fidelity, noise, and scrambling efficiency in real quantum processors.
Chaos and complexity entail an entropic and computational obstruction to describing a system, and thus are intrinsically difficult to characterize. In this paper, we consider time evolution by Gaussian Unitary Ensemble (GUE) Hamiltonians and analytically compute out-of-time-ordered correlation functions (OTOCs) and frame potentials to quantify scrambling, Haar-randomness, and circuit complexity. While our random matrix analysis gives a qualitatively correct prediction of the late-time behavior of chaotic systems, we find unphysical behavior at early times including an O(1) scrambling time and the apparent breakdown of spatial and temporal locality. The salient feature of GUE Hamiltonians which gives us computational traction is the Haar-invariance of the ensemble, meaning that the ensemble-averaged dynamics look the same in any basis. Motivated by this property of the GUE, we introduce k-invariance as a precise definition of what it means for the dynamics of a quantum system to be described by random matrix theory. Here,we envision that the dynamical onset of approximate k-invariance will be a useful tool for capturing the transition from early-time chaos, as seen by OTOCs, to late-time chaos, as seen by random matrix theory.
Unitary designs provide efficient substitutes for Haar-random unitaries in quantum information processing, randomized measurements, and many-body quantum dynamics. We propose a protocol based on time evolutions of a single chaotic Hamiltonian interleaved with unitary perturbations to generate unitary designs. We derive the frame potential of the resulting ensemble in terms of those of the intermediate ensemble. The intermediate ensemble need not itself be Haar random or exhibit Haar-level frame potentials, provided that its trace moments and frame-potential growth are sufficiently suppressed. The nontrivial Pauli set and the Clifford ensemble are simple examples, whereas ensembles whose cardinality does not grow with the Hilbert-space dimension generally fail. We further establish a frame-potential correspondence between multi-Hamiltonian temporal protocols and one-Hamiltonian protocols interleaved with repeated fixed trace-suppressed perturbations, showing that two perturbations suffice to recover Haar-level frame potentials. For local Hamiltonians, we derive a lower bound on the space--depth control resource, while more generally we establish a universal finite-window bound that constrains the required temporal sampling range. Together, these results identify complementary spatial and temporal resource requirements for perturbation-assisted randomness generation.
A bstract Chaos and complexity entail an entropic and computational obstruction to describing a system, and thus are intrinsically difficult to characterize. In this paper, we consider time evolution by Gaussian Unitary Ensemble (GUE) Hamiltonians and analytically compute out-of-time-ordered correlation functions (OTOCs) and frame potentials to quantify scrambling, Haar-randomness, and circuit complexity. While our random matrix analysis gives a qualitatively correct prediction of the late-time behavior of chaotic systems, we find unphysical behavior at early times including an O(1) O 1 scrambling time and the apparent breakdown of spatial and temporal locality. The salient feature of GUE Hamiltonians which gives us computational traction is the Haar-invariance of the ensemble, meaning that the ensemble-averaged dynamics look the same in any basis. Motivated by this property of the GUE, we introduce k -invariance as a precise definition of what it means for the dynamics of a quantum system to be described by random matrix theory. We envision that the dynamical onset of approximate k -invariance will be a useful tool for capturing the transition from early-time chaos, as seen by OTOCs, to late-time chaos, as seen by random matrix theory.
The local-operator entanglement (LOE) measures the classical simulability of a Heisenberg operator and is conjectured to witness many-body chaos in locally interacting systems. Using tools from free probability, we analytically compute its asymptotic value for Haar random dynamics for all Rényi indices. We find that to the first two orders in large dimension, for traceless operators it exactly reproduces the Page curve for random states. In contrast to higher-order out-of-time-ordered correlators (OTOCs), which depend on more complex operator correlations via free cumulants, the leading-order LOE is independent of the initial operator. \add{We detail exactly how these higher-order correlations are encoded in the coefficients of the finite-size corrections. Therefore, guided by our Haar result, we argue that the long-time value of the LOE entropies in chaotic systems is robust: they depend only on a simple sub-sector of the hierarchy of correlations encoded by the full Eigenstate Thermalization Hypothesis. Our results therefore provide a conceptual boundary between operator simulability and higher-order scrambling diagnostics.