Quantum simulation is a prominent application of quantum computers. While there is extensive previous work on simulating finite-dimensional systems, less is known about quantum algorithms for real-space dynamics. We conduct a systematic study of such algorithms. In particular, we show that the dynamics of a d-dimensional Schrödinger equation with η particles can be simulated with gate complexity O~(ηdFpoly(log(g′/ϵ))), where ϵ is the discretization error, g′ controls the higher-order derivatives of the wave function, and F measures the time-integrated strength of the potential. Compared to the best previous results, this exponentially improves the dependence on ϵ and g′ from poly(g′/ϵ) to poly(log(g′/ϵ)) and polynomially improves the dependence on T and d, while maintaining best known performance with respect to η. For the case of Coulomb interactions, we give an algorithm using η3(d+η)Tpoly(log(ηdTg′/(Δϵ)))/Δ one- and two-qubit gates, and another using η3(4d)d/2Tpoly(log(ηdTg′/(Δϵ)))/Δ one- and two-qubit gates and QRAM operations, where T is the evolution time and the parameter Δ regulates the unbounded Coulomb interaction. We give applications to several computational problems, including faster real-space simulation of quantum chemistry, rigorous analysis of discretization error for simulation of a uniform electron gas, and a quadratic improvement to a quantum algorithm for escaping saddle points in nonconvex optimization.

%8 3/31/2022 %G eng %U https://arxiv.org/abs/2203.17006 %R 10.48550/ARXIV.2203.17006 %0 Journal Article %J 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) %D 2021 %T Quantum Query Complexity with Matrix-Vector Products %A Andrew M. Childs %A Hung, Shih-Han %A Li, Tongyang %XWe study quantum algorithms that learn properties of a matrix using queries that return its action on an input vector. We show that for various problems, including computing the trace, determinant, or rank of a matrix or solving a linear system that it specifies, quantum computers do not provide an asymptotic speedup over classical computation. On the other hand, we show that for some problems, such as computing the parities of rows or columns or deciding if there are two identical rows or columns, quantum computers provide exponential speedup. We demonstrate this by showing equivalence between models that provide matrix-vector products, vector-matrix products, and vector-matrix-vector products, whereas the power of these models can vary significantly for classical computation.

%B 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) %I Schloss Dagstuhl – Leibniz-Zentrum für Informatik %C Dagstuhl, Germany %8 2/7/2021 %@ 978-3-95977-195-5 %G eng %U https://drops.dagstuhl.de/opus/volltexte/2021/14124 %R 10.4230/LIPIcs.ICALP.2021.55