Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

39. Adiabatic Invariance, the Geometric Phase, and the Born-Oppenheimer Approximation

A time-dependent system is said to be adiabatic if the time-dependence is slow. First we will say a few words about adiabatic systems in classical mechanics. A simple example is a pendulum with a slowly varying length. Let LL be the length of the pendulum, so that the frequency is given by

ω=gL.\omega = \sqrt{\ds{\ds g\over \ds L}}.

When we say that the length is slowly varying, mean that LL does not vary much on during a single cycle of oscillation, or

L˙L≪ω.{\dot L \over L} \ll \omega.

We can write L=L(ϵt)L=L(\epsilon t) to indicate this slow time dependence, where we think of ϵ\epsilon as a small parameter. Since ω\omega is a function of LL, we also have ω=ω(ϵt)\omega=\omega(\epsilon t). Then for small angles θ\theta of oscillation, the equation of motion of the pendulum is

θ¨+ω(ϵt)2θ=0,\ddot \theta + \omega(\epsilon t)^2 \theta =0,

which is that of a harmonic oscillator with slowly varying frequency. It is interesting that a treatment of this equation when ϵ\epsilon is small is mathematically the same as the treatment of the one-dimensional Schr"odinger equation when ℏ\hbar is small. That is, the method is WKB theory.

More generally, an adiabatic system in classical mechanics is (generally an oscillator) with slowly time-dependent parameters. Neither the frequency nor the energy of the oscillator is conserved in the adiabatic process, but there is an approximate conserved quantity,

I=12π∮p dq,I = {1\over 2\pi} \oint p\, dq,

which is the action of the oscillator. The action is not exactly conserved, but it is conserved to higher accuracy as the changes in the parameters are carried out more slowly. The action is what is called an adiabatic invariant. As we will see below, the situation is similar in quantum mechanics; the energy is not conserved, but there is an approximate conservation law, which is that of the quantum number (in a sense to be made precise below). This makes sense, because we know that according to the Bohr-Sommerfeld quantization rule, the quantum number is proportional to the classical action.

Let us consider a quantum Hamiltonian with a slow time-dependence, which we denote by

H=H(ϵt)=H(τ),H=H(\epsilon t) = H(\tau),

where τ=ϵt\tau = \epsilon t. The ϵ\epsilon serves to remind us that the time-dependence is slow. It also has a more formal mathematical meaning, as follows. Let us suppose the Hamiltonian depends on certain parameters, which we can imagine are under experimental control. One can think of the electric and magnetic fields with which an atom or spinning particle interacts. Therefore by changing these parameters, we can change the Hamiltonian, say, from some initial value H0H_0 to some final value H1H_1. Suppose we change the Hamiltonian from H0H_0 to H1H_1, passing through some specified sequence of intermediate Hamiltonians, in some time interval t=0t=0 to t=t1=Tt=t_1=T. At the end of this time we can make various physical measurements on our system. Now let us repeat exactly the same procedure, except we carry out the changes in the Hamiltonian more slowly than before by some scale factor ϵ\epsilon, so that the changes take place over the time interval t=0t=0 to t=t1=T/ϵt=t_1=T/\epsilon. The initial and final Hamiltonians are still the same, as is the sequence of intermediate Hamiltonians, but the time taken to get to the final Hamiltonian is longer by a factor of 1/ϵ1/\epsilon. Then we can study how various quantities of interest, such as the probability of finding the system in some state ∣n⟩\ket{n}, scale with ϵ\epsilon as ϵ→0\epsilon\to0. If a quantity scales as some power of ϵ\epsilon, say, ϵa\epsilon^a, then we will say that that quantity is O(ϵa)O(\epsilon^a). For example, the elapsed time t1t_1 is O(1/ϵ)O(1/\epsilon). For brevity, we will refer to a time of order 1/ϵ1/\epsilon as “a long time.”

We imagine that the final Hamiltonian H1H_1 differs from the initial Hamiltonian by some amount which is of order unity, in the usual sense of that phrase in physics. For example, if we are changing magnetic fields, perhaps the final magnetic field is twice as strong as the initial one. But the final Hamiltonian is also order unity in the limiting sense defined in the preceding paragraph, since H1H_1 is independent of ϵ\epsilon and therefore scales as ϵ0=1\epsilon^0 = 1.

We will be interested in solving the time-dependent Schr"odinger equation,

H(ϵt)∣ψ(t)⟩=iℏ∂∂t∣ψ(t)⟩,H(\epsilon t) \ket{\psi(t)} = i\hbar\pop{}{t} \ket{\psi(t)},

over a long time interval. Although the time-dependent Schr"odinger equation is not separable in time, nevertheless there is some advantage in introducing the instantaneous eigenkets and eigenvalues of the Hamiltonian. That is, we write,

H(τ)∣n(τ)⟩=En(τ)∣n(τ)⟩,H(\tau) \ket{n(\tau)} = E_n(\tau) \ket{n(\tau)},

where naturally the eigenvalues EnE_n and eigenkets ∣n⟩\ket{n} depend on τ\tau since HH itself does. The notation ∣n(τ)⟩\ket{n(\tau)} is somewhat illogical, since it is the ket and not the quantum number that is a function of τ\tau, but we use it anyway since the more logical notation ∣n⟩(τ)\ket{n}(\tau) is awkward. Notice that since HH changes by an amount which is order unity in the (long) time interval of interest, so also do the eigenvalues and eigenkets; for example, we may expect some final energy eigenfunction to look rather different from the initial eigenfunction. The label nn is the same, of course. The eigenvalues EnE_n are also expected to change by an amount which is of order unity.

We will assume that the spectrum of HH is discrete and nondegenerate for all τ\tau of interest. The nondegeneracy assumption in particular seems a strong one, since even if HH is nondegenerate at t=0t=0, we might expect the energy levels EnE_n, which after all are functions of τ\tau and are expected to change by an amount which is of order unity, to cross one another in the course of time. Such a crossing of course gives rise to a degeneracy. Nevertheless, we will pursue the consequences of the nondegeneracy assumption because it leads to the simplest analysis of the adiabatic process, and consider later what happens if levels become degenerate or nearly degenerate in the course of time.

Since the eigenkets ∣n⟩\ket{n} form a complete set, we can without loss of generality expand the exact solution ∣ψ(t)⟩\ket{\psi(t)} in terms of them. We write,

∣ψ(t)⟩=∑ncn(t)∣n(τ)⟩.\ket{\psi(t)} = \sum_n c_n(t) \ket{n(\tau)}.

Substituting this into the Schr"odinger equation (6), we easily find the equation of evolution for the unknown coefficients cnc_n,

c˙n=−iℏEn(τ)cn(t)−ϵ∑m⟨n∣ddτ∣m⟩cm.\dot c_n = -{i\over \hbar} E_n(\tau) c_n(t) -\epsilon \sum_m \matrixelement{n}{\dod{}{\tau}}{m} c_m.

This equation is exact. In the second term, the operator d/dτd/d\tau is not an operator in the usual sense (it is not a mapping of the ket space onto itself), but rather the matrix element shown is interpreted as the scalar product of the bra ⟨n∣\bra{n} with the ket d∣m⟩/dτd\ket{m}/d\tau.

To solve (9) at lowest order, we neglect the second term on the right hand side, which is O(ϵ)O(\epsilon). Then we have

cn(t)=eiϕn(t) cn(0),c_n(t) = e^{i\phi_n(t)} \, c_n(0),

where

