DOCSLIB.ORG

Arxiv:2011.13143V2 [Quant-Ph] 8 Jul 2021 Quantum Optimization [21, 22], Quantum Machine Learn- Coherent Superconducting Cavity Systems [38–41]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2011.13143V2 [Quant-Ph] 8 Jul 2021 Quantum Optimization [21, 22], Quantum Machine Learn- Coherent Superconducting Cavity Systems [38–41] Impacts of Noise and Structure on Quantum Information Encoded in a Quantum Memory Matthew Otten,1, ∗ Keshav Kapoor,2 A. Barı¸s Ozg¨uler,¨ 2 Eric T. Holland,2, y James B. Kowalkowski,2 Yuri Alexeev,3 and Adam L. Lyon2 1Nanoscience and Technology, Argonne National Laboratory, Lemont, Illinois 60439 2Fermi National Accelerator Laboratory, Batavia, Illinois 60510 3Computation Science Division, Argonne National Laboratory, Lemont, Illinois 60439 (Dated: November 25, 2020) As larger, higher-quality quantum devices are built and demonstrated in quantum information applications, such as quantum computation and quantum communication, the need for high-quality quantum memories to store quantum states becomes ever more pressing. Future quantum devices likely will use a variety of physical hardware, some being used primarily for processing of quantum information and others for storage. Here, we study the correlation of the structure of quantum infor- mation with physical noise models of various possible quantum memory implementations. Through numerical simulation of different noise models and approximate analytical formulas applied to a variety of interesting quantum states, we provide comparisons between quantum hardware with different structure, including both qubit- and qudit-based quantum memories. Our findings point to simple, experimentally relevant formulas for the relative lifetimes of quantum information in different quantum memories and have relevance to the design of hybrid quantum devices. I. INTRODUCTION of many candidate hardware platforms, including pho- tonics [32], superconducting cavities [33], superconduct- In many quantum information science technologies, ing qubits [34], vacancy centers [35], trapped ions [36], quantum memories, which store quantum states until and silicon quantum dots [37]. Each platform offers var- they are required, are an integral part of the overall ar- ious benefits and drawbacks, for instance, in coherence chitecture [1, 2]. For instance, in quantum computing times, fabrication difficulty, and interoperability. applications, the ability to store a state between com- Here, we study the performance of storing a variety putations is necessary for increasing the overall fidelity of quantum states in various quantum memories with of a quantum algorithm [3]. In quantum communica- differing noise models, exploring the correlation of the tion protocols, quantum memories make up a key part of structure of the stored quantum state with the structure several quantum repeater designs [4, 5]. Quantum error of the noise model. We focus primarily on the difference correction offers the ability to create an arbitrarily long- of storing quantum information in qubit-based systems, lived quantum memory, with the overhead depending on where the state is stored in a possibly entangled register the size and complexity of the quantum hardware [6], of qubits, to many-level qudit-based systems, where the through various protocols such as surface codes [7]. In state can be stored in one single quantum system with the noisy intermediate-scale quantum (NISQ) era, how- many levels. We provide extensive numerical calcula- ever, the hardware overhead from performing quan- tions of such systems under amplitude damping (T1) and tum error correction prevents its use [8]. Nevertheless, ∗ dephasing (T2 ) noise models, as well as simple analytic even without error correction, today's quantum hard- formulas for predicting the coherence requirements for ware is already performing impressive demonstrations, the different systems and noise models to have the same such as quantum supremacy [9], quantum calculations memory performance. Our results point to qudit-based in quantum chemistry [10{12], quantum simulations of systems as being viable candidates for high-quality quan- many-body physics [13{18], quantum dynamics [19, 20], tum memories, given the ability to engineer extremely arXiv:2011.13143v2 [quant-ph] 8 Jul 2021 quantum optimization [21, 22], quantum machine learn- coherent superconducting cavity systems [38{41]. ing [23, 24], quantum internet [25, 26], and quantum net- working demonstrations over long distances using satel- lites [27, 28], optical fibers [29, 30], and photonic quan- tum repeaters [31]. Going beyond these impressive, al- beit small-scale, demonstrations will require high-quality II. THEORETICAL METHODS quantum memories. Quantum memories can be made out In this section, we describe the considered noise mod- els, how we encode quantum states, and the particu- ∗ Correspondence and Present Address: [email protected], HRL Laboratories, LLC, 3011 Malibu Canyon Road, Malibu, Califor- lar states we considered. Furthermore, to complement nia 90265 our numerical analysis we introduce an analytical study y Present Address: Quantum R&D Center, Keysight Technologies based on approximating the Lindblad master equation Inc., 1 Broadway, Cambridge, Massachusetts 02142 with a non-Hermitian formalism. 2 Quantum Memory many possible combinations of amplitude damping, de- phasing, and number of levels of the quantum hardware, we focus primarily on two specific combinations: qubit- based systems with both amplitude damping and de- Qubit Qudit phasing noise, which is paradigmatic of superconducting transmon qubits [51], and a single many-level qudit, with only amplitude damping noise, which is paradigmatic of superconducting cavities[38, 52]. The specific Lindblad master equation for the qubit-based noise model with both amplitude damping and dephasing noise is then nq dρ(t) X = γ(L(σ )[ρ(t)] + L(σyσ )[ρ(t)]); (2) dt i i i i FIG. 1. Quantum memories can be made out of a variety of where nq is the number of qubits necessary to store the quantum systems; here, we schematically show the noise prop- quantum state, σi is the annihilation operator for a two- erties of two quantum memories. Left: A quantum memory level system, and we have assumed that all the noise rates comprising qubits subject to amplitude damping (also called for all qubits, γ, are the same. The specific Lindblad T1, represented by the waves flying out of the qubits) and pure ∗ master equation for the single qudit-based noise model dephasing (also called T2 , denoted by the arrows pointing in with only amplitude damping is many directions). Each qubit adds two noise channels, each with the same strength. Right: A quantum memory compris- dρ(t) ing a single qudit subject to amplitude damping. The noise = γL(b)[ρ(t)]; (3) grows as the number of levels increases. dt where b is the annihilation operator for a d-level system large enough to store the full quantum state. As an ex- A. Noise Models ample, for a qudit with d = 4, we use the matrix 2 p 3 We consider the evolution of a quantum state under a 0 1p 0 0 60 0 2 0 7 noisy channel using the Lindblad master equation, b = 6 p 7 : (4) 40 0 0 35 dρ(t) X 0 0 0 0 = γ L(C )[ρ(t)]; (1) dt i i i Larger qudits are similarlyp defined, with the matrix be- ing size d × d and b = i for every row but the last, where ρ is the density matrix of the system, γ is a i;i+1 i which has no nonzero elements. In the case of storing y 1 n y o noise rate, L(Ci)[ρ(t)] = Ciρ(t)Ci − 2 Ci Ci; ρ(t) the same state in both a qubit-based system and a sin- nq is a Lindblad superoperator, and Ci are operators rep- gle qudit-based system, d = 2 . Although we will focus resenting various noise processes. The Lindblad master primarily on these two models, our analysis is easily gen- equation is one of the standard approaches for studying eralized to other systems (as we later discuss), such as Markovian open quantum systems [42, 43] and has been qubit-based systems with only dephasing, which could used to study many physical systems, such as supercon- represent ion-trap quantum memories [53], or a system ducting qubits [44] and quantum dots [45, 46]. In this with d < 2nq , which would represent an array of possibly work, we consider only incoherent evolution of the sys- entangled qudits. tem under various noise processes; thus, the Hamiltonian To quantify the performance of these noise models, we is chosen to be zero. For any noise model, if γi = 0, the study how well various quantum states are preserved af- state will be maintained perfectly in the quantum system ter evolution under the different Lindblad master equa- for all time. We study both amplitude damping noise tions, such as Eq. (2) and Eq. (3). We calculate the (T1), where the Ci are annihilation operators, and de- fidelity of the state as it evolves under the noisy channel, ∗ phasing (T2 ) noise, where the Ci are number operators. and we directly compare the time for various noise models ta These are dominant noise sources on a variety of NISQ to reach a fidelity target of Ft. The ratio of times for tb hardware previously used in a variety of studies [46{ some noise model a and a different noise model b to reach 50]. Furthermore, we study the difference between encod- the fidelity target provides a direct comparison of the two ing the quantum information into qubit-based hardware, noise models' performance as quantum memories. Fur- where the quantum state is represented by a possibly en- thermore, since we study only incoherent evolution under tangled register of multiple two-level systems, and into the Lindblad master equation with a single parameter γ, qudit-based hardware, where the quantum state is repre- the ratio ta directly provides the needed scaling in noise tb sented by a possibly entangled register of d-level systems. rates between the two models to have an equal perfor- This is shown schematically in Fig. 1. Although there are mance for the specified target fidelity. This allows us to 3 simply use γ = 1 in arbitrary units for all simulations qubit states (abbreviated `Unent.' in figures). Further and then freely rescale the units of γ in post-processing, description of these states can be found in Appendix C.
Load more

Recommended publications
  • Learning Programs for the Quantum Computer
    Learning Programs For The Quantum Computer by Olivia{Linda Enciu Bachelor of Science (Honours), University of Toronto, 2010 A thesis presented to Ryerson University in partial fulfillment of the requirements for the degree of Master of Science in the Program of Computer Science Toronto, Ontario, Canada, 2014 c Olivia{Linda Enciu 2014 AUTHOR'S DECLARATION FOR ELECTRONIC SUBMISSION OF A THESIS I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I authorize Ryerson University to lend this thesis to other institutions or individuals for the purpose of scholarly research. I further authorize Ryerson University to reproduce this thesis by photocopying or by other means, in total or in part, at the request of other institutions or individuals for the purpose of scholarly research. I understand that my thesis may be made electronically available to the public. iii Learning Programs For The Quantum Computer Master of Science 2014 Olivia{Linda Enciu Computer Science Ryerson University Abstract Manual quantum programming is generally difficult for humans, due to the often hard-to-grasp properties of quantum mechanics and quantum computers. By outlining the target (or desired) behaviour of a particular quantum program, the task of program- ming can be turned into a search and optimization problem. A flexible evolutionary technique known as genetic programming may then be used as an aid in the search for quantum programs. In this work a genetic programming approach uses an estimation of distribution algorithm (EDA) to learn the probability distribution of optimal solution(s), given some target behaviour of a quantum program.
    [Show full text]
  • QUANTUM COMPUTER and QUANTUM ALGORITHM for TRAVELLING SALESMAN PROBLEM Utpal Roy, Sanchita Pal Chawdhury, Susmita Nayek
    ISSN: 0974-3308, VOL. 2, NO. 1, JUNE 2009 © SRIMCA 54 QUANTUM COMPUTER AND QUANTUM ALGORITHM FOR TRAVELLING SALESMAN PROBLEM Utpal Roy, Sanchita Pal Chawdhury, Susmita Nayek ABSTRACT Depending upon the extraordinary power of Quantum Computing Algorithms various branches like Quantum Cryptography, Quantum Information Technology, Quantum Teleportation have emerged [1-4]. It is thought that this power of Quantum Computing Algorithms can also be successfully applied to many combinatorial optimization problems. In this article, a class of combinatorial optimization problem is chosen as case study under Quantum Computing. These problems are widely believed to be unsolvable in polynomial time. Mostly it provides suboptimal solutions in finite time using best known classical algorithms. Travelling Salesman Problem (TSP) is one such problem to be studied here. A great deal of effort has already been devoted towards devising efficient algorithms that can solve the problem [5-18]. Moreover, the methods of finding solutions for the TSP with Artificial Neural Network and Genetic Algorithms [5-8] do not provide the exact solution to the problems for all the cases, excepting a few. A successful attempt has been made to have a deterministic solution for TSP by applying the power of Quantum Computing Algorithm. Keywords: Quantum Computing, Travelling Salesman Problem, Quantum algorithms. 1. INTRODUCTION A quantum computer is a device that can arbitrarily manipulate the quantum state of a part or itself. The field of quantum computation is largely a body of theoretical promises for some impressively fast algorithms which could be executed on quantum computers. The field of quantum computing has advanced remarkably in the past few years since Shor [1] presented his quantum mechanical algorithm for efficient prime factorization of very large numbers, potentially providing an exponential speedup over the fastness on known classical algorithm.
    [Show full text]
  • Arxiv:1606.09225V1
    Quintuple: a Python 5-qubit quantum computer simulator to facilitate cloud quantum computing Christine Corbett Morana,b,∗ aNSF AAPF California Institute of Technology, TAPIR, 1207 E. California Blvd. Pasadena, CA 91125 bUniversity of Chicago, 2016 SPT Winterover Scientist, Amundsen-Scott South Pole Station, Antarctica Abstract In May 2016 IBM released access to its 5-qubit quantum computer to the scientific commu- nity, its “IBM Quantum Experience”[1] since acquiring over 25,000 users from students, educa- tors and researchers around the globe. In the short time since the “IBM Quantum Experience” became available, a flurry of research results on 5-qubit systems have been published derived from the platform hardware [2, 3, 4, 5, 6]. Quintuple is an open-source object-oriented Python module implementing the simulation of the “IBM Quantum Experience” hardware. Quintuple quantum algorithms can be programmed and run via a custom language fully compatible with the “IBM Quantum Experience” or in pure Python. Over 40 example programs are provided with expected results, including Grover’s Algorithm and the Deutsch-Jozsa algorithm. Quintu- ple contributes to the study of 5-qubit systems and the development and debugging of quantum algorithms for deployment on the “IBM Quantum Experience” hardware. Keywords: quantum computing, 5-qubit, cloud quantum computing, IBM Quantum Experience, entanglement PROGRAM SUMMARY Manuscript Title: Quintuple: a Python 5-qubit quantum computer simulator to facilitating cloud quantum computing Authors: Christine Corbett Moran Program Title: Quintuple Licensing provisions: none Programming language: Python Computer: Any which supports Python 2.7+ Operating system: Cross-platform, any which supports Python 2.7+, e.g.
    [Show full text]
  • Julio Gea-Banaclochea 'Department of Physics, University of Arkansas, Fayett,Eville, Arkansas, 72701, USA
    Geometric phase gate with a quantized driving field Shabnam Siddiquia arid Julio Gea-Banaclochea 'Department of Physics, University of Arkansas, Fayett,eville, Arkansas, 72701, USA ABSTRACT We have studied the performance of a geometric phase gate with a quantized driving field numerically, and developed an analytical approximation that yields some preliminary insight on the way the nl~hltbecomes entangled with the driving field. Keywords: Quantum computation, adiabatic quantum gates, geometric quantum gates 1. INTRODUCTION It was first suggested by Zanardi and ~asetti,'that the Berry phase (non-abelian holon~m~)~-~might in principle provide a novel way for implementing universal quantum computation. They showed that by encoding quantum information in one of the eigenspaces of a degenerate Harniltonian H one can in principle achieve the full quantum computational power by using holonomies only. It was then thought that since Berry's phase is a purely geometrical effect, it is resilient to certain errors and may provide a possibility for performing intrinsically fault-tolerant quantum gate operations. In a paper by Ekert et.al,5 a detailed theory behind the implementation of geometric computation was developed and an implementation of a conditional phase gate in NMR was shown by Jones et.al.6 This attracted the attention of the research community and various studies were performed to study the rob~stness~-'~of geometric gates and the implementation of these gates in other systenls such as ion-trap, solid state and Josephson qubits.lO-l4 In this paper we study an adiabatic geometric phase gate when the control system is treated as a two mode quantized coherent field.
    [Show full text]
  • The Construction of Quantum Block Cipher for Grover Algorithm
    THE CONSTRUCTION OF QUANTUM BLOCK CIPHER FOR GROVER ALGORITHM ALMAZROOIE MISHAL EID UNIVERSITI SAINS MALAYSIA 2018 THE CONSTRUCTION OF QUANTUM BLOCK CIPHER FOR GROVER ALGORITHM by ALMAZROOIE MISHAL EID Thesis submitted in fulfilment of the requirements for the degree of Doctor of Philosphy January 2018 ACKNOWLEDGEMENT Always All Thanks to Almighty Allah • My father, my mother, my second mother, my Sultan, my Sultanah, my Gassan, my brothers, my sisters, my nephews, all of my family, Thank you. • My supervisor Prof. Azman Samsudin, my co-supervisor Prof. Rosni Abdullah, my co-supervisor Dr. Kussay N. Mutter, Thank you. • My dear friends, Thank you. • A word of appreciation goes to https://stackexchange.com/, and https://arxiv.org/. • To accomplish this work and write this draft, I have been using several free softwares that vary from Operating System, Compilers, SDK, Applications, Libraries, to small scripts such as Linux kernel, GCC, Python, Gnuplot, LATEX, libquantum, and many oth- ers. Hence, to all those researchers and developers who have contributed in these free softwares, Thank you. Thank you ii TABLE OF CONTENTS ACKNOWLEDGEMENT ................................................................ ii TABLE OF CONTENTS ................................................................. iii LIST OF TABLES ......................................................................... vii LIST OF FIGURES ....................................................................... viii ABSTRAK ..................................................................................
    [Show full text]
  • Quantum Algorithms for Jet Clustering
    Quantum algorithms for jet clustering The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Wei, Annie Y. et al. “Quantum algorithms for jet clustering.” Physical Review D, 101, 9 (May 2020): 094015 © 2020 The Author(s) As Published 10.1103/PHYSREVD.101.094015 Publisher American Physical Society (APS) Version Final published version Citable link https://hdl.handle.net/1721.1/128245 Terms of Use Creative Commons Attribution 4.0 International license Detailed Terms https://creativecommons.org/licenses/by/4.0/ PHYSICAL REVIEW D 101, 094015 (2020) Quantum algorithms for jet clustering † ‡ Annie Y. Wei,1,* Preksha Naik ,1, Aram W. Harrow ,1, and Jesse Thaler 1,2,§ 1Center for Theoretical Physics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, USA 2Department of Physics, Harvard University, Cambridge, Massachusetts 02138, USA (Received 10 September 2019; revised manuscript received 28 February 2020; accepted 15 April 2020; published 14 May 2020) Identifying jets formed in high-energy particle collisions requires solving optimization problems over potentially large numbers of final-state particles. In this work, we consider the possibility of using quantum computers to speed up jet clustering algorithms. Focusing on the case of electron-positron collisions, we consider a well-known event shape called thrust whose optimum corresponds to the most jetlike separating plane among a set of particles, thereby defining two hemisphere jets. We show how to formulate thrust both as a quantum annealing problem and as a Grover search problem. A key component of our analysis is the consideration of realistic models for interfacing classical data with a quantum algorithm.
    [Show full text]
  • Arxiv:1805.00582V1 [Quant-Ph] 2 May 2018 Daai Loihs[9 N H Unu Prxmt Piiaina Optimization Approximate Quantum the Architecture
    Simulating the dynamics of time-dependent Hamiltonians with a truncated Dyson series M´aria Kieferov´a Department of Physics and Astronomy, Macquarie University, Sydney, NSW 2109, Australia. and Department of Physics and Astronomy, University of Waterloo and Institute for Quantum Computing, Ontario N2L 3G1, Canada Artur Scherer and Dominic Berry Department of Physics and Astronomy, Macquarie University, Sydney, NSW 2109, Australia. (Dated: May 3, 2018) We provide a general method for efficiently simulating time-dependent Hamiltonian dynamics on a circuit-model based quantum computer. Our approach is based on approximating the truncated Dyson series of the evolution operator, extending the earlier proposal by Berry et al. [Phys. Rev. Lett. 114, 090502 (2015)] to evolution generated by explicitly time-dependent Hamiltonians. Two alterna- tive strategies are proposed to implement time ordering while exploiting the superposition principle for sampling the Hamiltonian at different times. The resource cost of our simulation algorithm retains the optimal logarithmic dependence on the inverse of the desired precision. I. INTRODUCTION Simulation of physical systems is envisioned to be one of the main applications for quantum computers [1]. Effective modeling of the dynamics and its generated time evolution is crucial to a deeper understanding of many-body systems, spin models, and quantum chemistry [2], and may thus have significant implications for many areas of chemistry and materials sciences. Simulation of the intrinsic Hamiltonian evolution of quantum systems was the first potential use of quantum computers suggested by Feynman [3] in 1982. Quantum simulation algorithms can model the evolution of a physical system with a complexity logarithmic in the dimension of the Hilbert space [4] (i.e.
    [Show full text]
  • Quantum Circuits Without Ancilla Qubits
    Optimization of S-boxes GOST R 34.12-2015 "Magma" quantum circuits without ancilla qubits Denisenko D.V., Nikitenkova M.V. 04.06.2019 Denisenko D.V., Nikitenkova M.V. TC 26, BMSTU 1 / 30 RusCrypto 2019 We have to implement cryptoalgorithms (AES, SHA et al.) in the form of quantum circuits for applying quantum algorithms (Grover, Simon) to a cryptoalgorithms. How to implement existing cryptographic algorithms in the form of quantum circuits? Denisenko D.V., Nikitenkova M.V. TC 26, BMSTU 2 / 30 Simplied-DES Simplied-DES two-round Feistel Network ESDES : V10 × V8 ! V8 with key K 2 V10. Quantum exhaustive key search with simplied-DES as a case study, [1] SDES implementation 60 qubits; Grover's key search with quantum simulator libquantum 61 qubits. Denisenko D.V., Nikitenkova M.V. Application of Grover's Quantum Algorithm for SDES Key Searching, [2] SDES implementation 18 qubits; Grover's key search with quantum simulator quipper 19 qubits. The work [2] showed that the minimum estimate of the number of qubits for nding the SDES key by Grover's quantum algorithm (18 + 1 = 19 qubits) is achievable; provides detailed examples of the application of the Grover algorithm, source code for implementations in Wolfram Mathematica and the quantum simulator quipper. Denisenko D.V., Nikitenkova M.V. TC 26, BMSTU 3 / 30 Quantum circuits for implementation of cryptographic transformations To apply quantum algorithms to cryptoalgorithms, such as ciphers, it is necessary to present the encryption function E : Vn × Vm ! Vm in the form of a quantum circuit. Denisenko D.V., Marshalko G.B., Nikitenkova M.V., Rudskoy V.I., Shishkin V.A.
    [Show full text]
  • Quantum Switching and Quantum Merge Sorting
    TCAS-I 1923 1 Quantum Switching and Quantum Merge Sorting Sheng-Tzong Cheng and Chun-Yen Wang A quantum wires A Abstract—This paper proposes a quantum switching architect- ure that can dynamically permute each input quantum data to its destination port to avoid using the fully connected networks. In B C B C addition, in order to reduce the execution time of the quantum Quantum quantum switching, an efficient quantum merge sorting algorithm (QMS) switching nodes that provides a parallel quantum computation is also developed. The quantum switching utilizes the QMS algorithm as a subroutine so that the total running time can be reduced to D E D E polylogarithmic time. Furthermore, to evaluate the feasibility of the quantum switching, we also define three different kinds of (a) fully connected (b) quantum switching performance factors that can be used to estimate the complexity in implementation and the time delay in execution for quantum Fig. 1. The quantum network architecture instruments. From the evaluation results, it can be seen that the proposed quantum switching is feasible in practice. [8], quantum cryptography [9][10], quantum repeater [11], and quantum networks [12] have been raised. These results have Index Terms—Quantum circuits, quantum computation, quan- driven the QIS field further into the real- world applications. tum permutation, quantum sort, quantum switching. Many views of the future of QIS indicate that the need for basic quantum wire components would become more essential due to the explosive growth of quantum devices. As shown in I. INTRODUCTION Fig. 1(a), in order to ensure any two quantum devices can uantum computation and quantum information science communicate quantum data with each other, it is necessary to Q(QIS) [1][2] that study the exploration of quantum employ a quantum wire between them.
    [Show full text]
  • Arxiv:2105.12767V1 [Quant-Ph] 26 May 2021 III
    Fault-Tolerant Quantum Simulations of Chemistry in First Quantization 1, 2, 3, 4, 5, 1, 1 1, Yuan Su, ∗ Dominic W. Berry, y Nathan Wiebe, z Nicholas Rubin, and Ryan Babbush x 1Google Research, Venice, CA 90291, United States 2Institute for Quantum Information and Matter, Caltech, Pasadena, CA 91125, United States 3Department of Physics and Astronomy, Macquarie University, Sydney, NSW 2109, Australia 4Department of Computer Science, University of Toronto, ON M5S 2E4, Canada 5Pacific Northwest National Laboratory, Richland, WA 99354, United States (Dated: May 28, 2021) Quantum simulations of chemistry in first quantization offer some important advantages over approaches in second quantization including faster convergence to the continuum limit and the op- portunity for practical simulations outside of the Born-Oppenheimer approximation. However, since all prior work on quantum simulation of chemistry in first quantization has been limited to asymp- totic analysis, it has been impossible to directly compare the resources required for these approaches to those required for the more commonly studied algorithms in second quantization. Here, we com- pile, optimize and analyze the finite resources required to implement two first quantized quantum algorithms for chemistry from Babbush et al. [1] that realize block encodings for the qubitization and interaction picture frameworks of Low et al. [2,3]. The two algorithms we study enable simulation with gate complexities of Oe(η8=3N 1=3t + η4=3N 2=3t) and Oe(η8=3N 1=3t) where η is the number of electrons, N is the number of plane wave basis functions, and t is the duration of time-evolution (t is linearly inverse to target precision when the goal is to estimate energies).
    [Show full text]
  • ICTS Programme on Quantum Information Processing 5 December 2007 to 4 January 2008
    Report on the ICTS Programme on Quantum Information Processing 5 December 2007 to 4 January 2008 Name of the programme: Quantum Information Processing Organisers: Jaikumar Radhakrishnan, School of Technology and Computer Science, TIFR, [email protected] Pranab Sen, School of Technology and Computer Science, TIFR, [email protected]. Duration: 5 December 2007 to 4 January 2008. Preamble: Quantum information processing is a thriving area of research that at- tempts to recast information processing in the quantum mechanical framework. Several remarkable recent works in this area have challenged our understand- ing of computation and shaken the foundations of well-established areas such as algorithms, complexity theory, and cryptography. Over the last decade, fol- lowing Peter Shor’s efficient quantum factoring algorithm (1994) and Grover’s quantum search algorithm (1996), several works have consolidated and gener- alised the insights obtained in these early works. In parallel, fundamental issues have been addressed in the area of quantum information theory, entanglement, quantum communication complexity, quantum cryptography etc. In 2002, TIFR organised a very successful successful event on a similar subject under the title Quantum Physics and Information Processing. Several developments have taken place in the area Quantum Information Pro- cessing in recent years. The purpose of the present program was to get the re- searchers in India, and TIFR in particular, acquainted with these developments. Structure of the program: The program was split between two locations: TIFR, Mum- bai, and India International Centre, New Delhi. We invited (to TIFR) experts who had made significant recent contributions, especially in areas where there is strong interest in TIFR, e.g.
    [Show full text]
  • Formal Meta-Level Analysis Framework for Quantum Programming Languages
    Available online at www.sciencedirect.com Electronic Notes in Theoretical Computer Science 338 (2018) 185–201 www.elsevier.com/locate/entcs Formal Meta-level Analysis Framework for Quantum Programming Languages Mohamed Yousri Mahmoud1 Amy P. Felty2 School of Electrical Engineering and Computer Science University of Ottawa, Ottawa, Canada Abstract The design and development of quantum programming languages (QPLs) is an important and active area of quantum computing. This paper addresses the problem of developing a standard methodology for verifying a QPL against major quantum computing concepts. We propose a framework dedicated to the meta-level analysis of QPLs, in particular, functional quantum languages. To this aim, we choose the Hybrid system as the tool in which to build our framework. Hybrid is a logical framework that supports higher-order abstract syntax, on top of which we develop an intuitionistic linear specification logic used for reasoning about QPLs. We provide a formal proof of some important meta-theoretic properties of this logic, and in addition, showcase a number of examples that can be tackled under the proposed framework. Keywords: Quantum Lambda Calculus, Linear Logic, Hybrid, Coq 1 Introduction Quantum computing has the potential to radically change the way computing is done. The existence of large-scale quantum machines would increase computa- tional power exponentially and provide unbreakable security systems [4]. Quantum programming languages (QPLs) are an integral element required for achieving suc- cessful quantum machines, as they introduce quantum concepts at a high-level, allowing better understanding of quantum aspects and increasing access to research in quantum domains. QPLs were initiated by Knill[ 11] who provided a number of conventions to express quantum algorithms (i.e., quantum pseudo-code).
    [Show full text]