Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2107.06404 · Physical Review A

Success of digital adiabatic simulation with large Trotter step

Changhao Yi

Published Nov 8, 2021• 15 citations
arXivHTMLPDF

Abstract

The simulation of adiabatic evolution has deep connections with adiabatic quantum computation, the quantum approximate optimization algorithm, and adiabatic state preparation. Here we address the error analysis problem in quantum simulation of adiabatic process using Trotter formulas. We show that with additional conditions, the circuit depth can be linear in simulation time $T$. The improvement comes from the observation that the fidelity error here can't be estimated by the norm distance between evolution operators. This phenomenon is termed the robustness of discretization in digital adiabatic simulation. It can be explained in three steps, from analytical and numerical evidence: (1) The fidelity error should be estimated by applying adiabatic theorem on the effective Hamiltonian instead. (2) Because of the specialty of Riemann-Lebesgue lemma, most adiabatic process is naturally robust against discretization. (3) As the Trotter step gets larger, the spectral gap of effective Hamiltonian tends to close, which results in the failure of digital adiabatic simulation.

DOI
10.1103/physreva.104.052603

Related papers

Robustness of Discretization in Digital Adiabatic Simulation

Changhao Yi

The simulation of adiabatic evolution has deep connections with Adiabatic Quantum Computation, the Quantum Approximate Optimization Algorithm and adiabatic state preparation. Here we address the error analysis problem in quantum simulation of adiabatic process using Trotter formulas. We show that with additional conditions, the circuit depth can be linear in simulation time $T$. The improvement comes from the observation that the fidelity error here can't be estimated by the norm distance between evolution operators. This phenomenon is termed as the robustness of discretization in digital adiabatic simulation. It can be explained in three steps, from analytical and numerical evidence: 1. the fidelity error should be estimated by applying adiabatic theorem on the effective Hamiltonian instead. 2. because of the specialty of Riemann-Lebesgue lemma, most adiabatic process is naturally robust against discretization. 3. as the Trotter step gets larger, the spectral gap of effective Hamiltonian tends to close, which results in the failure of digital adiabatic simulation.

•Jul 13, 2021•1 citation

Large time-step discretization of adiabatic quantum dynamics

Dong Un An, Pedro C. S. Costa, Dominic William Berry

Adiabatic quantum computing is a general framework for preparing eigenstates of Hamiltonians on quantum devices. However, its digital implementation requires an efficient Hamiltonian simulation subroutine, which may introduce extra computational overhead or complicated quantum control logic. In this work, we show that the time-step sizes in time discretization can be much larger than expected, and the overall complexity is greatly reduced. Remarkably, regardless of the general convergence order of the numerical method, we can choose a uniform time-step size independent of tolerated error and evolution time for sufficiently accurate simulation. Furthermore, with the boundary cancellation condition where the continuous diabatic errors are exponentially suppressed, we provide strong evidence for a superpolynomial convergence of first-order Trotter with uniform time-step size. We apply our analysis to the example of adiabatic unstructured search and show several preferable features of the Trotterized adiabatic approach: It can match the Grover lower bound, it does not require knowledge of the number of marked states, and its performance can be asymptotically comparable with that of the quantum approximate optimization algorithm.

arXiv:2509.00171•Physical Review Research•Oct 2, 2026•0 citations

Spectral Analysis of Product Formulas for Quantum Simulation

Changhao Yi, Elizabeth Crosson

We consider Hamiltonian simulation using the first order Lie-Trotter product formula under the assumption that the initial state has a high overlap with an energy eigenstate, or a collection of eigenstates in a narrow energy band. This assumption is motivated by quantum phase estimation (QPE) and digital adiabatic simulation (DAS). Treating the effective Hamiltonian that generates the Trotterized time evolution using rigorous perturbative methods, we show that the Trotter step size needed to estimate an energy eigenvalue within precision $ε$ using QPE can be improved in scaling from $ε$ to $ε^{1/2}$ for a large class of systems (including any Hamiltonian which can be decomposed as a sum of local terms or commuting layers that each have real-valued matrix elements). For DAS we improve the asymptotic scaling of the Trotter error with the total number of gates $M$ from $\mathcal{O}(M^{-1})$ to $\mathcal{O}(M^{-2})$, and for any fixed circuit depth we calculate an approximately optimal step size that balances the error contributions from Trotterization and the adiabatic approximation. These results partially generalize to diabatic processes, which remain in a narrow energy band separated from the rest of the spectrum by a gap, thereby contributing to the explanation of the observed similarities between the quantum approximate optimization algorithm and diabatic quantum annealing at small system sizes. Our analysis depends on the perturbation of eigenvectors as well as eigenvalues, and on quantifying the error using state fidelity (instead of the matrix norm of the difference of unitaries which is sensitive to an overall global phase).

arXiv:2102.12655•Feb 25, 2021•3 citations

Digital adiabatic evolution is universally accurate

Yangyu Lu, Yifei Huang, Dong An +3 more

