CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum...

66
CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements Superdense Coding
  • date post

    21-Dec-2015
  • Category

    Documents

  • view

    223
  • download

    1

Transcript of CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum...

Page 1: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

CSEP 590tv: Quantum ComputingDave BaconJuly 13, 2005

Today’s Menu

Deutsch’s Algorithm

Quantum Teleportation

Administrivia

Circuit Elements

Partial Measurements

Superdense Coding

Page 2: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Administrivia

Hand in HW #2

Pick up HW #3 (due July 20)

HW #1 solution available on website

Page 3: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

RecapUnitary rotations and measurements in different basis

Two qubits.

Separable versus Entangled.

Single qubit versus two qubit unitaries

Page 4: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Partial MeasurementsSay we measure one of the two qubits of a two qubit system:

1. What are the probabilities of the different measurementoutcomes?

2. What is the new wave function of the system after weperform such a measurement?

Page 5: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Matrices, Bras, and KetsSo far we have used bras and kets to describe row and columnvectors. We can also use them to describe matrices:

Outer product of two vectors:

Example:

Page 6: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Matrices, Bras, and KetsWe can expand a matrix about all of the computational basisouter products

Example:

Page 7: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Matrices, Bras, and KetsWe can expand a matrix about all of the computational basisouter products

This makes it easy to operate on kets and bras:

complex numbers

Page 8: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Matrices, Bras, and Kets

Example:

Page 9: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

ProjectorsThe projector onto a state (which is of unit norm) is given by

Note that

and that

Projects onto the state:

Example:

Page 10: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Measurement RuleIf we measure a quantum system whose wave function isin the basis , then the probability of getting the outcomecorresponding to is given by

where

The new wave function of the system after getting themeasurement outcome corresponding to is given by

For measuring in a complete basis, this reduces to our normalprescription for quantum measurement, but…

Page 11: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Measuring One of Two QubitsSuppose we measure the first of two qubits in the computational basis. Then we can form the two projectors:

If the two qubit wave function is then the probabilities ofthese two outcomes are

And the new state of the system is given by either

Outcome was 0 Outcome was 1

Page 12: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Measuring One of Two QubitsExample:

Measure the first qubit:

Page 13: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Instantaneous Communication?Suppose two distant parties each have a qubit and theirjoint quantum wave function is

If one party now measures its qubit, then…

The other parties qubit is now either the or

Instantaneous communication? NO.Why NO? These two results happen with probabilities.

Correlation does not imply communication.

Page 14: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

In Class Problem 1

Page 15: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

You Are Now a Quantum Master

Page 16: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Important Single Qubit UnitariesPauli Matrices:

“bit flip”

“phase flip”

“bit flip” is just the classical not gate

Page 17: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Important Single Qubit Unitaries

“bit flip” is just the classical not gate

Hadamard gate:

Jacques Hadamard

Page 18: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Single Qubit Manipulations

Use this to compute

But

So that

Page 19: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

A Cool Circuit IdentityUsing

Page 20: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Reversible Classical GatesA reversible classical gate on bits is one to one function onthe values of these bits.

Example:

reversible not reversible

Page 21: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Reversible Classical GatesA reversible classical gate on bits is one to one function onthe values of these bits.

We can represent reversible classical gates by a permutationmatrix.

Permutation matrix is matrix in which every row and column contains at most one 1 and the rest of the elements are 0

Example:

reversible

input

output

Page 22: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Quantum Versions ofReversible Classical Gates

A reversible classical gate on bits is one to one function onthe values of these bits.

We can turn reversible classical gates into unitary quantum gates

Permutation matrix is matrix in which every row and column contains at most one 1 and the rest of the elements are 0

Use permutation matrix as unitary evolution matrix

controlled-NOT

Page 23: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

David Speaks

DavidDeutsch

1985

“Complexity theory has been mainly concerned with constraints upon the computation of functions: which functions can be computed, how fast, and with use of how much memory. With quantum computers, as with classical stochastic computers, one must also ask ‘and with what probability?’ We have seen that the minimum computation time for certain tasks can be lower for Q than for T . Complexity theory for Q deserves further investigation.”

Q = quantum computersT = classical computers

Page 24: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Deutsch’s Problem

Suppose you are given a black box which computes one ofthe following four reversible gates:

“identity” NOT 2nd bit controlled-NOT controlled-NOT+ NOT 2nd bit

Deutsch’s (Classical) Problem:How many times do we have to use this black box to determine whether we are given the first two or the second two?

constant balanced

Page 25: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Classical Deutsch’s Problem

“identity” NOT 2nd bit controlled-NOT controlled-NOT+ NOT 2nd bit

constant balanced

Notice that for every possible input, this does not separate the “constant” and “balanced” sets. This implies at least one use of the black box is needed.

Querying the black box with and distinguishes betweenthese two sets. Two uses of the black box are necessary and sufficient.

Page 26: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Classical to Quantum Deutsch

“identity” NOT 2nd bit controlled-NOT controlled-NOT+ NOT 2nd bit

Convert to quantum gates

Deutsch’s (Quantum) Problem:How many times do we have to use these quantum gates to determine whether we are given the first two or the second two?

Page 27: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Quantum DeutschWhat if we perform Hadamards before and after the quantum gate:

Page 28: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

That Last One

Page 29: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Again

Page 30: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Some Inputs

Page 31: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Quantum Deutsch

Page 32: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Quantum Deutsch

By querying with quantum states we are able to distinguishthe first two (constant) from the second two (balanced) withonly one use of the quantum gate!

Two uses of the classical gatesVersus

One use of the quantum gate

first quantum speedup (Deutsch, 1985)

Page 33: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

In Class Problem 2

Page 34: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Quantum Teleportation

AliceBob

