csep 590tv: quantum computing dave bacon june 29, 2005 today’s menu administrivia complex numbers...

64
CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Upload: peter-bailey

Post on 24-Dec-2015

215 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

CSEP 590tv: Quantum ComputingDave Bacon

June 29, 2005

Today’s Menu

Administrivia

Complex Numbers

Bra’s Ket’s and All That

Quantum Circuits

Page 2: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Administrivia Changes: slowing down.

Mailing list: sign up on sheet being passed around.

In class problems: hardness on the same order of magnitude as the homework problems.

Problem Set 1: has been posted. Anyone who didn’t get myemail about the first homework being canceled, please let meknow and we will arrange accordingly.

Think: Physics without CalculusQuantum theory with a minimal of linear algebra

Office Hours: Ioannis Giotis, 5:30-6:30 Wednesday in 430 CSE

Page 3: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Last WeekLast week we saw that there is a big motivation for understandingquantum computers. BIG PICTURE: understanding quantum information processing machines is the goal of this class!

We also saw that there were there funny postulates describing quantum systems.

This week we will be slowing down and understanding the basicworkings of quantum theory by understanding one qubit and twoqubit systems.

Page 4: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Quantum Theory’s Language“Complex linear algebra” is the language of quantum theory

Today we will go through this slowly1. Complex numbers2. Complex vectors3. Bras, Kets, and all that(in class problem)4. Qubits5. Measuring Qubits6. Evolving Qubits(in class problem)7. Two qubits: the tensor product8. Quantum circuits(in class problem)

Page 5: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

MathMathematics as a series of discoveries of objects whoat first you don’t believe exist, and then after you findout they do exist, you discover that they are actually useful!

irrationalnumbers

Page 6: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Complex Numbers, DefinitionComplex numbers are numbers of the form

real real

“square root of minus one”

Examples:

“purely real”

“purely imaginary”

roots of

Page 7: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Complex Numbers, GeometryComplex numbers are numbers of the form

real real

“square root of minus one”

Complex plane:

real axis

imaginary axis

Page 8: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Complex Numbers, MathComplex numbers can be added

Example:

and multiplied

Example:

Page 9: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Complex Numbers, That * ThingWe can take the complex conjugate of a complex number

Example:

We can find its modulus

Example:

Page 10: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Complex Numbers, Modulus

Modulus is the length of the complex number in the complexplane:

real axis

imaginary axis

Modulus

Page 11: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Complex Numbers, EulerEuler’s formula

Example:

The modulus of

Some important cases:

Page 12: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Complex Numbers, PhasesEuler’s formula geometrically

real axis

imaginary axis

phase angle

Multiplying phases is beautiful:

Conjugating phases is also beautiful:

Page 13: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Complex Numbers, GeometryAll complex numbers can be expressed as:

real axis

imaginary axisphase angle

modulus, magnitude

Page 14: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Complex Numbers, GeometryAll complex numbers can be expressed as:

Example:

real axis

Page 15: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Complex Numbers, MultiplyingAll complex numbers can be expressed as:

It is easy to multiply complex numbers when they are in this form

Example:

Page 16: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Complex VectorsN dimensional complex vector is a list of N complex numbers:

Example:

3 dimensional complex vectors

(we start counting at 0 because eventually N will be a a power of 2)

is the th component of the vector

“column vector”“ket”

Page 17: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Complex Vectors, Scalar TimesComplex numbers can be multiplied by a complex number

Example:

3 dimensional complex vector multiplied by a complex number

is a complex number

Page 18: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Complex Vectors, AdditionComplex numbers can be added

Addition and multiplication by a scalar:

Page 19: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Complex Vectors, Addition

Examples:

Page 20: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Vectors, AdditionRemember adding real vectors looks geometrically like:

We should have a similar picture in mind for complex vectors

But the components of our vector are now complex numbers

Page 21: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Computational BasisSome special vectors:

Example:

2 dimensional complex vectors (also known as: a qubit!)

Page 22: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Computational BasisVectors can be “expanded” in the computational basis:

Example:

Page 23: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Computational Basis Math

Example:

Page 24: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Computational Basis Math

Example:

Page 25: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Bras and KetsFor every “ket,” there is a corresponding “bra” & vice versa

Examples:

Page 26: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Bras, MathMultiplied by complex number

Example:

Added

Example:

Page 27: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Computational BrasComputational Basis, but now for bras:

Example:

Page 28: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

The Inner ProductGiven a “bra” and a “ket” we can calculate an “inner product”

This is a generalization of the dot product for real vectors

The result of taking an inner product is a complex number

Page 29: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

The Inner Product

Example:

Complex conjugate of inner product:

Page 30: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

The Inner Product in Comp. Basis

Kronecker delta

Inner product of computational basis elements:

Page 31: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

The Inner Product in Comp. Basis

Example:

Page 32: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

In Class Problem # 1

Page 33: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Norm of a VectorNorm of a vector:

which is always a positive real number

Example:

it is (roughly) the length of the complex vector

