Quantum Fast-Forwarding Markov Chains

We show that it is possible to use quantum walks to quadratically fast-forward a reversible Markov chain. More specifically, let $P$ be the transition matrix of a reversible Markov chain and let $D = \sqrt{P\circ P^T}$ be its discriminant matrix ($D=P$ if $P$ is symmetric). We construct a quantum walk algorithm that starts from an arbitrary quantum state $|v>$ and returns a quantum state (up to normalization) $\epsilon$-close to the state $D^t|v>$ with probability $\|D^t|v>\|_2^2$, requiring $O\left(\sqrt{\frac{t}{\epsilon}}\log\left(\frac{1}{\epsilon}\right)\right)$ quantum walk steps.This result further substantiates the successful interaction between Markov chains and quantum walks. It also shows that quantum walks can accelerate the intermediate dynamics of Markov chains, complementing the line of results that proves the acceleration of their limit behavior. We use the algorithm to prove how quantum walks can escape large sets quadratically faster than classical Markov chains, a problem related to the open question of hitting large sets with quantum walks, and we demonstrate an application in quantum state generation.

[1]  Andris Ambainis,et al.  One-dimensional quantum walks , 2001, STOC '01.

[2]  Frédéric Magniez,et al.  Quantum algorithms for the triangle problem , 2005, SODA '05.

[3]  Peter Høyer,et al.  Efficient quantum walk on the grid with multiple marked elements , 2017, STACS.

[4]  Daniel A. Spielman,et al.  Exponential algorithmic speedup by a quantum walk , 2002, STOC '03.

[5]  Aharonov,et al.  Quantum random walks. , 1993, Physical review. A, Atomic, molecular, and optical physics.

[6]  Richard J. Lipton,et al.  Random walks, universal traversal sequences, and the complexity of maze problems , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[7]  Avatar Tulsi,et al.  Faster quantum-walk algorithm for the two-dimensional spatial search , 2008, 0801.0497.

[8]  John Watrous Quantum Simulations of Classical Random Walks and Undirected Graph Connectivity , 2001, J. Comput. Syst. Sci..

[9]  Andris Ambainis,et al.  QUANTUM WALKS AND THEIR ALGORITHMIC APPLICATIONS , 2003, quant-ph/0403120.

[10]  Maris Ozols,et al.  Quantum Walks Can Find a Marked Element on Any Graph , 2010, Algorithmica.

[11]  M. Szegedy,et al.  Quantum Walk Based Search Algorithms , 2008, TAMC.

[12]  Persi Diaconis,et al.  On the spectral analysis of second-order Markov chains , 2013 .

[13]  G. Brassard,et al.  Quantum Amplitude Amplification and Estimation , 2000, quant-ph/0005055.

[14]  Perla Sousi,et al.  Mixing Times are Hitting Times of Large Sets , 2011 .

[15]  Andris Ambainis,et al.  Quantum walk algorithm for element distinctness , 2003, 45th Annual IEEE Symposium on Foundations of Computer Science.

[16]  Andris Ambainis,et al.  Quantum search of spatial regions , 2003, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings..

[17]  A. Sarlette,et al.  Simulation of quantum walks and fast mixing with classical processes , 2017, Physical Review A.

[18]  R. Cleve,et al.  Quantum algorithms revisited , 1997, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[19]  Analysis of the extended hitting time and its properties , 2014 .

[20]  Ioannis Chatzigeorgiou,et al.  Bounds on the Lambert Function and Their Application to the Outage Analysis of User Cooperation , 2013, IEEE Communications Letters.

[21]  E. Knill,et al.  Quantum simulations of classical annealing processes. , 2008, Physical review letters.

[22]  P. Wocjan,et al.  Speedup via quantum sampling , 2008, 0804.4259.

[23]  Peter C. Richter Quantum speedup of classical mixing processes , 2006, quant-ph/0609204.

[24]  Andris Ambainis,et al.  Quantum walks on graphs , 2000, STOC '01.

[25]  Amnon Ta-Shma,et al.  Adiabatic quantum state generation and statistical zero knowledge , 2003, STOC '03.

[26]  Peter J. Smith A Recursive Formulation of the Old Problem of Obtaining Moments from Cumulants and Vice Versa , 1995 .

[27]  Elizabeth L. Wilmer,et al.  Markov Chains and Mixing Times , 2008 .

[28]  K. Birgitta Whaley,et al.  Quantum random-walk search algorithm , 2002, quant-ph/0210064.

[29]  Alexei Y. Kitaev,et al.  Quantum measurements and the Abelian Stabilizer Problem , 1995, Electron. Colloquium Comput. Complex..