computing with quanta for mathematics students mikio nakahara department of physics & research...

73
Computing with Computing with Quanta Quanta for mathematics students for mathematics students Mikio Nakahara Mikio Nakahara Department of Physics & Department of Physics & Research Centre for Quantum Research Centre for Quantum Computing Computing Kinki University, Japan Kinki University, Japan Financial supports from Kinki Univ., MEXT and JSPS

Upload: tamsyn-sparks

Post on 13-Dec-2015

214 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Computing with Computing with QuantaQuanta

for mathematics students for mathematics students

Mikio NakaharaMikio NakaharaDepartment of Physics & Department of Physics & Research Centre for Quantum Research Centre for Quantum ComputingComputingKinki University, JapanKinki University, Japan

Financial supports from Kinki Univ.,

MEXT and JSPS

Page 2: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Table of Contents 1. Introduction: Computing with Physics 2. Computing with Vectors and Matrices 3. Brief Introduction to Quantum Theory 4. Quantum Gates, Quantum Circuits and

Quantum Computer 5. Quantum Teleportation 6. Simple Quantum Algorithm 7. Shor’s Factorization Algorithm

2

Page 3: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

I. Introduction: Computing with PhysicsI. Introduction: Computing with Physics

3

Page 4: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

More complicated Example

4

Page 5: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Quantum Computing/Information Processing

Quantum computation & information processing make use of quantum systems to store and process information.

Exponentially fast computation, totally safe cryptosystem, teleporting a quantum state are possible by making use of states & operations which do not exist in the classical world.

5

Page 6: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Table of Contents 1. Introduction: Computing with Physics 2. Computing with Vectors and Matrices 3. Brief Introduction to Quantum Theory 4. Quantum Gates, Quantum Circuits and

Quantum Computer 5. Quantum Teleportation 6. Simple Quantum Algorithm 7. Shor’s Factorization Algorithm

6

Page 7: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

2. Computing with Vectors and Matrices2.1 Qubit

Colloquium @ William & Mary 7

Page 8: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Qubit |ψ 〉

8

Page 9: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Bloch Sphere: S3 → S2

Colloquium @ William & Mary

π

9

Page 10: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

2.2 Two-Qubit System

10

Page 11: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Tensor Product Rule

Colloquium @ William & Mary 11

Page 12: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Entangled state (vector)

Colloquium @ William & Mary 12

Page 13: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

2.3 Multi-qubit systems

13

Page 14: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

2.4 Algorithm = Unitary Matrix

14

Page 15: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Unitary Matrices acting on n qubits

Colloquium @ William & Mary 15

Page 16: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Table of Contents 1. Introduction: Computing with Physics 2. Computing with Vectors and Matrices 3. Brief Introduction to Quantum Theory 4. Quantum Gates, Quantum Circuits and

Quantum Computer 5. Quantum Teleportation 6. Simple Quantum Algorithm 7. Shor’s Factorization Algorithm

16

Page 17: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

3. Brief Introduction to Quantum Theory

Colloquium @ William & Mary 17

Page 18: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Axioms of Quantum Physics

Colloquium @ William & Mary 18

Page 19: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Example of a measurement

Colloquium @ William & Mary 19

Page 20: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Axioms of Quantum Physics (cont’d)

Colloquium @ William & Mary 20

Page 21: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Qubits & Matrices in Quantum Physics

Colloquium @ William & Mary 21

Page 22: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Actual Qubits

Colloquium @ William & Mary 22

Trapped Ions

Molecules (NMR)

Neutral Atoms

Superconductors

Page 23: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Table of Contents 1. Introduction: Computing with Physics 2. Computing with Vectors and Matrices 3. Brief Introduction to Quantum Theory 4. Quantum Gates, Quantum Circuits and

Quantum Computer 5. Quantum Teleportation 6. Simple Quantum Algorithm 7. Shor’s Factorization Algorithm

23

Page 24: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

4. Quantum Gates,4. Quantum Gates, Quantum Circuit Quantum Circuit and Quantum Computerand Quantum Computer

24

Page 25: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 25

Page 26: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

4.2 Quantum Gates

26

Page 27: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Hadamard transform

27

Page 28: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 28

Page 29: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

4.3 Universal Quantum Gates

29

Page 30: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

4.4 Quantum Parallelism

30

Page 31: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Table of Contents 1. Introduction: Computing with Physics 2. Computing with Vectors and Matrices 3. Brief Introduction to Quantum Theory 4. Quantum Gates, Quantum Circuits and

Quantum Computer 5. Quantum Teleportation 6. Simple Quantum Algorithm 7. Shor’s Factorization Algorithm

31

Page 32: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

5. Quantum Teleportation

Colloquium @ William & Mary 32

Unknown Q State

Initial State

Bob

Alice

Page 33: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Q Teleportation Circuit

Colloquium @ William & Mary 33

Page 34: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 34

As a result of encoding, qubits 1 and 2 are entangled.

When Alice measures her qubits 1 and 2, she will obtain one of 00, 01, 10, 11. At the same time, Bob’s qubit is fixed to be one of the four states. Alice tells Bob what readout she has got.Upon receiving Alice’s readout, Bob will know how his qubit is different from the original state (error type). Then he applies correcting transformation to his qubit to reproduce the original state.

Note that neither Alice nor Bob knows the initial state

Example: 11

Page 35: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Table of Contents 1. Introduction: Computing with Physics 2. Computing with Vectors and Matrices 3. Brief Introduction to Quantum Theory 4. Quantum Gates, Quantum Circuits and

