Вы находитесь на странице: 1из 8

THE JOURNAL OF CHEMICAL PHYSICS 126, 164103 共2007兲

Simplified and improved string method for computing the minimum energy
paths in barrier-crossing events
Weinan Ea兲
Department of Mathematics, Princeton University, Princeton, New Jersey 08544 and PACM, Princeton
University, Princeton, New Jersey 08544
Weiqing Renb兲 and Eric Vanden-Eijndenc兲
Courant Institute of Mathematical Sciences, New York University, New York, New York 10012
共Received 22 January 2007; accepted 7 March 2007; published online 23 April 2007兲

We present a simplified and improved version of the string method, originally proposed by E et al.
关Phys. Rev. B 66, 052301 共2002兲兴 for identifying the minimum energy paths in barrier-crossing
events. In this new version, the step of projecting the potential force to the direction normal to the
string is eliminated and the full potential force is used in the evolution of the string. This not only
simplifies the numerical procedure, but also makes the method more stable and accurate. We discuss
the algorithmic details of the improved string method, analyze its stability, accuracy and efficiency,
and illustrate it via numerical examples. We also show how the string method can be combined with
the climbing image technique for the accurate calculation of saddle points and we present another
algorithm for the accurate calculation of the unstable directions at the saddle points. © 2007
American Institute of Physics. 关DOI: 10.1063/1.2720838兴

I. INTRODUCTION differential equation 共ODE兲 solvers, and reparametrization of


the string by interpolation. The accuracy of the method de-
Rare events have been a topic of great interest in many pends on the interpolation scheme, whereas its efficiency de-
areas for many years. For systems with simple energy land- pends on the ODE solver. High order accuracy and better
scapes, the object of interest is the most probable transition efficiency can be easily achieved by employing accurate in-
path between the local minima of the potential energy. It is terpolation method and ODE solver. Here we discuss the
known that these paths are the minimum energy paths algorithmic details and the implementation issues of the im-
共MEPs兲, which are paths in configuration space along which proved string method, and we analyze its accuracy and sta-
the potential force is everywhere parallel to the path. The bility.
MEPs allow us to identify the relevant saddle points which In many cases, we are not interested in the full MEP, but
act as the bottlenecks for a particular barrier-crossing event, only the saddle points. We show how the climbing image
as well as the unstable directions at these points that enter technique developed in Ref. 6 can be naturally and simply
into the calculation for the prefactor of the transition rates. combined with the string method in order to identify the
Several computational methods have been developed for location of the saddle points with arbitrary precision. Finally,
finding the MEPs.1–8 Most successful among them are the we show how to compute the unstable direction at the saddle
nudged elastic band 共NEB兲 method4 and the 共zero- point to arbitrary precision.
temperature兲 string method.7 Once the MEP is obtained, tran-
sition rates can be computed using several strategies 共see, for II. THE NEW STRING METHOD
example, Ref. 7兲.
The present paper is a continuation of the work pre- Our main objective is to find the minimum energy path
sented in Ref. 7 on the calculation of MEPs by the string for barrier-crossing events. Denote by V共x兲 the potential en-
method. Here, we present an improved and simplified ver- ergy of the system of interest and assume that V共x兲 has at
sion of the string method in which the step of projecting the least two minima, at a and b. By definition, a MEP is a curve
potential force onto the hyperplane perpendicular to the ␥ connecting a and b that satisfies
string is eliminated. Instead the full force is used for the 共ⵜV兲⬜共␥兲 = 0, 共1兲
evolution of the string. This not only simplifies the numerical
procedure, but also makes the method more stable and accu- where 共ⵜV兲⬜ is the component of ⵜV normal to ␥,
rate, since we no longer need to compute the tangent vectors 共ⵜV兲⬜共␥兲 = ⵜV共␥兲 − 共ⵜV共␥兲, ␶ˆ 兲␶ˆ . 共2兲
of the string using up-wind scheme 共see Refs. 7 and 8兲. The
overall algorithm is an iterative application of a simple two- Here ␶ˆ denotes the unit tangent of the curve ␥, and 共·,·兲
step procedure: evolution of the string by standard ordinary denotes the Euclidean inner product. In appropriate math-
ematical setting, one can prove that the MEP is the most
a兲 probable path that the system will take under the over-
Electronic mail: weinan@math.princeton.edu
b兲
Electronic mail: weiqing@cims.nyu.edu damped dynamics to move between a and b, crossing the
c兲
Electronic mail: eve2@cims.nyu.edu barriers in-between.10

0021-9606/2007/126共16兲/164103/8/$23.00 126, 164103-1 © 2007 American Institute of Physics

Downloaded 01 May 2007 to 216.165.95.5. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp
164103-2 E, Ren, and Vanden-Eijnden J. Chem. Phys. 126, 164103 共2007兲

