arxiv:quant-ph/ v1 28 May 1998

Size: px
Start display at page:

Download "arxiv:quant-ph/ v1 28 May 1998"

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 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 information

arxiv:quant-ph/ v5 6 Apr 2005

arxiv: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 information

ROM-BASED COMPUTATION: QUANTUM VERSUS CLASSICAL

ROM-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 information

The Framework of Quantum Mechanics

The 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 information

Physics 221A Fall 1996 Notes 14 Coupling of Angular Momenta

Physics 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 information

Lecture 1: Introduction to Quantum Computing

Lecture 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 information

Discrete Quantum Theories

Discrete 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 information

arxiv:quant-ph/ v5 10 Feb 2003

arxiv: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 information

COMPARATIVE ANALYSIS ON TURING MACHINE AND QUANTUM TURING MACHINE

COMPARATIVE 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 information

arxiv:quant-ph/ v2 23 Aug 2003

arxiv: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 information

MP 472 Quantum Information and Computation

MP 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 information

arxiv: v2 [quant-ph] 5 Dec 2013

arxiv: 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 information

arxiv:quant-ph/ v1 29 Mar 2003

arxiv: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 information

The Principles of Quantum Mechanics: Pt. 1

The 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 information

The query register and working memory together form the accessible memory, denoted H A. Thus the state of the algorithm is described by a vector

The 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 information

Universal quantum computers

Universal 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 information

Fourier Sampling & Simon s Algorithm

Fourier 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 information

Lecture 3: Constructing a Quantum Model

Lecture 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 information

Theory of Computation

Theory 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 information

Hypothesis elimination on a quantum computer

Hypothesis 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 information

1 Mathematical preliminaries

1 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 information

Is Entanglement Sufficient to Enable Quantum Speedup?

Is 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 information

Primality Test Via Quantum Factorization. Abstract

Primality 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 information

Indeterminate-length quantum coding

Indeterminate-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 information

An 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 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 information

Confusion 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 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 information

Universality in Quantum Computation

Universality 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 information

arxiv:quant-ph/ v1 12 Nov 1999

arxiv: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 information

An Introduction to Quantum Computation and Quantum Information

An 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 information

Universal quantum computers

Universal 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 information

CpSc 421 Homework 9 Solution

CpSc 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 information

PUBLISHED VERSION American Physical Society

PUBLISHED 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 information

Asymptotic behavior and halting probability of Turing Machines

Asymptotic 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 information

Halting and Equivalence of Program Schemes in Models of Arbitrary Theories

Halting 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 information

arxiv:quant-ph/ v1 22 Aug 2005

arxiv: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 information

arxiv:quant-ph/ v1 24 Aug 2006

arxiv: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 information

AN INTRODUCTION TO COMPUTABILITY THEORY

AN 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 information

Topological Qubit Design and Leakage

Topological 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 information

Equal Superposition Transformations and Quantum Random Walks

Equal 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 information

Lecture 6: Lies, Inner Product Spaces, and Symmetric Matrices

Lecture 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 information

arxiv:quant-ph/ v2 24 Dec 2003

arxiv: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 information

APPLYING 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 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 information

UNIVERSAL HYBRID QUANTUM PROCESSORS

UNIVERSAL 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 information

arxiv:quant-ph/ v2 17 Jun 1996

arxiv: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 information

1 Readings. 2 Unitary Operators. C/CS/Phys C191 Unitaries and Quantum Gates 9/22/09 Fall 2009 Lecture 8

1 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 information

arxiv:quant-ph/ v2 23 Mar 2001

arxiv: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 information

Compression and entanglement, entanglement transformations

Compression 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 information

Turing machine recap. Universal Turing Machines and Undecidability. Alphabet size doesn t matter. Robustness of TM

Turing 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 information

Introduction to Quantum Computation

Introduction 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 information

Turing Machines and the Church-Turing Thesis

Turing 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 information

