Development of Quantum Applications

Total Page:16

File Type:pdf, Size:1020Kb

Development of Quantum Applications Research Collection Doctoral Thesis Development of Quantum Applications Author(s): Heim, Bettina Publication Date: 2020 Permanent Link: https://doi.org/10.3929/ethz-b-000468201 Rights / License: In Copyright - Non-Commercial Use Permitted This page was generated automatically upon download from the ETH Zurich Research Collection. For more information please consult the Terms of use. ETH Library diss. eth no. 27053 DEVELOPMENTOFQUANTUMAPPLICATIONS A thesis submitted to attain the degree of doctor of sciences of eth zurich (Dr. Sc. ETH Zurich) presented by bettina heim M. Sc. ETH Zurich born on 2 July 1989 citizen of Switzerland accepted on the recommendation of Prof. Dr. M. Troyer, examiner Prof. Dr. R. Renner, co-examiner Prof. Dr. H. Katzgraber, co-examiner 2020 To my husband and family. ABSTRACT The aim of this thesis is to identify practical applications where quantum computing could have an advantage over what is achievable with conventional means of computing, and what advances are needed in order to actualize that potential. We investigate the possibilities on both quantum annealing devices (analogue quantum computers) as well as on gate-based devices (digital quantum computers). Quantum annealing devices in particular have grown in size and capabilities over the last decade. While they are natural candidates for providing improved solvers for NP-complete optimization problems, the number of qubits, accuracies and available couplings are still limited and their aptitude has yet to be confirmed. We use Monte Carlo methods and conceive an adaptive annealing schedule to assess the options to leverage them for the construction of satisfiability filters. We furthermore investigate their prospective as heuristic solvers for the traveling salesman problem, and what future enhancements in terms of geometries and couplings would be beneficial for that. Based on our simulations there is no reason to expect any benefits to leveraging analogue quantum computers over state-of-the-art classical methods. However, we see an implementation of annealing schemes on future digital devices as a promising approach that doesn’t suffer from the same issues that impede performance on analogue devises. To that effect, we construct and implement an efficient quantization of the Metropolis-Hastings algorithm. Opposed to following the common way of quantization à la Szegedy that is usually defined with respect to an oracle, we reformulate the walk to closely mimic the classical algorithm and thus circumvent having to rely on costly quantum arithmetics. Our proposed realization thereby can lead to substantial savings. While theoretical arguments promise a quadratic speedup in the asymptotic limit, we numerically confirm that a polynomial speedup in terms of minimal total time to solution can be achieved for pragmatic use. We explore the prospects of using quantum walks in a heuristic setting and estimate the gate times the would be required to outperform a classical supercomputer. Finally, we elaborate on the role of programming languages, and how software tools can accelerate the advancement of the field. We discuss unique aspects of quantum programming and the purpose of Q# in particular, and conclude by highlighting what developments are needed for quantum computing to live up to its potential. iii ZUSAMMENFASSUNG Das Ziel dieser Dissertation ist es praktische Anwendungen zu identifizieren, bei denen Quantencomputer einen Vorteil gegenüber herkömmlichen Methoden erbrin- gen, sowie welche Fortschritte nötig sind, um dieses Potential umzusetzen. Wir untersuchen die Möglichkeiten dafür im Bezug auf analoge Quantencomputer sowie digitale. Insbesondere analoge Hardware ist im Laufe des letzten Jahrzehnts grösser und fähiger geworden und ist ein naheliegender Kandidat zur Lösung von NP-kompletten Problemen. Jedoch sind die Anzahl von Qubits, deren Genauigkeit und die verfügbaren Kopplungen limitiert, sodass ihre Eignung erst noch bestä- tigt werden muss. Wir verwenden Monte Carlo Methoden und entwickeln einen adaptiven Prozess um ihre Nützlichkeit für die Konstruktion von SAT-Filtern abzuschätzen. Ebenso evaluieren wir ob sie als besonders gute heuristische Löser für das Rundreiseproblem fungieren können, und welche zukünftigen Entwicklun- gen bezüglich Geometrie und Kopplungen der Machinen dafür vorteilhaft sind. Basierend auf unseren Simulationen schliessen wir, dass es keinen Grund gibt anzunehmen, dass solche anologe Hardware klassischen Methoden überlegen sind. Eine Implementierung dieses Prozesses auf digitaler Hardware hingegen könnte vielversprechend sein. Wir entwickeln daher eine effiziente Quantisierung des Metropolis-Hastings Algorithmus die mittels digitalen Quantencomputern einge- setzt werden kann. Im Gegensatz zu einer Quantisierung gemäss Szegedy, welche im Üblichen ein Orakel benutzt, erreichen wir es mit unserer Formulierung kostspie- lige Quanten Arithmetik zu vermeiden. Die präsentierte Umsetzung erweist sich damit als wesentlich kostensparender. Theoretische Argumente basierend auf dem asymptotischen Limit versprechen, dass ein quadratischer Geschwindigkeitsvorteil mittels Quantisierung erreicht werden kann. Wir bestätigen mit einer numerischen Studie eine polinomiale Überlegenheit für die heuristische Anwendung und geben die nötigen Geschwindigkeiten für die Ausführung von Instruktionen an, um einen klassischen Supercomputer zu übertreffen. Letztendlich diskutieren wir die Rolle von Programmiersprachen und wie geeignete Software die Ausarbeitung von Quantenapplikationen beschleunigen kann. Wir erklären die einzigartigen Aspekte beim Programmieren von Quantencomputern und den Zweck der Sprache Q#. Abschliessend heben wir die Entwicklungen hervor, die stattfinden müssen damit Quantencomputing seinem Potential gerecht wird. iv ACKNOWLEDGEMENTS I would like to thank my husband Stefan Baumann, without whose support this work would not have been possible. I would like to thank my parents whose unwavering faith in me has always pushed me to be a better person. I would like to thank Matthias Troyer who not only has been a fantastic mentor but is also a true inspiration. Furthermore, I would like to thank the collaborators that contributed to the work discussed in this thesis. First and foremost, I would like to thank the co-authors of the papers that served as the basis for this thesis (in alphabetical order): Alan Geller, Andres Paz, Christopher Granade, Daniel Herr, Dave Wecker, David Poulin, Ethan Brown, Guglielmo Mazzola, Jessica Lemieux, John Azariah, Krysta Svore, Mariia Mykhailova, Mario Könz, Marlon Azinovi, Martin Roetteler, Mathias Soeken, Matthias Troyer, Sarah Marshall, and Vadym Kliuchnikov. Thanks go to Ilia Zintchenko for providing the translation of a k-SAT prob- lem to an Ising spin glass problem, and to Alex Kosenkov, Ilia Zintchenko, and Ethan Brown for providing and supporting the whiplash framework for easier management of measurement data. I thank Andreas Elsener, Donjan Rodic, Guang Hao Low, Guiseppe Carleo, Guillaume Duclos-Cianci, Jeongwan Haah, José Luis Hablützel Aceijas, Matt Hastings, and Thomas Häner for stimulating discussions. I thank Ali Javadi-Abhari, Julien Ross, Margaret Martonosi, and Peter Selinger for sharing their insights and input on quantum programming languages. Last but not least, I would like to express my gratitude the work of the people who set up and maintain the spinglass server [1] that was used for the calculation of ground state energies. v CONTENTS List of Figures ix List of Tablesx List of Programs xi 1 introduction1 1.1 Quantum states and qubits . 2 1.2 Analogue quantum computing . 4 1.3 Digital quantum computing . 5 2 traveling salesman problem 10 2.1 Mapping the TSP to an annealing problem . 11 2.1.1 Transition probabilities in quantum annealing . 11 2.1.2 Encoding as permutation matrix . 12 2.1.3 An improved encoding . 15 2.2 Numerical results . 17 2.3 Digital quantum annealing . 20 3 sat filters 22 3.1 Set membership problem and filter construction . 23 3.2 Quality metrics for filters . 25 3.2.1 False positive rate . 25 3.2.2 Filter efficiency . 26 3.3 Obtaining independent solutions . 26 3.3.1 Using annealing . 27 3.3.2 Using SAT-solvers . 30 3.4 Numerical results . 30 3.4.1 Diversity of solutions . 31 3.4.2 Quality of solutions . 32 3.4.3 Scaling with problem size . 37 3.5 Possible improvements . 38 4 annealing schedules 39 4.1 Adaptive schedule . 39 4.2 Calculation of observables . 42 vi contents vii 4.3 Numerical results . 43 5 quantum walks 47 5.1 Szegedy’s quantum walk . 48 5.1.1 Eigenvectors and eigenvalues . 49 5.1.2 Adiabatic state preparation . 50 5.2 Quantization for Metropolis-Hastings algorithm . 51 5.2.1 Construction of Szegedy’s walk oracle . 53 5.2.2 Alternative walk . 54 5.3 Optimization heuristics . 59 5.3.1 Algorithm based on the quantum Zeno effect . 60 5.3.2 Algorithm based on a unitary walk . 61 5.4 Numerical results . 62 5.5 Irreversible parallel walk . 65 6 quantum programming 69 6.1 Domain-specific concepts . 70 6.2 Quantum algorithms . 72 6.3 Quantum model of computation . 74 6.4 Quantum software frameworks today . 76 6.4.1 Use cases . 78 6.4.2 Tools . 79 6.4.3 Ecosystems . 81 7 quantum programming languages 84 7.1 Purpose of programming languages . 84 7.2 Languages and ecosystems overview . 86 7.2.1 Q# .............................. 88 7.2.2 OpenQASM and Qiskit . 92 7.2.3 Cirq.............................. 98 7.2.4 Quipper . 102 7.2.5 Scaffold . 105 8 domain-specific language q# 108 8.1 Design principles . 108 8.2 Program structure and execution . 109 8.3 Global constructs . 113 8.3.1 Type declarations . 113 8.3.2 Callable declarations . 114 8.3.3 Specialization declarations . 116 viii contents 8.4 Statements . 121 8.4.1 Quantum memory management . 123 8.4.2 Variable declarations and updates . 124 8.4.3 Returns and termination . 126 8.4.4 Conditional branching . 127 8.4.5 Loops and iterations . 129 8.4.6 Call statements . 130 8.4.7 Other quantum-specific patterns . 132 8.5 Expressions . 134 8.5.1 Operators, modifiers, and combinators . 134 8.5.2 Conditional expressions . 140 8.5.3 Partial applications . 144 8.5.4 Copy-and-update expressions . 145 8.5.5 Item access for user defined types .
Recommended publications
  • Programm 5 Layout 1
    SPONSORS Pauli Center for Theoretical Studies QAP European Project PAULI CENTER for Theoretical Studies Sandia National Laboratories The Swiss National Science Foundation Institute for Quantum Computing ETH Zurich (Computer Science and Physics Department) id Quantique Quantum Science and Technology (ETH) CQT Singapore VENUE W-LAN ETH Zürich, Rämistrasse 101, CH-8092 Zürich 1. Check available WLAN’s Main building / Hauptgebäude 2. Connect to WLAN „public“ Conference Helpline 0041 (0)79 770 84 29 3. Open browser 4.Login at welcome page with Login: qip2010 Password: 2010qipconf Main entrance FLOOR E Registration/Information desk Poster session Computer room E 26.3 Main entrance Registration desk Information Computer room E 26.3 Poster session 1 FLOOR E. 0 Poster session FLOOR F Auditorium F 5: Tutorial (January 15 – 17, 2010) Auditorium maximum F 30: Scientific programme (January 18 – 22, 2010) F 33.1: Congress-Office, F 33.2: Cloak room Foyer and “Uhrenhalle”: Coffee breaks, Poster session Auditorium Maximum F 30 Scientific programmme January 18 – 22, 2010 F 33.1: Congress-Office Foyer: F 33.2 Cloak room Coffee breaks Poster session Auditorium F 5 Tutorial January 15 – 17, 2010 Uhrenhalle: Coffee breaks 2 RUMP SESSION StuZ, ETH Zürich, Universitätsstrasse 6, CH-8092 Zürich CAB Building room No. CAB F21 to CAB F27 18.30 – 23.00 h (January 20, 2010) Entry ETH CAB Building ETH Main Building 3 CONFERENCE DINNER Thursday, January 21, 2010, 19.00h Restaurant Lake Side Bellerivestrasse 170 CH-8008 Zürich Phone: +41 (0) 44 385 86 00 Directions from ETH main building • (Tram No. 9 to “Bellevue” (direction “Triemli”).
    [Show full text]
  • An Update on Google's Quantum Computing Initiative
    An Update on Google’s Quantum Computing Initiative January 31, 2019 [email protected] Copyright 2018 Google LLC Our Brains are Wired for Newtonian Physics Brains that recognize and anticipate behaviors of Heat, Light, Momentum, Gravity, etc. have an Evolutionary Advantage. Quantum phenomena contradict our intuition. Quantum Phenomena Contradict Intuition Interference, “Erasure”, etc. 0 Quantum Theory Explains ( 1) Cleanly… ...but the Math looks Strange 1 1 1 1 i i How can a Particle be √2 √2 i 1 On Two Paths at the Same Time? 1 1 √2 i P u 1 1 i P ( r) √2 i 1 Copyright 2017-2019 Google LLC Superposed States, Superposed Information l0〉 2 ( |0〉+|1〉 ) |0〉 + |1〉 = |00〉+|01〉+|10〉+|11〉 l1〉 Copyright 2017-2019 Google LLC 01 Macroscopic QM Enables New Technology Control of single quantum systems, to quantum computers 1 nm 1 μm 1 mm H atom wavefunctions: Problem: Light is 1000x larger Large “atom” has room for complex control Copyright 2017-2019 Google LLC Xmon: Direct coupling + Tunable Transmons ● Direct qubit-qubit capacitive coupling ● Turn interaction on and off with frequency g control “OFF” “ON” f10 f 21 Δ Frequency η Frequency Coupling g Qubit Qubit SQUID 2 2 Coupling rate Ωzz ≈ 4ηg / Δ Qubit A Qubit B Copyright 2017-2019 Google LLC Logic Built from Universal Gates Classical circuit: Quantum circuit: 1 bit NOT 1 qubit rotation 2 bit AND 1 Input Gates 2 qubit CNOT Wiring fan-out No copy 2 Input Gates (space+time ) time Copyright 2017-2019 Google LLC Execution of a Quantum Simulation arXiv:1512.06860 Copyright 2017-2019 Google LLC Quantum
    [Show full text]
  • A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper
    A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper Peng Fu1, Kohei Kishida2, Neil J. Ross1, and Peter Selinger1 1 Dalhousie University, Halifax, NS, Canada ffrank-fu,neil.jr.ross,[email protected] 2 University of Illinois, Urbana-Champaign, IL, U.S.A. [email protected] Abstract. We introduce dependently typed Proto-Quipper, or Proto- Quipper-D for short, an experimental quantum circuit programming lan- guage with linear dependent types. We give several examples to illustrate how linear dependent types can help in the construction of correct quan- tum circuits. Specifically, we show how dependent types enable program- ming families of circuits, and how dependent types solve the problem of type-safe uncomputation of garbage qubits. We also discuss other lan- guage features along the way. Keywords: Quantum programming languages · Linear dependent types · Proto-Quipper-D 1 Introduction Quantum computers can in principle outperform conventional computers at cer- tain crucial tasks that underlie modern computing infrastructures. Experimental quantum computing is in its early stages and existing devices are not yet suitable for practical computing. However, several groups of researchers, in both academia and industry, are now building quantum computers (see, e.g., [2,11,16]). Quan- tum computing also raises many challenging questions for the programming lan- guage community [17]: How should we design programming languages for quan- tum computation? How should we compile and optimize quantum programs? How should we test and verify quantum programs? How should we understand the semantics of quantum programming languages? In this paper, we focus on quantum circuit programming using the linear dependently typed functional language Proto-Quipper-D.
    [Show full text]
  • An Overview of Quantum Monte Carlo Methods David M. Ceperley
    An Overview of Quantum Monte Carlo Methods David M. Ceperley Department of Physics and National Center for Supercomputing Applications University of Illinois Urbana-Champaign Urbana, Illinois 61801 In this brief article, I introduce the various types of quantum Monte Carlo (QMC) methods, in particular, those that are applicable to systems in extreme regimes of temperature and pressure. We give references to longer articles where detailed discussion of applications and algorithms appear. MOTIVATION One does QMC for the same reason as one does classical simulations; there is no other method able to treat exactly the quantum many-body problem aside from the direct simulation method where electrons and ions are directly represented as particles, instead of as a “fluid” as is done in mean-field based methods. However, quantum systems are more difficult than classical systems because one does not know the distribution to be sampled, it must be solved for. In fact, it is not known today which quantum problems can be “solved” with simulation on a classical computer in a reasonable amount of computer time. One knows that certain systems, such as most quantum many-body systems in 1D and most bosonic systems are amenable to solution with Monte Carlo methods, however, the “sign problem” prevents making the same statement for systems with electrons in 3D. Some limitations or approximations are needed in practice. On the other hand, in contrast to simulation of classical systems, one does know the Hamiltonian exactly: namely charged particles interacting with a Coulomb potential. Given sufficient computer resources, the results can be of quite high quality and for systems where there is little reliable experimental data.
    [Show full text]
  • 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]
  • Qiskit Backend Specifications for Openqasm and Openpulse
    Qiskit Backend Specifications for OpenQASM and OpenPulse Experiments David C. McKay1,∗ Thomas Alexander1, Luciano Bello1, Michael J. Biercuk2, Lev Bishop1, Jiayin Chen2, Jerry M. Chow1, Antonio D. C´orcoles1, Daniel Egger1, Stefan Filipp1, Juan Gomez1, Michael Hush2, Ali Javadi-Abhari1, Diego Moreda1, Paul Nation1, Brent Paulovicks1, Erick Winston1, Christopher J. Wood1, James Wootton1 and Jay M. Gambetta1 1IBM Research 2Q-CTRL Pty Ltd, Sydney NSW Australia September 11, 2018 Abstract As interest in quantum computing grows, there is a pressing need for standardized API's so that algorithm designers, circuit designers, and physicists can be provided a common reference frame for designing, executing, and optimizing experiments. There is also a need for a language specification that goes beyond gates and allows users to specify the time dynamics of a quantum experiment and recover the time dynamics of the output. In this document we provide a specification for a common interface to backends (simulators and experiments) and a standarized data structure (Qobj | quantum object) for sending experiments to those backends via Qiskit. We also introduce OpenPulse, a language for specifying pulse level control (i.e. control of the continuous time dynamics) of a general quantum device independent of the specific arXiv:1809.03452v1 [quant-ph] 10 Sep 2018 hardware implementation. ∗[email protected] 1 Contents 1 Introduction3 1.1 Intended Audience . .4 1.2 Outline of Document . .4 1.3 Outside of the Scope . .5 1.4 Interface Language and Schemas . .5 2 Qiskit API5 2.1 General Overview of a Qiskit Experiment . .7 2.2 Provider . .8 2.3 Backend .
    [Show full text]
  • Quantum Machine Learning: Benefits and Practical Examples
    Quantum Machine Learning: Benefits and Practical Examples Frank Phillipson1[0000-0003-4580-7521] 1 TNO, Anna van Buerenplein 1, 2595 DA Den Haag, The Netherlands [email protected] Abstract. A quantum computer that is useful in practice, is expected to be devel- oped in the next few years. An important application is expected to be machine learning, where benefits are expected on run time, capacity and learning effi- ciency. In this paper, these benefits are presented and for each benefit an example application is presented. A quantum hybrid Helmholtz machine use quantum sampling to improve run time, a quantum Hopfield neural network shows an im- proved capacity and a variational quantum circuit based neural network is ex- pected to deliver a higher learning efficiency. Keywords: Quantum Machine Learning, Quantum Computing, Near Future Quantum Applications. 1 Introduction Quantum computers make use of quantum-mechanical phenomena, such as superposi- tion and entanglement, to perform operations on data [1]. Where classical computers require the data to be encoded into binary digits (bits), each of which is always in one of two definite states (0 or 1), quantum computation uses quantum bits, which can be in superpositions of states. These computers would theoretically be able to solve certain problems much more quickly than any classical computer that use even the best cur- rently known algorithms. Examples are integer factorization using Shor's algorithm or the simulation of quantum many-body systems. This benefit is also called ‘quantum supremacy’ [2], which only recently has been claimed for the first time [3]. There are two different quantum computing paradigms.
    [Show full text]
  • Using Graph States for Quantum Computation and Communication
    Using Graph States for Quantum Computation and Communication Thesis by Kovid Goyal In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy California Institute of Technology Pasadena, California 2009 (Submitted May 27, 2009) ii c 2009 Kovid Goyal All Rights Reserved iii To Dr. Ajay Patwardhan, for inspiring a whole generation of physicists. iv Acknowledgements I would like to start by acknowledging my thesis adviser, John Preskill, for giving me the freedom to pursue my interests and for setting a very high standard for me to aspire to. John has also provided the direction I needed at critical points in my career. I would like to thank Robert Raussendorf for sharing a lot of his ideas with me and patiently explaining them when needed. Most of the great ideas in Chapter 2 were orig- inated by him. Robert has been a mentor and a guide. I would like to thank Jim Harrington for introducing me to the numerical techniques needed for the analysis of the measurement based quantum computer and for writing relatively clear and easy to follow code. I would like to thank Austin Fowler for asking me a lot of questions and thereby greatly improving the clarity and depth of my understanding. Austin also inspired me to make this work as clear and easy to follow as possible. The magic state distillation circuit diagrams and the CNOT gate construction in Chapter 2 are his. I would like to thank Ben Toner, Panos Aliferis, Greg Ver Steeg and Prabha Mandayam Dodamanne for many stimulating discussions. I would like to thank my parents, Ashima and Niraj, for supporting my desire to be- come a physicist and for providing me with a stimulating and enjoyable childhood.
    [Show full text]
  • COVID-19 Detection on IBM Quantum Computer with Classical-Quantum Transfer Learning
    medRxiv preprint doi: https://doi.org/10.1101/2020.11.07.20227306; this version posted November 10, 2020. The copyright holder for this preprint (which was not certified by peer review) is the author/funder, who has granted medRxiv a license to display the preprint in perpetuity. It is made available under a CC-BY-NC-ND 4.0 International license . Turk J Elec Eng & Comp Sci () : { © TUB¨ ITAK_ doi:10.3906/elk- COVID-19 detection on IBM quantum computer with classical-quantum transfer learning Erdi ACAR1*, Ihsan_ YILMAZ2 1Department of Computer Engineering, Institute of Science, C¸anakkale Onsekiz Mart University, C¸anakkale, Turkey 2Department of Computer Engineering, Faculty of Engineering, C¸anakkale Onsekiz Mart University, C¸anakkale, Turkey Received: .201 Accepted/Published Online: .201 Final Version: ..201 Abstract: Diagnose the infected patient as soon as possible in the coronavirus 2019 (COVID-19) outbreak which is declared as a pandemic by the world health organization (WHO) is extremely important. Experts recommend CT imaging as a diagnostic tool because of the weak points of the nucleic acid amplification test (NAAT). In this study, the detection of COVID-19 from CT images, which give the most accurate response in a short time, was investigated in the classical computer and firstly in quantum computers. Using the quantum transfer learning method, we experimentally perform COVID-19 detection in different quantum real processors (IBMQx2, IBMQ-London and IBMQ-Rome) of IBM, as well as in different simulators (Pennylane, Qiskit-Aer and Cirq). By using a small number of data sets such as 126 COVID-19 and 100 Normal CT images, we obtained a positive or negative classification of COVID-19 with 90% success in classical computers, while we achieved a high success rate of 94-100% in quantum computers.
    [Show full text]
  • Clustering by Quantum Annealing on the Three–Level Quantum El- Ements Qutrits V
    CLUSTERING BY QUANTUM ANNEALING ON THE THREE–LEVEL QUANTUM EL- EMENTS QUTRITS V. E. Zobov and I. S. Pichkovskiy1 Abstract Clustering is grouping of data by the proximity of some properties. We report on the possibility of increasing the efficiency of clustering of points in a plane using artificial quantum neural networks after the replacement of the two-level neurons called qubits represented by the spins S = 1/2 by the three-level neu- rons called qutrits represented by the spins S = 1. The problem has been solved by the slow adiabatic change of the Hamiltonian in time. The methods for controlling a qutrit system using projection operators have been developed and the numerical simulation has been performed. The Hamiltonians for two well-known cluster- ing methods, one-hot encoding and k-means ++, have been built. The first method has been used to partition a set of six points into three or two clusters and the second method, to partition a set of nine points into three clusters and seven points into four clusters. The simulation has shown that the clustering problem can be ef- fectively solved on qutrits represented by the spins S = 1. The advantages of clustering on qutrits over that on qubits have been demonstrated. In particular, the number of qutrits required to represent N data points is smaller than the number of qubits by a factor of log23NN / log . Since, for qutrits, it is easier to partition the data points into three clusters rather than two ones, the approximate hierarchical procedure of data partition- ing into a larger number of clusters is accelerated.
    [Show full text]
  • Qubit Coupled Cluster Singles and Doubles Variational Quantum Eigensolver Ansatz for Electronic Structure Calculations
    Quantum Science and Technology PAPER Qubit coupled cluster singles and doubles variational quantum eigensolver ansatz for electronic structure calculations To cite this article: Rongxin Xia and Sabre Kais 2020 Quantum Sci. Technol. 6 015001 View the article online for updates and enhancements. This content was downloaded from IP address 128.210.107.25 on 20/10/2020 at 12:02 Quantum Sci. Technol. 6 (2021) 015001 https://doi.org/10.1088/2058-9565/abbc74 PAPER Qubit coupled cluster singles and doubles variational quantum RECEIVED 27 July 2020 eigensolver ansatz for electronic structure calculations REVISED 14 September 2020 Rongxin Xia and Sabre Kais∗ ACCEPTED FOR PUBLICATION Department of Chemistry, Department of Physics and Astronomy, and Purdue Quantum Science and Engineering Institute, Purdue 29 September 2020 University, West Lafayette, United States of America ∗ PUBLISHED Author to whom any correspondence should be addressed. 20 October 2020 E-mail: [email protected] Keywords: variational quantum eigensolver, electronic structure calculations, unitary coupled cluster singles and doubles excitations Abstract Variational quantum eigensolver (VQE) for electronic structure calculations is believed to be one major potential application of near term quantum computing. Among all proposed VQE algorithms, the unitary coupled cluster singles and doubles excitations (UCCSD) VQE ansatz has achieved high accuracy and received a lot of research interest. However, the UCCSD VQE based on fermionic excitations needs extra terms for the parity when using Jordan–Wigner transformation. Here we introduce a new VQE ansatz based on the particle preserving exchange gate to achieve qubit excitations. The proposed VQE ansatz has gate complexity up-bounded to O(n4)for all-to-all connectivity where n is the number of qubits of the Hamiltonian.
    [Show full text]
  • Contention-Free Periodic Message Scheduler Medium Access Control in Wireless Sensor / Actuator Networks
    Contention-Free Periodic Message Scheduler Medium Access Control in Wireless Sensor / Actuator Networks Thomas W. Carley Moussa A. Ba Rajeev Barua David B. Stewart ECE Department Embedded Research ECE Department Embedded Research University of Maryland Solutions University of Maryland Solutions [email protected] mba@embedded- [email protected] dstewart@embedded- zone.com zone.com Abstract actuator network applications have timeliness constrains, both on activities on individual nodes, and across multiple This paper presents a time division multiple access nodes. This results in timeliness constraints on both tasks medium access control protocol for wireless sensor / running on nodes and messages exchanged by nodes. actuator networks implemented with a contention-free Medium access control (MAC) is one of the most message scheduler. A message scheduler is used to important, and most studied, protocol layers in wireless determine which message has access to the medium at sensor / actuator networks. Wireless sensor / actuator any time. A set of messages is contention-free if only one networks are often characterized by extreme constraints message is ready at a time. Otherwise, some other on size, cost, power, and timeliness. This imposes criterion such as priority must be used to resolve constraints on every aspect of the design of these contention. In this case the message scheduler at each networks, especially the protocol stack. Wireless node in the network must schedule all messages in order networks are inherently broadcast media; all nodes in the to resolve contention. If the schedule is contention-free network share one common communication medium. however, then each node only schedules the messages that Therefore, a method for resolving contention when interest it.
    [Show full text]