The basic idea of the string method is to find the MEP by In the first step, the discrete points on the string are
evolving a curve connecting a and b, under the potential evolved over some time interval ⌬t according to the full
force field. The simplest dynamics for the evolution of such potential force,
curves is given abstractly by
␸˙ i = − ⵜV共␸i兲. 共6兲
vn = − 共ⵜV兲⬜ , 共3兲 Equation 共6兲 can be integrated in time by any ODE solver,
e.g., the forward Euler method or Runge-Kutta methods, as
where vn denotes the normal velocity of the curve. We re- described in Sec. IV A.
mark that for the evolution of a curve, only the normal com- In the second step, the points are redistributed along the
ponent of the velocity matters, tangential velocity only string using a simple interpolation/reparametrization proce-
moves points along the curve, changing the parameterization dure as described in Sec. IV B.
of the curve without changing the curve itself. For the same The scheme above is not only simpler than the original
reason, when we give an explicit representation of the curve, string method 共and NEB兲, it is also more stable and more
we are free to choose any particular parameterization. The accurate, as discussed in Sec. IV C.
string method makes use of this freedom in an essential way.
To translate 共3兲 to a form that can be readily used in
numerical computations, we assume that we have picked a III. COMPARISON WITH THE NUDGED ELASTIC
particular parametrization of the curve ␥ : ␥ = 兵␸共␣兲 : ␣ BAND METHOD
苸 关0 , 1兴其. Then we have ␶ˆ 共␣兲 = ␸␣ / 兩␸␣兩, where ␸␣ denotes the Another successful algorithm for computing the MEP is
derivative of ␸ with respect to ␣. The simplest parametriza- the NEB method.4 As the string method, NEB is a chain-of-
tion to think of is equal arc-length parametrization in which states method, since the MEP is obtained as a chain of states
␣ is a constant multiple of the arc length from a to the point connected by some spring force. The states on the chain are
␸共␣兲. In this case, we also have 兩␸␣兩 = const 共this constant viewed as different replicas of the original system.
being the length of the curve ␥兲. Even though after discretization, the string or elastic
The original form of the string method uses the follow- band are indeed represented by a chain of states, conceptu-
ing model to represent 共3兲: ally it is much more convenient to adopt a continuous view-
point as was done and expressed in 共4兲 and 共5兲. From this
␸˙ = − ⵜV共␸兲⬜ + ␭␶ˆ , 共4兲 viewpoint, NEB can be thought of as an evolution upon the
elastic band method,
where ␸˙ denotes the time derivative of ␸. The term ␭␶ˆ
⬅ ␭共␣ , t兲␶ˆ 共␣ , t兲 is a Lagrange multiplier term added to en- ␸˙ = − ⵜV共␸兲 + ␬␸␣␣ , 共7兲
force the particular parametrization that we have chosen 共for
where ␬ is the spring constant. It is well known that the
instance, by normalized arc length兲; as explained before, this
elastic band method converges to a path that, in general, is
term does not affect the evolution of the curve itself, only its
not a MEP.11 For this reason, the nudged elastic band method
parametrization, since it does not contribute to the normal
is proposed4 which takes the form
velocity of the curve. In the actual numerical algorithm, the
action of ␭␶ˆ is realized by a simple interpolation step, as we ␸˙ = − ⵜV共␸兲⬜ + ␬共␸␣␣, ␶ˆ 兲␶ˆ . 共8兲
discuss below.
Compared with 共4兲, we see that the difference between the
It is easy to see that the stationary states of this dynamics
original version of the string method and the NEB is in the
共when the time derivative vanishes兲 satisfies 共2兲.
second term at the right hand side, which is there to prevent
The main difficulty with this model is in the computation
the images along the path from falling into the local minima
of the projected force. Numerical stability requires changing
at the ends, due to the potential force. In the elastic band
the way that the tangent vector is computed before and after
method, this is done by adding some artificial spring force
the saddle points are crossed.7–9 This step lowers the accu-
along the path. In the string method, this is done by enforc-
racy of the overall method.14 This projection step is elimi-
ing a particular parametrization. From an algorithmic view-
nated in the new method, which amounts to solving
point, the first approach amounts to penalizing the breaking
away images. The second approach uses interpolation to fill
␸˙ = − ⵜV共␸兲 + ¯␭␶ˆ , 共5兲 up the space created along the string due the effect of the
potential force.
where ¯␭共␣ , t兲␶ˆ 共␣ , t兲 is again a Lagrange multiplier term for The new string method takes away the projection of the
the purpose of enforcing the particular parametrization of the potential force. Clearly this idea can also be used for the
string. Clearly, 共5兲 is equivalent to 共4兲 with the identification elastic band method, i.e., we may replace 共8兲 by
¯␭ = ␭ + 共ⵜV , ␶ˆ 兲, but the representation 共5兲 is better for numeri-
␸˙ = − ⵜV共␸兲 + ␬共␸␣␣, ␶ˆ 兲␶ˆ . 共9兲
cal purposes
As in the original string method, in the improved method This “half-nudged” elastic band method is different from
the string is discretized into a number of images 兵␸i共t兲 , i both 共7兲 and 共8兲 but, like 共8兲, it has the exact MEPs as steady
= 0 , 1 , . . . , N其. The images along the string are evolved by states. Compared to 共8兲,共9兲 may also have some of the ad-
iterating upon the following two-step procedure based on vantages discussed below of the new string method over the
time splitting of the terms at the right hand side of 共5兲. original string method.

