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 be the length of the pendulum, so that the frequency is given by
When we say that the length is slowly varying, mean that does not vary much on during a single cycle of oscillation, or
We can write to indicate this slow time dependence, where we think of as a small parameter. Since is a function of , we also have . Then for small angles of oscillation, the equation of motion of the pendulum is
which is that of a harmonic oscillator with slowly varying frequency. It is interesting that a treatment of this equation when is small is mathematically the same as the treatment of the one-dimensional Schr"odinger equation when 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,
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
where . The 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 to some final value . Suppose we change the Hamiltonian from to , passing through some specified sequence of intermediate Hamiltonians, in some time interval to . 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 , so that the changes take place over the time interval to . 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 . Then we can study how various quantities of interest, such as the probability of finding the system in some state , scale with as . If a quantity scales as some power of , say, , then we will say that that quantity is . For example, the elapsed time is . For brevity, we will refer to a time of order as “a long time.”
We imagine that the final Hamiltonian 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 is independent of and therefore scales as .
We will be interested in solving the time-dependent Schr"odinger equation,
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,
where naturally the eigenvalues and eigenkets depend on since itself does. The notation is somewhat illogical, since it is the ket and not the quantum number that is a function of , but we use it anyway since the more logical notation is awkward. Notice that since 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 is the same, of course. The eigenvalues are also expected to change by an amount which is of order unity.
We will assume that the spectrum of is discrete and nondegenerate for all of interest. The nondegeneracy assumption in particular seems a strong one, since even if is nondegenerate at , we might expect the energy levels , which after all are functions of 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 form a complete set, we can without loss of generality expand the exact solution in terms of them. We write,
Substituting this into the Schr"odinger equation (6), we easily find the equation of evolution for the unknown coefficients ,
This equation is exact. In the second term, the operator 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 with the ket .
To solve (9) at lowest order, we neglect the second term on the right hand side, which is . Then we have
where
We see that in this approximation, the final coefficient differs from the initial coefficient by a pure phase factor, which means that the probability of finding the system in energy eigenstate is independent of time:
As a special case of interest, suppose that at the system was in energy eigenstate , that is,
Then at the final time we have,
which we can express by saying that the quantum number is conserved. We emphasize again that neither the energy nor the eigenket 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 . The conclusions contained in (10), (12) and (14) are referred to as the adiabatic theorem.
The phase , defined in (11), is called the “dynamical phase.” Obviously if the Hamiltonian were truly time-independent, the dynamical phase would be . As it is, (11) expresses as the time integral of the instantaneous frequency , 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 with some fixed state [perhaps a copy of the initial state ]. 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 . But (11) shows that the dynamical phase is , 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 .
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
which serves to define a new set of coefficients . We substitute this into (11) and find,
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 and the time interval is . However, the off-diagonal terms on the right hand side (the terms ) involve the phase factor , 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 , since each oscillation nearly cancels the previous one. On the other hand, the diagonal terms 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
We integrate this to find
where the new phase is defined by
The phase is called the “geometric phase” or “Berry’s phase.” Notice that it is of order unity. Notice also that is real, for if we take the normalization condition and differentiate with respect to time, we find
which shows that 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,
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 . 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 as . [This conclusion is true if the Hamiltonian is an infinitely differentiable function of time, perhaps an analytic function. If has only a finite number of time derivatives, then the change in the probability goes to zero as some power of .]
Now we can see what happens if degeneracies or near-degeneracies develop in the course of time. An exact degeneracy, say, for some , 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 and . 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 .
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 . We write this schematically as
Note that is by our assumptions; the time-dependence of the Hamiltonian is slow. On the other hand, the resonance frequency between states and is , and if this comparable to , then we expect the time-dependence of to induce transitions. Thus, we can say that the condition for the validity of the adiabatic theorem is
This should be true of all states and of interest; for example, if we choose the initial conditions (13), we can set and , since it is the nearest neighbors to eigenvalue 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 takes place through a set of parameters that themselves are slow functions of time, so that and . A useful example to keep in mind is that of a spin in a slowly varying magnetic field, for which
In this example, we can identify the parameters with the magnetic field , 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, .
More generally, we imagine some parameter space of some dimensionality with coordinates , and we imagine finding the energy eigenvalues and eigenkets as functions of , according to
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 (assuming the dependence of on is smooth). Later we worry about what happens at degeneracies. Likewise, we assume the eigenkets 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 , we assume some phase conventions have been chosen for each value of , in a smooth manner.
Now the history of the Hamiltonian under the adiabatic process can be described by a curve in parameter space, which starts at some point and ends and some point . The curve is fixed in parameter space, but is traversed ever more slowly as . Quantities such as the eigenkets change along the curve according to
where . Then we can write the geometric phase [see (19)] in terms of the line integral of a certain vector field in parameter space,
where
In this equation, the vector field is associated with the state in question, and sometimes we might prefer to write 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 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 . Such a change in phase conventions will be indicated by
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 in (29) is allowed to be a function of , because there is no reason why we cannot change the phase in a different manner for different parameter values. The -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 (for a given value of 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 , then is in general a complex function of position , 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 and the dynamical phases are clearly gauge-invariant, whereas the eigenkets are not [they transform according toifone (29)]. Nor is the gauge potential gauge-invariant, for by substitutingifone (29) into (28), we find
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
as follows from (27). But the solution to the Schr"odinger equation for given initial conditions 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 is required to cancel that of and to make gauge-invariant. This gives us another reason for carrying out the 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 . In this case the curve in parameter space is closed, and we can apply Stokes’ theorem to the integral (27) for the geometric phase. This gives
where the surface is a surface in parameter space bounded by the closed curve, and where
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, is analogous to the magnetic field in electromagnetic theory, and satisfies the field equation,
The vector field is sometimes called the curvature form of the gauge theory.
Notice that for closed curves in parameter space, the gauge-dependence of seen in (31) cancels out, and the geometric phase becomes gauge-invariant. The same conclusion follows from the gauge-invariance of the vector field ,
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, 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 as a function of time along the history of the Hamiltonian, and use it to write the solution (8) in the form,
Now we say, the kets involved a poor choice of phase, because they gave us a nonvanishing ; suppose we choose a different phase convention,
Then the geometrical phase disappears from the solution,
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 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 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 , , etc., and the nuclei with indices , , etc. Let the positions, momenta, and mass of the electrons be , , and , and let the positions, momenta, masses, and charges of the nuclei be , , , and . The notation attempts to use capital letters for nuclei, and lower case letters for electrons. Then the basic Coulomb Hamiltonian for the molecule is
where and are the nuclear and electronic kinetic energies, and where , , and 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 , 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 . Thus, the 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 which are of the order of , where 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 . 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 . 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 and in (41) as -numbers, which presumably obey some classical equations of motion that endow them with some time dependence, and we will treat and as operators acting on wave functions for the electrons. This is a hybrid classical-quantum approach.
We now define the electronic Hamiltonian as the last four terms in (41), which depends on the operators and and on the nuclear positions , which are -numbers. We adopt an abbreviated notation, in which stands for all electron coordinates , stands for all nuclear coordinates , etc.:
Since is supposedly a slow function of time, is an example of a Hamiltonian with a slow time dependence, in which the nuclear coordinates are the slow parameters. The parameter space is now the nuclear configuration space. Notice that the internuclear potential energy is a -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 for fixed values of the parameters . 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 for fixed values of be and , where the dependence on the parameters is just as in (25), so that
As indicated by the -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 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 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 plays the role of a potential energy for the nuclear motion. Thus, we can take the classical Hamiltonian for the nuclear motion to be
which is otherwise just the expectation value of the total molecular Hamiltonian with respect to the -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” 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 , except that it is now a quantum Hamiltonian. At the next order, one finds that the gauge potential 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 molecule will be discussed in class.
Problems¶
Problem 1.
Consider the spin system described by the Hamiltonian,
where is a constant and is a function of the slow time variable, . Allow the spin to take on any value, . Identify parameter space with magnetic field space. Try to find a smooth assignment of eigenkets over all of parameter space, where . Show that it is possible to make such an assignment in a smooth manner everywhere in parameter space except on the negative -axis. Compute the gauge potential , and the curvature form . Suppose the magnetic field slowly traces out some closed curve in parameter space, not passing through the origin . Both the magnitude and direction of are allowed to change. Show that the geometric phase 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 .)
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 of the field is much greater than the size 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 and relative position , and expand the potential energy in powers of out to the first nonvanishing term. (Let be the electron position relative to the proton.) Notice that because of the electric field, this Hamiltonian is not separable; thus, the wave function cannot be written as a product of functions of and separately.
(b) Now define a Hamiltonian which is parameterized by the center of mass position . (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 and , respectively.
Although the exact wave function cannot be factored into a product of functions of and separately, its dependence can certainly be expanded as a linear combination of the , which form a complete set of functions of for each value of . Let the expansion coefficients be ; these must be functions of the parameters . Thus, without loss of generality, we can write
Actually, for hydrogen, the excited states would quickly emit a photon and drop into the ground state ; this would even apply to the state, due to the quenching (- mixing) caused by the electric field. Therefore we need only include the term in (46), and we can write
where we write simply for .
We will be interested in solving the time-dependent Schr"odinger equation for , since we are thinking of atoms in a beam. Therefore we allow in (47) to depend on , . But does not depend on , because it is just an -dependent eigenfunction of . Substitute the given form for into the time-dependent Schr"odinger equation, multiply through by and integrate over . Show that the result is a new Schr"odinger equation for which has the form
where is the total mass of the atom, is the gauge potential associated with adiabatic transport of the ground state wave function,
and where
(c) Explain why, for hydrogen in the physical situation described, . Hint: It would not be true if there were also a magnetic field.
(d) The term 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 is the “wave function of the atom.”