sources - computer action teamweb.cecs.pdx.edu/~mperkows/temp/june16/0009.quantum... · 2004. 2....

32
Quantum Computing Quantum Computing Lecture on Linear Algebra Sources: Sources: Angela Antoniu, Bulitko, Rezania, Chuang, Nielsen

Upload: others

Post on 25-Mar-2021

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Quantum ComputingQuantum Computing

Lecture on Linear Algebra

Sources:Sources: AngelaAntoniu, Bulitko, Rezania,Chuang, Nielsen

Page 2: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Introduction to Quantum MechanicsIntroduction to Quantum Mechanics•• Review Review Chapters 1 and 2 from from Chuang Chuang and Nielsenand Nielsen• Objective

– To introduce all of the fundamental principles of Quantummechanics

• Quantum mechanics– The most realistic known description of the world– The basis for quantum computing and quantum information

• Why Linear Algebra?– LA is the prerequisite for understanding Quantum Mechanics

• What is Linear Algebra?– … is the study of vector spaces… and of– linear operations on those vector spaces

Page 3: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Linear algebra -Linear algebra -Lecture objectivesLecture objectives

• Review basic concepts from Linear Algebra:– Complex numbers– Vector Spaces and Vector Subspaces– Linear Independence and Bases Vectors– Linear Operators– Pauli matrices– Inner (dot) product, outer product, tensor product– Eigenvalues, eigenvectors, Singular Value Decomposition (SVD)

• Describe the standard notations (the Dirac notations)adopted for these concepts in the study of Quantummechanics

• … which, in the next lecture, will allow us to study themain topic of the Chapter: the postulates of quantummechanics

Page 4: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Review: The Complex Number SystemReview: The Complex Number System

• It is the extension of the real number system via closureunder exponentiation.

• (Complex) conjugate:c* = (a + bi)* ≡ (a − bi)

• Magnitude or absolute value:

|c|2 = c*c = a2+b2

