Eigenvalue estimation of differential operators with a quantum algorithm (11 pages)

We demonstrate how linear differential operators could be emulated by a quantum processor, should one ever be built, using the Abrams-Lloyd algorithm. Given a linear differential operator of order 2S, acting on functions x1,x2,...,xD with D arguments, the computational cost required to estimate a low order eigenvalue to accuracy 1/N 2 is 2S+11+1/+Dln N qubits and ON 2S+11+1/ ln c N D gate operations, where N is the number of points to which each argument is discretized, and c are implementation dependent constants of O1. Optimal classical methods require N D bits and N D gate operations to perform the same eigenvalue estimation. The Abrams-Lloyd algorithm thereby leads to exponential reduction in memory and polynomial reduction in gate operations, provided the domain has sufficiently large dimension D2S +11+1/. In the case of Schrodinger’s equation, ground state energy estimation of two or more particles can in principle be performed with fewer quantum mechanical gates than classical gates.

[1]  I. Chuang,et al.  Quantum Computation and Quantum Information: Introduction to the Tenth Anniversary Edition , 2010 .

[2]  H. Wozniakowski,et al.  Classical and Quantum Complexity of the Sturm–Liouville Eigenvalue Problem , 2005, Quantum Inf. Process..

[3]  A. Papageorgiou,et al.  Eigenvector approximation leading to exponential speedup of quantum eigenvalue calculation. , 2003, Physical review letters.

[4]  A. Sornborger,et al.  Higher-order methods for simulations on quantum computers , 1999, quant-ph/9903055.

[5]  S. Lloyd,et al.  Quantum Algorithm Providing Exponential Speed Increase for Finding Eigenvalues and Eigenvectors , 1998, quant-ph/9807070.

[6]  Christof Zalka Simulating quantum systems on a quantum computer , 1998, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[7]  James Demmel,et al.  Applied Numerical Linear Algebra , 1997 .

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

[9]  J. Preskill Reliable quantum computers , 1997, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[10]  D. Abrams,et al.  Simulation of Many-Body Fermi Systems on a Universal Quantum Computer , 1997, quant-ph/9703054.

[11]  D. Gottesman Theory of fault-tolerant quantum computation , 1997, quant-ph/9702029.

[12]  Daniel A. Lidar,et al.  SIMULATING ISING SPIN GLASSES ON A QUANTUM COMPUTER , 1996, quant-ph/9611038.

[13]  Anthony J. G. Hey,et al.  Feynman Lectures on Computation , 1996 .

[14]  Seth Lloyd,et al.  Universal Quantum Simulators , 1996, Science.

[15]  H. Yoshida Construction of higher order symplectic integrators , 1990 .

[16]  S. McCormick,et al.  Multigrid Methods for Differential Eigenproblems , 1983 .