Downloaded 01 May 2007 to 216.165.95.5. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp
164103-3 Simplified and improved string method J. Chem. Phys. 126, 164103 共2007兲

Finally, let us note that the string method can also be sw0 = 0, swi = si−1
w
+ Wi−共1/2兲兩␸쐓i − ␸i−1

兩, i = 1,2, . . . ,N.
viewed as the inextensible limit 共␬ → ⬁兲 of the elastic band
method 共nudged or half nudged兲. This explains the terminol- 共13兲
ogy of “string.” Here Wi−共1/2兲 = W共Vi+1/2兲 and Vi+1/2 is the average of the po-

tential energy at ␸i−1 and ␸쐓i . The weight function W共z兲 is
some positive, increasing function of z 苸 R. The mesh 兵␣쐓i 其 is
IV. ALGORITHMIC DETAILS AND PERFORMANCE obtained by normalizing 兵swi 其: ␣쐓i = swi / sNw. The new points ␸i
OF THE NEW STRING METHOD on ␣i = i / N are then calculated by cubic spline interpolation
A. Step 1: Evolution of the images across the points 兵␸쐓i , i = 0 , . . . , N其 共see the Appendix兲.
Once the new points 兵␸n+1 i , i = 0 , . . . , N其 are calculated,
Equation 共6兲 can be integrated in time by any suitable we go back to step 1 and iterate until convergence.
ODE solver. If we denote by ␸ni , i = 0 , . . . , N, the positions of Let us note that the above procedure of interpolation/
the images after n iterations of the scheme, the new set of reparametrization is only second order in terms of preserving
images after step 1 is given by the parameterization of the curve by arc length or energy-
␸쐓i = ␸ni − ⌬t ⵜ V共␸ni 兲 共10兲 weighted arc length since we use linear interpolation in 共12兲
and 共13兲 to compute the length of the curve. However, the
if the forward Euler method is used, or procedure is fourth order in terms of the accuracy of the
k共1兲
i = ⌬t ⵜ V共␸i 兲,
n curve since we use cubic spline for the interpolation. This is
fine since we care mostly about finding the MEP accurately.
i = ⌬t ⵜ V共 ␸i + 2 ki 兲 ,
k共2兲 n 1 共1兲

C. Accuracy, stability, and efficiency


i = ⌬t ⵜ V共 ␸i + 2 ki 兲 ,
k共3兲 1 共2兲
n
共11兲 The main advantages of the new string method over the
original one are the following:
k共4兲 共3兲
i = ⌬t ⵜ V共␸i + ki 兲,
n

共1兲 Simplicity.
␸쐓i = ␸ni − 1 共1兲 1 共2兲 1 共3兲 1 共4兲 共2兲 Better stability, which means larger time steps can be
6 ki − 3 ki − 3 ki − 6 ki
used to evolve the string. Even though the dynamics of
if the fourth order Runge-Kutta method is used. the string is artificial, this means that we can march to
the stationary states, the MEPs, faster using larger time
steps. The new string method is stable provided only
B. Step 2: Interpolation/reparametrization the time step ⌬t used in 共10兲 or 共11兲 is within the sta-
of the string bility region of the ODE solver, which is determined by
the stiffness of the potential energy V but is indepen-
Parametrization by equal arc length. In the simplest case
dent of N. In contrast, in the original string method or
when we choose to enforce the equal arc-length parametri-
the NEB method, stability imposes an additional con-
zation, the problem is simply the following: Given the values
straint on the size of the time step 共the Courant-
兵␸*i 其 on a nonuniform mesh 兵␣*i 其, we would like to interpo-
Friedricks-Lewy condition12兲, which gives ⌬t ⬍ C / N in
late these values onto a uniform mesh with the same number
the original string method, and ⌬t 艋 C / N2 in NEB,
of points. This is done in the following two simple steps,
where C is some constant.
with a cost of O共N兲:
共3兲 Better accuracy as a function of the number of points
共1兲 We calculate the arc length corresponding to the current along the string. The new method does not involve
images, computation of the tangent vector explicitly. This
s0 = 0, si = si−1 + 兩␸쐓i − ␸i−1

