-
Local random quantum circuits form approximate designs on arbitrary architectures
Authors:
Shivan Mittal,
Nicholas Hunter-Jones
Abstract:
We consider random quantum circuits (RQC) on arbitrary connected graphs whose edges determine the allowed $2$-qudit interactions. Prior work has established that such $n$-qudit circuits with local dimension $q$ on 1D, complete, and $D$-dimensional graphs form approximate unitary designs, that is, they generate unitaries from distributions close to the Haar measure on the unitary group $U(q^n)$ aft…
▽ More
We consider random quantum circuits (RQC) on arbitrary connected graphs whose edges determine the allowed $2$-qudit interactions. Prior work has established that such $n$-qudit circuits with local dimension $q$ on 1D, complete, and $D$-dimensional graphs form approximate unitary designs, that is, they generate unitaries from distributions close to the Haar measure on the unitary group $U(q^n)$ after polynomially many gates. Here, we extend those results by proving that RQCs comprised of $O(\mathrm{poly}(n,k))$ gates on a wide class of graphs form approximate unitary $k$-designs. We prove that RQCs on graphs with spanning trees of bounded degree and height form $k$-designs after $O(|E|n\,\mathrm{poly}(k))$ gates, where $|E|$ is the number of edges in the graph. Furthermore, we identify larger classes of graphs for which RQCs generate approximate designs in polynomial circuit size. For $k \leq 4$, we show that RQCs on graphs of certain maximum degrees form designs after $O(|E|n)$ gates, providing explicit constants. We determine our circuit size bounds from the spectral gaps of local Hamiltonians. To that end, we extend the finite-size (or Knabe) method for bounding gaps of frustration-free Hamiltonians on regular graphs to arbitrary connected graphs. We further introduce a new method based on the Detectability Lemma for determining the spectral gaps of Hamiltonians on arbitrary graphs. Our methods have wider applicability as the first method provides a succinct alternative proof of [Commun. Math. Phys. 291, 257 (2009)] and the second method proves that RQCs on any connected architecture form approximate designs in quasi-polynomial circuit size.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
Saturation and recurrence of quantum complexity in random local quantum dynamics
Authors:
Michał Oszmaniec,
Marcin Kotowski,
Michał Horodecki,
Nicholas Hunter-Jones
Abstract:
Quantum complexity is a measure of the minimal number of elementary operations required to approximately prepare a given state or unitary channel. Recently, this concept has found applications beyond quantum computing -- in studying the dynamics of quantum many-body systems and the long-time properties of AdS black holes. In this context Brown and Susskind \cite{BrownSusskind17} conjectured that t…
▽ More
Quantum complexity is a measure of the minimal number of elementary operations required to approximately prepare a given state or unitary channel. Recently, this concept has found applications beyond quantum computing -- in studying the dynamics of quantum many-body systems and the long-time properties of AdS black holes. In this context Brown and Susskind \cite{BrownSusskind17} conjectured that the complexity of a chaotic quantum system grows linearly in time up to times exponential in the system size, saturating at a maximal value, and remaining maximally complex until undergoing recurrences at doubly-exponential times. In this work we prove the saturation and recurrence of complexity in two models of chaotic time evolutions based on (i) random local quantum circuits and (ii) stochastic local Hamiltonian evolution. Our results advance an understanding of the long-time behaviour of chaotic quantum systems and could shed light on the physics of black hole interiors. From a technical perspective our results are based on establishing new quantitative connections between the Haar measure and high-degree approximate designs, as well as the fact that random quantum circuits of sufficiently high depth converge to approximate designs.
△ Less
Submitted 29 February, 2024; v1 submitted 19 May, 2022;
originally announced May 2022.
-
Random quantum circuits transform local noise into global white noise
Authors:
Alexander M. Dalzell,
Nicholas Hunter-Jones,
Fernando G. S. L. Brandão
Abstract:
We study the distribution over measurement outcomes of noisy random quantum circuits in the low-fidelity regime. We show that, for local noise that is sufficiently weak and unital, correlations (measured by the linear cross-entropy benchmark) between the output distribution $p_{\text{noisy}}$ of a generic noisy circuit instance and the output distribution $p_{\text{ideal}}$ of the corresponding no…
▽ More
We study the distribution over measurement outcomes of noisy random quantum circuits in the low-fidelity regime. We show that, for local noise that is sufficiently weak and unital, correlations (measured by the linear cross-entropy benchmark) between the output distribution $p_{\text{noisy}}$ of a generic noisy circuit instance and the output distribution $p_{\text{ideal}}$ of the corresponding noiseless instance shrink exponentially with the expected number of gate-level errors, as $F=\text{exp}(-2sε\pm O(sε^2))$, where $ε$ is the probability of error per circuit location and $s$ is the number of two-qubit gates. Furthermore, if the noise is incoherent, the output distribution approaches the uniform distribution $p_{\text{unif}}$ at precisely the same rate and can be approximated as $p_{\text{noisy}} \approx Fp_{\text{ideal}} + (1-F)p_{\text{unif}}$, that is, local errors are scrambled by the random quantum circuit and contribute only white noise (uniform output). Importantly, we upper bound the total variation error (averaged over random circuit instance) in this approximation as $O(Fε\sqrt{s})$, so the "white-noise approximation" is meaningful when $ε\sqrt{s} \ll 1$, a quadratically weaker condition than the $εs\ll 1$ requirement to maintain high fidelity. The bound applies when the circuit size satisfies $s \geq Ω(n\log(n))$ and the inverse error rate satisfies $ε^{-1} \geq \tildeΩ(n)$. The white-noise approximation is useful for salvaging the signal from a noisy quantum computation; it was an underlying assumption in complexity-theoretic arguments that low-fidelity random quantum circuits cannot be efficiently sampled classically. Our method is based on a map from second-moment quantities in random quantum circuits to expectation values of certain stochastic processes for which we compute upper and lower bounds.
△ Less
Submitted 29 November, 2021;
originally announced November 2021.
-
Improved spectral gaps for random quantum circuits: large local dimensions and all-to-all interactions
Authors:
Jonas Haferkamp,
Nicholas Hunter-Jones
Abstract:
Random quantum circuits are a central concept in quantum information theory with applications ranging from demonstrations of quantum computational advantage to descriptions of scrambling in strongly-interacting systems and black holes. The utility of random quantum circuits in these settings stems from their ability to rapidly generate quantum pseudo-randomness. In a seminal paper by Brandão, Harr…
▽ More
Random quantum circuits are a central concept in quantum information theory with applications ranging from demonstrations of quantum computational advantage to descriptions of scrambling in strongly-interacting systems and black holes. The utility of random quantum circuits in these settings stems from their ability to rapidly generate quantum pseudo-randomness. In a seminal paper by Brandão, Harrow, and Horodecki, it was proven that the $t$-th moment operator of local random quantum circuits on $n$ qudits with local dimension $q$ has a spectral gap of at least $Ω(n^{-1}t^{-5-3.1/\log(q)})$, which implies that they are efficient constructions of approximate unitary designs. As a first result, we use Knabe bounds for the spectral gaps of frustration-free Hamiltonians to show that $1D$ random quantum circuits have a spectral gap scaling as $Ω(n^{-1})$, provided that $t$ is small compared to the local dimension: $t^2\leq O(q)$. This implies a (nearly) linear scaling of the circuit depth in the design order $t$. Our second result is an unconditional spectral gap bounded below by $Ω(n^{-1}\log^{-1}(n) t^{-α(q)})$ for random quantum circuits with all-to-all interactions. This improves both the $n$ and $t$ scaling in design depth for the non-local model. We show this by proving a recursion relation for the spectral gaps involving an auxiliary random walk. Lastly, we solve the smallest non-trivial case exactly and combine with numerics and Knabe bounds to improve the constants involved in the spectral gap for small values of $t$.
△ Less
Submitted 9 December, 2020;
originally announced December 2020.
-
Random quantum circuits anti-concentrate in log depth
Authors:
Alexander M. Dalzell,
Nicholas Hunter-Jones,
Fernando G. S. L. Brandão
Abstract:
We consider quantum circuits consisting of randomly chosen two-local gates and study the number of gates needed for the distribution over measurement outcomes for typical circuit instances to be anti-concentrated, roughly meaning that the probability mass is not too concentrated on a small number of measurement outcomes. Understanding the conditions for anti-concentration is important for determin…
▽ More
We consider quantum circuits consisting of randomly chosen two-local gates and study the number of gates needed for the distribution over measurement outcomes for typical circuit instances to be anti-concentrated, roughly meaning that the probability mass is not too concentrated on a small number of measurement outcomes. Understanding the conditions for anti-concentration is important for determining which quantum circuits are difficult to simulate classically, as anti-concentration has been in some cases an ingredient of mathematical arguments that simulation is hard and in other cases a necessary condition for easy simulation. Our definition of anti-concentration is that the expected collision probability, that is, the probability that two independently drawn outcomes will agree, is only a constant factor larger than if the distribution were uniform. We show that when the 2-local gates are each drawn from the Haar measure (or any two-design), at least $Ω(n \log(n))$ gates (and thus $Ω(\log(n))$ circuit depth) are needed for this condition to be met on an $n$ qudit circuit. In both the case where the gates are nearest-neighbor on a 1D ring and the case where gates are long-range, we show $O(n \log(n))$ gates are also sufficient, and we precisely compute the optimal constant prefactor for the $n \log(n)$. The technique we employ relies upon a map** from the expected collision probability to the partition function of an Ising-like classical statistical mechanical model, which we manage to bound using stochastic and combinatorial techniques.
△ Less
Submitted 4 March, 2022; v1 submitted 24 November, 2020;
originally announced November 2020.
-
Fluctuations of subsystem entropies at late times
Authors:
Jordan Cotler,
Nicholas Hunter-Jones,
Daniel Ranard
Abstract:
We study the fluctuations of subsystem entropies in closed quantum many-body systems after thermalization. Using a combination of analytics and numerics for both random quantum circuits and Hamiltonian dynamics, we find that the statistics of such entropy fluctuations is drastically different than in the classical setting. For instance, shortly after a system thermalizes, the probability of entrop…
▽ More
We study the fluctuations of subsystem entropies in closed quantum many-body systems after thermalization. Using a combination of analytics and numerics for both random quantum circuits and Hamiltonian dynamics, we find that the statistics of such entropy fluctuations is drastically different than in the classical setting. For instance, shortly after a system thermalizes, the probability of entropy fluctuations for a subregion is suppressed in the dimension of the Hilbert space of the complementary subregion. This suppression becomes increasingly stringent as a function of time, ultimately depending on the exponential of the Hilbert space dimension, until extremely late times when the amount of suppression saturates. We also use our results to estimate the total number of rare fluctuations at large timescales. We find that the "Boltzmann brain" paradox is largely ameliorated in quantum many-body systems, in contrast with the classical setting.
△ Less
Submitted 5 November, 2020; v1 submitted 22 October, 2020;
originally announced October 2020.
-
Models of quantum complexity growth
Authors:
Fernando G. S. L. Brandão,
Wissam Chemissany,
Nicholas Hunter-Jones,
Richard Kueng,
John Preskill
Abstract:
The concept of quantum complexity has far-reaching implications spanning theoretical computer science, quantum many-body physics, and high energy physics. The quantum complexity of a unitary transformation or quantum state is defined as the size of the shortest quantum computation that executes the unitary or prepares the state. It is reasonable to expect that the complexity of a quantum state gov…
▽ More
The concept of quantum complexity has far-reaching implications spanning theoretical computer science, quantum many-body physics, and high energy physics. The quantum complexity of a unitary transformation or quantum state is defined as the size of the shortest quantum computation that executes the unitary or prepares the state. It is reasonable to expect that the complexity of a quantum state governed by a chaotic many-body Hamiltonian grows linearly with time for a time that is exponential in the system size; however, because it is hard to rule out a short-cut that improves the efficiency of a computation, it is notoriously difficult to derive lower bounds on quantum complexity for particular unitaries or states without making additional assumptions. To go further, one may study more generic models of complexity growth. We provide a rigorous connection between complexity growth and unitary $k$-designs, ensembles which capture the randomness of the unitary group. This connection allows us to leverage existing results about design growth to draw conclusions about the growth of complexity. We prove that local random quantum circuits generate unitary transformations whose complexity grows linearly for a long time, mirroring the behavior one expects in chaotic quantum systems and verifying conjectures by Brown and Susskind. Moreover, our results apply under a strong definition of quantum complexity based on optimal distinguishing measurements.
△ Less
Submitted 9 December, 2019;
originally announced December 2019.
-
Spectral decoupling in many-body quantum chaos
Authors:
Jordan Cotler,
Nicholas Hunter-Jones
Abstract:
We argue that in a large class of disordered quantum many-body systems, the late time dynamics of time-dependent correlation functions is captured by random matrix theory, specifically the energy eigenvalue statistics of the corresponding ensemble of disordered Hamiltonians. We find that late time correlation functions approximately factorize into a time-dependent piece, which only depends on spec…
▽ More
We argue that in a large class of disordered quantum many-body systems, the late time dynamics of time-dependent correlation functions is captured by random matrix theory, specifically the energy eigenvalue statistics of the corresponding ensemble of disordered Hamiltonians. We find that late time correlation functions approximately factorize into a time-dependent piece, which only depends on spectral statistics of the Hamiltonian ensemble, and a time-independent piece, which only depends on the data of the constituent operators of the correlation function. We call this phenomenon "spectral decoupling," which signifies a dynamical onset of random matrix theory in correlation functions. A key diagnostic of spectral decoupling is $k$-invariance, which we refine and study in detail. Particular emphasis is placed on the role of symmetries, and connections between $k$-invariance, scrambling, and OTOCs. Disordered Pauli spin systems, as well as the SYK model and its variants, provide a rich source of disordered quantum many-body systems with varied symmetries, and we study $k$-invariance in these models with a combination of analytics and numerics.
△ Less
Submitted 13 January, 2021; v1 submitted 5 November, 2019;
originally announced November 2019.
-
Unitary designs from statistical mechanics in random quantum circuits
Authors:
Nicholas Hunter-Jones
Abstract:
Random quantum circuits are proficient information scramblers and efficient generators of randomness, rapidly approximating moments of the unitary group. We study the convergence of local random quantum circuits to unitary $k$-designs. Employing a statistical mechanical map**, we give an exact expression of the distance to forming an approximate design as a lattice partition function. In the sta…
▽ More
Random quantum circuits are proficient information scramblers and efficient generators of randomness, rapidly approximating moments of the unitary group. We study the convergence of local random quantum circuits to unitary $k$-designs. Employing a statistical mechanical map**, we give an exact expression of the distance to forming an approximate design as a lattice partition function. In the statistical mechanics model, the approach to randomness has a simple interpretation in terms of domain walls extending through the circuit. We analytically compute the second moment, showing that random circuits acting on $n$ qudits form approximate 2-designs in $O(n)$ depth, as is known. Furthermore, we argue that random circuits form approximate unitary $k$-designs in $O(nk)$ depth and are thus essentially optimal in both $n$ and $k$. We can show this in the limit of large local dimension, but more generally rely on a conjecture about the dominance of certain domain wall configurations.
△ Less
Submitted 28 May, 2019;
originally announced May 2019.
-
Operator growth in random quantum circuits with symmetry
Authors:
Nicholas Hunter-Jones
Abstract:
We study random quantum circuits with symmetry, where the local 2-site unitaries are drawn from a quotient or subgroup of the full unitary group $U(d)$. Random quantum circuits are minimal models of local quantum chaotic dynamics and can be used to study operator growth and the emergence of diffusive hydrodynamics. We derive the transition probabilities for the stochastic process governing the gro…
▽ More
We study random quantum circuits with symmetry, where the local 2-site unitaries are drawn from a quotient or subgroup of the full unitary group $U(d)$. Random quantum circuits are minimal models of local quantum chaotic dynamics and can be used to study operator growth and the emergence of diffusive hydrodynamics. We derive the transition probabilities for the stochastic process governing the growth of operators in four classes of symmetric random circuits. We then compute the butterfly velocities and diffusion constants for a spreading operator by solving a simple random walk in each class of circuits.
△ Less
Submitted 19 December, 2018;
originally announced December 2018.
-
Chaos and random matrices in supersymmetric SYK
Authors:
Nicholas Hunter-Jones,
Junyu Liu
Abstract:
We use random matrix theory to explore late-time chaos in supersymmetric quantum mechanical systems. Motivated by the recent study of supersymmetric SYK models and their random matrix classification, we consider the Wishart-Laguerre unitary ensemble and compute the spectral form factors and frame potentials to quantify chaos and randomness. Compared to the Gaussian ensembles, we observe the absenc…
▽ More
We use random matrix theory to explore late-time chaos in supersymmetric quantum mechanical systems. Motivated by the recent study of supersymmetric SYK models and their random matrix classification, we consider the Wishart-Laguerre unitary ensemble and compute the spectral form factors and frame potentials to quantify chaos and randomness. Compared to the Gaussian ensembles, we observe the absence of a dip regime in the form factor and a slower approach to Haar-random dynamics. We find agreement between our random matrix analysis and predictions from the supersymmetric SYK model, and discuss the implications for supersymmetric chaotic systems.
△ Less
Submitted 31 May, 2018; v1 submitted 23 October, 2017;
originally announced October 2017.
-
On thermalization in the SYK and supersymmetric SYK models
Authors:
Nicholas Hunter-Jones,
Junyu Liu,
Yehao Zhou
Abstract:
The eigenstate thermalization hypothesis is a compelling conjecture which strives to explain the apparent thermal behavior of generic observables in closed quantum systems. Although we are far from a complete analytic understanding, quantum chaos is often seen as a strong indication that the ansatz holds true. In this paper, we address the thermalization of energy eigenstates in the Sachdev-Ye-Kit…
▽ More
The eigenstate thermalization hypothesis is a compelling conjecture which strives to explain the apparent thermal behavior of generic observables in closed quantum systems. Although we are far from a complete analytic understanding, quantum chaos is often seen as a strong indication that the ansatz holds true. In this paper, we address the thermalization of energy eigenstates in the Sachdev-Ye-Kitaev model, a maximally chaotic model of strongly-interacting Majorana fermions. We numerically investigate eigenstate thermalization for specific few-body operators in the original SYK model as well as its $\mathcal{N}=1$ supersymmetric extension and find evidence that these models satisfy ETH. We discuss the implications of ETH for a gravitational dual and the quantum information-theoretic properties of SYK it suggests.
△ Less
Submitted 26 February, 2018; v1 submitted 9 October, 2017;
originally announced October 2017.
-
Chaos, Complexity, and Random Matrices
Authors:
Jordan Cotler,
Nicholas Hunter-Jones,
Junyu Liu,
Beni Yoshida
Abstract:
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. W…
▽ More
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 $\mathcal{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.
△ Less
Submitted 14 September, 2017; v1 submitted 16 June, 2017;
originally announced June 2017.
-
Consistency Conditions for an AdS/MERA Correspondence
Authors:
Ning Bao,
ChunJun Cao,
Sean M. Carroll,
Aidan Chatwin-Davies,
Nicholas Hunter-Jones,
Jason Pollack,
Grant N. Remmen
Abstract:
The Multi-scale Entanglement Renormalization Ansatz (MERA) is a tensor network that provides an efficient way of variationally estimating the ground state of a critical quantum system. The network geometry resembles a discretization of spatial slices of an AdS spacetime and "geodesics" in the MERA reproduce the Ryu-Takayanagi formula for the entanglement entropy of a boundary region in terms of bu…
▽ More
The Multi-scale Entanglement Renormalization Ansatz (MERA) is a tensor network that provides an efficient way of variationally estimating the ground state of a critical quantum system. The network geometry resembles a discretization of spatial slices of an AdS spacetime and "geodesics" in the MERA reproduce the Ryu-Takayanagi formula for the entanglement entropy of a boundary region in terms of bulk properties. It has therefore been suggested that there could be an AdS/MERA correspondence, relating states in the Hilbert space of the boundary quantum system to ones defined on the bulk lattice. Here we investigate this proposal and derive necessary conditions for it to apply, using geometric features and entropy inequalities that we expect to hold in the bulk. We show that, perhaps unsurprisingly, the MERA lattice can only describe physics on length scales larger than the AdS radius. Further, using the covariant entropy bound in the bulk, we show that there are no conventional MERA parameters that completely reproduce bulk physics even on super-AdS scales. We suggest modifications or generalizations of this kind of tensor network that may be able to provide a more robust correspondence.
△ Less
Submitted 1 July, 2015; v1 submitted 24 April, 2015;
originally announced April 2015.