Page 34: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Quantum Rule 1Rule 1: The wave function of a N dimensional quantum system is given by an N dimensional complex vector with norm equal to one.

Example:

a valid wave function for a 3 dimensional quantum system

Page 35: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

QubitsTwo dimensional quantum systems are called qubits

A qubit has a wave function which we write as

Examples:

Valid qubit wave functions:

Invalid qubit wave function:

Page 36: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Measuring QubitsA bit is a classical system with two possible states, 0 and 1

A qubit is a quantum system with two possible states, 0 and 1

When we observe a qubit, we get the result 0 or the result 1

0 1or

If before we observe the qubit the wave function of the qubit is

then the probability that we observe 0 is

and the probability that we observe 1 is

“measuring in the computational basis”

Page 37: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Measuring Qubits

We are given a qubit with wave function

If we observe the system in the computational basis, then weget outcome 0 with probability

and we get outcome 1 with probability:

Example:

Page 38: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Measuring Qubits ContinuedWhen we observe a qubit, we get the result 0 or the result 1

0 1or

If before we observe the qubit the wave function of the qubit is

then the probability that we observe 0 is

and the probability that we observe 1 is

“measuring in the computational basis”

and the new wave function for the qubit is

and the new wave function for the qubit is

Page 39: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Measuring Qubits Continued

0

1

probability

probability

new wave function

new wave function

The wave function is a description of our system.

When we measure the system we find the system in one state

This happens with probabilities we get from our description

Page 40: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Measuring Qubits

We are given a qubit with wave function

If we observe the system in the computational basis, then weget outcome 0 with probability

and we get outcome 1 with probability:

Example:

new wave function

new wave function

Page 41: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Measuring Qubits

We are given a qubit with wave function

If we observe the system in the computational basis, then weget outcome 0 with probability

and we get outcome 1 with probability:

Example:

new wave function

a.k.a never

Page 42: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Quantum Rule 3Rule 3: If we measure a N dimensional quantum system withthe wave function

in the basis, then the probability ofobserving the system in the state is . After such a measurement, the wave function of the system is

0

1

probability

probability

new wave function

new wave function

N-1new wave functionprobability

Page 43: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

MatricesA N dimensional complex matrix M is an N by N array of complex numbers:

are complex numbers

Example:

Three dimensional complex matrix:

Page 44: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Matrices, Multiplied by ScalarMatrices can be multiplied by a complex number

Example:

Page 45: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Matrices, AddedMatrices can be added

Example:

Page 46: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Matrices, MultipliedMatrices can be multiplied

Page 47: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Matrices, Multiplied

Example:

Note:

Page 48: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Matrices and Kets, MultipliedGiven a matrix, and a column vector:

These can be multiplied to obtain a new column vector:

Page 49: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Matrices and Kets, Multiplied

Example:

Page 50: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Matrices and Bras, MultipliedGiven a matrix, and a row vector:

These can be multiplied to obtain a new row vector:

Page 51: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Matrices and Bras, Multiplied

Example:

Page 52: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Matrices, Complex ConjugateGiven a matrix, we can form its complex conjugate by conjugating every element:

Example:

Page 53: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Matrices, TransposeGiven a matrix, we can form it’s transpose by reflecting acrossthe diagonal

Example:

Page 54: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Matrices, Conjugate TransposeGiven a matrix, we can form its conjugate transpose by reflecting across the diagonal and conjugating

Example:

Page 55: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Bras, Kets, Conjugate TransposeTaking the conjugate transpose of a ket

gives the corresponding bra:

Similarly we can take the conjugate transpose of a bra to getthe corresponding ket:

Page 56: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Unitary MatricesA matrix is unitary if

N x N identitymatrix

Equivalently a matrix is unitary if

Page 57: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Unitary ExampleConjugate:

Conjugate transpose:

Unitary?

Yes:

Page 58: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Quantum Rule 2Rule 2: The wave function of a N dimensional quantum system evolves in time according to a unitary matrix . If the wave function initially is then after the evolution correspond to the new wave function is

“Unitary Evolution”

Page 59: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Unitary Evolution and the Norm

Unitary evolution

What happens to the norm of the ket?

Unitary evolution does not change the length of the ket.

Normalized wave function Normalized wave function

unitary evolution

Page 60: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Unitary Evolution for QubitsUnitary evolution will be described by a two dimensional unitary matrix

If initial qubit wave function is

Then this evolves to

Page 61: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Unitary Evolution for Qubits

Page 62: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Single Qubit Quantum CircuitsCircuit diagrams for evolving qubits

quantum wiresingle line = qubit

inputqubit wave function

quantum gate

output qubitwave function

time

Page 63: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

Single Qubit Quantum CircuitsTwo unitary evolutions:

measurement in the basis

Probability of outcome 0:

Probability of outcome 1:

Page 64: CSEP 590tv: Quantum Computing Dave Bacon June 29, 2005 Today’s Menu Administrivia Complex Numbers Bra’s Ket’s and All That Quantum Circuits

In Class Problem #2