Presented by : Erik Cox, Shannon Hintzman, Mike Miller, Jacquie Otto,

79
Presented by: Erik Cox, Shannon Hintzman, Mike Miller, Jacquie Otto, Adam Serdar, Lacie Zimmerman dead alive cat 2 1

description

Presented by : Erik Cox, Shannon Hintzman, Mike Miller, Jacquie Otto, Adam Serdar, Lacie Zimmerman. What’s to come…. -Brief history and background of quantum mechanics and quantum computation. -Linear Algebra required to understand quantum mechanics. -Dirac Bra-ket Notation. - PowerPoint PPT Presentation

Transcript of Presented by : Erik Cox, Shannon Hintzman, Mike Miller, Jacquie Otto,

Page 1: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Presented by:Erik Cox, Shannon Hintzman,

Mike Miller, Jacquie Otto, Adam Serdar, Lacie Zimmerman

deadalivecat 2

1

Page 2: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

What’s to come…-Brief history and background of quantum mechanics and quantum computation

-Linear Algebra required to understand quantum mechanics

-Dirac Bra-ket Notation

-Modeling quantum mechanics and applying it to quantum computation

Page 3: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

History of Quantum Mechanics

Sufficiently describes everyday things and events.

Breaks down for very small sizes (quantum mechanics) and very high speeds (theory of relativity).

Classical (Newtonian) Physics

Page 4: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Why do we need Quantum Mechanics?

In short, quantum mechanics describes behaviors that classical (Newtonian) physics cannot. Some behaviors include:

- The wave-particle duality of light and matter- Discreteness of energy

- Quantum tunneling- The Heisenberg uncertainty principle- Spin of a particle

Page 5: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Spin of a Particle- Discovered in 1922 by Otto Stern and

Walther Gerlach

- Experiment indicated that atomic particles possess intrinsic angular momentum, called

spin, that can only have certain discrete values.

Page 6: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

The Quantum Computer

Idea developed by Richard Feynman in 1982.

Concept:Create a computer that uses the effects of quantum mechanics to its advantage.

Page 7: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Classical Computer

Information

Quantum Computer

Informationvs.

- Bit, exists in two states, 0 or 1

- Qubit, exists in two states, 0 or 1, and superposition of both

Page 8: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Why are quantum computers important?

Recently, Peter Shor developed an algorithm to factor large numbers on a quantum computer. Since factoring is key to current encryption, quantum computers would be able to quickly break current cryptography techniques.

Page 9: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

In the beginning, there was Linear Algebra…

- Complex inner product spaces

- Linear Operators- Unitary Operators

- Projections

- Tensor Products

Page 10: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Complex inner product spaces njCzzzzzC jn

n ..1,|,...,,, 321 An inner product space is a complex vector space , together with a map f : V x V → F where F is the ground field C. We write <x, y> instead of f(x, y) and require that the following axioms be satisfied:

V

Page 11: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

,0,, xxVx and iff0, xx 0x

yzxzayaxzVzyxFa ,,,,,,,

*,,,, xyyxVyx

denotes complex conjugate*

(Positive Definiteness)

(Conjugate Bilinearity)

(Conjugate Symmetry)

Page 12: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Complex Conjugate:

iyxz iyxz *

1iwhere

njCzzzzzCV jnn ..1,,...,,, 321

Example of Complex Inner Product Space:

Cz Let

Vwv ,Let

nn wvwvwvwv *...**, 2211

Page 13: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Linear Operators

Example: xgdxdxfdxdxgxfdxd ///

xfdxdcxcfdxd //

yAxAyxA ˆˆˆ (Additivity) xAcxcA ˆˆ (Homogeneity)

Let and be vector spaces over , then is a linear operator if . The following properties exist:

V WWVA :ˆ

Vyx ,

C,Cc

Page 14: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Unitary Operators

tUU 1

IUUUU tt

t denotes adjoint

Properties:

Norm Preserving…

Inner Product Preserving…

Page 15: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

AdjointsMatrix

Representation

nnnnn

n

n

aaaa

aaaaaaaa

A

......

......

321

1322212

1312111

nnnnn

n

n

t

aaaa

aaaaaaaa

A

*...***...

*...****...***

321

1232221

1131211

Page 16: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Suppose VwvVVU ,,:

wvAwAv t Definition of Adjoint:

wvUUwUvU t

wvwvI (Inner Product Preserving)

