skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Convergence conditions for random quantum circuits

Abstract

Efficient methods for generating pseudorandomly distributed unitary operators are needed for the practical application of Haar-distributed random operators in quantum communication and noise estimation protocols. We develop a theoretical framework for analyzing pseudorandom ensembles generated through a random circuit composition. We prove that the measure over random circuits converges exponentially (with increasing circuit length) to the uniform (Haar) measure on the unitary group, though the rate for uniform convergence must decrease exponentially with the number of qubits. We describe how the rate of convergence for test functions associated with specific randomization tasks leads to weaker convergence conditions that may allow efficient random circuit constructions.

Authors:
 [1];  [2];  [3];  [4]
  1. Institute for Quantum Computing and Department of Applied Math, University of Waterloo, 200 University Avenue West, Waterloo, Ontario, N2L 3G1 (Canada)
  2. (Canada)
  3. Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Waterloo, Ontario, N2L 2Y5 (Canada)
  4. Department of Mechanical Engineering, Massachusetts Institute of Technology, 77 Massachusetts Avenue, Cambridge, Massachusetts 02139 (United States)
Publication Date:
OSTI Identifier:
20786237
Resource Type:
Journal Article
Resource Relation:
Journal Name: Physical Review. A; Journal Volume: 72; Journal Issue: 6; Other Information: DOI: 10.1103/PhysRevA.72.060302; (c) 2005 The American Physical Society; Country of input: International Atomic Energy Agency (IAEA)
Country of Publication:
United States
Language:
English
Subject:
74 ATOMIC AND MOLECULAR PHYSICS; CONVERGENCE; DATA TRANSMISSION; NOISE; QUANTUM COMPUTERS; QUANTUM MECHANICS; QUBITS; RANDOMNESS

Citation Formats

Emerson, Joseph, Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Waterloo, Ontario, N2L 2Y5, Livine, Etera, and Lloyd, Seth. Convergence conditions for random quantum circuits. United States: N. p., 2005. Web. doi:10.1103/PHYSREVA.72.0.
Emerson, Joseph, Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Waterloo, Ontario, N2L 2Y5, Livine, Etera, & Lloyd, Seth. Convergence conditions for random quantum circuits. United States. doi:10.1103/PHYSREVA.72.0.
Emerson, Joseph, Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Waterloo, Ontario, N2L 2Y5, Livine, Etera, and Lloyd, Seth. Thu . "Convergence conditions for random quantum circuits". United States. doi:10.1103/PHYSREVA.72.0.
@article{osti_20786237,
title = {Convergence conditions for random quantum circuits},
author = {Emerson, Joseph and Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Waterloo, Ontario, N2L 2Y5 and Livine, Etera and Lloyd, Seth},
abstractNote = {Efficient methods for generating pseudorandomly distributed unitary operators are needed for the practical application of Haar-distributed random operators in quantum communication and noise estimation protocols. We develop a theoretical framework for analyzing pseudorandom ensembles generated through a random circuit composition. We prove that the measure over random circuits converges exponentially (with increasing circuit length) to the uniform (Haar) measure on the unitary group, though the rate for uniform convergence must decrease exponentially with the number of qubits. We describe how the rate of convergence for test functions associated with specific randomization tasks leads to weaker convergence conditions that may allow efficient random circuit constructions.},
doi = {10.1103/PHYSREVA.72.0},
journal = {Physical Review. A},
number = 6,
volume = 72,
place = {United States},
year = {Thu Dec 15 00:00:00 EST 2005},
month = {Thu Dec 15 00:00:00 EST 2005}
}
  • In this paper, we study the discrete-time quantum random walks on a line subject to decoherence. The convergence of the rescaled position probability distribution p(x,t) depends mainly on the spectrum of the superoperator L{sub kk}. We show that if 1 is an eigenvalue of the superoperator with multiplicity one and there is no other eigenvalue whose modulus equals 1, then P(({nu}/{radical}(t)),t) converges to a convex combination of normal distributions. In terms of position space, the rescaled probability mass function p{sub t}(x,t){identical_to}p({radical}(t)x,t), x is an element of Z/{radical}(t), converges in distribution to a continuous convex combination of normal distributions. We givemore » a necessary and sufficient condition for a U(2) decoherent quantum walk that satisfies the eigenvalue conditions. We also give a complete description of the behavior of quantum walks whose eigenvalues do not satisfy these assumptions. Specific examples such as the Hadamard walk and walks under real and complex rotations are illustrated. For the O(2) quantum random walks, an explicit formula is provided for the scaling limit of p(x,t) and their moments. We also obtain exact critical exponents for their moments at the critical point and show universality classes with respect to these critical exponents.« less
  • We define different classes of local random quantum circuits (L-RQC) and show that (a) statistical properties of L-RQC are encoded into an associated family of completely positive maps and (b) average purity dynamics can be described by the action of these maps on operator algebras of permutations (swap algebras). An exactly solvable one-dimensional case is analyzed to illustrate the power of the swap algebra formalism. More in general, we prove short time area-law bounds on average purity for uncorrelated L-RQC and infinite time results for both the uncorrelated and correlated cases.
  • The paper presents necessary and sufficient conditions for the weak convergence of R{sup m}-valued random sequences with independent random indices under some additional assumptions. Operator normalization is considered.
  • The complete convergence of normed sums of independent identically distributed random variables with random indices is studied. Some applications for subsequences and sequences with multidimensional indices are given.
  • Necessary and sufficient conditions are obtained for the weak convergence of nonrandomly centered and normalized random sums of independent identically distributed random variables. Limit distributions for these sums are described.