Download - Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Transcript
Page 1: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Nested Quantum Walks

Andrew M. Childs

Stacey Jeffery

Robin Kothari

Frederic Magniez

arXiv:1210.1199

arXiv:1302.7316

arX

iv:1

30

2.7

31

6arX

iv:1

21

0.1

19

9

SODA 2013

With arXiv:1302.3143,ICALP 2013

Page 2: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

QuantumAlgorithmica

Page 3: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

QuantumAlgorithmica

Page 4: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Anatomy of a Quantum Walk

Setup

Update

Checking

Quantum Walk Algorithm

Page 5: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Our First Result: Efficient Nested Checking

Update

Setup

Page 6: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Application to Triangle Finding

Page 7: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Aside: Query Complexity

Page 8: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Application to Triangle Finding

Page 9: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Second Contribution: Nested Updates

Setup

Checking

Update

Page 10: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Application to k-Distinctness (k>2)

(6, 2, 12, 7, 2, 4, 1, 5, 11, 4, 5, 2, 9, 7, 6)

Page 11: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Application to k-Distinctness (k>2)

Page 12: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

arXiv:1210.1199

arXiv:1302.7316

Summary of Results

Page 13: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Random Walks

Page 14: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Recipe for Quantum Walk Upper Bound

Page 15: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Example: 2-Distinctness

Page 16: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

3-Distinctness Attempt

Page 17: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

c c

cc

3-Distinctness Attempt

Page 18: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

3-Distinctness Attempt

Page 19: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

3-Distinctness Attempt

Page 20: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

3-Distinctness Attempt

Page 21: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Recipe for Quantum Walk with Nested Update

Page 22: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.
Page 23: Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez QIP 2014 arXiv:1210.1199 arXiv:1302.7316 arXiv:1210.1199 SODA 2013.

Recap

arXiv:1210.1199

arXiv:1302.7316

Thanks QIP Freaks!