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.

Lie-Trotter means in JB-algebras

Lie--Trotter formulae in Jordan--Banach algebras with applications to the study of spectral-valued multiplicative functionals

Suzuki Type Estimates for Exponentiated Sums and Generalized Lie-Trotter Formulas in JB-Algebras

An extension of the weighted geometric mean in unital JB-algebras

An extension of the weighted geometric mean in unital $JB$-algebras

Suzuki Type Estimates for Exponentiated Sums and Generalized Lie-Trotter Formulas in Banach Algebras

A Generalization of Lie H-Pseudobialgebras

Rota-Baxter Lie bialgebras, classical Yang-Baxter equations and special L-dendriform bialgebras

Lie triple 2-algebras

A Theory of Trotter Error

Quasi-triangular, factorizable Leibniz bialgebras and relative Rota-Baxter operators

Modified Rota-Baxter Lie-Yamaguti algebras

From relative Rota-Baxter operators and relative averaging operators on Lie algebras to relative Rota-Baxter operators on Leibniz algebras: a uniform approach

Lie-Trotter Formula for the Hadamard Product

Shifted Derived Poisson Manifolds Associated with Lie Pairs

Post Lie-Yamaguti algebras, relative Rota-Baxter operators of nonzero weights, and their deformations

On two geometric means and sum of adjoint orbits

Graded Lie Algebras, Compactified Jacobians and Arithmetic Statistics

Involution algebroids: a generalisation of Lie algebroids for tangent categories

Extensions of Lie-Rinehart Algebras and Cotangent Bundle Reduction

Non-Commutative Batalin-Vilkovisky Algebras, Homotopy Lie Algebras and the Courant Bracket