兩, i = 1,2, . . . ,N. 共12兲 avoids the up-winding techniques used in the original
string method,9 which was the bottleneck for improving
The mesh 兵␣쐓i 其 is then obtained by normalizing 兵si其, its accuracy. If cubic splines are used for the interpola-
tion, and the time step is chosen appropriately, then the
␣쐓i = si/sN .
overall accuracy is fourth order, by which we mean that
共2兲 Next we use interpolation to obtain the new points ␸n+1 i the distance between the converged string 共i.e., the
at the uniform grid points ␣i = i / N. This can be done, curve interpolated through the images 兵␸ni , i = 0 , . . . , N其
for example, by using cubic spline interpolation for the after convergence兲 and the MEP scales as O共N−4兲.
data 兵共␣쐓i , ␸쐓i 兲 , i = 0 , . . . , N其 共see the Appendix兲.
To understand the accuracy of the method, note first that
Parameterization by energy-weighted arc length. Com- the new string method converges to a state such that the
pared to equal arc-length parameterization, the energy- images ␸ni lead to a new set of images ␸쐓i via time evolution
weighted arc length parameterization gives finer resolution 共step 1兲 which then lead back to the same set of images ␸ni
around the saddle points, and thus better estimate of the en- ⬅ ␸n+1
i after interpolation and reparametrization 共step 2兲. If
ergy barrier and also the unstable direction at those points. In there were no numerical errors, both the images ␸ni ⬅ ␸n+1 i
the reparametrization step, we first calculate the energy- and ␸쐓i would belong exactly to the MEP since the solution
weighted arc length corresponding to the current images, of 共6兲 stays on the MEP if its starts on the MEP. In practice,

Downloaded 01 May 2007 to 216.165.95.5. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp
164103-4 E, Ren, and Vanden-Eijnden J. Chem. Phys. 126, 164103 共2007兲

however, these images remain slightly off the MEP because


共i兲 their number is finite and hence the interpolation in step 2
is only approximate and 共ii兲 the motion along the MEP in
step 1 is only approximate. The corresponding numerical er-
rors can be estimated as follows.
With a mth order accurate interpolation scheme 共m = 4
for cubic spline兲, the interpolation error scales as
interpolation error = O共N−m兲. 共14兲
On top of this there is the local error of the ODE solver. If
the local order of accuracy of the solver is l 共i.e., l = 2 for
forward Euler, l = 5 for fourth order Runge-Kutta兲, the error
introduced scales as
evolution error = O共⌬t−l兲. 共15兲
Thus, in order that the total error between the curve interpo-
lated through the images 兵␸ni , i = 0 , . . . , N其 and the actual
MEP be less than some prescribed accuracy, say TOL, we
must choose N and ⌬t as
N = C1TOL−1/m, ⌬t = min兵C2TOL−1/l,⌬t⬘其, 共16兲
where C1 and C2 are two numerical constants and ⌬t⬘ is the
largest time step at which the ODE solver remains stable; as
explained before, ⌬t⬘ is determined by the stiffness of the
potential energy V, but is independent of N.

FIG. 1. Upper panel: Initial string 共dashed curve兲and calculated MEP


共thicker solid curve兲. The background shows the contour lines of the two
D. Illustrative example dimensional potential in 共17兲. Lower panel: Error e共N兲 of the calculated
MEP vs N, the number of points along the string. The solid curve is the
To illustrate the improved string method, we consider the result of the improved string method using fourth order Runge-Kutta
two-dimensional potential given by method and cubic spline interpolation. The dashed curve is the result of the
original string method.
V共x,y兲 = 共1 − x2 − y 2兲2 + y 2/共x2 + y 2兲. 共17兲
The contour lines of V are shown in the upper panel of Fig. TOL = max兵N−4,10−10其. 共19兲
1. The potential V has two minima at A = 共−1 , 0兲 and B
= 共1 , 0兲, respectively. The exact MEPs connecting these two Note that the choice of TOL is consistent with the fourth
states are the upper and lower branches of the unit circle: order accuracy of the numerical scheme. The time step ⌬t is
x2 + y 2 = 1. ⌬t = 0.05 min兵0.2,N−1其. 共20兲
In our calculation, the initial string is the linear interpo-
lation between 共−0.5, 0.5兲 and 共0.5,0.5兲 共the dashed line in For large N this gives ⌬t = O共N−1兲 which is slightly smaller
the upper panel of Fig. 1兲. Note that the locations of the than the optimal choice ⌬t = O共N−4/5兲 关see 共16兲兴.
minima are not required a priori. As long as the two end The thicker solid curve in the upper panel of Fig. 1
points of the initial string lie in the two basins of attraction of shows the calculated MEP. The lower panel illustrates its
the minima, they are identified automatically since the end accuracy for various number of points N. The solid line
points of the string evolve freely according to 共6兲 and their 共circles兲 shows the error of the converged string versus N.
positions are not affected by the reparameterization step. The Here the error is defined as
string is discretized into N points 兵␸i = 共xi , y i兲 , i = 0 , 1 , ¯ , N e共N兲 = max兩共x2i + y 2i 兲1/2 − 1兩, 共21兲
− 1其; in the numerical experiments we used N ranging from 4 i
to 512. Cubic spline interpolation is used to redistribute the
where we recall ␸i = 共xi , y i兲 and ␸i, i = 0 , . . . , N − 1 are the N
discrete points at each time step according to equal arc
images along the converged string. The result shows that
length. The fourth order Runge-Kutta method is used to
e共N兲 scales as N−4, which is consistent with the fourth order
evolve the N discrete points until the maximum displacement
accuracy of the cubic spline interpolation and the fact that
d of the string is less than some tolerance TOL, d ⬍ TOL,
the time step in the Runge-Kutta method has be chosen ac-
where
cordingly.
1 n+1 Also plotted in the lower panel of Fig. 1 共dashed line兲 is
d = max 兩␸ − ␸ni 兩; 共18兲 the numerical result of the original string method as de-
i ⌬t i
scribed in Sec. II. The error e共N兲 scales as N−1. Here the
and accuracy is limited by the up-winding scheme 共28兲 for the

Downloaded 01 May 2007 to 216.165.95.5. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp
164103-5 Simplified and improved string method J. Chem. Phys. 126, 164103 共2007兲

calculation of tangent vectors, which is only first order accu- ing images. This can be easily achieved by using the
rate. The error in NEB scales as N−1 as well. following mesh instead of the uniform one at reparametriza-
tion:
V. CALCULATION OF SADDLE POINTS ␣0 = 0, ␣i = ␣i−1 + hi, i = 1,2, . . . ,N, 共24兲
AND UNSTABLE DIRECTIONS

The string method is primarily designed to identify ac- where

再 冎
curately the whole MEP. In many cases, we are not interested
in the whole MEP, we are only interested in the saddle point ␣i쐓s/is , if i 艋 is
hi = 共25兲
and some local quantities at the saddle point for the compu- 共1 − ␣i쐓s兲/共N − is兲, if i ⬎ is .
tation of the transition rates. We will show in this section that
for this purpose, the climbing image technique developed in
Here is is the index of the climbing image, ␣i쐓 is the normal-
Ref. 6 can be naturally and easily adapted to the string s
ized arc length corresponding to the climbing image, i.e.,
method. This will allow us to identify the saddle point ␸s to
␸s = ␸共␣i쐓 兲. The choice of ␣i’s in 共24兲 and 共25兲 amounts to
arbitrary precision at a cost of moving a single image. We s

will then describe a technique in Sec. V B for identifying splitting the string into the two pieces on each side the climb-
afterwards the unstable direction ␶ˆ s at a cost of moving two ing image and treating the two pieces independently. The
images. discrete points on both pieces are redistributed evenly using
cubic spline interpolations.

A. Calculation of the saddle point


