introduction to quantum computing - kursusedcourses.cs.ut.ee/2012/ska/uploads/main/lecture1.pdf ·...

31
Introduction to Quantum Computing Einar Pius University of Edinburgh Tuesday, 17 April 12

Upload: voanh

Post on 05-May-2018

223 views

Category:

Documents


2 download

TRANSCRIPT

Page 1: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Introduction to Quantum Computing

Einar PiusUniversity of Edinburgh

Tuesday, 17 April 12

Page 2: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Why this Course

• To raise interest in quantum computing

• To show how quantum computers could be useful

• To talk about concepts not found in the textbooks

Tuesday, 17 April 12

Page 3: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

The Lecturers

Einar Pius

• The guy talking in front of you

• Will give the first lectures. (Introduction)

Tuesday, 17 April 12

Page 4: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

The Lecturers

Einar Pius

• The guy talking in front of you

• Will give the first lectures. (Introduction)

Vedran Dunjko

• Will join us on the second Week

Tuesday, 17 April 12

Page 5: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

About the Course

• Course language: English vs Estonian

• Target audience (Computer Scientist vs Physicist)

• We expect basic knowledge of linear algebra

• We do not expect any knowledge of physics

• Basis for the new Quantum Computing course given at the University of Edinburgh next semester

Tuesday, 17 April 12

Page 6: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

What You Will Learn

• The framework of quantum mechanics [Einar]

• The quantum circuits model [Einar]

• A few quantum algorithms [Einar]

• Quantum depth complexity [Einar]

• The Measurement Based Quantum Computing model [Vedran]

• Universal Blind Quantum Computing [Vedran]

Tuesday, 17 April 12

Page 7: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

What We Will Not Talk About

• Quantum Information Theory

• Error correction and fault tolerance

• Shor’s algorithm

• Quantum key distribution

• Building quantum computers

Tuesday, 17 April 12

Page 8: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Today

• Introduction

• Motivation for quantum computers

• The Stern-Gerlach experiment

• Course structure

• How to pass the course

• Linear algebra

• Dirac notation

• Inner products

• Tensor products

• Operators

Tuesday, 17 April 12

Page 9: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Introduction to the Course

Tuesday, 17 April 12

Page 10: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Motivation

• Simulating quantum physics (Feynman, 1982)

Tuesday, 17 April 12

Page 11: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Motivation

• Simulating quantum physics (Feynman, 1982)

• Solving classically hard computational problems

Tuesday, 17 April 12

Page 12: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Motivation

• Simulating quantum physics (Feynman, 1982)

• Solving classically hard computational problems

• Factorizing integers

Tuesday, 17 April 12

Page 13: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Motivation

• Simulating quantum physics (Feynman, 1982)

• Solving classically hard computational problems

• Factorizing integers

• Computing discrete logarithms

Tuesday, 17 April 12

Page 14: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Motivation

• Simulating quantum physics (Feynman, 1982)

• Solving classically hard computational problems

• Factorizing integers

• Computing discrete logarithms

• Approximating the Jones polynomial

Tuesday, 17 April 12

Page 15: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Motivation

• Simulating quantum physics (Feynman, 1982)

• Solving classically hard computational problems

• Factorizing integers

• Computing discrete logarithms

• Approximating the Jones polynomial

• Solving problems faster than on classical computers

Tuesday, 17 April 12

Page 16: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Motivation

• Simulating quantum physics (Feynman, 1982)

• Solving classically hard computational problems

• Factorizing integers

• Computing discrete logarithms

• Approximating the Jones polynomial

• Solving problems faster than on classical computers

• Grover’s algorithm

Tuesday, 17 April 12

Page 17: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Motivation

• Simulating quantum physics (Feynman, 1982)

• Solving classically hard computational problems

• Factorizing integers

• Computing discrete logarithms

• Approximating the Jones polynomial

• Solving problems faster than on classical computers

• Grover’s algorithm

• Unconditionally secure quantum cloud computing

Tuesday, 17 April 12

Page 18: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Quantum Effects(The Stern-Gerlach Experiment)

Tuesday, 17 April 12

Page 19: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Timetable

• Quantum mechanics [Wednesday, April 18]

• Quantum cicuits [Thursday, April 19]

• Grover’s algorithm [Friday, April 20]

• Quantum Fourier Transform [Monday, April 23]

• Simulating Clifford circuits [Tuesday, April 24]

• Quantum depth complexity [Wednesday, April 25]

• The Measurement Based Quantum Computing model [Thursday, April 26]

• Universal Blind Quantum Computing [Friday, April 27]

• Lecture chosen by students [Monday, April 30]

Tuesday, 17 April 12

Page 20: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Passing the Course

• 40% is given for attendance

• 30% for discussion in the lectures

• 30% for homework

• Homework is given on Monday, April 30

• Answers can be found in text books and/or research papers

• Working in groups is allowed

• Individual answers from everyone

Tuesday, 17 April 12

Page 21: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Some Books

• Quantum Computation and Quantum Information (2000) Michael A. Nielsen & Isaac L. Chuang

• An Introduction to Quantum Computing (2007) P. Kaye, R. Laflamme, M. Mosca

Tuesday, 17 April 12

Page 22: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Tuesday, 17 April 12

Page 23: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

|ai = ~a =

0

BBB@

a1a2...an

1

CCCA|bi = ~b =

0

BBB@

b1b2...bn

1

CCCA

hb|ai =�b⇤1 b⇤2 · · · b⇤n

�·

0

BBB@

a1a2...an

1

CCCA=

nX

i=1

b⇤i ai

Linear Algebra

Tuesday, 17 April 12

Page 24: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

the Dirac Notation

• Vector. Also known as a ket.

|ai = ~a =

0

BBB@

a1a2...an

1

CCCA

Tuesday, 17 April 12

Page 25: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

the Dirac Notation

• Vector. Also known as a ket.

• Dual vector of . Also known as a bra.

• is the complex conjugate of the complex number

|ai = ~a =

0

BBB@

a1a2...an

1

CCCA

|ai

ha| =�a⇤1 a⇤2 . . . a⇤n

(1 + i)⇤ = 1� i

zz⇤

Tuesday, 17 April 12

Page 26: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

The Inner Product

• The inner product of two complex vectors and is defined as:

• such that:

• with equality only if

|ai |bi

hb|ai =�b⇤1 b⇤2 · · · b⇤n

�·

0

BBB@

a1a2...an

1

CCCA=

nX

i=1

b⇤i ai

hb|X

i

�i|aii =nX

i

�ihb|aii

hb|ai = ha|bi⇤

ha|ai � 0 |ai = 0

Tuesday, 17 April 12

Page 27: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Operators

• A linear operator between vector spaces and is defined to be any function which is linear in its inputs,

• Linear operators can be represented as matrices.

A : V ! W

V W

A

X

i

ai|vii!

=X

i

aiA(|vii)

Tuesday, 17 April 12

Page 28: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Hermitian Conjugate(Adjoint)

• In matrix representation, the Hermitian conjugate or adjoint of a matrix A is defined as its conjugate transpose:

A† = (AT )⇤

Tuesday, 17 April 12

Page 29: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Unitary and Hermitian operators

• Unitary operators

• Hermitian operatorsUU† = I

H = H†

Tuesday, 17 April 12

Page 30: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

The Tensor Product

Tuesday, 17 April 12

Page 31: Introduction to Quantum Computing - Kursusedcourses.cs.ut.ee/2012/SKA/uploads/Main/Lecture1.pdf · • To raise interest in quantum computing • To show how quantum computers could

Tuesday, 17 April 12