We introduce a perturbative approach to solving the time-dependent Schr\"odinger equation, named adiabatic perturbation theory (APT), whose zeroth-order term is the quantum adiabatic approximation. The small parameter in the power series expansion of the time-dependent wave function is the inverse of the time it takes to drive the system's Hamiltonian from the initial to its final form. We review other standard perturbative and nonperturbative ways of going beyond the adiabatic approximation, extending and finding exact relations among them, and also compare the efficiency of those methods against the APT. Most importantly, we determine APT corrections to the Berry phase by use of the Aharonov-Anandan geometric phase. We then solve several time-dependent problems, allowing us to illustrate that the APT is the only perturbative method that gives the right corrections to the adiabatic approximation. Finally, we propose an experiment to measure the APT corrections to the Berry phase and show, for a particular spin-
1∕2 problem, that to first order in APT the geometric phase should be two and a half times the (adiabatic) Berry phase.
We present details and expand on the framework leading to the recently introduced degenerate adiabatic perturbation theory [Phys. Rev. Lett. 104, 170406 (2010)], and on the formulation of the degenerate adiabatic theorem, along with its necessary and sufficient conditions [given in Phys. Rev. A 85, 062111 (2012)]. We start with the adiabatic approximation for degenerate Hamiltonians that paves the way to a clear and rigorous statement of the associated degenerate adiabatic theorem, where the non-Abelian geometric phase (Wilczek-Zee phase) plays a central role to its quantitative formulation. We then describe the degenerate adiabatic perturbation theory, whose zeroth-order term is the degenerate adiabatic approximation, in its full generality. The parameter in the perturbative power-series expansion of the time-dependent wave function is directly associated to the inverse of the time it takes to drive the system from its initial to its final state. With the aid of the degenerate adiabatic perturbation theory we obtain rigorous necessary and sufficient conditions for the validity of the adiabatic theorem of quantum mechanics. Finally, to illustrate the power and wide scope of the methodology, we apply the framework to a degenerate Hamiltonian, whose closed-form time-dependent wave function is derived exactly, and also to other nonexactly solvable Hamiltonians whose solutions are numerically computed.
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 adiabatic theorem states that an initial eigenstate of a slowly varying Hamiltonian remains close to an instantaneous eigenstate of the Hamiltonian at a later time. We show that a perfunctory application of this statement is problematic if the change in eigenstate is significant, regardless of how closely the evolution satisfies the requirements of the adiabatic theorem. We also introduce an example of a two-level system with an exactly solvable evolution to demonstrate the inapplicability of the adiabatic approximation for a particular slowly varying Hamiltonian.
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.
We prove that, for a quantum system that undergoes a strong perturbation, the solution of the leading order equation of the strong field approximation (M.Frasca, Phys. Rev. A, {\bf 45}, 43 (1992)) can be derived by the adiabatic approximation. In fact, it is shown that greatest is the perturbation and more similar the quantum system is to an adiabatic one, the solution being written as a superposition of eigenstates of the time-dependent perturbation.A direct consequence of this result is that the solution of the Schrödinger equation in the interaction picture, in the same approximation for the perturbation, coincides with the one of the leading order of the strong field approximation. The limitation due to the requirement that the perturbation has to commute at different times is so overcome. Computational difficulties could arise to go to higher orders. Beside, the method is not useful for perturbations that are constant in time. In such a case a small time series is obtained, indicating that this approximation is just an application to quantum mechanics of the Kirkwood-Wigner expansion of statistical mechanics. The theory obtained in this way is applied to a time-dependent two-level spin model, already considered for the study of the Berry's phase, showing that a geometrical phase could arise if a part of the hamiltonian is considered as a strong perturbation. No adiabatic approximation is taken on the parameters of the hamiltonian, while their cyclicity is retained.