The P versus NP Problem in Quantum Physics

The 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 information

arxiv:quant-ph/ v1 13 Jan 2003

arxiv: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 information

Logical error rate in the Pauli twirling approximation

Logical 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 information

International Journal of Scientific & Engineering Research, Volume 6, Issue 7, July ISSN

International 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 information

arxiv:quant-ph/ v1 6 Dec 1999

arxiv: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 information

b) (5 points) Give a simple quantum circuit that transforms the state

b) (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 information

More advanced codes 0 1 ( , 1 1 (

More 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 information

Lecture 2: From Classical to Quantum Model of Computation

Lecture 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 information

A scheme for protecting one-qubit information against erasure. error. Abstract

A 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 information

Optimal Realizations of Controlled Unitary Gates

Optimal 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 information

Checking Consistency. Chapter Introduction Support of a Consistent Family

Checking 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 information

Ph 219/CS 219. Exercises Due: Friday 20 October 2006

Ph 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 information

Non-emptiness Testing for TMs

Non-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 information

Halting and Equivalence of Schemes over Recursive Theories

Halting 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 information

THE 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* 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 information

Transformation of quantum states using uniformly controlled rotations

Transformation 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 information

Ph 219b/CS 219b. Exercises Due: Wednesday 20 November 2013

Ph 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 information

arxiv:quant-ph/ v1 19 Mar 2006

arxiv: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 information

CSC 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 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 information

A completely entangled subspace of maximal dimension

A 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 information

Algorithm for Quantum Simulation

Algorithm 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 information

arxiv:cs/ v2 [cs.cc] 13 Nov 2004

arxiv: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 information

Imitating quantum mechanics: Qubit-based model for simulation

Imitating 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 information

arxiv: v4 [quant-ph] 8 Mar 2013

arxiv: 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 information

Compute the Fourier transform on the first register to get x {0,1} n x 0.

Compute 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 information

arxiv:quant-ph/ v1 16 Nov 1995

arxiv: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 information

QUANTUM INFORMATION -THE NO-HIDING THEOREM p.1/36

QUANTUM 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 information

C/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/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 information

Probabilistic Teleportation of an Arbitrary Two-Qubit State via Positive Operator-Valued Measurement with Multi Parties

Probabilistic 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 information

The tape of M. Figure 3: Simulation of a Turing machine with doubly infinite tape

The 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 information

Quantum Computation. Nicholas T. Ouellette. March 18, 2002

Quantum 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 information

1 Fundamental physical postulates. C/CS/Phys C191 Quantum Mechanics in a Nutshell I 10/04/07 Fall 2007 Lecture 12

1 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 information

The halting problem is decidable on a set of asymptotic probability one

The 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 information

Turing Machines. Lecture 8

Turing 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 information

A quantum analog of Huffman coding

A 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 information

Lecture 3: Hilbert spaces, tensor products

Lecture 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 information

arxiv: v4 [quant-ph] 26 Oct 2017

arxiv: 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 information

Unitary Dynamics and Quantum Circuits

Unitary 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 information

An Architectural Framework For Quantum Algorithms Processing Unit (QAPU)

An 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 information

Instantaneous Nonlocal Measurements

Instantaneous 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 information

Turing Machines, diagonalization, the halting problem, reducibility

Turing 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 information

Lecture 1: Course Overview and Turing machine complexity

Lecture 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 information

CSCE 551: Chin-Tser Huang. University of South Carolina

CSCE 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 information

Quantum Circuits for Incompletely Specified Two-Qubit Operators

Quantum 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 information

Quantum Teleportation

Quantum 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 information

Quantum Recursion and Second Quantisation

Quantum 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 information

Logical difficulty from combining counterfactuals in the GHZ-Bell theorems

Logical 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 information

QUANTUM COMPUTER SIMULATION

QUANTUM 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 information

Quantum Information Processing and Diagrams of States

Quantum 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