If we are interested in determining the location of the B. Calculation of the unstable direction
saddle point 共but not of the whole MEP兲 with high precision, Once the above calculation converged and the saddle
instead of increasing the number of points N along the string, point ␸s is accurately located, we can switch to another
it is better to first find a rough approximation of the MEP method to compute accurately the tangent vector ␶ˆ s at ␸s. By
using the string method with a small number of images and definition, ␶ˆ s is the unique eigenvector with negative eigen-
then switch to the following climbing image algorithm in value of the Hessian tensor at the saddle point, H共␸s兲
which one integrates 共using, e.g., forward Euler or the fourth
= ⵜⵜV共␸s兲, i.e., the unique solution of
order Runge-Kutta algorithms兲
␸˙ s = − ⵜV共␸s兲 + 2共ⵜV共␸s兲, ␶ˆ s0兲␶ˆ s0 , 共22兲 H共␸s兲␶ˆ s = ␮␶ˆ s , 共26兲
with the initial condition ␸s共0兲 = ␸s0. The equilibrium points with ␮ ⬍ 0 and 兩␶ˆ s兩 = 1. For future reference, notice that the
of 共22兲 satisfy 0 = ⵜV, i.e., they are critical points 共minima, solution of 共26兲 with ␮ ⬍ 0 and 兩␶ˆ s兩 = 1 is also the steady state
saddle points, etc.兲 of the potential V. Provided only that ␶ˆ s0 solution of
be close enough to the actual ␶ˆ s, the saddle point, which is an
unstable equilibrium point of 共6兲, is a stable equilibrium
point of 共22兲. This is because the force is inverted in the ␶˙ˆ s = − H共␸s兲␶ˆ s + ␮␶ˆ s , 共27兲
direction of ␶ˆ s0: hence this direction, which is unstable for 共6兲,
where ␮ can be viewed as a Lagrange multiplier to enforce
becomes stable for 共22兲. As a result the solution of 共22兲 con-
the constraint that 兩␶ˆ s兩 = 1.
verges towards the actual saddle point ␸s provided that ␸s0 is
共27兲 is inconvenient because it involves the Hessian ten-
close enough to it. Notice that 共22兲 involves evolving one
sor H共␸s兲. The idea of the method presented in this section is
image only 共␶ˆ s is fixed in this equation兲. Therefore, since the
to avoid computing the Hessian by approximating ␶ˆ s and
convergence of the solution 共22兲 towards the saddle point is
H共␸s兲 in 共27兲 using finite differences. This can be done by
exponential in time, the number of steps nstep required to
introducing two images, ␸r and ␸l, such that
achieved a given accuracy TOL scales as
nstep = O共log TOL−1兲. 共23兲 ␸r − ␸l
␶ˆ s ⬇ ␶ˆ sa = , 兩 ␸ r − ␸ s兩 = 兩 ␸ l − ␸ s兩 = h 共28兲
If there is more than one saddle point along the MEP, the 兩 ␸ r − ␸ l兩
procedure above can be straightforwardly generalized to
identify them all by using 共22兲 for each of them. for some small h ⬎ 0. Initially, ␸r and ␸l can be taken as two
The above is a two-step procedure. One first runs the points on each side of the saddle point ␸s determined in Sec.
string method and then the climbing image technique, hold- V A and lying in the direction of the approximation ␶ˆ s0 pro-
ing other images fixed. If desired, we can also integrate the vided by the string method. The images ␸r and ␸l are then
climbing image technique into the string method. This re- updated by using the following finite-difference approxima-
quires a modification of the reparametrization step. The tion of 共27兲:
climbing image ␸s would evolve according to 共22兲 关whereas
the other images evolves according to 共6兲兴. In the reparam- ␸˙ l = − ⵜV共␸l兲 + ␭l共␸l − ␸s兲,
etrization step, the climbing image is kept fixed, and rep- 共29兲
arametrization is done separately on both sides of the climb- ␸˙ r = − ⵜV共␸r兲 + ␭r共␸r − ␸s兲,

Downloaded 01 May 2007 to 216.165.95.5. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp
164103-6 E, Ren, and Vanden-Eijnden J. Chem. Phys. 126, 164103 共2007兲

where ␭l and ␭r are Lagrange multipliers determined by the


constraints
兩␸l − ␸s兩 = 兩␸r − ␸s兩 = h. 共30兲
共29兲 is a discretized version of 共27兲 because
ⵜV共␸l兲 = H共␸s兲共␸l − ␸s兲 + O共h2兲 共31兲
and similarly for ⵜV共␸r兲: here we used ⵜV共␸s兲 and 兩␸l − ␸s兩
= h.
In practice, 共29兲 can be solved by a two-step procedure.
At each time step, ␸r and ␸l is first evolved by the potential
force to give intermediate values,
␸쐓l = ␸nl − ⌬t ⵜ V共␸nl 兲, 共32兲
and similarly for ␸r쐓; then the constraints in 共30兲 are enforced
by projecting ␸쐓l and ␸r쐓 to the sphere S␸s,h with center ␸s and
radius h,
␸쐓l − ␸s
␸n+1 = ␸s + h 共33兲
兩␸쐓l − ␸s兩
l

and similarly for ␸r쐓. The steady-state solution of the proce-


