Quantum Information Processing

, Volume 6, Issue 2, pp 101–120 | Cite as

The Sturm-Liouville Eigenvalue Problem and NP-Complete Problems in the Quantum Setting with Queries

  • A. Papageorgiou
  • H. Woźniakowski

We show how a number of NP-complete as well as NP-hard problems can be reduced to the Sturm-Liouville eigenvalue problem in the quantum setting with queries. We consider power queries which are derived from the propagator of a system evolving with a Hamiltonian obtained from the discretization of the Sturm-Liouville operator. We use results of our earlier paper concering the complexity of the Sturm-Liouville eigenvalue problem. We show that the number of power queries as well the number of qubits needed to solve the problems studied in this paper is a low degree polynomial. The implementation of power queries by a polynomial number of elementary quantum gates is an open issue. If this problem is solved positively for the power queries used for the Sturm-Liouville eigenvalue problem then a quantum computer would be a very powerful computation device allowing us to solve NP-complete problems in polynomial time.


Complexity quantum algorithms appoximation NP complete problems 


03.67.Lx 02.60.-x 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abrams D.S., Lloyd S. (1999). Phys. Rev. Lett. 83, 5162–5165CrossRefADSGoogle Scholar
  2. 2.
    I. Babuska and J. Osborn, “Eigenvalue problems”, in Handbook of Numerical Analysis vol. II, P. G. Ciarlet and J. L. Lions, eds. (North-Holland, Amsterdam, 1991) pp. 641–787.Google Scholar
  3. 3.
    Bennet C.H., Bernstein E., Brassard G., Vazirani U., (1997). SIAM J. Comput. 26(5): 1510–1523CrossRefMathSciNetGoogle Scholar
  4. 4.
    Bernstein E., Vazirani U., (1997). SIAM J. Comput. 26(5): 1411–1473zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    A. J. Bessen, Phys. Rev. A, 71(4), 042313 (2005), Also Scholar
  6. 6.
    G. Brassard, P. Høyer, M. Mosca, and A. Tapp, Quantum Amplitude Amplification and Estimation, in Contemporary Mathematics vol. 305 (American Mathematical Society, providence RI, 2002) pp. 53–74, Also Scholar
  7. 7.
    Courant C., Hilbert D., (1989). Methods of Mathematical Physics vol. I Wiley Classics Library, Willey-Interscience, New YorkGoogle Scholar
  8. 8.
    Garey M.R., Johnson D.S., (1979). Computers and Intractability, A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, New YorkzbMATHGoogle Scholar
  9. 9.
    L. Grover, Phys. Rev. Lett. 79(2), 325–328 (1997), Also 9706033.Google Scholar
  10. 10.
    S. Heinrich, J. Complexity 18(1), 1–50 (2002), Also Scholar
  11. 11.
    Heinrich S., (2003). J. Complexity 19, 19–42zbMATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    S. Heinrich, J. Complexity 20(1), 5–26 (2004), Also Scholar
  13. 13.
    S. Heinrich, J. Complexity 20(1), 27–45 (2004), Also Scholar
  14. 14.
    P. Jaksch and A. Papageorgiou, Phys. Rev. Lett. 91, 257902 (2003), Also Scholar
  15. 15.
    H. B. Keller, Numerical Methods for Two-Point Boundary-Value Problems (Waltham, MAS, Blaisdell, 1968).Google Scholar
  16. 16.
    A. Nayak and F. Wu, “The Quantum Query Complexity of Approximating the median and Related Statistics,”in Proceedings of the 31st Annual ACM Symposium on Theory of Computing, 384–393, (1999) See also LANL preprint quant-ph/ 9804066.Google Scholar
  17. 17.
    Nielsen M.A., Chuang I.L., (2000). Quantum Computation and Quantum Information. Cambridge University Press, Cambridge, UKzbMATHGoogle Scholar
  18. 18.
    E. Novak, J. Complexity 17, 2–16 (2001), Also Scholar
  19. 19.
    E. Novak, I. H. Sloan, and H. Woźniakowski, J. Found. Comput. Math. 4(2), 121–156 (2004), Also Scholar
  20. 20.
    A. Papageorgiou and H. Woźniakowski Quantum Inf. Proces. 4, 87–127 (2005), Also Scholar
  21. 21.
    Shor P.W., (1997). SIAM J. Comput. 26(5): 1484–1509zbMATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Strang G., Fix G.J., (1973). An Analysis of the Finite Element Method. Prentice-Hall, Englewood Cliffs, NJzbMATHGoogle Scholar
  23. 23.
    Titschmarsh E.C., (1958). Eigenfunction Expansions Associated with Second-Order Differential Equations, Part B. Oxford University Press, Oxford, UKGoogle Scholar
  24. 24.
    J. F. Traub and H. Woźniakowski, Quantum Inf. Proces., 1, 365–388 (2002), Also Scholar

Copyright information

© Springer Science+Business Media, LLC 2006

Authors and Affiliations

  1. 1.Department of Computer ScienceColumbia UniversityColumbiaUSA
  2. 2.Institute of Applied Mathematics and MechanicsUniversity of WarsawWarsawPoland

Personalised recommendations