SearcharxivSearch

arXiv subjects

Neil Dowling

Publications and source records attributed to Neil Dowling.

16 recordsLinked to original sources

Noise-induced Simulability Transition from Operator Scrambling

The complexity of simulating quantum many-body dynamics, or quantum computations, in the Heisenberg picture is governed by the scrambling of initially simple operators into superpositions of exponentially many Pauli strings. The corresponding expansion coefficients define the Pauli spectrum, whose structure controls the performance of classical algorithms based on truncating Pauli expansions. Here we determine the finite-depth Pauli spectrum of random quantum circuits, both in the noiseless case and in the presence of local noise, through its moments, given by the operator stabilizer R\'enyi entropies. In noiseless circuits, we uncover a hierarchy in the approach to the fully scrambled regime: low moments equilibrate at relatively short depths, while higher moments, which are sensitive to rare, large-amplitude Pauli coefficients, require parametrically larger depths. In noisy circuits, scrambling competes with an effective suppression of operator spreading. Above a critical error per cycle $\gamma_c N=\mathcal{O}(1)$, the operator fails to reach the fully scrambled distribution and remains supported on an atypically sparse subset of Pauli strings. Conversely, below this scale, we rigorously show that classical simulation remains exponentially hard, demonstrating that finite noise does not automatically imply classical simulability. The resulting noise-induced transition in operator complexity therefore delineates the boundary between intrinsically hard quantum dynamics and those that remain classically accessible.

quant-ph

Page Curve for Local-Operator Entanglement from Free Probability

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\'enyi 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.

quant-ph

Classical Simulability from Operator Entanglement Scaling

Local-operator entanglement (LOE) quantifies the nonlocal structure of Heisenberg operators and serves as a diagnostic of many-body chaos. We provide rigorous bounds showing when an operator can be well-approximated by a matrix-product operator (MPO), given asymptotic scaling of its LOE $\alpha$-R\'enyi entropies. Specifically, we prove that a volume law scaling for $\alpha\geq 1$ implies that the operator cannot be approximated efficiently as an MPO while faithfully reproducing all expectation values. On the other hand, if we restrict to correlations over a relevant sub-class of (ensembles of) states, then logarithmic scaling of the $\alpha < 1$ entropies implies MPO simulability. This result covers a range of relevant quantities, including infinite temperature autocorrelation functions, out-of-time-ordered correlators, and average-case expectation values over ensembles of computational basis states. Beyond this regime, we provide numerical evidence together with a random matrix model to argue that this simulability result also typically holds for arbitrary states. Our results put on firm footing the heuristic expectation that a low operator entanglement implies efficient tensor network representability, extending celebrated foundational results from the theory of matrix-product states and providing a formal link between quantum chaos and classical simulability.

quant-ph

Free Independence and Unitary Design from Random Matrix Product Unitaries

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.

quant-ph

A graph-theoretic approach to chaos and complexity in quantum systems

There has recently been considerable interest in studying quantum systems via dynamical Lie algebras (DLAs) -- Lie algebras generated by the terms which appear in the Hamiltonian of the system. However, there are some important properties that are revealed only at a finer level of granularity than the DLA. In this work we explore, via the commutator graph, average notions of scrambling, chaos and complexity over ensembles of systems with DLAs that possess a basis consisting of Pauli strings. Unlike DLAs, commutator graphs are sensitive to short-time dynamics, and therefore constitute a finer probe to various characteristics of the corresponding ensemble. We link graph-theoretic properties of the commutator graph to the out-of-time-order correlator (OTOC), the frame potential, the frustration graph of the Hamiltonian of the system, and the Krylov complexity of operators evolving under the dynamics. For example, we reduce the calculation of average OTOCs to a counting problem on the graph; separately, we connect the Krylov complexity of an operator to the module structure of the adjoint action of the DLA on the space of operators in which it resides, and prove that its average over the ensemble is lower bounded by the average shortest path length between the initial operator and the other operators in the commutator graph.

quant-ph

Diagnosing chaos with projected ensembles of process tensors

The process tensor provides a general representation of a quantum system evolving under repeated interventions and is fundamental for numerical simulations of local many-body dynamics. In this work, we introduce the projected process ensemble, an ensemble of pure output states of a process tensor in a given basis of local interventions, and use it to define increasingly more fine-grained probes of quantum chaos. The first moment of this ensemble encapsulates numerous previously studied chaos quantifiers, including the Alicki-Fannes quantum dynamical entropy, butterfly flutter fidelity, and spatiotemporal entanglement. We discover characteristic entanglement structures within the ensemble's higher moments that can sharply distinguish chaotic from integrable dynamics, overcoming deficiencies of the quantum dynamical and spatiotemporal entropies. These conclusions are supported by extensive numerical simulations of many-body dynamics for a range of spin-chain models, including non-interacting, interacting-integrable, chaotic, and many-body localized regimes. Our work elucidates the fingerprints of chaos on spatiotemporal correlations in quantum stochastic processes, and provides a unified framework for analyzing the complexity of unitary and monitored many-body dynamics.

