Analytic estimation of transition between instantaneous eigenstates of quantum two-level system.

Transition amplitudes between instantaneous eigenstates of a quantum two-level system are evaluated analytically on the basis of a new parametrization of its evolution operator, which has recently been proposed to construct exact solutions. In particular, the condition under which the transitions are suppressed is examined analytically. It is shown that the analytic expression of the transition amplitude enables us, not only to confirm the adiabatic theorem, but also to derive the necessary and sufficient condition for quantum two-level system to remain in one of the instantaneous eigenstates.

Introduction

A quantum system described by a time-dependent nondegenerate Hamiltonian H(t), such that , does not possess stationary states, since, in general, the mean value of an observable changes in time. The eigenstates of H(t) (instantaneous eigenstates) depend on time and evolve into those states that are no longer the corresponding eigenstates of the Hamiltonian at that time instant. The deviations from the eigenstates, however, become negligible under the situation where the so-called adiabatic theorem[1-3] is applicable. The theorem states that the nth instantaneous eigenstate evolves remaining with continuity in the nth eigenstate at any time instant. The condition for such an occurrence in a somewhat intuitive sense is that the quantum dynamics of the system is governed by a Hamiltonian that changes vanishingly slowly in time, yielding a finite variation over an infinite time interval T → ∞ (adiabatic limit).

The adiabatic theorem plays an important role and constitutes a basis in a variety of research fields[4-9]. In its proofs, the transitions to other instantaneous eigenstates over a finite time interval T are estimated to be suppressed by 1/T [2]. The adiabatic theorem holds irrespectively of details of the system under consideration, thus making it applicable to a wide class of quantum systems. On the other hand, any physically realizable process can not be in the adiabatic limit because the time duration T can not be made infinite and the physical process can be considered at most approximately adiabatic. It is therefore of practical relevance to understand how well it is approximated as adiabatic and to estimate what the possible deviations from the adiabatic limit are. Notice that we are mainly concerned about the adiabaticity of quantum state, that is, whether the quantum system remains in one of the instantaneous eigenstates for all times, when the time evolution can only be approximately adiabatic. There are classical papers on these issues[10,11], but the so-called Marzlin-Sanders inconsistency found in this century[12] has provoked heated discussions[13-26].

Notice that the theorem gives little information on these issues and a precise estimation of such deviations would require a knowledge of the exact dynamics. It is thus desirable to have an access to exact solutions of the dynamics and then natural to expect to have new insights on these issues once a new strategy to construct analytical solutions has been proposed. In this respect, it is worth while to stress that such a strategy for obtaining exact solutions for quantum two-level systems was proposed recently[27-29] and actually several exactly solvable examples, exploitable also for interacting qudits, have newly been obtained[30-34] according to the strategy[29].

The purpose of this paper is twofold. First, the transition amplitudes between instantaneous eigenstates of the general time-dependent Hamiltonian for quantum two-level system are expressed analytically in terms of appropriate quantities that parametrize the dynamics. Second, the necessary and sufficient condition under which the transition from one of the instantaneous eigenstates to the other one is suppressed is derived and discussed. Two solvable examples that can represent adiabatic processes are added to illustrate how such transition amplitudes behave as the time interval T becomes large, confirming the adiabatic theorem and the validity of the condition found here.

Transition Amplitude Between Instantaneous Eigenstates

Let a quantum two-level system be described by a time-dependent Hamiltonianwhere Ω and ω are time-dependent real and complex functions, respectively. The instantaneous eigenvalues and eingenstates ,are both time dependent, where . Here and in the following t-dependence will not be explicitly written and all quantities are understood to be time dependent unless otherwise stated explicitly.