ϕn(t)=−1ℏ∫0tEn(ϵt′) dt′.\phi_n(t) = -{1\over\hbar} \int_0^t E_n(\epsilon t')\, dt'.

We see that in this approximation, the final coefficient cn(t)c_n(t) differs from the initial coefficient cn(0)c_n(0) by a pure phase factor, which means that the probability PnP_n of finding the system in energy eigenstate ∣n⟩\ket{n} is independent of time:

Pn=∣cn(t)∣2=∣⟨n(τ)∣ψ(t)⟩∣2=textconst.P_n = |c_n(t)|^2= |\braket{n(\tau)}{\psi(t)}|^2 = \\textconst.

As a special case of interest, suppose that at t=0t=0 the system was in energy eigenstate NN, that is,

∣ψ(0)⟩=∣N(0)⟩.\ket{\psi(0)}= \ket{N(0)}.

Then at the final time we have,

∣ψ(t)⟩=eiϕN(t) ∣N(τ)⟩,\ket{\psi(t)} = e^{i\phi_N(t)} \, \ket{N(\tau)},

which we can express by saying that the quantum number is conserved. We emphasize again that neither the energy ENE_N nor the eigenket ∣N⟩\ket{N} is conserved. If we think in terms of wave functions, we see that as the Hamiltonian changes, the wave function continuously distorts so as to remain proportional to an eigenfunction of HH. The conclusions contained in (10), (12) and (14) are referred to as the adiabatic theorem.

The phase ϕn(t)\phi_n(t), defined in (11), is called the “dynamical phase.” Obviously if the Hamiltonian were truly time-independent, the dynamical phase would be ϕn=−Ent/ℏ\phi_n = -E_nt/\hbar. As it is, (11) expresses ϕn\phi_n as the time integral of the instantaneous frequency En/ℏE_n/\hbar, which is no surprise.

It is of interest to go to the next order of approximation in solving (9), for at least three reasons. First, the at the next order we will discover the conditions of validity of the adiabatic theorem. Second, the next order term leads us to the interesting subject of Berry’s phase, and the associated gauge theory. Finally, it is easy to see that the next order correction is needed for various interference experiments, in which we study the interference of the final state ψ(t)\psi(t) with some fixed state [perhaps a copy of the initial state ψ(0)\psi(0)]. To understand this interference even at a qualitative level, we must know the phase of the final state through terms that are of order unity, that is, with an error that is small compared to 2π2\pi. But (11) shows that the dynamical phase is O(1/ϵ)O(1/\epsilon), since it is the integral of a quantity that is order unity over a long time. Therefore we need the next term in the expansion of the phase, which is O(1)O(1).

To go to the next order, we rewrite (10), not as the solution of an approximate equation, but as an exact change of variables. That is, we write

cn(t)=eiϕn(t) bn(t),c_n(t) = e^{i\phi_n(t)} \, b_n(t),

which serves to define a new set of coefficients bnb_n. We substitute this into (11) and find,

b˙n(t)=−ϵ∑m⟨n∣ddτ∣m⟩ei(ϕm−ϕn) bm.\dot b_n(t) = -\epsilon \sum_m \matrixelement{n}{\dod{}{\tau}}{m} e^{i(\phi_m-\phi_n)} \, b_m.

This equation is still exact. If we integrate both sides of this equation over a long time interval, then we might at first expect the integral of the right hand side to be of order unity, since the integrand is O(ϵ)O(\epsilon) and the time interval is O(1/ϵ)O(1/\epsilon). However, the off-diagonal terms on the right hand side (the terms m≠nm\ne n) involve the phase factor exp⁡[i(ϕm−ϕn)]\exp[i(\phi_m-\phi_n)], which oscillates many times in the long time interval in question. Therefore in the integration over the long time interval, these oscillations prevent the off-diagonal terms from accumulating. Instead, the integral of the off-diagonal terms gives an answer that is itself O(ϵ)O(\epsilon), since each oscillation nearly cancels the previous one. On the other hand, the diagonal terms m=nm=n do not have the oscillating phase factor, so the integral of them does accumulate over a long time to give a result that is of order unity.

This argument justifies the neglect of the off-diagonal terms in (16), which leaves us with

b˙n=−ϵ⟨n∣ddτ∣n⟩bn.\dot b_n = -\epsilon \matrixelement{n}{\dod{}{\tau}}{n} b_n.

We integrate this to find

bn(t)=eiγ(t) bn(0),b_n(t) = e^{i\gamma(t)} \, b_n(0),

where the new phase γ(t)\gamma(t) is defined by

γ(t)=iϵ∫0t⟨n∣ddτ′∣n⟩ dt′=i∫0τ⟨n∣ddτ′∣n⟩ dτ′.\gamma(t) = i\epsilon \int_0^t \matrixelement{n}{\dod{}{\tau'}}{n} \, dt' = i\int_0^\tau \matrixelement{n}{\dod{}{\tau'}}{n} \, d\tau'.

The phase γ(t)\gamma(t) is called the “geometric phase” or “Berry’s phase.” Notice that it is of order unity. Notice also that γ\gamma is real, for if we take the normalization condition ⟨n∣n⟩=1\braket{n}{n}=1 and differentiate with respect to time, we find

⟨n∣n˙⟩+⟨n˙∣n⟩=⟨n∣n˙⟩+⟨n∣n˙⟩†=0,\braket{n}{\dot n} + \braket{\dot n}{n} = \braket{n}{\dot n} + \braket{n}{\dot n}^\cc = 0,

which shows that γ˙=i⟨n∣n˙⟩\dot \gamma = i\braket{n}{\dot n} is purely real.

Combining these results, we can express the solution to the original problem, including both the zeroth and first order approximations, in the form,

cn(t)=ei[ϕ(t)+γ(t)] cn(0),c_n(t) = e^{i[\phi(t) + \gamma(t)]} \, c_n(0),

which shows that even at this order, the probability of finding the system in a given eigenstate is independent of time. In fact, one can show that with the proper understandings, the probability of finding the system in a given eigenstate is independent of time to all orders in the expansion parameter ϵ\epsilon. This does not mean that the probability is really constant, merely that the amount by which the probability changes goes to zero faster than any power of ϵ\epsilon as ϵ→0\epsilon\to0. [This conclusion is true if the Hamiltonian is an infinitely differentiable function of time, perhaps an analytic function. If HH has only a finite number of time derivatives, then the change in the probability goes to zero as some power of ϵ\epsilon.]

Now we can see what happens if degeneracies or near-degeneracies develop in the course of time. An exact degeneracy, say, En=EmE_n = E_m for some n≠mn\ne m, would mean that there was an off-diagonal term in (16) that did not have the rapidly varying phase factor, at least over some time interval. This would mean that we could not neglect all the off-diagonal terms, and that the integration of (16) over time would introduce a coupling between states nn and mm. That is, the term in question would induce transitions between the two states. In practice, the same is true for near degeneracies, since in practice we always work with some finite time interval, and we never really take the limit ϵ→0\epsilon\to0.

We can easily understand these transitions from the standpoint of time-dependent perturbation theory. For let us suppose that the time-dependence of the Hamiltonian involves a characteristic range of frequencies, out to some value ωH\omega_H. We write this schematically as

ωH∼H˙H.\omega_H \sim {\dot H \over H}.

Note that ωH\omega_H is O(ϵ)O(\epsilon) by our assumptions; the time-dependence of the Hamiltonian is slow. On the other hand, the resonance frequency between states nn and mm is (En−Em)/ℏ(E_n-E_m)/\hbar, and if this comparable to ωH\omega_H, then we expect the time-dependence of HH to induce transitions. Thus, we can say that the condition for the validity of the adiabatic theorem is

H˙H≪∣En−Em∣ℏ.{\dot H \over H} \ll {|E_n - E_m| \over \hbar}.

This should be true of all states nn and mm of interest; for example, if we choose the initial conditions (13), we can set n=Nn=N and m=N±1m=N\pm 1, since it is the nearest neighbors to eigenvalue ENE_N that are in greatest danger of violating the condition (23).

We turn now to the gauge structure that is inherent in adiabatic theory. To begin, we shift emphasis slightly, and imagine that the time-dependence of HH takes place through a set of parameters R=(R1,R2,…)\Rvec=(R_1,R_2,\ldots) that themselves are slow functions of time, so that H=H(R)H=H(\Rvec) and R=R(τ)\Rvec=\Rvec(\tau). A useful example to keep in mind is that of a spin in a slowly varying magnetic field, for which

H=−μ⋅B(τ).H=-\muvec \cdot \Bvec(\tau).

In this example, we can identify the parameters R\Rvec with the magnetic field B\Bvec, so that parameter space is the same as “magnetic field space,” and is 3-dimensional. By the condition (22), the time dependence of this Hamiltonian is slow enough for the adiabatic theorem to hold if it is slow in comparison to the spin precession frequency, μB/ℏ\mu B/\hbar.

More generally, we imagine some parameter space of some dimensionality with coordinates R\Rvec, and we imagine finding the energy eigenvalues and eigenkets as functions of R\Rvec, according to

H(R)∣n(R)⟩=En(R)∣n(R)⟩.H(\Rvec) \ket{n(\Rvec)} = E_n(\Rvec) \ket{n(\Rvec)}.

We think of the energy eigenvalues and eigenkets as fields over parameter space (scalar and ket fields, respectively). We assume that the eigenvalues are discrete and nondegenerate over some region of parameter space of interest; this implies that the eigenvalues are smooth functions of R\Rvec (assuming the dependence of HH on R\Rvec is smooth). Later we worry about what happens at degeneracies. Likewise, we assume the eigenkets ∣n(R)⟩\ket{n(\Rvec)} can be defined in a smooth and continuous manner in the region of parameter space of interest. This will be possible if the region in question is contractible and contains no degeneracies, as we assume. (But Born-Oppenheimer theory gives rise to some interesting applications where these assumptions are not met.) Of course, the eigenkets are only defined to within a phase factor by (25); when we write ∣n(R)⟩\ket{n(\Rvec)}, we assume some phase conventions have been chosen for each value of R\Rvec, in a smooth manner.

Now the history of the Hamiltonian under the adiabatic process can be described by a curve R=R(τ)\Rvec=\Rvec(\tau) in parameter space, which starts at some point R0\Rvec_0 and ends and some point R1\Rvec_1. The curve is fixed in parameter space, but is traversed ever more slowly as ϵ→0\epsilon\to0. Quantities such as the eigenkets change along the curve according to

ddτ∣n(R)⟩=∇∣n(R)⟩⋅dRdτ,\dod{}{\tau} \ket{n(\Rvec)} = \del\ket{n(\Rvec)} \cdot \dod{\Rvec}{\tau},

where ∇=∂/∂R\del=\partial/\partial\Rvec. Then we can write the geometric phase [see (19)] in terms of the line integral of a certain vector field in parameter space,

γ=i∫0τ⟨n∣∇∣n⟩⋅dRdτ′ dτ′=∫R0R1A(R)⋅dR,\gamma = i\int_0^\tau \matrixelement{n}{\del}{n} \cdot \dod{\Rvec}{\tau'} \, d\tau' = \int_{\Rvec_0}^{\Rvec_1} \Avec(\Rvec) \cdot d\Rvec,

where

A(R)=i⟨n(R)∣∇∣n(R)⟩.\Avec(\Rvec) = i\matrixelement{n(\Rvec)}{\del}{n(\Rvec)}.

In this equation, the vector field A(R)\Avec(\Rvec) is associated with the state nn in question, and sometimes we might prefer to write An(R)\Avec_n(\Rvec) to emphasize this. The line integral in (27) is taken along the given curve in parameter space (the history of the Hamiltonian). The vector field A(R)\Avec(\Rvec) is the vector potential or gauge potential for the problem, and is analogous to the vector potential in ordinary electromagnetic theory, as suggested by the notation. We see that all dependence on the time parameterization has dropped out in the final expression in (27) for the geometric phase, and that this phase is independent of the rate at which the curve in parameter space is traversed, as long as it is slow enough for the adiabatic theorem to be valid. It is for this reason that this phase is called “geometric.”

The gauge transformations in this theory are changes in the phase conventions for the eigenkets ∣n(R)⟩\ket{n(\Rvec)}. Such a change in phase conventions will be indicated by

∣n(R)⟩→∣n~(R)⟩=eig(R)∣n(R)⟩,\ket{n(\Rvec)} \to \ket{\tilde n(\Rvec)} = e^{ig(\Rvec)} \ket{n(\Rvec)},

here the tilde indicates the new phase conventions. Of course there is no physics in these phase conventions, so all physical results must be gauge-invariant. This is just as in electromagnetic theory. The gauge scalar gg in (29) is allowed to be a function of R\Rvec, because there is no reason why we cannot change the phase in a different manner for different parameter values. The R\Rvec-dependence of the gauge scalar is what qualifies these gauge transformations as “local.” In gauge theories, only local gauge transformations are at all nontrivial or interesting. Of course, for a given eigenket ∣n(R)⟩\ket{n(\Rvec)} (for a given value of R\Rvec and a given phase convention), there is no meaning to talking about the “phase” of the eigenket in any absolute sense. For example, if the ket is associated with a wave function ψn(r)=⟨r∣n⟩\psi_n(\rvec) = \braket{\rvec}{n}, then ψn\psi_n is in general a complex function of position r\rvec, with different phases at different points. On the other hand, the relative phase of two kets that are proportional to one another is well defined.

Since all physical results must be gauge-invariant, we should examine all the quantities of our theory to see how they transform under gauge transformations. For example, the eigenvalues EnE_n and the dynamical phases ϕn\phi_n are clearly gauge-invariant, whereas the eigenkets ∣n⟩\ket{n} are not [they transform according toifone (29)]. Nor is the gauge potential gauge-invariant, for by substitutingifone (29) into (28), we find

A(R)→A~(R)=A(R)−∇g(R),\Avec(\Rvec) \to \tilde \Avec(\Rvec) = \Avec(\Rvec) - \del g(\Rvec),

which is just as in electromagnetic theory. From this we find that the geometric phase is not gauge-invariant, either, but rather transforms according to

γ(t)→γ~(t)=γ(t)−g(R(τ))+g(R(0)),\gamma(t) \to \tilde\gamma(t) = \gamma(t) - g\bigl(\Rvec(\tau)\bigr) + g\bigl(\Rvec(0)\bigr),

as follows from (27). But the solution ∣ψ(t)⟩\ket{\psi(t)} to the Schr"odinger equation for given initial conditions ∣ψ(0)⟩\ket{\psi(0)} should be gauge-invariant simply because the solution to the Schr"odinger equation is unique. Indeed, if we combine (13), (21), (29) and (31), we see that the gauge-dependence of γ(t)\gamma(t) is required to cancel that of ∣n(R)⟩\ket{n(\Rvec)} and to make ∣ψ(t)⟩\ket{\psi(t)} gauge-invariant. This gives us another reason for carrying out the ϵ\epsilon expansion through the geometric phase, since without it the results do not transform properly under gauge transformations.

A special case of interest is one in which the system is carried through a cycle, so that the Hamiltonian returns to its original self after time tt. In this case the curve in parameter space R(τ)\Rvec(\tau) is closed, and we can apply Stokes’ theorem to the integral (27) for the geometric phase. This gives

γ=∮A(R)⋅dR=∫SV⋅dS,\gamma = \oint \Avec(\Rvec)\cdot d\Rvec = \int_S \Vvec \cdot d\Svec,

where the surface SS is a surface in parameter space bounded by the closed curve, and where

V(R)=∇×A(R).\Vvec(\Rvec) = \del\cross\Avec(\Rvec).

Here we are assuming that parameter space is 3-dimensional, so we can use the standard notation of vector calculus for Stokes’ theorem. In parameter spaces of other dimensionalities, it is necessary to use differential forms, but all the important ideas are conveyed by the 3-dimensional case. Obviously, V\Vvec is analogous to the magnetic field in electromagnetic theory, and satisfies the field equation,

∇⋅V=0.\del\cdot\Vvec = 0.

The vector field V\Vvec is sometimes called the curvature form of the gauge theory.

Notice that for closed curves in parameter space, the gauge-dependence of γ\gamma seen in (31) cancels out, and the geometric phase becomes gauge-invariant. The same conclusion follows from the gauge-invariance of the vector field V\Vvec,

V~(R)=V(R),\tilde\Vvec(\Rvec) = \Vvec(\Rvec),

which appears in the surface integral in (32). In physical terms, the geometric phase must be gauge-invariant for a closed cycle, because if the final state is proportional to the initial state, as it must be according to the adiabatic theorem, then the relative phases of the two states can be determined by interference experiments.

To return to the case of open curves in parameter space, we might be tempted to say that this geometrical phase is just a nuisance that is due to a poor choice of phase conventions. After all, γ\gamma is gauge-dependent, so perhaps it is completely nonphysical. Suppose, for example, we return to (21), which was derived under the assumption that some phase conventions had been chosen for ∣n(τ)⟩\ket{n(\tau)} as a function of time along the history of the Hamiltonian, and use it to write the solution (8) in the form,

∣ψ(t)⟩=∑nei[ϕn(t)+γn(τ)] cn(0)∣n(τ)⟩.\ket{\psi(t)} = \sum_n e^{i[\phi_n(t)+\gamma_n(\tau)]} \, c_n(0) \ket{n(\tau)}.

Now we say, the kets ∣n(τ)⟩\ket{n(\tau)} involved a poor choice of phase, because they gave us a nonvanishing γ\gamma; suppose we choose a different phase convention,

∣n~(τ)⟩=eiγn(τ) ∣n(τ)⟩.\ket{\tilde n(\tau)} = e^{i\gamma_n(\tau)} \, \ket{n(\tau)}.

Then the geometrical phase disappears from the solution,

∣ψ(t)⟩=∑neiϕn(t)∣n~(τ)⟩,\ket{\psi(t)} = \sum_n e^{i\phi_n(t)} \ket{\tilde n(\tau)},

and it seems that we do not have to worry about gauge transformations or gauge dependence. And yet, if the history of the Hamiltonian should take us back to the initial Hamiltonian, so that the curve in parameter space becomes closed, then the phase convention (37) no longer works, because we have one Hamiltonian H0=H1H_0=H_1 with two different phase conventions. In other words, the phase convention (37) introduces a discontinuity in the definition of the eigenkets when we go around a closed loop in parameter space. This discontinuity is nothing but the geometrical phase associated with the loop; this phase is gauge-invariant and cannot be banished by some clever choice of phase convention.

Therefore it is better to say that the phases of the energy eigenstates, while they do contain a nonphysical element that can be established only by convention, also contain a physical element that is manifest on carrying an adiabatic process around a closed cycle. This is just as in electromagnetic theory, where the integral ∮A⋅dr\oint \Avec\cdot d\rvec is the gauge-invariant magnetic flux associated with a closed loop.

At this point you might want to think through a specific problem involving the geometric phase, for example a spin in a slowly varying magnetic field as in (24).

We now turn to some comments about the Born-Oppenheimer approximation, which is the basic approximation scheme in the theory of molecules, and which relies crucially on notions of adiabaticity. A precise and careful treatment of Born-Oppenheimer theory is a fascinating subject that must lie outside the scope of this course; the following discussion merely aims to present some of the simplest ideas.

Suppose we have a molecule consisting of some number of electrons and some number of nuclei. We will label the electrons with indices ii, jj, etc., and the nuclei with indices α\alpha, β\beta, etc. Let the positions, momenta, and mass of the electrons be ri\rvec_i, pi\pvec_i, and mm, and let the positions, momenta, masses, and charges of the nuclei be Rα\Rvec_\alpha, Pα\Pvec_\alpha, MαM_\alpha, and ZαZ_\alpha. The notation attempts to use capital letters for nuclei, and lower case letters for electrons. Then the basic Coulomb Hamiltonian for the molecule is

Hmolec=Tn+Te+Vee+Ven+Vnn\begin{aligned} H_molec &= T_n + T_e + V_{ee} + V_{en} + V_{nn} \end{aligned}
=∑αPα22Mα+∑ipi22m+∑i<je2∣ri−rj∣−∑iαZαe2∣ri−Rα∣\begin{aligned} &= \sum_\alpha {\Pvec_\alpha^2 \over 2M_\alpha} + \sum_i {\pvec_i^2 \over 2m} + \sum_{i<j} {e^2 \over |\rvec_i - \rvec_j|} - \sum_{i\alpha} {Z_\alpha e^2 \over |\rvec_i-\Rvec_\alpha|} \end{aligned}
+∑α<βZαZβe2∣Rα−Rβ∣,\begin{aligned} &+ \sum_{\alpha<\beta} {Z_\alpha Z_\beta e^2 \over |\Rvec_\alpha - \Rvec_\beta|}, \end{aligned}

where TnT_n and TeT_e are the nuclear and electronic kinetic energies, and where VeeV_{ee}, VenV_{en}, and VnnV_{nn} are the potential energies of interactions of electrons with electrons, electrons with nuclei, and nuclei with nuclei, respectively. This Hamiltonian is very complicated, and it must be handled by some approximation scheme.

The Born-Oppenheimer approximation relies on the large disparity in the masses of the electrons and the nuclei, which have a ratio of the order of 10-4 for most nuclei. This means that if the kinetic energies of the electrons and nuclei are not too dissimilar, then the velocities of the electrons will be much higher than those of the nuclei, and we can picture the electron motion as being rapid in comparison to the nuclear motion. Thus, while the heavy nuclei move a short distance, the electrons will whiz around the nuclei or back and forth between them many times, effectively filling out an electron cloud. (This picture is a metaphor of constructed of classical and quantum language, but it does convey many ideas correctly.)

In a rigorous and precise treatment of the Born-Oppenheimer approximation, one expands the molecular Hamiltonian in powers of the small parameter κ∼(m/M)1/4\kappa \sim (m/M)^{1/4}, which is of the order of 10-1 for most molecules. This expansion is nontrivial because the scale lengths of the wave functions themselves with respect to the nuclear and electronic coordinates are different, and in particular, involve different powers of κ\kappa. Thus, the κ\kappa ordering is not merely in the Hamiltonian, but also in the spatial dependence of the wave functions.

As a result of this expansion, one finds that the spectrum of the molecular Hamiltonian possesses three distinct energy scales. The largest is that of electronic excitations, involving energies EelecE_elec which are of the order of e2/a0e^2/a_0, where a0a_0 is the Bohr radius. The next smaller energy scale is that of the vibrational motions of the molecule, in which the separation between energy levels is of the order of Evib∼κ2EelecE_vib \sim \kappa^2 E_elec. Finally, the smallest energy scale is that of the rotations of the molecule, in which the separation between energy levels (for small angular momenta) is of the order of Erot∼κ2Evib∼κ4EelecE_rot \sim \kappa^2 E_vib \sim \kappa^4 E_elec. This ordering of energy scales is easy to understand from a qualitative standpoint, as was discussed in class last semester.

In the present discussion we will take a simpler approach, but one that captures many of the ideas of the more sophisticated theory. Let us argue that since the nuclei are heavy and slow moving, we can treat them by classical mechanics, while the electrons, which are light, fast, and not easily localized due to the constraints of the uncertainty principle, must be treated by quantum mechanics. Thus, we will treat Rα\Rvec_\alpha and Pα\Pvec_\alpha in (41) as cc-numbers, which presumably obey some classical equations of motion that endow them with some time dependence, and we will treat ri\rvec_i and pi\pvec_i as operators acting on wave functions for the electrons. This is a hybrid classical-quantum approach.

We now define the electronic Hamiltonian HelecH_elec as the last four terms in (41), which depends on the operators ri\rvec_i and pi\pvec_i and on the nuclear positions Rα\Rvec_\alpha, which are cc-numbers. We adopt an abbreviated notation, in which r\rvec stands for all electron coordinates ri\rvec_i, R\Rvec stands for all nuclear coordinates Rα\Rvec_\alpha, etc.:

Helec(r,p;R)=∑p22m+Vee(r)+Ven(r,R)+Vnn(R).H_elec(\rvec,\pvec;\Rvec) = \sum{\pvec^2\over 2m} + V_{ee}(\rvec) + V_{en}(\rvec,\Rvec) +V_{nn}(\Rvec).

Since R=R(t)\Rvec=\Rvec(t) is supposedly a slow function of time, HelecH_elec is an example of a Hamiltonian with a slow time dependence, in which the nuclear coordinates R\Rvec are the slow parameters. The parameter space is now the nuclear configuration space. Notice that the internuclear potential energy Vnn(R)V_{nn}(\Rvec) is a cc-number, and is just a constant insofar as the electronic operators are concerned; but we include it anyway in the electronic Hamiltonian.

The adiabatic theorem tells us to look at the eigenfunctions of HelecH_elec for fixed values of the parameters R\Rvec. Physically, this means that we fix or freeze the locations of the nuclei, and then solve for the electronic eigenfunctions and eigenvalues at the given nuclear locations. This problem is similar to atomic structure calculations, except that that the electrons are attracted to two or more fixed centers, instead of just one.

Let the eigenfunctions and eigenvalues of HelecH_elec for fixed values of R\Rvec be ϕn(r;R)\phi_n(\rvec;\Rvec) and En(R)E_n(\Rvec), where the dependence on the parameters R\Rvec is just as in (25), so that

Helec(r,p;R)ϕn(r;R)=En(R)ϕn(r,R).H_elec(\rvec,\pvec;\Rvec) \phi_n(\rvec;\Rvec) = E_n(\Rvec) \phi_n(\rvec,\Rvec).

As indicated by the R\Rvec-dependence, these eigenfunctions and eigenvalues change as the nuclei move around. However, in accordance with the adiabatic theorem, we expect that if the system is prepared in a given electronic eigenstate at some initial time, it will remain in the eigenstate with the same quantum number as R\Rvec slowly changes, even if the corresponding eigenfunction and energy should change by a substantial amount. For example, at large distances where two atoms do not interact, the electronic wave functions will be those of two independent atoms; but when the atoms approach one another, the electron clouds will distort and overlap and electrons will begin to be exchanged between the two atoms. But as long as the electronic energy levels do not come too close to one another, we expect the probability of being in a given electronic eigenstate to be independent of time.

[In fact, in important cases, the electronic eigenvalues do come close to one another, and one must consider the transitions due to the breakdown of adiabaticity. Such transitions are called Landau-Zener transitions, and are responsible for changes in electronic states in slow atomic or molecular collisions.]

Since the electronic energies change as R\Rvec changes, the energy difference must come from somewhere, and it is logical that it comes from the nuclear kinetic energy. In other words, the electronic eigenenergy En(R)E_n(\Rvec) plays the role of a potential energy for the nuclear motion. Thus, we can take the classical Hamiltonian for the nuclear motion to be

Hcl(R,P)=∑P22M+En(R)=⟨ϕn∣Hmolec∣ϕn⟩,H_cl(\Rvec,\Pvec) = \sum{\Pvec^2\over 2M} + E_n(\Rvec) = \matrixelement{\phi_n}{H_molec}{\phi_n},

which is otherwise just the expectation value of the total molecular Hamiltonian HmolecH_molec with respect to the nn-th electronic energy eigenstate, as indicated. We see that there is a different nuclear classical Hamiltonian for each electronic energy level; as one says, there is a different “potential energy surface” En(R)E_n(\Rvec) for each electronic state.

In a more careful treatment of the Born-Oppenheimer approximation, in which the nuclear degrees of freedom are treated by quantum mechanics, one finds exactly the Hamiltonian (44) at lowest order in the perturbation parameter κ\kappa, except that it is now a quantum Hamiltonian. At the next order, one finds that the gauge potential A(R)\Avec(\Rvec) associated with adiabatic transport of the electronic eigenfunctions is incorporated into the nuclear Hamiltonian, giving pseudo-magnetic effects. These include phase shifts similar to those in the Aharonov-Bohm effect that have observable effects on scattering cross s and molecular energy levels.

The notion that the electronic eigenvalue is the potential energy for the nuclear motion leads to an immediate understanding of the nature of the chemical bond. The example of the H2H_2 molecule will be discussed in class.

Problems

Problem 1.

Consider the spin system described by the Hamiltonian,

H=−kS⋅B(τ),H = -k \Svec\cdot\Bvec(\tau),

where kk is a constant and B\Bvec is a function of the slow time variable, τ=ϵt\tau=\epsilon t. Allow the spin ss to take on any value, s=0,12,1,…s=0,\frac{1}{2},1,\ldots. Identify parameter space with magnetic field space. Try to find a smooth assignment of eigenkets ∣m(B)⟩\ket{m(\Bvec)} over all of parameter space, where m=−s,…,+sm=-s,\ldots,+s. Show that it is possible to make such an assignment in a smooth manner everywhere in parameter space except on the negative BzB_z-axis. Compute the gauge potential A(B)\Avec(\Bvec), and the curvature form V\Vvec. Suppose the magnetic field B(τ)\Bvec(\tau) slowly traces out some closed curve in parameter space, not passing through the origin B=0\Bvec=0. Both the magnitude and direction of B\Bvec are allowed to change. Show that the geometric phase γ\gamma is proportional to the solid angle subtended by this curve as seen from the origin, and find the constant of proportionality. (Note that there is actually a different gauge potential and geometric phase for each value of mm.)

Problem 2.

This is a practical problem which will reveal many of the features of the Born-Oppenheimer approximation. Another point is made by this problem. It is a fact that atoms can interfere with one another, i.e., one can create interference patterns with atoms. What is the wave function'' of an atom, given that the atom consists of many constituent particles? (Of course, one could ask the same of a proton or a neutron, which are not elementary’’ either.) This problem will show how one can construct a quantum mechanical description of a composite particle.

Consider a hydrogen atom in an external electric field. The field is produced by some experimental apparatus, so the scale length LL of the field is much greater than the size ℓ\ell of the atom. However, the field is not uniform. The physics of the situation is that the external field polarizes the atom, so that the atom is attracted to regions of higher field strength. In this way, an electric field gradient can be use to deflect neutral atomic beams.

(a) Write out the Hamiltonian for the atom, regarded as a proton-electron system, in some inertial frame. Transform to the center of mass position R\Rvec and relative position r\rvec, and expand the potential energy in powers of ℓ/L\ell/L out to the first nonvanishing term. (Let r\rvec be the electron position relative to the proton.) Notice that because of the electric field, this Hamiltonian is not separable; thus, the wave function Ψ(r,R)\Psi(\rvec,\Rvec) cannot be written as a product of functions of r\rvec and R\Rvec separately.

(b) Now define a Hamiltonian Hatom(r,p;R)H_atom (\rvec ,\pvec ;\Rvec) which is parameterized by the center of mass position R\Rvec. (This Hamiltonian contains all the terms in the total Hamiltonian except the center of mass kinetic energy). Notice that it has the form of a Stark Hamiltonian for hydrogen. Let the eigenfunctions and eigenvalues of this Hamiltonian be un(r;R)u_n(\rvec;\Rvec) and En(R)E_n(\Rvec), respectively.

Although the exact wave function Ψ(r,R)\Psi(\rvec,\Rvec) cannot be factored into a product of functions of r\rvec and R\Rvec separately, its r\rvec dependence can certainly be expanded as a linear combination of the un(r;R)u_n(\rvec;\Rvec), which form a complete set of functions of r\rvec for each value of R\Rvec. Let the expansion coefficients be ϕn\phi_n; these must be functions of the parameters R\Rvec. Thus, without loss of generality, we can write

Ψ(r,R)=∑nϕn(R)un(r;R).\Psi(\rvec,\Rvec)=\sum_n \phi_n(\Rvec) u_n(\rvec;\Rvec).

Actually, for hydrogen, the excited states n≠0n\ne0 would quickly emit a photon and drop into the ground state n=0n=0; this would even apply to the 2s2s state, due to the quenching (2s2s-2p2p mixing) caused by the electric field. Therefore we need only include the n=0n=0 term in (46), and we can write

Ψ(r,R)=ϕ(R)u0(r;R),\Psi(\rvec,\Rvec) = \phi(\Rvec) u_0(\rvec;\Rvec),

where we write simply ϕ\phi for ϕ0\phi_0.

We will be interested in solving the time-dependent Schr"odinger equation for Ψ(r,R,t)\Psi(\rvec,\Rvec,t), since we are thinking of atoms in a beam. Therefore we allow ϕ\phi in (47) to depend on tt, ϕ=ϕ(R,t)\phi=\phi(\Rvec,t). But u0u_0 does not depend on tt, because it is just an R\Rvec-dependent eigenfunction of HatomH_atom. Substitute the given form for Ψ\Psi into the time-dependent Schr"odinger equation, multiply through by u0†u_0^\cc and integrate over r\rvec. Show that the result is a new Schr"odinger equation for ϕ(R,t)\phi(\Rvec,t) which has the form

12M[P−ℏA(R)]2ϕ+G(R)ϕ+En(R)ϕ=iℏ∂ϕ∂t,{1\over 2M} [\Pvec - \hbar\Avec(\Rvec)]^2 \phi + G(\Rvec)\phi +E_n(\Rvec)\phi = i\hbar\frac{\partial \phi}{\partial t},

where MM is the total mass of the atom, A\Avec is the gauge potential associated with adiabatic transport of the ground state wave function,

A(R)=i⟨u0∣∇R∣u0⟩,\Avec(\Rvec) = i\matrixelement{u_0}{\del_\Rvec}{u_0},

and where

G(R)=ℏ22M∑n≠0∣⟨un∣∇R∣u0⟩∣2.G(\Rvec) = {\hbar^2\over 2M} \sum_{n\ne0} |\matrixelement{u_n}{\del_\Rvec}{u_0}|^2.

(c) Explain why, for hydrogen in the physical situation described, A(R)=0\Avec(\Rvec)=0. Hint: It would not be true if there were also a magnetic field.

(d) The term GG is normally very small and can be neglected. Use the results of second order perturbation theory for the Stark effect (see 24. The Stark Effect in Hydrogen and Alkali Atoms) to write down the effective potential energy seen by the atom as a whole. The function ϕ(R)\phi(\Rvec) is the “wave function of the atom.”