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.
In a quantum-mechanical problem with a slowly varying Hamiltonian, such as appears in a semiclassical treatment of inelastic atomic collisions, it is common to restrict attention to a small number of states among which transitions are anticipated. This procedure is justified by an extension of the conventional adiabatic theorem to nearly degenerate states. The correct mixing within the restricted basis is determined by a time-dependent variational principle. The contribution of states outside the basis vanishes as the time scale for variation of the Hamiltonian becomes large. A further generalization deals with pseudoeigenfunctions, such as appear in the theory of the Stark effect.
The theorem describes the effect on the motion when the Hamiltonian is scaled, that is, when dimensioned parameters in the Hamiltonian are varied without changing any dimensionless parameters in it. The motion changes in a way that is not in general simple or predictable via dimensional analysis. But under certain conditions the motion scales with the Hamiltonian: Classical orbits scale in coordinate space and constants of the motion scale according to their dimensions. The theorem is based on the observation that the observable D which generates dilations may be expressed as a time derivative of a simple quantity. We find it most direct to use quantum mechanics to describe dynamics in the adiabatic limit. In so doing we develop methods that may be useful for other classical adiabatic problems.
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.
The consistency of the quantum adiabatic theorem has been doubted recently. It is shown in the present paper that the difference between the adiabatic solution and the exact solution to the Schr\"odinger equation with a slowly changing driving Hamiltonian is small; while the difference between their time derivatives is not small. This explains why substituting the adiabatic solution back into the Schr\"odinger equation leads to ``inconsistency'' of the adiabatic theorem. Physics is determined completely by the state vector, and not by its time derivative. Therefore the quantum adiabatic theorem is physically correct.