Deutsch s Algorithm. Dimitrios I. Myrisiotis. MPLA CoReLab. April 26, / 70

Size: px
Start display at page:

Download "Deutsch s Algorithm. Dimitrios I. Myrisiotis. MPLA CoReLab. April 26, / 70"

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

Richard Cleve David R. Cheriton School of Computer Science Institute for Quantum Computing University of Waterloo

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

Chapter 10. Quantum algorithms

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

Quantum Computing 1. Multi-Qubit System. Goutam Biswas. Lect 2

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

Introduction to Quantum Computing

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

Complex numbers: a quick review. Chapter 10. Quantum algorithms. Definition: where i = 1. Polar form of z = a + b i is z = re iθ, where

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

Simulation of quantum computers with probabilistic models

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

Short Course in Quantum Information Lecture 2

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

Quantum Computing Lecture 2. Review of Linear Algebra

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

QUANTUM COMPUTATION. Exercise sheet 1. Ashley Montanaro, University of Bristol H Z U = 1 2

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

1 Measurements, Tensor Products, and Entanglement

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

Quantum Computation. Alessandra Di Pierro Computational models (Circuits, QTM) Algorithms (QFT, Quantum search)

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

6.896 Quantum Complexity Theory September 9, Lecture 2

6.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

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

Quantum Computing Lecture 3. Principles of Quantum Mechanics. Anuj Dawar

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

Lecture 1: Overview of quantum information

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

Introduction to Quantum Computing

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

Boolean State Transformation

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

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

QLang: Qubit Language

QLang: 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 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.

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

Tutorial on Quantum Computing. Vwani P. Roychowdhury. Lecture 1: Introduction

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

Quantum Algorithms for Computing the Boolean Function AND and Verifying Repetition Code

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

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

Linear Algebra and Dirac Notation, Pt. 1

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

Lecture 14: Quantum information revisited

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

Introduction to Quantum Computing

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

Quantum Information & Quantum Computation

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

Quantum computing! quantum gates! Fisica dell Energia!

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

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

6.896 Quantum Complexity Theory September 18, Lecture 5

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

2. Introduction to quantum mechanics

2. 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 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

Introduction to Quantum Computing

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

CS257 Discrete Quantum Computation

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

arxiv: v1 [quant-ph] 6 Feb 2013

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

Ph 219b/CS 219b. Exercises Due: Wednesday 11 February 2009

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

Ph 219b/CS 219b. Exercises Due: Wednesday 22 February 2006

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

Decay of the Singlet Conversion Probability in One Dimensional Quantum Networks

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

Lecture 4: Elementary Quantum Algorithms

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

Some Introductory Notes on Quantum Computing

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

Factoring on a Quantum Computer

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

The quantum state as a vector

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

Introduction to Quantum Algorithms Part I: Quantum Gates and Simon s Algorithm

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

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

A Gentle Introduction to Quantum Computing

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

Teleportation of Quantum States (1993; Bennett, Brassard, Crepeau, Jozsa, Peres, Wootters)

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

Nothing Here. Fast Quantum Algorithms

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

The Weird World of Quantum Mechanics

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

Hilbert Space, Entanglement, Quantum Gates, Bell States, Superdense Coding.

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

Quantum Computing Lecture 6. Quantum Search

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

Introduction to Quantum Information Processing

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

Reversible and Quantum computing. Fisica dell Energia - a.a. 2015/2016

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

Polynomials, quantum query complexity, and Grothendieck s inequality

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

Seminar 1. Introduction to Quantum Computing

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

CS286.2 Lecture 15: Tsirelson s characterization of XOR games

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

arxiv: v4 [cs.dm] 19 Nov 2018

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

1 Dirac Notation for Vector Spaces

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

Quantum Computation CMU BB, Fall Week 6 work: Oct. 11 Oct hour week Obligatory problems are marked with [ ]

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

Semiconductors: Applications in spintronics and quantum computation. Tatiana G. Rappoport Advanced Summer School Cinvestav 2005

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

Quantum Computation, NP-Completeness and physical reality [1] [2] [3]

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

Chapter III. Quantum Computation. Mathematical preliminaries. A.1 Complex numbers. A.2 Linear algebra review

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

Introduction into Quantum Computations Alexei Ashikhmin Bell Labs

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

Formalism of Quantum Mechanics

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

Quantum Query Algorithm Constructions for Computing AND, OR and MAJORITY Boolean Functions

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

Quantum Circuits and Algorithms

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

Quantum Communication Complexity

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

Quantum Computation. Michael A. Nielsen. University of Queensland

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

Lecture 13B: Supplementary Notes on Advanced Topics. 1 Inner Products and Outer Products for Single Particle States

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

Lecture 6: Vector Spaces II - Matrix Representations

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

Quantum decoherence. Éric Oliver Paquette (U. Montréal) -Traces Worshop [Ottawa]- April 29 th, Quantum decoherence p. 1/2

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

Lecture 4: Postulates of quantum mechanics

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

Quantum Computing. 6. Quantum Computer Architecture 7. Quantum Computers and Complexity

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

Classical behavior of magnetic dipole vector. P. J. Grandinetti

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

CSCI 2570 Introduction to Nanocomputing. Discrete Quantum Computation

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

Unitary evolution: this axiom governs how the state of the quantum system evolves in time.

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

Simon s algorithm (1994)

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

Chapter 11 Evolution by Permutation

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

INTRODUCTION TO QUANTUM ALGORITHMS, POROTOCOLS AND COMPUTING

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

Introduction to Quantum Branching Programs

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

Lecture 13: Lower Bounds using the Adversary Method. 2 The Super-Basic Adversary Method [Amb02]

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

report: RMT and boson computers

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

1 Algebra of State Vectors

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

Lecture 20: Bell inequalities and nonlocality

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

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

Quantum Communication

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

10 Quantum Complexity Theory I

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

6.896 Quantum Complexity Theory October 2, Lecture 9

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

An Introduction to Quantum Information and Applications

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

Hamiltonian simulation with nearly optimal dependence on all parameters

Hamiltonian 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