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.

General Lower Bounds based on Computer Generated Higher Order Expansions

Better bounds on Grothendieck constants of finite orders

Asymptotic expansion of the partition function for $β$-ensembles with complex potentials

Exponential decay estimates for fundamental matrices of generalized Schrödinger systems

Simple error bounds for an asymptotic expansion of the partition function

Upper bounds for Grothendieck constants, quantum correlation matrices and CCP functions

A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds

Upper bounds in non-autonomous quantum dynamics

A Theory of Trotter Error

Lower Bounds for the Trotter Error

Deriving Nonuniform Lower Bounds from Uniform Nondeterministic Lower Bounds

Exact asymptotic order for generalised adaptive approximations

Abstract Bergman kernel expansion and its applications

Coboundary and cosystolic expansion without dependence on dimension or degree

Rigorous enclosure of Lyapunov exponents of stochastic flows

Better bounds for low-energy product formulas

The Laplace asymptotic expansion in high dimensions

Lower bounds for adiabatic quantum algorithms by quantum speed limits

Quantitative lower bounds on the Lyapunov exponent from multivariate matrix inequalities

Lower bound of the expressibility of ansatzes for Variational Quantum Algorithms

Improved Bounds for Szemerédi's Theorem