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.

Optimized Lie-Trotter-Suzuki decompositions for two and three non-commuting terms

Optimised Trotter Decompositions for Classical and Quantum Computing

Simple Ways to improve Discrete Time Evolution

A Theory of Trotter Error

Minimum Trotterization Formulas for a Time-Dependent Hamiltonian

Optimal-order Trotter-Suzuki decomposition for quantum simulation on noisy quantum computers

Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling

Optimal Tree Tensor Network Operators for Tensor Network Simulations: Applications to Open Quantum Systems

Riemannian quantum circuit optimization for Hamiltonian simulation

Trotter error time scaling separation via commutant decomposition

Optimized Decimation of Tensor Networks with Super-orthogonalization for Two-Dimensional Quantum Lattice Models

Quantum simulation costs for Suzuki-Trotter decomposition of quantum many-body lattice models

Tensor Factorized Recursive Hamiltonian Downfolding To Optimize The Scaling Complexity Of The Electronic Correlations Problem on Classical and Quantum Computers

Computations in quantum tensor networks

Exponentially more precise quantum simulation of fermions I: Quantum chemistry in second quantization

Principal Trotter Observation Error with Truncated Commutators

Efficient quantum tensor product expanders and unitary t-designs via the zigzag product

Simple Fermionic backflow states via a systematically improvable tensor decomposition

Tensor Decompositions and Adiabatic Quantum Computing for Discovering Practical Matrix Multiplication Algorithms