DOCSLIB.ORG

Readout Rebalancing for Near Term Quantum Computers

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Readout Rebalancing for Near Term Quantum Computers Readout Rebalancing for Near Term Quantum Computers Rebecca Hicks,1, ∗ Christian W. Bauer,2, † and Benjamin Nachman2, ‡ 1Physics Department, University of California, Berkeley, Berkeley, CA 94720, USA 2Physics Division, Lawrence Berkeley National Laboratory, Berkeley, CA 94720, USA (Dated: October 16, 2020) Readout errors are a significant source of noise for near term intermediate scale quantum computers. Mismeasuring a qubit as a |1i when it should be |0i occurs much less often than mismeasuring a qubit as a |0i when it should have been |1i. We make the simple observation that one can improve the readout fidelity of quantum computers by applying targeted X gates prior to performing a measurement. These X gates are placed so that the expected number of qubits in the |1i state is minimized. Classical post processing can undo the effect of the X gates so that the expectation value of any observable is unchanged. We show that the statistical uncertainty following readout error corrections is smaller when using readout rebalancing. The statistical advantage is circuit- and computer-dependent, and is demonstrated for the W state, a Grover search, and for a Gaussian state. The benefit in statistical precision is most pronounced (and nearly a factor of two in some cases) when states with many qubits in the excited state have high probability. I. INTRODUCTION the simple observation that one can improve the readout fidelity of quantum computers by applying targeted X Quantum computers hold great promise for a variety of gates prior to performing a measurement. These X gates scientific and industrial applications. However, existing are placed so that the expected number of qubits in the noisy intermediate-scale quantum (NISQ) computers [1] |1i state is minimized. Classical post processing can undo introduce significant errors that must be mitigated before the effect of the X gates so that the expectation value of achieving useful output. Error mitigation on a quantum any observable is unchanged. This Readout Rebalancing computer [2–6] is significantly different than classical er- must be combined with additional readout corrections to ror mitigation because quantum bits (‘qubits’) cannot be unfold the migrations. Previous studies have proposed copied [7–9]. Full quantum error correction requires sig- symmetrizing the readout with targeted X gates [44, 45], nificant overhead in the additional number of qubits and but we are unaware of any proposal to introduce asym- gates. This has been demonstrated for simple quantum metric rebalancing. Symmetrizing has the advantage that circuits [10–19], but is infeasible on NISQ hardware due it is independent of the measured state and improves to limited qubit counts and circuit depths. Instead, a va- the fidelity of qubits that are more often in the |1i state. riety of schemes have been proposed to mitigate – without However, symmetrizing will necessarily reduce the fidelity completely eliminating – errors. There are two types of er- for qubits that are more often in the |0i state (this is a rors that are targeted by these schemes: those that affect state-dependent statement). the preparation of the quantum state [20–25] and those This paper is organized as follows. SectionII introduces that affect the measurement of the prepared state [26–43]. readout rebalancing and briefly reviews readout error This paper focuses on the latter type – called readout mitigation. Numerical results are presented in Sec. III and errors – and how one can modify the quantum state prior the paper ends with conclusions and outlook in Sec.IV. to readout in order to reduce these errors. Readout errors typically arise from two sources: (1) measurement times are significant in comparison to de- II. METHOD coherence times and thus a qubit in the |1i state1 can decay to the |0i state during a measurement, and (2) To motivate the rebalancing technique, we start with arXiv:2010.07496v1 [quant-ph] 15 Oct 2020 probability distributions of measured physical quantities that correspond to the |0i and |1i states have overlapping an illustrative example. Suppose that there is a two qubit support and there is a small probability of measuring system with measurement errors Pr(|0ii → |1ii) = 0 and the opposite value. The first of these sources results in Pr(|1ii → |0ii) = qi for i ∈ {0, 1} with no nontrivial asymmetric errors: mismeasuring a qubit as a |1i when it multiqubit readout errors. When qi → 0, there are no should be |0i occurs much less often than mismeasuring readout errors. For simplicity, assume that qi 1 so that 2 a qubit as a |0i when it should have been |1i. We make terms of O(qi ) can be neglected. Suppose that simple matrix inversion is used to correct readout errors and that the state is measured N times. Define N|iji as the number of true counts in state |iji and Nˆ is the number ∗ [email protected] |iji † [email protected] of reconstructed counts in state |iji following readout ‡ [email protected] error corrections. The readout corrections are estimated 1 We consider two-state systems and denote the excited state as by inverting the 4 × 4 matrix encoding the transition |1i and the ground state as |0i. probabilities between any possible true state and any 2 ˆ possible observed state. By construction, E[N|iji] = N|iji. One can show that the variance of the counts after readout |0i correction are given by (for details, see AppendixA) |0i ˆ N|iji ˆ Var[N|iji] = N|iji 1 − + ∆Var[N|iji] (1) |0i N −1 Ucircuit R |0i with |0i ˆ 2 ∆Var[N|00i] = q0N|10i + q1N|01i + O(q ) ˆ 2 |0i ∆Var[N|11i] = (q0 + q1) N|11i + O(q ) (2) y In particular, if N = N|11i (i.e. the other states have zero |0i X X true counts), one finds Var[Nˆ ] = 0, while Var[Nˆ ] 6= |00i |11i |0i 0, for non-vanishing qi. On the other hand, if N = ˆ ˆ N|00i, both Var[N|00i] = 0 and Var[N|11i] = 0 vanish. |0i This suggests that if one is trying to measure a state −1 Ucircuit R dominated by |11i, it would be more effective to first |0i invert 0 ↔ 1, perform the measurement, and then swap back the classical bits afterward. |0i X X The readout rebalancing protocol is illustrated in Fig.1. First, the probability mass function over states p(x) is |0i estimated using a small fraction of the total number of intended measurements. Then, a rule is used to determine FIG. 1. An illustration of the Readout Rebalancing protocol. which qubits should be flipped prior to being measured, Here Ucircuit represents the state preparation that must hap- with the goal of switching those qubits that are predomi- pen for each measurement, and the readout error mitigation nantly in the |1i state. There are multiple possible rules, represented by an inverted response matrix R−1 (in practice, and in this paper we use a simple and effective approach. a more sophisticated readout error mitigation scheme may be used) is performed on an ensemble of measured states. From In this approach one first computes hqii, the average value for each qubit i. If this value is greater than 0.5, the qubit the measured values of the qubits of the first circuit which i is set to be flipped and otherwise it is untouched. A uses a small fraction of the total number of runs one then determines which qubits have hq i > 0.5 and should therefore modified circuit is then prepared where single qubit X i be flipped (the first and fifth in our example). One then runs gates are applied at the end of the circuit to the qubits the remaining large fraction of the runs on the modified second set to be flipped. Using this modified circuit one then circuit. performs the intended measurements. These data are corrected for readout errors (more on this below) and then post-processed with classical X gates to undo the quantum X gates. estimate of the response matrix. The simplest readout ˆ −1 As stated earlier, the reason that the readout rebal- error correction approach is simply tmatrix = R t. For a ancing protocol is expected to be effective is that errors variety of reasons, this may be suboptimal and so multi- are asymmetric. While we are not aware of other pro- ple alternative methods have been proposed [39, 47, 48]. posals for biased (circuit-specific) rebalancing, Google In this paper, we will use Iterative Bayesian Unfolding (IBU) [49–51] as described in the context of quantum AI Quantum [44] (through its software Cirq [46]) and Rigetti (through its software pyQuil [45]) have proposed computing in Ref. [39]. This iterative procedure starts ˆ0 nqubits symmetric rebalancing whereby the result from a circuit with ti = Pr(m = i) = 1/2 and then is averaged with a version of its complement that uses some pre-determined (non-state-specific) set of X gates. n+1 X tˆ = Pr(t = i|m = j) × mj (3) This approach improves the fidelity of qubits that are i j mostly in the one state, but it degrades the performance ˆn of measuring states where a qubit is mostly in the zero X Rjiti = × mj. (4) P R tˆn state. We will compare to a version of symmeterized read- h k jk k out where measurements are averaged using a nominal circuit and a circuit with all X gates. ˆ ˆ100 There are many options for readout error corrections, We will use 100 iterations and label t ≡ t , but the indicated by R−1 in Fig.1. Let m and t represent the results do not depend strongly on this number.
Load more

