Refining resource estimation for the quantum computation of vibrational molecular spectra through Trotter error analysisDimitar TrenevPauline J. Ollitraultet al.2025Quantum