Deutsch s Algorithm. Dimitrios I. Myrisiotis. MPLA CoReLab. April 26, / 70
|
|
- Robyn Richardson
- 6 years ago
- Views:
Transcription
1 Deutsch s Algorithm Dimitrios I. Myrisiotis MPLA CoReLab April 6, / 70
2 Contents Introduction Preliminaries The Algorithm Misc. / 70
3 Introduction 3 / 70
4 Introduction Figure : David Deutsch (1953 ). 4 / 70
5 Introduction Deutsch s Problem. Input : A black-box U f for f : {0, 1} {0, 1}. Output : The value of XOR (f (0), f (1)) = f (1) f (0). 5 / 70
6 Introduction Deutsch s Problem. Input : A black-box U f for f : {0, 1} {0, 1}. Output : The value of XOR (f (0), f (1)) = f (1) f (0). Classically, we need two queries to U f. Quantumly, one query to U f suffices! 5 / 70
7 Preliminaries 6 / 70
8 Preliminaries }{{} 16 : {0, 1} Figure : Our 16-bit computer, with 16 configurations. 7 / 70
9 Preliminaries p 1 p... p 16 i { 1,,..., 16} : p i {0, 1} p i = 1!k : p k = 1 16 i=1 Figure : Communicating a configuration of a deterministic computer. 8 / 70
10 Preliminaries p 1 p... p 16 i { 1,,..., 16} : p i [0, 1] p i = 1 16 i=1 Figure : Communicating a configuration of a probabilistic computer. 9 / 70
11 Preliminaries c 1 c... c 16 i { 1,,..., 16} : c i C c i = 1 (*) 16 i=1 Figure : Communicating a configuration of a quantum computer. 10 / 70
12 Preliminaries Quantum States 11 / 70
13 Preliminaries: Quantum States B = {v i } 16 i=1 v 1 = v = v 16 = }{{} 16 1 / 70
14 Preliminaries: Quantum States B = {v i } 16 i=1 v 1 = } 0..{{. 000} = 16. v 16 = } 1..{{. 111} = / 70
15 Preliminaries: Quantum States B = {v i } 16 i=1 16 H = span (B, C) = c i v i i : c i C and v i B = C16 H = i=1 { } q C 16 q = 1 C / 70
16 Preliminaries: Quantum States H = { } q C 16 q = 1 = where 16-register quantum computers live C / 70
17 Preliminaries: Quantum States H = { q C n q = 1 } = where n-register quantum computers live C n 16 / 70
18 Preliminaries: Quantum States H = { q C n q = 1 } 16 n q = c i v i H q = 1 c i = 1 (*) i=1 i=1 17 / 70
19 Preliminaries: Quantum States ψ 18 / 70
20 Preliminaries: Quantum States ψ H C n 19 / 70
21 Preliminaries: Quantum States ψ = a ket = a column vector in H ψ = a bra = a row vector in H = the dual of ψ = ψ = ( ψ ) T = ( ψ ) T 0 / 70
22 Preliminaries: Quantum States B = {v i } 16 i=1 v 1 = v = v 16 = / 70
23 Preliminaries: Quantum States B = { v i } 16 i=1 v 1 = v = v 16 = / 70
24 Preliminaries: Quantum States B = { v i } 16 i=1 v 1 = = 1 v = =.. v 16 = = 16 3 / 70
25 Preliminaries: Quantum States I ( ψ, φ ) = inner product = ψ φ = ψ φ C O ( ψ, φ ) = outer product = ψ φ = ψ φ C n n 4 / 70
26 Preliminaries Unitary Evolution 5 / 70
27 Preliminaries: Unitary Evolution U q old = q new U 1 = U = (U ) T = (U ) T 6 / 70
28 Preliminaries: Unitary Evolution q initial H 7 / 70
29 Preliminaries: Unitary Evolution U 1 q initial H 8 / 70
30 Preliminaries: Unitary Evolution U U 1 q initial H 9 / 70
31 Preliminaries: Unitary Evolution m N U m U U 1 q initial H 30 / 70
32 Preliminaries: Unitary Evolution m N q final = U m U U 1 q initial H 31 / 70
33 Preliminaries: Unitary Evolution m N q final = U m U U 1 q initial H Figure : Our first quantum algorithm. 3 / 70
34 Preliminaries Measurements 33 / 70
35 Preliminaries: Measurements ψ = c i v i H n i=1 c i = 1 (*) n i=1 34 / 70
36 Preliminaries: Measurements ψ = c i v i Measurement j : ψ = v j n i=1 Pr [The outcome is j.] = c j 35 / 70
37 Preliminaries: Measurements ψ = c i v i Measurement j : ψ = v j n i=1 Measurement ψ = v j Pr [The outcome is j.] = 1 = 1 36 / 70
38 Preliminaries: Measurements 37 / 70
39 Preliminaries Composition 38 / 70
40 Preliminaries: Composition H 1 H H 1 H 39 / 70
41 Preliminaries: Composition H qubit H qubit H qubit H qubit 40 / 70
42 Preliminaries: Composition C C C C 41 / 70
43 Preliminaries: Composition C C C 4 / 70
44 Preliminaries: Composition C C C 4 43 / 70
45 Preliminaries: Composition C C C 4 = H two qubits 44 / 70
46 Preliminaries: Composition A useful property: (U 1 U ) ( x y ) = U }{{} 1 x U y. U 45 / 70
47 Preliminaries A Comparison 46 / 70
48 Preliminaries: A Comparison Table : Quantum mechanics and probability theory. Probability Theory Real numbers in [0, 1] Real numbers that sum to 1 Quantum Mechanics Complex numbers Complex numbers that the squares of their magnitudes sum to 1 The sum is equal to 1 The Euclidean norm is equal to 1 The sum is preserved The L 1 -norm is preserved Use of stochastic matrices The Euclidean norm is preserved The L -norm is preserved Use of unitary matrices 47 / 70
49 The Algorithm 48 / 70
50 The Algorithm Deutsch s Problem. Input : A black-box U f for f : {0, 1} {0, 1}. Output : The value of XOR (f (0), f (1)) = f (1) f (0). Classically, we need two queries to U f. Quantumly, one query to U f suffices! 49 / 70
51 The Algorithm two qubits qubit 1 H U f qubit I I H two qubits = qubit 1 qubit 50 / 70
52 The Algorithm 0 H U f I I H 51 / 70
53 The Algorithm 0 H U f I I H 5 / 70
54 The Algorithm 0 H U f I I ( 1 ψ 0 = ) 1 ψ 1 = U 1 ψ 0 = (H I ) ψ 0 ψ = U ψ 1 = U f ψ 1 ψ 3 = U 3 ψ = (H I ) ψ ψ 4 = the state after we measure the first qubit of ψ 3 H 53 / 70
55 The Algorithm 0 H U f I I H H 0 = U f x y = x y f (x) H 1 = H 1 = H I x = x 54 / 70
56 The Algorithm H U f H H 0 = U f x y = x y f (x) H 1 = H 1 = H I x = x 55 / 70
57 The Algorithm H U f H ( 1 ψ 0 = ) 1 ( 1 ψ 1 = (H I ) ψ 0 = = 1 ( ) ) ( ) 1 ψ = U f ψ 1 = 1 ( 0 0 f (0) 0 1 f (0) +... ) ( ) ( ) (0) f (1) 1 ( 1)f ( 1) f (0) (0) ( 1)f = / 70
58 The Algorithm H U f H ψ = ( ) ( ) (0) f (1) ( 1)f ( 1) f (0) (0) ( 1)f / 70
59 The Algorithm H U f H ( ) 1 ψ = 0 + ( 1)1 1 ( ) ( 1) f (0) (0) ( 1)f / 70
60 The Algorithm H U f H ψ = ( ) ( ) ( 1) f (0) (0) ( 1)f / 70
61 The Algorithm H U f H ψ = ( ) ( ) ( 1) f (0) (0) ( 1)f ψ 3 = (H I ) ψ = 1 ( ) ( 1) f (0) (0) ( 1)f / 70
62 The Algorithm H U f H ψ = ( ) ( ) ( 1) f (0) (0) ( 1)f ψ 3 = (H I ) ψ = 1 = f (0) f (1) ( ) ( 1) f (0) (0) ( 1)f 0 1 ( ) ( 1) f (0) (0) ( 1)f / 70
63 The Algorithm H U f H ψ = ( ) ( ) (0) f (1) ( 1)f ( 1) f (0) (0) ( 1)f / 70
64 The Algorithm H U f H ( ) 1 ψ = 0 + ( 1)0 1 ( ) ( 1) f (0) (0) ( 1)f / 70
65 The Algorithm H U f H ψ = ( ) ( ) ( 1) f (0) (0) ( 1)f / 70
66 The Algorithm H U f H ψ = ( ) ( ) ( 1) f (0) (0) ( 1)f ψ 3 = (H I ) ψ = 0 ( ) ( 1) f (0) (0) ( 1)f / 70
67 The Algorithm H U f H ψ = ( ) ( ) ( 1) f (0) (0) ( 1)f ψ 3 = (H I ) ψ = 0 = f (0) f (1) ( ) ( 1) f (0) (0) ( 1)f 0 1 ( ) ( 1) f (0) (0) ( 1)f / 70
68 The Algorithm :D 67 / 70
69 Misc. 68 / 70
70 Misc.: Where to start?/references An Introduction to Quantum Computing (009), by Kaye, Laflamme, and Mosca. Quantum Computing Since Democritus (013), by Aaronson. 69 / 70
71 Thank you! 70 / 70
Introduction to Quantum Information Processing QIC 710 / CS 768 / PH 767 / CO 681 / AM 871
Introduction to Quantum Information Processing QIC 710 / CS 768 / PH 767 / CO 681 / AM 871 Lecture 1 (2017) Jon Yard QNC 3126 jyard@uwaterloo.ca TAs Nitica Sakharwade nsakharwade@perimeterinstitute.ca
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 informationRichard Cleve David R. Cheriton School of Computer Science Institute for Quantum Computing University of Waterloo
CS 497 Frontiers of Computer Science Introduction to Quantum Computing Lecture of http://www.cs.uwaterloo.ca/~cleve/cs497-f7 Richard Cleve David R. Cheriton School of Computer Science Institute for Quantum
More informationChapter 10. Quantum algorithms
Chapter 10. Quantum algorithms Complex numbers: a quick review Definition: C = { a + b i : a, b R } where i = 1. Polar form of z = a + b i is z = re iθ, where r = z = a 2 + b 2 and θ = tan 1 y x Alternatively,
More informationQuantum Computing 1. Multi-Qubit System. Goutam Biswas. Lect 2
Quantum Computing 1 Multi-Qubit System Quantum Computing State Space of Bits The state space of a single bit is {0,1}. n-bit state space is {0,1} n. These are the vertices of the n-dimensional hypercube.
More informationIntroduction to Quantum Computing
Introduction to Quantum Computing Part I Emma Strubell http://cs.umaine.edu/~ema/quantum_tutorial.pdf April 12, 2011 Overview Outline What is quantum computing? Background Caveats Fundamental differences
More informationComplex numbers: a quick review. Chapter 10. Quantum algorithms. Definition: where i = 1. Polar form of z = a + b i is z = re iθ, where
Chapter 0 Quantum algorithms Complex numbers: a quick review / 4 / 4 Definition: C = { a + b i : a, b R } where i = Polar form of z = a + b i is z = re iθ, where r = z = a + b and θ = tan y x Alternatively,
More informationSimulation of quantum computers with probabilistic models
Simulation of quantum computers with probabilistic models Vlad Gheorghiu Department of Physics Carnegie Mellon University Pittsburgh, PA 15213, U.S.A. April 6, 2010 Vlad Gheorghiu (CMU) Simulation of quantum
More informationShort Course in Quantum Information Lecture 2
Short Course in Quantum Information Lecture Formal Structure of Quantum Mechanics Course Info All materials downloadable @ website http://info.phys.unm.edu/~deutschgroup/deutschclasses.html Syllabus Lecture
More informationQuantum Computing Lecture 2. Review of Linear Algebra
Quantum Computing Lecture 2 Review of Linear Algebra Maris Ozols Linear algebra States of a quantum system form a vector space and their transformations are described by linear operators Vector spaces
More informationQUANTUM COMPUTATION. Exercise sheet 1. Ashley Montanaro, University of Bristol H Z U = 1 2
School of Mathematics Spring 017 QUANTUM COMPUTATION Exercise sheet 1 Ashley Montanaro, University of Bristol ashley.montanaro@bristol.ac.uk 1. The quantum circuit model. (a) Consider the following quantum
More information1 Measurements, Tensor Products, and Entanglement
Stanford University CS59Q: Quantum Computing Handout Luca Trevisan September 7, 0 Lecture In which we describe the quantum analogs of product distributions, independence, and conditional probability, and
More informationQuantum Computation. Alessandra Di Pierro Computational models (Circuits, QTM) Algorithms (QFT, Quantum search)
Quantum Computation Alessandra Di Pierro alessandra.dipierro@univr.it 21 Info + Programme Info: http://profs.sci.univr.it/~dipierro/infquant/ InfQuant1.html Preliminary Programme: Introduction and Background
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 information6.896 Quantum Complexity Theory September 9, Lecture 2
6.96 Quantum Complexity Theory September 9, 00 Lecturer: Scott Aaronson Lecture Quick Recap The central object of study in our class is BQP, which stands for Bounded error, Quantum, Polynomial time. Informally
More information{0,1} = B versus a 0 +b 1 C 2
Quantum Computing 1 Birth of a Qubit {0,1} = B versus a 0 +b 1 C 2 Quantum Computing 2 I believe Quantum Physics is not a prerequisite of quantum computing unless one wants to build a quantum computer.
More informationQuantum Computing Lecture 3. Principles of Quantum Mechanics. Anuj Dawar
Quantum Computing Lecture 3 Principles of Quantum Mechanics Anuj Dawar What is Quantum Mechanics? Quantum Mechanics is a framework for the development of physical theories. It is not itself a physical
More informationLecture 1: Overview of quantum information
CPSC 59/69: Quantum Computation John Watrous, University of Calgary References Lecture : Overview of quantum information January 0, 006 Most of the material in these lecture notes is discussed in greater
More informationIntroduction to Quantum Computing
Introduction to Quantum Computing Einar Pius University of Edinburgh Why this Course To raise interest in quantum computing To show how quantum computers could be useful To talk about concepts not found
More informationBoolean State Transformation
Quantum Computing Boolean State Transformation Quantum Computing 2 Boolean Gates Boolean gates transform the state of a Boolean system. Conventionally a Boolean gate is a map f : {,} n {,}, where n is
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 informationLecture 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 informationQLang: Qubit Language
QLang: Qubit Language Christopher Campbell Clément Canonne Sankalpa Khadka Winnie Narang Jonathan Wong September 24, 24 Introduction In 965, Gordon Moore predicted that the number of transistors in integrated
More information. An introduction to Quantum Complexity. Peli Teloni
An introduction to Quantum Complexity Peli Teloni Advanced Topics on Algorithms and Complexity µπλ July 3, 2014 1 / 50 Outline 1 Motivation 2 Computational Model Quantum Circuits Quantum Turing Machine
More information. Here we are using the standard inner-product over C k to define orthogonality. Recall that the inner-product of two vectors φ = i α i.
CS 94- Hilbert Spaces, Tensor Products, Quantum Gates, Bell States 1//07 Spring 007 Lecture 01 Hilbert Spaces Consider a discrete quantum system that has k distinguishable states (eg k distinct energy
More informationTutorial on Quantum Computing. Vwani P. Roychowdhury. Lecture 1: Introduction
Tutorial on Quantum Computing Vwani P. Roychowdhury Lecture 1: Introduction 1 & ) &! # Fundamentals Qubits A single qubit is a two state system, such as a two level atom we denote two orthogonal states
More informationQuantum Algorithms for Computing the Boolean Function AND and Verifying Repetition Code
Scientific Papers, University of Latvia, 2010 Vol 756 Computer Science and Information echnologies 227 247 P Quantum Algorithms for Computing the Boolean Function AND and Verifying Repetition Code Alina
More informationConcepts and Algorithms of Scientific and Visual Computing Advanced Computation Models. CS448J, Autumn 2015, Stanford University Dominik L.
Concepts and Algorithms of Scientific and Visual Computing Advanced Computation Models CS448J, Autumn 2015, Stanford University Dominik L. Michels Advanced Computation Models There is a variety of advanced
More informationLinear Algebra and Dirac Notation, Pt. 1
Linear Algebra and Dirac Notation, Pt. 1 PHYS 500 - Southern Illinois University February 1, 2017 PHYS 500 - Southern Illinois University Linear Algebra and Dirac Notation, Pt. 1 February 1, 2017 1 / 13
More informationLecture 14: Quantum information revisited
CPSC 59/69: Quantum Computation John Watrous, University of Calgary Lecture 4: Quantum information revisited March 4, 006 So far, this course has focused almost entirely on quantum algorithms The next
More informationIntroduction to Quantum Computing
Introduction to Quantum Computing Part II Emma Strubell http://cs.umaine.edu/~ema/quantum_tutorial.pdf April 13, 2011 Overview Outline Grover s Algorithm Quantum search A worked example Simon s algorithm
More informationQuantum Information & Quantum Computation
CS9A, Spring 5: Quantum Information & Quantum Computation Wim van Dam Engineering, Room 59 vandam@cs http://www.cs.ucsb.edu/~vandam/teaching/cs9/ Administrivia Who has the book already? Office hours: Wednesday
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 informationQuantum computing! quantum gates! Fisica dell Energia!
Quantum computing! quantum gates! Fisica dell Energia! What is Quantum Computing?! Calculation based on the laws of Quantum Mechanics.! Uses Quantum Mechanical Phenomena to perform operations on data.!
More informationQubits vs. bits: a naive account A bit: admits two values 0 and 1, admits arbitrary transformations. is freely readable,
Qubits vs. bits: a naive account A bit: admits two values 0 and 1, admits arbitrary transformations. is freely readable, A qubit: a sphere of values, which is spanned in projective sense by two quantum
More information6.896 Quantum Complexity Theory September 18, Lecture 5
6.896 Quantum Complexity Theory September 18, 008 Lecturer: Scott Aaronson Lecture 5 Last time we looked at what s known about quantum computation as it relates to classical complexity classes. Today we
More information2. Introduction to quantum mechanics
2. Introduction to quantum mechanics 2.1 Linear algebra Dirac notation Complex conjugate Vector/ket Dual vector/bra Inner product/bracket Tensor product Complex conj. matrix Transpose of matrix Hermitian
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 informationIntroduction to Quantum Computing
Introduction to Quantum Computing Petros Wallden Lecture 7: Complexity & Algorithms I 13th October 016 School of Informatics, University of Edinburgh Complexity - Computational Complexity: Classification
More informationCS257 Discrete Quantum Computation
CS57 Discrete Quantum Computation John E Savage April 30, 007 Lect 11 Quantum Computing c John E Savage Classical Computation State is a vector of reals; e.g. Booleans, positions, velocities, or momenta.
More informationarxiv: v1 [quant-ph] 6 Feb 2013
Exact quantum query complexity of EXACT and THRESHOLD arxiv:302.235v [quant-ph] 6 Feb 203 Andris Ambainis Jānis Iraids Juris Smotrovs University of Latvia, Raiņa bulvāris 9, Riga, LV-586, Latvia February
More informationPh 219b/CS 219b. Exercises Due: Wednesday 11 February 2009
1 Ph 219b/CS 219b Exercises Due: Wednesday 11 February 2009 5.1 The peak in the Fourier transform In the period finding algorithm we prepared the periodic state A 1 1 x 0 + jr, (1) A j=0 where A is the
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 informationPh 219b/CS 219b. Exercises Due: Wednesday 22 February 2006
1 Ph 219b/CS 219b Exercises Due: Wednesday 22 February 2006 6.1 Estimating the trace of a unitary matrix Recall that using an oracle that applies the conditional unitary Λ(U), Λ(U): 0 ψ 0 ψ, 1 ψ 1 U ψ
More informationDecay of the Singlet Conversion Probability in One Dimensional Quantum Networks
Decay of the Singlet Conversion Probability in One Dimensional Quantum Networks Scott Hottovy shottovy@math.arizona.edu Advised by: Dr. Janek Wehr University of Arizona Applied Mathematics December 18,
More informationLecture 4: Elementary Quantum Algorithms
CS 880: Quantum Information Processing 9/13/010 Lecture 4: Elementary Quantum Algorithms Instructor: Dieter van Melkebeek Scribe: Kenneth Rudinger This lecture introduces several simple quantum algorithms.
More informationSome Introductory Notes on Quantum Computing
Some Introductory Notes on Quantum Computing Markus G. Kuhn http://www.cl.cam.ac.uk/~mgk25/ Computer Laboratory University of Cambridge 2000-04-07 1 Quantum Computing Notation Quantum Computing is best
More informationFactoring on a Quantum Computer
Factoring on a Quantum Computer The Essence Shor s Algorithm Wolfgang Polak wp@pocs.com Thanks to: Eleanor Rieffel Fuji Xerox Palo Alto Laboratory Wolfgang Polak San Jose State University, 4-14-010 - p.
More informationThe quantum state as a vector
The quantum state as a vector February 6, 27 Wave mechanics In our review of the development of wave mechanics, we have established several basic properties of the quantum description of nature:. A particle
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 informationIntroduction to Quantum Algorithms Part I: Quantum Gates and Simon s Algorithm
Part I: Quantum Gates and Simon s Algorithm Martin Rötteler NEC Laboratories America, Inc. 4 Independence Way, Suite 00 Princeton, NJ 08540, U.S.A. International Summer School on Quantum Information, Max-Planck-Institut
More informationThe Future. Currently state of the art chips have gates of length 35 nanometers.
Quantum Computing Moore s Law The Future Currently state of the art chips have gates of length 35 nanometers. The Future Currently state of the art chips have gates of length 35 nanometers. When gate lengths
More informationA Gentle Introduction to Quantum Computing
A Gentle Introduction to Quantum Computing Abdullah Khalid 01-10-0168 School of Science and Engineering Lahore University of Management Sciences Friday 3 rd June, 011 Contents 1 Introduction to Quantum
More informationTeleportation of Quantum States (1993; Bennett, Brassard, Crepeau, Jozsa, Peres, Wootters)
Teleportation of Quantum States (1993; Bennett, Brassard, Crepeau, Jozsa, Peres, Wootters) Rahul Jain U. Waterloo and Institute for Quantum Computing, rjain@cs.uwaterloo.ca entry editor: Andris Ambainis
More informationNothing Here. Fast Quantum Algorithms
Nothing Here Fast Quantum Algorithms or How we learned to put our pants on two legs at a time. Dave Bacon Institute for Quantum Information California Institute of Technology ? A prudent question is one-half
More informationThe Weird World of Quantum Mechanics
The Weird World of Quantum Mechanics Libor Nentvich: QC 16 April 2007: The Weird World of QM 1/30 How to fing a good bomb (Elitzur-Vaidman) In 1993 Avshalom Elitzur and Lev Vaidman proposed the following
More informationHilbert Space, Entanglement, Quantum Gates, Bell States, Superdense Coding.
CS 94- Bell States Bell Inequalities 9//04 Fall 004 Lecture Hilbert Space Entanglement Quantum Gates Bell States Superdense Coding 1 One qubit: Recall that the state of a single qubit can be written as
More informationQuantum Computing Lecture 6. Quantum Search
Quantum Computing Lecture 6 Quantum Search Maris Ozols Grover s search problem One of the two most important algorithms in quantum computing is Grover s search algorithm (invented by Lov Grover in 1996)
More informationIntroduction to Quantum Information Processing
Introduction to Quantum Information Processing Lecture 6 Richard Cleve Overview of Lecture 6 Continuation of teleportation Computation and some basic complexity classes Simple quantum algorithms in the
More informationReversible and Quantum computing. Fisica dell Energia - a.a. 2015/2016
Reversible and Quantum computing Fisica dell Energia - a.a. 2015/2016 Reversible computing A process is said to be logically reversible if the transition function that maps old computational states to
More informationPolynomials, quantum query complexity, and Grothendieck s inequality
Polynomials, quantum query complexity, and Grothendieck s inequality Scott Aaronson 1, Andris Ambainis 2, Jānis Iraids 2, Martins Kokainis 2, Juris Smotrovs 2 1 Computer Science and Artificial Intelligence
More informationSeminar 1. Introduction to Quantum Computing
Seminar 1 Introduction to Quantum Computing Before going in I am also a beginner in this field If you are interested, you can search more using: Quantum Computing since Democritus (Scott Aaronson) Quantum
More informationCS286.2 Lecture 15: Tsirelson s characterization of XOR games
CS86. Lecture 5: Tsirelson s characterization of XOR games Scribe: Zeyu Guo We first recall the notion of quantum multi-player games: a quantum k-player game involves a verifier V and k players P,...,
More informationarxiv: v4 [cs.dm] 19 Nov 2018
An Introduction to Quantum Computing, Without the Physics Giacomo Nannicini IBM T.J. Watson, Yorktown Heights, NY nannicini@us.ibm.com Last updated: November 0, 018. arxiv:1708.03684v4 [cs.dm] 19 Nov 018
More information1 Dirac Notation for Vector Spaces
Theoretical Physics Notes 2: Dirac Notation This installment of the notes covers Dirac notation, which proves to be very useful in many ways. For example, it gives a convenient way of expressing amplitudes
More informationQuantum Computation CMU BB, Fall Week 6 work: Oct. 11 Oct hour week Obligatory problems are marked with [ ]
Quantum Computation CMU 15-859BB, Fall 2018 Week 6 work: Oct. 11 Oct. 18 12-hour week Obligatory problems are marked with [ ] 1. [CCNOT.] In class we showed how to simulate classical AND, OR, NOT, and
More informationSemiconductors: Applications in spintronics and quantum computation. Tatiana G. Rappoport Advanced Summer School Cinvestav 2005
Semiconductors: Applications in spintronics and quantum computation Advanced Summer School 1 I. Background II. Spintronics Spin generation (magnetic semiconductors) Spin detection III. Spintronics - electron
More informationQuantum Computation, NP-Completeness and physical reality [1] [2] [3]
Quantum Computation, NP-Completeness and physical reality [1] [2] [3] Compiled by Saman Zarandioon samanz@rutgers.edu 1 Introduction The NP versus P question is one of the most fundamental questions in
More informationChapter III. Quantum Computation. Mathematical preliminaries. A.1 Complex numbers. A.2 Linear algebra review
Chapter III Quantum Computation These lecture notes are exclusively for the use of students in Prof. MacLennan s Unconventional Computation course. c 2017, B. J. MacLennan, EECS, University of Tennessee,
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 informationIntroduction into Quantum Computations Alexei Ashikhmin Bell Labs
Introduction into Quantum Computations Alexei Ashikhmin Bell Labs Workshop on Quantum Computing and its Application March 16, 2017 Qubits Unitary transformations Quantum Circuits Quantum Measurements Quantum
More informationFormalism of Quantum Mechanics
Dirac Notation Formalism of Quantum Mechanics We can use a shorthand notation for the normalization integral I = "! (r,t) 2 dr = "! * (r,t)! (r,t) dr =!! The state! is called a ket. The complex conjugate
More informationQuantum Query Algorithm Constructions for Computing AND, OR and MAJORITY Boolean Functions
LATVIJAS UNIVERSITĀTES RAKSTI. 008, 733. sēj.: DATORZINĀTNE UN INFORMĀCIJAS TEHNOLOĢIJAS 15. 38. lpp. Quantum Query Algorithm Constructions for Computing AND, OR and MAJORITY Boolean Functions Alina Vasiljeva
More informationQuantum Circuits and Algorithms
Quantum Circuits and Algorithms Modular Arithmetic, XOR Reversible Computation revisited Quantum Gates revisited A taste of quantum algorithms: Deutsch algorithm Other algorithms, general overviews Measurements
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 informationQuantum Communication Complexity
Quantum Communication Complexity Ronald de Wolf Communication complexity has been studied extensively in the area of theoretical computer science and has deep connections with seemingly unrelated areas,
More informationQuantum Computation. Michael A. Nielsen. University of Queensland
Quantum Computation Michael A. Nielsen University of Queensland Goals: 1. To eplain the quantum circuit model of computation. 2. To eplain Deutsch s algorithm. 3. To eplain an alternate model of quantum
More informationLecture 13B: Supplementary Notes on Advanced Topics. 1 Inner Products and Outer Products for Single Particle States
Lecture 13B: Supplementary Notes on Advanced Topics Outer Products, Operators, Density Matrices In order to explore the complexity of many particle systems a different way to represent multiparticle states
More informationLecture 6: Vector Spaces II - Matrix Representations
1 Key points Lecture 6: Vector Spaces II - Matrix Representations Linear Operators Matrix representation of vectors and operators Hermite conjugate (adjoint) operator Hermitian operator (self-adjoint)
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 informationQuantum decoherence. Éric Oliver Paquette (U. Montréal) -Traces Worshop [Ottawa]- April 29 th, Quantum decoherence p. 1/2
Quantum decoherence p. 1/2 Quantum decoherence Éric Oliver Paquette (U. Montréal) -Traces Worshop [Ottawa]- April 29 th, 2007 Quantum decoherence p. 2/2 Outline Quantum decoherence: 1. Basics of quantum
More informationLecture 4: Postulates of quantum mechanics
Lecture 4: Postulates of quantum mechanics Rajat Mittal IIT Kanpur The postulates of quantum mechanics provide us the mathematical formalism over which the physical theory is developed. For people studying
More informationQuantum Computing. 6. Quantum Computer Architecture 7. Quantum Computers and Complexity
Quantum Computing 1. Quantum States and Quantum Gates 2. Multiple Qubits and Entangled States 3. Quantum Gate Arrays 4. Quantum Parallelism 5. Examples of Quantum Algorithms 1. Grover s Unstructured Search
More informationClassical behavior of magnetic dipole vector. P. J. Grandinetti
Classical behavior of magnetic dipole vector Z μ Y X Z μ Y X Quantum behavior of magnetic dipole vector Random sample of spin 1/2 nuclei measure μ z μ z = + γ h/2 group μ z = γ h/2 group Quantum behavior
More informationCSCI 2570 Introduction to Nanocomputing. Discrete Quantum Computation
CSCI 2570 Introduction to Nanocomputing Discrete Quantum Computation John E Savage November 27, 2007 Lect 22 Quantum Computing c John E Savage What is Quantum Computation It is very different kind of computation
More informationUnitary evolution: this axiom governs how the state of the quantum system evolves in time.
CS 94- Introduction Axioms Bell Inequalities /7/7 Spring 7 Lecture Why Quantum Computation? Quantum computers are the only model of computation that escape the limitations on computation imposed by the
More informationSimon s algorithm (1994)
Simon s algorithm (1994) Given a classical circuit C f (of polynomial size, in n) for an f : {0, 1} n {0, 1} n, such that for a certain s {0, 1} n \{0 n }: x, y {0, 1} n (x y) : f (x) = f (y) x y = s with
More informationChapter 11 Evolution by Permutation
Chapter 11 Evolution by Permutation In what follows a very brief account of reversible evolution and, in particular, reversible computation by permutation will be presented We shall follow Mermin s account
More informationINTRODUCTION TO QUANTUM ALGORITHMS, POROTOCOLS AND COMPUTING
INTRODUCTION TO QUANTUM ALGORITHMS, POROTOCOLS AND COMPUTING Jozef Gruska Faculty of Informatics Brno Czech Republic September 7, 23 Quantum computing - Fall 23, I. Introduction 1. INTRODUCTION In the
More informationIntroduction to Quantum Branching Programs
Introduction to Quantum Branching Programs Chris Pollett (based on joint work with Farid Ablayev, Aida Gainutdinova, Marek Karpinski, and Cristopher Moore) Apr. 4, 2006. Outline Classical Branching Programs
More informationLecture 13: Lower Bounds using the Adversary Method. 2 The Super-Basic Adversary Method [Amb02]
Quantum Computation (CMU 18-859BB, Fall 015) Lecture 13: Lower Bounds using the Adversary Method October 1, 015 Lecturer: Ryan O Donnell Scribe: Kumail Jaffer 1 Introduction There are a number of known
More informationreport: RMT and boson computers
18.338 report: RMT and boson computers John Napp May 11, 2016 Abstract In 2011, Aaronson and Arkhipov [1] proposed a simple model of quantum computation based on the statistics of noninteracting bosons.
More information1 Algebra of State Vectors
J. Rothberg October 6, Introduction to Quantum Mechanics: Part Algebra of State Vectors What does the State Vector mean? A state vector is not a property of a physical system, but rather represents an
More informationLecture 20: Bell inequalities and nonlocality
CPSC 59/69: Quantum Computation John Watrous, University of Calgary Lecture 0: Bell inequalities and nonlocality April 4, 006 So far in the course we have considered uses for quantum information in the
More informationQuantum Mechanics- I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras
Quantum Mechanics- I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras Lecture - 4 Postulates of Quantum Mechanics I In today s lecture I will essentially be talking
More informationQuantum Communication
Quantum Communication Harry Buhrman CWI & University of Amsterdam Physics and Computing Computing is physical Miniaturization quantum effects Quantum Computers ) Enables continuing miniaturization ) Fundamentally
More information10 Quantum Complexity Theory I
10 Quantum Complexity Theory I Just as the theory of computability had its foundations in the Church-Turing thesis, computational complexity theory rests upon a modern strengthening of this thesis, which
More information6.896 Quantum Complexity Theory October 2, Lecture 9
6896 Quantum Complexity heory October, 008 Lecturer: Scott Aaronson Lecture 9 In this class we discuss Grover s search algorithm as well as the BBBV proof that it is optimal 1 Grover s Algorithm 11 Setup
More informationAn Introduction to Quantum Information and Applications
An Introduction to Quantum Information and Applications Iordanis Kerenidis CNRS LIAFA-Univ Paris-Diderot Quantum information and computation Quantum information and computation How is information encoded
More informationHamiltonian simulation with nearly optimal dependence on all parameters
Hamiltonian simulation with nearly optimal dependence on all parameters Dominic Berry + Andrew Childs obin Kothari ichard Cleve olando Somma Quantum simulation by quantum walks Dominic Berry + Andrew Childs
More information