Recommended publications
  • Simulating Quantum Field Theory with a Quantum Computer
    Simulating quantum field theory with a quantum computer John Preskill Lattice 2018 28 July 2018 This talk has two parts (1) Near-term prospects for quantum computing. (2) Opportunities in quantum simulation of quantum field theory. Exascale digital computers will advance our knowledge of QCD, but some challenges will remain, especially concerning real-time evolution and properties of nuclear matter and quark-gluon plasma at nonzero temperature and chemical potential. Digital computers may never be able to address these (and other) problems; quantum computers will solve them eventually, though I’m not sure when. The physics payoff may still be far away, but today’s research can hasten the arrival of a new era in which quantum simulation fuels progress in fundamental physics. Frontiers of Physics short distance long distance complexity Higgs boson Large scale structure “More is different” Neutrino masses Cosmic microwave Many-body entanglement background Supersymmetry Phases of quantum Dark matter matter Quantum gravity Dark energy Quantum computing String theory Gravitational waves Quantum spacetime particle collision molecular chemistry entangled electrons A quantum computer can simulate efficiently any physical process that occurs in Nature. (Maybe. We don’t actually know for sure.) superconductor black hole early universe Two fundamental ideas (1) Quantum complexity Why we think quantum computing is powerful. (2) Quantum error correction Why we think quantum computing is scalable. A complete description of a typical quantum state of just 300 qubits requires more bits than the number of atoms in the visible universe. Why we think quantum computing is powerful We know examples of problems that can be solved efficiently by a quantum computer, where we believe the problems are hard for classical computers.
    [Show full text]
  • CS286.2 Lectures 5-6: Introduction to Hamiltonian Complexity, QMA-Completeness of the Local Hamiltonian Problem
    CS286.2 Lectures 5-6: Introduction to Hamiltonian Complexity, QMA-completeness of the Local Hamiltonian problem Scribe: Jenish C. Mehta The Complexity Class BQP The complexity class BQP is the quantum analog of the class BPP. It consists of all languages that can be decided in quantum polynomial time. More formally, Definition 1. A language L 2 BQP if there exists a classical polynomial time algorithm A that ∗ maps inputs x 2 f0, 1g to quantum circuits Cx on n = poly(jxj) qubits, where the circuit is considered a sequence of unitary operators each on 2 qubits, i.e Cx = UTUT−1...U1 where each 2 2 Ui 2 L C ⊗ C , such that: 2 i. Completeness: x 2 L ) Pr(Cx accepts j0ni) ≥ 3 1 ii. Soundness: x 62 L ) Pr(Cx accepts j0ni) ≤ 3 We say that the circuit “Cx accepts jyi” if the first output qubit measured in Cxjyi is 0. More j0i specifically, letting P1 = j0ih0j1 be the projection of the first qubit on state j0i, j0i 2 Pr(Cx accepts jyi) =k (P1 ⊗ In−1)Cxjyi k2 The Complexity Class QMA The complexity class QMA (or BQNP, as Kitaev originally named it) is the quantum analog of the class NP. More formally, Definition 2. A language L 2 QMA if there exists a classical polynomial time algorithm A that ∗ maps inputs x 2 f0, 1g to quantum circuits Cx on n + q = poly(jxj) qubits, such that: 2q i. Completeness: x 2 L ) 9jyi 2 C , kjyik2 = 1, such that Pr(Cx accepts j0ni ⊗ 2 jyi) ≥ 3 2q 1 ii.
    [Show full text]
  • Taking the Quantum Leap with Machine Learning
    Introduction Quantum Algorithms Current Research Conclusion Taking the Quantum Leap with Machine Learning Zack Barnes University of Washington Bellevue College Mathematics and Physics Colloquium Series [email protected] January 15, 2019 Zack Barnes University of Washington UW Quantum Machine Learning Introduction Quantum Algorithms Current Research Conclusion Overview 1 Introduction What is Quantum Computing? What is Machine Learning? Quantum Power in Theory 2 Quantum Algorithms HHL Quantum Recommendation 3 Current Research Quantum Supremacy(?) 4 Conclusion Zack Barnes University of Washington UW Quantum Machine Learning Introduction Quantum Algorithms Current Research Conclusion What is Quantum Computing? \Quantum computing focuses on studying the problem of storing, processing and transferring information encoded in quantum mechanical systems.\ [Ciliberto, Carlo et al., 2018] Unit of quantum information is the qubit, or quantum binary integer. Zack Barnes University of Washington UW Quantum Machine Learning Supervised Uses labeled examples to predict future events Unsupervised Not classified or labeled Introduction Quantum Algorithms Current Research Conclusion What is Machine Learning? \Machine learning is the scientific study of algorithms and statistical models that computer systems use to progressively improve their performance on a specific task.\ (Wikipedia) Zack Barnes University of Washington UW Quantum Machine Learning Uses labeled examples to predict future events Unsupervised Not classified or labeled Introduction Quantum
    [Show full text]
  • Interactive Proofs for Quantum Computations
    Innovations in Computer Science 2010 Interactive Proofs For Quantum Computations Dorit Aharonov Michael Ben-Or Elad Eban School of Computer Science, The Hebrew University of Jerusalem, Israel [email protected] [email protected] [email protected] Abstract: The widely held belief that BQP strictly contains BPP raises fundamental questions: Upcoming generations of quantum computers might already be too large to be simulated classically. Is it possible to experimentally test that these systems perform as they should, if we cannot efficiently compute predictions for their behavior? Vazirani has asked [21]: If computing predictions for Quantum Mechanics requires exponential resources, is Quantum Mechanics a falsifiable theory? In cryptographic settings, an untrusted future company wants to sell a quantum computer or perform a delegated quantum computation. Can the customer be convinced of correctness without the ability to compare results to predictions? To provide answers to these questions, we define Quantum Prover Interactive Proofs (QPIP). Whereas in standard Interactive Proofs [13] the prover is computationally unbounded, here our prover is in BQP, representing a quantum computer. The verifier models our current computational capabilities: it is a BPP machine, with access to few qubits. Our main theorem can be roughly stated as: ”Any language in BQP has a QPIP, and moreover, a fault tolerant one” (providing a partial answer to a challenge posted in [1]). We provide two proofs. The simpler one uses a new (possibly of independent interest) quantum authentication scheme (QAS) based on random Clifford elements. This QPIP however, is not fault tolerant. Our second protocol uses polynomial codes QAS due to Ben-Or, Cr´epeau, Gottesman, Hassidim, and Smith [8], combined with quantum fault tolerance and secure multiparty quantum computation techniques.
    [Show full text]
  • Quantum Supremacy
    Quantum Supremacy Practical QS: perform some computational task on a well-controlled quantum device, which cannot be simulated in a reasonable time by the best-known classical algorithms and hardware. Theoretical QS: perform a computational task efficiently on a quantum device, and prove that task cannot be efficiently classically simulated. Since proving seems to be beyond the capabilities of our current civilization, we lower the standards for theoretical QS. One seeks to provide formal evidence that classical simulation is unlikely. For example: 3-SAT is NP-complete, so it cannot be efficiently classical solved unless P = NP. Theoretical QS: perform a computational task efficiently on a quantum device, and prove that task cannot be efficiently classically simulated unless “the polynomial Heierarchy collapses to the 3nd level.” Quantum Supremacy A common feature of QS arguments is that they consider sampling problems, rather than decision problems. They allow us to characterize the complexity of sampling measurements of quantum states. Which is more difficult: Task A: deciding if a circuit outputs 1 with probability at least 2/3s, or at most 1/3s Task B: sampling from the output of an n-qubit circuit in the computational basis Sampling from distributions is generically more difficult than approximating observables, since we can use samples to estimate observables, but not the other way around. One can imagine quantum systems whose local observables are easy to classically compute, but for which sampling the full state is computationally complex. By moving from decision problems to sampling problems, we make the task of classical simulation much more difficult.
    [Show full text]
  • Quantum Algorithms for Classical Lattice Models
    Home Search Collections Journals About Contact us My IOPscience Quantum algorithms for classical lattice models This content has been downloaded from IOPscience. Please scroll down to see the full text. 2011 New J. Phys. 13 093021 (http://iopscience.iop.org/1367-2630/13/9/093021) View the table of contents for this issue, or go to the journal homepage for more Download details: IP Address: 147.96.14.15 This content was downloaded on 16/12/2014 at 15:54 Please note that terms and conditions apply. New Journal of Physics The open–access journal for physics Quantum algorithms for classical lattice models G De las Cuevas1,2,5, W Dür1, M Van den Nest3 and M A Martin-Delgado4 1 Institut für Theoretische Physik, Universität Innsbruck, Technikerstraße 25, A-6020 Innsbruck, Austria 2 Institut für Quantenoptik und Quanteninformation der Österreichischen Akademie der Wissenschaften, Innsbruck, Austria 3 Max-Planck-Institut für Quantenoptik, Hans-Kopfermann-Strasse 1, D-85748 Garching, Germany 4 Departamento de Física Teórica I, Universidad Complutense, 28040 Madrid, Spain E-mail: [email protected] New Journal of Physics 13 (2011) 093021 (35pp) Received 15 April 2011 Published 9 September 2011 Online at http://www.njp.org/ doi:10.1088/1367-2630/13/9/093021 Abstract. We give efficient quantum algorithms to estimate the partition function of (i) the six-vertex model on a two-dimensional (2D) square lattice, (ii) the Ising model with magnetic fields on a planar graph, (iii) the Potts model on a quasi-2D square lattice and (iv) the Z2 lattice gauge theory on a 3D square lattice.
    [Show full text]
  • QIP 2010 Tutorial and Scientific Programmes
    QIP 2010 15th – 22nd January, Zürich, Switzerland Tutorial and Scientific Programmes asymptotically large number of channel uses. Such “regularized” formulas tell us Friday, 15th January very little. The purpose of this talk is to give an overview of what we know about 10:00 – 17:10 Jiannis Pachos (Univ. Leeds) this need for regularization, when and why it happens, and what it means. I will Why should anyone care about computing with anyons? focus on the quantum capacity of a quantum channel, which is the case we understand best. This is a short course in topological quantum computation. The topics to be covered include: 1. Introduction to anyons and topological models. 15:00 – 16:55 Daniel Nagaj (Slovak Academy of Sciences) 2. Quantum Double Models. These are stabilizer codes, that can be described Local Hamiltonians in quantum computation very much like quantum error correcting codes. They include the toric code This talk is about two Hamiltonian Complexity questions. First, how hard is it to and various extensions. compute the ground state properties of quantum systems with local Hamiltonians? 3. The Jones polynomials, their relation to anyons and their approximation by Second, which spin systems with time-independent (and perhaps, translationally- quantum algorithms. invariant) local interactions could be used for universal computation? 4. Overview of current state of topological quantum computation and open Aiming at a participant without previous understanding of complexity theory, we will discuss two locally-constrained quantum problems: k-local Hamiltonian and questions. quantum k-SAT. Learning the techniques of Kitaev and others along the way, our first goal is the understanding of QMA-completeness of these problems.
    [Show full text]
  • Computational Complexity: a Modern Approach
    i Computational Complexity: A Modern Approach Sanjeev Arora and Boaz Barak Princeton University http://www.cs.princeton.edu/theory/complexity/ [email protected] Not to be reproduced or distributed without the authors’ permission ii Chapter 10 Quantum Computation “Turning to quantum mechanics.... secret, secret, close the doors! we always have had a great deal of difficulty in understanding the world view that quantum mechanics represents ... It has not yet become obvious to me that there’s no real problem. I cannot define the real problem, therefore I suspect there’s no real problem, but I’m not sure there’s no real problem. So that’s why I like to investigate things.” Richard Feynman, 1964 “The only difference between a probabilistic classical world and the equations of the quantum world is that somehow or other it appears as if the probabilities would have to go negative..” Richard Feynman, in “Simulating physics with computers,” 1982 Quantum computing is a new computational model that may be physically realizable and may provide an exponential advantage over “classical” computational models such as prob- abilistic and deterministic Turing machines. In this chapter we survey the basic principles of quantum computation and some of the important algorithms in this model. One important reason to study quantum computers is that they pose a serious challenge to the strong Church-Turing thesis (see Section 1.6.3), which stipulates that every physi- cally reasonable computation device can be simulated by a Turing machine with at most polynomial slowdown. As we will see in Section 10.6, there is a polynomial-time algorithm for quantum computers to factor integers, whereas despite much effort, no such algorithm is known for deterministic or probabilistic Turing machines.
    [Show full text]
  • Quantum Computation
    Quantum Computation Lecture 27 And that’s all we got time for! 1 State 2 State State of a classical computer labeled by (say) bit strings 2 State State of a classical computer labeled by (say) bit strings e.g. 2-bit states: 00, 01, 10 and 11 2 State State of a classical computer labeled by (say) bit strings e.g. 2-bit states: 00, 01, 10 and 11 Probabilistic computation: state is a probability distribution over the basis states 2 State State of a classical computer labeled by (say) bit strings e.g. 2-bit states: 00, 01, 10 and 11 Probabilistic computation: state is a probability distribution over the basis states p = (p00,p01,p10,p11) s.t. pij non-negative and ||p||1 = 1 2 State State of a classical computer labeled by (say) bit strings e.g. 2-bit states: 00, 01, 10 and 11 Probabilistic computation: state is a probability distribution over the basis states p = (p00,p01,p10,p11) s.t. pij non-negative and ||p||1 = 1 Quantum computation/Quantum mechanics: state is a real (or even complex) vector 2 State State of a classical computer labeled by (say) bit strings e.g. 2-bit states: 00, 01, 10 and 11 Probabilistic computation: state is a probability distribution over the basis states p = (p00,p01,p10,p11) s.t. pij non-negative and ||p||1 = 1 Quantum computation/Quantum mechanics: state is a real (or even complex) vector q = (q00,q01,q10,q11) s.t. ||q||2 = 1 2 State State of a classical computer labeled by (say) bit strings e.g.
    [Show full text]
  • Computational Difficulty of Computing the Density of States
    Computational Difficulty of Computing the Density of States Brielin Brown,1, 2 Steven T. Flammia,2 and Norbert Schuch3 1University of Virginia, Departments of Physics and Computer Science, Charlottesville, Virginia 22904, USA 2Perimeter Institute for Theoretical Physics, Waterloo, Ontario N2L 2Y5, Canada 3California Institute of Technology, Institute for Quantum Information, MC 305-16, Pasadena, California 91125, USA We study the computational difficulty of computing the ground state degeneracy and the density of states for local Hamiltonians. We show that the difficulty of both problems is exactly captured by a class which we call #BQP, which is the counting version of the quantum complexity class QMA. We show that #BQP is not harder than its classical counting counterpart #P, which in turn implies that computing the ground state degeneracy or the density of states for classical Hamiltonians is just as hard as it is for quantum Hamiltonians. Understanding the physical properties of correlated quantum computer. We show that both problems, com- quantum many-body systems is a problem of central im- puting the density of states and counting the ground state portance in condensed matter physics. The density of degeneracy, are complete problems for the class #BQP, states, defined as the number of energy eigenstates per i.e., they are among the hardest problems in this class. energy interval, plays a particularly crucial role in this Having quantified the difficulty of computing the den- endeavor. It is a key ingredient when deriving many sity of states and counting the number of ground states, thermodynamic properties from microscopic models, in- we proceed to relate #BQP to known classical counting cluding specific heat capacity, thermal conductivity, band complexity classes, and show that #BQP equals #P (un- structure, and (near the Fermi energy) most electronic der weakly parsimonious reductions).
    [Show full text]
  • The Quantum Complexity of Computing Schatten P-Norms
    The Quantum Complexity of Computing Schatten p-norms Chris Cade School of Mathematics, University of Bristol, UK [email protected] Ashley Montanaro School of Mathematics, University of Bristol, UK [email protected] Abstract We consider the quantum complexity of computing Schatten p-norms and related quantities, and find that the problem of estimating these quantities is closely related to the one clean qubit model of computation. We show that the problem of approximating Tr(|A|p) for a log-local n- qubit Hamiltonian A and p = poly(n), up to a suitable level of accuracy, is contained in DQC1; and that approximating this quantity up to a somewhat higher level of accuracy is DQC1-hard. In some cases the level of accuracy achieved by the quantum algorithm is substantially better than a natural classical algorithm for the problem. The same problem can be solved for arbitrary sparse matrices in BQP. One application of the algorithm is the approximate computation of the energy of a graph. 2012 ACM Subject Classification Theory of computation → Quantum complexity theory, The- ory of computation → Complexity classes Keywords and phrases Schatten p-norm, quantum complexity theory, complexity theory, one clean qubit model Digital Object Identifier 10.4230/LIPIcs.TQC.2018.4 Related Version A full version of the paper is available at https://arxiv.org/abs/1706. 09279. Funding CC was supported by the EPSRC. AM was supported by an EPSRC Early Career Fellowship (EP/L021005/1). No new data were created during this study. 1 Introduction It is widely believed that quantum computers will be capable of solving certain computational problems more efficiently than any classical computer.
    [Show full text]
  • Quantum Computational Complexity Theory Is to Un- Derstand the Implications of Quantum Physics to Computational Complexity Theory
    Quantum Computational Complexity John Watrous Institute for Quantum Computing and School of Computer Science University of Waterloo, Waterloo, Ontario, Canada. Article outline I. Definition of the subject and its importance II. Introduction III. The quantum circuit model IV. Polynomial-time quantum computations V. Quantum proofs VI. Quantum interactive proof systems VII. Other selected notions in quantum complexity VIII. Future directions IX. References Glossary Quantum circuit. A quantum circuit is an acyclic network of quantum gates connected by wires: the gates represent quantum operations and the wires represent the qubits on which these operations are performed. The quantum circuit model is the most commonly studied model of quantum computation. Quantum complexity class. A quantum complexity class is a collection of computational problems that are solvable by a cho- sen quantum computational model that obeys certain resource constraints. For example, BQP is the quantum complexity class of all decision problems that can be solved in polynomial time by a arXiv:0804.3401v1 [quant-ph] 21 Apr 2008 quantum computer. Quantum proof. A quantum proof is a quantum state that plays the role of a witness or certificate to a quan- tum computer that runs a verification procedure. The quantum complexity class QMA is defined by this notion: it includes all decision problems whose yes-instances are efficiently verifiable by means of quantum proofs. Quantum interactive proof system. A quantum interactive proof system is an interaction between a verifier and one or more provers, involving the processing and exchange of quantum information, whereby the provers attempt to convince the verifier of the answer to some computational problem.
    [Show full text]