Finding Is as Easy as Detecting for Quantum Walks

  • Hari Krovi
  • Frédéric Magniez
  • Maris Ozols
  • Jérémie Roland
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6198)

Abstract

We solve an open problem by constructing quantum walks that not only detect but also find marked vertices in a graph. The number of steps of the quantum walk is quadratically smaller than the classical hitting time of any reversible random walk P on the graph.

Our approach is new, simpler and more general than previous ones. We introduce a notion of interpolation between the walk P and the absorbing walk P′, whose marked states are absorbing. Then our quantum walk is simply the quantum analogue of the interpolation. Contrary to previous approaches, our results remain valid when the random walk P is not state-transitive, and in the presence of multiple marked vertices.

As a consequence we make a progress on an open problem related to the spatial search on the 2D-grid.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ambainis, A.: Quantum walk algorithm for Element Distinctness. In: Proc. 45th FOCS, pp. 22–31. IEEE Computer Society Press, New York (2004)Google Scholar
  2. 2.
    Magniez, F., Santha, M., Szegedy, M.: Quantum Algorithms for the Triangle Problem. In: Proc. 16th SODA (2005)Google Scholar
  3. 3.
    Buhrman, H., Špalek, R.: Quantum verification of matrix products. In: Proc. 17th ACM-SIAM Symposium on Discrete Algorithms, pp. 880–889 (2006)Google Scholar
  4. 4.
    Magniez, F., Nayak, A.: Quantum complexity of testing group commutativity. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 1312–1324. Springer, Heidelberg (2005)Google Scholar
  5. 5.
    Aaronson, S., Ambainis, A.: Quantum search of spatial regions. Theory of Computing 1, 47–79 (2005)CrossRefMathSciNetGoogle Scholar
  6. 6.
    Shenvi, N., Kempe, J., Whaley, K.: Quantum random-walk search algorithm. Phys. Rev. A 67, Article no. 052307 (2003)Google Scholar
  7. 7.
    Childs, A.M., Goldstone, J.: Spatial search and the Dirac equation. Phys. Rev. A 70(4), 042312 (2004)Google Scholar
  8. 8.
    Ambainis, A., Kempe, J., Rivosh, A.: Coins make quantum walks faster. In: Proc. 16th SODA, pp. 1099–1108 (2005)Google Scholar
  9. 9.
    Kempe, J.: Discrete quantum walks hit exponentially faster. Prob. Th. Rel. Fields 133(2), 215–235 (2005)MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Szegedy, M.: Quantum speed-up of Markov chain based algorithms. In: Proc. 45th FOCS, pp. 32–41 (2004)Google Scholar
  11. 11.
    Krovi, H., Brun, T.A.: Hitting time for quantum walks on the hypercube. Phys. Rev. A 73(3), 032341 (2006)CrossRefMathSciNetGoogle Scholar
  12. 12.
    Magniez, F., Nayak, A., Roland, J., Santha, M.: Search via quantum walk. In: Proc. 39th STOC, pp. 575–584. ACM Press, New York (2007)Google Scholar
  13. 13.
    Magniez, F., Nayak, A., Richter, P.C., Santha, M.: On the hitting times of quantum versus random walks. In: Proc. 19th SODA, SIAM, pp. 86–95. SIAM, Philadelphia (2009)Google Scholar
  14. 14.
    Tulsi, A.: Faster quantum-walk algorithm for the two-dimensional spatial search. Phys. Rev. A 78(1), 012310 (2008)CrossRefGoogle Scholar
  15. 15.
    Krovi, H., Ozols, M., Roland, J.: On the adiabatic condition and the quantum hitting time of Markov chains. Technical Report arXiv:1004.2721, arXiv.org (2010)Google Scholar
  16. 16.
    Kitaev, A.: Quantum measurements and the Abelian stabilizer problem. Technical Report quant-ph/9511026, arXiv.org (1995)Google Scholar
  17. 17.
    Cleve, R., Ekert, A., Macchiavello, C., Mosca, M.: Quantum algorithms revisited. Proc. Royal Society A 454(1969), 339–354 (1998)MATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Høyer, P., Mosca, M., de Wolf, R.: Quantum search on bounded-error inputs. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, pp. 291–299. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  19. 19.
    Feige, U., Raghavan, P., Feleg, D., Upfal, E.: Computing with noisy information. SIAM Journal on Computing 23(5), 1001–1018 (1994)MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Hari Krovi
    • 1
  • Frédéric Magniez
    • 2
  • Maris Ozols
    • 3
    • 4
  • Jérémie Roland
    • 3
  1. 1.University of Connecticut 
  2. 2.LRI, Univ Paris-Sud, CNRS 
  3. 3.NEC Laboratories America, Inc. 
  4. 4.University of Waterloo and Institute for Quantum Computing 

Personalised recommendations