Hamiltonian simulation using linear combinations of unitary operations

We present a new approach to simulating Hamiltonian dynamics based on implementing linear combinations of unitary operations rather than products of unitary operations. The resulting algorithm has superior performance to existing simulation algorithms based on product formulas and, most notably, scales better with the simulation error than any known Hamiltonian simulation technique. Our main tool is a general method to nearly deterministically implement linear combinations of nearby unitary operations, which we show is optimal among a large class of methods.

[1]  Dominic W. Berry,et al.  High-order quantum algorithm for solving linear differential equations , 2010, ArXiv.

[2]  Michele Mosca,et al.  Efficient discrete-time simulations of continuous-time quantum query algorithms , 2008, STOC '09.

[3]  M. Sipser,et al.  Quantum Computation by Adiabatic Evolution , 2000, quant-ph/0001106.

[4]  Andrew M. Childs,et al.  Black-box hamiltonian simulation and unitary implementation , 2009, Quantum Inf. Comput..

[5]  D. Owen.  Handbook of Mathematical Functions with Formulas , 1965 .

[6]  Q. Sheng.  Solving Linear Partial Differential Equations by Exponential Splitting , 1989 .

[7]  S. Blanes,et al.  Extrapolation of symplectic Integrators , 1999 .

[8]  J. Geiser,et al.  Multi-product operator splitting as a general method of solving autonomous and nonautonomous equations , 2010, 1005.2201.

[9]  Milton Abramowitz,et al.  Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables , 1964 .

[10]  L. Richardson.  The Approximate Arithmetical Solution by Finite Differences of Physical Problems Involving Differential Equations, with an Application to the Stresses in a Masonry Dam , 1911 .

[11]  Chi Zhang,et al.  On the efficiency of quantum algorithms for Hamiltonian simulation , 2010, Quantum Information Processing.

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

[13]  Andrew M. Childs,et al.  Quantum information processing in continuous time , 2004 .

[14]  Andrew M. Childs,et al.  Simulating Sparse Hamiltonians with Star Decompositions , 2010, TQC.

[15]  Seth Lloyd,et al.  Adiabatic quantum computation is equivalent to standard quantum computation , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[16]  S. Chin.  Multi-product splitting and Runge-Kutta-Nyström integrators , 2008, 0809.0914.

[17]  Barry C. Sanders,et al.  Simulating quantum dynamics on a quantum computer , 2010, 1011.3489.

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

[19]  Edward Farhi,et al.  A Quantum Algorithm for the Hamiltonian NAND Tree , 2008, Theory Comput..

[20]  Theory of Quantum Computation, Communication, and Cryptography , 2010, Lecture Notes in Computer Science.

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

[22]  M. Abramowitz,et al.  Handbook of Mathematical Functions With Formulas, Graphs and Mathematical Tables (National Bureau of Standards Applied Mathematics Series No. 55) , 1965 .

[23]  M. Suzuki,et al.  General theory of fractal path integrals with applications to many‐body theories and statistical physics , 1991 .

[24]  P. Høyer,et al.  Higher order decompositions of ordered operator exponentials , 2008, 0812.0562.

[25]  Andrew M. Childs.  On the Relationship Between Continuous- and Discrete-Time Quantum Walk , 2008, 0810.0312.

[26]  A. Harrow,et al.  Quantum algorithm for linear systems of equations. , 2008, Physical review letters.

[27]  F. Verstraete,et al.  Quantum simulation of time-dependent Hamiltonians and the convenient illusion of Hilbert space. , 2011, Physical review letters.

[28]  Andrew M. Childs,et al.  Universal computation by quantum walk. , 2008, Physical review letters.

[29]  Moawwad E. A. El-Mikkawy.  Explicit inverse of a generalized Vandermonde matrix , 2003, Appl. Math. Comput..

[30]  R. Cleve,et al.  Efficient Quantum Algorithms for Simulating Sparse Hamiltonians , 2005, quant-ph/0508139.