rom-based computations: quantum versus classical b.c. travaglione, m.a.nielsen, h.m. wiseman, and a....

38
ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Post on 22-Dec-2015

212 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

ROM-based computations: quantum versus classical

B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Page 2: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Quantum research Focused mainly on time requirements

e.g. Shor’s algorithm Deutsch-Jozsa algorithm Grover’s algorithm

Space complexity important also!

Page 3: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Space Complexity Number of (qu)bits required to solve a

problem ROM-Based

Read only memory Writable memory

Space complexity - function of writable memory

Page 4: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

This paper Compares space complexity of “error-

free, reversible quantum and classical computation”

Page 5: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Summary ROM-Based computing Universality

1 qubit Quantum ROM computer 2 bit classical ROM computers

Time efficiency

Page 6: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

ROM-Based Computation

u1 to uj doesn’t change at any time during computation(Read only bits)

fi is a boolean mapping from a combination of ‘u’s

Page 7: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Classical ROM Computations Sequence of arbitrary classical

reversible gates Gates can be controlled by one of the j

ROM bits FANOUT increases complexity, and bit

reducing activities (e.g. AND) can be simulated.

Page 8: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Quantum ROM computations Similarly, quantum gates controlled by

up to one ROM bit applied to n qubits Note that fi is boolean, so qubits must

end up in computational basis state.

Page 9: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Why only one control? Arbitrary number of controls on

quantum and classical gates can be broken down to gates with 2 and 3 controls respectively

This adds unnecessary complexity as conditional bits must be writable

This constraint does not affect these results

Page 10: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Notation

Page 11: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Notation

Page 12: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Summary ROM-Based computing Universality

1 qubit Quantum ROM computer 2 bit classical ROM computers

Time efficiency

Page 13: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Universality There are 2^(2j) possible distinct

boolean propositions. A universal computer can achieve any

of these. We will show that one writable qubit is

sufficient for quantum case, 2 bits necessary for classical.

Page 14: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Method Well known that AND and NOT are

sufficient to express any boolean proposition.

AND and XOR are also sufficient since “NOT a” can be replaced with “a XOR 1”

Show that any writable (qu)bit can be transformed from |0> to any of the 2^(2j) different boolean propositions

Page 15: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Method Sufficient to show that we can transform

|f> to |f u1u2u3…um > where f is an arbitrary boolean function and

m {1,2…j}

Page 16: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Summary ROM-Based computing Universality

1 qubit Quantum ROM computer 2 bit classical ROM computers

Time efficiency

Page 17: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

One Writable Qubit Universal We will use only Pauli matrices:

As well as X-1/2 , X1/2 , Z-1/2 and Z1/2.

Page 18: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

One Writable Qubit Universal denotes that the operator W is

controlled by the ROM bit ui.

performs a bit flip iff ui = uj = 1

|f> to |f uiuj >

Page 19: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

One Writable Qubit Universal Easy to see with circuit diagram

Page 20: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

One Writable Qubit Universal Also Bloch sphere helps visualize

Page 21: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

One Writable Qubit Universal We can add more bits to the conjunction

by recursively substituting gates For example, substituting with

Which makes Z essentially controlled by uj and uk, causes our qubit to be flipped iff ui = uj = uk = 1.

Page 22: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

One Writable Qubit Universal After substitution we have:

|f> to |f uiujuk > Continuing like this, we can create a

sequence of gates that transforms

|f> to |f u1u2u3…um >

Page 23: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Summary ROM-Based computing Universality

1 qubit Quantum ROM computer 2 bit classical ROM computers

Time efficiency

Page 24: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

One Writable Bit Universal? The only operations on one classical bit

are NOT and CNOT. Cannot achieve |f> to |f u1u2u3…um >

with any combination of NOT or CNOT gates with one input. NOT UNIVERSAL.

Are 2 bits universal?

Page 25: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Two Writable Bits Universal We use these 4 gates in our proof

Page 26: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Two Writable Bits Universal These correspond to these equations

Page 27: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Two Writable Bits Universal We will now prove that using these

functions we can transform the inputs |a>|b> to |a>|b u1u2 … uj >

Page 28: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Two Writable Bits Universal

Let S0 denote the N(1) gate above We can show that the sequence

performs the transform

Page 29: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Two Writable Bits Universal If we iterate this to m-1, we will get

Using this , we can come up with a sequence of gates

Page 30: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Two Writable Bits Universal Which results in the transform

This shows that two writable bits is universal by our definition.

Page 31: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Summary ROM-Based computing Universality

1 qubit Quantum ROM computer 2 bit classical ROM computers

Time efficiency

Page 32: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Quantum Time Efficiency Recall that

Page 33: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Quantum Time Efficiency Substituting

we are able to transform

Page 34: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Quantum Time Efficiency This generalizes to replacing each

with

And each with

Page 35: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Quantum Time Efficiency Thus we can take the AND of up to 2k

ROM bits using exactly 4k ROM calls.

Page 36: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Classical Time Efficiency 3 writable bit classical computers can

do this efficiently, but not 2 writable bits. Conjecture: It requires O(2j) ROM calls

for a 2 writable bit computer to perform

Page 37: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Classical Time Efficiency In a non-reversible setting however, the

classical two bit computer requires only j ROM calls as is shown in the following circuit. (O indicates re-initialization)

Page 38: ROM-based computations: quantum versus classical B.C. Travaglione, M.A.Nielsen, H.M. Wiseman, and A. Ambainis

Conclusion In error-free non-reversible ROM computing: Quantum computers more space efficient

than their classical counterparts only requiring 1 writable qubit to be universal.

Conjecture: Minimal QC can calculate certain boolean functions exponentially faster than the minimal classical ROM computer.