arxiv:quant-ph/ v1 28 May 1998
|
|
- Christal Riley
- 5 years ago
- Views:
Transcription
1 Is There a Universal Quantum Computer? Yu Shi Cavendish Laboratory, Madingley Road, Cambridge CB3 0HE, UK (submitted on 25 May 1998) arxiv:quant-ph/ v1 28 May 1998 Abstract There is a fatal mistake in the original proof of the existence of a universal quantum computer. Constrained by the linearity and unitarity of the evolution of quantum states, the existence of an accurate, universal and fully quantum model of computation is quite unlikely. PACS numbers: c, w Typeset using REVTEX 1
2 Quantum computers are under intensive investigations. There are several different kinds of models of quantum computation. But only Deutsch s universal quantum computer [1], herein referred to as universal quantum Turing machine [2], is an accurate, complete, and fully quantum generalization of the universal Turing machine [3]. A universal (classical) Turing machine can simulate any Turing machine, or say, compute any recursive function, by encoding a program for this function as a part of the input. Likewise, after introducing the quantum Turing machine, Deutsch proved the existence of a universal quantum Turing machine by proving the existence of a program that effects a unitary transformation which is arbitrarily close to any desired unitary transformation. But, as shown in this letter, this proof is not correct. Constrained by the linearity and unitarity of the evolution of quantum states, an accurate universal quantum Turing machine is quite unlikely to exist. As a generalization of the classical Turing machine, a quantum Turing machine consists of a finite processor consisting of N qubits ˆn = {n i } (i = 0,, N 1), and an infinite memory tape consisting of an infinite sequence of qubits ˆm = {m i } (i =, 1, 0, 1, ), of which only a finite portion is ever used. An additional observable ˆx specifies the currently scanned qubit on the tape, or say the address of the head of the processor. Thus the state of a quantum Turing machine is a unit vector in the Hilbert space H spanned by the basis states x; n; m > x > n > m > x > n 0, n 1,, n N 1 >, m 1, m 0, m 1, >, (1) which are simultaneous eigenvectors of ˆx, ˆn and ˆm, with the corresponding eigenvalues x, n and m, respectively. The dynamics is summarized by a constant unitary operator U whose only nonzero matrix elements are < x ± 1; n ; m x, m y x U x; n; m x, m y x >. Different U defines a different quantum Turing machine. The input is encoded in the initial state Ψ(0) > = m λ m 0; 0; m >, (2) where both the number of nonzero λm and the number of nonzero m i for each m with nonzero λm are finite. After s steps of computation, the state is Ψ(sT) > = U s Ψ(0) >, (3) where T is the time duration of one step. Deutsch then proceeded to prove the existence of a universal quantum Turing machine, based on the observation that any one-bit unitary transformation can be composed in terms of a number of U(2) rotations V l of an irrational multiple of π, each of which corresponds to basis element representing programs φ(v l, a), which performs V l upon the ath qubit, namely j, φ(v l, 1) > 1 < k V l j > j, φ(v l, 1) >. (4) k=0 The same notation is used for the program as for its image, i.e. the state of some tape qubits allocated for the program. Composition of V l may be effected by concatenation of φ(v l, a). The concatenation of two programs is a program whose effect is that of one followed by 2
3 the other, and is valid when the two are valid. Thus there exist programs that effect upon the state of any one bit a unitary transformation arbitrarily close to any desired one. After execution of the program, the state of the tape is that in which the image of the program followed by the output state of the data, the state of the processor also returns to the initial one. Then a proof was sketched for the existence of a program that effects a unitary transformation on any finite number L qubits, arbitrarily close to any desired unitary transformation. The case L = 1 is trivially right. The proof for an arbitrary L consists of the following steps. (i) There is a program to generate 2 L dimensional unitary transformations diagonal in the computation basis, arbitrarily close to any desired one diagonal in that basis. (ii) It is shown that for each L-bit state ψ 1 L > there exists a program ρ which accurately evolves ψ 1 L > to the basis state 0 1 L > in which all L qubits are zero. (iii) Therefore, an arbitrary 2 L dimensional transformation is accurately effected by successively transforming the state into 0 1 L > by executing the program ρ, then performing a diagonal unitary transformation which multiplies 0 1 L > by a phase factor, and then executing the inverse of ρ. Step (ii) went as follows. Write ψ 1 L > = c > ψ 0 2 L > + c > ψ 1 2 L >, (5) where ψ2 L 0 > and ψ1 2 L > are states of the L 1 qubits numbered 2 to L, given the state of qubit no. 1 being 0 or 1, respectively. In this letter, we use 0 i > and 1 i > to denote the one-bit states of the qubit no. i, while 0 i j > = 0 i > 0 i+1 > 0 j >. By inductive hypothesis there exist programs ρ 0 and ρ 1 which accurately evolve ψ2 L 0 > and ψ2 L 1 >, respectively, into (L 1)-fold product 0 2 L >. Therefore there exists a program ρ with the following effect: If qubit no. 1 is 0, execute ρ 0, otherwise execute ρ 1. Thus (5) is converted to ψ 1 L > = (c > + c >) 0 2 L >, (6) which can be evolved accurately to 0 1 L > by a one-bit transformation of the qubit no. 1. A serious problem is: Do ρ 0 and ρ 1, the two different effects of a single ρ in two different branches, take the same time? This problem was not considered by Deutsch. If the answer is no, Eq. (6) cannot be evolved into. In the following, it is shown that the answer is indeed no : There is not a unitary transformation which can execute ρ 0 and ρ 1 simultaneously for a general superposed state ψ 1 L >. To execute the program ρ, the initial state of the whole universal quantum Turing machine is prepared as Ψ(0) > = 0; 0; ψ 1 L, ρ > = 0; 0 > (c 0 0 1, ψ2 L 0, ρ > +c 1 1 1, ψ2 L 1, ρ >) (7) where we have omitted the zeroes for m i with i outside the qubits for program ρ and input data ψ 1 L. Suppose that the L-bit state is evolved from (5) to (6). After, Say, s 1 steps, there is U s 1 Ψ(0) > = 0; 0) > (c > +c >) 0 2 L > ρ >. (8) Then after, say, s 2 steps, it is evolved to 3
4 U s 2 U s 1 Ψ(0) > = 0; 0 > 0 1 > 0 2 L > ρ >. (9) This finishes the execution of ρ, which is the concatenation of the program that effects the evolution from (7) to (8) and that effects the evolution from (8) to 9). From (7) to (8), there is no transformation on the no. 1 qubit, therefore U s 1 is a direct product of an identical transformation I 1 on no. 1 qubit and a unitary transformation W on the others, namely, U s 1 = I 1 W. (10) Thus the effect of the anticipated program is { W 0; 0 > ψ 0 2 L, ρ > = 0;, 0 > 0 2 L > ρ > W 0; 0 > ψ 1 2 L, ρ > = 0; 0) > 0 2 L > ρ >, (11) meaning that a same operator evolves two states to a same state. Such a process is not reversible, let alone unitary, unless the two states are the same. Since the the argument runs for an arbitrary L, this means that the L-bit state must be a product state, and thus the computation simply transforms one product state of the L bits to another product state; the machine is thus effectively no more than an effectively classical machine. Therefore Deutsch s proof for the existence of a universal quantum computer is not valid. The argument only applies to an effectively classical machine. Explicitly, Deutsch s scheme, which is based on the one-bit operations as the elementary operations, outlines a program effecting on ψ 1 L > as the following: First, in at most 2 L 1 different branches, in each of which the qubits no. 1 to L 1 is 0 or 1, 2 L 1 different programs as different effects of a single program are executed respectively, so that the 2 L 1 states of qubit no. L are transformed, respectively, to 0, while qubits no. 1 to L 1 do not change. Then, in a similar manner, the qubit no. L 1 is transformed to 0 in all branches, and so on, until ψ 1 L > evolves to 0 1 L >. In every stage, in which one qubit is effected on, the evolution is not unitary. Next a question arises whether there are other schemes free of such a problem. Suppose, for example, we may include several two-bit operations also as the elementary operations in addition to the one-bit operation. It is straightforward that there exists programs for these elementary operations. A program evolving an arbitrary ψ 1 L > is expected to be concatenated by the programs for elementary operations. Surely an arbitrary unitary transformation can be decomposed as the product of the elementary two-bit and one-bit transformations, but the computation task is partly transferred to the determination of the way of decomposition. For a specific quantum computer, this can be supposed to be done by another computer. But what we study here is expected to be a complete model of computation, so such an idea does not make any progress. Actually, since the universal quantum Turing machine is supposed to make computation on ψ 1 L > with an arbitrary L, the machine with any finite dimensional elementary operations can be mapped to that with only one dimensional elementary operations. Another point is that the program is not dependent on the the data ψ 1 L >. So it must be made up of general commands, as in Deutsch s scheme. The violation of unitarity in Deutsch s scheme appears to be an indication that there is an intrinsic conflict between what is required for a program and the unitarity and linearity of the evolution of quantum states. 4
5 Ruled by the linearity and also necessary for utilizing quantum parallelism, the single program effects differently in different branches. Thus a general program must consists of controlling structures so that different operations are made in different branches. However, the linearity means that the evolution in different branches are independent, there is no communication among them. Therefore it appears to be an intrinsic difficulty to reorganize them again so as to complete a desired computation. In Deutsch s scheme, different states are requested to evolve to a same state under a single transformation, thus violating unitarity. More generally, it is sufficiently difficult even just require different states, which superpose the initial state of ψ 1 L >, to simultaneously reach the different states superposing the desired states of the L qubits. To complete a desired computation, such a synchronization is necessary, but appears to be conflicted with the linearity. Earlier, Myers pointed out a difficulty in halt [4]: Generally there can be an entanglement between the halt qubit and others, since the universal quantum Turing machine should be able to operate on superpositions of basis states, the computations from which may halt at different times. It can be seen that this problem is a consequence of the conflict between synchronization and linearity [5]. The linearity and unitarity cooperate in imposing constraints: If Deutsch s scheme on the program ρ were valid, the different paths would arrive at the final state simultaneously, and thus there would be no entanglement with the halt qubit. Thus by violating unitarity, the difficulty imposed by linearity could be overcome. Therefore, the linearity and unitarity makes the existence of an accurate universal quantum Turing machine quite unlikely. For a universal computer beyond a classical one, it seems that we can only have an approximate universal quantum Turing machine, and possibly an accurate universal computing model which is in some sense semi-classical. It is invaluably important for a computer to be of general purposes, rather than for specific purposes, as mirrored by the computers of today. In this aspect, the problem pointed out here is disastrous. Of course, models with restrictions or approximations are still of significant interests. The author sincerely thanks S. Popescu, N. Linden and R. Jozsa for helpful discussions on related issues, and S. Braunstein for communications. 5
6 REFERENCES Electronic address: [1] D. Deutsch, Proc. R. Soc. London A 400, 97 (1985) [2] Since Ref. [1] is a pioneering work on quantum computation, the quantum computer there means quantum Turing machine, thus the universal quantum computer may be termed as universal quantum Turing machine. [3] Fully quantum may be understood as that there are no restrictions on the state for the data upon which the computation is done, and that the machine is not equivalent to a classical one. [4] J.M. Myers, Phys. Rev. Lett. 78, 1823 (1997). [5] In M. Ozawa, Phys. Rev. Lett. 80, 631 (1998), it was claimed that the halt difficulty is apparent. In the halt scheme formulated there, after the halt qubit becomes 1, the state of the whole machine goes on to evolve with the tape state and halt qubit remains unchanged. As noted by some people, this implies that U, with the same meaning in our letter, would be non-unitary unless the halt qubit never becomes 1. But please note that this does not represent an additional problem with Deutsch s halt scheme itself, because an immediate measurement can be made whenever the halt qubit becomes 1 if there were no entanglement with others; the tape state must change if no measurement is made. 6
Lecture 1: Introduction to Quantum Computing
Lecture : Introduction to Quantum Computing Rajat Mittal IIT Kanpur What is quantum computing? This course is about the theory of quantum computation, i.e., to do computation using quantum systems. These
More informationarxiv:quant-ph/ v5 6 Apr 2005
Nonunitary quantum circuit Hiroaki Terashima 1, and Masahito Ueda 1, arxiv:quant-ph/3461v5 6 Apr 5 1 Department of Physics, Tokyo Institute of Technology, Tokyo 15-8551, Japan CREST, Japan Science and
More informationROM-BASED COMPUTATION: QUANTUM VERSUS CLASSICAL
arxiv:quant-ph/0109016v2 2 Jul 2002 ROM-BASED COMPUTATION: QUANTUM VERSUS CLASSICAL B. C. Travaglione, M. A. Nielsen Centre for Quantum Computer Technology, University of Queensland St Lucia, Queensland,
More informationThe Framework of Quantum Mechanics
The Framework of Quantum Mechanics We now use the mathematical formalism covered in the last lecture to describe the theory of quantum mechanics. In the first section we outline four axioms that lie at
More informationPhysics 221A Fall 1996 Notes 14 Coupling of Angular Momenta
Physics 1A Fall 1996 Notes 14 Coupling of Angular Momenta In these notes we will discuss the problem of the coupling or addition of angular momenta. It is assumed that you have all had experience with
More informationLecture 1: Introduction to Quantum Computing
Lecture 1: Introduction to Quantum Computing Rajat Mittal IIT Kanpur Whenever the word Quantum Computing is uttered in public, there are many reactions. The first one is of surprise, mostly pleasant, and
More informationDiscrete Quantum Theories
Discrete Quantum Theories Andrew J. Hanson 1 Gerardo Ortiz 2 Amr Sabry 1 Yu-Tsung Tai 3 (1) School of Informatics and Computing (2) Department of Physics (3) Mathematics Department Indiana University July
More informationarxiv:quant-ph/ v5 10 Feb 2003
Quantum entanglement of identical particles Yu Shi Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Wilberforce Road, Cambridge CB3 0WA, United Kingdom and Theory of
More informationCOMPARATIVE ANALYSIS ON TURING MACHINE AND QUANTUM TURING MACHINE
Volume 3, No. 5, May 2012 Journal of Global Research in Computer Science REVIEW ARTICLE Available Online at www.jgrcs.info COMPARATIVE ANALYSIS ON TURING MACHINE AND QUANTUM TURING MACHINE Tirtharaj Dash
More informationarxiv:quant-ph/ v2 23 Aug 2003
An Architecture of Deterministic Quantum Central Processing Unit arxiv:quant-ph/0207032v2 23 Aug 2003 Fei Xue a, Zeng-Bing Chen a Mingjun Shi a Xianyi Zhou a Jiangfeng Du a Rongdian Han a a Department
More informationMP 472 Quantum Information and Computation
MP 472 Quantum Information and Computation http://www.thphys.may.ie/staff/jvala/mp472.htm Outline Open quantum systems The density operator ensemble of quantum states general properties the reduced density
More informationarxiv: v2 [quant-ph] 5 Dec 2013
Decomposition of quantum gates Chi Kwong Li and Diane Christine Pelejo Department of Mathematics, College of William and Mary, Williamsburg, VA 23187, USA E-mail: ckli@math.wm.edu, dcpelejo@gmail.com Abstract
More informationarxiv:quant-ph/ v1 29 Mar 2003
Finite-Dimensional PT -Symmetric Hamiltonians arxiv:quant-ph/0303174v1 29 Mar 2003 Carl M. Bender, Peter N. Meisinger, and Qinghai Wang Department of Physics, Washington University, St. Louis, MO 63130,
More informationThe Principles of Quantum Mechanics: Pt. 1
The Principles of Quantum Mechanics: Pt. 1 PHYS 476Q - Southern Illinois University February 15, 2018 PHYS 476Q - Southern Illinois University The Principles of Quantum Mechanics: Pt. 1 February 15, 2018
More informationThe query register and working memory together form the accessible memory, denoted H A. Thus the state of the algorithm is described by a vector
1 Query model In the quantum query model we wish to compute some function f and we access the input through queries. The complexity of f is the number of queries needed to compute f on a worst-case input
More informationUniversal quantum computers
146 CHAPTER III. QUANTUM COMPUTATION E Universal quantum computers 1. Power: A natural question is: What is the power of a quantum computer? Is it super-turing or sub-turing? 2. E ciency: Another question
More informationFourier Sampling & Simon s Algorithm
Chapter 4 Fourier Sampling & Simon s Algorithm 4.1 Reversible Computation A quantum circuit acting on n qubits is described by an n n unitary operator U. Since U is unitary, UU = U U = I. This implies
More informationLecture 3: Constructing a Quantum Model
CS 880: Quantum Information Processing 9/9/010 Lecture 3: Constructing a Quantum Model Instructor: Dieter van Melkebeek Scribe: Brian Nixon This lecture focuses on quantum computation by contrasting it
More informationTheory of Computation
Thomas Zeugmann Hokkaido University Laboratory for Algorithmics http://www-alg.ist.hokudai.ac.jp/ thomas/toc/ Lecture 12: Turing Machines Turing Machines I After having dealt with partial recursive functions,
More informationHypothesis elimination on a quantum computer
Hypothesis elimination on a quantum computer arxiv:quant-ph/042025v 3 Dec 2004 Andrei N. Soklakov and Rüdiger Schack Department of athematics, Royal Holloway, University of London Egham, Surrey, TW20 0EX,
More information1 Mathematical preliminaries
1 Mathematical preliminaries The mathematical language of quantum mechanics is that of vector spaces and linear algebra. In this preliminary section, we will collect the various definitions and mathematical
More informationIs Entanglement Sufficient to Enable Quantum Speedup?
arxiv:107.536v3 [quant-ph] 14 Sep 01 Is Entanglement Sufficient to Enable Quantum Speedup? 1 Introduction The mere fact that a quantum computer realises an entangled state is ususally concluded to be insufficient
More informationPrimality Test Via Quantum Factorization. Abstract
IASSNS-HEP-95/69; quant-ph:9508005 Primality Test Via Quantum Factorization H. F. Chau and H.-K. Lo School of Natural Sciences, Institute for Advanced Study, Olden Lane, Princeton, NJ 08540 (December 2,
More informationIndeterminate-length quantum coding
Indeterminate-length quantum coding arxiv:quant-ph/0011014v1 2 Nov 2000 Benjamin Schumacher (1) and Michael D. Westmoreland (2) February 1, 2008 (1) Department of Physics, Kenyon College, Gambier, OH 43022
More informationAn Introduction to Quantum Information. By Aditya Jain. Under the Guidance of Dr. Guruprasad Kar PAMU, ISI Kolkata
An Introduction to Quantum Information By Aditya Jain Under the Guidance of Dr. Guruprasad Kar PAMU, ISI Kolkata 1. Introduction Quantum information is physical information that is held in the state of
More informationConfusion of Memory. Lawrence S. Moss. Department of Mathematics Indiana University Bloomington, IN USA February 14, 2008
Confusion of Memory Lawrence S. Moss Department of Mathematics Indiana University Bloomington, IN 47405 USA February 14, 2008 Abstract It is a truism that for a machine to have a useful access to memory
More informationUniversality in Quantum Computation
Universality in Quantum Computation arxiv:quant-ph/9505018v1 24 May 1995 David Deutsch, Adriano Barenco, and Artur Ekert Clarendon Laboratory, Department of Physics University of Oxford, Oxford, OX1 3PU,
More informationarxiv:quant-ph/ v1 12 Nov 1999
Construction of quantum states with bound entanglement arxiv:quant-ph/9911056v1 12 Nov 1999 Dagmar Bruß 1 and Asher Peres 2 1 Institut für Theoretische Physik, Universität Hannover, D-30167 Hannover, Germany
More informationAn Introduction to Quantum Computation and Quantum Information
An to and Graduate Group in Applied Math University of California, Davis March 13, 009 A bit of history Benioff 198 : First paper published mentioning quantum computing Feynman 198 : Use a quantum computer
More informationUniversal quantum computers
F. UNIVERSAL QUANTUM COMPUTERS 169 F Universal quantum computers Hitherto we have used a practical definition of universality: since conventional digital computers are implemented in terms of binary digital
More informationCpSc 421 Homework 9 Solution
CpSc 421 Homework 9 Solution Attempt any three of the six problems below. The homework is graded on a scale of 100 points, even though you can attempt fewer or more points than that. Your recorded grade
More informationPUBLISHED VERSION American Physical Society
PUBLISHED VERSION Lagana, Antonio Alberto; Lohe, Max Adolph; von Smekal, Lorenz Johann Maria Construction of a universal quantum computer Physical Review A, 2009; 79(5):2322 2009 American Physical Society
More informationAsymptotic behavior and halting probability of Turing Machines
Asymptotic behavior and halting probability of Turing Machines arxiv:math/052390v5 [math.ho] 5 Oct 2006 Germano D Abramo Istituto Nazionale di Astrofisica, Via Fosso del Cavaliere n. 00, 0033 Roma, Italy.
More informationHalting and Equivalence of Program Schemes in Models of Arbitrary Theories
Halting and Equivalence of Program Schemes in Models of Arbitrary Theories Dexter Kozen Cornell University, Ithaca, New York 14853-7501, USA, kozen@cs.cornell.edu, http://www.cs.cornell.edu/~kozen In Honor
More informationarxiv:quant-ph/ v1 22 Aug 2005
Conditions for separability in generalized Laplacian matrices and nonnegative matrices as density matrices arxiv:quant-ph/58163v1 22 Aug 25 Abstract Chai Wah Wu IBM Research Division, Thomas J. Watson
More informationarxiv:quant-ph/ v1 24 Aug 2006
Operational approach to the Uhlmann holonomy Johan Åberg 1, David Kult, Erik Söqvist, and D. K. L. Oi 1 1 Centre for Quantum Computation, Department of Applied Mathematics and Theoretical Physics, University
More informationAN INTRODUCTION TO COMPUTABILITY THEORY
AN INTRODUCTION TO COMPUTABILITY THEORY CINDY CHUNG Abstract. This paper will give an introduction to the fundamentals of computability theory. Based on Robert Soare s textbook, The Art of Turing Computability:
More informationTopological Qubit Design and Leakage
Topological Qubit Design and National University of Ireland, Maynooth September 8, 2011 Topological Qubit Design and T.Q.C. Braid Group Overview Designing topological qubits, the braid group, leakage errors.
More informationEqual Superposition Transformations and Quantum Random Walks
Equal Superposition Transformations and Quantum Random Walks arxiv:0709.3406v1 [quant-ph] 1 Sep 007 Preeti Parashar Physics and Applied Mathematics Unit Indian Statistical Institute 03 B T Road, Kolkata
More informationLecture 6: Lies, Inner Product Spaces, and Symmetric Matrices
Math 108B Professor: Padraic Bartlett Lecture 6: Lies, Inner Product Spaces, and Symmetric Matrices Week 6 UCSB 2014 1 Lies Fun fact: I have deceived 1 you somewhat with these last few lectures! Let me
More informationarxiv:quant-ph/ v2 24 Dec 2003
Quantum Entanglement in Heisenberg Antiferromagnets V. Subrahmanyam Department of Physics, Indian Institute of Technology, Kanpur, India. arxiv:quant-ph/0309004 v2 24 Dec 2003 Entanglement sharing among
More informationAPPLYING QUANTUM COMPUTER FOR THE REALIZATION OF SPSA ALGORITHM Oleg Granichin, Alexey Wladimirovich
APPLYING QUANTUM COMPUTER FOR THE REALIZATION OF SPSA ALGORITHM Oleg Granichin, Alexey Wladimirovich Department of Mathematics and Mechanics St. Petersburg State University Abstract The estimates of the
More informationUNIVERSAL HYBRID QUANTUM PROCESSORS
XJ0300183 Письма в ЭЧАЯ. 2003. 1[116] Particles and Nuclei, Letters. 2003. No. 1[116] UNIVERSAL HYBRID QUANTUM PROCESSORS A. Yu. Vlasov 1 FRC7IRH, St. Petersburg, Russia A quantum processor (the programmable
More informationarxiv:quant-ph/ v2 17 Jun 1996
Separability Criterion for Density Matrices arxiv:quant-ph/9604005v2 17 Jun 1996 Asher Peres Department of Physics, Technion Israel Institute of Technology, 32000 Haifa, Israel Abstract A quantum system
More information1 Readings. 2 Unitary Operators. C/CS/Phys C191 Unitaries and Quantum Gates 9/22/09 Fall 2009 Lecture 8
C/CS/Phys C191 Unitaries and Quantum Gates 9//09 Fall 009 Lecture 8 1 Readings Benenti, Casati, and Strini: Classical circuits and computation Ch.1.,.6 Quantum Gates Ch. 3.-3.4 Kaye et al: Ch. 1.1-1.5,
More informationarxiv:quant-ph/ v2 23 Mar 2001
A PHYSICAL EXPLANATION FOR THE TILDE SYSTEM IN THERMO FIELD DYNAMICS DONG MI, HE-SHAN SONG Department of Physics, Dalian University of Technology, Dalian 116024, P.R.China arxiv:quant-ph/0102127v2 23 Mar
More informationCompression and entanglement, entanglement transformations
PHYSICS 491: Symmetry and Quantum Information April 27, 2017 Compression and entanglement, entanglement transformations Lecture 8 Michael Walter, Stanford University These lecture notes are not proof-read
More informationTuring machine recap. Universal Turing Machines and Undecidability. Alphabet size doesn t matter. Robustness of TM
Turing machine recap A Turing machine TM is a tuple M = (Γ, Q, δ) where Γ: set of symbols that TM s tapes can contain. Q: possible states TM can be in. qstart: the TM starts in this state qhalt: the TM
More informationIntroduction to Quantum Computation
Chapter 1 Introduction to Quantum Computation 1.1 Motivations The main task in this course is to discuss application of quantum mechanics to information processing (or computation). Why? Education:Asingleq-bitisthesmallestpossiblequantummechanical
More informationTuring Machines and the Church-Turing Thesis
CSE2001, Fall 2006 1 Turing Machines and the Church-Turing Thesis Today our goal is to show that Turing Machines are powerful enough to model digital computers, and to see discuss some evidence for the
More informationThe P versus NP Problem in Quantum Physics
NeuroQuantology December 04 Volume Issue 4 Page 350-354 350 The P versus NP Problem in Quantum Physics Daegene Song ABSTRACT Motivated by the fact that information is encoded and processed by physical
More informationarxiv:quant-ph/ v1 13 Jan 2003
Deterministic Secure Direct Communication Using Ping-pong protocol without public channel Qing-yu Cai Laboratory of Magentic Resonance and Atom and Molecular Physics, Wuhan Institute of Mathematics, The
More informationLogical error rate in the Pauli twirling approximation
Logical error rate in the Pauli twirling approximation Amara Katabarwa and Michael R. Geller Department of Physics and Astronomy, University of Georgia, Athens, Georgia 30602, USA (Dated: April 10, 2015)
More informationInternational Journal of Scientific & Engineering Research, Volume 6, Issue 7, July ISSN
International Journal of Scientific & Engineering Research, Volume 6, Issue 7, July-2015 1350 Measure of entanglement by Singular Value decomposition Nikolay Raychev Abstract his report describes an approach
More informationarxiv:quant-ph/ v1 6 Dec 1999
A Quantum Logic Gate Representation of Quantum Measurement: Reversing and Unifying the Two Steps of von Neumann s Model Giuseppe Castagnoli arxiv:quant-ph/9912020v1 6 Dec 1999 Elsag spa, Via Puccini 2,
More informationb) (5 points) Give a simple quantum circuit that transforms the state
C/CS/Phy191 Midterm Quiz Solutions October 0, 009 1 (5 points) Short answer questions: a) (5 points) Let f be a function from n bits to 1 bit You have a quantum circuit U f for computing f If you wish
More informationMore advanced codes 0 1 ( , 1 1 (
p. 1/24 More advanced codes The Shor code was the first general-purpose quantum error-correcting code, but since then many others have been discovered. An important example, discovered independently of
More informationLecture 2: From Classical to Quantum Model of Computation
CS 880: Quantum Information Processing 9/7/10 Lecture : From Classical to Quantum Model of Computation Instructor: Dieter van Melkebeek Scribe: Tyson Williams Last class we introduced two models for deterministic
More informationA scheme for protecting one-qubit information against erasure. error. Abstract
A scheme for protecting one-qubit information against erasure error Chui-Ping Yang 1, Shih-I Chu 1, and Siyuan Han 1 Department of Chemistry, University of Kansas, and Kansas Center for Advanced Scientific
More informationOptimal Realizations of Controlled Unitary Gates
Optimal Realizations of Controlled nitary Gates Guang Song and Andreas Klappenecker Department of Computer Science Texas A&M niversity College Station, TX 77843-3112 {gsong,klappi}@cs.tamu.edu Abstract
More informationChecking Consistency. Chapter Introduction Support of a Consistent Family
Chapter 11 Checking Consistency 11.1 Introduction The conditions which define a consistent family of histories were stated in Ch. 10. The sample space must consist of a collection of mutually orthogonal
More informationPh 219/CS 219. Exercises Due: Friday 20 October 2006
1 Ph 219/CS 219 Exercises Due: Friday 20 October 2006 1.1 How far apart are two quantum states? Consider two quantum states described by density operators ρ and ρ in an N-dimensional Hilbert space, and
More informationNon-emptiness Testing for TMs
180 5. Reducibility The proof of unsolvability of the halting problem is an example of a reduction: a way of converting problem A to problem B in such a way that a solution to problem B can be used to
More informationHalting and Equivalence of Schemes over Recursive Theories
Halting and Equivalence of Schemes over Recursive Theories Dexter Kozen Computer Science Department, Cornell University, Ithaca, New York 14853-7501, USA Abstract Let Σ be a fixed first-order signature.
More informationTHE COMMUNICATIONS COMPLEXITY HIERARCHY IN DISTRIBUTED COMPUTING. J. B. Sidney + and J. Urrutia*
THE COMMUNICATIONS COMPLEXITY HIERARCHY IN DISTRIBUTED COMPUTING J. B. Sidney + and J. Urrutia* 1. INTRODUCTION Since the pioneering research of Cook [1] and Karp [3] in computational complexity, an enormous
More informationTransformation of quantum states using uniformly controlled rotations
Transformation of quantum states using uniformly controlled rotations Mikko Möttönen, Juha J. Vartiainen, Ville Bergholm, and Martti M. Salomaa Materials Physics Laboratory, P.O. Box 2200, FIN-02015 Helsinki
More informationPh 219b/CS 219b. Exercises Due: Wednesday 20 November 2013
1 h 219b/CS 219b Exercises Due: Wednesday 20 November 2013 3.1 Universal quantum gates I In this exercise and the two that follow, we will establish that several simple sets of gates are universal for
More informationarxiv:quant-ph/ v1 19 Mar 2006
On the simulation of quantum circuits Richard Jozsa Department of Computer Science, University of Bristol, Merchant Venturers Building, Bristol BS8 1UB U.K. Abstract arxiv:quant-ph/0603163v1 19 Mar 2006
More informationCSC 5170: Theory of Computational Complexity Lecture 4 The Chinese University of Hong Kong 1 February 2010
CSC 5170: Theory of Computational Complexity Lecture 4 The Chinese University of Hong Kong 1 February 2010 Computational complexity studies the amount of resources necessary to perform given computations.
More informationA completely entangled subspace of maximal dimension
isibang/ms/2006/6 March 28th, 2006 http://www.isibang.ac.in/ statmath/eprints A completely entangled subspace of maximal dimension B. V. Rajarama Bhat Indian Statistical Institute, Bangalore Centre 8th
More informationAlgorithm for Quantum Simulation
Applied Mathematics & Information Sciences 3(2) (2009), 117 122 An International Journal c 2009 Dixie W Publishing Corporation, U. S. A. Algorithm for Quantum Simulation Barry C. Sanders Institute for
More informationarxiv:cs/ v2 [cs.cc] 13 Nov 2004
A Note on Bulk Quantum Turing Machine arxiv:cs/0411037v2 [cs.cc] 13 Nov 2004 MATSUI Tetsushi tetsushi@tnt.math.metro-u.ac.jp Abstract Recently, among experiments for realization of quantum computers, NMR
More informationImitating quantum mechanics: Qubit-based model for simulation
Imitating quantum mechanics: Qubit-based model for simulation Steven Peil nited States Naval Observatory, Washington, DC 2392, SA Received 26 November 27; revised manuscript received 6 January 29; published
More informationarxiv: v4 [quant-ph] 8 Mar 2013
Decomposition of unitary matrices and quantum gates Chi-Kwong Li, Rebecca Roberts Department of Mathematics, College of William and Mary, Williamsburg, VA 2387, USA. (E-mail: ckli@math.wm.edu, rlroberts@email.wm.edu)
More informationCompute the Fourier transform on the first register to get x {0,1} n x 0.
CS 94 Recursive Fourier Sampling, Simon s Algorithm /5/009 Spring 009 Lecture 3 1 Review Recall that we can write any classical circuit x f(x) as a reversible circuit R f. We can view R f as a unitary
More informationarxiv:quant-ph/ v1 16 Nov 1995
Quantum Networks for Elementary Arithmetic Operations Vlatko Vedral, Adriano Barenco and Artur Ekert Clarendon Laboratory, Department of Physics University of Oxford, Oxford, OX1 3PU, U.K. (Submitted to
More informationQUANTUM INFORMATION -THE NO-HIDING THEOREM p.1/36
QUANTUM INFORMATION - THE NO-HIDING THEOREM Arun K Pati akpati@iopb.res.in Instititute of Physics, Bhubaneswar-751005, Orissa, INDIA and Th. P. D, BARC, Mumbai-400085, India QUANTUM INFORMATION -THE NO-HIDING
More informationC/CS/Phys 191 Quantum Gates and Universality 9/22/05 Fall 2005 Lecture 8. a b b d. w. Therefore, U preserves norms and angles (up to sign).
C/CS/Phys 191 Quantum Gates and Universality 9//05 Fall 005 Lecture 8 1 Readings Benenti, Casati, and Strini: Classical circuits and computation Ch.1.,.6 Quantum Gates Ch. 3.-3.4 Universality Ch. 3.5-3.6
More informationProbabilistic Teleportation of an Arbitrary Two-Qubit State via Positive Operator-Valued Measurement with Multi Parties
Commun. Theor. Phys. 67 (2017) 377 382 Vol. 67, No. 4, April 1, 2017 Probabilistic Teleportation of an Arbitrary Two-Qubit State via Positive Operator-Valued Measurement with Multi Parties Lei Shi ( 石磊
More informationThe tape of M. Figure 3: Simulation of a Turing machine with doubly infinite tape
UG3 Computability and Intractability (2009-2010): Note 4 4. Bells and whistles. In defining a formal model of computation we inevitably make a number of essentially arbitrary design decisions. These decisions
More informationQuantum Computation. Nicholas T. Ouellette. March 18, 2002
Quantum Computation Nicholas T. Ouellette March 18, 00 Abstract The theory of quantum computation, a new and promising field, is discussed. The mathematical background to the field is presented, drawing
More information,
Kolmogorov Complexity Carleton College, CS 254, Fall 2013, Prof. Joshua R. Davis based on Sipser, Introduction to the Theory of Computation 1. Introduction Kolmogorov complexity is a theory of lossless
More information1 Fundamental physical postulates. C/CS/Phys C191 Quantum Mechanics in a Nutshell I 10/04/07 Fall 2007 Lecture 12
C/CS/Phys C191 Quantum Mechanics in a Nutshell I 10/04/07 Fall 2007 Lecture 12 In this and the next lecture we summarize the essential physical and mathematical aspects of quantum mechanics relevant to
More informationThe halting problem is decidable on a set of asymptotic probability one
The halting problem is decidable on a set of asymptotic probability one Joel David Hamkins The City University of New York http://jdh.hamkins.org Alexei Miasnikov The City University of New York http://www.cs.gc.cuny.edu/
More informationTuring Machines. Lecture 8
Turing Machines Lecture 8 1 Course Trajectory We will see algorithms, what can be done. But what cannot be done? 2 Computation Problem: To compute a function F that maps each input (a string) to an output
More informationA quantum analog of Huffman coding
A quantum analog of Huffman coding Samuel L. Braunstein, Christopher A. Fuchs, Daniel Gottesman, and Hoi-Kwong Lo (May 19, 1999) We analyze a generalization of Huffman coding to the quantum case. In particular,
More informationLecture 3: Hilbert spaces, tensor products
CS903: Quantum computation and Information theory (Special Topics In TCS) Lecture 3: Hilbert spaces, tensor products This lecture will formalize many of the notions introduced informally in the second
More informationarxiv: v4 [quant-ph] 26 Oct 2017
Hidden Variable Theory of a Single World from Many-Worlds Quantum Mechanics Don Weingarten donweingarten@hotmail.com We propose a method for finding an initial state vector which by ordinary Hamiltonian
More informationUnitary Dynamics and Quantum Circuits
qitd323 Unitary Dynamics and Quantum Circuits Robert B. Griffiths Version of 20 January 2014 Contents 1 Unitary Dynamics 1 1.1 Time development operator T.................................... 1 1.2 Particular
More informationAn Architectural Framework For Quantum Algorithms Processing Unit (QAPU)
An Architectural Framework For Quantum s Processing Unit (QAPU) Mohammad Reza Soltan Aghaei, Zuriati Ahmad Zukarnain, Ali Mamat, and ishamuddin Zainuddin Abstract- The focus of this study is developing
More informationInstantaneous Nonlocal Measurements
Instantaneous Nonlocal Measurements Li Yu Department of Physics, Carnegie-Mellon University, Pittsburgh, PA July 22, 2010 References Entanglement consumption of instantaneous nonlocal quantum measurements.
More informationTuring Machines, diagonalization, the halting problem, reducibility
Notes on Computer Theory Last updated: September, 015 Turing Machines, diagonalization, the halting problem, reducibility 1 Turing Machines A Turing machine is a state machine, similar to the ones we have
More informationLecture 1: Course Overview and Turing machine complexity
CSE 531: Computational Complexity I Winter 2016 Lecture 1: Course Overview and Turing machine complexity January 6, 2016 Lecturer: Paul Beame Scribe: Paul Beame 1 Course Outline 1. Basic properties of
More informationCSCE 551: Chin-Tser Huang. University of South Carolina
CSCE 551: Theory of Computation Chin-Tser Huang huangct@cse.sc.edu University of South Carolina Church-Turing Thesis The definition of the algorithm came in the 1936 papers of Alonzo Church h and Alan
More informationQuantum Circuits for Incompletely Specified Two-Qubit Operators
Quantum Circuits for Incompletely Specified Two-Qubit Operators arxiv:quant-ph/0401162v4 6 Jan 2005 Vivek V. Shende Igor L. Markov Department of Electrical Engineering and Computer Science The University
More informationQuantum Teleportation
Fortschr. Phys. 50 (2002) 5 7, 608 613 Quantum Teleportation Samuel L. Braunstein Informatics, Bangor University, Bangor LL57 1UT, UK schmuel@sees.bangor.ac.uk Abstract Given a single copy of an unknown
More informationQuantum Recursion and Second Quantisation
Quantum Recursion and Second Quantisation Mingsheng Ying State Key Laboratory of Computer Science Outline 1. Introduction 2. Recursive Programming 3. Classical Recursion in Quantum Programming 4. Quantum
More informationLogical difficulty from combining counterfactuals in the GHZ-Bell theorems
Logical difficulty from combining counterfactuals in the GHZ-Bell theorems Louis Sica Chapman University, Orange, CA 92866; and Inspire Institute Inc., Alexandria, V2303, USA E-mail: lousica@jhu.edu In
More informationQUANTUM COMPUTER SIMULATION
Chapter 2 QUANTUM COMPUTER SIMULATION Chapter 1 discussed quantum computing in non-technical terms and in reference to simple, idealized physical models. In this chapter we make the underlying mathematics
More informationQuantum Information Processing and Diagrams of States
Quantum Information and Diagrams of States September 17th 2009, AFSecurity Sara Felloni sara@unik.no / sara.felloni@iet.ntnu.no Quantum Hacking Group: http://www.iet.ntnu.no/groups/optics/qcr/ UNIK University
More information