Quantum Inductive Learning and Quantum Logic Synthesis
Total Page:16
File Type:pdf, Size:1020Kb
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. -
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. -
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:Quant-Ph/0002039V2 1 Aug 2000
Methodology for quantum logic gate construction 1,2 3,2 2 Xinlan Zhou ∗, Debbie W. Leung †, and Isaac L. Chuang ‡ 1 Department of Applied Physics, Stanford University, Stanford, California 94305-4090 2 IBM Almaden Research Center, 650 Harry Road, San Jose, California 95120 3 Quantum Entanglement Project, ICORP, JST Edward Ginzton Laboratory, Stanford University, Stanford, California 94305-4085 (October 29, 2018) We present a general method to construct fault-tolerant quantum logic gates with a simple primitive, which is an analog of quantum teleportation. The technique extends previous results based on traditional quantum teleportation (Gottesman and Chuang, Nature 402, 390, 1999) and leads to straightforward and systematic construction of many fault-tolerant encoded operations, including the π/8 and Toffoli gates. The technique can also be applied to the construction of remote quantum operations that cannot be directly performed. I. INTRODUCTION Practical realization of quantum information processing requires specific types of quantum operations that may be difficult to construct. In particular, to perform quantum computation robustly in the presence of noise, one needs fault-tolerant implementation of quantum gates acting on states that are block-encoded using quantum error correcting codes [1–4]. Fault-tolerant quantum gates must prevent propagation of single qubit errors to multiple qubits within any code block so that small correctable errors will not grow to exceed the correction capability of the code. This requirement greatly restricts the types of unitary operations that can be performed on the encoded qubits. Certain fault-tolerant operations can be implemented easily by performing direct transversal operations on the encoded qubits, in which each qubit in a block interacts only with one corresponding qubit, either in another block or in a specialized ancilla. -
Fault-Tolerant Interface Between Quantum Memories and Quantum Processors
ARTICLE DOI: 10.1038/s41467-017-01418-2 OPEN Fault-tolerant interface between quantum memories and quantum processors Hendrik Poulsen Nautrup 1, Nicolai Friis 1,2 & Hans J. Briegel1 Topological error correction codes are promising candidates to protect quantum computa- tions from the deteriorating effects of noise. While some codes provide high noise thresholds suitable for robust quantum memories, others allow straightforward gate implementation 1234567890 needed for data processing. To exploit the particular advantages of different topological codes for fault-tolerant quantum computation, it is necessary to be able to switch between them. Here we propose a practical solution, subsystem lattice surgery, which requires only two-body nearest-neighbor interactions in a fixed layout in addition to the indispensable error correction. This method can be used for the fault-tolerant transfer of quantum information between arbitrary topological subsystem codes in two dimensions and beyond. In particular, it can be employed to create a simple interface, a quantum bus, between noise resilient surface code memories and flexible color code processors. 1 Institute for Theoretical Physics, University of Innsbruck, Technikerstr. 21a, 6020 Innsbruck, Austria. 2 Institute for Quantum Optics and Quantum Information, Austrian Academy of Sciences, Boltzmanngasse 3, 1090 Vienna, Austria. Correspondence and requests for materials should be addressed to H.P.N. (email: [email protected]) NATURE COMMUNICATIONS | 8: 1321 | DOI: 10.1038/s41467-017-01418-2 | www.nature.com/naturecommunications 1 ARTICLE NATURE COMMUNICATIONS | DOI: 10.1038/s41467-017-01418-2 oise and decoherence can be considered as the major encoding k = n − s qubits. We denote the normalizer of S by Nobstacles for large-scale quantum information processing. -
Realization of the Quantum Toffoli Gate
Realization of the quantum Toffoli gate Realization of the quantum Toffoli gate Based on: Monz, T; Kim, K; Haensel, W; et al Realization of the quantum Toffoli gate with trapped ions Phys. Rev. Lett. 102, 040501 (2009) Lanyon, BP; Barbieri, M; Almeida, MP; et al. Simplifying quantum logic using higher dimensional Hilbert spaces Nat. Phys. 5, 134 (2009) Realization of the quantum Toffoli gate Outline 1. Motivation 2. Principles of the quantum Toffoli gate 3. Implementation with trapped ions 4. Implementation with photons 5. Comparison and conclusion 6. Summary 6. Dezember 2010 Jakob Buhmann Jeffrey Gehrig 1 Realization of the quantum Toffoli gate 1. Motivation • Universal quantum logic gate sets are needed to implement algorithms • Implementation of algorithms is difficult due to the finite fidelity and large amount of gates • Use of other degrees of freedom to store information • Reduction of complexity and runtime 6. Dezember 2010 Jakob Buhmann Jeffrey Gehrig 2 Realization of the quantum Toffoli gate 2. Principles of the Toffoli gate • Three-qubit gate (C1, C2, T) • Logic flip of T depending on (C1 AND C2) Truth table Matrix form Input Output C1 C2 T C1 C2 T 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 6. Dezember 2010 Jakob Buhmann Jeffrey Gehrig 3 Realization of the quantum Toffoli gate 2. Principles of the Toffoli gate • Qubit Implementation • Qutrit Implementation Qutrit states: and 6. -
Nearest Centroid Classification on a Trapped Ion Quantum Computer
www.nature.com/npjqi ARTICLE OPEN Nearest centroid classification on a trapped ion quantum computer ✉ Sonika Johri1 , Shantanu Debnath1, Avinash Mocherla2,3,4, Alexandros SINGK2,3,5, Anupam Prakash2,3, Jungsang Kim1 and Iordanis Kerenidis2,3,6 Quantum machine learning has seen considerable theoretical and practical developments in recent years and has become a promising area for finding real world applications of quantum computers. In pursuit of this goal, here we combine state-of-the-art algorithms and quantum hardware to provide an experimental demonstration of a quantum machine learning application with provable guarantees for its performance and efficiency. In particular, we design a quantum Nearest Centroid classifier, using techniques for efficiently loading classical data into quantum states and performing distance estimations, and experimentally demonstrate it on a 11-qubit trapped-ion quantum machine, matching the accuracy of classical nearest centroid classifiers for the MNIST handwritten digits dataset and achieving up to 100% accuracy for 8-dimensional synthetic data. npj Quantum Information (2021) 7:122 ; https://doi.org/10.1038/s41534-021-00456-5 INTRODUCTION Thus, one might hope that noisy quantum computers are 1234567890():,; Quantum technologies promise to revolutionize the future of inherently better suited for machine learning computations than information and communication, in the form of quantum for other types of problems that need precise computations like computing devices able to communicate and process massive factoring or search problems. amounts of data both efficiently and securely using quantum However, there are significant challenges to be overcome to resources. Tremendous progress is continuously being made both make QML practical. -
Reversible Logic Synthesis with Minimal Usage of Ancilla Bits Siyao
Reversible Logic Synthesis with Minimal Usage of Ancilla Bits by Siyao Xu Submitted to the Department of Electrical Engineering and Computer Science in partial fulfillment of the requirements for the degree of Master of Engineering in Electrical Engineering and Computer Science at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY June 2015 ○c Massachusetts Institute of Technology 2015. All rights reserved. Author................................................................ Department of Electrical Engineering and Computer Science May 20, 2015 Certified by. Prof. Scott Aaronson Associate Professor Thesis Supervisor Accepted by . Prof. Albert R. Meyer Chairman, Masters of Engineering Thesis Committee 2 Reversible Logic Synthesis with Minimal Usage of Ancilla Bits by Siyao Xu Submitted to the Department of Electrical Engineering and Computer Science on May 20, 2015, in partial fulfillment of the requirements for the degree of Master of Engineering in Electrical Engineering and Computer Science Abstract Reversible logic has attracted much research interest over the last few decades, espe- cially due to its application in quantum computing. In the construction of reversible gates from basic gates, ancilla bits are commonly used to remove restrictions on the type of gates that a certain set of basic gates generates. With unlimited ancilla bits, many gates (such as Toffoli and Fredkin) become universal reversible gates. However, ancilla bits can be expensive to implement, thus making the problem of minimizing necessary ancilla bits a practical topic. This thesis explores the problem of reversible logic synthesis using a single base gate and a few ancilla bits. Two base gates are discussed: a variation of the 3- bit Toffoli gate and the original 3-bit Fredkin gate. -
Machine Learning for Designing Fast Quantum Gates
University of Calgary PRISM: University of Calgary's Digital Repository Graduate Studies The Vault: Electronic Theses and Dissertations 2016-01-26 Machine Learning for Designing Fast Quantum Gates Zahedinejad, Ehsan Zahedinejad, E. (2016). Machine Learning for Designing Fast Quantum Gates (Unpublished doctoral thesis). University of Calgary, Calgary, AB. doi:10.11575/PRISM/26805 http://hdl.handle.net/11023/2780 doctoral thesis University of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission. Downloaded from PRISM: https://prism.ucalgary.ca UNIVERSITY OF CALGARY Machine Learning for Designing Fast Quantum Gates by Ehsan Zahedinejad A THESIS SUBMITTED TO THE FACULTY OF GRADUATE STUDIES IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY GRADUATE PROGRAM IN PHYSICS AND ASTRONOMY CALGARY, ALBERTA January, 2016 c Ehsan Zahedinejad 2016 Abstract Fault-tolerant quantum computing requires encoding the quantum information into logical qubits and performing the quantum information processing in a code-space. Quantum error correction codes, then, can be employed to diagnose and remove the possible errors in the quantum information, thereby avoiding the loss of information. Although a series of single- and two-qubit gates can be employed to construct a quan- tum error correcting circuit, however this decomposition approach is not practically desirable because it leads to circuits with long operation times. An alternative ap- proach to designing a fast quantum circuit is to design quantum gates that act on a multi-qubit gate. -
Modeling Observers As Physical Systems Representing the World from Within: Quantum Theory As a Physical and Self-Referential Theory of Inference
Modeling observers as physical systems representing the world from within: Quantum theory as a physical and self-referential theory of inference John Realpe-G´omez1∗ Theoretical Physics Group, School of Physics and Astronomy, The University of Manchestery, Manchester M13 9PL, United Kingdom and Instituto de Matem´aticas Aplicadas, Universidad de Cartagena, Bol´ıvar130001, Colombia (Dated: June 13, 2019) In 1929 Szilard pointed out that the physics of the observer may play a role in the analysis of experiments. The same year, Bohr pointed out that complementarity appears to arise naturally in psychology where both the objects of perception and the perceiving subject belong to `our mental content'. Here we argue that the formalism of quantum theory can be derived from two related intu- itive principles: (i) inference is a classical physical process performed by classical physical systems, observers, which are part of the experimental setup|this implies non-commutativity and imaginary- time quantum mechanics; (ii) experiments must be described from a first-person perspective|this leads to self-reference, complementarity, and a quantum dynamics that is the iterative construction of the observer's subjective state. This approach suggests a natural explanation for the origin of Planck's constant as due to the physical interactions supporting the observer's information process- ing, and sheds new light on some conceptual issues associated to the foundations of quantum theory. It also suggests that fundamental equations in physics are typically -
Verified Compilation of Space-Efficient Reversible Circuits
Verified compilation of space-efficient reversible circuits Matthew Amy1;2, Martin Roetteler3, and Krysta M. Svore3 1 Institute for Quantum Computing, Waterloo, Canada 2 David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada 3 Microsoft Research, Redmond, USA Abstract. The generation of reversible circuits from high-level code is an important problem in several application domains, including low- power electronics and quantum computing. Existing tools compile and optimize reversible circuits for various metrics, such as the overall cir- cuit size or the total amount of space required to implement a given function reversibly. However, little effort has been spent on verifying the correctness of the results, an issue of particular importance in quantum computing. There, compilation allows not only mapping to hardware, but also the estimation of resources required to implement a given quantum algorithm, a process that is crucial for identifying which algorithms will outperform their classical counterparts. We present a reversible circuit compiler called ReVerC, which has been formally verified in F? and compiles circuits that operate correctly with respect to the input pro- gram. Our compiler compiles the Revs language [21] to combinational reversible circuits with as few ancillary bits as possible, and provably cleans temporary values. 1 Introduction The ability to evaluate classical functions coherently and in superposition as part of a larger quantum computation is essential for many quantum algorithms. For example, Shor's quantum algorithm [26] uses classical modular arithmetic and Grover's quantum algorithm [11] uses classical predicates to implicitly define the underlying search problem. There is a resulting need for tools to help a programmer translate classical, irreversible programs into a form which a quan- tum computer can understand and carry out, namely into reversible circuits, arXiv:1603.01635v2 [quant-ph] 20 Apr 2018 which are a special case of quantum transformations [19]. -
Arxiv:2010.00046V2 [Hep-Ph] 13 Oct 2020
IPPP/20/41 Towards a Quantum Computing Algorithm for Helicity Amplitudes and Parton Showers Khadeejah Bepari,a Sarah Malik,b Michael Spannowskya and Simon Williamsb aInstitute for Particle Physics Phenomenology, Department of Physics, Durham University, Durham DH1 3LE, U.K. bHigh Energy Physics Group, Blackett Laboratory, Imperial College, Prince Consort Road, London, SW7 2AZ, United Kingdom E-mail: [email protected], [email protected], [email protected], [email protected] Abstract: The interpretation of measurements of high-energy particle collisions relies heavily on the performance of full event generators. By far the largest amount of time to predict the kinematics of multi-particle final states is dedicated to the calculation of the hard process and the subsequent parton shower step. With the continuous improvement of quantum devices, dedicated algorithms are needed to exploit the potential quantum computers can provide. We propose general and extendable algorithms for quantum gate computers to facilitate calculations of helicity amplitudes and the parton shower process. The helicity amplitude calculation exploits the equivalence between spinors and qubits and the unique features of a quantum computer to compute the helicities of each particle in- volved simultaneously, thus fully utilising the quantum nature of the computation. This advantage over classical computers is further exploited by the simultaneous computation of s and t-channel amplitudes for a 2 2 process. The parton shower algorithm simulates ! collinear emission for a two-step, discrete parton shower. In contrast to classical imple- mentations, the quantum algorithm constructs a wavefunction with a superposition of all shower histories for the whole parton shower process, thus removing the need to explicitly keep track of individual shower histories.