vvvvUvUvU (Norm Preserving)

Page 17: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

• In quantum mechanics we use orthogonal projections.

• Definition: Let V be an inner product space over F. Let M be a subspace of V. Given an element then the orthogonal projection of y onto M is the vector which satisfies

where v is orthogonal to every element .

Vy MPy

vPyy Mm

Page 18: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

A projection operator P on V satisfies

We say P is the projection onto its range, i.e., onto the subspace

2PPP t

vPvVvW :

Page 19: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

In quantum mechanics tensor products are used with :

• Vectors• Vector Spaces• Operators• N-Fold tensor

products.

Page 20: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

If and , there is a natural mapping defined by

We use notation w v to symbolize T(w, v) and call w v the tensor product of w and v.

mCW nCV mnCVWT :

nmnnm yyxyyxyyxxT ,...,,...,,...,,...,,,..., 11111

nmmn yxyxyxyx ,...,,...,,..., 1111

Page 21: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

• W V means the vector space consisting of all finite formal sums:

where and

jiij vwa Wwi Vv j

Page 22: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

If A, B are operators on W and V we define AB on WV by

jiijjiij BvAwavwaBA

Page 23: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

4 Properties of Tensor Products

1. a(w v) = (aw) v = w (av) for all a in C;

2. (x + y) v = x v + y v;

3. w (x + y) = w x + w y;

4. w x | y z = w | y x | v .

Note: | is the notation used for inner products in quantum mechanics.

Page 24: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Property #1: a(w v) = (aw) v = w (av) for all a in C

Example in :

