Uniform observable error bounds of Trotter formulae for the semiclassical Schrödinger equation

Abstract

Known as no fast-forwarding theorem in quantum computing, the simulation time for the Hamiltonian evolution needs to be $O(\Vert H\Vert t)$ in the worst case, which essentially states that one can not go across the multiple scales as the simulation time for the Hamiltonian evolution needs to be strictly greater than the physical time. We demonstrated in the context of the semiclassical Schrödinger equation that the computational cost for a class of observables can be much lower than the state-of-the-art bounds. In the semiclassical regime (the effective Planck constant $h\ll 1$), the operator norm of the Hamiltonian is $O(h^{-1})$. We show that the number of Trotter steps used for the observable evolution can be $O(1)$, that is, to simulate some observables of the Schrödinger equation on a quantum scale only takes the simulation time comparable to the classical scale. In terms of error analysis, we improve the additive observable error bounds [Lasser-Lubich 2020] to uniform-in-$h$ observable error bounds. This is, to our knowledge, the first uniform observable error bound for semiclassical Schrödinger equation without sacrificing the convergence order of the numerical method. Based on semiclassical calculus and discrete microlocal analysis, our result showcases the potential improvements taking advantage of multiscale properties, such as the smallness of the effective Planck constant, of the underlying dynamics and sheds light on going across the scale for quantum dynamics simulation.

References in corpus (19)

• Optimal Hamiltonian Simulation by Quantum Signal Processing
• Simulating Hamiltonian dynamics with a truncated Taylor series
• Efficient quantum algorithms for simulating sparse Hamiltonians
• Toward the first quantum simulation with quantum speedup
• On the relationship between continuous- and discrete-time quantum walk
• Nearly optimal lattice simulation by product formulas
• Computing quantum dynamics in the semiclassical regime
• Time-dependent unbounded Hamiltonian simulation with vector norm scaling
• Hamiltonian simulation with random inputs
• Hybridized Methods for Quantum Simulation in the Interaction Picture
• Time-dependent Hamiltonian Simulation of Highly Oscillatory Dynamics and Superconvergence for Schrödinger Equation
• On Fourier time-splitting methods for nonlinear Schrodinger equations in the semi-classical limit
• Quantum simulation of real-space dynamics
• On the Convergence of Time Splitting Methods for Quantum Dynamics in the Semiclassical Regime
• On Fourier time-splitting methods for nonlinear Schrodinger equations in the semi-classical limit II. Analytic regularity
• Probabilistic Weyl laws for quantized tori
• Semiclassical measures for higher dimensional quantum cat maps
• Weyl laws for partially open quantum maps
• Observable Error Bounds of the Time-splitting Scheme for Quantum-Classical Molecular Dynamics

Cited by in corpus (3)

• On the Trotter Error in Many-body Quantum Dynamics with Coulomb Potentials
• Faster Algorithmic Quantum and Classical Simulations by Corrected Product Formulas
• Discrete Superconvergence Analysis for Quantum Magnus Algorithms of Unbounded Hamiltonian Simulation