1 of 12

Simon’s algorithm

2 of 12

Simon’s algorithm

  • First example of a quantum algorithm solving a problem exponentially faster than the best classical randomized algorithm.

  • Like Deutsch, the speedup is in terms of queries to an oracle.

3 of 12

The problem

You are given black-box access to a function

with the promise that there exists an

 

such that

 

if and only if

 

or

 

Find

 

 

 

 

.

.

.

.

.

.

 

.

.

.

.

.

.

 

 

 

 

4 of 12

The problem

You are given black-box access to a function

 

with the promise that there exists an

 

such that

 

if and only if

 

or

 

Find

 

Q: How many queries to the black-box does it take to solve the problem (with certainty) classically?

 

 

5 of 12

The problem

You are given black-box access to a function

 

with the promise that there exists an

 

such that

 

if and only if

 

or

 

Find

 

Q: How many queries to the black-box does it take to solve the problem (with certainty) classically?

 

 

6 of 12

The problem

You are given black-box access to a function

 

with the promise that there exists an

 

such that

 

if and only if

 

or

 

Find

 

Q: How many queries to the black-box does it take to solve the problem (with certainty) classically?

 

 

7 of 12

The problem

You are given black-box access to a function

with the promise that there exists an

 

such that

 

if and only if

 

or

 

Find

 

Q: How many queries does a classical randomized algorithm need to succeed “with high probability”?

 

Can be achieved by picking uniformly random inputs to query�(a “birthday paradox” style analysis)

 

8 of 12

The problem

You are given black-box access to a function

with the promise that there exists an

 

such that

 

if and only if

 

or

 

Find

 

Q: What about quantum queries?

 

 

9 of 12

Quantum queries

 

 

 

 

 

We model the black-box as a

acting as

10 of 12

Simon’s algorithm

 

 

 

Q: How many times do you need to sample to be able to recover s?

11 of 12

Simon’s algorithm

 

 

 

 

 

 

 

 

12 of 12

Simon’s algorithm

 

 

 

 

 

 

Analysis: at the whiteboard

Quantum subroutine: