State-dependent Trotter limits and their approximations

Abstract

This paper gives sufficient conditions to conclude the validity of digital simulations involving the Trotter product formula for finite discretizations of continuous operators. Essentially, it depends on the state-dependent Trotter error, for which it establishes explicit bounds that are also of independent interest.