Abstract:The Lie-Trotter formula, together with its higher-order generalizations, provides a direct approach to decomposing the exponential of a sum of operators. Despite significant effort, the error scaling of such product formulas remains poorly understood. We develop a theory of Trotter error that overcomes the limitations of prior approaches based on truncating the Baker-Campbell-Hausdorff expansion. Our analysis directly exploits the commutativity of operator summands, producing tighter error bounds for both real- and imaginary-time evolutions. Whereas previous work achieves similar goals for systems with geometric locality or Lie-algebraic structure, our approach holds in general. We give a host of improved algorithms for digital quantum simulation and quantum Monte Carlo methods, including simulations of second-quantized plane-wave electronic structure, $k$-local Hamiltonians, rapidly decaying power-law interactions, clustered Hamiltonians, the transverse field Ising model, and quantum ferromagnets, nearly matching or even outperforming the best previous results. We obtain further speedups using the fact that product formulas can preserve the locality of the simulated system. Specifically, we show that local observables can be simulated with complexity independent of the system size for power-law interacting systems, which implies a Lieb-Robinson bound as a byproduct. Our analysis reproduces known tight bounds for first- and second-order formulas. Our higher-order bound overestimates the complexity of simulating a one-dimensional Heisenberg model with an even-odd ordering of terms by only a factor of $5$, and is close to tight for power-law interactions and other orderings of terms. This suggests that our theory can accurately characterize Trotter error in terms of both asymptotic scaling and constant prefactor.

Simple and high-precision Hamiltonian simulation by compensating Trotter error with linear combination of unitary operations

Measuring Trotter error and its application to precision-guaranteed Hamiltonian simulations

Mitigating Algorithmic Errors in a Hamiltonian Simulation

Strategies for simulating time evolution of Hamiltonian lattice field theories

Adaptive Trotterization for time-dependent Hamiltonian quantum dynamics using piecewise conservation laws

A Theory of Trotter Error

Simulating Hamiltonian dynamics in a programmable photonic quantum processor using linear combinations of unitary operations

Principal Trotter Observation Error with Truncated Commutators

Assessment of various Hamiltonian partitionings for the electronic structure problem on a quantum computer using the Trotter approximation

Characterization and Verification of Trotterized Digital Quantum Simulation Via Hamiltonian and Liouvillian Learning

Learning effective Hamiltonians for adaptive time-evolution quantum algorithms

Riemannian quantum circuit optimization for Hamiltonian simulation

Estimating Trotter Approximation Errors to Optimize Hamiltonian Partitioning for Lower Eigenvalue Errors

Adiabatic Quantum Simulation Using Trotterization

A Partially Random Trotter Algorithm for Quantum Hamiltonian Simulations

Some improvements to product formula circuits for Hamiltonian simulation

Efficient and practical Hamiltonian simulation from time-dependent product formulas

Trotter error bounds and dynamic multi-product formulas for Hamiltonian simulation

Linear combination of Hamiltonian simulation for nonunitary dynamics with optimal state preparation cost

Improved Accuracy for Trotter Simulations Using Chebyshev Interpolation