205bc9c11dd71f860f4e3e7e1f3f5a81d52cf9c9
[alexxy/gromacs.git] / manual / forcefield.tex
1 %
2 % This file is part of the GROMACS molecular simulation package.
3 %
4 % Copyright (c) 2013,2014, by the GROMACS development team, led by
5 % Mark Abraham, David van der Spoel, Berk Hess, and Erik Lindahl,
6 % and including many others, as listed in the AUTHORS file in the
7 % top-level source directory and at http://www.gromacs.org.
8 %
9 % GROMACS is free software; you can redistribute it and/or
10 % modify it under the terms of the GNU Lesser General Public License
11 % as published by the Free Software Foundation; either version 2.1
12 % of the License, or (at your option) any later version.
13 %
14 % GROMACS is distributed in the hope that it will be useful,
15 % but WITHOUT ANY WARRANTY; without even the implied warranty of
16 % MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
17 % Lesser General Public License for more details.
18 %
19 % You should have received a copy of the GNU Lesser General Public
20 % License along with GROMACS; if not, see
21 % http://www.gnu.org/licenses, or write to the Free Software Foundation,
22 % Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA.
23 %
24 % If you want to redistribute modifications to GROMACS, please
25 % consider that scientific software is very special. Version
26 % control is crucial - bugs must be traceable. We will be happy to
27 % consider code for inclusion in the official distribution, but
28 % derived work must not be called official GROMACS. Details are found
29 % in the README & COPYING files - if they are missing, get the
30 % official version at http://www.gromacs.org.
31 %
32 % To help us fund GROMACS development, we humbly ask that you cite
33 % the research papers on the package. Check out http://www.gromacs.org.
34
35 \chapter{Interaction function and force fields\index{force field}}
36 \label{ch:ff}
37 To accommodate the potential functions used
38 in some popular force fields (see \ref{sec:ff}), {\gromacs} offers a choice of functions,
39 both for non-bonded interaction and for dihedral interactions. They
40 are described in the appropriate subsections.
41
42 The potential functions can be subdivided into three parts
43 \begin{enumerate}
44 \item   {\em Non-bonded}: Lennard-Jones or Buckingham, and Coulomb or
45 modified Coulomb. The non-bonded interactions are computed on the
46 basis of a neighbor list (a list of non-bonded atoms within a certain
47 radius), in which exclusions are already removed.
48 \item   {\em Bonded}: covalent bond-stretching, angle-bending,
49 improper dihedrals, and proper dihedrals. These are computed on the
50 basis of fixed lists. 
51 \item   {\em Restraints}: position restraints, angle restraints,
52 distance restraints, orientation restraints and dihedral restraints, all
53 based on fixed lists. 
54 \end{enumerate}
55
56 \section{Non-bonded interactions}
57 Non-bonded interactions in {\gromacs} are pair-additive and centro-symmetric:
58 \beq
59 V(\ve{r}_1,\ldots \ve{r}_N) = \sum_{i<j}V_{ij}(\rvij);
60 \eeq
61 \beq
62 \ve{F}_i = -\sum_j \frac{dV_{ij}(r_{ij})}{dr_{ij}} \frac{\rvij}{r_{ij}} = -\ve{F}_j
63 \eeq
64 The non-bonded interactions contain a \normindex{repulsion} term, 
65 a \normindex{dispersion}
66 term, and a Coulomb term. The repulsion and dispersion term are
67 combined in either the Lennard-Jones (or 6-12 interaction), or the
68 Buckingham (or exp-6 potential). In addition, (partially) charged atoms
69 act through the Coulomb term. 
70
71 \subsection{The Lennard-Jones interaction}
72 \label{sec:lj}
73 The \normindex{Lennard-Jones} potential $V_{LJ}$ between two atoms equals:
74 \beq
75 V_{LJ}(\rij) =  \frac{C_{ij}^{(12)}}{\rij^{12}} -
76                         \frac{C_{ij}^{(6)}}{\rij^6}     
77 \eeq
78 See also \figref{lj}
79 The parameters $C^{(12)}_{ij}$ and $C^{(6)}_{ij}$  depend on pairs of
80 {\em atom types}; consequently they are taken from a matrix of
81 LJ-parameters. In the Verlet cut-off scheme, the potential is shifted
82 by a constant such that it is zero at the cut-off distance.
83
84 \begin{figure}
85 \centerline{\includegraphics[width=8cm]{plots/f-lj}}
86 \caption {The Lennard-Jones interaction.}
87 \label{fig:lj}
88 \end{figure}
89  
90 The force derived from this potential is:
91 \beq
92 \ve{F}_i(\rvij) = \left( 12~\frac{C_{ij}^{(12)}}{\rij^{13}} -
93                                  6~\frac{C_{ij}^{(6)}}{\rij^7} \right) \rnorm 
94 \eeq
95
96 The LJ potential may also be written in the following form:
97 \beq
98 V_{LJ}(\rvij) = 4\epsilon_{ij}\left(\left(\frac{\sigma_{ij}} {\rij}\right)^{12}
99                 - \left(\frac{\sigma_{ij}}{\rij}\right)^{6} \right)
100 \label{eqn:sigeps}      
101 \eeq
102
103 In constructing the parameter matrix for the non-bonded LJ-parameters,
104 two types of \normindex{combination rule}s can be used within {\gromacs},
105 only geometric averages (type 1 in the input section of the force field file):
106 \beq
107 \begin{array}{rcl}
108 C_{ij}^{(6)}    &=& \left({C_{ii}^{(6)} \, C_{jj}^{(6)}}\right)^{1/2}    \\
109 C_{ij}^{(12)}   &=& \left({C_{ii}^{(12)} \, C_{jj}^{(12)}}\right)^{1/2}
110 \label{eqn:comb}
111 \end{array}
112 \eeq
113 or, alternatively the Lorentz-Berthelot rules can be used. An arithmetic average is used to calculate $\sigma_{ij}$, while a geometric average is used to calculate $\epsilon_{ij}$ (type 2):
114 \beq
115 \begin{array}{rcl}
116  \sigma_{ij}   &=& \frac{1}{ 2}(\sigma_{ii} + \sigma_{jj})        \\
117  \epsilon_{ij} &=& \left({\epsilon_{ii} \, \epsilon_{jj}}\right)^{1/2}
118 \end{array}
119 \eeq
120 finally an geometric average for both parameters can be used (type 3):
121 \beq
122 \begin{array}{rcl}
123  \sigma_{ij}   &=& \left({\sigma_{ii} \, \sigma_{jj}}\right)^{1/2}        \\
124  \epsilon_{ij} &=& \left({\epsilon_{ii} \, \epsilon_{jj}}\right)^{1/2}
125 \end{array}
126 \eeq
127 This last rule is used by the OPLS force field.
128
129
130 %\ifthenelse{\equal{\gmxlite}{1}}{}{
131 \subsection{\normindex{Buckingham potential}}
132 The Buckingham
133 potential has a more flexible and realistic repulsion term
134 than the Lennard-Jones interaction, but is also more expensive to
135 compute. The potential form is:
136 \beq
137 V_{bh}(\rij) = A_{ij} \exp(-B_{ij} \rij) -
138                         \frac{C_{ij}}{\rij^6}
139 \eeq
140 \begin{figure}
141 \centerline{\includegraphics[width=8cm]{plots/f-bham}}
142 \caption {The Buckingham interaction.}
143 \label{fig:bham}
144 \end{figure}
145
146 See also \figref{bham}.  The force derived from this is:
147 \beq
148  \ve{F}_i(\rij) = \left[ A_{ij}B_{ij}\exp(-B_{ij} \rij) -
149                                  6\frac{C_{ij}}{\rij^7} \right] \rnorm
150 \eeq
151
152 %} % Brace matches ifthenelse test for gmxlite
153
154 \subsection{Coulomb interaction}
155 \label{sec:coul}
156 \newcommand{\epsr}{\varepsilon_r}
157 \newcommand{\epsrf}{\varepsilon_{rf}}
158 The \normindex{Coulomb} interaction between two charge particles is given by:
159 \beq
160 V_c(\rij) = f \frac{q_i q_j}{\epsr \rij}
161 \label{eqn:vcoul}
162 \eeq
163 See also \figref{coul}, where $f = \frac{1}{4\pi \varepsilon_0} =
164 138.935\,485$ (see \chref{defunits})
165
166 \begin{figure}
167 \centerline{\includegraphics[width=8cm]{plots/vcrf}}
168 \caption[The Coulomb interaction with and without reaction field.]{The
169 Coulomb interaction (for particles with equal signed charge) with and
170 without reaction field. In the latter case $\epsr$ was 1, $\epsrf$ was 78,
171 and $r_c$ was 0.9 nm.
172 The dot-dashed line is the same as the dashed line, except for a constant.}
173 \label{fig:coul}
174 \end{figure}
175
176 The force derived from this potential is:
177 \beq
178 \ve{F}_i(\rvij) = f \frac{q_i q_j}{\epsr\rij^2}\rnorm
179 \eeq
180
181 A plain Coulomb interaction should only be used without cut-off or when all pairs fall within the cut-off, since there is an abrupt, large change in the force at the cut-off. In case you do want to use a cut-off, the potential can be shifted by a constant to make the potential the integral of the force. With the group cut-off scheme, this shift is only applied to non-excluded pairs. With the Verlet cut-off scheme, the shift is also applied to excluded pairs and self interactions, which makes the potential equivalent to a reaction-field with $\epsrf=1$ (see below).
182
183 In {\gromacs} the  relative \swapindex{dielectric}{constant} 
184 \normindex{$\epsr$}
185 may be set in the in the input for {\tt grompp}. 
186
187 %\ifthenelse{\equal{\gmxlite}{1}}{}{
188 \subsection{Coulomb interaction with \normindex{reaction field}}
189 \label{sec:coulrf}
190 The Coulomb interaction can be modified for homogeneous systems by
191 assuming a constant dielectric environment beyond the cut-off $r_c$
192 with a dielectric constant of {$\epsrf$}. The interaction then reads:
193 \beq
194 V_{crf} ~=~
195   f \frac{q_i q_j}{\epsr\rij}\left[1+\frac{\epsrf-\epsr}{2\epsrf+\epsr}
196   \,\frac{\rij^3}{r_c^3}\right]
197   - f\frac{q_i q_j}{\epsr r_c}\,\frac{3\epsrf}{2\epsrf+\epsr}
198 \label{eqn:vcrf}
199 \eeq
200 in which the constant expression on the right makes the potential
201 zero at the cut-off $r_c$. For charged cut-off spheres this corresponds
202 to neutralization with a homogeneous background charge.
203 We can rewrite \eqnref{vcrf} for simplicity as
204 \beq
205 V_{crf} ~=~     f \frac{q_i q_j}{\epsr}\left[\frac{1}{\rij} + k_{rf}~ \rij^2 -c_{rf}\right]
206 \eeq
207 with
208 \bea
209 k_{rf}  &=&     \frac{1}{r_c^3}\,\frac{\epsrf-\epsr}{(2\epsrf+\epsr)}   \label{eqn:krf}\\
210 c_{rf}  &=&     \frac{1}{r_c}+k_{rf}\,r_c^2 ~=~ \frac{1}{r_c}\,\frac{3\epsrf}{(2\epsrf+\epsr)}
211 \label{eqn:crf}
212 \eea
213 For large $\epsrf$ the $k_{rf}$ goes to $r_c^{-3}/2$,
214 while for $\epsrf$ = $\epsr$ the correction vanishes.
215 In \figref{coul}
216 the modified interaction is plotted, and it is clear that the derivative 
217 with respect to $\rij$ (= -force) goes to zero at the cut-off distance.
218 The force derived from this potential reads:
219 \beq
220 \ve{F}_i(\rvij) = f \frac{q_i q_j}{\epsr}\left[\frac{1}{\rij^2} - 2 k_{rf}\rij\right]\rnorm
221 \label{eqn:fcrf}
222 \eeq
223 The reaction-field correction should also be applied to all excluded
224 atoms pairs, including self pairs, in which case the normal Coulomb
225 term in \eqnsref{vcrf}{fcrf} is absent.
226
227 Tironi {\etal} have introduced a generalized reaction field in which
228 the dielectric continuum beyond the cut-off $r_c$ also has an ionic strength
229 $I$~\cite{Tironi95}. In this case we can rewrite the constants $k_{rf}$ and 
230 $c_{rf}$ using the inverse Debye screening length $\kappa$:
231 \bea
232 \kappa^2  &=&     
233    \frac{2 I \,F^2}{\varepsilon_0 \epsrf RT}
234    = \frac{F^2}{\varepsilon_0 \epsrf RT}\sum_{i=1}^{K} c_i z_i^2     \\
235 k_{rf}  &=&     \frac{1}{r_c^3}\,
236     \frac{(\epsrf-\epsr)(1 + \kappa r_c) + \half\epsrf(\kappa r_c)^2}
237          {(2\epsrf + \epsr)(1 + \kappa r_c) + \epsrf(\kappa r_c)^2}
238     \label{eqn:kgrf}\\
239 c_{rf}  &=&     \frac{1}{r_c}\,
240     \frac{3\epsrf(1 + \kappa r_c + \half(\kappa r_c)^2)}
241          {(2\epsrf+\epsr)(1 + \kappa r_c) + \epsrf(\kappa r_c)^2}
242     \label{eqn:cgrf}
243 \eea
244 where $F$ is Faraday's constant, $R$ is the ideal gas constant, $T$
245 the absolute temperature, $c_i$ the molar concentration for species
246 $i$ and $z_i$ the charge number of species $i$ where we have $K$
247 different species. In the limit of zero ionic strength ($\kappa=0$)
248 \eqnsref{kgrf}{cgrf} reduce to the simple forms of \eqnsref{krf}{crf}
249 respectively.
250
251 \subsection{Modified non-bonded interactions}
252 \label{sec:mod_nb_int}
253 In {\gromacs}, the non-bonded potentials can be
254 modified by a shift function. The purpose of this is to replace the
255 truncated forces by forces that are continuous and have continuous
256 derivatives at the \normindex{cut-off} radius. With such forces the
257 timestep integration produces much smaller errors and there are no
258 such complications as creating charges from dipoles by the truncation
259 procedure. In fact, by using shifted forces there is no need for
260 charge groups in the construction of neighbor lists. However, the
261 shift function produces a considerable modification of the Coulomb
262 potential. Unless the ``missing'' long-range potential is properly
263 calculated and added (through the use of PPPM, Ewald, or PME), the
264 effect of such modifications must be carefully evaluated.  The
265 modification of the Lennard-Jones dispersion and repulsion is only
266 minor, but it does remove the noise caused by cut-off effects.
267  
268 There is {\em no} fundamental difference between a switch function
269 (which multiplies the potential with a function) and a shift function
270 (which adds a function to the force or potential)~\cite{Spoel2006a}. The switch
271 function is a special case of the shift function, which we apply to
272 the {\em force function} $F(r)$, related to the electrostatic or
273 van der Waals force acting on particle $i$ by particle $j$ as:
274 \beq
275 \ve{F}_i = c F(r_{ij}) \frac{\rvij}{r_{ij}}
276 \eeq
277 For pure Coulomb or Lennard-Jones interactions
278 $F(r)=F_\alpha(r)=r^{-(\alpha+1)}$.
279 The shifted force $F_s(r)$ can generally be written as:
280 \beq
281 \begin{array}{rcl}
282 \vspace{2mm}
283 F_s(r)~=&~F_\alpha(r)   & r < r_1               \\
284 \vspace{2mm}
285 F_s(r)~=&~F_\alpha(r)+S(r)      & r_1 \le r < r_c       \\
286 F_s(r)~=&~0             & r_c \le r     
287 \end{array}
288 \eeq
289 When $r_1=0$ this is a traditional shift function, otherwise it acts as a 
290 switch function. The corresponding shifted coulomb potential then reads:
291 \beq
292 V_s(r_{ij}) = f \Phi_s (r_{ij}) q_i q_j
293 \eeq
294 where $\Phi(r)$ is the potential function 
295 \beq
296 \Phi_s(r) =  \int^{\infty}_r~F_s(x)\, dx
297 \eeq
298
299 The {\gromacs} shift function should be smooth at the boundaries, therefore
300 the following boundary conditions are imposed on the shift function:
301 \beq
302 \begin{array}{rcl}
303 S(r_1)          &=&0            \\
304 S'(r_1)         &=&0            \\
305 S(r_c)          &=&-F_\alpha(r_c)       \\
306 S'(r_c)         &=&-F_\alpha'(r_c)
307 \end{array}
308 \eeq
309 A 3$^{rd}$ degree polynomial of the form
310 \beq
311 S(r) = A(r-r_1)^2 + B(r-r_1)^3
312 \eeq
313 fulfills these requirements. The constants A and B are given by the
314 boundary condition at $r_c$: 
315 \beq
316 \begin{array}{rcl}
317 \vspace{2mm}
318 A &~=~& -\displaystyle
319         \frac{(\alpha+4)r_c~-~(\alpha+1)r_1} {r_c^{\alpha+2}~(r_c-r_1)^2} \\
320 B &~=~& \displaystyle
321         \frac{(\alpha+3)r_c~-~(\alpha+1)r_1}{r_c^{\alpha+2}~(r_c-r_1)^3}
322 \end{array}
323 \eeq
324 Thus the total force function is:
325 \beq
326 F_s(r) = \frac{\alpha}{r^{\alpha+1}} + A(r-r_1)^2 + B(r-r_1)^3
327 \eeq
328 and the potential function reads:
329 \beq
330 \Phi(r) = \frac{1}{r^\alpha} - \frac{A}{3} (r-r_1)^3 - \frac{B}{4} (r-r_1)^4 - C
331 \eeq
332 where 
333 \beq
334 C =  \frac{1}{r_c^\alpha} - \frac{A}{3} (r_c-r_1)^3 - \frac{B}{4} (r_c-r_1)^4
335 \eeq
336
337 When $r_1$ = 0, the modified Coulomb force function is
338 \beq
339  F_s(r) = \frac{1}{r^2} - \frac{5 r^2}{r_c^4} + \frac{4 r^3}{r_c^5}
340 \eeq
341 which is identical to the {\em \index{parabolic force}} 
342 function recommended to be used as a short-range function in 
343 conjunction with a \swapindex{Poisson}{solver} 
344 for the long-range part~\cite{Berendsen93a}.
345 The modified Coulomb potential function is:
346 \beq
347 \Phi(r) = \frac{1}{r} - \frac{5}{3r_c} + \frac{5r^3}{3r_c^4} - \frac{r^4}{r_c^5}
348 \eeq
349 See also \figref{shift}.
350
351 \begin{figure}
352 \centerline{\includegraphics[angle=270,width=10cm]{plots/shiftf}}
353 \caption[The Coulomb Force, Shifted Force and Shift Function
354 $S(r)$,.]{The Coulomb Force, Shifted Force and Shift Function $S(r)$,
355 using r$_1$ = 2 and r$_c$ = 4.} 
356 \label{fig:shift}
357 \end{figure}
358
359 \subsection{Modified short-range interactions with Ewald summation}
360 When Ewald summation\index{Ewald sum} or \seeindex{particle-mesh
361 Ewald}{PME}\index{Ewald, particle-mesh} is used to calculate the
362 long-range interactions, the 
363 short-range Coulomb potential must also be modified, similar to the
364 switch function above. In this case the short range potential is given
365 by:
366 \beq
367 V(r) = f \frac{\mbox{erfc}(\beta r_{ij})}{r_{ij}} q_i q_j,
368 \eeq
369 where $\beta$ is a parameter that determines the relative weight 
370 between the direct space sum and the reciprocal space sum and erfc$(x)$ is
371 the complementary error function. For further 
372 details on long-range electrostatics, see \secref{lr_elstat}.
373 %} % Brace matches ifthenelse test for gmxlite
374
375
376 \section{Bonded interactions}
377 Bonded interactions are based on a fixed list of atoms. They are not
378 exclusively pair interactions, but include 3- and 4-body interactions
379 as well. There are {\em bond stretching} (2-body), {\em bond angle}
380 (3-body), and {\em dihedral angle} (4-body) interactions. A special
381 type of dihedral interaction (called {\em improper dihedral}) is used
382 to force atoms to remain in a plane or to prevent transition to a
383 configuration of opposite chirality (a mirror image).
384
385 \subsection{Bond stretching}
386 \label{sec:bondpot}
387 \subsubsection{Harmonic potential}
388 \label{subsec:harmonicbond}
389 The \swapindex{bond}{stretching} between two covalently bonded atoms
390 $i$ and $j$ is represented by a harmonic potential:
391
392 \begin{figure}
393 \centerline{\raisebox{4cm}{\includegraphics[angle=270,width=5cm]{plots/bstretch}}\includegraphics[width=7cm]{plots/f-bond}}
394 \caption[Bond stretching.]{Principle of bond stretching (left), and the bond
395 stretching potential (right).}
396 \label{fig:bstretch1}
397 \end{figure}
398
399 \beq
400 V_b~(\rij) = \half k^b_{ij}(\rij-b_{ij})^2
401 \eeq
402 See also \figref{bstretch1}, with the force given by:
403 \beq
404 \ve{F}_i(\rvij) = k^b_{ij}(\rij-b_{ij}) \rnorm
405 \eeq
406
407 %\ifthenelse{\equal{\gmxlite}{1}}{}{
408 \subsubsection{Fourth power potential}
409 \label{subsec:G96bond}
410 In the \gromosv{96} force field~\cite{gromos96}, the covalent bond potential
411 is, for reasons of computational efficiency, written as:
412 \beq
413 V_b~(\rij) = \frac{1}{4}k^b_{ij}\left(\rij^2-b_{ij}^2\right)^2
414 \eeq
415 The corresponding force is:
416 \beq
417 \ve{F}_i(\rvij) = k^b_{ij}(\rij^2-b_{ij}^2)~\rvij
418 \eeq
419 The force constants for this form of the potential are related to the usual
420 harmonic force constant $k^{b,harm}$ (\secref{bondpot}) as
421 \beq
422 2 k^b b_{ij}^2 = k^{b,harm}
423 \eeq
424 The force constants are mostly derived from the harmonic ones used in 
425 \gromosv{87}~\cite{biomos}. Although this form is computationally more 
426 efficient
427 (because no square root has to be evaluated), it is conceptually more
428 complex. One particular disadvantage is that since the form is not harmonic,
429 the average energy of a single bond is not equal to $\half kT$ as it is for 
430 the normal harmonic potential.
431
432 \subsection{\normindex{Morse potential} bond stretching}
433 \label{subsec:Morsebond}
434 %\author{F.P.X. Everdij}
435 %
436 For some systems that require an anharmonic bond stretching potential,
437 the Morse potential~\cite{Morse29} 
438 between two atoms {\it i} and {\it j} is available
439 in {\gromacs}. This potential differs from the harmonic potential in 
440 that it has an asymmetric potential well and a zero force at infinite
441 distance. The functional form is:
442 \beq
443 \displaystyle V_{morse} (r_{ij}) = D_{ij} [1 - \exp(-\beta_{ij}(r_{ij}-b_{ij}))]^2,
444 \eeq
445 See also \figref{morse}, and the corresponding force is:
446 \beq
447 \begin{array}{rcl}
448 \displaystyle {\bf F}_{morse} ({\bf r}_{ij})&=&2 D_{ij} \beta_{ij} r_{ij} \exp(-\beta_{ij}(r_{ij}-b_{ij})) * \\
449 \displaystyle \: & \: &[1 - \exp(-\beta_{ij}(r_{ij}-b_{ij}))] \frac{\displaystyle {\bf r}_{ij}}{\displaystyle r_{ij}},
450 \end{array}
451 \eeq
452 where \( \displaystyle D_{ij} \) is the depth of the well in kJ/mol,
453 \( \displaystyle \beta_{ij} \) defines the steepness of the well (in
454 nm\(^{-1} \)), and \( \displaystyle b_{ij} \) is the equilibrium
455 distance in nm.  The steepness parameter \( \displaystyle \beta_{ij}
456 \) can be expressed in terms of the reduced mass of the atoms {\it i}
457 and {\it j}, the fundamental vibration frequency \( \displaystyle
458 \omega_{ij} \) and the well depth \( \displaystyle D_{ij} \):
459 \beq
460 \displaystyle \beta_{ij}= \omega_{ij} \sqrt{\frac{\mu_{ij}}{2 D_{ij}}}
461 \eeq
462 and because \( \displaystyle \omega = \sqrt{k/\mu} \), one can rewrite \( \displaystyle \beta_{ij} \) in terms of the harmonic force constant \( \displaystyle k_{ij} \):
463 \beq
464 \displaystyle \beta_{ij}= \sqrt{\frac{k_{ij}}{2 D_{ij}}}
465 \label{eqn:betaij}
466 \eeq
467 For small deviations \( \displaystyle (r_{ij}-b_{ij}) \), one can
468 approximate the \( \displaystyle \exp \)-term to first-order using a
469 Taylor expansion:
470 \beq
471 \displaystyle \exp(-x) \approx 1-x
472 \label{eqn:expminx}
473 \eeq
474 and substituting \eqnref{betaij} and \eqnref{expminx} in the functional form:
475 \beq
476 \begin{array}{rcl}
477 \displaystyle V_{morse} (r_{ij})&=&D_{ij} [1 - \exp(-\beta_{ij}(r_{ij}-b_{ij}))]^2\\
478 \displaystyle \:&=&D_{ij} [1 - (1 -\sqrt{\frac{k_{ij}}{2 D_{ij}}}(r_{ij}-b_{ij}))]^2\\
479 \displaystyle \:&=&\frac{1}{2} k_{ij} (r_{ij}-b_{ij}))^2
480 \end{array}
481 \eeq
482 we recover the harmonic bond stretching potential.
483
484 \begin{figure}
485 \centerline{\includegraphics[width=7cm]{plots/f-morse}}
486 \caption{The Morse potential well, with bond length 0.15 nm.}
487 \label{fig:morse}
488 \end{figure}
489
490 \subsection{Cubic bond stretching potential}
491 \label{subsec:cubicbond}
492 Another anharmonic bond stretching potential that is slightly simpler
493 than the Morse potential adds a cubic term in the distance to the
494 simple harmonic form:
495 \beq
496 V_b~(\rij) = k^b_{ij}(\rij-b_{ij})^2 + k^b_{ij}k^{cub}_{ij}(\rij-b_{ij})^3
497 \eeq
498 A flexible \normindex{water} model (based on
499 the SPC water model~\cite{Berendsen81}) including 
500 a cubic bond stretching potential for the O-H bond
501 was developed by Ferguson~\cite{Ferguson95}. This model was found
502 to yield a reasonable infrared spectrum. The Ferguson water model is
503 available in the {\gromacs} library ({\tt flexwat-ferguson.itp}). 
504 It should be noted that the potential is asymmetric: overstretching leads to
505 infinitely low energies. The \swapindex{integration}{timestep} is therefore
506 limited to 1 fs.
507
508 The force corresponding to this potential is:
509 \beq
510 \ve{F}_i(\rvij) = 2k^b_{ij}(\rij-b_{ij})~\rnorm + 3k^b_{ij}k^{cub}_{ij}(\rij-b_{ij})^2~\rnorm
511 \eeq
512
513 \subsection{FENE bond stretching potential\index{FENE potential}}
514 \label{subsec:FENEbond}
515 In coarse-grained polymer simulations the beads are often connected
516 by a FENE (finitely extensible nonlinear elastic) potential~\cite{Warner72}:
517 \beq
518 V_{\mbox{\small FENE}}(\rij) =
519   -\half k^b_{ij} b^2_{ij} \log\left(1 - \frac{\rij^2}{b^2_{ij}}\right)
520 \eeq
521 The potential looks complicated, but the expression for the force is simpler:
522 \beq
523 F_{\mbox{\small FENE}}(\rvij) =
524   -k^b_{ij} \left(1 - \frac{\rij^2}{b^2_{ij}}\right)^{-1} \rvij
525 \eeq
526 At short distances the potential asymptotically goes to a harmonic
527 potential with force constant $k^b$, while it diverges at distance $b$.
528 %} % Brace matches ifthenelse test for gmxlite
529
530 \subsection{Harmonic angle potential}
531 \label{subsec:harmonicangle}
532 \newcommand{\tijk}{\theta_{ijk}}
533 The bond-\swapindex{angle}{vibration} between a triplet of atoms $i$ - $j$ - $k$
534 is also represented by a harmonic potential on the angle $\tijk$
535
536 \begin{figure}
537 \centerline{\raisebox{4cm}{\includegraphics[angle=270,width=5cm]{plots/angle}}\includegraphics[width=7cm]{plots/f-angle}}
538 \caption[Angle vibration.]{Principle of angle vibration (left) and the
539 bond angle potential (right).}
540 \label{fig:angle}
541 \end{figure}
542
543 \beq
544 V_a(\tijk) = \half k^{\theta}_{ijk}(\tijk-\tijk^0)^2
545 \eeq
546 As the bond-angle vibration is represented by a harmonic potential, the
547 form is the same as the bond stretching (\figref{bstretch1}).
548
549 The force equations are given by the chain rule:
550 \beq
551 \begin{array}{l}
552 \Fvi    ~=~ -\displaystyle\frac{d V_a(\tijk)}{d \rvi}   \\
553 \Fvk    ~=~ -\displaystyle\frac{d V_a(\tijk)}{d \rvk}   \\
554 \Fvj    ~=~ -\Fvi-\Fvk
555 \end{array}
556 ~ \mbox{ ~ where ~ } ~
557  \tijk = \arccos \frac{(\rvij \cdot \ve{r}_{kj})}{r_{ij}r_{kj}}
558 \eeq
559 The numbering $i,j,k$ is in sequence of covalently bonded atoms. Atom
560 $j$ is in the middle; atoms $i$  and $k$ are at the ends (see \figref{angle}).
561 {\bf Note} that in the input in topology files, angles are given in degrees and
562 force constants in kJ/mol/rad$^2$.
563
564 %\ifthenelse{\equal{\gmxlite}{1}}{}{
565 \subsection{Cosine based angle potential}
566 \label{subsec:G96angle}
567 In the \gromosv{96} force field a simplified function is used to represent angle
568 vibrations:
569 \beq
570 V_a(\tijk) = \half k^{\theta}_{ijk}\left(\cos(\tijk) - \cos(\tijk^0)\right)^2
571 \label{eq:G96angle}
572 \eeq
573 where 
574 \beq
575 \cos(\tijk) = \frac{\rvij\cdot\ve{r}_{kj}}{\rij r_{kj}}
576 \eeq
577 The corresponding force can be derived by partial differentiation with respect
578 to the atomic positions. The force constants in this function are related
579 to the force constants in the harmonic form $k^{\theta,harm}$
580 (\ssecref{harmonicangle}) by:
581 \beq
582 k^{\theta} \sin^2(\tijk^0) = k^{\theta,harm}
583 \eeq
584 In the \gromosv{96} manual there is a much more complicated conversion formula
585 which is temperature dependent. The formulas are equivalent at 0 K
586 and the differences at 300 K are on the order of 0.1 to 0.2\%.
587 {\bf Note} that in the input in topology files, angles are given in degrees and
588 force constants in kJ/mol.
589
590 \subsection{Restricted bending potential}
591 \label{subsec:ReB}
592 The restricted bending (ReB) potential~\cite{MonicaGoga2013} prevents the bending angle $\theta$
593 from reaching the $180^{\circ}$ value. In this way, the numerical instabilities
594 due to the calculation of the torsion angle and potential are eliminated when
595 performing coarse-grained molecular dynamics simulations.
596
597 To systematically hinder the bending angles from reaching the $180^{\circ}$ value,
598 the bending potential \ref{eq:G96angle} is divided by a $\sin^2\theta$ factor:
599 %
600 \beq
601 V_{\rm ReB}(\theta_i) = \frac{1}{2} k_{\theta} \frac{(\cos\theta_i - \cos\theta_0)^2}{\sin^2\theta_i}.
602 \label{eq:ReB}
603 \eeq
604 %
605 Figure ~\figref{ReB} shows the comparison between the ReB potential, \ref{eq:ReB},
606 and the standard one \ref{eq:G96angle}.
607 %
608 \begin{figure}
609 \centerline{\includegraphics[width=10cm]{plots/fig-02}}
610 \vspace*{8pt}
611 \caption{Bending angle potentials: cosine harmonic (solid black line), angle harmonic
612 (dashed black line) and restricted bending (red) with the same bending constant
613 $k_{\theta}=85$ kJ mol$^{-1}$ and equilibrium angle $\theta_0=130^{\circ}$.
614 The orange line represents the sum of a cosine harmonic ($k =50$ kJ mol$^{-1}$)
615 with a restricted bending ($k =25$ kJ mol$^{-1}$) potential, both with $\theta_0=130^{\circ}$.}
616 \label{fig:ReB}
617 \end{figure}
618 %
619 The wall of the ReB potential is very repulsive in the region close to $180^{\circ}$ and,
620 as a result, the bending angles are kept within a safe interval, far from instabilities.
621 The power $2$ of $\sin\theta_i$ in the denominator has been chosen to guarantee this behavior
622 and allows an elegant differentiation:
623 %
624 \beq
625 F_{\rm ReB}(\theta_i) = \frac{2k_{\theta}}{\sin^4\theta_i}(\cos\theta_i - \cos\theta_0) (1 - \cos\theta_i\cos\theta_0) \frac{\partial \cos\theta_i}{\partial \vec r_{k}}.
626 \label{eq:diff_ReB}
627 \eeq
628 %
629 Due to its construction, the restricted bending potential cannot be used for equilibrium
630 $\theta_0$ values too close to $0^{\circ}$ or $180^{\circ}$ (from experience, at least $10^{\circ}$
631 difference is recommended). It is very important that, in the starting configuration,
632 all the bending angles have to be in the safe interval to avoid initial instabilities.
633 This bending potential can be used in combination with any form of torsion potential.
634 It will always prevent three consecutive particles from becoming collinear and,
635 as a result, any torsion potential will remain free of singularities.
636 It can be also added to a standard bending potential to affect the angle around $180^{\circ}$,
637 but to keep its original form around the minimum (see the orange curve in \figref{ReB}).
638
639
640 \subsection{Urey-Bradley potential}
641 \label{subsec:Urey-Bradley}
642 The \swapindex{Urey-Bradley bond-angle}{vibration} between a triplet
643 of atoms $i$ - $j$ - $k$ is represented by a harmonic potential on the
644 angle $\tijk$ and a harmonic correction term on the distance between
645 the atoms $i$ and $k$. Although this can be easily written as a simple
646 sum of two terms, it is convenient to have it as a single entry in the
647 topology file and in the output as a separate energy term. It is used mainly
648 in the CHARMm force field~\cite{BBrooks83}. The energy is given by:
649
650 \beq
651 V_a(\tijk) = \half k^{\theta}_{ijk}(\tijk-\tijk^0)^2 + \half k^{UB}_{ijk}(r_{ik}-r_{ik}^0)^2
652 \eeq
653
654 The force equations can be deduced from sections~\ssecref{harmonicbond}
655 and~\ssecref{harmonicangle}.
656
657 \subsection{Bond-Bond cross term}
658 \label{subsec:bondbondcross}
659 The bond-bond cross term for three particles $i, j, k$ forming bonds
660 $i-j$ and $k-j$ is given by~\cite{Lawrence2003b}:
661 \begin{equation}
662 V_{rr'} ~=~ k_{rr'} \left(\left|\ve{r}_{i}-\ve{r}_j\right|-r_{1e}\right) \left(\left|\ve{r}_{k}-\ve{r}_j\right|-r_{2e}\right)
663 \label{crossbb}
664 \end{equation}
665 where $k_{rr'}$ is the force constant, and $r_{1e}$ and $r_{2e}$ are the
666 equilibrium bond lengths of the $i-j$ and $k-j$ bonds respectively. The force
667 associated with this potential on particle $i$ is:
668 \begin{equation}
669 \ve{F}_{i} = -k_{rr'}\left(\left|\ve{r}_{k}-\ve{r}_j\right|-r_{2e}\right)\frac{\ve{r}_i-\ve{r}_j}{\left|\ve{r}_{i}-\ve{r}_j\right|}
670 \end{equation}
671 The force on atom $k$ can be obtained by swapping $i$ and $k$ in the above
672 equation. Finally, the force on atom $j$ follows from the fact that the sum
673 of internal forces should be zero: $\ve{F}_j = -\ve{F}_i-\ve{F}_k$.
674
675 \subsection{Bond-Angle cross term}
676 \label{subsec:bondanglecross}
677 The bond-angle cross term for three particles $i, j, k$ forming bonds
678 $i-j$ and $k-j$ is given by~\cite{Lawrence2003b}:
679 \begin{equation}
680 V_{r\theta} ~=~ k_{r\theta} \left(\left|\ve{r}_{i}-\ve{r}_k\right|-r_{3e} \right) \left(\left|\ve{r}_{i}-\ve{r}_j\right|-r_{1e} + \left|\ve{r}_{k}-\ve{r}_j\right|-r_{2e}\right)
681 \end{equation}
682 where $k_{r\theta}$ is the force constant, $r_{3e}$ is the $i-k$ distance,
683 and the other constants are the same as in Equation~\ref{crossbb}. The force
684 associated with the potential on atom $i$ is:
685 \begin{equation}
686 \ve{F}_{i} ~=~ -k_{r\theta}\left[\left(\left|\ve{r}_{i}-\ve{r}_{k}\right|-r_{3e}\right)\frac{\ve{r}_i-\ve{r}_j}{\left|\ve{r}_{i}-\ve{r}_j\right|} \\
687 + \left(\left|\ve{r}_{i}-\ve{r}_j\right|-r_{1e} + \left|\ve{r}_{k}-\ve{r}_j\right|-r_{2e}\right)\frac{\ve{r}_i-\ve{r}_k}{\left|\ve{r}_{i}-\ve{r}_k\right|}\right]
688 \end{equation}
689
690 \subsection{Quartic angle potential}
691 \label{subsec:quarticangle}
692 For special purposes there is an angle potential
693 that uses a fourth order polynomial:
694 \beq
695 V_q(\tijk) ~=~ \sum_{n=0}^5 C_n (\tijk-\tijk^0)^n
696 \eeq
697 %} % Brace matches ifthenelse test for gmxlite
698
699 %% new commands %%%%%%%%%%%%%%%%%%%%%%
700 \newcommand{\rvkj}{{\bf r}_{kj}}
701 \newcommand{\rkj}{r_{kj}}
702 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
703
704 \subsection{Improper dihedrals\swapindexquiet{improper}{dihedral}}
705 \label{sec:imp}
706 Improper dihedrals are meant to keep \swapindex{planar}{group}s ({\eg} 
707 aromatic rings) planar, or to prevent molecules from flipping over to their
708 \normindex{mirror image}s, see \figref{imp}.
709
710 \begin {figure}
711 \centerline{\includegraphics[angle=270,width=4cm]{plots/ring-imp}\hspace{1cm}
712 \includegraphics[angle=270,width=3cm]{plots/subst-im}\hspace{1cm}\includegraphics[angle=270,width=3cm]{plots/tetra-im}}
713 \caption[Improper dihedral angles.]{Principle of improper
714 dihedral angles. Out of plane bending for rings (left), substituents
715 of rings (middle), out of tetrahedral (right). The improper dihedral
716 angle $\xi$ is defined as the angle between planes (i,j,k) and (j,k,l)
717 in all cases.}
718 \label{fig:imp}
719 \end {figure}
720
721 \subsubsection{Improper dihedrals: harmonic type}
722 \label{subsec:harmonicimproperdihedral}
723 The simplest improper dihedral potential is a harmonic potential; it is plotted in
724 \figref{imps}.
725 \beq
726 V_{id}(\xi_{ijkl}) = \half k_{\xi}(\xi_{ijkl}-\xi_0)^2
727 \eeq
728 Since the potential is harmonic it is discontinuous,
729 but since the discontinuity is chosen at 180$^\circ$ distance from $\xi_0$
730 this will never cause problems.
731 {\bf Note} that in the input in topology files, angles are given in degrees and
732 force constants in kJ/mol/rad$^2$.
733
734 \begin{figure}
735 \centerline{\includegraphics[width=8cm]{plots/f-imps}}
736 \caption{Improper dihedral potential.}
737 \label{fig:imps}
738 \end{figure}
739
740 \subsubsection{Improper dihedrals: periodic type}
741 \label{subsec:periodicimproperdihedral}
742 This potential is identical to the periodic proper dihedral (see below).
743 There is a separate dihedral type for this (type 4) only to be able
744 to distinguish improper from proper dihedrals in the parameter section
745 and the output.
746
747 \subsection{Proper dihedrals\swapindexquiet{proper}{dihedral}}
748 For the normal \normindex{dihedral} interaction there is a choice of
749 either the {\gromos} periodic function or a function based on
750 expansion in powers of $\cos \phi$ (the so-called Ryckaert-Bellemans
751 potential). This choice has consequences for the inclusion of special
752 interactions between the first and the fourth atom of the dihedral
753 quadruple. With the periodic {\gromos} potential a special 1-4
754 LJ-interaction must be included; with the Ryckaert-Bellemans potential
755 {\em for alkanes} the \normindex{1-4 interaction}s must be excluded
756 from the non-bonded list.  {\bf Note:} Ryckaert-Bellemans potentials
757 are also used in {\eg} the OPLS force field in combination with 1-4
758 interactions. You should therefore not modify topologies generated by
759 {\tt \normindex{pdb2gmx}} in this case.
760
761 \subsubsection{Proper dihedrals: periodic type}
762 \label{subsec:properdihedral}
763 Proper dihedral angles are defined according to the IUPAC/IUB
764 convention, where $\phi$ is the angle between the $ijk$ and the $jkl$
765 planes, with {\bf zero} corresponding to the {\em cis} configuration
766 ($i$ and $l$ on the same side). There are two dihedral function types
767 in {\gromacs} topology files. There is the standard type 1 which behaves
768 like any other bonded interactions. For certain force fields, type 9
769 is useful. Type 9 allows multiple potential functions to be applied
770 automatically to a single dihedral in the {\tt [ dihedral ]} section
771 when multiple parameters are defined for the same atomtypes
772 in the {\tt [ dihedraltypes ]} section.
773
774 \begin{figure}
775 \centerline{\raisebox{4.5cm}{\includegraphics[angle=270,width=5cm]{plots/dih}}\includegraphics[width=7cm]{plots/f-dih}}
776 \caption[Proper dihedral angle.]{Principle of proper dihedral angle
777 (left, in {\em trans} form) and the dihedral angle potential (right).} 
778 \label{fig:pdihf}
779 \end{figure}
780 \beq
781 V_d(\phi_{ijkl}) = k_{\phi}(1 + \cos(n \phi - \phi_s))
782 \eeq
783
784 %\ifthenelse{\equal{\gmxlite}{1}}{}{
785 \subsubsection{Proper dihedrals: Ryckaert-Bellemans function}
786 \label{subsec:RBdihedral}
787 For alkanes, the following proper dihedral potential is often used
788 (see \figref{rbdih}):
789 \beq
790 V_{rb}(\phi_{ijkl}) = \sum_{n=0}^5 C_n( \cos(\psi ))^n,
791 \eeq 
792 where $\psi = \phi - 180^\circ$.  \\
793 {\bf Note:} A conversion from one convention to another can be achieved by 
794 multiplying every coefficient \( \displaystyle C_n \) 
795 by \( \displaystyle (-1)^n \).
796
797 An example of constants for $C$ is given in \tabref{crb}.
798
799 \begin{table}
800 \centerline{
801 \begin{tabular}{|lr|lr|lr|}
802 \dline
803 $C_0$   & 9.28  & $C_2$   & -13.12  & $C_4$   & 26.24   \\
804 $C_1$   & 12.16 & $C_3$   & -3.06   & $C_5$   & -31.5   \\
805 \dline
806 \end{tabular}
807 }
808 \caption{Constants for Ryckaert-Bellemans potential (kJ mol$^{-1}$).}
809 \label{tab:crb}
810 \end{table}
811
812 \begin{figure}
813 \centerline{\includegraphics[width=8cm]{plots/f-rbs}}
814 \caption{Ryckaert-Bellemans dihedral potential.}
815 \label{fig:rbdih}
816 \end{figure}
817
818 ({\bf Note:} The use of this potential implies exclusion of LJ interactions
819 between the first and the last atom of the dihedral, and $\psi$ is defined
820 according to the ``polymer convention'' ($\psi_{trans}=0$).)
821
822 The RB dihedral function can also be used to include Fourier dihedrals
823 (see below):
824 \beq
825 V_{rb} (\phi_{ijkl}) ~=~ \frac{1}{2} \left[F_1(1+\cos(\phi)) + F_2(
826 1-\cos(2\phi)) + F_3(1+\cos(3\phi)) + F_4(1-\cos(4\phi))\right]
827 \eeq
828 Because of the equalities \( \cos(2\phi) = 2\cos^2(\phi) - 1 \),
829 \( \cos(3\phi) = 4\cos^3(\phi) - 3\cos(\phi) \) and
830 \( \cos(4\phi) = 8\cos^4(\phi) - 8\cos^2(\phi) + 1 \)
831 one can translate the OPLS parameters to 
832 Ryckaert-Bellemans parameters as follows:
833 \beq
834 \displaystyle
835 \begin{array}{rcl}
836 \displaystyle C_0&=&F_2 + \frac{1}{2} (F_1 + F_3)\\
837 \displaystyle C_1&=&\frac{1}{2} (- F_1 + 3 \, F_3)\\
838 \displaystyle C_2&=& -F_2 + 4 \, F_4\\
839 \displaystyle C_3&=&-2 \, F_3\\
840 \displaystyle C_4&=&-4 \, F_4\\
841 \displaystyle C_5&=&0
842 \end{array}
843 \eeq 
844 with OPLS parameters in protein convention and RB parameters in
845 polymer convention (this yields a minus sign for the odd powers of 
846 cos$(\phi)$).\\
847 \noindent{\bf Note:} Mind the conversion from {\bf kcal mol$^{-1}$} for 
848 literature OPLS and RB parameters to {\bf kJ mol$^{-1}$} in {\gromacs}.\\
849 %} % Brace matches ifthenelse test for gmxlite
850
851 \subsubsection{Proper dihedrals: Fourier function}
852 \label{subsec:Fourierdihedral}
853 The OPLS potential function is given as the first three
854 or four~\cite{Jorgensen2005a} cosine terms of a Fourier series.
855 In {\gromacs} the four term function is implemented:
856 \beq
857 V_{F} (\phi_{ijkl}) ~=~ \frac{1}{2} \left[C_1(1+\cos(\phi)) + C_2(
858 1-\cos(2\phi)) + C_3(1+\cos(3\phi)) + C_4(1+\cos(4\phi))\right],
859 \eeq
860 %\ifthenelse{\equal{\gmxlite}{1}}{}{
861 Internally, {\gromacs}
862 uses the Ryckaert-Bellemans code
863 to compute Fourier dihedrals (see above), because this is more efficient.\\
864 \noindent{\bf Note:} Mind the conversion from {\emph kcal mol$^{-1}$} for 
865 literature OPLS parameters to {\bf kJ mol$^{-1}$} in {\gromacs}.\\
866
867 \subsubsection{Proper dihedrals: Restricted torsion potential}
868 \label{subsec:ReT}
869 In a manner very similar to the restricted bending potential (see \ref{subsec:ReB}),
870 a restricted torsion/dihedral potential is introduced:
871 %
872 \beq
873 V_{\rm ReT}(\phi_i) = \frac{1}{2} k_{\phi} \frac{(\cos\phi_i - \cos\phi_0)^2}{\sin^2\phi_i}
874 \label{eq:ReT}
875 \eeq
876 %
877 with the advantages of being a function of $\cos\phi$ (no problems taking the derivative of $\sin\phi$)
878 and of keeping the torsion angle at only one minimum value. In this case, the factor $\sin^2\phi$ does
879 not allow the dihedral angle to move from the [$-180^{\circ}$:0] to [0:$180^{\circ}$] interval, i.e. it cannot have maxima both at $-\phi_0$ and $+\phi_0$ maxima, but only one of them.
880 For this reason, all the dihedral angles of the starting configuration should have their values in the
881 desired angles interval and the the equilibrium $\phi_0$ value should not be too close to the interval limits
882 (as for the restricted bending potential, described in \ref{subsec:ReB}, at least $10^{\circ}$ difference is recommended).
883
884 \subsubsection{Proper dihedrals: Combined bending-torsion potential}
885 \label{subsec:CBT}
886 When the four particles forming the dihedral angle become collinear (this situation will never happen in
887 atomistic simulations, but it can occur in coarse-grained simulations) the calculation of the
888 torsion angle and potential leads to numerical instabilities.
889 One way to avoid this is to use the restricted bending potential (see \ref{subsec:ReB})
890 that prevents the dihedral
891 from reaching the $180^{\circ}$ value.
892
893 Another way is to disregard any effects of the dihedral becoming ill-defined,
894 keeping the dihedral force and potential calculation continuous in entire angle range
895 by coupling the torsion potential (in a cosine form) with the bending potentials of the
896 adjacent bending angles in a unique expression:
897 %
898 \beq
899 V_{\rm CBT}(\theta_{i-1}, \theta_i, \phi_i) = k_{\phi} \sin^3\theta_{i-1} \sin^3\theta_{i} \sum_{n=0}^4 { a_n \cos^n\phi_i}.
900 \label{eq:CBT}
901 \eeq
902 %
903 This combined bending-torsion (CBT) potential has been proposed by~\cite{BulacuGiessen2005}
904 for polymer melt simulations and is extensively described in~\cite{MonicaGoga2013}.
905
906 This potential has two main advantages:
907 \begin{itemize}
908 \item
909 it does not only depend on the dihedral angle $\phi_i$ (between the $i-2$, $i-1$, $i$ and $i+1$ beads)
910 but also on the bending angles $\theta_{i-1}$ and $\theta_i$ defined from three adjacent beads
911 ($i-2$, $i-1$ and $i$, and $i-1$, $i$ and $i+1$, respectively).
912 The two $\sin^3\theta$ pre-factors, tentatively suggested by~\cite{ScottScheragator1966} and theoretically
913 discussed by~\cite{PaulingBond}, cancel the torsion potential and force when either of the two bending angles
914 approaches the value of $180^\circ$.
915 \item
916 its dependence on $\phi_i$ is expressed through a polynomial in $\cos\phi_i$ that avoids the singularities in
917 $\phi=0^\circ$ or $180^\circ$ in calculating the torsional force.
918 \end{itemize}
919
920 These two  properties make the CBT potential well-behaved for MD simulations with weak constraints
921 on the bending angles or even for steered / non-equilibrium MD in which the bending and torsion angles suffer major
922 modifications.
923 When using the CBT potential, the bending potentials for the adjacent $\theta_{i-1}$ and $\theta_i$ may have any form.
924 It is also possible to leave out the two angle bending terms ($\theta_{i-1}$ and $\theta_{i}$) completely.
925 \figref{CBT} illustrates the difference between a torsion potential with and without the $\sin^{3}\theta$ factors
926 (blue and gray curves, respectively).
927 %
928 \begin{figure}
929 \centerline{\includegraphics[width=10cm]{plots/fig-04}}
930 \caption{Blue: surface plot of the combined bending-torsion potential
931 (\ref{eq:CBT} with $k = 10$ kJ mol$^{-1}$, $a_0=2.41$, $a_1=-2.95$, $a_2=0.36$, $a_3=1.33$)
932 when, for simplicity, the bending angles behave the same ($\theta_1=\theta_2=\theta$).
933 Gray: the same torsion potential without the $\sin^{3}\theta$ terms (Ryckaert-Bellemans type).
934 $\phi$ is the dihedral angle.}
935 \label{fig:CBT}
936 \end{figure}
937 %
938 Additionally, the derivative of $V_{CBT}$ with respect to the Cartesian variables is straightforward:
939 %
940 \begin{equation}
941 \frac{\partial V_{\rm CBT}(\theta_{i-1},\theta_i,\phi_i)} {\partial \vec r_{l}} = \frac{\partial V_{\rm CBT}}{\partial \theta_{i-1}} \frac{\partial \theta_{i-1}}{\partial \vec r_{l}} +
942                                                                                   \frac{\partial V_{\rm CBT}}{\partial \theta_{i  }} \frac{\partial \theta_{i  }}{\partial \vec r_{l}} +
943                                                                                   \frac{\partial V_{\rm CBT}}{\partial \phi_{i    }} \frac{\partial \phi_{i    }}{\partial \vec r_{l}}
944 \label{eq:force_cbt}
945 \end{equation}
946 %
947 The CBT is based on a cosine form without multiplicity, so it can only be symmetrical around $0^{\circ}$.
948 To obtain an asymmetrical dihedral angle distribution (e.g. only one maximum in [$-180^{\circ}$:$180^{\circ}$] interval),
949 a standard torsion potential such as harmonic angle  or  periodic cosine potentials should be used instead of a CBT potential.
950 However, these two forms have the inconveniences of the force derivation ($1/\sin\phi$) and of the alignment of beads
951 ($\theta_i$ or $\theta_{i-1} = 0^{\circ}, 180^{\circ}$).
952 Coupling such non-$\cos\phi$ potentials with $\sin^3\theta$ factors does not improve simulation stability since there are
953 cases in which $\theta$ and $\phi$ are simultaneously $180^{\circ}$. The integration at this step would be possible
954 (due to the cancelling of the torsion potential) but the next step would be singular
955 ($\theta$ is not $180^{\circ}$ and $\phi$ is very close to $180^{\circ}$).
956
957 %\ifthenelse{\equal{\gmxlite}{1}}{}{
958 \subsection{Tabulated bonded interaction functions\index{tabulated bonded interaction function}}
959 \label{subsec:tabulatedinteraction}
960 For full flexibility, any functional shape can be used for
961 bonds, angles and dihedrals through user-supplied tabulated functions.
962 The functional shapes are:
963 \bea
964 V_b(r_{ij})      &=& k \, f^b_n(r_{ij}) \\
965 V_a(\tijk)       &=& k \, f^a_n(\tijk) \\
966 V_d(\phi_{ijkl}) &=& k \, f^d_n(\phi_{ijkl})
967 \eea
968 where $k$ is a force constant in units of energy
969 and $f$ is a cubic spline function; for details see \ssecref{cubicspline}.
970 For each interaction, the force constant $k$ and the table number $n$
971 are specified in the topology.
972 There are two different types of bonds, one that generates exclusions (type 8)
973 and one that does not (type 9).
974 For details see \tabref{topfile2}.
975 The table files are supplied to the {\tt mdrun} program.
976 After the table file name an underscore, the letter ``b'' for bonds,
977 ``a'' for angles or ``d'' for dihedrals and the table number are appended.
978 For example, for a bond with $n=0$ (and using the default table file name)
979 the table is read from the file {\tt table_b0.xvg}.  Multiple tables can be
980 supplied simply by using different values of $n$, and are applied to the appropriate
981 bonds, as specified in the topology (\tabref{topfile2}).
982 The format for the table files is three columns with $x$, $f(x)$, $-f'(x)$,
983 where $x$ should be uniformly-spaced. Requirements for entries in the topology
984 are given in~\tabref{topfile2}. 
985 The setup of the tables is as follows:
986 \\{\bf bonds}:
987 $x$ is the distance in nm. For distances beyond the table length,
988 {\tt mdrun} will quit with an error message.
989 \\{\bf angles}:
990 $x$ is the angle in degrees. The table should go from
991 0 up to and including 180 degrees; the derivative is taken in degrees.
992 \\{\bf dihedrals}:
993 $x$ is the dihedral angle in degrees. The table should go from
994 -180 up to and including 180 degrees;
995 the IUPAC/IUB convention is used, {\ie} zero is cis,
996 the derivative is taken in degrees.
997 %} % Brace matches ifthenelse test for gmxlite
998
999 \section{Restraints}
1000 Special potentials are used for imposing restraints on the motion of
1001 the system, either to avoid disastrous deviations, or to include
1002 knowledge from experimental data. In either case they are not really
1003 part of the force field and the reliability of the parameters is not
1004 important. The potential forms, as implemented in {\gromacs}, are
1005 mentioned just for the sake of completeness. Restraints and constraints
1006 refer to quite different algorithms in {\gromacs}.
1007
1008 \subsection{Position restraints\swapindexquiet{position}{restraint}}
1009 \label{subsec:positionrestraint}
1010 These are used to restrain particles to fixed reference positions
1011 $\ve{R}_i$. They can be used during equilibration in order to avoid
1012 drastic rearrangements of critical parts ({\eg} to restrain motion
1013 in a protein that is subjected to large solvent forces when the
1014 solvent is not yet equilibrated). Another application is the
1015 restraining of particles in a shell around a region that is simulated
1016 in detail, while the shell is only approximated because it lacks
1017 proper interaction from missing particles outside the
1018 shell. Restraining will then maintain the integrity of the inner
1019 part. For spherical shells, it is a wise procedure to make the force
1020 constant depend on the radius, increasing from zero at the inner
1021 boundary to a large value at the outer boundary. This feature has
1022 not, however, been implemented in {\gromacs}.
1023 \newcommand{\unitv}[1]{\hat{\bf #1}}
1024 \newcommand{\halfje}[1]{\frac{#1}{2}}
1025
1026 The following form is used: 
1027 \beq
1028 V_{pr}(\ve{r}_i) = \halfje{1}k_{pr}|\rvi-\ve{R}_i|^2
1029 \eeq
1030 The potential is plotted in \figref{positionrestraint}.
1031
1032 \begin{figure}
1033 \centerline{\includegraphics[width=8cm]{plots/f-pr}}
1034 \caption{Position restraint potential.}
1035 \label{fig:positionrestraint}
1036 \end{figure}
1037
1038 The potential form can be rewritten without loss of generality as:
1039 \beq
1040 V_{pr}(\ve{r}_i) = \halfje{1} \left[ k_{pr}^x (x_i-X_i)^2 ~\unitv{x} + k_{pr}^y (y_i-Y_i)^2 ~\unitv{y} + k_{pr}^z (z_i-Z_i)^2 ~\unitv{z}\right]
1041 \eeq
1042
1043 Now the forces are:
1044 \beq
1045 \begin{array}{rcl}
1046 F_i^x &=& -k_{pr}^x~(x_i - X_i) \\
1047 F_i^y &=& -k_{pr}^y~(y_i - Y_i) \\
1048 F_i^z &=& -k_{pr}^z~(z_i - Z_i)
1049 \end{array}
1050 \eeq
1051 Using three different force constants the position 
1052 restraints can be turned on or off
1053 in each spatial dimension; this means that atoms can be harmonically
1054 restrained to a plane or a line.
1055 Position restraints are applied to a special fixed list of atoms. Such a
1056 list is usually generated by the {\tt \normindex{pdb2gmx}} program.
1057
1058 \subsection{\swapindex{Flat-bottomed}{position restraint}s}
1059 \label{subsec:fbpositionrestraint}
1060 Flat-bottomed position restraints can be used to restrain particles to 
1061 part of the simulation volume. No force acts on the restrained
1062 particle within the flat-bottomed region of the potential, however a
1063 harmonic force acts to move the particle to the flat-bottomed region
1064 if it is outside it. It is possible to apply normal and
1065 flat-bottomed position restraints on the same particle (however, only
1066 with the same reference position $\ve{R}_i$). The following general potential
1067 is used (Figure~\ref{fig:fbposres}A):
1068 \beq
1069  V_\mathrm{fb}(\ve{r}_i) = \frac{1}{2}k_\mathrm{fb} [d_g(\ve{r}_i;\ve{R}_i) - r_\mathrm{fb}]^2\,H[d_g(\ve{r}_i;\ve{R}_i) - r_\mathrm{fb}],
1070 \eeq
1071 where $\ve{R}_i$ is the reference position, $r_\mathrm{fb}$ is the distance
1072 from the center with a flat potential, $k_\mathrm{fb}$ the force constant, and $H$ is the Heaviside step
1073 function. The distance $d_g(\ve{r}_i;\ve{R}_i)$ from the reference
1074 position depends on the geometry $g$ of the flat-bottomed potential.
1075
1076 \begin{figure}
1077 \centerline{\includegraphics[width=10cm]{plots/fbposres}}
1078 \caption{Flat-bottomed position restraint potential. (A) Not
1079   inverted, (B) inverted.}
1080 \label{fig:fbposres}
1081 \end{figure}
1082
1083 The following geometries for the flat-bottomed potential are supported:\newline
1084 {\bfseries Sphere} ($g =1$): The particle is kept in a sphere of given
1085 radius. The force acts towards the center of the sphere. The following distance calculation is used:
1086 \beq
1087   d_g(\ve{r}_i;\ve{R}_i) = |\ve{r}_i-\ve{R}_i|
1088 \eeq
1089 {\bfseries Cylinder} ($g=2$): The particle is kept in a cylinder of given radius
1090 parallel to the $z$-axis. The force from the flat-bottomed potential acts
1091 towards the axis of the cylinder. The $z$-component of the force is zero.
1092 \beq
1093  d_g(\ve{r}_i;\ve{R}_i) = \sqrt{ (x_i-X_i)^2 + (y_i - Y_i)^2 }
1094 \eeq
1095 {\bfseries Layer} ($g=3,4,5$): The particle is kept in a layer defined by the
1096 thickness and the normal of the layer. The layer normal can be parallel to the $x$, $y$, or
1097 $z$-axis. The force acts parallel to the layer normal.\\
1098 \beq
1099  d_g(\ve{r}_i;\ve{R}_i) = |x_i-X_i|, \;\;\;\mbox{or}\;\;\; 
1100  d_g(\ve{r}_i;\ve{R}_i) = |y_i-Y_i|, \;\;\;\mbox{or}\;\;\; 
1101 d_g(\ve{r}_i;\ve{R}_i) = |z_i-Z_i|.
1102 \eeq
1103
1104 It is possible to apply multiple independent flat-bottomed position
1105 restraints of different geometry on one particle. For example, applying
1106 a cylinder and a layer in $z$ keeps a particle within a
1107 disk. Applying three layers in $x$, $y$, and $z$ keeps the particle within a cuboid.
1108
1109 In addition, it is possible to invert the restrained region with the
1110 unrestrained region, leading to a potential that acts to keep the particle {\it outside} of the volume
1111 defined by $\ve{R}_i$, $g$, and $r_\mathrm{fb}$. That feature is
1112 switched on by defining a negative $r_\mathrm{fb}$ in the
1113 topology. The following potential is used (Figure~\ref{fig:fbposres}B):
1114 \beq
1115   V_\mathrm{fb}^{\mathrm{inv}}(\ve{r}_i) = \frac{1}{2}k_\mathrm{fb}
1116   [d_g(\ve{r}_i;\ve{R}_i) - |r_\mathrm{fb}|]^2\,
1117   H[ -(d_g(\ve{r}_i;\ve{R}_i) - |r_\mathrm{fb}|)].
1118 \eeq
1119
1120
1121
1122 %\ifthenelse{\equal{\gmxlite}{1}}{}{
1123 \subsection{Angle restraints\swapindexquiet{angle}{restraint}}
1124 \label{subsec:anglerestraint}
1125 These are used to restrain the angle between two pairs of particles
1126 or between one pair of particles and the $z$-axis.
1127 The functional form is similar to that of a proper dihedral.
1128 For two pairs of atoms: 
1129 \beq
1130 V_{ar}(\ve{r}_i,\ve{r}_j,\ve{r}_k,\ve{r}_l)
1131         = k_{ar}(1 - \cos(n (\theta - \theta_0))
1132         )
1133 ,~~~~\mbox{where}~~
1134 \theta = \arccos\left(\frac{\ve{r}_j -\ve{r}_i}{\|\ve{r}_j -\ve{r}_i\|}
1135  \cdot \frac{\ve{r}_l -\ve{r}_k}{\|\ve{r}_l -\ve{r}_k\|} \right)
1136 \eeq
1137 For one pair of atoms and the $z$-axis: 
1138 \beq
1139 V_{ar}(\ve{r}_i,\ve{r}_j) = k_{ar}(1 - \cos(n (\theta - \theta_0))
1140         )
1141 ,~~~~\mbox{where}~~
1142 \theta = \arccos\left(\frac{\ve{r}_j -\ve{r}_i}{\|\ve{r}_j -\ve{r}_i\|}
1143  \cdot \left( \begin{array}{c} 0 \\ 0 \\ 1 \\ \end{array} \right) \right)
1144 \eeq
1145 A multiplicity ($n$) of 2 is useful when you do not want to distinguish
1146 between parallel and anti-parallel vectors.
1147 The equilibrium angle $\theta$ should be between 0 and 180 degrees
1148 for multiplicity 1 and between 0 and 90 degrees for multiplicity 2.
1149
1150
1151 \subsection{Dihedral restraints\swapindexquiet{dihedral}{restraint}}
1152 \label{subsec:dihedralrestraint}
1153 These are used to restrain the dihedral angle $\phi$ defined by four particles
1154 as in an improper dihedral (sec.~\ref{sec:imp}) but with a slightly
1155 modified potential. Using:
1156 \beq
1157 \phi' = \left(\phi-\phi_0\right) ~{\rm MOD}~ 2\pi
1158 \eeq
1159 where $\phi_0$ is the reference angle, the potential is defined as:
1160 \beq
1161 V_{dihr}(\phi') ~=~ \left\{
1162 \begin{array}{lcllll}
1163 \half k_{dihr}(\phi'-\phi_0-\Delta\phi)^2      
1164                 &\mbox{for}&     \phi' & >   & \Delta\phi       \\[1.5ex]
1165 0               &\mbox{for}&     \phi' & \le & \Delta\phi       \\[1.5ex]
1166 \end{array}\right.
1167 \label{eqn:dihre}
1168 \eeq
1169 where $\Delta\phi$ is a user defined angle and $k_{dihr}$ is the force 
1170 constant.
1171 {\bf Note} that in the input in topology files, angles are given in degrees and
1172 force constants in kJ/mol/rad$^2$.
1173 %} % Brace matches ifthenelse test for gmxlite
1174
1175 \subsection{Distance restraints\swapindexquiet{distance}{restraint}}
1176 \label{subsec:distancerestraint}
1177 Distance restraints 
1178 add a penalty to the potential when the distance between specified
1179 pairs of atoms exceeds a threshold value. They are normally used to
1180 impose experimental restraints from, for instance, experiments in nuclear
1181 magnetic resonance (NMR), on the motion of the system. Thus, MD can be
1182 used for structure refinement using NMR data\index{nmr
1183 refinement}\index{refinement,nmr}.
1184 In {\gromacs} there are three ways to impose restraints on pairs of atoms:
1185 \begin{itemize}
1186 \item Simple harmonic restraints: use {\tt [ bonds ]} type 6
1187 %\ifthenelse{\equal{\gmxlite}{1}}
1188 {.}
1189 {(see \secref{excl}).}
1190 \item\label{subsec:harmonicrestraint}Piecewise linear/harmonic restraints: {\tt [ bonds ]} type 10.
1191 \item Complex NMR distance restraints, optionally with pair, time and/or
1192 ensemble averaging.
1193 \end{itemize}
1194 The last two options will be detailed now.
1195
1196 The potential form for distance restraints is quadratic below a specified
1197 lower bound and between two specified upper bounds, and linear beyond the
1198 largest bound (see \figref{dist}).
1199 \beq
1200 V_{dr}(r_{ij}) ~=~ \left\{
1201 \begin{array}{lcllllll}
1202 \half k_{dr}(r_{ij}-r_0)^2      
1203                 &\mbox{for}&     &     & r_{ij} & < & r_0       \\[1.5ex]
1204 0               &\mbox{for}& r_0 & \le & r_{ij} & < & r_1       \\[1.5ex]
1205 \half k_{dr}(r_{ij}-r_1)^2      
1206                 &\mbox{for}& r_1 & \le & r_{ij} & < & r_2       \\[1.5ex]
1207 \half k_{dr}(r_2-r_1)(2r_{ij}-r_2-r_1)  
1208                 &\mbox{for}& r_2 & \le & r_{ij} &   &
1209 \end{array}\right.
1210 \label{eqn:disre}
1211 \eeq
1212
1213 \begin{figure}
1214 \centerline{\includegraphics[width=8cm]{plots/f-dr}}
1215 \caption{Distance Restraint potential.}
1216 \label{fig:dist}
1217 \end{figure}
1218
1219 The forces are
1220 \beq
1221 \ve{F}_i~=~ \left\{
1222 \begin{array}{lcllllll}
1223 -k_{dr}(r_{ij}-r_0)\frac{\rvij}{r_{ij}} 
1224                 &\mbox{for}&     &     & r_{ij} & < & r_0       \\[1.5ex]
1225 0               &\mbox{for}& r_0 & \le & r_{ij} & < & r_1       \\[1.5ex]
1226 -k_{dr}(r_{ij}-r_1)\frac{\rvij}{r_{ij}} 
1227                 &\mbox{for}& r_1 & \le & r_{ij} & < & r_2       \\[1.5ex]
1228 -k_{dr}(r_2-r_1)\frac{\rvij}{r_{ij}}    
1229                 &\mbox{for}& r_2 & \le & r_{ij} &   &
1230 \end{array} \right.
1231 \eeq
1232
1233 For restraints not derived from NMR data, this functionality
1234 will usually suffice and a section of {\tt [ bonds ]} type 10
1235 can be used to apply individual restraints between pairs of
1236 %\ifthenelse{\equal{\gmxlite}{1}}{atoms.}{
1237 atoms, see \ssecref{topfile}.
1238 %} % Brace matches ifthenelse test for gmxlite 
1239 For applying restraints derived from NMR measurements, more complex
1240 functionality might be required, which is provided through
1241 the {\tt [~distance_restraints~]} section and is described below.
1242
1243 %\ifthenelse{\equal{\gmxlite}{1}}{}{
1244 \subsubsection{Time averaging\swapindexquiet{time-averaged}{distance restraint}}
1245 Distance restraints based on instantaneous distances can potentially reduce
1246 the fluctuations in a molecule significantly. This problem can be overcome by restraining
1247 to a {\em time averaged} distance~\cite{Torda89}.
1248 The forces with time averaging are:
1249 \beq
1250 \ve{F}_i~=~ \left\{
1251 \begin{array}{lcllllll}
1252 -k^a_{dr}(\bar{r}_{ij}-r_0)\frac{\rvij}{r_{ij}}   
1253                 &\mbox{for}&     &     & \bar{r}_{ij} & < & r_0 \\[1.5ex]
1254 0               &\mbox{for}& r_0 & \le & \bar{r}_{ij} & < & r_1 \\[1.5ex]
1255 -k^a_{dr}(\bar{r}_{ij}-r_1)\frac{\rvij}{r_{ij}}   
1256                 &\mbox{for}& r_1 & \le & \bar{r}_{ij} & < & r_2 \\[1.5ex]
1257 -k^a_{dr}(r_2-r_1)\frac{\rvij}{r_{ij}}    
1258                 &\mbox{for}& r_2 & \le & \bar{r}_{ij} &   &
1259 \end{array} \right.
1260 \eeq
1261 where $\bar{r}_{ij}$ is given by an exponential running average with decay time $\tau$:
1262 \beq
1263 \bar{r}_{ij} ~=~ < r_{ij}^{-3} >^{-1/3}
1264 \label{eqn:rav}
1265 \eeq
1266 The force constant $k^a_{dr}$ is switched on slowly to compensate for
1267 the lack of history at the beginning of the simulation:
1268 \beq
1269 k^a_{dr} = k_{dr} \left(1-\exp\left(-\frac{t}{\tau}\right)\right)
1270 \eeq
1271 Because of the time averaging, we can no longer speak of a distance restraint
1272 potential.
1273
1274 This way an atom can satisfy two incompatible distance restraints 
1275 {\em on average} by moving between two positions. 
1276 An example would be an amino acid side-chain that is rotating around
1277 its $\chi$ dihedral angle, thereby coming close to various other groups.
1278 Such a mobile side chain can give rise to multiple NOEs that can not be
1279 fulfilled by a single structure.
1280
1281 The computation of the time
1282 averaged distance in the {\tt mdrun} program is done in the following fashion:
1283 \beq
1284 \begin{array}{rcl}
1285 \overline{r^{-3}}_{ij}(0)       &=& r_{ij}(0)^{-3}      \\
1286 \overline{r^{-3}}_{ij}(t)       &=& \overline{r^{-3}}_{ij}(t-\Delta t)~\exp{\left(-\frac{\Delta t}{\tau}\right)} + r_{ij}(t)^{-3}\left[1-\exp{\left(-\frac{\Delta t}{\tau}\right)}\right]
1287 \label{eqn:ravdisre}
1288 \end{array}
1289 \eeq
1290
1291 When a pair is within the bounds, it can still feel a force
1292 because the time averaged distance can still be beyond a bound.
1293 To prevent the protons from being pulled too close together, a mixed
1294 approach can be used. In this approach, the penalty is zero when the
1295 instantaneous distance is within the bounds, otherwise the violation is
1296 the square root of the product of the instantaneous violation and the 
1297 time averaged violation:
1298 \beq
1299 \ve{F}_i~=~ \left\{
1300 \begin{array}{lclll}
1301 k^a_{dr}\sqrt{(r_{ij}-r_0)(\bar{r}_{ij}-r_0)}\frac{\rvij}{r_{ij}}   
1302     & \mbox{for} & r_{ij} < r_0 & \mbox{and} & \bar{r}_{ij} < r_0 \\[1.5ex]
1303 -k^a _{dr} \,
1304   \mbox{min}\left(\sqrt{(r_{ij}-r_1)(\bar{r}_{ij}-r_1)},r_2-r_1\right)
1305   \frac{\rvij}{r_{ij}}   
1306     & \mbox{for} & r_{ij} > r_1 & \mbox{and} & \bar{r}_{ij} > r_1 \\[1.5ex]
1307 0               &\mbox{otherwise}
1308 \end{array} \right.
1309 \eeq
1310
1311 \subsubsection{Averaging over multiple pairs\swapindexquiet{ensemble-averaged}{distance restraint}} 
1312
1313 Sometimes it is unclear from experimental data which atom pair
1314 gives rise to a single NOE, in other occasions it can be obvious that
1315 more than one pair contributes due to the symmetry of the system, {\eg} a
1316 methyl group with three protons. For such a group, it is not possible 
1317 to distinguish between the protons, therefore they should all be taken into
1318 account when calculating the distance between this methyl group and another
1319 proton (or group of protons).
1320 Due to the physical nature of magnetic resonance, the intensity of the
1321 NOE signal is inversely proportional to the sixth power of the inter-atomic 
1322 distance.
1323 Thus, when combining atom pairs, 
1324 a fixed list of $N$ restraints may be taken together, 
1325 where the apparent ``distance'' is given by:
1326 \beq
1327 r_N(t) = \left [\sum_{n=1}^{N} \bar{r}_{n}(t)^{-6} \right]^{-1/6}
1328 \label{eqn:rsix}
1329 \eeq
1330 where we use $r_{ij}$ or \eqnref{rav} for the $\bar{r}_{n}$.
1331 The $r_N$ of the instantaneous and time-averaged distances
1332 can be combined to do a mixed restraining, as indicated above.
1333 As more pairs of protons contribute to the same NOE signal, the intensity
1334 will increase, and the summed ``distance'' will be shorter than any of
1335 its components due to the reciprocal summation. 
1336
1337 There are two options for distributing the forces over the atom pairs.
1338 In the conservative option, the force is defined as the derivative of the
1339 restraint potential with respect to the coordinates. This results in
1340 a conservative potential when time averaging is not used.
1341 The force distribution over the pairs is proportional to $r^{-6}$.
1342 This means that a close pair feels a much larger force than a distant pair,
1343 which might lead to a molecule that is ``too rigid.''
1344 The other option is an equal force distribution. In this case each pair
1345 feels $1/N$ of the derivative of the restraint potential with respect to 
1346 $r_N$. The advantage of this method is that more conformations might be
1347 sampled, but the non-conservative nature of the forces can lead to
1348 local heating of the protons.
1349
1350 It is also possible to use {\em ensemble averaging} using multiple
1351 (protein)  molecules. In this case the bounds should be lowered as in:
1352 \beq
1353 \begin{array}{rcl}
1354 r_1     &~=~&   r_1 * M^{-1/6}  \\
1355 r_2     &~=~&   r_2 * M^{-1/6}
1356 \end{array}
1357 \eeq
1358 where $M$ is the number of molecules. The {\gromacs} preprocessor {\tt grompp}
1359 can do this automatically when the appropriate option is given.
1360 The resulting ``distance'' is 
1361 then used to calculate the scalar force according to:
1362 \beq
1363 \ve{F}_i~=~\left\{
1364 \begin{array}{rcl}
1365 ~& 0 \hspace{4cm}  & r_{N} < r_1         \\
1366  & k_{dr}(r_{N}-r_1)\frac{\rvij}{r_{ij}} & r_1 \le r_{N} < r_2 \\
1367  & k_{dr}(r_2-r_1)\frac{\rvij}{r_{ij}}    & r_{N} \ge r_2 
1368 \end{array} \right.
1369 \eeq
1370 where $i$ and $j$ denote the atoms of all the 
1371 pairs that contribute to the NOE signal.
1372
1373 \subsubsection{Using distance restraints}
1374
1375 A list of distance restrains based on NOE data can be added to a molecule
1376 definition in your topology file, like in the following example:
1377
1378 \begin{verbatim}
1379 [ distance_restraints ]
1380 ; ai  aj    type  index  type'   low    up1     up2    fac
1381 10     16      1       0       1      0.0     0.3     0.4     1.0
1382 10     28      1       1       1      0.0     0.3     0.4     1.0
1383 10     46      1       1       1      0.0     0.3     0.4     1.0
1384 16     22      1       2       1      0.0     0.3     0.4     2.5
1385 16     34      1       3       1      0.0     0.5     0.6     1.0
1386 \end{verbatim}
1387
1388 In this example a number of features can be found.  In columns {\tt
1389 ai} and {\tt aj} you find the atom numbers of the particles to be
1390 restrained. The {\tt type} column should always be 1.  As explained in
1391 ~\ssecref{distancerestraint}, multiple distances can contribute to a single NOE
1392 signal. In the topology this can be set using the {\tt index}
1393 column. In our example, the restraints 10-28 and 10-46 both have index
1394 1, therefore they are treated simultaneously.  An extra requirement
1395 for treating restraints together is that the restraints must be on
1396 successive lines, without any other intervening restraint.  The {\tt
1397 type'} column will usually be 1, but can be set to 2 to obtain a
1398 distance restraint that will never be time- and ensemble-averaged;
1399 this can be useful for restraining hydrogen bonds.  The columns {\tt
1400 low}, {\tt up1}, and {\tt up2} hold the values of $r_0$, $r_1$, and
1401 $r_2$ from ~\eqnref{disre}.  In some cases it can be useful to have
1402 different force constants for some restraints; this is controlled by
1403 the column {\tt fac}.  The force constant in the parameter file is
1404 multiplied by the value in the column {\tt fac} for each restraint.
1405 %} % Brace matches ifthenelse test for gmxlite
1406
1407 \newcommand{\SSS}{{\mathbf S}}
1408 \newcommand{\DD}{{\mathbf D}}
1409 \newcommand{\RR}{{\mathbf R}}
1410
1411 %\ifthenelse{\equal{\gmxlite}{1}}{}{
1412 \subsection{Orientation restraints\swapindexquiet{orientation}{restraint}}
1413 \label{subsec:orientationrestraint}
1414 This section describes how orientations between vectors,
1415 as measured in certain NMR experiments, can be calculated
1416 and restrained in MD simulations.
1417 The presented refinement methodology and a comparison of results
1418 with and without time and ensemble averaging have been
1419 published~\cite{Hess2003}.
1420 \subsubsection{Theory}
1421 In an NMR experiment, orientations of vectors can be measured when a 
1422 molecule does not tumble completely isotropically in the solvent.
1423 Two examples of such orientation measurements are
1424 residual \normindex{dipolar couplings}
1425 (between two nuclei) or chemical shift anisotropies.
1426 An observable for a vector $\ve{r}_i$ can be written as follows:
1427 \beq
1428 \delta_i = \frac{2}{3} \mbox{tr}(\SSS\DD_i)
1429 \eeq
1430 where $\SSS$ is the dimensionless order tensor of the molecule.
1431 The tensor $\DD_i$ is given by:
1432 \beq
1433 \label{orient_def}
1434 \DD_i = \frac{c_i}{\|\ve{r}_i\|^\alpha} \left(
1435 %\begin{array}{lll}
1436 %3 r_x r_x - \ve{r}\cdot\ve{r} & 3 r_x r_y & 3 r_x r_z \\
1437 %3 r_x r_y                     & 3 r_y r_y - \ve{r}\cdot\ve{r} & 3yz \\
1438 %3 r_x r_z                     & 3 r_y r_z & 3 r_z r_z - \ve{r}\cdot\ve{r}
1439 %\end{array} \right)
1440 \begin{array}{lll}
1441 3 x x - 1 & 3 x y     & 3 x z     \\
1442 3 x y     & 3 y y - 1 & 3 y z     \\
1443 3 x z     & 3 y z     & 3 z z - 1 \\
1444 \end{array} \right)
1445 \eeq
1446 \beq
1447 \mbox{with:} \quad 
1448 x=\frac{r_{i,x}}{\|\ve{r}_i\|}, \quad
1449 y=\frac{r_{i,y}}{\|\ve{r}_i\|}, \quad 
1450 z=\frac{r_{i,z}}{\|\ve{r}_i\|}
1451 \eeq
1452 For a dipolar coupling $\ve{r}_i$ is the vector connecting the two
1453 nuclei, $\alpha=3$ and the constant $c_i$ is given by:
1454 \beq
1455 c_i = \frac{\mu_0}{4\pi} \gamma_1^i \gamma_2^i \frac{\hbar}{4\pi}
1456 \eeq
1457 where $\gamma_1^i$ and $\gamma_2^i$ are the gyromagnetic ratios of the
1458 two nuclei.
1459
1460 The order tensor is symmetric and has trace zero. Using a rotation matrix
1461 ${\mathbf T}$ it can be transformed into the following form:
1462 \beq
1463 {\mathbf T}^T \SSS {\mathbf T} = s \left( \begin{array}{ccc}
1464 -\frac{1}{2}(1-\eta) & 0                    & 0 \\
1465 0                    & -\frac{1}{2}(1+\eta) & 0 \\
1466 0                    & 0                    & 1
1467 \end{array} \right)
1468 \eeq
1469 where $-1 \leq s \leq 1$ and $0 \leq \eta \leq 1$.
1470 $s$ is called the order parameter and $\eta$ the asymmetry of the
1471 order tensor $\SSS$. When the molecule tumbles isotropically in the
1472 solvent, $s$ is zero, and no orientational effects can be observed
1473 because all $\delta_i$ are zero.
1474
1475 %\newpage
1476
1477 \subsubsection{Calculating orientations in a simulation}
1478 For reasons which are explained below, the $\DD$ matrices are calculated
1479 which respect to a reference orientation of the molecule. The orientation
1480 is defined by a rotation matrix $\RR$, which is needed to least-squares fit
1481 the current coordinates of a selected set of atoms onto
1482 a reference conformation. The reference conformation is the starting
1483 conformation of the simulation. In case of ensemble averaging, which will
1484 be treated later, the structure is taken from the first subsystem.
1485 The calculated $\DD_i^c$ matrix is given by:
1486 \begin{equation}
1487 \label{D_rot}
1488 \DD_i^c(t) = \RR(t) \DD_i(t) \RR^T(t)
1489 \end{equation}
1490 The calculated orientation for vector $i$ is given by:
1491 \beq
1492 \delta^c_i(t) = \frac{2}{3} \mbox{tr}(\SSS(t)\DD_i^c(t))
1493 \eeq
1494 The order tensor $\SSS(t)$ is usually unknown.
1495 A reasonable choice for the order tensor is the tensor
1496 which minimizes the (weighted) mean square difference between the calculated
1497 and the observed orientations:
1498 \begin{equation}
1499 \label{S_msd}
1500 MSD(t) = \left(\sum_{i=1}^N w_i\right)^{-1} \sum_{i=1}^N w_i (\delta_i^c (t) -\delta_i^{exp})^2
1501 \end{equation}
1502 To properly combine different types of measurements, the unit of $w_i$ should
1503 be such that all terms are dimensionless. This means the unit of $w_i$
1504 is the unit of $\delta_i$ to the power $-2$.
1505 {\bf Note} that scaling all $w_i$ with a constant factor does not influence
1506 the order tensor.
1507
1508 \subsubsection{Time averaging}
1509 Since the tensors $\DD_i$ fluctuate rapidly in time, much faster than can
1510 be observed in an experiment, they should be averaged over time in the simulation.
1511 However, in a simulation the time and the number of copies of
1512 a molecule are limited. Usually one can not obtain a converged average
1513 of the $\DD_i$ tensors over all orientations of the molecule.
1514 If one assumes that the average orientations of the $\ve{r}_i$ vectors
1515 within the molecule converge much faster than the tumbling time of
1516 the molecule, the tensor can be averaged in an axis system that 
1517 rotates with the molecule, as expressed by equation~(\ref{D_rot}).
1518 The time-averaged tensors are calculated
1519 using an exponentially decaying memory function:
1520 \beq
1521 \DD^a_i(t) = \frac{\displaystyle
1522 \int_{u=t_0}^t \DD^c_i(u) \exp\left(-\frac{t-u}{\tau}\right)\mbox{d} u
1523 }{\displaystyle
1524 \int_{u=t_0}^t \exp\left(-\frac{t-u}{\tau}\right)\mbox{d} u
1525 }
1526 \eeq
1527 Assuming that the order tensor $\SSS$ fluctuates slower than the
1528 $\DD_i$, the time-averaged orientation can be calculated as:
1529 \beq
1530 \delta_i^a(t) = \frac{2}{3} \mbox{tr}(\SSS(t) \DD_i^a(t))
1531 \eeq
1532 where the order tensor $\SSS(t)$ is calculated using expression~(\ref{S_msd})
1533 with $\delta_i^c(t)$ replaced by $\delta_i^a(t)$.
1534
1535 \subsubsection{Restraining}
1536 The simulated structure can be restrained by applying a force proportional
1537 to the difference between the calculated and the experimental orientations.
1538 When no time averaging is applied, a proper potential can be defined as:
1539 \beq
1540 V = \frac{1}{2} k \sum_{i=1}^N w_i (\delta_i^c (t) -\delta_i^{exp})^2
1541 \eeq
1542 where the unit of $k$ is the unit of energy.
1543 Thus the effective force constant for restraint $i$ is $k w_i$.
1544 The forces are given by minus the gradient of $V$.
1545 The force $\ve{F}\!_i$ working on vector $\ve{r}_i$ is:
1546 \begin{eqnarray*}
1547 \ve{F}\!_i(t) 
1548 & = & - \frac{\mbox{d} V}{\mbox{d}\ve{r}_i} \\
1549 & = & -k w_i (\delta_i^c (t) -\delta_i^{exp}) \frac{\mbox{d} \delta_i (t)}{\mbox{d}\ve{r}_i} \\
1550 & = & -k w_i (\delta_i^c (t) -\delta_i^{exp})
1551 \frac{2 c_i}{\|\ve{r}\|^{2+\alpha}} \left(2 \RR^T \SSS \RR \ve{r}_i - \frac{2+\alpha}{\|\ve{r}\|^2} \mbox{tr}(\RR^T \SSS \RR \ve{r}_i \ve{r}_i^T) \ve{r}_i \right)
1552 \end{eqnarray*}
1553
1554 \subsubsection{Ensemble averaging}
1555 Ensemble averaging can be applied by simulating a system of $M$ subsystems
1556 that each contain an identical set of orientation restraints. The systems only
1557 interact via the orientation restraint potential which is defined as:
1558 \beq
1559 V = M \frac{1}{2} k \sum_{i=1}^N w_i 
1560 \langle \delta_i^c (t) -\delta_i^{exp} \rangle^2
1561 \eeq
1562 The force on vector $\ve{r}_{i,m}$ in subsystem $m$ is given by:
1563 \beq
1564 \ve{F}\!_{i,m}(t) = - \frac{\mbox{d} V}{\mbox{d}\ve{r}_{i,m}} =
1565 -k w_i \langle \delta_i^c (t) -\delta_i^{exp} \rangle \frac{\mbox{d} \delta_{i,m}^c (t)}{\mbox{d}\ve{r}_{i,m}} \\
1566 \eeq 
1567
1568 \subsubsection{Time averaging}
1569 When using time averaging it is not possible to define a potential.
1570 We can still define a quantity that gives a rough idea of the energy
1571 stored in the restraints:
1572 \beq
1573 V = M \frac{1}{2} k^a \sum_{i=1}^N w_i 
1574 \langle \delta_i^a (t) -\delta_i^{exp} \rangle^2
1575 \eeq
1576 The force constant $k_a$ is switched on slowly to compensate for the
1577 lack of history at times close to $t_0$. It is exactly proportional
1578 to the amount of average that has been accumulated:
1579 \beq
1580 k^a =
1581  k \, \frac{1}{\tau}\int_{u=t_0}^t \exp\left(-\frac{t-u}{\tau}\right)\mbox{d} u
1582 \eeq
1583 What really matters is the definition of the force. It is chosen to
1584 be proportional to the square root of the product of the time-averaged
1585 and the instantaneous deviation.
1586 Using only the time-averaged deviation induces large oscillations.
1587 The force is given by:
1588 \beq
1589 \ve{F}\!_{i,m}(t) =
1590 %\left\{ \begin{array}{ll}
1591 %0 & \mbox{for} \quad \langle \delta_i^a (t) -\delta_i^{exp} \rangle \langle \delta_i (t) -\delta_i^{exp} \rangle \leq 0 \\
1592 %... & \mbox{for} \quad \langle \delta_i^a (t) -\delta_i^{exp} \rangle \langle \delta_i (t) -\delta_i^{exp} \rangle > 0 
1593 %\end{array}
1594 %\right.
1595 \left\{ \begin{array}{ll}
1596 0 & \quad \mbox{for} \quad a\, b \leq 0 \\
1597 \displaystyle
1598 k^a w_i \frac{a}{|a|} \sqrt{a\, b} \, \frac{\mbox{d} \delta_{i,m}^c (t)}{\mbox{d}\ve{r}_{i,m}}
1599 & \quad \mbox{for} \quad a\, b > 0 
1600 \end{array}
1601 \right.
1602 \eeq
1603 \begin{eqnarray*}
1604 a &=& \langle \delta_i^a (t) -\delta_i^{exp} \rangle \\
1605 b &=& \langle \delta_i^c (t) -\delta_i^{exp} \rangle
1606 \end{eqnarray*}
1607
1608 \subsubsection{Using orientation restraints}
1609 Orientation restraints can be added to a molecule definition in
1610 the topology file in the section {\tt [~orientation_restraints~]}.
1611 Here we give an example section containing five N-H residual dipolar
1612 coupling restraints:
1613
1614 \begin{verbatim}
1615 [ orientation_restraints ]
1616 ; ai   aj  type  exp.  label  alpha    const.     obs.   weight
1617 ;                                Hz      nm^3       Hz    Hz^-2
1618   31   32     1     1      3      3     6.083    -6.73      1.0
1619   43   44     1     1      4      3     6.083    -7.87      1.0
1620   55   56     1     1      5      3     6.083    -7.13      1.0
1621   65   66     1     1      6      3     6.083    -2.57      1.0
1622   73   74     1     1      7      3     6.083    -2.10      1.0
1623 \end{verbatim}
1624
1625 The unit of the observable is Hz, but one can choose any other unit.
1626 In columns {\tt
1627 ai} and {\tt aj} you find the atom numbers of the particles to be
1628 restrained. The {\tt type} column should always be 1.
1629 The {\tt exp.} column denotes the experiment number, starting
1630 at 1. For each experiment a separate order tensor $\SSS$
1631 is optimized. The label should be a unique number larger than zero
1632 for each restraint. The {\tt alpha} column contains the power $\alpha$ 
1633 that is used in equation~(\ref{orient_def}) to calculate the orientation.
1634 The {\tt const.} column contains the constant $c_i$ used in the same
1635 equation. The constant should have the unit of the observable times
1636 nm$^\alpha$. The column {\tt obs.} contains the observable, in any
1637 unit you like. The last column contains the weights $w_i$; the unit
1638 should be the inverse of the square of the unit of the observable.
1639
1640 Some parameters for orientation restraints can be specified in the
1641 {\tt grompp.mdp} file, for a study of the effect of different
1642 force constants and averaging times and ensemble averaging see~\cite{Hess2003}.
1643 %} % Brace matches ifthenelse test for gmxlite
1644
1645 %\ifthenelse{\equal{\gmxlite}{1}}{}{
1646 \section{Polarization}
1647 Polarization can be treated by {\gromacs} by attaching
1648 \normindex{shell} (\normindex{Drude}) particles to atoms and/or
1649 virtual sites. The energy of the shell particle is then minimized at
1650 each time step in order to remain on the Born-Oppenheimer surface.
1651
1652 \subsection{Simple polarization}
1653 This is merely a harmonic potential with equilibrium distance 0.
1654
1655 \subsection{Water polarization}
1656 A special potential for water that allows anisotropic polarization of
1657 a single shell particle~\cite{Maaren2001a}.
1658
1659 \subsection{Thole polarization}
1660 Based on early work by \normindex{Thole}~\cite{Thole81}, Roux and
1661 coworkers have implemented potentials for molecules like
1662 ethanol~\cite{Lamoureux2003a,Lamoureux2003b,Noskov2005a}. Within such
1663 molecules, there are intra-molecular interactions between shell
1664 particles, however these must be screened because full Coulomb would
1665 be too strong. The potential between two shell particles $i$ and $j$ is:
1666 \newcommand{\rbij}{\bar{r}_{ij}}
1667 \beq
1668 V_{thole} ~=~ \frac{q_i q_j}{r_{ij}}\left[1-\left(1+\frac{\rbij}{2}\right){\rm exp}^{-\rbij}\right]
1669 \eeq
1670 {\bf Note} that there is a sign error in Equation~1 of Noskov {\em et al.}~\cite{Noskov2005a}:
1671 \beq
1672 \rbij ~=~ a\frac{r_{ij}}{(\alpha_i \alpha_j)^{1/6}}
1673 \eeq
1674 where $a$ is a magic (dimensionless) constant, usually chosen to be
1675 2.6~\cite{Noskov2005a}; $\alpha_i$ and $\alpha_j$ are the polarizabilities
1676 of the respective shell particles.
1677
1678 %} % Brace matches ifthenelse test for gmxlite
1679
1680 %\ifthenelse{\equal{\gmxlite}{1}}{}{
1681 \section{Free energy interactions}
1682 \label{sec:feia}
1683 \index{free energy interactions}
1684 \newcommand{\LAM}{\lambda}
1685 \newcommand{\LL}{(1-\LAM)}
1686 \newcommand{\dvdl}[1]{\frac{\partial #1}{\partial \LAM}}
1687 This section describes the $\lambda$-dependence of the potentials
1688 used for free energy calculations (see \secref{fecalc}).
1689 All common types of potentials and constraints can be
1690 interpolated smoothly from state A ($\lambda=0$) to state B
1691 ($\lambda=1$) and vice versa.
1692 All bonded interactions are interpolated by linear interpolation
1693 of the interaction parameters. Non-bonded interactions can be
1694 interpolated linearly or via soft-core interactions.
1695
1696 Starting in {\gromacs} 4.6, $\lambda$ is a vector, allowing different
1697 components of the free energy transformation to be carried out at
1698 different rates.  Coulomb, Lennard-Jones, bonded, and restraint terms
1699 can all be controlled independently, as described in the {\tt .mdp}
1700 options.
1701
1702 \subsubsection{Harmonic potentials}
1703 The example given here is for the bond potential, which is harmonic
1704 in {\gromacs}. However,  these equations apply to the angle potential
1705 and the improper dihedral potential as well.
1706 \bea
1707 V_b     &=&\half\left[\LL k_b^A + 
1708                 \LAM k_b^B\right] \left[b - \LL b_0^A - \LAM b_0^B\right]^2  \\
1709 \dvdl{V_b}&=&\half(k_b^B-k_b^A)
1710                 \left[b - \LL b_0^A + \LAM b_0^B\right]^2 + 
1711                 \nonumber\\
1712         & & \phantom{\half}(b_0^A-b_0^B) \left[b - \LL b_0^A -\LAM b_0^B\right]
1713                 \left[\LL k_b^A + \LAM k_b^B \right]
1714 \eea
1715
1716 \subsubsection{\gromosv{96} bonds and angles}
1717 Fourth-power bond stretching and cosine-based angle potentials
1718 are interpolated by linear interpolation of the force constant
1719 and the equilibrium position. Formulas are not given here.
1720
1721 \subsubsection{Proper dihedrals}
1722 For the proper dihedrals, the equations are somewhat more complicated:
1723 \bea
1724 V_d     &=&\left[\LL k_d^A + \LAM k_d^B \right]
1725         \left( 1+ \cos\left[n_{\phi} \phi - 
1726                     \LL \phi_s^A - \LAM \phi_s^B
1727                     \right]\right)\\
1728 \dvdl{V_d}&=&(k_d^B-k_d^A) 
1729          \left( 1+ \cos
1730                  \left[
1731                     n_{\phi} \phi- \LL \phi_s^A - \LAM \phi_s^B
1732                  \right]
1733          \right) +
1734          \nonumber\\
1735         &&(\phi_s^B - \phi_s^A) \left[\LL k_d^A - \LAM k_d^B\right] 
1736         \sin\left[  n_{\phi}\phi - \LL \phi_s^A - \LAM \phi_s^B \right]
1737 \eea
1738 {\bf Note:} that the multiplicity $n_{\phi}$ can not be parameterized
1739 because the function should remain periodic on the interval $[0,2\pi]$.
1740
1741 \subsubsection{Tabulated bonded interactions}
1742 For tabulated bonded interactions only the force constant can interpolated:
1743 \bea
1744       V  &=& (\LL k^A + \LAM k^B) \, f \\
1745 \dvdl{V} &=& (k^B - k^A) \, f
1746 \eea
1747
1748 \subsubsection{Coulomb interaction}
1749 The \normindex{Coulomb} interaction between two particles 
1750 of which the charge varies with $\LAM$ is:
1751 \bea
1752 V_c &=& \frac{f}{\epsrf \rij}\left[\LL q_i^A q_j^A + \LAM\, q_i^B q_j^B\right] \\
1753 \dvdl{V_c}&=& \frac{f}{\epsrf \rij}\left[- q_i^A q_j^A + q_i^B q_j^B\right]
1754 \eea
1755 where $f = \frac{1}{4\pi \varepsilon_0} = 138.935\,485$ (see \chref{defunits}).
1756
1757 \subsubsection{Coulomb interaction with \normindex{reaction field}}
1758 The Coulomb interaction including a reaction field, between two particles 
1759 of which the charge varies with $\LAM$ is:
1760 \bea
1761 V_c     &=& f\left[\frac{1}{\rij} + k_{rf}~ \rij^2 -c_{rf}\right]
1762              \left[\LL q_i^A q_j^A + \LAM\, q_i^B q_j^B\right] \\
1763 \dvdl{V_c}&=& f\left[\frac{1}{\rij} + k_{rf}~ \rij^2 -c_{rf}\right]
1764                \left[- q_i^A q_j^A + q_i^B q_j^B\right]
1765                \label{eq:dVcoulombdlambda}
1766 \eea
1767 {\bf Note} that the constants $k_{rf}$ and $c_{rf}$ are 
1768 defined using the dielectric 
1769 constant $\epsrf$ of the medium (see \secref{coulrf}).
1770
1771 \subsubsection{Lennard-Jones interaction}
1772 For the \normindex{Lennard-Jones} interaction between two particles 
1773 of which the {\em atom type} varies with $\LAM$ we can write:
1774 \bea
1775 V_{LJ}  &=&     \frac{\LL C_{12}^A + \LAM\, C_{12}^B}{\rij^{12}} -
1776                 \frac{\LL C_6^A + \LAM\, C_6^B}{\rij^6}   \\
1777 \dvdl{V_{LJ}}&=&\frac{C_{12}^B - C_{12}^A}{\rij^{12}} -
1778                 \frac{C_6^B - C_6^A}{\rij^6}
1779                 \label{eq:dVljdlambda}
1780 \eea
1781 It should be noted that it is also possible to express a pathway from
1782 state A to state B using $\sigma$ and $\epsilon$ (see \eqnref{sigeps}).
1783 It may seem to make sense physically to vary the force field parameters
1784 $\sigma$ and $\epsilon$ rather 
1785 than the derived parameters $C_{12}$ and $C_{6}$.
1786 However, the difference between the pathways in parameter space
1787 is not large, and the free energy itself
1788 does not depend on the pathway, so we use the simple formulation
1789 presented above.
1790
1791 \subsubsection{Kinetic Energy}
1792 When the mass of a particle changes, there is also a contribution of
1793 the kinetic energy to the free energy (note that we can not write 
1794 the momentum \ve{p} as m\ve{v}, since that would result 
1795 in the sign of $\dvdl{E_k}$ being incorrect~\cite{Gunsteren98a}):
1796
1797 \bea
1798 E_k      &=&     \half\frac{\ve{p}^2}{\LL m^A + \LAM m^B}        \\
1799 \dvdl{E_k}&=&    -\half\frac{\ve{p}^2(m^B-m^A)}{(\LL m^A + \LAM m^B)^2}
1800 \eea
1801 after taking the derivative, we {\em can} insert \ve{p} = m\ve{v}, such that:
1802 \beq
1803 \dvdl{E_k}~=~    -\half\ve{v}^2(m^B-m^A)
1804 \eeq
1805
1806 \subsubsection{Constraints}
1807 \label{subsubsec:constraints}
1808 \newcommand{\clam}{C_{\lambda}}
1809 The constraints are formally part of the Hamiltonian, and therefore
1810 they give a contribution to the free energy. In {\gromacs} this can be
1811 calculated using the \normindex{LINCS} or the \normindex{SHAKE} algorithm.
1812 If we have a number of constraint equations $g_k$:
1813 \beq
1814 g_k     =       \ve{r}_{k} - d_{k}
1815 \eeq
1816 where $\ve{r}_k$ is the distance vector between two particles and 
1817 $d_k$ is the constraint distance between the two particles, we can write
1818 this using a $\LAM$-dependent distance as
1819 \beq
1820 g_k     =       \ve{r}_{k} - \left(\LL d_{k}^A + \LAM d_k^B\right)
1821 \eeq
1822 the contribution $\clam$ 
1823 to the Hamiltonian using Lagrange multipliers $\lambda$:
1824 \bea
1825 \clam           &=&     \sum_k \lambda_k g_k    \\
1826 \dvdl{\clam}    &=&     \sum_k \lambda_k \left(d_k^B-d_k^A\right)
1827 \eea
1828
1829
1830 \subsection{Soft-core interactions\index{soft-core interactions}}
1831 \begin{figure}
1832 \centerline{\includegraphics[height=6cm]{plots/softcore}}
1833 \caption{Soft-core interactions at $\LAM=0.5$, with $p=2$ and
1834 $C_6^A=C_{12}^A=C_6^B=C_{12}^B=1$.}
1835 \label{fig:softcore}
1836 \end{figure}
1837 In a free-energy calculation where particles grow out of nothing, or 
1838 particles disappear, using the the simple linear interpolation of the 
1839 Lennard-Jones and Coulomb potentials as described in Equations~\ref{eq:dVljdlambda}
1840 and \ref{eq:dVcoulombdlambda} may lead to poor convergence.  When the particles have nearly disappeared, or are close to appearing (at $\LAM$ close to 0 or 1), the interaction energy will be weak enough for particles to get very 
1841 close to each other, leading to large fluctuations in the measured values of 
1842 $\partial V/\partial \LAM$ (which, because of the simple linear 
1843 interpolation, depends on the potentials at both the endpoints of $\LAM$).
1844
1845 To circumvent these problems, the singularities in the potentials need to be removed. This can be done by modifying the regular Lennard-Jones and Coulomb potentials with ``soft-core'' potentials that limit the energies and forces 
1846 involved at $\LAM$ values between 0 and 1, but not \emph{at} $\LAM=0$ 
1847 or 1.
1848
1849 In {\gromacs} the soft-core potentials $V_{sc}$ are shifted versions of the
1850 regular potentials, so that the singularity in the potential and its
1851 derivatives at $r=0$ is never reached:
1852 \bea
1853 V_{sc}(r) &=& \LL V^A(r_A) + \LAM V^B(r_B)
1854     \\
1855 r_A &=& \left(\alpha \sigma_A^6 \LAM^p + r^6 \right)^\frac{1}{6}
1856     \\
1857 r_B &=& \left(\alpha \sigma_B^6 \LL^p + r^6 \right)^\frac{1}{6}
1858 \eea
1859 where $V^A$ and $V^B$ are the normal ``hard core'' Van der Waals or
1860 electrostatic potentials in state A ($\LAM=0$) and state B ($\LAM=1$)
1861 respectively, $\alpha$ is the soft-core parameter (set with {\tt sc_alpha} 
1862 in the {\tt .mdp} file), $p$ is the soft-core $\LAM$ power (set with 
1863 {\tt sc_power}), $\sigma$ is the radius of the interaction, which is 
1864 $(C_{12}/C_6)^{1/6}$ or an input parameter ({\tt sc_sigma}) when $C_6$ 
1865 or $C_{12}$ is zero.
1866
1867 For intermediate $\LAM$, $r_A$ and $r_B$ alter the interactions very little
1868 for $r > \alpha^{1/6} \sigma$ and quickly switch the soft-core
1869 interaction to an almost constant value for smaller $r$ (\figref{softcore}). 
1870 The force is:
1871 \beq
1872 F_{sc}(r) = -\frac{\partial V_{sc}(r)}{\partial r} =
1873  \LL F^A(r_A) \left(\frac{r}{r_A}\right)^5 +
1874 \LAM F^B(r_B) \left(\frac{r}{r_B}\right)^5
1875 \eeq
1876 where $F^A$ and $F^B$ are the ``hard core'' forces.
1877 The contribution to the derivative of the free energy is:
1878 \bea
1879 \dvdl{V_{sc}(r)} & = &
1880  V^B(r_B) -V^A(r_A)  + 
1881         \LL \frac{\partial V^A(r_A)}{\partial r_A}
1882                    \frac{\partial r_A}{\partial \LAM} + 
1883         \LAM\frac{\partial V^B(r_B)}{\partial r_B}
1884                    \frac{\partial r_B}{\partial \LAM}
1885 \nonumber\\
1886 &=&
1887  V^B(r_B) -V^A(r_A)  + \nonumber \\
1888  & &
1889  \frac{p \alpha}{6}
1890        \left[ \LAM F^B(r_B) r^{-5}_B \sigma_B^6 \LL^{p-1} -
1891                \LL F^A(r_A) r^{-5}_A \sigma_A^6 \LAM^{p-1} \right]
1892 \eea
1893
1894 The original GROMOS Lennard-Jones soft-core function~\cite{Beutler94}
1895 uses $p=2$, but $p=1$ gives a smoother $\partial H/\partial\LAM$ curve.
1896 %When the changes between the two states involve both the disappearing
1897 %and appearing of atoms, it is important that the overlapping of atoms
1898 %happens around $\LAM=0.5$. This can usually be achieved with
1899 %$\alpha$$\approx0.7$ for $p=1$ and $\alpha$$\approx1.5$ for $p=2$.
1900 %MRS: this is now eliminated as of 4.6, since changes between atoms are done linearly.
1901
1902 Another issue that should be considered is the soft-core effect of hydrogens
1903 without Lennard-Jones interaction. Their soft-core $\sigma$ is
1904 set with {\tt sc-sigma} in the {\tt .mdp} file. These hydrogens
1905 produce peaks in $\partial H/\partial\LAM$ at $\LAM$ is 0 and/or 1 for $p=1$
1906 and close to 0 and/or 1 with $p=2$. Lowering {\tt\mbox{sc-sigma}} will decrease
1907 this effect, but it will also increase the interactions with hydrogens
1908 relative to the other interactions in the soft-core state.
1909
1910 When soft core potentials are selected (by setting {\tt sc-alpha} \textgreater
1911 0), and the Coulomb and Lennard-Jones potentials are turned on or off
1912 sequentially, then the Coulombic interaction is turned off linearly,
1913 rather than using soft core interactions, which should be less
1914 statistically noisy in most cases.  This behavior can be overwritten
1915 by using the mdp option {\tt sc-coul} to 'yes'. Additionally, the
1916 soft-core interaction potential is only applied when either the A or B
1917 state has zero interaction potential.  If both A and B states have
1918 nonzero interaction potential, default linear scaling described above
1919 is used. When both Coulombic and Lennard-Jones interactions are turned
1920 off simultaneously, a soft-core potential is used, and a hydrogen is
1921 being introduced or deleted, the sigma is set to {\tt sc-sigma-min},
1922 which itself defaults to {\tt sc-sigma-default}.
1923
1924 Recently, a new formulation of the soft-core approach has been derived
1925 that in most cases gives lower and more even statistical variance than
1926 the standard soft-core path described above.~\cite{Pham2011,Pham2012}
1927 Specifically, we have:
1928 \bea
1929 V_{sc}(r) &=& \LL V^A(r_A) + \LAM V^B(r_B)
1930     \\
1931 r_A &=& \left(\alpha \sigma_A^{48} \LAM^p + r^{48} \right)^\frac{1}{48}
1932     \\
1933 r_B &=& \left(\alpha \sigma_B^{48} \LL^p + r^{48} \right)^\frac{1}{48}
1934 \eea
1935 This ``1-1-48'' path is also implemented in {\gromacs}. Note that for this path the soft core $\alpha$
1936 should satisfy $0.001 < \alpha < 0.003$,rather than $\alpha \approx
1937 0.5$.
1938
1939 %} % Brace matches ifthenelse test for gmxlite
1940
1941 %\ifthenelse{\equal{\gmxlite}{1}}{}{
1942 \section{Methods}
1943 \subsection{Exclusions and 1-4 Interactions.}
1944 Atoms within a molecule that are close by in the chain, 
1945 {\ie} atoms that are covalently bonded, or linked by one or two
1946 atoms are called {\em first neighbors, second neighbors} and 
1947 {\em \swapindex{third}{neighbor}s}, respectively (see \figref{chain}).  
1948 Since the interactions of atom {\bf i} with atoms {\bf i+1} and {\bf i+2} 
1949 are mainly quantum mechanical, they can not be modeled by a Lennard-Jones potential.
1950 Instead it is assumed that these interactions are adequately modeled
1951 by a harmonic bond term or constraint ({\bf i, i+1}) and a harmonic angle term
1952 ({\bf i, i+2}). The first and second neighbors (atoms {\bf i+1} and {\bf i+2}) 
1953 are therefore
1954 {\em excluded} from the Lennard-Jones \swapindex{interaction}{list} 
1955 of atom {\bf i};
1956 atoms {\bf i+1} and {\bf i+2} are called {\em \normindex{exclusions}} of atom {\bf i}.
1957
1958 \begin{figure}
1959 \centerline{\includegraphics[angle=270,width=8cm]{plots/chain}}
1960 \caption{Atoms along an alkane chain.}
1961 \label{fig:chain}
1962 \end{figure}
1963
1964 For third neighbors, the normal Lennard-Jones repulsion is sometimes
1965 still too strong, which means that when applied to a molecule, the
1966 molecule would deform or break due to the internal strain. This is
1967 especially the case for carbon-carbon interactions in a {\em
1968 cis}-conformation ({\eg} {\em cis}-butane).  Therefore, for some of these
1969 interactions, the Lennard-Jones repulsion has been reduced in the
1970 {\gromos} force field, which is implemented by keeping a separate list of
1971 1-4 and normal Lennard-Jones parameters. In other force fields, such
1972 as OPLS~\cite{Jorgensen88}, the standard Lennard-Jones parameters are reduced
1973 by a factor of two, but in that case also the dispersion (r$^{-6}$)
1974 and the Coulomb interaction are scaled.
1975 {\gromacs} can use either of these methods.
1976
1977 \subsection{Charge Groups\index{charge group}}
1978 \label{sec:cg}
1979 In principle, the force calculation in MD is an $O(N^2)$ problem.
1980 Therefore, we apply a \normindex{cut-off} for non-bonded force (NBF)
1981 calculations; only the particles within a certain distance of each
1982 other are interacting. This reduces the cost to $O(N)$ (typically
1983 $100N$ to $200N$) of the NBF. It also introduces an error, which is,
1984 in most cases, acceptable, except when applying the cut-off implies
1985 the creation of charges, in which case you should consider using the
1986 lattice sum methods provided by {\gromacs}.
1987
1988 Consider a water molecule interacting with another atom. When we would apply
1989 the cut-off on an atom-atom basis we might include the atom-oxygen
1990 interaction (with a charge of $-0.82$) without the compensating charge
1991 of the protons, and as a result, induce a large dipole moment over the system.
1992 Therefore, we have to keep groups of atoms with total charge
1993 0 together. These groups are called {\em charge groups}.
1994
1995 \subsection{Treatment of Cut-offs\index{cut-off}}
1996 \newcommand{\rs}{$r_{short}$}
1997 \newcommand{\rl}{$r_{long}$}
1998 {\gromacs} is quite flexible in treating cut-offs, which implies
1999 there can be quite a number of parameters to set. These parameters are
2000 set in the input file for {\tt grompp}. There are two sort of parameters
2001 that affect the cut-off interactions; you can select which type
2002 of interaction to use in each case, and which cut-offs should be
2003 used in the neighbor searching.
2004
2005 For both Coulomb and van der Waals interactions there are interaction
2006 type selectors (termed {\tt vdwtype} and {\tt coulombtype}) and two
2007 parameters, for a total of six non-bonded interaction parameters. See
2008 \secref{mdpopt} for a complete description of these parameters.
2009
2010 The neighbor searching (NS) can be performed using a single-range, or a twin-range 
2011 approach. Since the former is merely a special case of the latter, we will 
2012 discuss the more general twin-range. In this case, NS is described by two
2013 radii: {\tt rlist} and max({\tt rcoulomb},{\tt rvdw}).
2014 Usually one builds the neighbor list every 10 time steps
2015 or every 20 fs (parameter {\tt nstlist}). In the neighbor list, all interaction 
2016 pairs that  fall within {\tt rlist} are stored. Furthermore, the 
2017 interactions between pairs that do not
2018 fall within {\tt rlist} but do fall within max({\tt rcoulomb},{\tt rvdw})
2019 are computed during NS.  The
2020 forces and energy are stored separately and added to short-range forces
2021 at every time step between successive NS. If {\tt rlist} = 
2022 max({\tt rcoulomb},{\tt rvdw}), no forces
2023 are evaluated during neighbor list generation.
2024 The \normindex{virial} is calculated from the sum of the short- and
2025 long-range forces.
2026 This means that the virial can be slightly asymmetrical at non-NS steps.
2027 In single precision, the virial is almost always asymmetrical because the
2028 off-diagonal elements are about as large as each element in the sum.
2029 In most cases this is not really a problem, since the fluctuations in the
2030 virial can be 2 orders of magnitude larger than the average.
2031
2032 Except for the plain cut-off,
2033 all of the interaction functions in \tabref{funcparm}
2034 require that neighbor searching be done with a larger radius than the $r_c$
2035 specified for the functional form, because of the use of charge groups.
2036 The extra radius is typically of the order of 0.25 nm (roughly the 
2037 largest distance between two atoms in a charge group plus the distance a 
2038 charge group can diffuse within neighbor list updates).
2039
2040 %If your charge groups are very large it may be interesting to turn off charge
2041 %groups, by setting the option 
2042 %{\tt bAtomList = yes} in your {\tt grompp.mdp} file.
2043 %In this case only a small extra radius to account for diffusion needs to be 
2044 %added (0.1 nm). Do not however use this together with the plain cut-off
2045 %method, as it will generate large artifacts (\secref{cg}).
2046 %In summary, there are four parameters that describe NS behavior:
2047 %{\tt nstlist} (update frequency in number of time steps),
2048 %{\tt bAtomList} (whether or not charge groups are used to generate neighbor list, the default is to use charge groups, so {\tt bAtomList = no}),
2049 %{\tt rshort} and {\tt rlong} which are the two radii {\rs} and {\rl}
2050 %described above.
2051
2052 \begin{table}[ht]
2053 \centering
2054 \begin{tabular}{|ll|l|}
2055 \dline
2056 \multicolumn{2}{|c|}{Type}              & Parameters            \\
2057 \hline
2058 Coulomb&Plain cut-off   & $r_c$, $\epsr$        \\
2059 &Reaction field         & $r_c$, $\epsrf$       \\
2060 &Shift function         & $r_1$, $r_c$, $\epsr$         \\
2061 &Switch function        & $r_1$, $r_c$, $\epsr$         \\
2062 \hline
2063 VdW&Plain cut-off       & $r_c$         \\
2064 &Shift function         & $r_1$, $r_c$          \\
2065 &Switch function        & $r_1$, $r_c$          \\
2066 \dline
2067 \end{tabular}
2068 \caption[Parameters for the different functional forms of the
2069 non-bonded interactions.]{Parameters for the different functional
2070 forms of the non-bonded interactions.}
2071 \label{tab:funcparm}
2072 \end{table}
2073 %} % Brace matches ifthenelse test for gmxlite
2074
2075
2076 \newcommand{\vvis}{\ve{r}_s}
2077 \newcommand{\Fi}{\ve{F}_i'}
2078 \newcommand{\Fj}{\ve{F}_j'}
2079 \newcommand{\Fk}{\ve{F}_k'}
2080 \newcommand{\Fl}{\ve{F}_l'}
2081 \newcommand{\Fvis}{\ve{F}_{s}}
2082 \newcommand{\rvik}{\ve{r}_{ik}}
2083 \newcommand{\rvis}{\ve{r}_{is}}
2084 \newcommand{\rvjk}{\ve{r}_{jk}}
2085 \newcommand{\rvjl}{\ve{r}_{jl}}
2086
2087 %\ifthenelse{\equal{\gmxlite}{1}}{}{
2088 \section{Virtual interaction sites\index{virtual interaction sites}}
2089 \label{sec:virtual_sites}
2090 Virtual interaction sites (called \seeindex{dummy atoms}{virtual interaction sites} in {\gromacs} versions before 3.3)
2091 can be used in {\gromacs} in a number of ways. 
2092 We write the position of the virtual site $\ve{r}_s$ as a function of
2093 the positions of other particles \ve{r}$_i$: $\ve{r}_s =
2094 f(\ve{r}_1..\ve{r}_n)$. The virtual site, which may carry charge or be
2095 involved in other interactions, can now be used in the force
2096 calculation.  The force acting on the virtual site must be
2097 redistributed over the particles with mass in a consistent way.
2098 A good way to do this can be found in ref.~\cite{Berendsen84b}.
2099 We can write the potential energy as:
2100 \beq
2101 V = V(\vvis,\ve{r}_1,\ldots,\ve{r}_n) = V^*(\ve{r}_1,\ldots,\ve{r}_n)
2102 \eeq
2103 The force on the particle $i$ is then:
2104 \beq
2105 \ve{F}_i = -\frac{\partial V^*}{\partial \ve{r}_i} 
2106          = -\frac{\partial V}{\partial \ve{r}_i} - 
2107             \frac{\partial V}{\partial \vvis} 
2108             \frac{\partial \vvis}{\partial \ve{r}_i}
2109          = \ve{F}_i^{direct} + \Fi
2110 \eeq
2111 The first term is the normal force. 
2112 The second term is the force on particle $i$ due to the virtual site, which
2113 can be written in tensor notation:
2114 \newcommand{\partd}[2]{\displaystyle\frac{\partial #1}{\partial #2_i}}
2115 \beq
2116 \Fi = \left[\begin{array}{ccc}
2117 \partd{x_s}{x} & \partd{y_s}{x} & \partd{z_s}{x}        \\[1ex]
2118 \partd{x_s}{y} & \partd{y_s}{y} & \partd{z_s}{y}        \\[1ex]
2119 \partd{x_s}{z} & \partd{y_s}{z} & \partd{z_s}{z}
2120 \end{array}\right]\Fvis
2121 \label{eqn:fvsite}
2122 \eeq
2123 where $\Fvis$ is the force on the virtual site and $x_s$, $y_s$ and
2124 $z_s$ are the coordinates of the virtual site. In this way, the total
2125 force and the total torque are conserved~\cite{Berendsen84b}.
2126
2127 The computation of the \normindex{virial}
2128 (\eqnref{Xi}) is non-trivial when virtual sites are used. Since the
2129 virial involves a summation over all the atoms (rather than virtual
2130 sites), the forces must be redistributed from the virtual sites to the
2131 atoms (using ~\eqnref{fvsite}) {\em before} computation of the
2132 virial. In some special cases where the forces on the atoms can be
2133 written as a linear combination of the forces on the virtual sites (types 2
2134 and 3 below) there is no difference between computing the virial
2135 before and after the redistribution of forces.  However, in the
2136 general case redistribution should be done first.
2137
2138 \begin{figure}
2139 \centerline{\includegraphics[width=15cm]{plots/dummies}}
2140 \caption[Virtual site construction.]{The six different types of virtual
2141 site construction in \protect{\gromacs}. The constructing atoms are
2142 shown as black circles, the virtual sites in gray.}
2143 \label{fig:vsites}
2144 \end{figure}
2145
2146 There are six ways to construct virtual sites from surrounding atoms in
2147 {\gromacs}, which we classify by the number of constructing
2148 atoms. {\bf Note} that all site types mentioned can be constructed from
2149 types 3fd (normalized, in-plane) and 3out (non-normalized, out of
2150 plane). However, the amount of computation involved increases sharply
2151 along this list, so we strongly recommended using the first adequate
2152 virtual site type that will be sufficient for a certain purpose.
2153 \figref{vsites} depicts 6 of the available virtual site constructions.
2154 The conceptually simplest construction types are linear combinations:
2155 \beq
2156 \vvis = \sum_{i=1}^N w_i \, \ve{r}_i
2157 \eeq
2158 The force is then redistributed using the same weights:
2159 \beq
2160 \Fi = w_i \, \Fvis
2161 \eeq
2162
2163 The types of virtual sites supported in {\gromacs} are given in the list below.
2164 Constructing atoms in virtual sites can be virtual sites themselves, but
2165 only if they are higher in the list, i.e. virtual sites can be
2166 constructed from ``particles'' that are simpler virtual sites.
2167 \begin{itemize}
2168 \item[{\bf\sf 2.}]\label{subsec:vsite2}As a linear combination of two atoms
2169         (\figref{vsites} 2):
2170 \beq
2171         w_i = 1 - a ~,~~ w_j = a
2172 \eeq
2173         In this case the virtual site is on the line through atoms $i$ and
2174         $j$.
2175
2176 \item[{\bf\sf 3.}]\label{subsec:vsite3}As a linear combination of three atoms
2177         (\figref{vsites} 3):
2178 \beq
2179         w_i = 1 - a - b ~,~~ w_j = a ~,~~ w_k = b
2180 \eeq
2181         In this case the virtual site is in the plane of the other three
2182         particles.
2183
2184 \item[{\bf\sf 3fd.}]\label{subsec:vsite3fd}In the plane of three atoms, with a fixed distance
2185         (\figref{vsites} 3fd):
2186 \beq
2187         \vvis ~=~ \ve{r}_i + b \frac{  \rvij + a \rvjk  }
2188                                     {| \rvij + a \rvjk |}      
2189 \eeq
2190         In this case the virtual site is in the plane of the other three
2191         particles at a distance of $|b|$ from $i$.
2192         The force on particles $i$, $j$ and $k$ due to the force on the virtual
2193         site can be computed as:
2194 \beq
2195         \begin{array}{lcr}
2196         \Fi &=& \displaystyle \Fvis - \gamma ( \Fvis - \ve{p} ) \\[1ex]
2197         \Fj &=& \displaystyle (1-a)\gamma (\Fvis - \ve{p})      \\[1ex]
2198         \Fk &=& \displaystyle a \gamma (\Fvis - \ve{p})         \\
2199         \end{array}
2200         ~\mbox{~ where~ }~
2201         \begin{array}{c}
2202 \displaystyle \gamma = \frac{b}{| \rvij + a \rvjk |} \\[2ex]
2203 \displaystyle \ve{p} = \frac{ \rvis \cdot \Fvis }
2204                       { \rvis \cdot \rvis } \rvis
2205         \end{array}
2206 \eeq
2207
2208 \item[{\bf\sf 3fad.}]\label{subsec:vsite3fad}In the plane of three atoms, with a fixed angle and
2209         distance (\figref{vsites} 3fad):
2210 \beq
2211 \label{eqn:vsite2fad-F}
2212          \vvis ~=~ \ve{r}_i +
2213                     d \cos \theta \frac{\rvij}{|\rvij|} +
2214                     d \sin \theta \frac{\ve{r}_\perp}{|\ve{r}_\perp|}
2215         ~\mbox{~ where~ }~
2216         \ve{r}_\perp ~=~ \rvjk - 
2217                         \frac{ \rvij \cdot \rvjk }
2218                              { \rvij \cdot \rvij }
2219                          \rvij
2220 \eeq
2221         In this case the virtual site is in the plane of the other three
2222         particles at a distance of $|d|$ from $i$ at an angle of
2223         $\alpha$ with $\rvij$. Atom $k$ defines the plane and the
2224         direction of the angle. {\bf Note} that in this case $b$ and
2225         $\alpha$ must be specified, instead of $a$ and $b$ (see also
2226         \secref{vsitetop}). The force on particles $i$, $j$ and $k$
2227         due to the force on the virtual site can be computed as (with
2228         $\ve{r}_\perp$ as defined in \eqnref{vsite2fad-F}):
2229 \newcommand{\dfrac}{\displaystyle\frac}
2230 \beq
2231 \begin{array}{c}
2232         \begin{array}{lclllll}
2233         \Fi &=& \Fvis &-& 
2234                 \dfrac{d \cos \theta}{|\rvij|} \ve{F}_1 &+&
2235                 \dfrac{d \sin \theta}{|\ve{r}_\perp|} \left( 
2236                 \dfrac{ \rvij \cdot \rvjk }
2237                      { \rvij \cdot \rvij } \ve{F}_2     +
2238                 \ve{F}_3 \right)                                \\[3ex]
2239         \Fj &=& &&
2240                 \dfrac{d \cos \theta}{|\rvij|} \ve{F}_1 &-&
2241                 \dfrac{d \sin \theta}{|\ve{r}_\perp|} \left(
2242                  \ve{F}_2 + 
2243                  \dfrac{ \rvij \cdot \rvjk }
2244                         { \rvij \cdot \rvij } \ve{F}_2 +
2245                 \ve{F}_3 \right)                                \\[3ex]
2246         \Fk &=& && &&
2247                 \dfrac{d \sin \theta}{|\ve{r}_\perp|} \ve{F}_2  \\[3ex]
2248         \end{array}                                             \\[5ex]
2249         \mbox{where ~}
2250         \ve{F}_1 = \Fvis -
2251                   \dfrac{ \rvij \cdot \Fvis }
2252                         { \rvij \cdot \rvij } \rvij
2253         \mbox{\,, ~}
2254         \ve{F}_2 = \ve{F}_1 -
2255                   \dfrac{ \ve{r}_\perp \cdot \Fvis }
2256                         { \ve{r}_\perp \cdot \ve{r}_\perp } \ve{r}_\perp
2257         \mbox{~and ~}
2258         \ve{F}_3 = \dfrac{ \rvij \cdot \Fvis }
2259                          { \rvij \cdot \rvij } \ve{r}_\perp
2260 \end{array}
2261 \eeq
2262
2263 \item[{\bf\sf 3out.}]\label{subsec:vsite3out}As a non-linear combination of three atoms, out of plane
2264         (\figref{vsites} 3out):
2265 \beq
2266         \vvis ~=~ \ve{r}_i + a \rvij + b \rvik +
2267                 c (\rvij \times \rvik)
2268 \eeq
2269         This enables the construction of virtual sites out of the plane of the
2270         other atoms.
2271         The force on particles $i,j$ and $k$ due to the force on the virtual
2272         site can be computed as:
2273 \beq
2274 \begin{array}{lcl}
2275 \vspace{4mm}
2276 \Fj &=& \left[\begin{array}{ccc}
2277  a              &  -c\,z_{ik}   & c\,y_{ik}     \\[0.5ex]
2278  c\,z_{ik}      &   a           & -c\,x_{ik}    \\[0.5ex]
2279 -c\,y_{ik}      &   c\,x_{ik}   & a
2280 \end{array}\right]\Fvis                                 \\
2281 \vspace{4mm}
2282 \Fk &=& \left[\begin{array}{ccc}
2283  b              &   c\,z_{ij}   & -c\,y_{ij}    \\[0.5ex]
2284 -c\,z_{ij}      &   b           & c\,x_{ij}     \\[0.5ex]
2285  c\,y_{ij}      &  -c\,x_{ij}   & b
2286 \end{array}\right]\Fvis                                 \\
2287 \Fi &=& \Fvis - \Fj - \Fk
2288 \end{array}
2289 \eeq
2290
2291 \item[{\bf\sf 4fdn.}]\label{subsec:vsite4fdn}From four atoms, with a fixed distance, see separate Fig.\ \ref{fig:vsite-4fdn}.
2292 This construction is a bit
2293 complex, in particular since the previous type (4fd) could be unstable which forced us
2294 to introduce a more elaborate construction:
2295
2296 \begin{figure}
2297 \centerline{\includegraphics[width=5cm]{plots/vsite-4fdn}}
2298 \caption {The new 4fdn virtual site construction, which is stable even when all constructing
2299 atoms are in the same plane.}
2300 \label{fig:vsite-4fdn}
2301 \end{figure}
2302          
2303 \begin{eqnarray}
2304 \mathbf{r}_{ja} &=& a\, \mathbf{r}_{ik} - \mathbf{r}_{ij} = a\, (\mathbf{x}_k - \mathbf{x}_i) - (\mathbf{x}_j - \mathbf{x}_i) \nonumber \\
2305 \mathbf{r}_{jb} &=& b\, \mathbf{r}_{il} - \mathbf{r}_{ij} = b\, (\mathbf{x}_l - \mathbf{x}_i) - (\mathbf{x}_j - \mathbf{x}_i) \nonumber \\
2306 \mathbf{r}_m &=& \mathbf{r}_{ja} \times \mathbf{r}_{jb} \nonumber \\
2307 \mathbf{x}_s &=& \mathbf{x}_i + c \frac{\mathbf{r}_m}{|\mathbf{r}_m|}
2308 \label{eq:vsite}
2309 \end{eqnarray}
2310
2311         In this case the virtual site is at a distance of $|c|$ from $i$, while $a$ and $b$ are 
2312         parameters. {\bf Note} that the vectors $\mathbf{r}_{ik}$ and $\mathbf{r}_{ij}$ are not normalized
2313         to save floating-point operations.
2314         The force on particles $i$, $j$, $k$ and $l$ due to the force 
2315         on the virtual site are computed through chain rule derivatives
2316         of the construction expression. This is exact and conserves energy,
2317         but it does lead to relatively lengthy expressions that we do not
2318         include here (over 200 floating-point operations). The interested reader can 
2319         look at the source code in \verb+vsite.c+. Fortunately, this vsite type is normally
2320         only used for chiral centers such as $C_{\alpha}$ atoms in proteins.
2321       
2322 The new 4fdn construct is identified with a `type' value of 2 in the topology. The earlier 4fd
2323 type is still supported internally (`type' value 1), but it should not be used for
2324 new simulations. All current {\gromacs} tools will automatically generate type 4fdn instead.
2325
2326
2327 \item[{\bf\sf N.}]\label{subsec:vsiteN} A linear combination of $N$ atoms with relative
2328 weights $a_i$. The weight for atom $i$ is:
2329 \beq
2330   w_i = a_i \left(\sum_{j=1}^N a_j \right)^{-1}
2331 \eeq
2332 There are three options for setting the weights:
2333 \begin{itemize}
2334 \item[COG] center of geometry: equal weights
2335 \item[COM] center of mass: $a_i$ is the mass of atom $i$;
2336 when in free-energy simulations the mass of the atom is changed,
2337 only the mass of the A-state is used for the weight
2338 \item[COW] center of weights: $a_i$ is defined by the user
2339 \end{itemize}
2340
2341 \end{itemize}
2342 %} % Brace matches ifthenelse test for gmxlite
2343
2344 \newcommand{\dr}{{\rm d}r}
2345 \newcommand{\avcsix}{\left< C_6 \right>}
2346
2347 %\ifthenelse{\equal{\gmxlite}{1}}{}{
2348 \section{Long Range Electrostatics}
2349 \label{sec:lr_elstat}
2350 \subsection{Ewald summation\index{Ewald sum}}
2351 \label{sec:ewald}
2352 The total electrostatic energy of $N$ particles and their periodic
2353 images\index{periodic boundary conditions} is given by
2354 \begin{equation}
2355 V=\frac{f}{2}\sum_{n_x}\sum_{n_y}
2356 \sum_{n_{z}*} \sum_{i}^{N} \sum_{j}^{N}
2357 \frac{q_i q_j}{{\bf r}_{ij,{\bf n}}}.
2358 \label{eqn:totalcoulomb}
2359 \end{equation}
2360 $(n_x,n_y,n_z)={\bf n}$ is the box index vector, and the star indicates that
2361 terms with $i=j$ should be omitted when $(n_x,n_y,n_z)=(0,0,0)$. The
2362 distance ${\bf r}_{ij,{\bf n}}$ is the real distance between the charges and
2363 not the minimum-image. This sum is conditionally convergent, but
2364 very slow.
2365
2366 Ewald summation was first introduced as a method to calculate
2367 long-range interactions of the periodic images in
2368 crystals~\cite{Ewald21}. The idea is to convert the single
2369 slowly-converging sum \eqnref{totalcoulomb} into two
2370 quickly-converging terms and a constant term:
2371 \begin{eqnarray}
2372 V &=& V_{dir} + V_{rec} + V_{0} \\[0.5ex]
2373 V_{dir} &=& \frac{f}{2} \sum_{i,j}^{N}
2374 \sum_{n_x}\sum_{n_y}
2375 \sum_{n_{z}*} q_i q_j \frac{\mbox{erfc}(\beta {r}_{ij,{\bf n}} )}{{r}_{ij,{\bf n}}} \\[0.5ex]
2376 V_{rec} &=& \frac{f}{2 \pi V} \sum_{i,j}^{N} q_i q_j
2377 \sum_{m_x}\sum_{m_y}
2378 \sum_{m_{z}*} \frac{\exp{\left( -(\pi {\bf m}/\beta)^2 + 2 \pi i
2379       {\bf m} \cdot ({\bf r}_i - {\bf r}_j)\right)}}{{\bf m}^2} \\[0.5ex]
2380 V_{0} &=& -\frac{f \beta}{\sqrt{\pi}}\sum_{i}^{N} q_i^2,
2381 \end{eqnarray}
2382 where $\beta$ is a parameter that determines the relative weight of the
2383 direct and reciprocal sums and ${\bf m}=(m_x,m_y,m_z)$.
2384 In this way we can use a short cut-off (of the order of $1$~nm) in the direct space sum and a
2385 short cut-off in the reciprocal space sum ({\eg} 10 wave vectors in each
2386 direction). Unfortunately, the computational cost of the reciprocal
2387 part of the sum increases as $N^2$
2388 (or $N^{3/2}$ with a slightly better algorithm) and it is therefore not
2389 realistic for use in large systems.
2390
2391 \subsubsection{Using Ewald}
2392 Don't use Ewald unless you are absolutely sure this is what you want -
2393 for almost all cases the PME method below will perform much better.
2394 If you still want to employ classical Ewald summation enter this in
2395 your {\tt .mdp} file, if the side of your box is about $3$~nm:
2396
2397 \begin{verbatim}
2398 coulombtype     = Ewald
2399 rvdw            = 0.9
2400 rlist           = 0.9
2401 rcoulomb        = 0.9
2402 fourierspacing  = 0.6
2403 ewald-rtol      = 1e-5
2404 \end{verbatim}
2405
2406 The ratio of the box dimensions and the {\tt fourierspacing} parameter determines
2407 the highest magnitude of wave vectors $m_x,m_y,m_z$ to use in each
2408 direction. With a 3-nm cubic box this example would use $11$ wave vectors
2409 (from $-5$ to $5$) in each direction.  The {\tt ewald-rtol} parameter
2410 is the relative strength of the electrostatic interaction at the
2411 cut-off. Decreasing this gives you a more accurate direct sum, but a
2412 less accurate reciprocal sum.
2413
2414 \subsection{\normindex{PME}}
2415 \label{sec:pme}
2416 Particle-mesh Ewald is a method proposed by Tom
2417 Darden~\cite{Darden93} to improve the performance of the
2418 reciprocal sum. Instead of directly summing wave vectors, the charges
2419 are assigned to a grid using interpolation. The implementation in
2420 {\gromacs} uses cardinal B-spline interpolation~\cite{Essmann95},
2421 which is referred to as smooth PME (SPME).
2422 The grid is then Fourier transformed with a 3D FFT algorithm and the
2423 reciprocal energy term obtained by a single sum over the grid in
2424 k-space.
2425
2426 The potential at the grid points is calculated by inverse
2427 transformation, and by using the interpolation factors we get the
2428 forces on each atom.
2429
2430 The PME algorithm scales as $N \log(N)$, and is substantially faster
2431 than ordinary Ewald summation on medium to large systems. On very
2432 small systems it might still be better to use Ewald to avoid the
2433 overhead in setting up grids and transforms.
2434 For the parallelization of PME see the section on MPMD PME (\ssecref{mpmd_pme}).
2435
2436 With the Verlet cut-off scheme, the PME direct space potential is
2437 shifted by a constant such that the potential is zero at the
2438 cut-off. This shift is small and since the net system charge is close
2439 to zero, the total shift is very small, unlike in the case of the
2440 Lennard-Jones potential where all shifts add up. We apply the shift
2441 anyhow, such that the potential is the exact integral of the force.
2442
2443 \subsubsection{Using PME}
2444 To use Particle-mesh Ewald summation in {\gromacs}, specify the
2445 following lines in your {\tt .mdp} file:
2446
2447 \begin{verbatim}
2448 coulombtype     = PME
2449 rvdw            = 0.9
2450 rlist           = 0.9
2451 rcoulomb        = 0.9
2452 fourierspacing  = 0.12
2453 pme-order       = 4
2454 ewald-rtol      = 1e-5
2455 \end{verbatim}
2456
2457 In this case the {\tt fourierspacing} parameter determines the maximum
2458 spacing for the FFT grid (i.e. minimum number of grid points),
2459 and {\tt pme-order} controls the
2460 interpolation order. Using fourth-order (cubic) interpolation and this
2461 spacing should give electrostatic energies accurate to about
2462 $5\cdot10^{-3}$. Since the Lennard-Jones energies are not this
2463 accurate it might even be possible to increase this spacing slightly.
2464
2465 Pressure scaling works with PME, but be aware of the fact that
2466 anisotropic scaling can introduce artificial ordering in some systems.
2467
2468 \subsection{\normindex{P3M-AD}}
2469 \label{sec:pppm}
2470 The \seeindex{Particle-Particle Particle-Mesh}{P3M} methods of
2471 Hockney \& Eastwood can also be applied in {\gromacs} for the
2472 treatment of long range electrostatic interactions~\cite{Hockney81}.
2473 Although the P3M method was the first efficient long-range electrostatics
2474 method for molecular simulation, the smooth PME (SPME) method has largely
2475 replaced P3M as the method of choice in atomistic simulations. One performance
2476 disadvantage of the original P3M method was that it required 3 3D-FFT
2477 back transforms to obtain the forces on the particles. But this is not
2478 required for P3M and the forces can be derived through analytical differentiation
2479 of the potential, as done in PME. The resulting method is termed P3M-AD.
2480 The only remaining difference between P3M-AD and PME is the optimization
2481 of the lattice Green influence function for error minimization that P3M uses.
2482 However, in 2012 it has been shown that the SPME influence function can be
2483 modified to obtain P3M~\cite{Ballenegger2012}.
2484 This means that the advantage of error minimization in P3M-AD can be used
2485 at the same computational cost and with the same code as PME,
2486 just by adding a few lines to modify the influence function.
2487 However, at optimal parameter setting the effect of error minimization
2488 in P3M-AD is less than 10\%. P3M-AD does show large accuracy gains with
2489 interlaced (also known as staggered) grids, but that is not supported
2490 in {\gromacs} (yet).
2491
2492 P3M is used in {\gromacs} with exactly the same options as used with PME
2493 by selecting the electrostatics type:
2494 \begin{verbatim}
2495 coulombtype     = P3M-AD
2496 \end{verbatim}
2497
2498 \subsection{Optimizing Fourier transforms and PME calculations}
2499 It is recommended to optimize the parameters for calculation of
2500 electrostatic interaction such as PME grid dimensions and cut-off radii.
2501 This is particularly relevant to do before launching long production runs.
2502
2503 {\gromacs} includes a special tool, {\tt g_tune_pme}, which automates the 
2504 process of selecting the optimal size of the grid and number of PME-only
2505 notes.
2506
2507 %
2508 % Temporarily removed since I am not sure about the state of the testlr
2509 % program...
2510 %
2511 %It is possible to test the accuracy of your settings using the program
2512 %{\tt\normindex{testlr}} in the {\tt src/gmxlib} dir. This program computes
2513 %forces and potentials using PPPM and an Ewald implementation and gives the
2514 %absolute and RMS errors in both:
2515 %\begin{verbatim}
2516 %ERROR ANALYSIS
2517 %Error:         Max Abs         RMS
2518 %Force            1.132       0.251
2519 %Potential        0.113       0.035
2520 %\end{verbatim}
2521 %{\bf Note:} these numbers were generated using a grid spacing of
2522 %0.058 nm and $r_c$ = 1.0 nm.
2523 %
2524 %You can see what the accuracy is without optimizing the
2525 %$\hat{G}(k)$ function, if you pass the {\tt -ghat} option to {\tt
2526 %testlr}. Try it if you think the {\tt mk_ghat} procedure is a waste
2527 %of time.
2528 %} % Brace matches ifthenelse test for gmxlite
2529
2530
2531 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2532 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2533 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2534
2535 %\ifthenelse{\equal{\gmxlite}{1}}{}{
2536 \section{Long Range Van der Waals interactions}
2537 \subsection{Dispersion correction\index{dispersion correction}}
2538 In this section, we derive long-range corrections due to the use of a
2539 cut-off for Lennard-Jones or Buckingham interactions.
2540 We assume that the cut-off is
2541 so long that the repulsion term can safely be neglected, and therefore
2542 only the dispersion term is taken into account. Due to the nature of
2543 the dispersion interaction (we are truncating a potential proportional
2544 to $-r^{-6}$), energy and pressure corrections are both negative. While
2545 the energy correction is usually small, it may be important for free
2546 energy calculations where differences between two different Hamiltonians
2547 are considered. In contrast, the pressure correction is very large and
2548 can not be neglected under any circumstances where a correct pressure is
2549 required, especially for any NPT simulations. Although it is, in
2550 principle, possible to parameterize a force field such that the pressure
2551 is close to the desired experimental value without correction, such a
2552 method makes the parameterization dependent on the cut-off and is therefore
2553 undesirable.
2554
2555 \subsubsection{Energy}
2556 \label{sec:ecorr}
2557 The long-range contribution of the dispersion interaction to the
2558 virial can be derived analytically, if we assume a homogeneous
2559 system beyond the cut-off distance $r_c$. The dispersion energy
2560 between two particles is written as:
2561 \beq
2562 V(\rij) ~=~- C_6\,\rij^{-6}
2563 \eeq
2564 and the corresponding force is:
2565 \beq
2566 \Fvij ~=~- 6\,C_6\,\rij^{-8}\rvij
2567 \eeq
2568 In a periodic system it is not easy to calculate the full potentials,
2569 so usually a cut-off is applied, which can be abrupt or smooth.
2570 We will call the potential and force with cut-off $V_c$ and $\ve{F}_c$.
2571 The long-range contribution to the dispersion energy
2572 in a system with $N$ particles and particle density $\rho$ = $N/V$ is:
2573 \beq
2574 \label{eqn:enercorr}
2575 V_{lr} ~=~ \half N \rho\int_0^{\infty}   4\pi r^2 g(r) \left( V(r) -V_c(r) \right) {\dr}
2576 \eeq
2577 We will integrate this for the shift function, which is the most general
2578 form of van der Waals interaction available in {\gromacs}.
2579 The shift function has a constant difference $S$ from 0 to $r_1$
2580 and is 0 beyond the cut-off distance $r_c$.
2581 We can integrate \eqnref{enercorr}, assuming that the density in the sphere
2582 within $r_1$ is equal to the global density and
2583 the radial distribution function $g(r)$ is 1 beyond $r_1$:
2584 \bea
2585 \nonumber
2586 V_{lr}  &=& \half N \left(
2587   \rho\int_0^{r_1}  4\pi r^2 g(r) \, C_6 \,S\,{\dr}
2588 + \rho\int_{r_1}^{r_c}  4\pi r^2 \left( V(r) -V_c(r) \right) {\dr}
2589 + \rho\int_{r_c}^{\infty}  4\pi r^2 V(r) \, {\dr}
2590 \right) \\
2591 & = & \half N \left(\left(\frac{4}{3}\pi \rho r_1^{3} - 1\right) C_6 \,S
2592 + \rho\int_{r_1}^{r_c} 4\pi r^2 \left( V(r) -V_c(r) \right) {\dr}
2593 -\frac{4}{3} \pi N \rho\, C_6\,r_c^{-3}
2594 \right)
2595 \eea
2596 where the term $-1$ corrects for the self-interaction.
2597 For a plain cut-off we only need to assume that $g(r)$ is 1 beyond $r_c$
2598 and the correction reduces to~\cite{Allen87}:
2599 \bea
2600 V_{lr} & = & -\frac{2}{3} \pi N \rho\, C_6\,r_c^{-3}
2601 \eea
2602 If we consider, for example, a box of pure water, simulated with a cut-off
2603 of 0.9 nm and a density of 1 g cm$^{-3}$ this correction is
2604 $-0.75$ kJ mol$^{-1}$ per molecule.
2605
2606 For a homogeneous mixture we need to define
2607 an {\em average dispersion constant}:
2608 \beq
2609 \label{eqn:avcsix}
2610 \avcsix = \frac{2}{N(N-1)}\sum_i^N\sum_{j>i}^N C_6(i,j)\\
2611 \eeq
2612 In {\gromacs}, excluded pairs of atoms do not contribute to the average.
2613
2614 In the case of inhomogeneous simulation systems, {\eg} a system with a
2615 lipid interface, the energy correction can be applied if
2616 $\avcsix$ for both components is comparable.
2617
2618 \subsubsection{Virial and pressure}
2619 The scalar virial of the system due to the dispersion interaction between
2620 two particles $i$ and $j$ is given by:
2621 \beq
2622 \Xi~=~-\half \rvij \cdot \Fvij ~=~ 3\,C_6\,\rij^{-6}
2623 \eeq
2624 The pressure is given by:
2625 \beq
2626 P~=~\frac{2}{3\,V}\left(E_{kin} - \Xi\right)
2627 \eeq
2628 The long-range correction to the virial is given by:
2629 \beq
2630 \Xi_{lr} ~=~ \half N \rho \int_0^{\infty} 4\pi r^2 g(r) (\Xi -\Xi_c) \,\dr
2631 \eeq
2632 We can again integrate the long-range contribution to the
2633 virial assuming $g(r)$ is 1 beyond $r_1$:
2634 \bea
2635 \Xi_{lr}&=&     \half N \rho \left(
2636     \int_{r_1}^{r_c}  4 \pi r^2 (\Xi -\Xi_c)  \,\dr
2637   + \int_{r_c}^{\infty} 4 \pi r^2 3\,C_6\,\rij^{-6}\,  \dr
2638 \right) \nonumber\\
2639         &=&     \half N \rho \left(
2640     \int_{r_1}^{r_c} 4 \pi r^2 (\Xi -\Xi_c) \, \dr
2641   + 4 \pi C_6 \, r_c^{-3} \right)
2642 \eea
2643 For a plain cut-off the correction to the pressure is~\cite{Allen87}:
2644 \beq
2645 P_{lr}~=~-\frac{4}{3} \pi C_6\, \rho^2 r_c^{-3}
2646 \eeq
2647 Using the same example of a water box, the correction to the virial is
2648 0.75 kJ mol$^{-1}$ per molecule,
2649 the corresponding correction to the pressure for 
2650 SPC water is approximately $-280$ bar.
2651
2652 For homogeneous mixtures, we can again use the average dispersion constant
2653 $\avcsix$ (\eqnref{avcsix}):
2654 \beq
2655 P_{lr}~=~-\frac{4}{3} \pi \avcsix \rho^2 r_c^{-3}
2656 \label{eqn:pcorr}
2657 \eeq
2658 For inhomogeneous systems, \eqnref{pcorr} can be applied under the same
2659 restriction as holds for the energy (see \secref{ecorr}).
2660
2661 \subsection{Lennard-Jones PME\index{LJ-PME}}
2662
2663 In order to treat systems, using Lennard-Jones potentials, that are
2664 non-homogeneous outside of the cut-off distance, we can instead use
2665 the Particle-mesh Ewald method as discussed for electrostatics above.
2666 In this case the modified Ewald equations become
2667 \begin{eqnarray}
2668 V &=& V_{dir} + V_{rec} + V_{0} \\[0.5ex]
2669 V_{dir} &=& -\frac{1}{2} \sum_{i,j}^{N}
2670 \sum_{n_x}\sum_{n_y}
2671 \sum_{n_{z}*} \frac{C_{ij}^{(6)}g(\beta {r}_{ij,{\bf n}})}{{r_{ij,{\bf n}}}^6} \\[0.5ex]
2672 V_{rec} &=& \frac{{\pi}^{\frac{3}{2}} \beta^{3}}{2V} \sum_{m_x}\sum_{m_y}\sum_{m_{z}*}
2673 f(\pi |{\mathbf m}|/\beta) \times \sum_{i,j}^{N} C_{ij}^{(6)} {\mathrm{exp}}\left[-2\pi i {\bf m}\cdot({\bf r_i}-{\bf r_j})\right] \\[0.5ex]
2674 V_{0} &=& -\frac{\beta^{6}}{12}\sum_{i}^{N} C_{ii}^{(6)},
2675 \end{eqnarray}
2676
2677 where ${\bf m}=(m_x,m_y,m_z)$, $\beta$ is the parameter determining the weight between
2678 direct and reciprocal space, and ${C_{ij}}^{(6)}$ is the combined dispersion
2679 parameter for particle $i$ and $j$. The star indicates that terms
2680 with $i = j$ should be omitted when $((n_x,n_y,n_z)=(0,0,0))$, and
2681 ${\bf r}_{ij,{\bf n}}$ is the real distance between the particles.
2682 Following the derivation by Essmann~\cite{Essmann95}, the functions $f$ and $g$ introduced above are defined as
2683 \begin{eqnarray}
2684 f(x)&=&1/3\left[(1-2x^2){\mathrm{exp}}(-x^2) + 2{x^3}\sqrt{\pi}\,{\mathrm{erfc}}(x) \right] \\
2685 g(x)&=&{\mathrm{exp}}(-x^2)(1+x^2+\frac{x^4}{2}).
2686 \end{eqnarray}
2687
2688 The above methodology works fine as long as the dispersion parameters can be factorized in the same
2689 way as the charges for electrostatics
2690 \begin{equation}
2691 C_{ij}^{(6)} = \left({C_{ii}^{(6)} \, C_{jj}^{(6)}}\right)^{1/2}
2692 \end{equation}
2693 For Lorentz-Berthelot combination rules, the reciprocal part of this sum has to be calculated
2694 seven times due to the splitting of the dispersion parameter according to
2695 \begin{equation}
2696 C_{ij}^{(6)}=(\sigma_i+\sigma_j)^6=\sum_{n=0}^{6} P_{n}\sigma_{i}^{n}\sigma_{j}^{(6-n)},
2697 \end{equation}
2698 for $P_{n}$ the Pascal triangle coefficients. This introduces a
2699 non-negligible cost to the reciprocal part, requiring seven separate
2700 FFTs, and therefore this have been the limiting factor in previous
2701 attempts to implement LJ-PME. A solution to this problem is to
2702 approximate the interaction parameters in reciprocal space using
2703 geometrical combination rules.  This will preserve a well-defined
2704 Hamiltonian and significantly increase the performance of the
2705 simulations.
2706
2707 \begin{figure}
2708 \centerline{\includegraphics[width=15cm]{plots/ljpmedifference}}
2709 \caption {Dispersion potential between phosphorous and oxygen, The total, real and
2710 reciprocal parts of the total dispersion are shown. The reciprocal parts are calculated
2711 using either LB or geometric rules. The difference introduced by the use of the
2712 geometric approximation in the reciprocal part is small compared to the total
2713 interaction energy.}
2714 \label{fig:ljpmedifference}
2715 \end{figure}
2716
2717 This approximation does introduce some errors, but since the
2718 difference is located in the interactions calculated in reciprocal
2719 space, the effect will be very small compared to the total interaction
2720 energy (see \figref{ljpmedifference}). The relative error in
2721 the total dispersion energy will stay below 0.5\% in a lipid bilayer
2722 simulation, when using a real space cut-off of 1.0 nm. A more
2723 thorough discussion of this can be found in \cite{Wennberg13}.
2724
2725 \subsubsection{Using LJ-PME}
2726 To use Particle-mesh Ewald summation for Lennard-Jones interactions in {\gromacs}, specify the
2727 following lines in your {\tt .mdp} file:
2728 \begin{verbatim}
2729 vdwtype          = PME
2730 rvdw             = 1.0
2731 rlist            = 1.0
2732 rcoulomb         = 1.0
2733 fourierspacing   = 0.12
2734 pme-order        = 4
2735 ewald-rtol-lj    = 0.001
2736 lj-pme-comb-rule = geometric
2737 \end{verbatim}
2738
2739 The {\tt fourierspacing} and {\tt pme-order} are the same parameters
2740 as is used for electrostatic PME, and {\tt ewald-rtol-lj} controls
2741 splitting between real and reciprocal space in the same way as
2742 {\tt ewald-rtol}.  In addition to this, the combination rule to be used
2743 in reciprocal space is determined by {\tt lj-pme-comb-rule}. If the
2744 current force field uses Lorentz-Berthelot combination rules, it is
2745 possible to set {\tt lj-pme-comb-rule = geometric} in order to gain a
2746 significant increase in performance for a small loss in accuracy. The
2747 details of this approximation can be found in the section above.  The
2748 implementation of LJ-PME is currently unsupported together with the
2749 Verlet cut-off scheme and/or free energy calculations. These features
2750 will be added in upcoming releases
2751 %} % Brace matches ifthenelse test for gmxlite
2752
2753 \section{Force field\index{force field}}
2754 \label{sec:ff}
2755 A force field is built up from two distinct components:
2756 \begin{itemize}
2757 \item The set of equations (called the {\em
2758     \index{potential function}s}) used to generate the potential
2759   energies and their derivatives, the forces. These are described in
2760   detail in the previous chapter.
2761 \item The parameters used in this set of equations. These are not
2762   given in this manual, but in the data files corresponding to your
2763   {\gromacs} distribution.
2764 \end{itemize}
2765 Within one set of equations various sets of parameters can be
2766 used. Care must be taken that the combination of equations and
2767 parameters form a consistent set. It is in general dangerous to make
2768 {\em ad hoc} changes in a subset of parameters, because the various
2769 contributions to the total force are usually interdependent. This
2770 means in principle that every change should be documented, verified by
2771 comparison to experimental data and published in a peer-reviewed
2772 journal before it can be used.
2773
2774 {\gromacs} {\gmxver} includes several force fields, and additional
2775 ones are available on the website. If you do not know which one to
2776 select we recommend \gromosv{96} for united-atom setups and OPLS-AA/L for
2777 all-atom parameters. That said, we describe the available options in
2778 some detail.
2779
2780 \subsection{GROMOS87\index{GROMOS87 force field}}
2781 The \gromosv{87} suite of programs and corresponding force
2782 field~\cite{biomos} formed the basis for the development of {\gromacs}
2783 in the early 1990s.  The original GROMOS87 force field is not
2784 available in {\gromacs}. In previous versions ($<$ 3.3.2) there used
2785 to be the so-called ``{\gromacs} force field,'' which was based on
2786 \gromosv{87}~\cite{biomos}\index{GROMOS87}, with a small modification
2787 concerning the interaction between water oxygens and carbon
2788 atoms~\cite{Buuren93b,Mark94}, as well as 10 extra atom
2789 types~\cite{Jorgensen83,Buuren93a,Buuren93b,Mark94,Liu95}.
2790
2791 Since version 5.0 this force field has been ``deprecated''. Should 
2792 you have a justifiable reason to use this force field please 
2793 use eariler versions of {\gromacs}.
2794
2795 \subsubsection{All-hydrogen force field}
2796 The \gromosv{87}-based all-hydrogen force field is almost identical to the
2797 normal \gromosv{87} force field, since the extra hydrogens have no
2798 Lennard-Jones interaction and zero charge. The only differences are in
2799 the bond angle and improper dihedral angle terms. This force field is
2800 only useful when you need the exact hydrogen positions, for instance
2801 for distance restraints derived from NMR measurements. When citing
2802 this force field please read the previous paragraph.
2803
2804 \subsection{\gromosv{96}\index{GROMOS96 force field}}
2805 {\gromacs} supports the \gromosv{96} force fields~\cite{gromos96}.
2806 All parameters for the 43A1, 43A2 (development, improved alkane
2807 dihedrals), 45A3, 53A5, and 53A6 parameter sets are included.  All standard
2808 building blocks are included and topologies can be built automatically
2809 by {\tt pdb2gmx}.  
2810
2811 The \gromosv{96} force field is a further development of the \gromosv{87} force field.
2812 It has improvements over the \gromosv{87} force field for proteins and small molecules.
2813 {\bf Note} that the sugar parameters present in 53A6 do correspond to those published in 
2814 2004\cite{Oostenbrink2004}, which are different from those present in 45A4, which
2815 is not included in {\gromacs} at this time.  The 45A4 parameter set corresponds to a later
2816 revision of these parameters. 
2817 The \gromosv{96} force field is not, however, recommended for use with long alkanes and
2818 lipids.  The \gromosv{96} force field differs from the \gromosv{87}
2819 force field in a few respects:
2820 \begin{itemize}
2821 \item the force field parameters
2822 \item the parameters for the bonded interactions are not linked to atom types
2823 \item a fourth power bond stretching potential (\ssecref{G96bond})
2824 \item an angle potential based on the cosine of the angle (\ssecref{G96angle})
2825 \end{itemize}
2826 There are two differences in implementation between {\gromacs} and \gromosv{96}
2827 which can lead to slightly different results when simulating the same system
2828 with both packages: 
2829 \begin{itemize}
2830 \item in \gromosv{96} neighbor searching for solvents is performed on the
2831 first atom of the solvent molecule.  This is not implemented in {\gromacs},
2832 but the difference with searching by centers of charge groups is very small
2833 \item the virial in \gromosv{96} is molecule-based. This is not implemented in
2834 {\gromacs}, which uses atomic virials
2835 \end{itemize}
2836 The \gromosv{96} force field was parameterized with a Lennard-Jones cut-off
2837 of 1.4 nm, so be sure to use a Lennard-Jones cut-off ({\tt rvdw}) of at least 1.4.
2838 A larger cut-off is possible because the Lennard-Jones potential and forces
2839 are almost zero beyond 1.4 nm.
2840
2841 \subsubsection{\gromosv{96} files\swapindexquiet{GROMOS96}{files}}
2842 {\gromacs} can read and write \gromosv{96} coordinate and trajectory files.
2843 These files should have the extension {\tt .g96}.
2844 Such a file can be a \gromosv{96} initial/final
2845 configuration file, a coordinate trajectory file, or a combination of both.
2846 The file is fixed format; all floats are written as 15.9, and as such, files can get huge.
2847 {\gromacs} supports the following data blocks in the given order:
2848 \begin{itemize}
2849 \item Header block:
2850 \begin{verbatim}
2851 TITLE (mandatory)
2852 \end{verbatim}
2853
2854 \item Frame blocks:
2855 \begin{verbatim}
2856 TIMESTEP (optional)
2857 POSITION/POSITIONRED (mandatory)
2858 VELOCITY/VELOCITYRED (optional)
2859 BOX (optional)
2860 \end{verbatim}
2861
2862 \end{itemize}
2863 See the \gromosv{96} manual~\cite{gromos96} for a complete description
2864 of the blocks. {\bf Note} that all {\gromacs} programs can read compressed
2865 (.Z) or gzipped (.gz) files.
2866
2867 \subsection{OPLS/AA\index{OPLS/AA force field}}
2868
2869 \subsection{AMBER\index{AMBER force field}}
2870
2871 As of version 4.5, {\gromacs} provides native support for the following AMBER force fields:
2872
2873 \begin{itemize}
2874 \item AMBER94~\cite{Cornell1995}
2875 \item AMBER96~\cite{Kollman1996}
2876 \item AMBER99~\cite{Wang2000}
2877 \item AMBER99SB~\cite{Hornak2006}
2878 \item AMBER99SB-ILDN~\cite{Lindorff2010}
2879 \item AMBER03~\cite{Duan2003}
2880 \item AMBERGS~\cite{Garcia2002}
2881 \end{itemize}
2882
2883 \subsection{CHARMM\index{CHARMM force field}}
2884 \label{subsec:charmmff}
2885
2886 As of version 4.5, {\gromacs} supports the CHARMM27 force field for proteins~\cite{mackerell04, mackerell98}, lipids~\cite{feller00} and nucleic acids~\cite{foloppe00}. The protein parameters (and to some extent the lipid and nucleic acid parameters) were thoroughly tested -- both by comparing potential energies between the port and the standard parameter set in the CHARMM molecular simulation package, as well by how the protein force field behaves together with {\gromacs}-specific techniques such as virtual sites (enabling long time steps) and a fast implicit solvent recently implemented~\cite{Larsson10} -- and the details and results are presented in the paper by Bjelkmar et al.~\cite{Bjelkmar10}. The nucleic acid parameters, as well as the ones for HEME, were converted and tested by Michel Cuendet.
2887
2888 When selecting the CHARMM force field in {\tt \normindex{pdb2gmx}} the default option is to use \normindex{CMAP} (for torsional correction map). To exclude CMAP, use {\tt -nocmap}. The basic form of the CMAP term implemented in {\gromacs} is a function of the $\phi$ and $\psi$ backbone torsion angles. This term is defined in the {\tt .rtp} file by a {\tt [ cmap ]} statement at the end of each residue supporting CMAP. The following five atom names define the two torsional angles. Atoms 1-4 define $\phi$, and atoms 2-5 define $\psi$. The corresponding atom types are then matched to the correct CMAP type in the {\tt cmap.itp} file that contains the correction maps.
2889
2890 \subsection{Coarse-grained force-fields}
2891 \index{force-field, coarse-grained}
2892 \label{sec:cg-forcefields}
2893 Coarse-graining is a systematic way of reducing the number of degrees of freedom representing a system of interest. To achieve this, typically whole groups of atoms are represented by single beads and the coarse-grained force fields describes their effective interactions. Depending on the choice of parameterization, the functional form of such an interaction can be complicated and often tabulated potentials are used.
2894
2895 Coarse-grained models are designed to reproduce certain properties of a reference system. This can be either a full atomistic model or even experimental data. Depending on the properties to reproduce there are different methods to derive such force fields. An incomplete list of methods is given below:
2896 \begin{itemize}
2897 \item Conserving free energies
2898 \begin{itemize}
2899 \item Simplex method
2900 \item MARTINI force-field (see next section)
2901 \end{itemize}
2902 \item Conserving distributions (like the radial distribution function), so-called structure-based coarse-graining
2903 \begin{itemize}
2904 \item (iterative) Boltzmann inversion
2905 \item Inverse Monte Carlo
2906 \end{itemize}
2907 \item Conversing forces
2908 \begin{itemize}
2909 \item Force matching
2910 \end{itemize}
2911 \end{itemize}
2912
2913 Note that coarse-grained potentials are state dependent (e.g. temperature, density,...) and should be re-parametrized depending on the system of interest and the simulation conditions. This can for example be done using the \normindex{Versatile Object-oriented Toolkit for Coarse-Graining Applications (VOTCA)}~\cite{ruehle2009}. The package was designed to assists in systematic coarse-graining, provides implementations for most of the algorithms mentioned above and has a well tested interface to {\gromacs}. It is available as open source and further information can be found at \href{http://www.votca.org}{www.votca.org}.
2914
2915 \subsection{MARTINI\index{Martini force field}}
2916
2917 The MARTINI force field is a coarse-grain parameter set that allows for the construction 
2918 of many systems, including proteins and membranes.
2919
2920 \subsection{PLUM\index{PLUM force field}}
2921
2922 The \normindex{PLUM force field}~\cite{bereau12} is an example of a solvent-free
2923 protein-membrane model for which the membrane was derived from structure-based
2924 coarse-graining~\cite{wang_jpcb10}.  A {\gromacs} implementation can be found at
2925 \href{http://code.google.com/p/plumx/}{code.google.com/p/plumx}. 
2926
2927 % LocalWords:  dihedrals centro ij dV dr LJ lj rcl jj Bertelot OPLS bh bham rf
2928 % LocalWords:  coul defunits grompp crf vcrf fcrf Tironi Debye kgrf cgrf krf dx
2929 % LocalWords:  PPPM der Waals erfc lr elstat chirality bstretch bondpot kT kJ
2930 % LocalWords:  anharmonic morse mol betaij expminx SPC timestep fs FENE ijk kj
2931 % LocalWords:  anglepot CHARMm UB ik rr substituents ijkl Ryckaert Bellemans rb
2932 % LocalWords:  alkanes pdb gmx IUPAC IUB jkl cis rbdih crb kcal cubicspline xvg
2933 % LocalWords:  topfile mdrun posres ar dihr lcllll NMR nmr lcllllll NOEs lclll
2934 % LocalWords:  rav preprocessor ccccccccc ai aj fac disre mdp multi topol tpr
2935 % LocalWords:  fc ravdisre nstdisreout dipolar lll ccc orientational MSD const
2936 % LocalWords:  orire fitgrp nstorireout Drude intra Noskov et al fecalc coulrf
2937 % LocalWords:  polarizabilities parameterized sigeps Ek sc softcore GROMOS NBF
2938 % LocalWords:  hydrogens alkane vdwtype coulombtype mdpopt rlist rcoulomb rvdw
2939 % LocalWords:  nstlist virial funcparm VdW jk jl fvsite fd vsites lcr vsitetop
2940 % LocalWords:  vsite lclllll lcl parameterize parameterization enercorr avcsix
2941 % LocalWords:  pcorr ecorr totalcoulomb dir fourierspacing ewald rtol Darden gz
2942 % LocalWords:  FFT parallelization MPMD mpmd pme fft hoc Gromos gromos oxygens
2943 % LocalWords:  virials POSITIONRED VELOCITYRED gzipped Charmm Larsson Bjelkmar
2944 % LocalWords:  Cuendet CMAP nocmap dihedral Lennard covalent Verlet
2945 % LocalWords:  Berthelot nm flexwat ferguson itp harmonicangle versa
2946 % LocalWords:  harmonicbond atomtypes dihedraltypes equilibrated fdn
2947 % LocalWords:  distancerestraint LINCS Coulombic ja jb il SPME ILDN
2948 % LocalWords:  Hamiltonians atomtype AMBERGS rtp cmap graining VOTCA