quant-ph

Bridging Entanglement and Magic Resources within Operator Space

Local-operator entanglement (LOE) dictates the complexity of simulating Heisenberg evolution using tensor network methods, {and bears witness to many-body chaos for local dynamics}. We show that LOE is also sensitive to how non-Clifford a unitary is: its magic resources. In particular, we prove that LOE is always upper-bound by three distinct magic monotones: $T$-count, unitary nullity, and operator stabilizer R\'enyi entropy. Moreover, in the average case for large, random circuits, LOE and magic monotones approximately coincide. Our results imply that an operator evolution that is expensive to simulate using tensor network methods must also be inefficient using both stabilizer and Pauli truncation methods. {In terms of a previous conjecture on the characteristic scaling of LOE, our results also mean that non-integrable spin chains cannot be simulated classically}. Entanglement in operator space therefore measures a unified picture of non-classical resources, in stark contrast to the Schr\"odinger picture.

quant-ph

Stabilizer Tensor Networks with Magic State Injection

This work augments the recently introduced Stabilizer Tensor Network (STN) protocol with magic state injection, reporting a new framework with significantly enhanced ability to simulate circuits with an extensive number of non-Clifford operations. Specifically, for random $T$-doped $N$-qubit Clifford circuits the computational cost of circuits prepared with magic state injection scales as $\mathcal{O}(\text{poly}(N))$ when the circuit has $t \lesssim N$ $T$-gates compared to an exponential scaling for the STN approach, which is demonstrated in systems of up to $200$ qubits. In the case of the Hidden Bit Shift circuit, a paradigmatic benchmarking system for extended stabilizer methods with a tunable amount of magic, we report that our magic state injected STN framework can efficiently simulate $4000$ qubits and $320$ $T$-gates. These findings provide a promising outlook for the use of this protocol in the classical modelling of quantum circuits that are conventionally difficult to simulate efficiently.

quant-ph

Magic Resources of the Heisenberg Picture

We study a non-stabilizerness resource theory for operators, which is dual to that describing states. We identify that the stabilizer R\'enyi entropy analog in operator space is a good magic monotone satisfying the usual conditions while inheriting efficient computability properties and providing a tight lower bound to the minimum number of non-Clifford gates in a circuit. Operationally, this measure quantifies how well an operator can be approximated by one with only a few Pauli strings -- analogous to how entanglement entropy relates to tensor-network truncation. A notable advantage of operator stabilizer entropies is their inherent locality, as captured by a Lieb-Robinson bound. This feature makes them particularly suited for studying local dynamical magic resource generation in many-body systems. We compute this quantity analytically in two distinct regimes. First, we show that under random evolution, operator magic typically reaches near-maximal value for all R\'enyi indices, and we evaluate the Page correction. Second, harnessing both dual unitarity and ZX graphical calculus, we solve the operator stabilizer entropy for interacting integrable XXZ circuit, finding that it quickly saturates to a constant value. Overall, this measure sheds light on the structural properties of many-body non-stabilizerness generation and can inspire Clifford-assisted tensor network methods.

quant-ph

Adversarial Robustness Guarantees for Quantum Classifiers

Despite their ever more widespread deployment throughout society, machine learning algorithms remain critically vulnerable to being spoofed by subtle adversarial tampering with their input data. The prospect of near-term quantum computers being capable of running {quantum machine learning} (QML) algorithms has therefore generated intense interest in their adversarial vulnerability. Here we show that quantum properties of QML algorithms can confer fundamental protections against such attacks, in certain scenarios guaranteeing robustness against classically-armed adversaries. We leverage tools from many-body physics to identify the quantum sources of this protection. Our results offer a theoretical underpinning of recent evidence which suggest quantum advantages in the search for adversarial robustness. In particular, we prove that quantum classifiers are: (i) protected against weak perturbations of data drawn from the trained distribution, (ii) protected against local attacks if they are insufficiently scrambling, and (iii) show evidence that they are protected against universal adversarial attacks if they are sufficiently chaotic. Our analytic results are supported by numerical evidence demonstrating the applicability of our theorems and the resulting robustness of a quantum classifier in practice. This line of inquiry constitutes a concrete pathway to advantage in QML, orthogonal to the usually sought improvements in model speed or accuracy.

quant-ph

Capturing long-range memory structures with tree-geometry process tensors

