We prove the adiabatic theorem for quantum evolution without the traditional gap condition. We show that the theorem holds essentially in all cases where it can be formulated. In particular, our result implies that the adiabatic theorem holds also for eigenvalues embedded in the continuous spectrum. If there is information on the Hölder continuity of the spectral measure, then one can also estimate the rate at which the adiabatic limit is approached. The adiabatic theorem of Quantum Mechanics describes the long time behavior of the solutions of an initial value problem where the Hamiltonian generating the evolution depends slowly in time. Traditionally, the theorem is stated for Hamiltonians that have an eigenvalue which is separated by a gap from the rest of the spectrum. Folk wisdom is that a gap condition is a sine qua non for the adiabatic theorem to hold. In particular, according to this folk wisdom, one does not expect a general adiabatic theorem for Hamiltonians that have an eigenvalue embedded in, say, the continuous spectrum. Our purpose is to show that this folk wisdom is wrong, and there is a general adiabatic theorem without a gap condition. All one really needs for the adiabatic theorem is a spectral projection for the Hamiltonian that depends smoothly on time.
The authors consider a two-level quantum mechanical system driven by an analytic time-dependent Hamiltonian of the form H( in t). In the adiabatic limit, in <<1, the transition probability P(+,-) from one energy level (labelled by -) at time t=- infinity to the other (labelled by +) at time t=+0OI is known to behave as P(+,-)=exp(- alpha -1 in -1 ) exp( alpha 0 )(1+O( in )). Using a simple iterative procedure generating Hamiltonians H 0 =H,H 1 ,. . .H N+1 , they compute the full asymptotic expansion of the transition probability ln P(+,-)=- alpha -1 in -1 + alpha 0 + j=0 N alpha j in j +O ( in N+1 ) For all N>or=0.
The adiabatic theorem is a powerful result concerning the evolution of quantum mechanical systems. Intuitively, it states the following: suppose we want to study the evolution of a quantum mechanical system governed by a given Hamiltonian
H (Def. 6.1), and the initial state of the system is the eigenstate of
H corresponding to its lowest eigenvalue. The laws of quantum physics tell us that the evolution of the system over time follows the Schrüdinger equation, Eq. (6.1). Suppose now that the Hamiltonian is not fixed, but rather, it changes very slowly over time, so that the evolution of the system is described by the differential equation
idtd∣ψ(t)⟩=H(t)∣ψ(t)⟩, and
H(t) is slowly changing. If, for any value of the time parameter
t, there is always a gap between the lowest eigenvalue of
H(t) and all other eigenvalues, then the adiabatic theorem asserts that the state of the system always remains in an eigenstate with the lowest eigenvalue throughout the evolution. One specific case of interest in this chapter occurs when the time-dependent Hamiltonian
H(t) varies from an initial (time-independent) Hamiltonian
HI to a final Hamiltonian
HF. If the change happens slowly, and the initial state of the system is an eigenstate of
HI with minimum eigenvalue, the adiabatic theorem asserts that the evolution eventually leads to the eigenstate with minimum eigenvalue of the final Hamiltonian
HF. This result can be used for optimization: imagine that the initial Hamiltonian encodes an easy problem for which we can construct the eigenstate with minimum eigenvalue, and the final Hamiltonian encodes a difficult optimization problem whose solution is given by the eigenstate with minimum eigenvalue. By the adiabatic theorem, evolving the eigenstate of the initial Hamiltonian while slowly changing the Hamiltonian into the final one leads to the solution of the difficult optimization problem. Of course we need to know how slowly
HI should be changed into
HF. The adiabatic theorem is at the heart of the quantum approximate optimization algorithm (QAOA), a framework that has been widely used to implement optimization algorithms on existing quantum hardware, because it has low requirements of quantum resources–although it does not guarantee improvements over classical algorithms in general. In this chapter we first discuss the adiabatic theorem, and then give an overview of QAOA.
We iteratively apply a recently formulated adiabatic theorem for the strong-coupling limit in finite-dimensional closed and open quantum systems. This allows us to improve approximations to a perturbed dynamics, beyond the standard approximation based on quantum Zeno dynamics and adiabatic elimination. The effective generators describing the approximate evolutions are endowed with the same block structure as the unperturbed part of the generator, and exhibit adiabatic evolutions. This iterative adiabatic theorem reveals that adiabaticity holds eternally, that is, the system evolves within each eigenspace of the unperturbed part of the generator, with an error bounded by $O(1/\ensuremath{\gamma})$ uniformly in time, where $\ensuremath{\gamma}$ is the strength of the unperturbed part of the generator. We prove that the iterative adiabatic theorem reproduces Bloch's perturbation theory in the unitary case, and is therefore a full generalization to open systems. We furthermore prove the equivalence of the Schrieffer-Wolff and des Cloizeaux approaches in the unitary case and generalize both to arbitrary open systems, showing that they share the eternal adiabaticity, and providing explicit error bounds. Finally we discuss the physical structure of the effective adiabatic generators and show that ideal effective generators for open systems do not exist in general.
The adiabatic theorem in quantum mechanics implies that if a system is in a discrete eigenstate of a Hamiltonian and the Hamiltonian evolves in time arbitrarily slowly, the system will remain in the corresponding eigenstate of the evolved Hamiltonian. Understanding corrections to the adiabatic result that arise when the evolution of the Hamiltonian is slow, but not arbitrarily slow, has become increasingly important, especially since adiabatic evolution has been proposed as a method of state preparation in quantum computing. This paper identifies two regimes, an adiabatic regime in which corrections are generically small and can depend on details of the evolution throughout the path and a hyperadiabatic regime in which the error is given by a form similar to an asymptotic expansion in the inverse of the evolution time with the coefficients depending principally on the behavior at the endpoints. However, the error in this hyperadiabatic regime is neither given by a true asymptotic series nor solely dependent on the endpoints: The coefficients combine the contributions from both endpoints, with relative phase factors that depend on the average spectral gaps along the trajectory, multiplied by the evolution time. The central result of this paper is to identify a quantity, referred to as the typical error, which is obtained by appropriately averaging the error over evolution times that are small compared to the evolution time itself. This typical error is characterized by an asymptotic series and depends solely on the endpoints of the evolution, remaining independent of the details of the intermediate evolution.
The adiabatic theorem is one of the most interesting and significant theorems in quantum mechanics. However, the adiabatic theorem can fail for general non-Hermitian quantum systems.
In this paper, by utilizing the complex geometric phase, the functional calculus for biorthogonal systems and the Grönwall inequality, we prove rigorously that the adiabatic theorem is still valid for diagonalizable non-Hermitian systems with real eigenvalues. The proof also justifies the definition of a complex Berry phase for non-Hermitian systems, in both Abelian and non-Abelian cases.