According to the strategy proposed in[29], the evolution operator U(t) is given bywhere Θ is an arbitrary real-valued function of time with Θ(0) = 0 andThe function Ω, representing the longitudinal magnetic field in the case of spin 1/2, is specified bywhere dot (·) stands for derivative w.r.t. time. The original idea of [29] is such that, if Ω is so adjusted to satisfy (6) for an arbitrarily given ω and a parameter function Θ, then U is explicitly given in terms of them as in (3). One may, however, regard (3) as a new parametrization of U. In fact, if the evolution operator U is so parametrized by χ, Θ and ϕ as in (3), the Eqs (4–6) are enough to make U satisfy the Schrödinger equation. The three parameters χ, Θ and ϕ connect, though implicitly in general, the three parameters in the Hamiltonian Ω and and those in the evolution operator a and b (|a|2 + |b2| = 1). It is stressed that this is nothing but a representation of the Schrödinger equation and nothing has been imposed on the character of Ω and ω. It is not difficult to understand the meanings of the parameters introduced above. The parameter χ parametrizes the transition “angle,” while the others Θ and ϕ their “phases,” see Eq. (3).

It is convenient for the later use to rewrite the evolution operator U in a compact formwhere is the Pauli matrix vector. We have introduced a unit vector with , and , and , where angles are defined as . Then it is straightforward to calculate transition amplitudes between instantaneous eigenstates. For example, the transition from the initial state to the other eigenstate occurs with an amplitude ()Similarly, the other amplitudes are concisely expressed in terms of trigonometric functions of χ, and θ[35]. Notice that these expressions are exact and no approximation is involved.

Necessary and Sufficient Condition for Staying in One of the Instantaneous Eigenstates at All Times

The analytical expression of transition amplitude (8) enables us to investigate the condition under which no transition between different eigenstates at any time is allowed, . The condition requires the following relations to holdThey are combined to yieldwhere y is defined byNotice that the quantities in the Hamiltonian are then expressed, in terms of y, aswhileWe obtain, from Eq. (10),Equations (9) also yieldwhich can be reduced to the following differential equation (assuming nonvanishing without loss of generality)

The solution is easily found to be , which leads to θ = θ0 and . Actually, the differentiation of the solution w.r.t. t yields , resulting in and . The result is consistent but trivial in the sense that the instantaneous eigenstates do not at all evolve in time.

In order to allow them to evolve, we need to admit to add a finite quantity which is not constant but whose velocity can be neglected. (This concept is in accord with the notion of limit of adiabaticity, i.e., a finite change with an infinitesimal velocity). Let us introduce such a parameter c and equate the quantity in the square parentheses in (16) with . Then the solution would be parametrized as

The function c (c(0) = 0) is assumed to be almost constant in time but takes a finite nonvanishing value at t > 0, like in the case where c is a function of t/T (0 ≤ t ≤ T). We will neglect terms proportional to , but keep those proportional to or c. Differentiation of (17) w.r.t. t giveswhich yields (see (12) and (14))The consistency condition requires that

Thus we have found that the condition that no transition between different eigenstates occurs requires that the Hamiltonian has to be parametrized as above with arbitrary functions and c. The condition is equivalent to , implying, together with , that the instantaneous eigenstates have to vary infinitesimally slowly in time (necessity), though the Hamiltonian itself can vary at a finite rate[26]. It is interesting to see that Eq. (19) can actually be integrated, thus assuring that such a parametrization is always possible, to yieldwhere . This, together with (17), results in the specification of χ in terms of Ω and |ω|.

It is also possible to show that when the Hamiltonian is characterized by the above Ω and ω, (19) and (20), the transition amplitude (8) vanishes, provided , i.e., (sufficiency). (In order to keep the relation (17) intact, we would need a correction term proportional to in y, , which was neglected in (18)).

Examples

As an example, we may consider a particular case of physical interest. Choose the functions χ and y aswith parameters and . Then we havewhere . Observe that the physical system under consideration could be well approximated for small byexcept for the initial transient times, where we have

By setting , we are going to consider a physical process where the magnetic field (for spin case), starting from an approximately longitudinal one (27) if , varies slowly in time characterized by the trigonometric functions (26), reaching an approximately transversal oneClearly the adiabaticity of the process is characterized by the inequalities

Observe that in this case the parameter ν0 can be viewed as a characteristic frequency relevant to the energy of the system, while α is the fundamental frequency governing the variation of the Hamiltonian. Since we are given an analytical expression for every quantity (for example, ), the transition amplitudes and probabilities are calculated without any approximation. The figures in Fig. 1 show the behaviour of transition probability as a function of time t for several values of , together with that of longitudinal (Ω) and transversal (|ω|) magnetic fields. It is evident that in the large limit, the transition probability becomes vanishingly small.