Alice wants to send her qubit to Bob.She does not know the wave function of her qubit.

Can Alice send her qubit to Bob using classical bits?

Since she doesn’t know and measurements on her statedo not reveal , this task appears impossible.

Page 35: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Quantum Teleportation

AliceBob

Alice wants to send her qubit to Bob.She does not know the wave function of her qubit.

Suppose these bits contain information about

classical communication

Then Bob would have information about as well asthe qubit

This would be a procedure for extracting information fromwithout effecting the state

Page 36: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Quantum TeleportationClassical

Alice Bob

Alice wants to send her probabilistic bit to Bob using classical communication.

She does not wish to reveal any information about this bit.

Page 37: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Classical Teleportation

Alice Bob

(a.k.a. one time pad)

50 % 0050 % 11

Alice and Bob have two perfectly correlated bits

Alice XORs her bit with the correlated bit and sends theresult to Bob.

Bob XORs his correlated bit with the bit Alice sent andthereby obtains a bit with probability vector .

Page 38: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Classical Teleportation CircuitAlice

Bob

Page 39: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

No information in transmitted bit:

transmitted bit

And it works:

Bob’s bit

Page 40: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Quantum Teleportation

AliceBob

Alice wants to send her qubit to Bob.She does not know the wave function of her qubit.

classical communication

allow them to share the entangled state:

Page 41: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Deriving Quantum TeleportationOur path: We are going to “derive” teleportation

“SWAP”

“Alice”

“Bob”

Only concerned with from Alice to Bob transfer

Page 42: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Deriving Quantum Teleportation

Need some way to get entangled states

new equivalent circuit:

Page 43: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Deriving Quantum Teleportation

How to generate classical correlated bits:

Inspires: how to generate an entangled state:

Page 44: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Deriving Quantum Teleportation

like to use generate entanglement

Alice

Bob

Classical Teleportation

Page 45: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Deriving Quantum Teleportation

Page 46: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Deriving Quantum Teleportation

entanglement

Alice

Bob

?? Acting backwards ??

Page 47: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Deriving Quantum Teleportation

Use to turn around:

Page 48: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Deriving Quantum Teleportation

Page 49: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Deriving Quantum Teleportation

50 % 0, 50 % 1

50 % 0, 50 % 1

Page 50: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Measurements Through ControlMeasurement in the computational basis commuteswith a control on a controlled unitary.

classicalwire

Page 51: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Deriving Quantum Teleportation

50 % 0, 50 % 1

50 % 0, 50 % 1

50 % 0, 50 % 1

50 % 0, 50 % 1

Page 52: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Bell Basis MeasurementUnitary followed by measurement in the computational basisis a measurement in a different basis.

Run circuit backward to find basis:

Thus we are measuring in the Bell basis.

Page 53: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Teleportation

50 % 0, 50 % 1

50 % 0, 50 % 1

Bell basis measurementAlice

Bob

1. Initially Alice has and they each have one of the two qubits of the entangled wave function

2. Alice measures and her half of the entangled state inthe Bell Basis.

3. Alice send the two bits of her outcome to Bob who thenperforms the appropriate X and Z operations to his qubit.

Page 54: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

In Class Problem 3

Page 55: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Teleportation

50 % 0, 50 % 1

50 % 0, 50 % 1

Bell basis measurementAlice

Bob

Page 56: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

TeleportationBell basis Computational basis

Page 57: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Teleportation

50 % 0, 50 % 1

50 % 0, 50 % 1

Bell basis measurementAlice

Bob

Page 58: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Alice BobAlice Bob

Teleportation

Page 59: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Teleportation

1 qubit = 1 ebit + 2 bits

Teleportation says we can replace transmitting a qubitwith a shared entangled pair of qubits plus two bits of classical communication.

2 bits = 1 qubit + 1 ebit

Next we will see that

Superdense Coding

Page 60: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Bell BasisThe four Bell states can be turned into each other usingoperations on only one of the qubits:

Page 61: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Superdense CodingSuppose Alice and Bob each have one qubit and the jointtwo qubit wave function is the entangled state

Alice wants to send two bits to Bob. Call these bits and .

Alice applies the following operator to her qubit:

Alice then sends her qubit to Bob.

Bob then measures in the Bell basis to determine the two bits

2 bits = 1 qubit + 1 ebit

Page 62: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Superdense Coding

Alice applies the following operator to her qubit:

Initially:

Bob can uniquely determine which of the four states he hasand thus figure out Alice’s two bits!

Page 63: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Quantum Algorithms

Page 64: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Classical Promise Problem Query Complexity

Given: A black box which computes some function

k bit input k bit output

Problem: What is the minimal number of times we have to use (query) the black box in order to determine which subset the function belongs to?

black boxPromise: the function belongs to a set which is a subsetof all possible functions.

Properties: the set can be divided into disjoint subsets

Page 65: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

ExampleSuppose you are given a black box which computes one ofthe following four reversible classical gates:

“identity” NOT 2nd bit controlled-NOT controlled-NOT+ NOT 2nd bit

Deutsch’s (Classical) Problem: What is the minimal number of times we have to use this black box to determine whether we are given one of the first two or the second two functions?

2 bits input 2 bits output

Page 66: CSEP 590tv: Quantum Computing Dave Bacon July 13, 2005 Today’s Menu Deutsch’s Algorithm Quantum Teleportation Administrivia Circuit Elements Partial Measurements.

Quantum Promise Query ComplexityGiven: A quantum gate which, when used as a classical devicecomputes a reversible function

k qubit input k qubit output

Problem: What is the minimal number of times we have to use (query) the quantum gate in order to determine which subset the function belongs to?

black box

Promise: the function belongs to a set which is a subsetof all possible functions.

Properties: the set can be divided into disjoint subsets