A Theory of Trotter Error
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:R6I6WBO6record.jsonopen to challenge →
read the original 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.
This paper has not been read by Pith yet.
Forward citations
Cited by 11 Pith papers
-
Tightening energy-based boson truncation bound using Monte Carlo-assisted methods
Monte Carlo-assisted tightening of the energy-based boson truncation bound substantially reduces volume dependence in (1+1)D scalar field theory and (2+1)D U(1) gauge theory.
-
Tightening energy-based boson truncation bound using Monte Carlo-assisted methods
A Monte Carlo-assisted analytic method tightens energy-based bounds on boson truncation errors, substantially reducing the volume dependence of the required cutoff in scalar and gauge theories.
-
Fixing Divergence in Carleman Linearization via Analytical Continuation
A Möbius conformal map and regularized incomplete beta function fix the long-time divergence of Carleman linearization for logistic, KPP-Fisher, and phase-field equations.
-
Fast and Parallel High-Rate STAR Architecture for Megaquop Quantum Simulation
A symmetry-co-designed high-rate QEC architecture with parallel STAR injection on bivariate bicycle codes achieves ~5.5x space savings for TFIM and Fermi-Hubbard simulations versus surface-code STAR.
-
Quantum Simulation of Generalized Parton Distributions in the Schwinger Model
Quantum algorithm for GPDs in Schwinger model using Wilson fermions, with polynomial resource scaling and exact-diagonalization benchmarks matching theory.
-
Fermionic Hamiltonian engineering with local control
Linear-programming method for conjugating local fermionic unitaries with free evolution realizes arbitrary complex tunneling coefficients in fermionic lattice models constrained only by connectivity.
-
Projector Quantum Variational Ansatz
The Projector Variational Ansatz (PVA) is a new VQE ansatz that can match ISQ-QSP or ADAPT-VQE structures and converges with shallower circuits than standard ADAPT-VQE in experiments.
-
Distribution Complexity of Electronic Structure Simulations on Quantum Supercomputers
An algorithm is presented for estimating distribution complexity of electronic structure Hamiltonians, with O(N^3) entanglement estimation per fragment and quadratic/exponential reductions in distribution cost for qua...
-
Collective neutrino oscillations: Many-body non-forward effects and non-classicality
In a neutrino-gas model, the many-body Hamiltonian yields different evolution timescales and asymptotics than the quantum kinetic approach with collisions, while quantum resources for the full case sit at the low end ...
-
Tightening energy-based boson truncation bound using Monte Carlo-assisted methods
New analytic and Monte Carlo-assisted method tightens energy-based boson truncation bounds, reducing volume dependence in (1+1)D scalar and (2+1)D U(1) gauge theories.
-
Quantum simulation of massive Thirring and Gross--Neveu models for arbitrary number of flavors
Quantum simulation methods for Thirring and Gross-Neveu fermionic models with arbitrary flavors, including gate complexity bounds and ground-state preparation up to 20 qubits.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.