dure above is used in 共28兲 to calculate the tangent vector ␶ˆ s.
The parameter h in 共28兲 should be chosen as small as
possible without impeding the accuracy with round-off er-
rors: if the digital precision is TOLmin, one should choose
1/2
h = TOLmin , in which case the error due to finite difference in
共28兲 remains O共h2兲 = O共TOLmin兲.
Notice that the time step ⌬t in 共32兲 can be chosen inde-
pendently of h without impeding on the accuracy because
共31兲 implies that ⵜV共␸l兲 = O共h兲 and ⵜV共␸r兲 = O共h兲. As a re- FIG. 2. Upper panel: Initial string and calculated MEP using the string
sult 兩␸쐓l − ␸nl 兩 = O共h兲 and 兩␸r쐓 − ␸nl 兩 = O共h兲 and the two steps in method with ten images 共the images are shown as filled circles; the lines are
the procedure above do not interfere with the accuracy re- the curves interpolated across these images; the vertical line is the initial
gardless of what ⌬t is. Since the convergence of the solution string and the other one is the calculated MEP兲. The empty circle indicates
the saddle point identified by combining the string method with the climbing
of 共29兲 is exponential in time, the number of steps nstep re- image technique. The norm of the residual potential force at ␸s is smaller
quired to achieved a given accuracy TOL on ␶s scales as in than 10−12, 兩ⵜV共␸s兲兩 ⬍ 10−12. The background shows the contour lines of the
共23兲. Mueller potential. Lower panel: The norm of the force on the climbing
Note that the above procedure brings ␸r and ␸l to the image 兩ⵜV共␸s兲兩 vs the number n of iterations or time steps. The convergence
is exponential in time.
minima of the potential energy V on the sphere S␸s,h by
steepest descent dynamics. More efficient constrained opti-
mization methods can be used as well to improve the con- upper panel of Fig. 2. The figure shows the initial string
vergence rate and save computational cost.15 共dashed line兲 and the calculated MEP 共filled circles兲. The
background shows the contour lines of the Mueller potential.
There is an intermediate metastable state along the MEP, and
C. Illustrative example accordingly there are two saddle points. The empty circle on
the MEP indicates the location of the saddle point ␸s with
In this example, we calculate the MEP, one of the saddle
higher energy, obtained by the climbing image technique.
point, and the associated unstable direction for the Mueller
After convergence, the norm of the potential force at ␸s,
potential.13
兩ⵜV共␸s兲兩, is smaller than 10−12. It takes 188 time steps to
In the calculation, we first identify an approximation of
the MEP using the improved string method with N = 10 im- reach this accuracy. The convergence history for the calcula-
ages. Cubic splines were used in the reparametrization and tion of the saddle point is shown in the lower panel of Fig. 2.
the forward Euler method with ⌬t = 4.5⫻ 10−4 was used in The error decays exponentially with the iteration number or
the integration. After 70 time steps when d defined in 共18兲 is time step n.
less than 0.1, we stop the string calculation, and identify the We then proceeded to calculate the unstable direction at
image of maximum energy along the string, ␸s0, and the cor- ␸s using the algorithm described in Sec. V B. We compared
responding ␶ˆ s0. Then we switch to the climbing image algo- the accuracy of the numerical results for different choices of
rithm described in Sec. V A to improve ␸s0, using again ⌬t h.2,3,5,15 The numerical result is shown in the upper panel of
= 4.5⫻ 10−4 in 共22兲. The numerical result is shown in the Fig. 3. Here the error is calculated by

Downloaded 01 May 2007 to 216.165.95.5. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp
164103-7 Simplified and improved string method J. Chem. Phys. 126, 164103 共2007兲

VI. CONCLUDING REMARKS

In this paper the string method originally proposed in


Ref. 7 was improved. The main components of the improved
string method are an ODE solver and an interpolation
scheme, both of which are standard numerical techniques.
Compared to the original string method and other MEP-
finding methods such as NEB, the new method is simpler
and easier to implement. More importantly, the numerical
scheme does not need the projection of the potential force
and thus eliminates the stablility issue. High order accuracy
can be easily achieved by employing higher order ODE solv-
ers and more accurate interpolation schemes.
We also described how the climbing image technique
can be easily incorporated into the string method for accurate
calculation of saddle points. Furthermore, we presented an
algorithm for accurate calculation of the unstable directions
at the saddle points.
These various methods were illustrated here via simple
low-dimensional examples but there is no obstacle in apply-
ing them to high-dimensional systems of practical interest.

ACKNOWLEDGMENTS

The authors thank Giovanni Ciccotti, Bob Kohn, and


Mitch Luskin for useful discussions and comments. One of
the authors 共W.E.兲 was partially supported by ONR Grant
No. N00014-01-1-0674 and DOE Grant No. DE-FG02-
03ER25587. One of the authors 共W.R.兲 was supported by
NSF Grant No. DMS-0604382. One of the authors 共E.V.-E.兲
was partially supported by NSF Grant Nos. DMS02-09959
and DMS02-39625, and by ONR Grant No. N00014-04-1-
FIG. 3. Upper panel: The error e共h兲 in 共34兲 of the computed unstable direc- 0565.
tion at the saddle point vs h after convergence in the Mueller potential
example. The error decays as h2. Lower panel: The error e共n兲 in 共35兲 of the
computed unstable direction vs the number of n of iterations or time steps
when h = 10−4. The convergence is exponential in time until it reaches its APPENDIX: CUBIC SPLINE INTERPOLATION
optimal value O共h2兲.
Consider the one-dimensional cubic spline for N points
兵共xi , y i兲 , i = 0 , 1 , 2 , ¯ , N其. In the string method, the param-
e共h兲 = 兩␶ˆ sa共h兲 − ␶ˆ sexact兩, 共34兲 eters ␣i corresponds to xi, and each component of ␸쐓i corre-
sponds to y i. A cubic spline is piecewise made of third-order
where ␶ˆ sa共h兲 is the numerical solution calculated from 共28兲 polynomials which pass through these N points. The ith
after convergence of the two-step procedure and ␶ˆ sexact is the piece of the spline on 关xi , xi+1兴 is represented by the follow-
exact value computed directly from the Hessian of the po- ing function s共x兲 which ensures the continuity of s共x兲 and
tential at ␸s. The discrete circles in the figure are the errors at also its second derivative s⬙共x兲 at the interior points 兵xi , i
different h. The solid curve is a plot of a function which is = 1 , 2 , ¯ , N − 1其:15
proportional to h2. Clearly the error of the numerical result s共x兲 = wy i+1 + w̄y i + h2i 共共w3 − w兲␴i+1 + 共w̄3 − w̄兲␴i兲, 共A1兲
decays as h2.
In the lower panel of Fig. 3 we show the error where hi = xi+1 − xi, w = 共x − xi兲 / hi, and w̄ = 1 − w; the param-
eters ␴i’s in 共A1兲 are determined by requiring the continuity
of the first derivative of s共x兲 at the interior points, i.e.,
e共n兲 = 兩␶ˆ sa共n兲 − ␶ˆ sexact兩 共35兲
s−⬘ 共xi兲 = s+⬘ 共xi+1兲, i = 2,3, . . . ,N − 1, 共A2兲
as a function of the iteration number n 共which is also the plus two additional conditions at the two end points. In our
number of force field evaluations兲; here ␶ˆ sa共n兲 is the numeri- calculation, for these additional conditions we chose to set
cal solution calculated from 共28兲 after n iterations and we the third derivative s⵮共x1兲 equal to the third derivative of the
took h = 10−4. The error decreases exponentially with time cubic polynomial which interpolates 兵xi , i = 0 , 1 , 2 , 3其, and
until it reaches a plateau when e共n兲 = O共h2兲. similarly for s⵮共xN兲.

