Strong Error Bounds for Trotter & Strang-Splittings and Their Implications for Quantum Chemistry

Abstract

Efficient error estimates for the Trotter product formula are central in quantum computing, mathematical physics, and numerical simulations. However, the Trotter error's dependency on the input state and its application to unbounded operators remains unclear. Here, we present a general theory for error estimation, including higher-order product formulas, with explicit input state dependency. Our approach overcomes two limitations of the existing operator-norm estimates in the literature. First, previous bounds are too pessimistic as they quantify the worst-case scenario. Second, previous bounds become trivial for unbounded operators and cannot be applied to a wide class of Trotter scenarios, including atomic and molecular Hamiltonians. Our method enables analytical treatment of Trotter errors in chemistry simulations, illustrated through a case study on the hydrogen atom. Our findings reveal: (i) for states with fat-tailed energy distribution, such as low-angular-momentum states of the hydrogen atom, the Trotter error scales worse than expected (sublinearly) in the number of Trotter steps; (ii) certain states do not admit an advantage in the scaling from higher-order Trotterization, and thus, the higher-order Trotter hierarchy breaks down for these states, including the hydrogen atom's ground state; (iii) the scaling of higher-order Trotter bounds might depend on the order of the Hamiltonians in the Trotter product for states with fat-tailed energy distribution. Physically, the enlarged Trotter error is caused by the atom's ionization due to the Trotter dynamics. Mathematically, we find that certain domain conditions are not satisfied by some states so higher moments of the potential and kinetic energies diverge. Our analytical error analysis agrees with numerical simulations, indicating that we can estimate the state-dependent Trotter error scaling genuinely.

50 pages, 9 figures, 3 tables

References in corpus (17)

• Matrix Product Density Operators: Simulation of finite-T and dissipative systems
• Even more efficient quantum computations of chemistry through tensor hypercontraction
• Is there evidence for exponential quantum advantage in quantum chemistry?
• XMDS2: Fast, scalable simulation of coupled stochastic partial differential equations
• Chemical Basis of Trotter-Suzuki Errors in Quantum Chemistry Simulation
• Provably accurate simulation of gauge theories and bosonic systems
• Time-dependent unbounded Hamiltonian simulation with vector norm scaling
• Grid-based methods for chemistry simulations on a quantum computer
• Optimised Trotter Decompositions for Classical and Quantum Computing
• One bound to rule them all: from Adiabatic to Zeno
• State-dependent error bound for digital quantum simulation of driven systems
• State-dependent Trotter Limits and their approximations
• Unification of Random Dynamical Decoupling and the Quantum Zeno Effect
• Optimal error bounds on time-splitting methods for the nonlinear Schrödinger equation with low regularity potential and nonlinearity
• Trotter error with commutator scaling for the Fermi-Hubbard model
• Complexity of Digital Quantum Simulation in the Low-Energy Subspace: Applications and a Lower Bound
• Quantum Simulation of the First-Quantized Pauli-Fierz Hamiltonian

Cited by in corpus (14)

• Fault-tolerant quantum algorithms for quantum molecular systems: A survey
• Lower Bounds for the Trotter Error
• Trotterization is substantially efficient for low-energy states
• Quantum simulating continuum field theories with large-spin lattice models
• Error bounds for the Floquet-Magnus expansion and their application to the semiclassical quantum Rabi model
• Faster Algorithmic Quantum and Classical Simulations by Corrected Product Formulas
• Convergence Rates for the Trotter Splitting for Unbounded Operators
• Efficiency of Dynamical Decoupling for (Almost) Any Spin-Boson Model
• FFTArray: A Python Library for the Implementation of Discretized Multi-Dimensional Fourier Transforms
• On the Trotter Error in Many-body Quantum Dynamics with Coulomb Potentials
• Phase estimation with partially randomized time evolution
• Energy-limited quantum dynamics
• Geometric Phase Effect in Thermodynamic Properties and in the Imaginary-Time Multi-Electronic-State Path Integral Formulation
• Loss tolerant cross-Kerr enhancement via modulated squeezing