nested quantum walks andrew m. childs stacey jeffery robin kothari frederic magniez qip 2014...

23
Nested Quantum Walks Andrew M. Childs Stacey Jeffery Robin Kothari Frederic Magniez arXiv:1210.1199 arXiv:1302.7316 arXiv:1302.7316 arXiv:1210.1199 SODA 2013 With arXiv:1302.3143, ICALP 2013

Upload: estella-summers

Post on 16-Dec-2015

217 views

Category:

Documents


0 download

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!