In this paper the approximate validity of the quantum adiabatic theorem is established without the restriction of considering the spectrum of the discrete and non-degenerate Hamiltonian, provided that the assumptions made in a previous paper are fulfilled.
In this paper we find the quantities that are adiabatic invariants of any desired order for a general slowly time-dependent Hamiltonian. In a preceding paper, we chose a quantity that was initially an adiabatic invariant to first order, and sought the conditions to be imposed upon the Hamiltonian so that the quantum mechanical adiabatic theorem would be valid to mth order. [We found that this occurs when the first (m − 1) time derivatives of the Hamiltonian at the initial and final time instants are equal to zero.] Here we look for a quantity that is an adiabatic invariant to mth order for any Hamiltonian that changes slowly in time, and that does not fulfill any special condition (its first time derivatives are not zero initially and finally).
By stating the adiabatic theorem of quantum mechanics in a clear and rigorous way, we establish a necessary condition and a sufficient condition for its validity, where the latter is obtained employing our recently developed adiabatic perturbation theory. Also, we simplify further the sufficient condition into a useful and simple practical test at the expense of its mathematical rigor. We present results for the most general case of quantum systems, i.e., those with degenerate energy spectra. These conditions are of upmost importance for assessing the validity of practical implementations of non-Abelian braiding and adiabatic quantum computation. To illustrate the degenerate adiabatic approximation, and the necessary and sufficient conditions for its validity, we analyze in depth an exactly solvable time-dependent degenerate problem.
The quantum adiabatic theorem is a widely applied result in quantum mechanics. However, recently, counterexamples were produced, indicating that the transition probabilities in some systems do not converge as predicted by the adiabatic theorem [K. P. Marzlin and B. C. Sanders, Phys. Rev. Lett. 93, 160408 (2004)]. In this paper, we examine a proof of the adiabatic theorem, paying specific attention to the validity of the assumptions made in the proof. We show that the convergence of the transition probabilities is path dependent when the change in the Hamiltonian is large. Finally, we consider the application of this reformulated form of the adiabatic theorem to the adiabatic evolution paradigm in quantum computation.
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.
We analyze the validity of the adiabatic approximation, and in particular the reliability of what has been called the ``standard criterion'' for validity of this approximation. Recently, this criterion has been found to be insufficient. We will argue that the criterion is sufficient only when it agrees with the intuitive notion of slowness of evolution of the Hamiltonian. However, it can be insufficient in cases where the Hamiltonian varies rapidly but only by a small amount. We also emphasize the distinction between the adiabatic theorem and the adiabatic approximation, two quite different, although closely related, ideas.