Optimal Hamiltonian Simulation by Quantum Signal Processing.

The physics of quantum mechanics is the inspiration for, and underlies, quantum computation. As such, one expects physical intuition to be highly influential in the understanding and design of many quantum algorithms, particularly simulation of physical systems. Surprisingly, this has been challenging, with current Hamiltonian simulation algorithms remaining abstract and often the result of sophisticated but unintuitive constructions. We contend that physical intuition can lead to optimal simulation methods by showing that a focus on simple single-qubit rotations elegantly furnishes an optimal algorithm for Hamiltonian simulation, a universal problem that encapsulates all the power of quantum computation. Specifically, we show that the query complexity of implementing time evolution by a d-sparse Hamiltonian H[over ^] for time-interval t with error ε is O[td∥H[over ^]∥_{max}+log(1/ε)/loglog(1/ε)], which matches lower bounds in all parameters. This connection is made through general three-step "quantum signal processing" methodology, comprised of (i) transducing eigenvalues of H[over ^] into a single ancilla qubit, (ii) transforming these eigenvalues through an optimal-length sequence of single-qubit rotations, and (iii) projecting this ancilla with near unity success probability.

[1]  Andrew M. Childs,et al.  Exponential improvement in precision for simulating sparse Hamiltonians , 2013, Forum of Mathematics, Sigma.

[2]  Theodore J. Yoder,et al.  The methodology of composite quantum gates , 2016 .

[3]  Thorsten Gerber,et al.  Handbook Of Mathematical Functions , 2016 .

[4]  Andrew M. Childs,et al.  Hamiltonian Simulation with Nearly Optimal Dependence on all Parameters , 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science.

[5]  Andrew M. Childs,et al.  Simulating Hamiltonian dynamics with a truncated Taylor series. , 2014, Physical review letters.

[6]  Theodore J. Yoder,et al.  Quantum imaging by coherent enhancement. , 2014, Physical review letters.

[7]  Theodore J. Yoder,et al.  Fixed-point quantum search with an optimal number of queries. , 2014, Physical review letters.

[8]  F. Nori,et al.  Quantum Simulation , 2013, Quantum Atom Optics.

[9]  Andrew M. Childs,et al.  Universal Computation by Multiparticle Quantum Walk , 2012, Science.

[10]  Nathan Wiebe,et al.  Hamiltonian simulation using linear combinations of unitary operations , 2012, Quantum Inf. Comput..

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

[12]  Serge Fehr,et al.  Theory of Quantum Computation, Communication, and Cryptography , 2012, Lecture Notes in Computer Science.

[13]  Daniel A. Lidar,et al.  Arbitrarily accurate dynamical control in open quantum systems. , 2009, Physical review letters.

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

[15]  L. Trefethen,et al.  Barycentric-Remez algorithms for best polynomial approximation in the chebfun system , 2009 .

[16]  Michael Mitzenmacher,et al.  Proceedings of the forty-first annual ACM symposium on Theory of computing , 2009, STOC 2009.

[17]  S Montangero,et al.  Optimal control at the quantum speed limit. , 2009, Physical review letters.

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

[19]  Kaveh Khodjasteh,et al.  Dynamically error-corrected gates for universal quantum computation. , 2008, Physical review letters.

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

[21]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[22]  Daniel A. Lidar,et al.  Simple proof of equivalence between adiabatic quantum computation and the circuit model. , 2006, Physical review letters.

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

[24]  Fabrice Labeau,et al.  Discrete Time Signal Processing , 2004 .

[25]  Michel X. Goemans,et al.  Proceedings of the thirty-fifth annual ACM symposium on Theory of computing , 2003, STOC 2003.

[26]  D. Aharonov,et al.  Adiabatic quantum state generation and statistical zero knowledge , 2003, STOC '03.

[27]  E. Knill,et al.  Theory of quantum computation , 2000, quant-ph/0010057.

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

[29]  Gaston H. Gonnet,et al.  On the LambertW function , 1996, Adv. Comput. Math..

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

[31]  G. Sussman,et al.  Numerical Evidence That the Motion of Pluto Is Chaotic , 1988, Science.

[32]  R. Feynman Simulating physics with computers , 1999 .

[33]  L. Rabiner,et al.  A computer program for designing optimum FIR linear phase digital filters , 1973 .