Adiabatic evolution is a central paradigm in quantum physics. Digital simulations of adiabatic processes are generally regarded as resource-intensive, not only because of the long evolution time required, but also because algorithmic errors typically accumulate throughout the evolution, thereby demanding exceptionally deep circuits to preserve accuracy. This work demonstrates that digital adiabatic evolution is intrinsically accurate and robust to simulation errors. We analyze two Hamiltonian simulation methods—Trotterization and generalized quantum signal processing—and prove that the simulation error does not increase with time. We further show that accurate time-dependent adiabatic evolution can be achieved using only time-independent Hamiltonian-simulation algorithms. Numerical simulations of the adiabatic algorithms for molecular systems and linear equations confirm the theory, revealing that digital adiabatic evolution is substantially more efficient than previously assumed. Remarkably, our estimation for the first-order Trotterization error can be 106 times tighter than previous analyses for the transverse field Ising model even with less than 6 qubits. The findings establish fundamental robustness of digital adiabatic evolution and provide a basis for accurate, efficient implementations on fault-tolerant-and potentially near-term–quantum platforms. In this study, the authors show that digital adiabatic evolution is highly robust to simulation errors. Rather than accumulating, these errors self-cancel and even decrease over time, enabling highly efficient algorithms on near-term and future quantum computers.

arXiv:2510.12237•Nature Communications•May 21, 2026•1 citation

Digital quantum state preparation by nucleation

Jean Paul Sadia, Morten Hjorth-Jensen, Dean Lee +1 more

Quantum state preparation is crucial for quantum algorithms, and improved state preparation methods can reduce resource requirements by orders of magnitude. In this work, we introduce a state preparation method for lattice Hamiltonians on digital quantum computers inspired by nucleation. In our method, the exact ground state of a small lattice Hamiltonian is prepared in a quantum circuit, then a series of growth stages are performed via Trotterized adiabatic evolution to increase the size of the lattice to the desired model. Using the adiabatic theorem and Trotter error bounds, we provide sufficient conditions on the total evolution time and number of Trotter steps required for nucleation to prepare an initial state with desired fidelity. In addition, we introduce optimized nucleation which considers variational optimization on top of the nucleation structure. For a two-dimensional Ising model, we show that optimized nucleation can outperform a current leading method for state preparation on digital quantum computers.

quant-pharXiv:2609.37527•Sep 30, 2026•0 citations

Self-Healing of Trotter Error in Digital Adiabatic State Preparation

Lucas K. Kovalsky, F. A. Calderon-Vargas, Matthew Grace +4 more

Adiabatic time evolution can be used to prepare a complicated quantum many-body state from one that is easier to synthesize and Trotterization can be used to implement such an evolution digitally. The complex interplay between nonadiabaticity and digitization influences the infidelity of this process. We prove that the first-order Trotterization of a complete adiabatic evolution has a cumulative infidelity that scales as O(T^{-2}δt^{2}) instead of O(T^{2}δt^{2}) expected from general Trotter error bounds, where δt is the time step and T is the total time. This result suggests a self-healing mechanism and explains why, despite increasing T, infidelities for fixed-δt digitized evolutions still decrease for a wide variety of Hamiltonians. It also establishes a correspondence between the quantum approximate optimization algorithm and digitized quantum annealing.

