Quantum Clustering Algorithms

Total Page:16

File Type:pdf, Size:1020Kb

Quantum Clustering Algorithms Quantum Clustering Algorithms Esma A¨ımeur [email protected] Gilles Brassard [email protected] S´ebastien Gambs [email protected] Universit´ede Montr´eal, D´epartement d’informatique et de recherche op´erationnelle C.P. 6128, Succursale Centre-Ville, Montr´eal (Qu´ebec), H3C 3J7 Canada Abstract Multidisciplinary by nature, Quantum Information By the term “quantization”, we refer to the Processing (QIP) is at the crossroads of computer process of using quantum mechanics in order science, mathematics, physics and engineering. It con- to improve a classical algorithm, usually by cerns the implications of quantum mechanics for infor- making it go faster. In this paper, we initiate mation processing purposes (Nielsen & Chuang, 2000). the idea of quantizing clustering algorithms Quantum information is very different from its classi- by using variations on a celebrated quantum cal counterpart: it cannot be measured reliably and it algorithm due to Grover. After having intro- is disturbed by observation, but it can exist in a super- duced this novel approach to unsupervised position of classical states. Classical and quantum learning, we illustrate it with a quantized information can be used together to realize wonders version of three standard algorithms: divisive that are out of reach of classical information processing clustering, k-medians and an algorithm for alone, such as being able to factorize efficiently large the construction of a neighbourhood graph. numbers, with dramatic cryptographic consequences We obtain a significant speedup compared to (Shor, 1997), search in a unstructured database with a the classical approach. quadratic speedup compared to the best possible clas- sical algorithms (Grover, 1997) and allow two people to communicate in perfect secrecy under the nose of an 1. Introduction eavesdropper having at her disposal unlimited comput- ing power and technology (Bennett & Brassard, 1984). Unsupervised learning is the part of machine learning Machine learning and QIP may seem a priori to have whose purpose is to give to machines the ability to find little to do with one another. Nevertheless, they have some structure hidden within data. Typical tasks in already met in a fruitful manner (see the survey of unsupervised learning include the discovery of “natu- Bonner & Freivalds, 2002, for instance). In this paper, ral” clusters present in the data (clustering), finding we seek to speed-up some classical clustering algo- a meaningful low dimensional representation of the rithms by drawing on QIP techniques. It is impor- data (dimensionality reduction) or learning explicitly a tant to have efficient clustering algorithms in domains probability function (also called density function) that for which the amount of data is huge such as bioinfor- represents the true distribution of the data (density matics, astronomy and Web mining. Therefore, it is estimation). Given a training data set, the goal of a natural to investigate what could be gained in perform- clustering algorithm is to group similar datapoints in ing these clustering tasks if we had the availability of the same cluster while putting dissimilar datapoints a quantum computer. in different clusters. Some possible applications of clustering algorithms include: discovering sociological The outline of the paper is as follows. In Section 2, groups existing within a population, grouping auto- we review some basic concepts of QIP, in particular matically molecules according to their structures, clus- Grover’s algorithm and its variations, which are at the tering stars according to their galaxies, and gathering core of our clustering algorithm quantizations. In Sec- news or papers according to their topic. tion 3, we introduce the concept of quantization as well th as the model we are using. We also briefly explain Appearing in Proceedings of the 24 International Confer- in that section the quantum subroutines based on ence on Machine Learning, Corvallis, OR, 2007. Copyright 2007 by the author(s)/owner(s). Grover’s algorithm that we are exploiting in order to Quantum Clustering Algorithms speed-up clustering algorithms. Then, we give a quan- tum information, whereas a double line carries classical tized version of divisive clustering, k-medians and the information; M denotes a measurement. construction of a c-neighbourhood graph, respectively, 1 in Sections 4, 5 and 6. Finally, we conclude in Section 7 0 with probability /2 |0i H M 1 with a discussion of the issues that we have raised. 1 with probability /2 Figure 1. Example"%#$ of a simple quantum circuit. 2. Quantum Information Processing In this very simple example, we apply a Walsh– Quantum information processing draws its uncanny √1 √1 Hadamard gate to state |0i, which yields 2 |0i+ 2 |1i. power from three quantum resources that have no clas- The subsequent measurement produces either 0 or 1, sical counterpart. Quantum parallelism harnesses the √1 2 1 each with probability | 2 | = /2, and the state col- superposition principle and the linearity of quantum lapses to the observed classical value. This circuit can mechanics in order to compute a function simulta- be seen as a perfect random bit generator. neously on arbitrarily many inputs. Quantum inter- ference makes it possible for the logical paths of a The notion of qubit has a natural extension, which is computation to interfere in a constructive or destruc- the quantum register. A quantum register |ψi, com- n tive manner. As a result of interference, computa- posed of n qubits, lives in a 2 -dimensional Hilbert P2n−1 tional paths leading to desired results can reinforce space. Register |ψi = i=0 αi|ii is specified by com- one another, whereas other computational paths that plex amplitudes α0, α1,. , α2n−1 subject to normal- P 2 would yield an undesired result cancel each other out. ization condition |αi| = 1. Here, basis state |ii Finally, there exist multi-particle quantum states that denotes the binary encoding of integer i. Unitary oper- cannot be described by an independent state for each ations can also be applied to two or more qubits. For- particle (Einstein, Podolsky & Rosen, 1935). The cor- tunately (for implementation considerations), any uni- relations offered by these states cannot be reproduced tary operation can always be decomposed in terms of classically (Bell, 1964) and constitute an essential unary and binary gates. However, doing so efficiently resource of QIP called entanglement. (by a polynomial-size circuit) is often nontrivial. Figure 2 illustrates the process by which a function f 2.1. Basic Concepts is computed by a quantum circuit C. Because unitary In this section, we briefly review some essential notions operations must be reversible, we cannot in general of QIP. A detailed account of the field can be found simply go from |xi to |f(x)i. Instead, we must map in the book of Nielsen and Chuang (2000). A qubit (or |x, bi to |x, b + f(x)i, where the addition is performed quantum bit) is the quantum analogue of the classical in an appropriate finite group and the second input is a bit. In contrast with its classical counterpart, a qubit quantum register of sufficient size. In case of a Boolean can exist in a superposition of states. For instance, an function, |bi is a single qubit and we use the sum mod- electron can be simultaneously on two different orbits ulo 2, also known as the exclusive-or and denoted “⊕”. of the same atom. Formally, using the Dirac notation, In all cases, it suffices to set b to zero at the input of a qubit can be described as |ψi = α|0i + β|1i where α the circuit in order to obtain f(x). and β are complex numbers called the amplitudes of |xi |xi classical states |0i and |1i, respectively, subject to the C normalization condition that |α|2 + |β|2 = 1. When |bi |b + f(x)i state |ψi is measured, either |0i or |1i is observed, with probability |α|2 or |β|2, respectively. Further- Figure 2. Unitary computation of function f. more, measurements are irreversible because the state When f is a Boolean function, it is often more con- of the system collapses to whichever value (|0i or |1i) venient to compute f in a manner that would have has been observed, thus losing all memory of former no classical counterpart: if x is the classical input, we amplitudes α and β. flip its quantum phase from + |xi to − |xi (or vice All other operations allowed by quantum mechan- versa) precisely when f(x) = 1. This process, which is ics are reversible (and even unitary). They are rep- achieved by the circuit given in Fig. 3, is particularly resented by gates, much as in a classical circuit. |xi (−1)f(x) |xi For instance, the Walsh–Hadamard gate H maps |0i to C √1 |0i + √1 |1i and |1i to √1 |0i − √1 |1i. Figure 1 illus- 2 2 2 2 |1i H H |1i trates the notions seen so far, where time flows from left to right. Note that a single line carries quan- Figure 3. Computing a function by phase flipping. Quantum Clustering Algorithms interesting when it is computed on a superposition of 3. Quantization of Clustering all (or some) inputs. That operation plays a key role Algorithms in Grover’s algorithm (Section 2.2). As a motivating example, consider the following sce- 2.2. Grover’s Algorithm and Variations nario, which corresponds to a highly challenging clus- tering task. Imagine that you are an employee of the In the original version of Grover’s algorithm (Grover, Department of Statistics of the United Nations. Your 1997), we are given a Boolean function f as a black boss comes to you with the complete demographic data box and we are promised that there exists a unique of all the inhabitants of Earth and asks you to analyse x0 such that f(x0) = 1.
Recommended publications
  • Quantum Computing Overview
    Quantum Computing at Microsoft Stephen Jordan • As of November 2018: 60 entries, 392 references • Major new primitives discovered only every few years. Simulation is a killer app for quantum computing with a solid theoretical foundation. Chemistry Materials Nuclear and Particle Physics Image: David Parker, U. Birmingham Image: CERN Many problems are out of reach even for exascale supercomputers but doable on quantum computers. Understanding biological Nitrogen fixation Intractable on classical supercomputers But a 200-qubit quantum computer will let us understand it Finding the ground state of Ferredoxin 퐹푒2푆2 Classical algorithm Quantum algorithm 2012 Quantum algorithm 2015 ! ~3000 ~1 INTRACTABLE YEARS DAY Research on quantum algorithms and software is essential! Quantum algorithm in high level language (Q#) Compiler Machine level instructions Microsoft Quantum Development Kit Quantum Visual Studio Local and cloud Extensive libraries, programming integration and quantum samples, and language debugging simulation documentation Developing quantum applications 1. Find quantum algorithm with quantum speedup 2. Confirm quantum speedup after implementing all oracles 3. Optimize code until runtime is short enough 4. Embed into specific hardware estimate runtime Simulating Quantum Field Theories: Classically Feynman diagrams Lattice methods Image: Encyclopedia of Physics Image: R. Babich et al. Break down at strong Good for binding energies. coupling or high precision Sign problem: real time dynamics, high fermion density. There’s room for exponential
    [Show full text]
  • Quantum Algorithms
    An Introduction to Quantum Algorithms Emma Strubell COS498 { Chawathe Spring 2011 An Introduction to Quantum Algorithms Contents Contents 1 What are quantum algorithms? 3 1.1 Background . .3 1.2 Caveats . .4 2 Mathematical representation 5 2.1 Fundamental differences . .5 2.2 Hilbert spaces and Dirac notation . .6 2.3 The qubit . .9 2.4 Quantum registers . 11 2.5 Quantum logic gates . 12 2.6 Computational complexity . 19 3 Grover's Algorithm 20 3.1 Quantum search . 20 3.2 Grover's algorithm: How it works . 22 3.3 Grover's algorithm: Worked example . 24 4 Simon's Algorithm 28 4.1 Black-box period finding . 28 4.2 Simon's algorithm: How it works . 29 4.3 Simon's Algorithm: Worked example . 32 5 Conclusion 33 References 34 Page 2 of 35 An Introduction to Quantum Algorithms 1. What are quantum algorithms? 1 What are quantum algorithms? 1.1 Background The idea of a quantum computer was first proposed in 1981 by Nobel laureate Richard Feynman, who pointed out that accurately and efficiently simulating quantum mechanical systems would be impossible on a classical computer, but that a new kind of machine, a computer itself \built of quantum mechanical elements which obey quantum mechanical laws" [1], might one day perform efficient simulations of quantum systems. Classical computers are inherently unable to simulate such a system using sub-exponential time and space complexity due to the exponential growth of the amount of data required to completely represent a quantum system. Quantum computers, on the other hand, exploit the unique, non-classical properties of the quantum systems from which they are built, allowing them to process exponentially large quantities of information in only polynomial time.
    [Show full text]
  • SECURING CLOUDS – the QUANTUM WAY 1 Introduction
    SECURING CLOUDS – THE QUANTUM WAY Marmik Pandya Department of Information Assurance Northeastern University Boston, USA 1 Introduction Quantum mechanics is the study of the small particles that make up the universe – for instance, atoms et al. At such a microscopic level, the laws of classical mechanics fail to explain most of the observed phenomenon. At such a state quantum properties exhibited by particles is quite noticeable. Before we move forward a basic question arises that, what are quantum properties? To answer this question, we'll look at the basis of quantum mechanics – The Heisenberg's Uncertainty Principle. The uncertainty principle states that the more precisely the position is determined, the less precisely the momentum is known in this instant, and vice versa. For instance, if you measure the position of an electron revolving around the nucleus an atom, you cannot accurately measure its velocity. If you measure the electron's velocity, you cannot accurately determine its position. Equation for Heisenberg's uncertainty principle: Where σx standard deviation of position, σx the standard deviation of momentum and ħ is the reduced Planck constant, h / 2π. In a practical scenario, this principle is applied to photons. Photons – the smallest measure of light, can exist in all of their possible states at once and also they don’t have any mass. This means that whatever direction a photon can spin in -- say, diagonally, vertically and horizontally -- it does all at once. This is exactly the same as if you constantly moved east, west, north, south, and up-and-down at the same time.
    [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]
  • Arxiv:0905.2794V4 [Quant-Ph] 21 Jun 2013 Error Correction 7 B
    Quantum Error Correction for Beginners Simon J. Devitt,1, ∗ William J. Munro,2 and Kae Nemoto1 1National Institute of Informatics 2-1-2 Hitotsubashi Chiyoda-ku Tokyo 101-8340. Japan 2NTT Basic Research Laboratories NTT Corporation 3-1 Morinosato-Wakamiya, Atsugi Kanagawa 243-0198. Japan (Dated: June 24, 2013) Quantum error correction (QEC) and fault-tolerant quantum computation represent one of the most vital theoretical aspect of quantum information processing. It was well known from the early developments of this exciting field that the fragility of coherent quantum systems would be a catastrophic obstacle to the development of large scale quantum computers. The introduction of quantum error correction in 1995 showed that active techniques could be employed to mitigate this fatal problem. However, quantum error correction and fault-tolerant computation is now a much larger field and many new codes, techniques, and methodologies have been developed to implement error correction for large scale quantum algorithms. In response, we have attempted to summarize the basic aspects of quantum error correction and fault-tolerance, not as a detailed guide, but rather as a basic introduction. This development in this area has been so pronounced that many in the field of quantum information, specifically researchers who are new to quantum information or people focused on the many other important issues in quantum computation, have found it difficult to keep up with the general formalisms and methodologies employed in this area. Rather than introducing these concepts from a rigorous mathematical and computer science framework, we instead examine error correction and fault-tolerance largely through detailed examples, which are more relevant to experimentalists today and in the near future.
    [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]
  • Topological Quantum Computation Zhenghan Wang
    Topological Quantum Computation Zhenghan Wang Microsoft Research Station Q, CNSI Bldg Rm 2237, University of California, Santa Barbara, CA 93106-6105, U.S.A. E-mail address: [email protected] 2010 Mathematics Subject Classification. Primary 57-02, 18-02; Secondary 68-02, 81-02 Key words and phrases. Temperley-Lieb category, Jones polynomial, quantum circuit model, modular tensor category, topological quantum field theory, fractional quantum Hall effect, anyonic system, topological phases of matter To my parents, who gave me life. To my teachers, who changed my life. To my family and Station Q, where I belong. Contents Preface xi Acknowledgments xv Chapter 1. Temperley-Lieb-Jones Theories 1 1.1. Generic Temperley-Lieb-Jones algebroids 1 1.2. Jones algebroids 13 1.3. Yang-Lee theory 16 1.4. Unitarity 17 1.5. Ising and Fibonacci theory 19 1.6. Yamada and chromatic polynomials 22 1.7. Yang-Baxter equation 22 Chapter 2. Quantum Circuit Model 25 2.1. Quantum framework 26 2.2. Qubits 27 2.3. n-qubits and computing problems 29 2.4. Universal gate set 29 2.5. Quantum circuit model 31 2.6. Simulating quantum physics 32 Chapter 3. Approximation of the Jones Polynomial 35 3.1. Jones evaluation as a computing problem 35 3.2. FP#P-completeness of Jones evaluation 36 3.3. Quantum approximation 37 3.4. Distribution of Jones evaluations 39 Chapter 4. Ribbon Fusion Categories 41 4.1. Fusion rules and fusion categories 41 4.2. Graphical calculus of RFCs 44 4.3. Unitary fusion categories 48 4.4. Link and 3-manifold invariants 49 4.5.
    [Show full text]
  • 1 Quantum Computing with Electron Spins
    1.1 Quantum Computing – a short review 1 1 Quantum Computing with Electron Spins Only a few years ago, quantum theory had its 100th anniversary. Usually, the birth date is connected to Planck's radiation formula 1900 and the introduction of his quantum of action [1]. The theory has been worked out and developed throughout the last century. In 1913, Bohr could successfully explain the spectral lines of a hydrogen atom with his atom theory [2]. However, the full mathematical formalism of quantum mechanics had not been worked out until three decades later [3-8]. In 1927, physicists – mainly Niels Bohr, Max Born, and Werner Heisenberg – discussed the meaning of quantum mechanics, which is today referred to as the "Copenhagen interpretation", in general addressing the indeterminism, the correspondence principle, the statistical interpretation of the wavefunction, and the complementary of wave and particle picture [9]. The operator algebra in the Hilbert space we use today had been developed in 1932 by John von Neumann [10]. Today, quantum mechanics is a part of our every–day live, e.g. CD players, lasers, semiconductor technology, and the measurement standards of macroscopic values as voltage and resistance are defined by quantum mechanical effects, as the Josephson and quantum Hall effect [11]. Despite this, some basic consequences as the "quantum jumps" of Bohr's theory [2] and the Bose–Einstein condensation [12] were successfully proven in experiment more than 70 years after their prediction [13,14]. During the last twenty years, physicists learned to control and manipulate single quantum particles1. At the same time, scientists wondered whether quantum mechanical systems could be used for information processing – the idea of a quantum computer was born.
    [Show full text]
  • Topological Quantum Computation Jiannis K
    Topological Quantum Computation Jiannis K. Pachos Introduction Bertinoro, June 2013 Computers Antikythera mechanism Robotron Z 9001 Analogue computer Digital computer: 0 & 1 Quantum computers • Quantum binary states 0 , 1 (spin,...) Ψ = a 0 + b 1 (quantum superposition) a 2 + b 2 =1 | | | | If you measure€ then P = a 2,P= b 2 | i 0 | | 1 | | This is the quantum bit or “qubit” • Many qubits (two): = 0 0 product state (classical) | i | i⌦| i = a 0 0 + b 1 1 entangled state | i | i⌦| i | i⌦| i Quantum computers • Quantum binary gates-> Unitary matrices U 0 = a 0 + b 1 1q| i | i | i U 0 0 = a 0 0 + b 1 1 2q| i⌦| i | i⌦| i | i⌦| i 44• Universality: Any Quantum U 1 q and computation a U 2 q any q. algorithm. • Quantum circuit model: ) t 0 U V 0 W 0 Input 0 ! Output ! Initiate 0 ! Measure ! 0 ! (productstate) ! (product state) Fig. 3.1 ! An example of circuit! model, where time evolves from left to right. Qubits are initially prepared in state 0 and one and two qubit gates, such as U, V and W, are acted on them in succession. | i ! Boxes attached on a single line correspond to single qubit gates while boxes attached on two t lines correspond to two qubit gates. which a gate acts. A measurement of all the qubits at the end of the computation reveals the outcome. Expressing an algorithm in terms of basic quantum gates makes it easy to evaluate its resources and complexity. 3.2.1 Quantum algorithm and universality A specific quantum algorithm U applied on n qubits is an element of the unitary group U(2n).
    [Show full text]
  • Supercomputer Simulations of Transmon Quantum Computers Quantum Simulations of Transmon Supercomputer
    IAS Series IAS Supercomputer simulations of transmon quantum computers quantum simulations of transmon Supercomputer 45 Supercomputer simulations of transmon quantum computers Dennis Willsch IAS Series IAS Series Band / Volume 45 Band / Volume 45 ISBN 978-3-95806-505-5 ISBN 978-3-95806-505-5 Dennis Willsch Schriften des Forschungszentrums Jülich IAS Series Band / Volume 45 Forschungszentrum Jülich GmbH Institute for Advanced Simulation (IAS) Jülich Supercomputing Centre (JSC) Supercomputer simulations of transmon quantum computers Dennis Willsch Schriften des Forschungszentrums Jülich IAS Series Band / Volume 45 ISSN 1868-8489 ISBN 978-3-95806-505-5 Bibliografsche Information der Deutschen Nationalbibliothek. Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografe; detaillierte Bibliografsche Daten sind im Internet über http://dnb.d-nb.de abrufbar. Herausgeber Forschungszentrum Jülich GmbH und Vertrieb: Zentralbibliothek, Verlag 52425 Jülich Tel.: +49 2461 61-5368 Fax: +49 2461 61-6103 [email protected] www.fz-juelich.de/zb Umschlaggestaltung: Grafsche Medien, Forschungszentrum Jülich GmbH Titelbild: Quantum Flagship/H.Ritsch Druck: Grafsche Medien, Forschungszentrum Jülich GmbH Copyright: Forschungszentrum Jülich 2020 Schriften des Forschungszentrums Jülich IAS Series, Band / Volume 45 D 82 (Diss. RWTH Aachen University, 2020) ISSN 1868-8489 ISBN 978-3-95806-505-5 Vollständig frei verfügbar über das Publikationsportal des Forschungszentrums Jülich (JuSER) unter www.fz-juelich.de/zb/openaccess. This is an Open Access publication distributed under the terms of the Creative Commons Attribution License 4.0, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract We develop a simulator for quantum computers composed of superconducting transmon qubits.
    [Show full text]
  • Quantum Information Processing with Superconducting Circuits: a Review
    Quantum Information Processing with Superconducting Circuits: a Review G. Wendin Department of Microtechnology and Nanoscience - MC2, Chalmers University of Technology, SE-41296 Gothenburg, Sweden Abstract. During the last ten years, superconducting circuits have passed from being interesting physical devices to becoming contenders for near-future useful and scalable quantum information processing (QIP). Advanced quantum simulation experiments have been shown with up to nine qubits, while a demonstration of Quantum Supremacy with fifty qubits is anticipated in just a few years. Quantum Supremacy means that the quantum system can no longer be simulated by the most powerful classical supercomputers. Integrated classical-quantum computing systems are already emerging that can be used for software development and experimentation, even via web interfaces. Therefore, the time is ripe for describing some of the recent development of super- conducting devices, systems and applications. As such, the discussion of superconduct- ing qubits and circuits is limited to devices that are proven useful for current or near future applications. Consequently, the centre of interest is the practical applications of QIP, such as computation and simulation in Physics and Chemistry. Keywords: superconducting circuits, microwave resonators, Josephson junctions, qubits, quantum computing, simulation, quantum control, quantum error correction, superposition, entanglement arXiv:1610.02208v2 [quant-ph] 8 Oct 2017 Contents 1 Introduction 6 2 Easy and hard problems 8 2.1 Computational complexity . .9 2.2 Hard problems . .9 2.3 Quantum speedup . 10 2.4 Quantum Supremacy . 11 3 Superconducting circuits and systems 12 3.1 The DiVincenzo criteria (DV1-DV7) . 12 3.2 Josephson quantum circuits . 12 3.3 Qubits (DV1) .
    [Show full text]
  • Quantum Computational Complexity
    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 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. 1 I Definition of the subject and its importance The inherent difficulty, or hardness, of computational problems is a fundamental concept in com- putational complexity theory.
    [Show full text]