The dynamics of a nonstationary quantum system whose Hamiltonian explicitly depends on time is called adiabatic if a system state that is an eigenstate of the Hamiltonian at the initial instant of time remains close to this eigenstate throughout the evolution. The degree of such closeness depends on the smallness of the parameter that determines the rate of change of the Hamiltonian. It is usually believed that one of the factors playing a decisive role for the stability of the adiabatic dynamics is the structure of the spectrum of the Hamiltonian. As the quantum adiabatic theorem states in its usual formulation, deviations from the adiabatic evolution can be estimated from above by the ratio of the rate of change of the Hamiltonian to the minimum distance between the energy of the state that approximates the adiabatic dynamics and the rest of the spectrum of the Hamiltonian. We analyze this dependence and prove theorems showing that the efficiency of the adiabatic approximation is more influenced by the rate of change of the Hamiltonian eigenvectors than by the dynamics of the spectrum. In a vast majority of physically meaningful cases, it turns out that controlling the dynamics of eigenvectors is sufficient for ensuring the adiabaticity, regardless of the dynamics of the spectrum as such.
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.
Abstract The adiabatic theorem was proposed about 90 years ago and has played an important role in quantum physics. The quantitative adiabatic condition constructed from eigenstates and eigenvalues of a Hamiltonian is a traditional tool to estimate adiabaticity and has proven to be the necessary and sufficient condition for adiabaticity. However, recently the condition has become a controversial subject. In this paper, we list some expressions to estimate the validity of the adiabatic approximation. We show that the quantitative adiabatic condition is invalid for the adiabatic approximation via the Euclidean distance between the adiabatic state and the evolution state. Furthermore, we deduce general necessary and sufficient conditions for the validity of the adiabatic approximation by different definitions.
To discuss the sufficient condition that the state of a quantum system can be approximated by an eigenstate of the Hamiltonian,the functions f(t)satisfying the condition that〈f(t)|f′(t)〉=0(t∈[0,∞))and∫∞0‖|f′(t)〉‖dteare characterized.At first the general form of a qubit is given,then the exact structures and a necessary and sufficient condition of the components a qubit which satisfying the above adiabatic approximation conditions are proved.Finally some necessary conditions and sufficient conditions of the components of n-dimensional quantum state satisfying the adiabatic approximation are obtained.
Many problems in science could be solved by preparing the low-energy quantum state (or any eigenstate) of a Hamiltonian. A common example is the Boolean satisfiability problem, where each clause can be mapped to the energy of an interacting many-body system, and the problem reduces to minimizing the energy. In quantum computing, adiabatic quantum state transformations (ASTs) provide a tool for preparing the quantum state. ASTs are conventionally implemented via slow or adiabatic perturbations to the Hamiltonian, relying on the quantum adiabatic theorem. Nevertheless, more efficient implementations of ASTs exist. In this talk I will review recently developed methods for ASTs that are more efficient and require less assumptions on the Hamiltonians than the conventional implementation [1,2]. Such methods involve measurements of the states along the evolution path and have a best-case implementation cost of L/G, where L is the length of the (evolved) state path and G is a lower bound to the spectral gap of the Hamiltonians. I will show that this cost is optimal [3] and comment on results of the gap amplification problem, where the goal is to reduce the cost by increasing G [4].
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.