Quantum Computer 5. Quantum Teleportation 6. Simple Quantum Algorithm 7. Shor’s Factorization Algorithm

35

Page 36: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

5. Simple Quantum Algorithm5. Simple Quantum Algorithm- - Deutsch’s Algorithm -Deutsch’s Algorithm -

36

Page 37: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 37

Page 38: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 38

Page 39: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Table of Contents 1. Introduction: Computing with Physics 2. Computing with Vectors and Matrices 3. Brief Introduction to Quantum Theory 4. Quantum Gates, Quantum Circuits and

Quantum Computer 5. Quantum Teleportation 6. Simple Quantum Algorithm 7. Shor’s Factorization Algorithm

39

Page 40: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Difficulty of Prime Number Facotrization

Factorization of N=89020836818747907956831989272091600303613264603794247032637647625631554961638351 is difficult.

It is easy, in principle, to show the product of p=9281013205404131518475902447276973338969 and q =9591715349237194999547 050068718930514279 is N.

This fact is used in RSA (Rivest-Shamir-Adleman) cryptosystem.

40

Page 41: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Shor’s Factorization algorithm

41

Page 42: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Realization using NMR (15=3×5)L. M. K. Vandersypen et al (Nature 2001)

42

Page 43: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

NMR molecule and pulse sequence ( (~300 pulses~ 300 gates)

perfluorobutadienyl iron complex with the two 13C-labelledinner carbons 43

Page 44: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 44

Page 45: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Foolproof realization is discouraging …? Vartiainen, Niskanen, Nakahara, Salomaa (2004)

Foolproof implementation of factorization 21=3 X 7 with Shor’s algorithm requires at least 22 qubits and approx. 82,000 steps!

45

Page 46: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Summary Quantum information is an emerging discipline in

which information is stored and processed in a quantum-mechanical system.

Quantum information and computation are interesting field to study. (Job opportunities at industry/academia/military).

It is a new branch of science and technology covering physics, mathematics, information science, chemistry and more.

Thank you very much for your attention!

46

Page 47: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 47

Page 48: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

4. 量子暗号鍵配布

三省堂サイエンスカフェ  2009 年 6月 48

Page 49: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

 量子暗号鍵配布 1

三省堂サイエンスカフェ  2009 年 6月 49

Page 50: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

量子暗号鍵配布 2

三省堂サイエンスカフェ  2009 年 6月 50

Page 51: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

量子暗号鍵配布 3

三省堂サイエンスカフェ  2009 年 6月 51

Page 52: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

量子暗号鍵配布 4

三省堂サイエンスカフェ  2009 年 6月 52

イブがいなければ、 4N の量子ビットのうち、平均して 2N 個は正しく伝わる。

Page 53: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

イブの攻撃

三省堂サイエンスカフェ  2009 年 6月 53

2N 個の正しく送受された量子ビットのうち、その半分の N 個を比べる。もしイブが盗聴すると、その中のいくつか (25 %) は間違って送受され、イブの存在が明らかになる。

Page 54: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Table of Contents 1. Introduction: Computing with Physics 2. Computing with Vectors and Matrices 3. Brief Introduction to Quantum Theory 4. Quantum Gates, Quantum Circuits and

Quantum Computer 5. Simple Quantum Algorithm 6. Shor’s Factorization Algorithm 7. Time-Optimal Implementation of SU(4) Gate

54

Page 55: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 55

7. Time-Optimal Implementation of SU(4) Gate

Barenco et al’s theorem does not claim any optimality of gate implementation.

Quantum computing must be done as quick as possible to avoid decoherence (decay of a quantum state due to interaction with the environment). Shortest execution time is required.

Page 56: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 56

7.1 Computational path in U(2n)

Page 57: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 57

Map of Kyoto

Page 58: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 58

7.2 Optimization of 2-qubit gates

Page 59: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 59

NMR HamiltonianNMR Hamiltonian

Page 60: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 60

Time-Optimal Path in SU(4)Time-Optimal Path in SU(4)

Page 61: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 61

Cartan Decomposition of SU(4)Cartan Decomposition of SU(4)

Page 62: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 62

How to find the Cartan DecompositionHow to find the Cartan Decomposition

Page 63: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 63

Page 64: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 64

Example: CNOT gate

Page 65: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary 65

Page 66: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

奈良女子大学セミナー 28 Jan. 2005 66

6. Warp-Drive 6. Warp-Drive を用いた量子アルゴリを用いた量子アルゴリズムの加速 ズムの加速  (quant-ph/0411153)(quant-ph/0411153)

Page 67: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

奈良女子大学セミナー 28 Jan. 2005 67

Page 68: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

奈良女子大学セミナー 28 Jan. 2005 68

Page 69: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

奈良女子大学セミナー 28 Jan. 200569

7. 7. 実験結果実験結果

Carbon-13 で置換したクロロフォルム   qubit 1 = 13C, qubit 2 = H

  初期状態 出力状態   

Qubit 1

Qubit 2

Page 70: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

奈良女子大学セミナー 28 Jan. 2005 70

Field Gradient 法による NMR スペクトル

10 パルス 4 パルス, 1/J 1/2J によるスペクトルの改善

Page 71: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

奈良女子大学セミナー 28 Jan. 200571

8. Summary I: Cartan8. Summary I: Cartan 分解分解

Page 72: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

奈良女子大学セミナー 28 Jan. 200572

Summary II: Warp-DriveSummary II: Warp-Drive

Page 73: Computing with Quanta for mathematics students Mikio Nakahara Department of Physics & Research Centre for Quantum Computing Kinki University, Japan Financial

Colloquium @ William & Mary

Power of Entanglement

73