Downloaded 01 May 2007 to 216.165.95.5. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp
164103-8 E, Ren, and Vanden-Eijnden J. Chem. Phys. 126, 164103 共2007兲

The equations in 共A2兲 and the two conditions at the end string in order that the scheme for integrating 共4兲 be stable. This amounts,
e.g., to using the following:
points form N linear equations for the N unknowns ␴i. This

冦 冧
linear system is symmetric and tridiagonal and can be solved ␸i+1 − ␸i
, if V共␸i+1兲 ⬎ V共␸i兲 ⬎ V共␸i−1兲
easily by forward and backward substitutions.15 兩␸i+1 − ␸i兩
␸i − ␸i−1
, if V共␸i+1兲 ⬍ V共␸i兲 ⬍ V共␸i−1兲
1
A. Ulitsky and R. Elber, J. Chem. Phys. 96, 1510 共1990兲. ␶ˆ i = 兩␸i − ␸i−1兩
2
S. Fischer and M. Karplus, Chem. Phys. Lett. 194, 252 共1992兲. ␸i+1 − ␸i−1
3
R. Olender and R. Elber, J. Chem. Phys. 105, 9299 共1996兲. , if V共␸i+1兲 ⬍ V共␸i兲 ⬎ V共␸i−1兲
4
兩␸i+1 − ␸i−1兩
H. Jónsson, G. Mills, and K. W. Jacobsen, Classical and Quantum Dy-
or V共␸i+1兲 ⬎ V共␸i兲 ⬍ V共␸i−1兲.
namics in Condensed Phase Simulations, edited by B. J. Berne, G. Cic-
coti, and D. F. Coker 共World Scientific, Singapore, 1998兲. 10
M. I. Freidlin and A. D. Wentzell, Random Perturbations of Dynamical
5
G. Henkelman and H. Jónsson, J. Chem. Phys. 111, 7010 共1999兲. Systems, 2nd ed. 共Springer, New York, 1998兲.
6 11
G. Henkelman, B. P. Uberuaga, and H. Jónsson, J. Chem. Phys. 113, R. E. Gililan and K. R. Wilson, J. Chem. Phys. 97, 1757 共1992兲.
9901 共2000兲. 12
K. W. Morton and D. F. Mayers, Numerical Solution of Partial Differen-
7
W. E, W. Ren, and E. Vanden-Eijnden, Phys. Rev. B 66, 052301 共2002兲. tial Equations, 2nd ed. 共Cambridge University, Cambridge, 2005兲.
8
G. Henkelman and H. Jónsson, J. Chem. Phys. 113, 9978 共2000兲. 13
K. Mueller, Angew. Chem. 19, 1 共1980兲.
9
To be more precise, if the string is discretized into a number of points 共or 14
W. Ren, Commun. Math. Sci. 1, 377 共2003兲.
images兲 兵␸i共t兲 , i = 0 , 1 , ¯ , N其, an up-winding scheme must be used to 15
G. E. Forsythe, M. A. Malcolm, and C. B. Moler, Computer Methods for
calculate the discretized approximation to the tangent vector along the Mathematical Computations 共Prentics-Hall, Englewood Cliffs, NJ, 1977兲.

Downloaded 01 May 2007 to 216.165.95.5. Redistribution subject to AIP license or copyright, see http://jcp.aip.org/jcp/copyright.jsp

Вам также может понравиться