Prethermalization, shadowing breakdown, and the absence of Trotterization transition in quantum circuits

One of premier utilities of present day noisy quantum computers is simulation of many-body quantum systems. We study how long in time is such a discrete-time simulation representative of a continuous time Hamiltonian evolution, namely, a finite time-step introduces so-called Trotterization errors. We show that the truncated operator propagator (Ruelle-Pollicott resonances) is a powerful tool to that end, as well as to study prethermalization and discrete time crystals, including finding those phenomena at large gate duration, and can be used to calculate diffusion constant. We show that the effective energy is more stable than suggested by Trotter errors -- a manifestation of prethermalization -- while all other observables are not. Even such the most stable observable though deteriorates in the thermodynamic limit. Different than in classical systems with the strongest chaos, where the faithfulness time (the shadowing time) can be infinite, in quantum many-body chaotic systems it is finite. A corollary of our results is also that, opposite to previous claims, there is no Trotterization transition in non-integrable many-body quantum systems.