- Open Access
Exponentially Reduced Circuit Depths Using Trotter Error Mitigation
PRX Quantum 6, 030325 – Published 12 August, 2025
DOI: https://doi.org/10.1103/kw39-yxq5
Abstract
Product formulas are a popular class of digital quantum simulation algorithms due to their conceptual simplicity, low overhead, and performance, which often exceeds theoretical expectations. Recently, Richardson extrapolation and polynomial interpolation have been proposed to mitigate the Trotter error incurred by the use of these formulas. This work provides a rigorous, general analysis of these techniques for computing time-evolved observables, simplifying the interpolation algorithm in the process, and shows that extrapolation generically improves the performance of product formulas for this task. We demonstrate that, to achieve error in a simulation of time using a -order product formula with extrapolation, circuit depths of are sufficient—an exponential improvement in the precision over product formulas alone. Furthermore, we prove that these algorithms achieve commutator scaling, and improve the complexity for the interpolation algorithm. By relaxing the requirement of performing exact Chebyshev interpolation, our simplified algorithm eliminates the need for fractional implementations of Trotter steps, reducing computational overhead. Finally, we show these techniques can be combined with the classical shadows method to estimate many time-evolved local observables. Taken together, our findings provide the strongest evidence yet for the utility of Trotter error-mitigation techniques in algorithmic applications.
Physics Subject Headings (PhySH)
Popular Summary
Quantum computers can simulate the dynamics of complex quantum-mechanical systems at speeds much faster than traditional “classical” computers. However, classical computers can still be used alongside quantum computers to improve the quality of these calculations. For example, there are several methods for improving the accuracy of quantum computing simulations, which involve combining the results of calculations for several different values of an accuracy parameter. This work unifies these approaches and provides a thorough mathematical analysis of their performance, showing that they perform similarly well to one another and are all effective at reducing the quantum computing resources needed to achieve a desired quality of result.
In particular, we consider Trotter-based methods for quantum simulation, a popular set of techniques due to their simplicity and high performance. Accuracy is determined by the number of iterations, and we vary this number to collect data to be used for classical data analysis. We prove that maximum run times can be exponentially reduced using one of two considered extrapolation techniques, Richardson or polynomial, compared to using Trotter alone. Moreover, these extrapolation techniques have the beneficial property that the error tends to zero as the Hamiltonian operator terms tend toward commuting.
Beyond the two techniques considered here, our work indicates the value of more general schemes that learn the behavior of Trotter simulations with respect to accuracy parameters. Concrete demonstrations of the protocol on actual quantum hardware will help assess the real value of these tools for simulating quantum systems studied in scientific and industrial contexts.
Article Text
References (72)
- Yudong Cao, Jonathan Romero, Jonathan P. Olson, Matthias Degroote, Peter D. Johnson, Mária Kieferová, Ian D. Kivlichan, Tim Menke, Borja Peropadre, and Nicolas P. D. Sawaya, Quantum chemistry in the age of quantum computing, Chem. Rev. 119, 10856 (2019).
- Laura Clinton, Toby Cubitt, Brian Flynn, Filippo Maria Gambetta, Joel Klassen, Ashley Montanaro, Stephen Piddock, Raul A. Santos, and Evan Sheridan, Towards near-term quantum simulation of materials, Nat. Commun. 15, 211 (2024).
- Alessandro Roggero, Andy C. Y. Li, Joseph Carlson, Rajan Gupta, and Gabriel N. Perdue, Quantum computing for neutrino-nucleus scattering, Phys. Rev. D 101, 074038 (2020).
- Alexander F. Shaw, Pavel Lougovski, Jesse R. Stryker, and Nathan Wiebe, Quantum algorithms for simulating the lattice Schwinger model, Quantum 4, 306 (2020).
- James D. Watson, Jacob Bringewatt, Alexander F. Shaw, Andrew M. Childs, Alexey V. Gorshkov, and Zohreh Davoudi, Quantum algorithms for simulating nuclear effective field theories, ArXiv:2312.05344.
- B. David Clader, Bryan C. Jacobs, and Chad R. Sprouse, Preconditioned quantum linear system algorithm, Phys. Rev. Lett. 110, 250504 (2013).
- Aram W. Harrow, Avinatan Hassidim, and Seth Lloyd, Quantum algorithm for linear systems of equations, Phys. Rev. Lett. 103, 150502 (2009).
- Ryan Babbush, Dominic W. Berry, Robin Kothari, Rolando D. Somma, and Nathan Wiebe, Exponential quantum speedup in simulating coupled classical oscillators, Phys. Rev. X 13, 041041 (2023).
- Pedro C. S. Costa, Stephen Jordan, and Aaron Ostrander, Quantum algorithm for simulating the wave equation, Phys. Rev. A 99, 012323 (2019).
- Charles Derby, Joel Klassen, Johannes Bausch, and Toby Cubitt, Compact fermion to qubit mappings, Phys. Rev. B 104, 035118 (2021).
- Mark Steudtner and Stephanie Wehner, Fermion-to-qubit mappings with varying resource requirements for quantum simulation, New J. Phys. 20, 063010 (2018).
- Yuchen Wang, LeeAnn M. Sager-Smith, and David A. Mazziotti, Quantum simulation of bosons with the contracted quantum eigensolver, New J. Phys. 25, 103005 (2023).
- Anthony N. Ciavarella and Ivan A. Chernyshev, Preparation of the SU(3) lattice Yang-Mills vacuum with variational quantum methods, Phys. Rev. D 105, 074504 (2022).
- Dominic W. Berry, Andrew M. Childs, Richard Cleve, Robin Kothari, and Rolando D. Somma, Simulating Hamiltonian dynamics with a truncated Taylor series, Phys. Rev. Lett. 114, 090502 (2015).
- Guang Hao Low and Isaac L. Chuang, Hamiltonian simulation by qubitization, Quantum 3, 163 (2019).
- Seth Lloyd, Universal quantum simulators, Science 273, 1073 (1996).
- Emanuel Knill, Gerardo Ortiz, and Rolando D. Somma, Optimal quantum measurements of expectation values of observables, Phys. Rev. A—At. Mol. Opt. Phys. 75, 012328 (2007).
- Rolando D. Somma, Quantum eigenvalue estimation via time series analysis, New J. Phys. 21, 123025 (2019).
- Andrew M. Childs, Yuan Su, Minh C. Tran, Nathan Wiebe, and Shuchen Zhu, Theory of trotter error with commutator scaling, Phys. Rev. X 11, 011020 (2021).
- Junaid Aftab, Dong An, and Konstantina Trivisa, Multi-product Hamiltonian simulation with explicit commutator scaling, ArXiv:2403.08922.
- Andrew M. Childs and Nathan Wiebe, Hamiltonian simulation using linear combinations of unitary operations, Quantum Inf. Comput. 12, 901 (2012).
- Jeongwan Haah, Matthew B. Hastings, Robin Kothari, and Guang Hao Low, Quantum algorithm for simulating real time evolution of lattice Hamiltonians, SIAM J. Comput. 52, FOCS18 (2021).
- Guang Hao Low, Vadym Kliuchnikov, and Nathan Wiebe, Well-conditioned multiproduct Hamiltonian simulation, ArXiv:1907.11679.
- Dominic W. Berry and Andrew M. Childs, Black-box hamiltonian simulation and unitary implementation, Quantum Inf. Comput. 12, 29 (2012).
- Burak Şahinoğlu and Rolando D. Somma, Hamiltonian simulation in the low-energy subspace, npj Quantum Inf. 7, 119 (2021).
- Minh C. Tran, Su-Kuan Chu, Yuan Su, Andrew M. Childs, and Alexey V. Gorshkov, Destructive error interference in product-formula lattice simulation, Phys. Rev. Lett. 124, 220502 (2020).
- Minh C. Tran, Yuan Su, Daniel Carney, and Jacob M. Taylor, Faster digital quantum simulation by symmetry protection, PRX Quantum 2, 010323 (2021).
- Qi Zhao, You Zhou, Alexander F. Shaw, Tongyang Li, and Andrew M. Childs, Hamiltonian simulation with random inputs, Phys. Rev. Lett. 129, 270502 (2022).
- Qi Zhao, You Zhou, and Andrew M. Childs, Entanglement accelerates quantum simulation, ArXiv:2406.02379.
- Alexander Zlokapa and Rolando D. Somma, Hamiltonian simulation for low-energy states with optimal time dependence, Quantum 8, 1449 (2024).
- Ryan Babbush, Jarrod McClean, Dave Wecker, Alán Aspuru-Guzik, and Nathan Wiebe, Chemical basis of Trotter-Suzuki errors in quantum chemistry simulation, Phys. Rev. A 91, 022311 (2015).
- Andrew M. Childs, Dmitri Maslov, Yunseong Nam, Neil J. Ross, and Yuan Su, Toward the first quantum simulation with quantum speedup, Proc. Natl. Acad. Sci. 115, 9456 (2018).
- Markus Heyl, Philipp Hauke, and Peter Zoller, Quantum localization bounds Trotter errors in digital quantum simulation, Sci. Adv. 5, eaau8342 (2019).
- Jan Lukas Bosse, Andrew M. Childs, Charles Derby, Filippo Maria Gambetta, Ashley Montanaro, and Raul A. Santos, Efficient and practical Hamiltonian simulation from time-dependent product formulas, Nat. Commun. 16, 2673 (2025).
- Earl Campbell, Random compiler for fast Hamiltonian simulation, Phys. Rev. Lett. 123, 070503 (2019).
- Huo Chen, Niladri Gomes, Siyuan Niu, and Wibe Albert de Jong, Adaptive variational simulation for open quantum systems, Quantum 8, 1252 (2024).
- Mauro E. S. Morales, Pedro C. S. Costa, Giacomo Pantaleoni, Daniel K. Burgarth, Yuval R. Sanders, and Dominic W. Berry, Greatly improved higher-order product formulae for quantum simulation, ArXiv:2210.15817.
- Kouhei Nakaji, Mohsen Bagherimehrab, and Alán Aspuru-Guzik, High-order randomized compiler for Hamiltonian simulation, PRX Quantum 5, 020330 (2024).
- Yingkai Ouyang, David R. White, and Earl T. Campbell, Compilation by stochastic Hamiltonian sparsification, Quantum 4, 235 (2020).
- Kunal Sharma and Minh C. Tran, Hamiltonian simulation in the interaction picture using the magnus expansion, ArXiv:2404.02966.
- Xiao Yuan, Suguru Endo, Qi Zhao, Ying Li, and Simon C. Benjamin, Theory of variational quantum simulation, Quantum 3, 191 (2019).
- Conor Mc Keever and Michael Lubasch, Classically optimized Hamiltonian simulation, Phys. Rev. Res. 5, 023146 (2023).
- Suguru Endo, Qi Zhao, Ying Li, Simon Benjamin, and Xiao Yuan, Mitigating algorithmic errors in a Hamiltonian simulation, Phys. Rev. A 99, 012334 (2019).
- Almudena Carrera Vazquez, Daniel J. Egger, David Ochsner, and Stefan Woerner, Well-conditioned multi-product formulas for hardware-friendly Hamiltonian simulation, Quantum 7, 1067 (2023).
- Gumaro Rendon, Jacob Watkins, and Nathan Wiebe, Improved accuracy for Trotter simulations using Chebyshev interpolation, Quantum 8, 1266 (2024).
- Patrick Cook, Danny Jammooa, Morten Hjorth-Jensen, Daniel D. Lee, and Dean Lee, Parametric matrix models, ArXiv:2401.11694.
- Lewis Fry Richardson, The approximate arithmetical solution by finite differences of physical problems involving differential equations, with an application to the stresses in a masonry dam, Philos. Trans. R. Soc. A 210, 307 (1911).
- Avram Sidi, in Practical Extrapolation Methods: Theory and Applications, Cambridge Monographs on Applied and Computational Mathematics (Cambridge University Press, Cambridge, UK, 2003), p. 21.
- Nicholas J. Higham, The numerical stability of barycentric Lagrange interpolation, IMA J. Numer. Anal. 24, 547 (2004).
- T. J. Rivlin, Dover Books on Mathematics Chebyshev Polynomials (Dover Publications, Garden City, NY, 2020).
- Dmitry Grinko, Julien Gacon, Christa Zoufal, and Stefan Woerner, Iterative quantum amplitude estimation, npj Quantum Inf. 7, 52 (2021).
- Vittorio Giovannetti, Seth Lloyd, and Lorenzo Maccone, Quantum metrology, Phys. Rev. Lett. 96, 010401 (2006).
- Paul K. Faehrmann, Mark Steudtner, Richard Kueng, Maria Kieferova, and Jens Eisert, Randomizing multi-product formulas for Hamiltonian simulation, Quantum 6, 806 (2022).
- Sergiy Zhuk, Niall Robertson, and Sergey Bravyi, Trotter error bounds and dynamic multi-product formulas for Hamiltonian simulation, Phys. Rev. Res. 6, 033309 (2024).
- W. Gong, Yaroslav Kharkov, Minh C. Tran, Przemyslaw Bienias, and Alexey V. Gorshkov, Improved digital quantum simulation by non-unitary channels, ArXiv:2307.13028.
- Nathan Wiebe, Dominic Berry, Peter Høyer, and Barry C. Sanders, Higher order decompositions of ordered operator exponentials, J. Phys. A: Math. Theor. 43, 065203 (2010).
- Ana Arnal, Fernando Casas, and Cristina Chiralt, A note on the Baker–Campbell–Hausdorff series in terms of right-nested commutators, Mediterr. J. Math. 18, 1 (2021).
- Gyula Lakos, Convergence estimates for the Magnus expansion I. Banach algebras, ArXiv:1709.01791.
- Gyula Lakos, Convergence estimates for the Magnus expansion II. C* -algebras, ArXiv:1910.03328.
- Jacob Watkins, Nathan Wiebe, Alessandro Roggero, and Dean Lee, Time-dependent Hamiltonian simulation using discrete-clock constructions, PRX Quantum 5, 040316 (2024).
- Alfio Quarteroni, Riccardo Sacco, and Fausto Saleri, Numerical Mathematics (Springer Science & Business Media, Berlin, Germany, 2010), Vol. 37.
- Jacob Watkins, New quantum algorithms and analyses for Hamiltonian simulation. PhD thesis, Michigan State University, 2024, p. 193.
- We note a small difference in the scaling of the error compared to Ref. [62] where the gradient changes with . This is due to the different choice in the minimum number of Trotter steps.
- Hsin-Yuan Huang, Richard Kueng, and John Preskill, Predicting many properties of a quantum system from very few measurements, Nat. Phys. 16, 1050 (2020).
- Abhishek Rajput, Alessandro Roggero, and Nathan Wiebe, Hybridized methods for quantum simulation in the interaction picture, Quantum 6, 780 (2022).
- James D. Watson, Randomly compiled quantum simulation with exponentially reduced circuit depths, ArXiv:2411.04240.
- Alexander Hahn, Paul Hartung, Daniel Burgarth, Facchi Paolo, and Kazuya Yuasa, Lower bounds for the Trotter error, Phys. Rev. A 111, 022417 (2025).
- Gumaro Rendon, All you need is Trotter, ArXiv:2311.01533.
- https://doi.org/10.5281/zenodo.16369083.
- Marco Vianello and Federico Piazzon, Stability inequalities for Lebesgue constants via Markov-like inequalities, Dolomites Res. Notes Approx. 11, 1 (2018).
- We add that the series in Eq. (D1) (i.e., Ref. [44, Eq. (13)]) is claimed to come from Ref. [72], however, we were unable to verify this explicit series appears in Ref. [72].
- Siu A. Chin, Multi-product splitting and Runge-Kutta-Nyström integrators, Celest. Mech. Dyn. Astron. 106, 391 (2010).
