Models of Quantum Computation and Quantum Programming Languages
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Quantum Computer: Quantum Model and Reality
Quantum Computer: Quantum Model and Reality Vasil Penchev, [email protected] Bulgarian Academy of Sciences: Institute of Philosophy and Sociology: Dept. of Logical Systems and Models Abstract. Any computer can create a model of reality. The hypothesis that quantum computer can generate such a model designated as quantum, which coincides with the modeled reality, is discussed. Its reasons are the theorems about the absence of “hidden variables” in quantum mechanics. The quantum modeling requires the axiom of choice. The following conclusions are deduced from the hypothesis. A quantum model unlike a classical model can coincide with reality. Reality can be interpreted as a quantum computer. The physical processes represent computations of the quantum computer. Quantum information is the real fundament of the world. The conception of quantum computer unifies physics and mathematics and thus the material and the ideal world. Quantum computer is a non-Turing machine in principle. Any quantum computing can be interpreted as an infinite classical computational process of a Turing machine. Quantum computer introduces the notion of “actually infinite computational process”. The discussed hypothesis is consistent with all quantum mechanics. The conclusions address a form of neo-Pythagoreanism: Unifying the mathematical and physical, quantum computer is situated in an intermediate domain of their mutual transformations. Key words: model, quantum computer, reality, Turing machine Eight questions: There are a few most essential questions about the philosophical interpretation of quantum computer. They refer to the fundamental problems in ontology and epistemology rather than philosophy of science or that of information and computation only. The contemporary development of quantum mechanics and the theory of quantum information generate them. -
Restricted Versions of the Two-Local Hamiltonian Problem
The Pennsylvania State University The Graduate School Eberly College of Science RESTRICTED VERSIONS OF THE TWO-LOCAL HAMILTONIAN PROBLEM A Dissertation in Physics by Sandeep Narayanaswami c 2013 Sandeep Narayanaswami Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy August 2013 The dissertation of Sandeep Narayanaswami was reviewed and approved* by the following: Sean Hallgren Associate Professor of Computer Science and Engineering Dissertation Adviser, Co-Chair of Committee Nitin Samarth Professor of Physics Head of the Department of Physics Co-Chair of Committee David S Weiss Professor of Physics Jason Morton Assistant Professor of Mathematics *Signatures are on file in the Graduate School. Abstract The Hamiltonian of a physical system is its energy operator and determines its dynamics. Un- derstanding the properties of the ground state is crucial to understanding the system. The Local Hamiltonian problem, being an extension of the classical Satisfiability problem, is thus a very well-motivated and natural problem, from both physics and computer science perspectives. In this dissertation, we seek to understand special cases of the Local Hamiltonian problem in terms of algorithms and computational complexity. iii Contents List of Tables vii List of Tables vii Acknowledgments ix 1 Introduction 1 2 Background 6 2.1 Classical Complexity . .6 2.2 Quantum Computation . .9 2.3 Generalizations of SAT . 11 2.3.1 The Ising model . 13 2.3.2 QMA-complete Local Hamiltonians . 13 2.3.3 Projection Hamiltonians, or Quantum k-SAT . 14 2.3.4 Commuting Local Hamiltonians . 14 2.3.5 Other special cases . 15 2.3.6 Approximation Algorithms and Heuristics . -
STRONGLY UNIVERSAL QUANTUM TURING MACHINES and INVARIANCE of KOLMOGOROV COMPLEXITY (AUGUST 11, 2007) 2 Such That the Aforementioned Halting Conditions Are Satisfied
STRONGLY UNIVERSAL QUANTUM TURING MACHINES AND INVARIANCE OF KOLMOGOROV COMPLEXITY (AUGUST 11, 2007) 1 Strongly Universal Quantum Turing Machines and Invariance of Kolmogorov Complexity Markus M¨uller Abstract—We show that there exists a universal quantum Tur- For a compact presentation of the results by Bernstein ing machine (UQTM) that can simulate every other QTM until and Vazirani, see the book by Gruska [4]. Additional rele- the other QTM has halted and then halt itself with probability one. vant literature includes Ozawa and Nishimura [5], who gave This extends work by Bernstein and Vazirani who have shown that there is a UQTM that can simulate every other QTM for necessary and sufficient conditions that a QTM’s transition an arbitrary, but preassigned number of time steps. function results in unitary time evolution. Benioff [6] has As a corollary to this result, we give a rigorous proof that worked out a slightly different definition which is based on quantum Kolmogorov complexity as defined by Berthiaume et a local Hamiltonian instead of a local transition amplitude. al. is invariant, i.e. depends on the choice of the UQTM only up to an additive constant. Our proof is based on a new mathematical framework for A. Quantum Turing Machines and their Halting Conditions QTMs, including a thorough analysis of their halting behaviour. Our discussion will rely on the definition by Bernstein and We introduce the notion of mutually orthogonal halting spaces and show that the information encoded in an input qubit string Vazirani. We describe their model in detail in Subsection II-B. -
On the Simulation of Quantum Turing Machines
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Theoretical Computer Science 304 (2003) 103–128 www.elsevier.com/locate/tcs On the simulation ofquantum turing machines Marco Carpentieri Universita di Salerno, 84081 Baronissi (SA), Italy Received 20 March 2002; received in revised form 11 December 2002; accepted 12 December 2002 Communicated by G. Ausiello Abstract In this article we shall review several basic deÿnitions and results regarding quantum compu- tation. In particular, after deÿning Quantum Turing Machines and networks the paper contains an exposition on continued fractions and on errors in quantum networks. The topic of simulation ofQuantum Turing Machines by means ofobvious computation is introduced. We give a full discussion ofthe simulation ofmultitape Quantum Turing Machines in a slight generalization of the class introduced by Bernstein and Vazirani. As main result we show that the Fisher-Pippenger technique can be used to give an O(tlogt) simulation ofa multi-tape Quantum Turing Machine by another belonging to the extended Bernstein and Vazirani class. This result, even ifregarding a slightly restricted class ofQuantum Turing Machines improves the simulation results currently known in the literature. c 2003 Published by Elsevier B.V. 1. Introduction Even ifthe present technology does consent realizing only very simple devices based on the principles ofquantum mechanics, many authors considered to be worth it ask- ing whether a theoretical model ofquantum computation could o:er any substantial beneÿts over the correspondent theoretical model based on the assumptions ofclas- sical physics. Recently, this question has received considerable attention because of the growing beliefthat quantum mechanical processes might be able to performcom- putation that traditional computing machines can only perform ine;ciently. -
Graphical and Programming Support for Simulations of Quantum Computations
AGH University of Science and Technology in Kraków Faculty of Computer Science, Electronics and Telecommunications Institute of Computer Science Master of Science Thesis Graphical and programming support for simulations of quantum computations Joanna Patrzyk Supervisor: dr inż. Katarzyna Rycerz Kraków 2014 OŚWIADCZENIE AUTORA PRACY Oświadczam, świadoma odpowiedzialności karnej za poświadczenie nieprawdy, że niniejszą pracę dyplomową wykonałam osobiście i samodzielnie, i nie korzystałam ze źródeł innych niż wymienione w pracy. ................................... PODPIS Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie Wydział Informatyki, Elektroniki i Telekomunikacji Katedra Informatyki Praca Magisterska Graficzne i programowe wsparcie dla symulacji obliczeń kwantowych Joanna Patrzyk Opiekun: dr inż. Katarzyna Rycerz Kraków 2014 Acknowledgements I would like to express my sincere gratitude to my supervisor, Dr Katarzyna Rycerz, for the continuous support of my M.Sc. study, for her patience, motivation, enthusiasm, and immense knowledge. Her guidance helped me a lot during my research and writing of this thesis. I would also like to thank Dr Marian Bubak, for his suggestions and valuable advices, and for provision of the materials used in this study. I would also thank Dr Włodzimierz Funika and Dr Maciej Malawski for their support and constructive remarks concerning the QuIDE simulator. My special thank goes to Bartłomiej Patrzyk for the encouragement, suggestions, ideas and a great support during this study. Abstract The field of Quantum Computing is recently rapidly developing. However before it transits from the theory into practical solutions, there is a need for simulating the quantum computations, in order to analyze them and investigate their possible applications. Today, there are many software tools which simulate quantum computers. -
A Quantum Computer Foundation for the Standard Model and Superstring Theories*
A Quantum Computer Foundation for the Standard Model and SuperString Theories* By Stephen Blaha** * Excerpted from the book Cosmos and Consciousness by Stephen Blaha (1stBooks Library, Bloomington, IN, 2000) available from amazon.com and bn.com. ** Associate of the Harvard University Physics Department. ABSTRACT 1. SuperString Theory can naturally be based on a Quantum Computer foundation. This provides a totally new view of SuperString Theory. 2. The Standard Model of elementary particles can be viewed as defining a Quantum Computer Grammar and language. 3. A Quantum Computer can be represented in part as a second-quantized Fermi field. 4. A Quantum Computer in a certain limit naturally forms a Superspace upon which Supersymmetry rotations can be defined – a Continuum Quantum Computer. 5. A representation of Quantum Computers exists that is similar to Turing Machines - a Quantum Turing Machine. As part of this development we define various types of Quantum Grammars. 6. High level Quantum Computer languages are described for the first time. New linguistic views of the most fundamental theories of Physics, the Standard Model and SuperString Theory are described. In these new linguistic representations particles become literally symbols or letters, and particle interactions become grammar rules. This view is NOT the same as the often-expressed view that Mathematics is the language of Physics. The linguistic representation is a specific new mathematical construct. We show how to create a SuperString Quantum Computer that naturally provides a framework for SuperStrings in general and heterotic SuperStrings in particular. There are also a number of new developments relating to Quantum Computers and Quantum Turing Machines that are of interest to Computer Science. -
Quantum Computing : a Gentle Introduction / Eleanor Rieffel and Wolfgang Polak
QUANTUM COMPUTING A Gentle Introduction Eleanor Rieffel and Wolfgang Polak The MIT Press Cambridge, Massachusetts London, England ©2011 Massachusetts Institute of Technology All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher. For information about special quantity discounts, please email [email protected] This book was set in Syntax and Times Roman by Westchester Book Group. Printed and bound in the United States of America. Library of Congress Cataloging-in-Publication Data Rieffel, Eleanor, 1965– Quantum computing : a gentle introduction / Eleanor Rieffel and Wolfgang Polak. p. cm.—(Scientific and engineering computation) Includes bibliographical references and index. ISBN 978-0-262-01506-6 (hardcover : alk. paper) 1. Quantum computers. 2. Quantum theory. I. Polak, Wolfgang, 1950– II. Title. QA76.889.R54 2011 004.1—dc22 2010022682 10987654321 Contents Preface xi 1 Introduction 1 I QUANTUM BUILDING BLOCKS 7 2 Single-Qubit Quantum Systems 9 2.1 The Quantum Mechanics of Photon Polarization 9 2.1.1 A Simple Experiment 10 2.1.2 A Quantum Explanation 11 2.2 Single Quantum Bits 13 2.3 Single-Qubit Measurement 16 2.4 A Quantum Key Distribution Protocol 18 2.5 The State Space of a Single-Qubit System 21 2.5.1 Relative Phases versus Global Phases 21 2.5.2 Geometric Views of the State Space of a Single Qubit 23 2.5.3 Comments on General Quantum State Spaces -
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. -
Download the 3Rd Edition of the Book of Abstracts
Book of Abstracts 3rd BSC International Doctoral Symposium Editors Nia Alexandrov María José García Miraz Graphic and Cover Design: Cristian Opi Muro Laura Bermúdez Guerrero This is an open access book registered at UPC Commons (http://upcommons.upc.edu) under a Creative Commons license to protect its contents and increase its visibility. This book is available at http://www.bsc.es/doctoral-symposium-2016 published by: Barcelona Supercomputing Center supported by: The “Severo Ochoa Centres of Excellence" programme 3rd Edition, September 2016 Introduction ACKNOWLEDGEMENTS The BSC Education & Training team gratefully acknowledges all the PhD candidates, Postdoc researchers, experts and especially the Keynote Speaker Francisco J. Doblas-Reyes and the tutorial lecturers Vassil Alexandrov and Javier Espinosa, for contributing to this Book of Abstracts and participating in the 3rd BSC International Doctoral Symposium 2016. We also wish to expressly thank the volunteers that supported the organisation of the event: Carles Riera and Felipe Nathan De Oliveira. BSC Education & Training team [email protected] 5 Introduction 6 Introduction CONTENTS EDITORIAL COMMENT ................................................................................................ 11 WELCOME ADDRESS .................................................................................................. 13 PROGRAM .................................................................................................................... 15 KEYNOTE SPEAKER ................................................................................................... -
One-Way Quantum Computer Simulation
One-Way Quantum Computer Simulation Eesa Nikahd, Mahboobeh Houshmand, Morteza Saheb Zamani, Mehdi Sedighi Quantum Design Automation Lab Department of Computer Engineering and Information Technology Amirkabir University of Technology Tehran, Iran {e.nikahd, houshmand, szamani, msedighi}@aut.ac.ir Abstract— In one-way quantum computation (1WQC) model, universal quantum computations are performed using measurements to designated qubits in a highly entangled state. The choices of bases for these measurements as well as the structure of the entanglements specify a quantum algorithm. As scalable and reliable quantum computers have not been implemented yet, quantum computation simulators are the only widely available tools to design and test quantum algorithms. However, simulating the quantum computations on a standard classical computer in most cases requires exponential memory and time. In this paper, a general direct simulator for 1WQC, called OWQS, is presented. Some techniques such as qubit elimination, pattern reordering and implicit simulation of actions are used to considerably reduce the time and memory needed for the simulations. Moreover, our simulator is adjusted to simulate the measurement patterns with a generalized flow without calculating the measurement probabilities which is called extended one-way quantum computation simulator (EOWQS). Experimental results validate the feasibility of the proposed simulators and that OWQS and EOWQS are faster as compared with the well-known quantum circuit simulators, i.e., QuIDDPro and libquantum for simulating 1WQC model1. Keywords-Quantum Computing, 1WQC, Simulation 1 INTRODUCTION Quantum information [2] is an interdisciplinary field which combines quantum physics, mathematics and computer science. Quantum computers have some advantages over the classical ones, e.g., they give dramatic speedups for tasks such as integer factorization [3] and database search [4]. -
Dissertação André Silva.Pdf
Andr´ePaulo Pires Miranda Ferreira da Silva Simulation of a Quantum Algorithm using Quantum Fourier Transforms Thesis submitted to the University of Coimbra for the degree of Master in Engineering Physics Supervisor: Prof. Dr. Maria Helena Vieira Alberto Coimbra, 2018 Esta c´opiada tese ´efornecida na condi¸c~aode que quem a consulta reconhece que os direitos de autor s~aoperten¸cado autor da tese e que nenhuma cita¸c~aoou informa¸c~ao obtida a partir dela pode ser publicada sem a refer^enciaapropriada. This copy of the thesis has been supplied on condition that anyone who consults it is understood to recognize that its copyright rests with its author and that no quotation from the thesis and no information derived from it may be published without proper acknowledgement. ii Acknowledgments O desenvolvimento desta tese foi uma aventura, no que toca a todas as ´areasnovas que tive que explorar. Sabendo que a minha forma¸c~aona ´areade computa¸c~ao qu^antica era b´asica,n~aobastou gostar do tema para suceder, foi preciso um grande esfor¸coque sozinho n~aoseria poss´ıvel. Merece uma men¸c~aoespecial, a Prof. Dra. Maria Helena Vieira Alberto. Mesmo sem ter obriga¸c~oes(nem ser a sua ´area),disponibilizou-se a ajudar-me, orientar- me e corrigir-me durante todo o esfor¸coque foi a conclus~aoda tese. Nos temas mais dif´ıceisnunca negou a disponibilidade para me ajudar. E teve sempre muita paci^enciapara me explicar os mais f´aceis.Por todo o esfor¸coe dedica¸c~ao,um muito obrigado. -
Jquantum Manual
A Quantum Computer Simulator Version 0.9beta — Documentation — Andreas de Vries FH Sudwestfalen¨ University of Applied Sciences, Haldener Straße 182, D-58095 Hagen, Germany e-mail: [email protected] Contents 1 About this Program 1 2 Short manual 1 2.1 Installation . 1 2.2 The structure of the work space window . 2 2.3 How to initialize a quantum register . 2 2.4 Design a circuit . 3 2.5 Run the algorithm . 3 3 Theoretical Background 4 3.1 Why quantum computers? . 4 3.2 What is quantum computation? . 5 3.3 Quantum logic . 5 3.4 Where can I get more information? . 5 1 About this Program The program jQuantum is a quantum computer simulator. It simulates the implementation of quantum circuits on a small quantum register up to about 15 qubits. Its main intention is to create images — images which may help to learn and understand quantum circuits, and which perhaps will serve as building blocks for inventing new quantum algorithms. 2 Short manual 2.1 Installation You need the Java Virtual Machine JRE 1.4.1 or higher to run jQuantum. If you do not have it, you can simply download it from http://java.sun.com. To start jQuantum, under most platforms you simply click 1 on the jar-file. If this does not work you can start the shell, change into the directory of jQuantum.jar and and type in: java -jar jQuantum.jar 2.2 The structure of the work space window After having started the program, you see the work space window (Fig.