Search via Quantum Walk

被引:71
作者
Magniez, Frederic [1 ]
Nayak, Ashwin
Roland, Jeremie
Santha, Miklos [1 ]
机构
[1] Univ Paris 11, CNRS, LRI, F-91405 Orsay, France
来源
STOC 07: PROCEEDINGS OF THE 39TH ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING | 2007年
关键词
Search; Markov chain; hitting time; quantum walk; phase estimation; amplitude amplification; spectral gap; phase gap; reflection operator; recursive amplitude amplification;
D O I
10.1145/1250790.1250874
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We propose a new method for designing quantum search algorithms for finding a "marked" element in the state space of a classical Markov chain. The algorithm is based on a quantum walk a la Szegedy [25] that is defined in terms of the Markov chain. The main new idea is to apply quantum phase estimation to the quantum walk in order to implement art approximate reflection operator. This operator is then used in an amplitude amplification scheme. As a result we considerably expand the scope of the previous approaches of Ambainis [6] and Szegedy [25]. Our algorithm combines the benefits of these approaches in terms of being able to find marked elements, incurring the smaller cost of the two, and being applicable to a larger class of Markov chain. In addition, it is conceptually simple, avoids several technical difficulties in the previous analyses, and leads to improvements in various aspects of several algorithms based on quantum walk.
引用
收藏
页码:575 / 584
页数:10
相关论文
共 29 条
[1]   Quantum lower bounds for the collision and the element distinctness problems [J].
Aaronson, S ;
Shi, YY .
JOURNAL OF THE ACM, 2004, 51 (04) :595-605
[2]  
Aaronson S., 2005, Theory Comput, V1, P47, DOI [10.4086/toc.2005.v001a004, DOI 10.4086/TOC.2005.V001A004]
[3]  
Aharonov Dorit, 2001, arXiv: quant-ph/0012090, P50
[4]  
ALDOUS D, 2006, MONOGRAPH UNPUB
[5]   Quantum walk algorithm for element distinctness [J].
Ambainis, A .
45TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2004, :22-31
[6]  
Ambainis A, 2005, PROCEEDINGS OF THE SIXTEENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, P1099
[7]  
[Anonymous], 2000, QUANTPH0010117 ARXIV
[8]   Strengths and weaknesses of quantum computing [J].
Bennett, CH ;
Bernstein, E ;
Brassard, G ;
Vazirani, U .
SIAM JOURNAL ON COMPUTING, 1997, 26 (05) :1510-1523
[9]  
Boyer M, 1998, FORTSCHR PHYS, V46, P493, DOI 10.1002/(SICI)1521-3978(199806)46:4/5<493::AID-PROP493>3.0.CO
[10]  
2-P