arXiv:2209.06242•Physical Review Letters•Aug 7, 2023•30 citations
The simulation of adiabatic evolution has deep connections with adiabatic quantum computation, the quantum approximate optimization algorithm, and adiabatic state preparation. Here we address the error analysis problem in quantum simulation of adiabatic process using Trotter formulas. We show that with additional conditions, the circuit depth can be linear in simulation time TTT. The improvement comes from the observation that the fidelity error here can't be estimated by the norm distance between evolution operators. This phenomenon is termed the robustness of discretization in digital adiabatic simulation. It can be explained in three steps, from analytical and numerical evidence: (1) The fidelity error should be estimated by applying adiabatic theorem on the effective Hamiltonian instead. (2) Because of the specialty of Riemann-Lebesgue lemma, most adiabatic process is naturally robust against discretization. (3) As the Trotter step gets larger, the spectral gap of effective Hamiltonian tends to close, which results in the failure of digital adiabatic simulation.
The simulation of adiabatic evolution has deep connections with Adiabatic Quantum Computation, the Quantum Approximate Optimization Algorithm and adiabatic state preparation. Here we address the error analysis problem in quantum simulation of adiabatic process using Trotter formulas. We show that with additional conditions, the circuit depth can be linear in simulation time TTT. The improvement comes from the observation that the fidelity error here can't be estimated by the norm distance between evolution operators. This phenomenon is termed as the robustness of discretization in digital adiabatic simulation. It can be explained in three steps, from analytical and numerical evidence: 1. the fidelity error should be estimated by applying adiabatic theorem on the effective Hamiltonian instead. 2. because of the specialty of Riemann-Lebesgue lemma, most adiabatic process is naturally robust against discretization. 3. as the Trotter step gets larger, the spectral gap of effective Hamiltonian tends to close, which results in the failure of digital adiabatic simulation.
Adiabatic quantum computing is a general framework for preparing eigenstates of Hamiltonians on quantum devices. However, its digital implementation requires an efficient Hamiltonian simulation subroutine, which may introduce extra computational overhead or complicated quantum control logic. In this work, we show that the time-step sizes in time discretization can be much larger than expected, and the overall complexity is greatly reduced. Remarkably, regardless of the general convergence order of the numerical method, we can choose a uniform time-step size independent of tolerated error and evolution time for sufficiently accurate simulation. Furthermore, with the boundary cancellation condition where the continuous diabatic errors are exponentially suppressed, we provide strong evidence for a superpolynomial convergence of first-order Trotter with uniform time-step size. We apply our analysis to the example of adiabatic unstructured search and show several preferable features of the Trotterized adiabatic approach: It can match the Grover lower bound, it does not require knowledge of the number of marked states, and its performance can be asymptotically comparable with that of the quantum approximate optimization algorithm.
We consider Hamiltonian simulation using the first order Lie-Trotter product formula under the assumption that the initial state has a high overlap with an energy eigenstate, or a collection of eigenstates in a narrow energy band. This assumption is motivated by quantum phase estimation (QPE) and digital adiabatic simulation (DAS). Treating the effective Hamiltonian that generates the Trotterized time evolution using rigorous perturbative methods, we show that the Trotter step size needed to estimate an energy eigenvalue within precision εεε using QPE can be improved in scaling from εεε to ε1/2ε^{1/2}ε1/2 for a large class of systems (including any Hamiltonian which can be decomposed as a sum of local terms or commuting layers that each have real-valued matrix elements). For DAS we improve the asymptotic scaling of the Trotter error with the total number of gates MMM from O(M−1)\mathcal{O}(M^{-1})O(M−1) to O(M−2)\mathcal{O}(M^{-2})O(M−2), and for any fixed circuit depth we calculate an approximately optimal step size that balances the error contributions from Trotterization and the adiabatic approximation. These results partially generalize to diabatic processes, which remain in a narrow energy band separated from the rest of the spectrum by a gap, thereby contributing to the explanation of the observed similarities between the quantum approximate optimization algorithm and diabatic quantum annealing at small system sizes. Our analysis depends on the perturbation of eigenvectors as well as eigenvalues, and on quantifying the error using state fidelity (instead of the matrix norm of the difference of unitaries which is sensitive to an overall global phase).
Adiabatic evolution is a central paradigm in quantum physics. Digital simulations of adiabatic processes are generally regarded as resource-intensive, not only because of the long evolution time required, but also because algorithmic errors typically accumulate throughout the evolution, thereby demanding exceptionally deep circuits to preserve accuracy. This work demonstrates that digital adiabatic evolution is intrinsically accurate and robust to simulation errors. We analyze two Hamiltonian simulation methods—Trotterization and generalized quantum signal processing—and prove that the simulation error does not increase with time. We further show that accurate time-dependent adiabatic evolution can be achieved using only time-independent Hamiltonian-simulation algorithms. Numerical simulations of the adiabatic algorithms for molecular systems and linear equations confirm the theory, revealing that digital adiabatic evolution is substantially more efficient than previously assumed. Remarkably, our estimation for the first-order Trotterization error can be 106 times tighter than previous analyses for the transverse field Ising model even with less than 6 qubits. The findings establish fundamental robustness of digital adiabatic evolution and provide a basis for accurate, efficient implementations on fault-tolerant-and potentially near-term–quantum platforms. In this study, the authors show that digital adiabatic evolution is highly robust to simulation errors. Rather than accumulating, these errors self-cancel and even decrease over time, enabling highly efficient algorithms on near-term and future quantum computers.
Quantum state preparation is crucial for quantum algorithms, and improved state preparation methods can reduce resource requirements by orders of magnitude. In this work, we introduce a state preparation method for lattice Hamiltonians on digital quantum computers inspired by nucleation. In our method, the exact ground state of a small lattice Hamiltonian is prepared in a quantum circuit, then a series of growth stages are performed via Trotterized adiabatic evolution to increase the size of the lattice to the desired model. Using the adiabatic theorem and Trotter error bounds, we provide sufficient conditions on the total evolution time and number of Trotter steps required for nucleation to prepare an initial state with desired fidelity. In addition, we introduce optimized nucleation which considers variational optimization on top of the nucleation structure. For a two-dimensional Ising model, we show that optimized nucleation can outperform a current leading method for state preparation on digital quantum computers.
Adiabatic time evolution can be used to prepare a complicated quantum many-body state from one that is easier to synthesize and Trotterization can be used to implement such an evolution digitally. The complex interplay between nonadiabaticity and digitization influences the infidelity of this process. We prove that the first-order Trotterization of a complete adiabatic evolution has a cumulative infidelity that scales as O(T^{-2}δt^{2}) instead of O(T^{2}δt^{2}) expected from general Trotter error bounds, where δt is the time step and T is the total time. This result suggests a self-healing mechanism and explains why, despite increasing T, infidelities for fixed-δt digitized evolutions still decrease for a wide variety of Hamiltonians. It also establishes a correspondence between the quantum approximate optimization algorithm and digitized quantum annealing.