Figure 1

(a) Magnetic fields Ω in (25), (b) |ω| in (24) and (c) transition probability as functions of t for ν0T = 10 (dotted black lines), 20 (broken blue lines) and 100 (solid red lines).

In the above example, the Hamiltonian itself varies infinitesimally slowly, realizing a process where the instantaneous eigenstates do not make transitions. We may consider another example that realizes the same situation even if the Hamiltonian varies with a nonvanishing rate. For example, we may choose such a χ that realizes with a finite parameter ν0 and according to (17) and , which means that the speed of variation of χ is essentially ν0, a finite value irrelevant to T, while the other parameter c varies slowly in time with proportional to 1/T. In this case, as Eqs (19) and (20) show, the characteristic frequency of the magnetic field (i.e., Hamiltonian) is ν0, while its instantaneous eigenstates become slowly varying for large T. The persistence of oscillations in Ω and E (Fig. 2(a,c)) even for large T and its absence in θ (Fig. 2(b)) are manifestations of these statements. The transition probability tends to vanish for large T (Fig. 2(d)) even if the Hamiltonian and its eigenvalues vary with finite speeds ((a) and (c)). This fact confirms that no transitions between instantaneous eigenstates are allowed for large T even for such a varying Hamiltonian. Our approach allows us to exhibit an example in which the system stays in its instantaneous eigenstate, even though the Hamiltonian varies with a nonvanishing rate.

Figure 2

A Hamiltonian that keeps oscillating even at large ν0T can suppress the transition between different instantaneous eigenstates provided the latters change infinitesimally slowly in the limit. Panels (a) and (c) show that the longitudinal magnetic field and the instantaneous eigenvalue oscillate even for large values of ν0T, while the corresponding eigenstates characterized by the angle θ varies slowly as a function of time t for larger values of ν0T (b) and the transition probability becomes vanishingly small (d), realizing an adiabatic process.

Summary and Discussions

In summary, the adiabatic theorem is confirmed on the basis of the explicit expressions of the transition amplitudes (see (8) and also refer to[35]), which are derived from the new parametrization of the evolution operator for the quantum two-level system[29]. What is stressed here is that these expressions enable us to evaluate such transition amplitudes directly in any physical situation, from the adiabatic to diabatic cases. Furthermore, we have made it clear that the necessary and sufficient condition that the state prepared initially in one of the eigenstates of the Hamiltonian remains in the corresponding instantaneous eigenstate at any time is that the speed of variation of the eigenstate is negligible, i.e.,compared with the frequency (i.e., energy ) of the system.

Notice that this condition, though mentioned in[26], has never been explicitly derived so far. It is different from the traditional one and is free from the insufficiency found for the latter[12,13]. Actually the traditional condition is read in the case of two-level systems as and therefore even if this condition is satisfied, a resonant transition with can occur between eigenstates when the magnetic field is almost longitudinal . Needless to say, such situations are not allowed according to the conditions (30) because one of them is not satisfied . It is remarked here that the conditions (30) actually follow from under the assumption of nonvanishing factor . When this factor becomes vanishingly small at all times, no further conditions are required for other quantities[25], but this is a trivial case where the magnetic field always points to the z-direction, a case described by a diagonal Hamiltonian. Notice also that there is an exceptional situation. If the Hamiltonian itself becomes vanishingly small , the above condition will loose its meaning and our approach can say nothing about the adiabaticity of state[36].

Remember that it is generally difficult to eliminate potential loopholes in the discussions on and proposals of the adiabatic condition because we are hardly able to reach the exact dynamics except for some limited cases, even for simple quantum two-level systems. It is stressed in this respect that our conclusion is derived from the analytic parametrization of the exact dynamics of the two-level system and offers a definite answer, with its range of validity specified, to this issue for the quantum two-level systems. Further applications to other fundamental issues, including, e.g., the Landau–Zener transition[4,5], will be published elsewhere.