We introduce a class of quantum non-Markovian processes -- dubbed process trees -- that exhibit polynomially decaying temporal correlations and memory distributed across time scales. This class of processes is described by a tensor network with tree-like geometry whose component tensors are (1) causality-preserving maps (superprocesses) and (2) locality-preserving temporal change of scale transformations. We show that the long-range correlations in this class of processes tends to originate almost entirely from memory effects, and can accommodate genuinely quantum power-law correlations in time. Importantly, this class allows efficient computation of multi-time correlation functions. To showcase the potential utility of this model-agnostic class for numerical simulation of physical models, we show how it can efficiently approximate the strong memory dynamics of the paradigmatic spin-boson model, in terms of arbitrary multitime features. In contrast to an equivalently costly matrix product operator (MPO) representation, the ansatz produces a fiducial characterization of the relevant physics. Finally, leveraging 2D tensor network renormalization group methods, we detail an algorithm for deriving a process tree from an underlying Hamiltonian, via the Feynmann-Vernon influence functional. Our work lays the foundation for the development of more efficient numerical techniques in the field of strongly interacting open quantum systems, as well as the theoretical development of a temporal renormalization group scheme.

quant-ph

Scrambling is Necessary but Not Sufficient for Chaos

We show that out-of-time-order correlators (OTOCs) constitute a probe for Local-Operator Entanglement (LOE). There is strong evidence that a volumetric growth of LOE is a faithful dynamical indicator of quantum chaos, while OTOC decay corresponds to operator scrambling, often conflated with chaos. We show that rapid OTOC decay is a necessary but not sufficient condition for linear (chaotic) growth of the LOE entropy. We analytically support our results through wide classes of local-circuit models of many-body dynamics, including both integrable and non-integrable dual-unitary circuits. We show sufficient conditions under which local dynamics leads to an equivalence of scrambling and chaos.

quant-ph

Operational Metric for Quantum Chaos and the Corresponding Spatiotemporal Entanglement Structure

Chaotic systems are highly sensitive to a small perturbation, and are ubiquitous throughout biological sciences, physical sciences and even social sciences. Taking this as the underlying principle, we construct an operational notion for quantum chaos. Namely, we demand that the future state of a many-body, isolated quantum system is sensitive to past multitime operations on a small subpart of that system. By `sensitive', we mean that the resultant states from two different perturbations cannot easily be transformed into each other. That is, the pertinent quantity is the complexity of the effect of the perturbation within the final state. From this intuitive metric, which we call the Butterfly Flutter Fidelity, we use the language of multitime quantum processes to identify a series of operational conditions on chaos, in particular the scaling of the spatiotemporal entanglement. Our criteria already contain the routine notions, as well as the well-known diagnostics for quantum chaos. This includes the Peres-Loschmidt Echo, Dynamical Entropy, Tripartite Mutual Information, and Local-Operator Entanglement. We hence present a unified framework for these existing diagnostics within a single structure. We also go on to quantify how several mechanisms lead to quantum chaos, such as evolution generated from random circuits. Our work paves the way to systematically study many-body dynamical phenomena like Many-Body Localization, measurement-induced phase transitions, and Floquet dynamics.

quant-ph

Equilibration of Multitime Quantum Processes in Finite Time Intervals

A generic non-integrable (unitary) out-of-equilibrium quantum process, when interrogated across many times, is shown to yield the same statistics as an (non-unitary) equilibrated process. In particular, using the tools of quantum stochastic processes, we prove that under loose assumptions, quantum processes equilibrate within finite time intervals. Sufficient conditions for this to occur are that multitime observables are coarse grained in both space and time, and that the initial state overlaps with many different energy eigenstates. These results help bridge the gap between (unitary) quantum and (non-unitary) statistical physics, i.e., when all multitime properties and correlations are well approximated by stationary quantities, which includes non-Markovianity and temporal entanglement. We discuss implications of this result for the emergence of classical stochastic processes from multitime measurements of an underlying genuinely quantum system.

quant-ph

Relaxation of Multitime Statistics in Quantum Systems

Equilibrium statistical mechanics provides powerful tools to understand physics at the macroscale. Yet, the question remains how this can be justified based on a microscopic quantum description. Here, we extend the ideas of pure state quantum statistical mechanics, which focus on single time statistics, to show the equilibration of isolated quantum processes. Namely, we show that most multitime observables for sufficiently large times cannot distinguish a nonequilibrium process from an equilibrium one, unless the system is probed for an extremely large number of times or the observable is particularly fine-grained. A corollary of our results is that the size of non-Markovianity and other multitime characteristics of a nonequilibrium process also equilibrate.

quant-ph

Second law of thermodynamics for relativistic fluids formulated with relative entropy

The second law of thermodynamics is discussed and reformulated from a quantum information theoretic perspective for open quantum systems using relative entropy. Specifically, the relative entropy of a quantum state with respect to equilibrium states is considered and its monotonicity property with respect to an open quantum system evolution is used to obtain second law-like inequalities. We discuss this first for generic quantum systems in contact with a thermal bath and subsequently turn to a formulation suitable for the description of local dynamics in a relativistic quantum field theory. A local version of the second law similar to the one used in relativistic fluid dynamics can be formulated with relative entropy or even relative entanglement entropy in a space-time region bounded by two light cones. We also give an outlook towards isolated quantum field theories and discuss the role of entanglement for relativistic fluid dynamics.

quant-ph