Arxiv:2003.02989V2 [Quant-Ph] 26 Aug 2021
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
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 -
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. -
Information Scrambling in Computationally Complex Quantum Circuits
Information Scrambling in Computationally Complex Quantum Circuits Xiao Mi,1, ∗ Pedram Roushan,1, ∗ Chris Quintana,1, ∗ Salvatore Mandr`a,2, 3 Jeffrey Marshall,2, 4 Charles Neill,1 Frank Arute,1 Kunal Arya,1 Juan Atalaya,1 Ryan Babbush,1 Joseph C. Bardin,1, 5 Rami Barends,1 Andreas Bengtsson,1 Sergio Boixo,1 Alexandre Bourassa,1, 6 Michael Broughton,1 Bob B. Buckley,1 David A. Buell,1 Brian Burkett,1 Nicholas Bushnell,1 Zijun Chen,1 Benjamin Chiaro,1 Roberto Collins,1 William Courtney,1 Sean Demura,1 Alan R. Derk,1 Andrew Dunsworth,1 Daniel Eppens,1 Catherine Erickson,1 Edward Farhi,1 Austin G. Fowler,1 Brooks Foxen,1 Craig Gidney,1 Marissa Giustina,1 Jonathan A. Gross,1 Matthew P. Harrigan,1 Sean D. Harrington,1 Jeremy Hilton,1 Alan Ho,1 Sabrina Hong,1 Trent Huang,1 William J. Huggins,1 L. B. Ioffe,1 Sergei V. Isakov,1 Evan Jeffrey,1 Zhang Jiang,1 Cody Jones,1 Dvir Kafri,1 Julian Kelly,1 Seon Kim,1 Alexei Kitaev,1, 7 Paul V. Klimov,1 Alexander N. Korotkov,1, 8 Fedor Kostritsa,1 David Landhuis,1 Pavel Laptev,1 Erik Lucero,1 Orion Martin,1 Jarrod R. McClean,1 Trevor McCourt,1 Matt McEwen,1, 9 Anthony Megrant,1 Kevin C. Miao,1 Masoud Mohseni,1 Wojciech Mruczkiewicz,1 Josh Mutus,1 Ofer Naaman,1 Matthew Neeley,1 Michael Newman,1 Murphy Yuezhen Niu,1 Thomas E. O'Brien,1 Alex Opremcak,1 Eric Ostby,1 Balint Pato,1 Andre Petukhov,1 Nicholas Redd,1 Nicholas C. -
Quantum Permutation Synchronization
(I) QUBO Preparation (II) Quantum Annealing (III) Global Synchronization Quantum Permutation Synchronization 1;? 2;? 2 1 Tolga Birdal Vladislav Golyanik Christian Theobalt Leonidas Guibas Unembedding 1Stanford University 2Max Planck Institute for Informatics, SIC QUBO Problem Logical Abstract Formulation We present QuantumSync, the first quantum algorithm for solving a synchronization problem in the context of com- puter vision. In particular, we focus on permutation syn- Embedding chronization which involves solving a non-convex optimiza- Quantum Annealing tion problem in discrete variables. We start by formulating Solution synchronization into a quadratic unconstrained binary opti- mization problem (QUBO). While such formulation respects Unembedding the binary nature of the problem, ensuring that the result is a set of permutations requires extra care. Hence, we: (i) Figure 1. Overview of QuantumSync. QuantumSync formulates show how to insert permutation constraints into a QUBO permutation synchronization as a QUBO and embeds its logical instance on a quantum computer. After running multiple anneals, problem and (ii) solve the constrained QUBO problem on it selects the lowest energy solution as the global optimum. the current generation of the adiabatic quantum computers D-Wave. Thanks to the quantum annealing, we guarantee reconstruction and multi-shape analysis pipelines [86, 23, global optimality with high probability while sampling the 25] because it heavy-lifts the global constraint satisfaction energy landscape to yield confidence estimates. Our proof- while respecting the geometry of the parameters. In fact, of-concepts realization on the adiabatic D-Wave computer most of the multiview-consistent inference problems can be demonstrates that quantum machines offer a promising way expressed as some form of a synchronization [108, 15]. -
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. -
Arxiv:1812.09167V1 [Quant-Ph] 21 Dec 2018 It with the Tex Typesetting System Being a Prime Example
Open source software in quantum computing Mark Fingerhutha,1, 2 Tomáš Babej,1 and Peter Wittek3, 4, 5, 6 1ProteinQure Inc., Toronto, Canada 2University of KwaZulu-Natal, Durban, South Africa 3Rotman School of Management, University of Toronto, Toronto, Canada 4Creative Destruction Lab, Toronto, Canada 5Vector Institute for Artificial Intelligence, Toronto, Canada 6Perimeter Institute for Theoretical Physics, Waterloo, Canada Open source software is becoming crucial in the design and testing of quantum algorithms. Many of the tools are backed by major commercial vendors with the goal to make it easier to develop quantum software: this mirrors how well-funded open machine learning frameworks enabled the development of complex models and their execution on equally complex hardware. We review a wide range of open source software for quantum computing, covering all stages of the quantum toolchain from quantum hardware interfaces through quantum compilers to implementations of quantum algorithms, as well as all quantum computing paradigms, including quantum annealing, and discrete and continuous-variable gate-model quantum computing. The evaluation of each project covers characteristics such as documentation, licence, the choice of programming language, compliance with norms of software engineering, and the culture of the project. We find that while the diversity of projects is mesmerizing, only a few attract external developers and even many commercially backed frameworks have shortcomings in software engineering. Based on these observations, we highlight the best practices that could foster a more active community around quantum computing software that welcomes newcomers to the field, but also ensures high-quality, well-documented code. INTRODUCTION Source code has been developed and shared among enthusiasts since the early 1950s. -
Arxiv:1908.04480V2 [Quant-Ph] 23 Oct 2020
Quantum adiabatic machine learning with zooming Alexander Zlokapa,1 Alex Mott,2 Joshua Job,3 Jean-Roch Vlimant,1 Daniel Lidar,4 and Maria Spiropulu1 1Division of Physics, Mathematics & Astronomy, Alliance for Quantum Technologies, California Institute of Technology, Pasadena, CA 91125, USA 2DeepMind Technologies, London, UK 3Lockheed Martin Advanced Technology Center, Sunnyvale, CA 94089, USA 4Departments of Electrical and Computer Engineering, Chemistry, and Physics & Astronomy, and Center for Quantum Information Science & Technology, University of Southern California, Los Angeles, CA 90089, USA Recent work has shown that quantum annealing for machine learning, referred to as QAML, can perform comparably to state-of-the-art machine learning methods with a specific application to Higgs boson classification. We propose QAML-Z, a novel algorithm that iteratively zooms in on a region of the energy surface by mapping the problem to a continuous space and sequentially applying quantum annealing to an augmented set of weak classifiers. Results on a programmable quantum annealer show that QAML-Z matches classical deep neural network performance at small training set sizes and reduces the performance margin between QAML and classical deep neural networks by almost 50% at large training set sizes, as measured by area under the ROC curve. The significant improvement of quantum annealing algorithms for machine learning and the use of a discrete quantum algorithm on a continuous optimization problem both opens a new class of problems that can be solved by quantum annealers and suggests the approach in performance of near-term quantum machine learning towards classical benchmarks. I. INTRODUCTION lem Hamiltonian, ensuring that the system remains in the ground state if the system is perturbed slowly enough, as given by the energy gap between the ground state and Machine learning has gained an increasingly impor- the first excited state [36{38]. -
Explorations in Quantum Neural Networks with Intermediate Measurements
ESANN 2020 proceedings, European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Online event, 2-4 October 2020, i6doc.com publ., ISBN 978-2-87587-074-2. Available from http://www.i6doc.com/en/. Explorations in Quantum Neural Networks with Intermediate Measurements Lukas Franken and Bogdan Georgiev ∗Fraunhofer IAIS - Research Center for ML and ML2R Schloss Birlinghoven - 53757 Sankt Augustin Abstract. In this short note we explore a few quantum circuits with the particular goal of basic image recognition. The models we study are inspired by recent progress in Quantum Convolution Neural Networks (QCNN) [12]. We present a few experimental results, where we attempt to learn basic image patterns motivated by scaling down the MNIST dataset. 1 Introduction The recent demonstration of Quantum Supremacy [1] heralds the advent of the Noisy Intermediate-Scale Quantum (NISQ) [2] technology, where signs of supe- riority of quantum over classical machines in particular tasks may be expected. However, one should keep in mind the limitations of NISQ-devices when study- ing and developing quantum-algorithmic solutions - among other things, these include limits on the number of gates and qubits. At the same time the interaction of quantum computing and machine learn- ing is growing, with a vast amount of literature and new results. To name a few applications, the well-known HHL algorithm [3], quantum phase estimation [5] and inner products speed-up techniques lead to further advances in Support Vector Machines [4] and Principal Component Analysis [6, 7]. Intensive progress and ongoing research has also been made towards quantum analogues of Neural Networks (QNN) [8, 9, 10]. -
Quantum Approximation for Wireless Scheduling
applied sciences Article Quantum Approximation for Wireless Scheduling Jaeho Choi 1 , Seunghyeok Oh 2 and Joongheon Kim 2,* 1 School of Computer Science and Engineering, Chung-Ang University, Seoul 06974, Korea; [email protected] 2 School of Electrical Engineering, Korea University, Seoul 02841, Korea; [email protected] * Correspondence: [email protected]; Tel.: +82-2-3290-3223 Received: 2 September 2020; Accepted: 6 October 2020; Published: 13 October 2020 Abstract: This paper proposes an application algorithm based on a quantum approximate optimization algorithm (QAOA) for wireless scheduling problems. QAOA is one of the promising hybrid quantum-classical algorithms to solve combinatorial optimization problems and it provides great approximate solutions to non-deterministic polynomial-time (NP) hard problems. QAOA maps the given problem into Hilbert space, and then it generates the Hamiltonian for the given objective and constraint. Then, QAOA finds proper parameters from the classical optimization loop in order to optimize the expectation value of the generated Hamiltonian. Based on the parameters, the optimal solution to the given problem can be obtained from the optimum of the expectation value of the Hamiltonian. Inspired by QAOA, a quantum approximate optimization for scheduling (QAOS) algorithm is proposed. The proposed QAOS designs the Hamiltonian of the wireless scheduling problem which is formulated by the maximum weight independent set (MWIS). The designed Hamiltonian is converted into a unitary operator and implemented as a quantum gate operation. After that, the iterative QAOS sequence solves the wireless scheduling problem. The novelty of QAOS is verified with simulation results implemented via Cirq and TensorFlow-Quantum. -
Heuristics for Quantum Compiling with a Continuous Gate Set Marc Grau Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, Costin Iancu
Heuristics for Quantum Compiling with a Continuous Gate Set Marc Grau Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, Costin Iancu Abstract factor in the near future of NISQ devices, this metric has been We present an algorithm for compiling arbitrary unitaries targeted by others [25, 28, 50, 56]. into a sequence of gates native to a quantum processor. As The algorithm is inspired by the A* [22] search strategy accurate CNOT gates are hard for the foreseeable Noisy- and works as follows. Given the unitary associated with a Intermediate-Scale Quantum devices era, our A* inspired quantum transformation, we attempt to alternate layers of algorithm attempts to minimize their count, while accounting single qubit gates and CNOT gates. For each layer of single for connectivity. We discuss the search strategy together with qubit gates we assign the parameterized single qubit unitary to “metrics” to expand the solution frontier. For a workload of all the qubits. We then try to place a CNOT gate wherever the circuits with complexity appropriate for the NISQ era, we pro- chip connectivity allows, and add another layer of single qubit duce solutions well within the best upper bounds published in gates. We pass the parameterized circuit into an optimizer [44], literature and match or exceed hand tuned implementations, which instantiates the parameters for the partial solution such as well as other existing synthesis alternatives. In particular, that it minimizes a distance function. At each step of the when comparing against state-of-the-art available synthesis search, the solution with the shortest “heuristic” distance from packages we show 2:4× average (up to 5:3×) reduction in the original unitary is expanded. -
Resource-Efficient Quantum Computing By
Resource-Efficient Quantum Computing by Breaking Abstractions Fred Chong Seymour Goodman Professor Department of Computer Science University of Chicago Lead PI, the EPiQC Project, an NSF Expedition in Computing NSF 1730449/1730082/1729369/1832377/1730088 NSF Phy-1818914/OMA-2016136 DOE DE-SC0020289/0020331/QNEXT With Ken Brown, Ike Chuang, Diana Franklin, Danielle Harlow, Aram Harrow, Andrew Houck, John Reppy, David Schuster, Peter Shor Why Quantum Computing? n Fundamentally change what is computable q The only means to potentially scale computation exponentially with the number of devices n Solve currently intractable problems in chemistry, simulation, and optimization q Could lead to new nanoscale materials, better photovoltaics, better nitrogen fixation, and more n A new industry and scaling curve to accelerate key applications q Not a full replacement for Moore’s Law, but perhaps helps in key domains n Lead to more insights in classical computing q Previous insights in chemistry, physics and cryptography q Challenge classical algorithms to compete w/ quantum algorithms 2 NISQ Now is a privileged time in the history of science and technology, as we are witnessing the opening of the NISQ era (where NISQ = noisy intermediate-scale quantum). – John Preskill, Caltech IBM IonQ Google 53 superconductor qubits 79 atomic ion qubits 53 supercond qubits (11 controllable) Quantum computing is at the cusp of a revolution Every qubit doubles computational power Exponential growth in qubits … led to quantum supremacy with 53 qubits vs. Seconds Days Double exponential growth! 4 The Gap between Algorithms and Hardware The Gap between Algorithms and Hardware The Gap between Algorithms and Hardware The EPiQC Goal Develop algorithms, software, and hardware in concert to close the gap between algorithms and devices by 100-1000X, accelerating QC by 10-20 years. -
Quantum Supremacy Using a Programmable Superconducting Processor
Article https://doi.org/10.1038/s41586-019-1666-5 Supplementary information Quantum supremacy using a programmable superconducting processor In the format provided by the Frank Arute, Kunal Arya, Ryan Babbush, Dave Bacon, Joseph C. Bardin, Rami Barends, Rupak authors and unedited Biswas, Sergio Boixo, Fernando G. S. L. Brandao, David A. Buell, Brian Burkett, Yu Chen, Zijun Chen, Ben Chiaro, Roberto Collins, William Courtney, Andrew Dunsworth, Edward Farhi, Brooks Foxen, Austin Fowler, Craig Gidney, Marissa Giustina, Rob Graff, Keith Guerin, Steve Habegger, Matthew P. Harrigan, Michael J. Hartmann, Alan Ho, Markus Hoffmann, Trent Huang, Travis S. Humble, Sergei V. Isakov, Evan Jeffrey, Zhang Jiang, Dvir Kafri, Kostyantyn Kechedzhi, Julian Kelly, Paul V. Klimov, Sergey Knysh, Alexander Korotkov, Fedor Kostritsa, David Landhuis, Mike Lindmark, Erik Lucero, Dmitry Lyakh, Salvatore Mandrà, Jarrod R. McClean, Matthew McEwen, Anthony Megrant, Xiao Mi, Kristel Michielsen, Masoud Mohseni, Josh Mutus, Ofer Naaman, Matthew Neeley, Charles Neill, Murphy Yuezhen Niu, Eric Ostby, Andre Petukhov, John C. Platt, Chris Quintana, Eleanor G. Rieffel, Pedram Roushan, Nicholas C. Rubin, Daniel Sank, Kevin J. Satzinger, Vadim Smelyanskiy, Kevin J. Sung, Matthew D. Trevithick, Amit Vainsencher, Benjamin Villalonga, Theodore White, Z. Jamie Yao, Ping Yeh, Adam Zalcman, Hartmut Neven & John M. Martinis Nature | www.nature.com Supplementary information for \Quantum supremacy using a programmable superconducting processor" Google AI Quantum and collaboratorsy (Dated: October 8, 2019) CONTENTS 2. Universality for SU(2) 30 G. Circuit variants 30 I. Device design and architecture2 1. Gate elision 31 2. Wedge formation 31 II. Fabrication and layout2 VIII. Large scale XEB results 31 III.