2C),,,()( 22122111 vwvwvwvwavwa

),,,( 22122111 vawvawvawvaw

Page 25: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Example in :2Cvwwavaw ),()( 21

vawaw ),( 21

),,,( 22122111 vawvawvawvaw

Page 26: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Example in :2C),()( 21 vvawavw ),( 21 avavw

),,,( 22122111 vawvawvawvaw

Page 27: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Property #2: (x + y) v = x v + y vExample in :

2Cvyyxxvyx )),(),(()( 2121

))),((),),((( 221121 vxxvxx

),,,( 22211211 vxvxvxvx

))),((),),((( 221121 vyyvyy

),,,( 22211211 vyvyvyvy

Page 28: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Example in :

),,,( 22122111 vxvxvxvxvyvx

),,,( 22122111 vyvyvyvy

2C

Page 29: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Property #3: w (x + y) = w x + w yExample in :

2C)),(),(()( 2121 yyxxwyxw

))),(()),,((( 212211 xxwxxw

),,,( 22122111 xwxwxwxw))),(()),,((( 212211 yywyyw

),,,( 22122111 ywywywyw

Page 30: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

2C),,,( 22122111 xwxwxwxwywxw

),,,( 22122111 ywywywyw

Example in :

Page 31: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Property #4: w x | y z = w | y x | z Example in :2C

zyxw |

)(*)()(*)( 21211111 zyxwzyxw

)(*)()(*)( 22221212 zyxwzyxw

),,,(|),,,( 2212211122122111 zyzyzyzyxwxwxwxw

Page 32: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Example in :2C zxyw ||

))(*)()(*)(( 2211 ywyw ))(*)()(*)(( 2211 zxzx

),(|),(),(|),( 21212121 zzxxyyww

Page 33: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

)))((*)(*)(())(*))((*)(( 22211111 yzxwzxyw

)))((*)(*)(())(*))((*)(( 22221122 yzxwzxyw

)(*)()(*)( 21211111 zyxwzyxw )(*)()(*)( 22221212 zyxwzyxw

Page 34: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Dirac Bra-Ket NotationNotation

Inner ProductsOuter Products

Completeness EquationOuter Product Representation of

Operators

Page 35: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Bra-Ket Notation Involves

Bra

<n| = |n>t

Ket

|n>

Vector Xn can be represented two

ways

zyxwv ***** zyxwv

*m is the complex conjugate of m

Page 36: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Inner ProductsAn Inner Product is a Bra multiplied by a Ket

<x| |y> can be simplified to <x|y>

<x|y> =

ponml

= ***** zyxwv ***** pzoynxmwlv

Page 37: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Outer ProductsAn Outer Product is a Ket multiplied by a Bra

|y><x| =

ponml

=

*****

*****

*****

*****

*****

pzpypxpwpvozoyoxowovnznynxnwnvmzmymxmwmvlzlylxlwlv

***** zyxwv

By Definition xvyvyx

Page 38: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Completeness Equation

vivivii ||||||

So Effectively

Iii ||

Let |i>, i = 1, 2, ..., n, be a basis for V

and v is a vector in V

is used to create a identity operator represented by vector products.

Page 39: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Proof for the Completeness Equation

Using Linear Algebra, the basis of a vectors space can be represented series of vectors with a one in each successive position and zeros in every other (aka {1, 0, 0, ... }, {0, 1, 0, ...}, {0, 0, 1, ...}, ...)

So |i><i| will create a matrix with a one in each successive position along the diagonal.

............

...000

...000

...001

............

...000

...010

...000

............

...100

...000

...000

etc.

Page 40: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Completeness Cont.Thus

|| ii =

............

...000

...000

...001

............

...000

...010

...000

............

...100

...000

...000

+ + + ... =

............

...100

...010

...001

= I

Page 41: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

One application of the Dirac notation is to represent

Operators in terms of inner and outer products.

1

0,

n

ji

jijAi

jAiAij

and

Page 42: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

• If A is an operator, we can represent A by applying the completeness equation twice this gives the following equation:

• This shows that any operator has an outer product representation and that the entries of the associated matrix for the basis |i are:

1

0,

n

ji

jijAi

jAiAij

Page 43: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Projections

• Projection is a type of operator• Application of inner and outer

products

Page 44: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Linear Algebra View

xyv

u

yxv We can represent graphically:

0yx Using the rule of dot products we know

ucx 0cGiven that we can say

Page 45: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Linear Algebra View (Cont.)Using these facts we can solve

x yfor and

uyucuv )(uyuucuyuc )(

yucv

0yu �Again using the rule of dot products

2ucuv We get

Page 46: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Linear Algebra View (Cont.)

2uvuc

So

uu

vuvxvy

2

uu

vux

2

Plugging this back into the original equation

Gives us:

ucx

Page 47: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Linear Algebra View (Cont.)

1uIf is a unit vector u

uvux � )( uvuvy � )(

Page 48: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Projections in Quantum Mechanics

VW VvGiven that and

x

yvW

xPv Wxyxv This graph is a representation of

Given and

Page 49: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Projections in QM (cont.)

k,...2,1 being the full basis of W

}|,...1|,|,...2|,1{| nkk

We can regard the full basis of as being

V

nckckcccv

nk

k

|...1||...2|1|

1

21On BasisCc j For some

Page 50: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Projections in QM (cont.)

ncccv n 1...21111 21

Taking the inner products gives

n

kj

n

j

n

j

jvjjvjjvjv111

vjc j Therefore and more

generally

vc 11 So

Page 51: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Projections in QM (cont.)

Wjvjxn

j

1

n

kj

jvjy1

Now set

k

j

jjP1

k

j

k

j

vjjjvjPv11

So

Page 52: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Computational Basis2CV

n

VVVVV n 2222 ...

Basis for 2CV

)0,1(0 )1,0(1

1,0

Page 53: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Computational Basis (cont.)2CA basis for will have basis

vectors:

nV Called a computational basis

1...11,...,10...00,01...00,0...00

10...0001...00 Notation:

Page 54: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Quantum States

22,12,1 : Czzzz

Thinking in terms of directions

model quantum states by directions in a vector space

1

0 1z

2z

1,0

0,1

Page 55: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,
Page 56: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Associated with an isolated quantum system is an

inner product space called the “state

space” of the system. The system at any given

time is described by a “state”, which is a unit

vector in V.

nCV

Page 57: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

• Simplest state space - or Qubit If and form a basis for , then an arbitrary qubit state has the

form , where a and b inhave .

• Qubit state differs from a bit because “superpositions” of an arbitrary qubit state are possible.

2CV 0| 1| V

1|0|| bax C1|||| 22 ba

Page 58: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

The evolution of an isolated quantum system is

described by a unitary operator on its state space.

The state is related to the state by a

unitary operator i.e., .

)(| 2t)(| 1t

2,1 ttU )(|)(| 1,2 21tUt tt

Page 59: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Quantum measurements are described by a

finite set, {Pm}, of projections acting on the

state space of the system being measured.

Page 60: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

• If the state of the system is immediately

before the measurement, then the probability that

the result m occurs is given by

.

|

||)( mPmp

Page 61: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

• If the result m occurs, then the state of the

system immediately after the measurement is

)(|

|||

2/1 mpP

PP m

m

m

Page 62: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

The state space of a composite quantum system is

the tensor product of the state of its components.

If the systems numbered 1 through n are prepared

in states , i = 1,…, n, then the joint state of

the composite total system is .

)(| it

n || 1

Page 63: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Product vs. Entangled States

Product State – a state in Vn is called a product state if it has the form:

Entangled State – if is a linear combination of that can’t be written as a product state

si'

Page 64: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Example of anEntangled State

The 2-qubit in the state

Suppose:

|00 + |11 = |a |b for some |a and |b. Taking inner products with |00, |11, and |01 and applying the state space property of tensor products (states |i, i=1, …, n, then the joint state of the composite total system is |1 · · · |n) gives

0|a 0|b = 1, 1|a 1|b = 1, and 0|a 1|b = 0, respectively. Since neither 0|a nor 1|b is 0, this gives a contradiction

2/1100

Page 65: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Tying it all Together

With an example of a 2-qubit

Page 66: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Example of a 2-qubit

• A qubit is a 2-dimensional quantum system (say a photon) and a 2-qubit is a composite of two qubits

• 2-qubits “live” in the vector space 22 CC

Page 67: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Suppose that is an example of a 2 component system with being a linear combination of basic qubits with amplitude being the coefficients:

In which

11100100 3210 aaaa

123

22

21

20 aaaa

Page 68: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Measuring the 1st qubit• When we measure the first qubit in the composite

system, the measuring apparatus interacts with the 1st qubit and leaves the 2nd qubit undisturbed (postulate 4), similarly when we measure the 2nd qubit the measuring device leaves the 1st qubit undisturbed

• Thus, we apply the measurement ,in which

IP

IP

11

00

1

0

10 , PP

Page 69: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Leading to the probabilities and post measurement states…

21

201001 01000 aaaaPp

21

20

10

1

001

01000 aa

aap

P

Using postulate 3 the probability that 0 occurs is given by

If the result 0 occurs, then the state of the system immediately after the measurement is given by

Page 70: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Similarly we obtain the result 1 on the 1st qubit with probability…

23

2211 1 aaPp

Resulting in the post-measurement state…

23

22

32

1

111

11101 aa

aap

P

Page 71: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

In the same way for the second qubit…

,1

,0

23

212

22

202

aap

aap

23

21

3112

22

20

2002

1101

1000

aa

aa

aa

aa

Page 72: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Consider the entangled 2-qubit

2/1100

Page 73: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

2/1100

21 ,0 ,0 ,

21

3210 aaaa

We consider with amplitudes

Page 74: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

After applying Quantum Measurement Techniques

211010 2211 pppp

11 ,00 12

11

02

01 vvvv

the post measurement states are

(A Perfectly Correlated Measurement)

The probabilities for each state for each qubit are all 1/2

Page 75: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Conclusion

• Brief History of Quantum Mechanics• Tools Of Linear Algebra

– Complex Inner Product Spaces– Linear and Unitary Operators– Projections– Tensor Products

Page 76: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Conclusion Cont.

• Dirac Bra-Ket Notation– Inner and Outer Products– Completeness Equation– Outer Product Representations– Projections– Computational Bases

Page 77: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Conclusion Cont. (again)

• Mathematical Model of Quantum Mech.– Quantum States– Postulates of Quantum Mechanics– Product vs. Entangled States

Page 78: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Where do we go from here?

• Quantum Circuits• Superdense Coding and Teleportation

Page 79: Presented by : Erik Cox, Shannon Hintzman,  Mike Miller, Jacquie Otto,

Bibliography

http://en.wikipedia.org/wiki/Inner_product_space

http://vergil.chemistry.gatech.edu/notes/quantrev/node14.html

http://en2.wikipedia.org/wiki/Linear_operator

http://vergil.chemistry.gatech.edu/notes/quantrev/node17.html

http://www.doc.ic.ad.uk/~nd/surprise_97/journal/vol4/spb3/

http://www-theory.chem.washington.edu/~trstedl/quantum/quantum.html

Gudder, S. (2003-March). Quantum Computation. American Mathmatical Monthly. 110, no. 3,181-188.

Special Thanks to: Dr. Steve Deckelman

Dr. Alan Scott