We derive a dynamical bound on the propagation of correlations in local random quantum circuits - lattice spin systems where piecewise quantum operations - in space and time - occur with classical probabilities. Correlations are quantified by the Frobenius norm of the commutator of two positive operators acting on space-like separated local Hilbert spaces. For times $t=O(L)$ correlations spread to distances $\mathcal{D}=t$ growing, at best, diffusively for any distance within that radius with extensively suppressed distance dependent corrections whereas for $t=o(L^2)$ all parts of the system get almost equally correlated with exponentially suppressed distance dependent corrections and approach the maximum amount of correlations that may be established asymptotically.
We present novel algorithms to estimate outcomes for qubit quantum circuits. Notably, these methods can simulate a Clifford circuit in linear time without ever writing down stabilizer states explicitly. These algorithms outperform previous noisy near-Clifford techniques for most circuits. We identify a large class of input states that can be efficiently simulated despite not being stabilizer states. The algorithms leverage probability distributions constructed from Bloch vectors, paralleling previously known algorithms that use the discrete Wigner function for qutrits.
This paper presents a novel index in order to characterize error propagation in quantum circuits by separating the resultant mixed error state in two components: an isotropic component, that quantifies the lack of information, and a dis-alignment component, that represents the shift between the current state and the original pure quantum state. The Isotropic Triangle, a graphical representation that fits naturally with the proposed index, is also introduced. Finally, some examples with the analysis of well-known quantum algorithms degradation are given.
The butterfly velocity $v_B$ has been proposed as a characteristic velocity for information propagation in local systems. It can be measured by the ballistic spreading of local operators in time (or, equivalently, by out-of-time-ordered commutators). In general, this velocity can depend on the direction of spreading and, indeed, the asymmetry between different directions can be made arbitrarily large using arbitrarily deep quantum circuits. Nevertheless, in almost all examples of local time-independent Hamiltonians that have been examined thus far, this velocity is independent of the direction…
Noisy Intermediate-Scale Quantum (NISQ) algorithms, which run on noisy quantum computers should be carefully designed to boost the output state fidelity. While several compilation approaches have been proposed to minimize circuit errors, they often omit the detailed circuit structure information that does not affect the circuit depth or the gate count. In the presence of spatial variation in the error rate of the quantum gates, adjusting the circuit structure can play a major role in mitigating errors. In this paper, we exploit the freedom of gate reordering based on the commutation rules to s…
We propose a method to achieve photon pair propagation in an array of three-level superconducting circuits. Assuming experimentally accessible three-level artificial atoms with strong anharmonicity coupled via microwave transmission lines in both one and two dimensions we analyze the circuit Quantum Electrodynamics(QED) of the system. We explicitly show that for a suitable choice of the coupling ratio between different levels, the single photon propagation is suppressed and the propagation of photon pairs emerges. This propagation of photon pairs leads to the pair superfluid of polaritons asso…
We propose a random circuit model to analyze the impact of noise on the performance of variational quantum circuits for classical optimization problems. Our model accounts for the propagation of arbitrary single qubit errors through the circuit. We find that even with a small noise rate, the quality of the obtained classical optima is low on average and a single-qubit error rate of $1 / nD$, where $n$ is the number of qubits and $D$ is the circuit depth, is needed for the possibility of a quantum advantage. We estimate that this translates to an error rate lower than $10^{-6}$ using QAOA for c…
Most quantum gate errors can be characterized by two error models, namely the probabilistic error model and the Kraus error model. We proved that for a quantum circuit with either of those two models or a mix of both, the propagation error in terms of Frobenius norm is upper bounded by $2(1 - (1 - r)^m)$, where $0 \le r < 1$ is a constant independent of the qubit number and circuit depth, and $m$ is the number of gates in the circuit. Numerical experiments of synthetic quantum circuits and quantum Fourier transform circuits are performed on the simulator of the IBM Vigo quantum computer to ver…
We study the propagation and amplification of a microwave field in a four-level cascade quantum system which is realized in a superconducting phase quantum circuit. It is shown that by increasing the microwave pump tones feeding the system, the normal dispersion switches to the anomalous and the gain-assisted superluminal microwave propagation is obtained in this system. Moreover, it is demonstrated that the stimulated microwave field is generated via four-wave mixing without any inversion population in the energy levels of the system (amplification without inversion) and the group velocity of…
Simulating quantum circuits with arbitrary local noise using Pauli Propagation
Ecole Polytechnique Fédérale de Lausanne (EPFL)（洛桑联邦理工学院）；Freie Universität Berlin（柏林自由大学）；Dahlem Center for Complex Quantum Systems, Freie Universität Berlin（柏林自由大学达勒姆复杂量子系统中心）；Los Alamos National Laboratory（洛斯阿拉莫斯国家实验室）
It is important for performance studies in quantum technologies to analyze quantum circuits in the presence of noise. We introduce an error probability tensor, a tool to track generalized Pauli error statistics of qudits within quantum circuits composed of qudit Clifford gates. Our framework is compatible with qudit stabilizer quantum error-correcting codes. We show how the error probability tensor can be applied in the most general case, and we demonstrate an error analysis of bipartite qudit repeaters with quantum error correction. We provide an exact analytical solution of the error statist…
In a recent milestone experiment, Google's processor Sycamore heralded the era of "quantum supremacy" by sampling from the output of (pseudo-)random circuits. We show that such random circuits provide tailor-made building blocks for simulating quantum many-body systems on noisy intermediate-scale quantum (NISQ) devices. Specifically, we propose an algorithm consisting of a random circuit followed by a trotterized Hamiltonian time evolution to study hydrodynamics and to extract transport coefficients in the linear response regime. We numerically demonstrate the algorithm by simulating the build…
Inevitably, assessing the overall performance of a quantum computer must rely on characterizing some of its elementary constituents and, from this information, formulate a broader statement concerning more complex constructions thereof. However, given the vastitude of possible quantum errors as well as their coherent nature, accurately inferring the quality of composite operations is generally difficult. To navigate through this jumble, we introduce a non-physical simplification of quantum maps that we refer to as the leading Kraus (LK) approximation. The uncluttered parameterization of LK app…
IBM Quantum, IBM T. J. Watson Research Center（IBM量子，IBM托马斯·J·沃森研究中心）；IBM Almaden Research Center（IBM阿尔马登研究中心）；Google Quantum AI（谷歌量子人工智能）；CMC Microsystems（CMC微系统公司）
Quantum many-body scars in random unitary circuits
Université Paris-Saclay（巴黎萨克雷大学）；CNRS（法国国家科学研究中心）；Laboratoire de Physique de l’École normale supérieure（巴黎高等师范学院物理实验室）；ENS（巴黎高等师范学院）；Université PSL（巴黎文理研究大学）；Sorbonne Université（索邦大学）；Université Paris Cité（巴黎西岱大学）
We study the growth of genuine multipartite entanglement in random quantum circuit models, which include random unitary circuit models and the random Clifford circuit. We find that for the random Clifford circuit, the growth of multipartite entanglement remains slower in comparison to the random unitary case. However, the final saturation value of multipartite entanglement is almost the same in both cases. The behavior is then compared to the genuine multipartite entanglement obtained in random matrix product states with a moderately high bond dimension. We then relate the behavior of multipar…
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 o…
We study out-of-time-ordered correlation (OTOC) functions in various random quantum circuits and show that the average dynamics is governed by a Markovian propagator. This is then used to study relaxation of OTOC to its long-time average value in circuits with random single-qubit unitaries, finding that relaxation in general proceeds in two steps: in the first phase that lasts upto an extensively long time the relaxation rate is given by a phantom eigenvalue of a non-symmetric propagator, whereas in the second phase the rate is determined by the true 2nd largest propagator eigenvalue. We also …
We show that low-depth random quantum circuits can be efficiently simulated by a quantum teleportation-inspired algorithm. By using logical qubits to redirect and teleport the quantum information in quantum circuits, the original circuits can be renormalized to new circuits with a smaller number of logical qubits. We demonstrate the algorithm to simulate several random quantum circuits, including 1D-chain 1000-qubit 42-depth, 2D-grid 125*8-qubit 42-depth and 2D-Bristlecone 72-qubit 32-depth circuits. Our results present a memory-efficient method with a clear physical picture to simulate low-de…
Random quantum circuits are commonly viewed as hard to simulate classically. In some regimes this has been formally conjectured, and there had been no evidence against the more general possibility that for circuits with uniformly random gates, approximate simulation of typical instances is almost as hard as exact simulation. We prove that this is not the case by exhibiting a shallow circuit family with uniformly random gates that cannot be efficiently classically simulated near-exactly under standard hardness assumptions, but can be simulated approximately for all but a superpolynomially small…
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 mapping, 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 …
Random quantum circuit is a minimally structured model to study the entanglement dynamics of many-body quantum systems. In this paper, we considered a one-dimensional quantum circuit with noisy Haar-random unitary gates using density matrix operator and tensor contraction methods. It is shown that the entanglement evolution of the random quantum circuits is properly characterized by the logarithmic entanglement negativity. By performing exact numerical calculations, we found that, as the physical error rate is decreased below a critical value $p_c\approx 0.056$, the logarithmic entanglement ne…
We consider a random time evolution operator composed of a circuit of random unitaries coupling even and odd neighboring spins on a chain in turn. In spirit of Floquet evolution, the circuit is time-periodic; each timestep is repeated with the same random instances. We obtain analytical results for arbitrary local Hilbert space dimension d: On a single site, average time evolution acts as a depolarising channel. In the spin 1/2 (d=2) case, this is further quantified numerically. For that, we develop a new numerical method that reduces complexity by an exponential factor. Haar-distributed unita…
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)})$, w…
Sampling from probability distributions of quantum circuits is a fundamentally and practically important task which can be used to demonstrate quantum supremacy using noisy intermediate-scale quantum devices. In the present work, we examine classical simulability of sampling from the output photon-number distribution of linear-optical circuits composed of random beam splitters with equally distributed squeezed vacuum states and single-photon states input. We provide efficient classical algorithms to simulate linear-optical random circuits and show that the algorithms' error is exponentially sm…
Efficient implementation of randomized quantum algorithms with dynamic circuits
Mitsubishi Chemical Corporation（三菱化学公司）；Quantum Computing Center, Keio University（庆应义塾大学量子计算中心）；IBM Quantum, IBM Research – Tokyo（IBM量子，IBM研究-东京）；Department of Applied Physics and Physico-Informatics, Keio University（庆应义塾大学应用物理与物理信息系）
Given a universal gate set on two qubits, it is well known that applying random gates from the set to random pairs of qubits will eventually yield an approximately Haar-distributed unitary. However, this requires exponential time. We show that random circuits of only polynomial length will approximate the first and second moments of the Haar distribution, thus forming approximate 1- and 2-designs. Previous constructions required longer circuits and worked only for specific gate sets. As a corollary of our main result, we also improve previous bounds on the convergence rate of random walks on t…
