TY - JOUR T1 - Simulating Hamiltonian dynamics with a truncated Taylor series JF - Physical Review Letters Y1 - 2015 A1 - Dominic W. Berry A1 - Andrew M. Childs A1 - Richard Cleve A1 - Robin Kothari A1 - Rolando D. Somma AB - We describe a simple, efficient method for simulating Hamiltonian dynamics on a quantum computer by approximating the truncated Taylor series of the evolution operator. Our method can simulate the time evolution of a wide variety of physical systems. As in another recent algorithm, the cost of our method depends only logarithmically on the inverse of the desired precision, which is optimal. However, we simplify the algorithm and its analysis by using a method for implementing linear combinations of unitary operations to directly apply the truncated Taylor series. VL - 114 U4 - 090502 UR - http://arxiv.org/abs/1412.4687v1 CP - 9 J1 - Phys. Rev. Lett. U5 - 10.1103/PhysRevLett.114.090502 ER - TY - JOUR T1 - Exponential improvement in precision for simulating sparse Hamiltonians JF - Proceedings of the 46th ACM Symposium on Theory of Computing (STOC 2014) Y1 - 2014 A1 - Dominic W. Berry A1 - Andrew M. Childs A1 - Richard Cleve A1 - Robin Kothari A1 - Rolando D. Somma AB - We provide a quantum algorithm for simulating the dynamics of sparse Hamiltonians with complexity sublogarithmic in the inverse error, an exponential improvement over previous methods. Specifically, we show that a $d$-sparse Hamiltonian $H$ acting on $n$ qubits can be simulated for time $t$ with precision $\epsilon$ using $O\big(\tau \frac{\log(\tau/\epsilon)}{\log\log(\tau/\epsilon)}\big)$ queries and $O\big(\tau \frac{\log^2(\tau/\epsilon)}{\log\log(\tau/\epsilon)}n\big)$ additional 2-qubit gates, where $\tau = d^2 \|{H}\|_{\max} t$. Unlike previous approaches based on product formulas, the query complexity is independent of the number of qubits acted on, and for time-varying Hamiltonians, the gate complexity is logarithmic in the norm of the derivative of the Hamiltonian. Our algorithm is based on a significantly improved simulation of the continuous- and fractional-query models using discrete quantum queries, showing that the former models are not much more powerful than the discrete model even for very small error. We also simplify the analysis of this conversion, avoiding the need for a complex fault correction procedure. Our simplification relies on a new form of "oblivious amplitude amplification" that can be applied even though the reflection about the input state is unavailable. Finally, we prove new lower bounds showing that our algorithms are optimal as a function of the error. U4 - 283-292 SN - 978-1-4503-2710-7 UR - http://arxiv.org/abs/1312.1414v2 J1 - Proceedings of the 46th ACM Symposium on Theory of Computing (STOC 2014) U5 - 10.1145/2591796.2591854 ER - TY - JOUR T1 - Discrete-query quantum algorithm for NAND trees JF - Theory of Computing Y1 - 2009 A1 - Andrew M. Childs A1 - Richard Cleve A1 - Stephen P. Jordan A1 - David Yeung AB - Recently, Farhi, Goldstone, and Gutmann gave a quantum algorithm for evaluating NAND trees that runs in time O(sqrt(N log N)) in the Hamiltonian query model. In this note, we point out that their algorithm can be converted into an algorithm using O(N^{1/2 + epsilon}) queries in the conventional quantum query model, for any fixed epsilon > 0. VL - 5 U4 - 119 - 123 UR - http://arxiv.org/abs/quant-ph/0702160v1 CP - 1 J1 - Theory of Comput. U5 - 10.4086/toc.2009.v005a005 ER - TY - JOUR T1 - Exponential algorithmic speedup by quantum walk Y1 - 2002 A1 - Andrew M. Childs A1 - Richard Cleve A1 - Enrico Deotto A1 - Edward Farhi A1 - Sam Gutmann A1 - Daniel A. Spielman AB - We construct an oracular (i.e., black box) problem that can be solved exponentially faster on a quantum computer than on a classical computer. The quantum algorithm is based on a continuous time quantum walk, and thus employs a different technique from previous quantum algorithms based on quantum Fourier transforms. We show how to implement the quantum walk efficiently in our oracular setting. We then show how this quantum walk can be used to solve our problem by rapidly traversing a graph. Finally, we prove that no classical algorithm can solve this problem with high probability in subexponential time. UR - http://arxiv.org/abs/quant-ph/0209131v2 J1 - Proc. 35th ACM Symposium on Theory of Computing (STOC 2003) U5 - 10.1145/780542.780552 ER -