Theory of Trotter Errors for Time-Dependent Product and Multi-product Formulas
Anonymous, Tatsuhiko N. Ikeda, Keisuke Fujii
Product formula (PF), which approximates the time evolution under a many-body Hamiltonian by the product of local time-evolution operators, is one of the central approaches for simulating quantum dynamics by quantum computers. It has been of great interest whether the errors of PFs can be expressed by commutators among local terms, since it brings the substantial suppression of the computational cost in the system size reflecting the locality of Hamiltonians. Although recent studies have revealed such error bounds for generic time-independent systems, it remains to be a difficult problem for time-dependent Hamiltonians except for low-order PFs. In this paper, we derive an error bound of generic PFs for smooth time-dependent Hamiltonians, which is expressed explicitly by nested commutators and their time derivatives. It indicates the substantial error suppression in the system size for generic local Hamiltonians, thereby giving a much better estimate of gate counts. Our derivation employs Floquet theory originally developed for time-periodic systems, with which we analyze the time-dependent PF errors by mapping them to those for time-independent PFs defined on an infinite-dimensional space. This approach is also applicable to a family of time-dependent PFs, such as the one for non-unitary dynamics. In particular, we clarify the error bound of a time-dependent multi-product formula, with which we can achieve exponentially better scaling with respect to the target accuracy than the PF. Our results will shed light on applications of near-term and future quantum computers, ranging from quantum simulation of nonequilibrium materials to faster algorithms exploiting time-dependent Hamiltonians such as adiabatic state preparation.
arXiv:2410.14243•PRX Quantum•Aug 4, 2026•0 citations