Spectral analysis of product formulas for quantum simulation

Trotter-Suzuki formula is a practical and efficient algorithm for Hamiltonian simulation. It has been widely used in quantum chemistry, quantum field theory and condensed matter physics. Usually, its error is quantified by the operator norm distance between the ideal evolution operator and the digital evolution operator. However, recently more and more papers discovered that, even in large Trotter step region, the quantity of interest can still be accurately simulated. These robustness phenomena imply a different approach of analyzing Trotter-Suzuki formulas. In our previous paper, by analyzing the spectral analysis of the effective Hamiltonian, we successfully established refined estimations of digital errors, and thus improved the circuit complexity of quantum phase estimation and digital adiabatic simulation.