1-≡i )( RC ∈∈ a,b,c

bcac

bac

≡≡

+=

][][

ImRe

i

“Real” axis+

+i

−i “Imaginary”axis

The “imaginary”unit

a

b c

22* ))(( bababaccc +=+−=≡ ii

Page 5: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Review: ComplexReview: ComplexExponentiationExponentiation

• Powers of i are complex units:

• Note:eπi/2 = ieπi = −1e3π i /2 = − ie2π i = e0 = 1

θθ sincos iθi +≡e+1

+i

−1

−i

eθi

θ

Page 6: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Recall:Recall: What is a What is a qubitqubit??• A qubit has two possible states

• Unlike bits, a quibit can be in a state other than

• We can form linear combinations of states

• A quibit state is a unit vector in a two dimensionalcomplex vector space

0 or 1

0 or 1

0 1ψ α β= +

Page 7: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Properties ofProperties of Qubits Qubits• Qubits are computational basis states - orthonormal basis

- we cannot examine a qubit to determine its quantum state- A measurement yields

0 for

1 for

ij ij

i ji j

i jδ δ

≠= = =

20 with probability α 21 with probability β

2 2where 1α β+ =

Page 8: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Complex numbersComplex numbers• A complex number is of the form

where and i2=-1• Polar representation

• With the modulus or magnitude

• And the phase

• Complex conjugateconjugate

nnn ibaz +=R ,ba

nn∈Czn ∈

where, R,θueuz nn

i

nnn ∈= θ

22

nnn bau +=

=

nn

n abarctanθ

( )nnnn iuz θθ sincos += ( ) nnnnn ibaibaz −=+= ∗∗

Page 9: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

(Abstract) Vector Spaces(Abstract) Vector Spaces• A concept from linear algebra.• A vector space, in the abstract, is any set of objects that can be

combined like vectors, i.e.:– you can add them

• addition is associative & commutative• identity law holds for addition to zero vector 0

– you can multiply them by scalars (incl. −1)• associative, commutative, and distributive laws hold

• Note: There is no inherent basis (set of axes)– the vectors themselves are the fundamental objects– rather than being just lists of coordinates

Page 10: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

• A Hilbert space is a vector space in which thescalars are complex numbers, with an innerproduct (dot product) operation • : H×H → C

– Definition of inner product:x•y = (y•x)* (* = complex conjugate)x•x ≥≥≥≥ 0x•x = 0 if and only if x = 0x•y is linear, under scalar multiplication and vector addition within both x and y

x

y

x•y/|x|yxyx ≡•

Another notation often used:

“Component”picture:

“bracket”

Page 11: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Vector Representation of StatesVector Representation of States• Let S={s0, s1, …} be a maximal set of

distinguishable states, indexed by i.• The basis vector vi identified with the ith such state

can be represented as a list of numbers: s0 s1 s2 si-1 si si+1

vi = (0, 0, 0, …, 0, 1, 0, … )• Arbitrary vectors v in the Hilbert space can then be

defined by linear combinations of the vi:

• And the inner product is given by:),,( 10 �ccc

iii ==∑ vv

∑=i

iyxi

*yx

Page 12: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Dirac’s KetDirac’s Ket Notation Notation• Note: The inner product

definition is the same as thematrix product of x, as aconjugated row vector, timesy, as a normal column vector.

• This leads to the definition, for state s, of:– The “bra” ⟨s| means the row matrix [c0* c1* …]– The “ket” |s⟩ means the column matrix →

• The adjoint operator † takes any matrix Mto its conjugate transpose M† ≡ MT*, so⟨s| can be defined as |s⟩†, and x••••y = x†y.

∑=i

iyxi

*yx

[ ]

=p

o 2

1*

2*

1 yy

xx

“Bracket”

2

1

cc

Page 13: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

VectorsVectors• Characteristics:

– Modulus (or magnitude)– Orientation

• Matrix representation of a vector

[ ] vector)(row ,,

dual its and column), (a

1

1

∗∗==

=

n

n

zzz

z

vv

v

τ

Page 14: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Vector Space, definition:Vector Space, definition:• A vector space (of dimension n) is a set of n vectors

satisfying the following axioms (rules):– Addition: add any two vectors and pertaining to a

vector space, say Cn, obtain a vector,

the sum, with the properties :

• Commutative:• Associative:• Any has a zero vector (called the origin):• To every in Cn corresponds a unique vector - such as

– Scalar multiplication: ���� next slide

v 'v

+

+=+

'

'11

'nn zz

zz�vv

vvvv +=+ ''( ) ( )'''''' vvvvvv ++=++

v0v =+vv

v

( ) 0vv =−+

Page 15: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Vector Space (Vector Space (contcont))��Scalar Scalar multiplication: for any scalarmultiplication: for any scalar

�� Multiplication by scalars is Associative: Multiplication by scalars is Associative:��

distributive with respect to vector addition: distributive with respect to vector addition:

�� Multiplication by vectors is Multiplication by vectors is distributive with respect to scalar addition: distributive with respect to scalar addition:

��A Vector subspace A Vector subspace in an in an n-dimensional vectorn-dimensional vectorspace space is a non-empty subset of vectors satisfying the sameis a non-empty subset of vectors satisfying the sameaxiomsaxioms

hat such way tin product,scalar the,

vectora is therev vector and 1

=

∈∈

n

n

zz

zzz

CCz

�v

( ) ( ) vv '' zzzz =

vv =1

( ) '' vvvv zzz +=+

( ) vvv '' zzzz +=+

in such way thatin such way that

Page 16: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Basis vectorsBasis vectors��Or Or SPANNING SET for SPANNING SET for CCnn: any set of n vectors such that: any set of n vectors such thatany vector in the vector space in the vector space CCnn can be written using the can be written using the n nbase vectorsbase vectors

�Example for C2 (n=2):

which is a linear combination of the 2 dimensionalbasis vectors and0 1

Page 17: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Bases and LinearBases and LinearIndependenceIndependence

Always exists!Always exists!

Page 18: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

(Sometimes denoted by bold fonts)(Sometimes denoted by bold fonts)

(Sometimes called (Sometimes called KroneckerKroneckermultiplication)multiplication)

Page 19: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from
Page 20: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

�Properties: Unitary

and Hermitian( ) kkk ∀= ,Iσσ τ

( ) kk σσ =τ

X is like inverterX is like inverter

Page 21: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from
Page 22: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Eigenvalues Eigenvalues and and EigenvectorsEigenvectors

Hilbert Hilbert Space:Space:

OrthogonalityOrthogonality::

Norm:Norm:

OrthonormalOrthonormal basis: basis:

More on Inner ProductsMore on Inner Products

Page 23: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from
Page 24: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Eigenvalues Eigenvalues and and EigenvectorsEigenvectors

Page 25: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Hermitian Hermitian OperatorsOperators

Page 26: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Unitary and PositiveUnitary and PositiveOperatorsOperators

Page 27: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from
Page 28: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

More on TensorMore on TensorProductsProducts

Page 29: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Functions ofFunctions ofOperatorsOperators

Page 30: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Trace andTrace andCommutatorCommutator

Page 31: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from
Page 32: Sources - Computer Action Teamweb.cecs.pdx.edu/~mperkows/temp/June16/0009.Quantum... · 2004. 2. 16. · Introduction to Quantum Mechanics • Review Review Chapters 1 and 2 from

Bibliography & acknowledgementsBibliography & acknowledgements

• Michael Nielsen and Isaac Chuang, QuantumComputation and Quantum Information, CambridgeUniversity Press, Cambridge, UK, 2002

• R. Mann,M.Mosca, Introduction to QuantumComputation, Lecture series, Univ. Waterloo, 2000http://cacr.math.uwaterloo.ca/~mmosca/quantumcoursef00.htm

• Paul Halmos, Finite-Dimensional Vector Spaces,Springer Verlag, New York, 1974