Surface hopping is a mixed quantum-classical technique that incorporates quantum mechanical effects into molecular dynamics simulations.[1][2][3][4] Traditional molecular dynamics assume the Born-Oppenheimer approximation, where the lighter electrons adjust instantaneously to the motion of the nuclei. Though the Born-Oppenheimer approximation is applicable to a wide range of problems, there are several applications, such as photoexcited dynamics, electron transfer, and surface chemistry where this approximation falls apart. Surface hopping partially incorporates the non-adiabatic effects by including excited adiabatic surfaces in the calculations, and allowing for 'hops' between these surfaces, subject to certain criteria.
Molecular dynamics simulations numerically solve the classical equations of motion. These simulations, though, assume that the forces on the electrons are derived solely by the ground adiabatic surface. Solving the time-dependent Schrödinger equation numerically incorporates all these effects, but is computationally unfeasible when the system has many degrees of freedom. To tackle this issue, one approach is the mean field or Ehrenfest method, where the molecular dynamics is run on the average potential energy surface given by a linear combination of the adiabatic states. This was applied successfully for some applications, but has some important limitations. When the difference between the adiabatic states is large, then the dynamics must be primarily driven by only one surface, and not an average potential. In addition, this method also violates the principle of microscopic reversibility.[3]
Surface hopping accounts for these limitations by propagating an ensemble of trajectories, each one of them on a single adiabatic surface at any given time. The trajectories are allowed to 'hop' between various adiabatic states at certain times such that the quantum amplitudes for the adiabatic states follow the time dependent Schrödinger equation. The probability of these hops are dependent on the coupling between the states, and is generally significant only in the regions where the difference between adiabatic energies is small.
The formulation described here is in the adiabatic representation for simplicity.[5] It can easily be generalized to a different representation. The coordinates of the system are divided into two categories: quantum () and classical (). The Hamiltonian of the quantum degrees of freedom with mass is defined as:
where describes the potential for the whole system. The eigenvalues of as a function of are called the adiabatic surfaces :. Typically, corresponds to the electronic degree of freedom, light atoms such as hydrogen, or high frequency vibrations such as O-H stretch. The forces in the molecular dynamics simulations are derived only from one adiabatic surface, and are given by:
where represents the chosen adiabatic surface. The last equation is derived using the Hellmann-Feynman theorem. The brackets show that the integral is done only over the quantum degrees of freedom. Choosing only one adiabatic surface is an excellent approximation if the difference between the adiabatic surfaces is large for energetically accessible regions of . When this is not the case, the effect of the other states become important. This effect is incorporated in the surface hopping algorithm by considering the wavefunction of the quantum degrees of freedom at time t as an expansion in the adiabatic basis:
where are the expansion coefficients. Substituting the above equation into the time dependent Schrödinger equation gives
where and the nonadiabatic coupling vector are given by
The adiabatic surface can switch at any given time t based on how the quantum probabilities are changing with time. The rate of change of is given by:
where . For a small time interval dt, the fractional change in is given by
This gives the net change in flux of population from state . Based on this, the probability of hopping from state j to n is proposed to be
This criterion is known as the "fewest switching" algorithm, as it minimizes the number of hops required to maintain the population in various adiabatic states.
Whenever a hop takes place, the velocity is adjusted to maintain conservation of energy. To compute the direction of the change in velocity, the nuclear forces in the transition is
where is the eigen value. For the last equality, is used. This shows that the nuclear forces acting during the hop are in the direction of the nonadiabatic coupling vector . Hence is a reasonable choice for the direction along which velocity should be changed.
If the velocity reduction required to conserve energy while making a hop is greater than the component of the velocity to be adjusted, then the hop is known as frustrated. In other words, a hop is frustrated if the system does not have enough energy to make the hop. Several approaches have been suggested to deal with these frustrated hops. The simplest of these is to ignore these hops.[2] Another suggestion is not to change the adiabatic state, but reverse the direction of the component of the velocity along the nonadiabatic coupling vector.[5] Yet another approach is to allow the hop to happen if an allowed hopping point is reachable within uncertainty time , where is the extra energy that the system needed to make the hop possible.[6] Ignoring forbidden hops without any form of velocity reversal does not recover the correct scaling for Marcus theory in the nonadiabatic limit, but a velocity reversal can usually correct the errors [7]
Surface hopping can develop nonphysical coherences between the quantum coefficients over large time which can degrade the quality of the calculations, at times leading the incorrect scaling for Marcus theory.[8] To eliminate these errors, the quantum coefficients for the inactive state can be damped or set to zero after a predefined time has elapsed after the trajectory crosses the region where hopping has high probabilities.[5]
The state of the system at any time is given by the phase space of all the classical particles, the quantum amplitudes, and the adiabatic state. The simulation broadly consists of the following steps:
Step 1. Initialize the state of the system. The classical positions and velocities are chosen based on the ensemble required.
Step 2. Compute forces using Hellmann-Feynman theorem, and integrate the equations of motion by time step to obtain the classical phase space at time .
Step 3. Integrate the Schrödinger equation to evolve quantum amplitudes from time to in increments of . This time step is typically much smaller than .
Step 4. Compute probability of hopping from current state to all other states. Generate a random number, and determine whether a switch should take place. If a switch does occur, change velocities to conserve energy. Go back to step 2, till trajectories have been evolved for the desired time.
The method has been applied successfully to understand dynamics of systems that include tunneling, conical intersections and electronic excitation.[9][10][11][12]
In practice, surface hopping is computationally feasible only for a limited number of quantum degrees of freedom. In addition, the trajectories must have enough energy to be able to reach the regions where probability of hopping is large.
Most of the formal critique of the surface hopping method comes from the unnatural separation of classical and quantum degrees of freedom. Recent work has shown, however, that the surface hopping algorithm can be partially justified by comparison with the Quantum Classical Liouville Equation.[13] It has further been demonstrated that spectroscopic observables can be calculated in close agreement with the formally exact hierarchical equations of motion.[14]