ViewVC Help
View File | Revision Log | Show Annotations | View Changeset | Root Listing
root/group/trunk/electrostaticMethodsPaper/electrostaticMethods.tex
(Generate patch)

Comparing trunk/electrostaticMethodsPaper/electrostaticMethods.tex (file contents):
Revision 2637 by chrisfen, Sun Mar 19 02:48:19 2006 UTC vs.
Revision 2659 by chrisfen, Wed Mar 22 21:20:40 2006 UTC

# Line 25 | Line 25
25  
26   \begin{document}
27  
28 < \title{Is the Ewald Summation necessary? Pairwise alternatives to the accepted standard for long-range electrostatics}
28 > \title{Is the Ewald Summation necessary? \\
29 > Pairwise alternatives to the accepted standard for \\
30 > long-range electrostatics}
31  
32   \author{Christopher J. Fennell and J. Daniel Gezelter\footnote{Corresponding author. \ Electronic mail:
33   gezelter@nd.edu} \\
# Line 40 | Line 42 | Notre Dame, Indiana 46556}
42  
43   \nobibliography{}
44   \begin{abstract}
45 < A new method for accumulating electrostatic interactions was derived
46 < from the previous efforts described in \bibentry{Wolf99} and
47 < \bibentry{Zahn02} as a possible replacement for lattice sum methods in
48 < molecular simulations.  Comparisons were performed with this and other
49 < pairwise electrostatic summation techniques against the smooth
50 < particle mesh Ewald (SPME) summation to see how well they reproduce
51 < the energetics and dynamics of a variety of simulation types.  The
52 < newly derived Shifted-Force technique shows a remarkable ability to
53 < reproduce the behavior exhibited in simulations using SPME with an
54 < $\mathscr{O}(N)$ computational cost, equivalent to merely the
55 < real-space portion of the lattice summation.
56 <
45 > We investigate pairwise electrostatic interaction methods and show
46 > that there are viable and computationally efficient $(\mathscr{O}(N))$
47 > alternatives to the Ewald summation for typical modern molecular
48 > simulations.  These methods are extended from the damped and
49 > cutoff-neutralized Coulombic sum originally proposed by Wolf
50 > \textit{et al.}  One of these, the damped shifted force method, shows
51 > a remarkable ability to reproduce the energetic and dynamic
52 > characteristics exhibited by simulations employing lattice summation
53 > techniques.  Comparisons were performed with this and other pairwise
54 > methods against the smooth particle mesh Ewald ({\sc spme}) summation to see
55 > how well they reproduce the energetics and dynamics of a variety of
56 > simulation types.
57   \end{abstract}
58  
59   \newpage
# Line 65 | Line 67 | In molecular simulations, proper accumulation of the e
67   \section{Introduction}
68  
69   In molecular simulations, proper accumulation of the electrostatic
70 < interactions is considered one of the most essential and
71 < computationally demanding tasks.  The common molecular mechanics force
72 < fields are founded on representation of the atomic sites centered on
73 < full or partial charges shielded by Lennard-Jones type interactions.
74 < This means that nearly every pair interaction involves an
75 < charge-charge calculation.  Coupled with $r^{-1}$ decay, the monopole
76 < interactions quickly become a burden for molecular systems of all
77 < sizes.  For example, in small systems, the electrostatic pair
78 < interaction may not have decayed appreciably within the box length
79 < leading to an effect excluded from the pair interactions within a unit
80 < box.  In large systems, excessively large cutoffs need to be used to
81 < accurately incorporate their effect, and since the computational cost
80 < increases proportionally with the cutoff sphere, it quickly becomes an
81 < impractical task to perform these calculations.
70 > interactions is essential and is one of the most
71 > computationally-demanding tasks.  The common molecular mechanics force
72 > fields represent atomic sites with full or partial charges protected
73 > by Lennard-Jones (short range) interactions.  This means that nearly
74 > every pair interaction involves a calculation of charge-charge forces.
75 > Coupled with relatively long-ranged $r^{-1}$ decay, the monopole
76 > interactions quickly become the most expensive part of molecular
77 > simulations.  Historically, the electrostatic pair interaction would
78 > not have decayed appreciably within the typical box lengths that could
79 > be feasibly simulated.  In the larger systems that are more typical of
80 > modern simulations, large cutoffs should be used to incorporate
81 > electrostatics correctly.
82  
83 + There have been many efforts to address the proper and practical
84 + handling of electrostatic interactions, and these have resulted in a
85 + variety of techniques.\cite{Roux99,Sagui99,Tobias01} These are
86 + typically classified as implicit methods (i.e., continuum dielectrics,
87 + static dipolar fields),\cite{Born20,Grossfield00} explicit methods
88 + (i.e., Ewald summations, interaction shifting or
89 + truncation),\cite{Ewald21,Steinbach94} or a mixture of the two (i.e.,
90 + reaction field type methods, fast multipole
91 + methods).\cite{Onsager36,Rokhlin85} The explicit or mixed methods are
92 + often preferred because they physically incorporate solvent molecules
93 + in the system of interest, but these methods are sometimes difficult
94 + to utilize because of their high computational cost.\cite{Roux99} In
95 + addition to the computational cost, there have been some questions
96 + regarding possible artifacts caused by the inherent periodicity of the
97 + explicit Ewald summation.\cite{Tobias01}
98 +
99 + In this paper, we focus on a new set of shifted methods devised by
100 + Wolf {\it et al.},\cite{Wolf99} which we further extend.  These
101 + methods along with a few other mixed methods (i.e. reaction field) are
102 + compared with the smooth particle mesh Ewald
103 + sum,\cite{Onsager36,Essmann99} which is our reference method for
104 + handling long-range electrostatic interactions. The new methods for
105 + handling electrostatics have the potential to scale linearly with
106 + increasing system size since they involve only a simple modification
107 + to the direct pairwise sum.  They also lack the added periodicity of
108 + the Ewald sum, so they can be used for systems which are non-periodic
109 + or which have one- or two-dimensional periodicity.  Below, these
110 + methods are evaluated using a variety of model systems to establish
111 + their usability in molecular simulations.
112 +
113   \subsection{The Ewald Sum}
114 < The complete accumulation electrostatic interactions in a system with periodic boundary conditions (PBC) requires the consideration of the effect of all charges within a simulation box, as well as those in the periodic replicas,
114 > The complete accumulation electrostatic interactions in a system with
115 > periodic boundary conditions (PBC) requires the consideration of the
116 > effect of all charges within a (cubic) simulation box as well as those
117 > in the periodic replicas,
118   \begin{equation}
119   V_\textrm{elec} = \frac{1}{2} {\sum_{\mathbf{n}}}^\prime \left[ \sum_{i=1}^N\sum_{j=1}^N \phi\left( \mathbf{r}_{ij} + L\mathbf{n},\bm{\Omega}_i,\bm{\Omega}_j\right) \right],
120   \label{eq:PBCSum}
121   \end{equation}
122 < where the sum over $\mathbf{n}$ is a sum over all periodic box replicas
123 < with integer coordinates $\mathbf{n} = (l,m,n)$, and the prime indicates
124 < $i = j$ are neglected for $\mathbf{n} = 0$.\cite{deLeeuw80} Within the
125 < sum, $N$ is the number of electrostatic particles, $\mathbf{r}_{ij}$ is
126 < $\mathbf{r}_j - \mathbf{r}_i$, $L$ is the cell length, $\bm{\Omega}_{i,j}$ are
127 < the Euler angles for $i$ and $j$, and $\phi$ is Poisson's equation
128 < ($\phi(\mathbf{r}_{ij}) = q_i q_j |\mathbf{r}_{ij}|^{-1}$ for charge-charge
129 < interactions). In the case of monopole electrostatics,
130 < eq. (\ref{eq:PBCSum}) is conditionally convergent and is discontiuous
131 < for non-neutral systems.
122 > where the sum over $\mathbf{n}$ is a sum over all periodic box
123 > replicas with integer coordinates $\mathbf{n} = (l,m,n)$, and the
124 > prime indicates $i = j$ are neglected for $\mathbf{n} =
125 > 0$.\cite{deLeeuw80} Within the sum, $N$ is the number of electrostatic
126 > particles, $\mathbf{r}_{ij}$ is $\mathbf{r}_j - \mathbf{r}_i$, $L$ is
127 > the cell length, $\bm{\Omega}_{i,j}$ are the Euler angles for $i$ and
128 > $j$, and $\phi$ is the solution to Poisson's equation
129 > ($\phi(\mathbf{r}_{ij}) = q_i q_j |\mathbf{r}_{ij}|^{-1}$ for
130 > charge-charge interactions). In the case of monopole electrostatics,
131 > eq. (\ref{eq:PBCSum}) is conditionally convergent and is divergent for
132 > non-neutral systems.
133  
134 < This electrostatic summation problem was originally studied by Ewald
134 > The electrostatic summation problem was originally studied by Ewald
135   for the case of an infinite crystal.\cite{Ewald21}. The approach he
136   took was to convert this conditionally convergent sum into two
137   absolutely convergent summations: a short-ranged real-space summation
# Line 108 | Line 142 | V_\textrm{elec} = \frac{1}{2}& \sum_{i=1}^N\sum_{j=1}^
142   \end{split}
143   \label{eq:EwaldSum}
144   \end{equation}
145 < where $\alpha$ is a damping parameter, or separation constant, with
146 < units of \AA$^{-1}$, $\mathbf{k}$ are the reciprocal vectors and equal
145 > where $\alpha$ is the damping or convergence parameter with units of
146 > \AA$^{-1}$, $\mathbf{k}$ are the reciprocal vectors and are equal to
147   $2\pi\mathbf{n}/L^2$, and $\epsilon_\textrm{S}$ is the dielectric
148 < constant of the encompassing medium. The final two terms of
148 > constant of the surrounding medium. The final two terms of
149   eq. (\ref{eq:EwaldSum}) are a particle-self term and a dipolar term
150   for interacting with a surrounding dielectric.\cite{Allen87} This
151   dipolar term was neglected in early applications in molecular
152   simulations,\cite{Brush66,Woodcock71} until it was introduced by de
153   Leeuw {\it et al.} to address situations where the unit cell has a
154 < dipole moment and this dipole moment gets magnified through
155 < replication of the periodic images.\cite{deLeeuw80,Smith81} If this
156 < term is taken to be zero, the system is using conducting boundary
154 > dipole moment which is magnified through replication of the periodic
155 > images.\cite{deLeeuw80,Smith81} If this term is taken to be zero, the
156 > system is said to be using conducting (or ``tin-foil'') boundary
157   conditions, $\epsilon_{\rm S} = \infty$. Figure
158   \ref{fig:ewaldTime} shows how the Ewald sum has been applied over
159 < time.  Initially, due to the small size of systems, the entire
160 < simulation box was replicated to convergence.  Currently, we balance a
161 < spherical real-space cutoff with the reciprocal sum and consider the
162 < surrounding dielectric.
159 > time.  Initially, due to the small system sizes that could be
160 > simulated feasibly, the entire simulation box was replicated to
161 > convergence.  In more modern simulations, the systems have grown large
162 > enough that a real-space cutoff could potentially give convergent
163 > behavior.  Indeed, it has been observed that with the choice of a
164 > small $\alpha$, the reciprocal-space portion of the Ewald sum can be
165 > rapidly convergent and small relative to the real-space
166 > portion.\cite{Karasawa89,Kolafa92}
167 >
168   \begin{figure}
169   \centering
170   \includegraphics[width = \linewidth]{./ewaldProgression.pdf}
171 < \caption{How the application of the Ewald summation has changed with
172 < the increase in computer power.  Initially, only small numbers of
173 < particles could be studied, and the Ewald sum acted to replicate the
174 < unit cell charge distribution out to convergence.  Now, much larger
175 < systems of charges are investigated with fixed distance cutoffs.  The
137 < calculated structure factor is used to sum out to great distance, and
138 < a surrounding dielectric term is included.}
171 > \caption{The change in the application of the Ewald sum with
172 > increasing computational power.  Initially, only small systems could
173 > be studied, and the Ewald sum replicated the simulation box to
174 > convergence.  Now, much larger systems of charges are investigated
175 > with fixed-distance cutoffs.}
176   \label{fig:ewaldTime}
177   \end{figure}
178  
179 < The Ewald summation in the straight-forward form is an
180 < $\mathscr{O}(N^2)$ algorithm.  The separation constant $(\alpha)$
181 < plays an important role in the computational cost balance between the
182 < direct and reciprocal-space portions of the summation.  The choice of
183 < the magnitude of this value allows one to select whether the
184 < real-space or reciprocal space portion of the summation is an
185 < $\mathscr{O}(N^2)$ calcualtion (with the other being
186 < $\mathscr{O}(N)$).\cite{Sagui99} With appropriate choice of $\alpha$
187 < and thoughtful algorithm development, this cost can be brought down to
188 < $\mathscr{O}(N^{3/2})$.\cite{Perram88} The typical route taken to
189 < reduce the cost of the Ewald summation further is to set $\alpha$ such
190 < that the real-space interactions decay rapidly, allowing for a short
191 < spherical cutoff, and then optimize the reciprocal space summation.
192 < These optimizations usually involve the utilization of the fast
156 < Fourier transform (FFT),\cite{Hockney81} leading to the
179 > The original Ewald summation is an $\mathscr{O}(N^2)$ algorithm.  The
180 > convergence parameter $(\alpha)$ plays an important role in balancing
181 > the computational cost between the direct and reciprocal-space
182 > portions of the summation.  The choice of this value allows one to
183 > select whether the real-space or reciprocal space portion of the
184 > summation is an $\mathscr{O}(N^2)$ calculation (with the other being
185 > $\mathscr{O}(N)$).\cite{Sagui99} With the appropriate choice of
186 > $\alpha$ and thoughtful algorithm development, this cost can be
187 > reduced to $\mathscr{O}(N^{3/2})$.\cite{Perram88} The typical route
188 > taken to reduce the cost of the Ewald summation even further is to set
189 > $\alpha$ such that the real-space interactions decay rapidly, allowing
190 > for a short spherical cutoff. Then the reciprocal space summation is
191 > optimized.  These optimizations usually involve utilization of the
192 > fast Fourier transform (FFT),\cite{Hockney81} leading to the
193   particle-particle particle-mesh (P3M) and particle mesh Ewald (PME)
194   methods.\cite{Shimada93,Luty94,Luty95,Darden93,Essmann95} In these
195   methods, the cost of the reciprocal-space portion of the Ewald
196 < summation is from $\mathscr{O}(N^2)$ down to $\mathscr{O}(N \log N)$.
196 > summation is reduced from $\mathscr{O}(N^2)$ down to $\mathscr{O}(N
197 > \log N)$.
198  
199 < These developments and optimizations have led the use of the Ewald
200 < summation to become routine in simulations with periodic boundary
201 < conditions. However, in certain systems the intrinsic three
202 < dimensional periodicity can prove to be problematic, such as two
203 < dimensional surfaces and membranes.  The Ewald sum has been
204 < reformulated to handle 2D
205 < systems,\cite{Parry75,Parry76,Heyes77,deLeeuw79,Rhee89}, but the new
206 < methods have been found to be computationally
207 < expensive.\cite{Spohr97,Yeh99} Inclusion of a correction term in the
208 < full Ewald summation is a possible direction for enabling the handling
172 < of 2D systems and the inclusion of the optimizations described
173 < previously.\cite{Yeh99}
199 > These developments and optimizations have made the use of the Ewald
200 > summation routine in simulations with periodic boundary
201 > conditions. However, in certain systems, such as vapor-liquid
202 > interfaces and membranes, the intrinsic three-dimensional periodicity
203 > can prove problematic.  The Ewald sum has been reformulated to handle
204 > 2D systems,\cite{Parry75,Parry76,Heyes77,deLeeuw79,Rhee89}, but the
205 > new methods are computationally expensive.\cite{Spohr97,Yeh99}
206 > Inclusion of a correction term in the Ewald summation is a possible
207 > direction for handling 2D systems while still enabling the use of the
208 > modern optimizations.\cite{Yeh99}
209  
210   Several studies have recognized that the inherent periodicity in the
211 < Ewald sum can also have an effect on systems that have the same
212 < dimensionality.\cite{Roberts94,Roberts95,Luty96,Hunenberger99a,Hunenberger99b,Weber00}
213 < Good examples are solvated proteins kept at high relative
214 < concentration due to the periodicity of the electrostatics.  In these
211 > Ewald sum can also have an effect on three-dimensional
212 > systems.\cite{Roberts94,Roberts95,Luty96,Hunenberger99a,Hunenberger99b,Weber00}
213 > Solvated proteins are essentially kept at high concentration due to
214 > the periodicity of the electrostatic summation method.  In these
215   systems, the more compact folded states of a protein can be
216   artificially stabilized by the periodic replicas introduced by the
217 < Ewald summation.\cite{Weber00} Thus, care ought to be taken when
218 < considering the use of the Ewald summation where the intrinsic
219 < perodicity may negatively affect the system dynamics.
217 > Ewald summation.\cite{Weber00} Thus, care must be taken when
218 > considering the use of the Ewald summation where the assumed
219 > periodicity would introduce spurious effects in the system dynamics.
220  
186
221   \subsection{The Wolf and Zahn Methods}
222   In a recent paper by Wolf \textit{et al.}, a procedure was outlined
223   for the accurate accumulation of electrostatic interactions in an
224 < efficient pairwise fashion and lacks the inherent periodicity of the
225 < Ewald summation.\cite{Wolf99} Wolf \textit{et al.} observed that the
226 < electrostatic interaction is effectively short-ranged in condensed
227 < phase systems and that neutralization of the charge contained within
228 < the cutoff radius is crucial for potential stability. They devised a
229 < pairwise summation method that ensures charge neutrality and gives
230 < results similar to those obtained with the Ewald summation.  The
231 < resulting shifted Coulomb potential (Eq. \ref{eq:WolfPot}) includes
232 < image-charges subtracted out through placement on the cutoff sphere
233 < and a distance-dependent damping function (identical to that seen in
234 < the real-space portion of the Ewald sum) to aid convergence
224 > efficient pairwise fashion.  This procedure lacks the inherent
225 > periodicity of the Ewald summation.\cite{Wolf99} Wolf \textit{et al.}
226 > observed that the electrostatic interaction is effectively
227 > short-ranged in condensed phase systems and that neutralization of the
228 > charge contained within the cutoff radius is crucial for potential
229 > stability. They devised a pairwise summation method that ensures
230 > charge neutrality and gives results similar to those obtained with the
231 > Ewald summation.  The resulting shifted Coulomb potential
232 > (Eq. \ref{eq:WolfPot}) includes image-charges subtracted out through
233 > placement on the cutoff sphere and a distance-dependent damping
234 > function (identical to that seen in the real-space portion of the
235 > Ewald sum) to aid convergence
236   \begin{equation}
237 < V_{\textrm{Wolf}}(r_{ij})= \frac{q_iq_j \textrm{erfc}(\alpha r_{ij})}{r_{ij}}-\lim_{r_{ij}\rightarrow R_\textrm{c}}\left\{\frac{q_iq_j \textrm{erfc}(\alpha r_{ij})}{r_{ij}}\right\}.
237 > V_{\textrm{Wolf}}(r_{ij})= \frac{q_i q_j \textrm{erfc}(\alpha r_{ij})}{r_{ij}}-\lim_{r_{ij}\rightarrow R_\textrm{c}}\left\{\frac{q_iq_j \textrm{erfc}(\alpha r_{ij})}{r_{ij}}\right\}.
238   \label{eq:WolfPot}
239   \end{equation}
240   Eq. (\ref{eq:WolfPot}) is essentially the common form of a shifted
# Line 224 | Line 259 | the potential are not commensurate.  Attempts to use b
259   force expressions for use in simulations involving water.\cite{Zahn02}
260   In their work, they pointed out that the forces and derivative of
261   the potential are not commensurate.  Attempts to use both
262 < Eqs. (\ref{eq:WolfPot}) and (\ref{eq:WolfForces}) together will lead
262 > eqs. (\ref{eq:WolfPot}) and (\ref{eq:WolfForces}) together will lead
263   to poor energy conservation.  They correctly observed that taking the
264   limit shown in equation (\ref{eq:WolfPot}) {\it after} calculating the
265   derivatives gives forces for a different potential energy function
266 < than the one shown in Eq. (\ref{eq:WolfPot}).
266 > than the one shown in eq. (\ref{eq:WolfPot}).
267  
268 < Zahn \textit{et al.} proposed a modified form of this ``Wolf summation
269 < method'' as a way to use this technique in Molecular Dynamics
270 < simulations.  Taking the integral of the forces shown in equation
236 < \ref{eq:WolfForces}, they proposed a new damped Coulomb
237 < potential,
268 > Zahn \textit{et al.} introduced a modified form of this summation
269 > method as a way to use the technique in Molecular Dynamics
270 > simulations.  They proposed a new damped Coulomb potential,
271   \begin{equation}
272 < V_{\textrm{Zahn}}(r_{ij}) = q_iq_j\left\{\frac{\mathrm{erfc}\left(\alpha r_{ij}\right)}{r_{ij}}-\left[\frac{\mathrm{erfc}\left(\alpha R_\mathrm{c}\right)}{R_\mathrm{c}^2}+\frac{2\alpha}{\pi^{1/2}}\frac{\exp\left(-\alpha^2R_\mathrm{c}^2\right)}{R_\mathrm{c}}\right]\left(r_{ij}-R_\mathrm{c}\right)\right\}.
272 > V_{\textrm{Zahn}}(r_{ij}) = q_iq_j\left\{\frac{\mathrm{erfc}\left(\alpha r_{ij}\right)}{r_{ij}}-\left[\frac{\mathrm{erfc}\left(\alpha R_\mathrm{c}\right)}{R_\mathrm{c}^2}+\frac{2\alpha}{\pi^{1/2}}\frac{\exp\left(-\alpha^2R_\mathrm{c}^2\right)}{R_\mathrm{c}}\right]\left(r_{ij}-R_\mathrm{c}\right)\right\},
273   \label{eq:ZahnPot}
274   \end{equation}
275 < They showed that this potential does fairly well at capturing the
275 > and showed that this potential does fairly well at capturing the
276   structural and dynamic properties of water compared the same
277   properties obtained using the Ewald sum.
278  
# Line 270 | Line 303 | shifted potential,
303   \textit{et al.}  and Zahn \textit{et al.} by considering the standard
304   shifted potential,
305   \begin{equation}
306 < v_\textrm{SP}(r) =      \begin{cases}
306 > V_\textrm{SP}(r) =      \begin{cases}
307   v(r)-v_\textrm{c} &\quad r\leqslant R_\textrm{c} \\ 0 &\quad r >
308   R_\textrm{c}  
309   \end{cases},
# Line 278 | Line 311 | and shifted force,
311   \end{equation}
312   and shifted force,
313   \begin{equation}
314 < v_\textrm{SF}(r) =      \begin{cases}
314 > V_\textrm{SF}(r) =      \begin{cases}
315   v(r)-v_\textrm{c}-\left(\frac{d v(r)}{d r}\right)_{r=R_\textrm{c}}(r-R_\textrm{c})
316   &\quad r\leqslant R_\textrm{c} \\ 0 &\quad r > R_\textrm{c}
317                                                  \end{cases},
# Line 294 | Line 327 | of the unshifted potential itself (when inside the cut
327   The forces associated with the shifted potential are simply the forces
328   of the unshifted potential itself (when inside the cutoff sphere),
329   \begin{equation}
330 < f_{\textrm{SP}} = -\left( \frac{d v(r)}{dr} \right),
330 > F_{\textrm{SP}} = -\left( \frac{d v(r)}{dr} \right),
331   \end{equation}
332   and are zero outside.  Inside the cutoff sphere, the forces associated
333   with the shifted force form can be written,
334   \begin{equation}
335 < f_{\textrm{SF}} = -\left( \frac{d v(r)}{dr} \right) + \left(\frac{d
335 > F_{\textrm{SF}} = -\left( \frac{d v(r)}{dr} \right) + \left(\frac{d
336   v(r)}{dr} \right)_{r=R_\textrm{c}}.
337   \end{equation}
338  
339 < If the potential ($v(r)$) is taken to be the normal Coulomb potential,
339 > If the potential, $v(r)$, is taken to be the normal Coulomb potential,
340   \begin{equation}
341   v(r) = \frac{q_i q_j}{r},
342   \label{eq:Coulomb}
# Line 311 | Line 344 | al.}'s undamped prescription:
344   then the Shifted Potential ({\sc sp}) forms will give Wolf {\it et
345   al.}'s undamped prescription:
346   \begin{equation}
347 < v_\textrm{SP}(r) =
347 > V_\textrm{SP}(r) =
348   q_iq_j\left(\frac{1}{r}-\frac{1}{R_\textrm{c}}\right) \quad
349   r\leqslant R_\textrm{c},
350   \label{eq:SPPot}
351   \end{equation}
352   with associated forces,
353   \begin{equation}
354 < f_\textrm{SP}(r) = q_iq_j\left(\frac{1}{r^2}\right) \quad r\leqslant R_\textrm{c}.
354 > F_\textrm{SP}(r) = q_iq_j\left(\frac{1}{r^2}\right) \quad r\leqslant R_\textrm{c}.
355   \label{eq:SPForces}
356   \end{equation}
357   These forces are identical to the forces of the standard Coulomb
# Line 333 | Line 366 | will give,
366   The shifted force ({\sc sf}) form using the normal Coulomb potential
367   will give,
368   \begin{equation}
369 < v_\textrm{SF}(r) = q_iq_j\left[\frac{1}{r}-\frac{1}{R_\textrm{c}}+\left(\frac{1}{R_\textrm{c}^2}\right)(r-R_\textrm{c})\right] \quad r\leqslant R_\textrm{c}.
369 > V_\textrm{SF}(r) = q_iq_j\left[\frac{1}{r}-\frac{1}{R_\textrm{c}}+\left(\frac{1}{R_\textrm{c}^2}\right)(r-R_\textrm{c})\right] \quad r\leqslant R_\textrm{c}.
370   \label{eq:SFPot}
371   \end{equation}
372   with associated forces,
373   \begin{equation}
374 < f_\textrm{SF}(r) =  q_iq_j\left(\frac{1}{r^2}-\frac{1}{R_\textrm{c}^2}\right) \quad r\leqslant R_\textrm{c}.
374 > F_\textrm{SF}(r) =  q_iq_j\left(\frac{1}{r^2}-\frac{1}{R_\textrm{c}^2}\right) \quad r\leqslant R_\textrm{c}.
375   \label{eq:SFForces}
376   \end{equation}
377   This formulation has the benefits that there are no discontinuities at
378 < the cutoff distance, while the neutralizing image charges are present
379 < in both the energy and force expressions.  It would be simple to add
380 < the self-neutralizing term back when computing the total energy of the
378 > the cutoff radius, while the neutralizing image charges are present in
379 > both the energy and force expressions.  It would be simple to add the
380 > self-neutralizing term back when computing the total energy of the
381   system, thereby maintaining the agreement with the Madelung energies.
382   A side effect of this treatment is the alteration in the shape of the
383   potential that comes from the derivative term.  Thus, a degree of
# Line 352 | Line 385 | Wolf \textit{et al.} originally discussed the energeti
385   to gain functionality in dynamics simulations.
386  
387   Wolf \textit{et al.} originally discussed the energetics of the
388 < shifted Coulomb potential (Eq. \ref{eq:SPPot}), and they found that
389 < it was still insufficient for accurate determination of the energy
390 < with reasonable cutoff distances.  The calculated Madelung energies
391 < fluctuate around the expected value with increasing cutoff radius, but
392 < the oscillations converge toward the correct value.\cite{Wolf99} A
388 > shifted Coulomb potential (Eq. \ref{eq:SPPot}) and found that it was
389 > insufficient for accurate determination of the energy with reasonable
390 > cutoff distances.  The calculated Madelung energies fluctuated around
391 > the expected value as the cutoff radius was increased, but the
392 > oscillations converged toward the correct value.\cite{Wolf99} A
393   damping function was incorporated to accelerate the convergence; and
394 < though alternative functional forms could be
394 > though alternative forms for the damping function could be
395   used,\cite{Jones56,Heyes81} the complimentary error function was
396   chosen to mirror the effective screening used in the Ewald summation.
397   Incorporating this error function damping into the simple Coulomb
# Line 367 | Line 400 | v(r) = \frac{\mathrm{erfc}\left(\alpha r\right)}{r},
400   v(r) = \frac{\mathrm{erfc}\left(\alpha r\right)}{r},
401   \label{eq:dampCoulomb}
402   \end{equation}
403 < the shifted potential (Eq. (\ref{eq:SPPot})) can be reacquired using
371 < eq. (\ref{eq:shiftingForm}),
403 > the shifted potential (eq. (\ref{eq:SPPot})) becomes
404   \begin{equation}
405 < v_{\textrm{DSP}}(r) = q_iq_j\left(\frac{\textrm{erfc}\left(\alpha r\right)}{r}-\frac{\textrm{erfc}\left(\alpha R_\textrm{c}\right)}{R_\textrm{c}}\right) \quad r\leqslant R_\textrm{c},
405 > V_{\textrm{DSP}}(r) = q_iq_j\left(\frac{\textrm{erfc}\left(\alpha r\right)}{r}-\frac{\textrm{erfc}\left(\alpha R_\textrm{c}\right)}{R_\textrm{c}}\right) \quad r\leqslant R_\textrm{c},
406   \label{eq:DSPPot}
407   \end{equation}
408   with associated forces,
409   \begin{equation}
410 < f_{\textrm{DSP}}(r) = q_iq_j\left(\frac{\textrm{erfc}\left(\alpha r\right)}{r^2}+\frac{2\alpha}{\pi^{1/2}}\frac{\exp{\left(-\alpha^2r^2\right)}}{r}\right) \quad r\leqslant R_\textrm{c}.
410 > F_{\textrm{DSP}}(r) = q_iq_j\left(\frac{\textrm{erfc}\left(\alpha r\right)}{r^2}+\frac{2\alpha}{\pi^{1/2}}\frac{\exp{\left(-\alpha^2r^2\right)}}{r}\right) \quad r\leqslant R_\textrm{c}.
411   \label{eq:DSPForces}
412   \end{equation}
413 < Again, this damped shifted potential suffers from a discontinuity and
414 < a lack of the image charges in the forces.  To remedy these concerns,
415 < one may derive a {\sc sf} variant by including  the derivative
416 < term in eq. (\ref{eq:shiftingForm}),
413 > Again, this damped shifted potential suffers from a
414 > force-discontinuity at the cutoff radius, and the image charges play
415 > no role in the forces.  To remedy these concerns, one may derive a
416 > {\sc sf} variant by including the derivative term in
417 > eq. (\ref{eq:shiftingForm}),
418   \begin{equation}
419   \begin{split}
420 < v_\mathrm{DSF}(r) = q_iq_j\Biggr{[}&\frac{\mathrm{erfc}\left(\alpha r\right)}{r}-\frac{\mathrm{erfc}\left(\alpha R_\mathrm{c}\right)}{R_\mathrm{c}} \\ &\left.+\left(\frac{\mathrm{erfc}\left(\alpha R_\mathrm{c}\right)}{R_\mathrm{c}^2}+\frac{2\alpha}{\pi^{1/2}}\frac{\exp\left(-\alpha^2R_\mathrm{c}^2\right)}{R_\mathrm{c}}\right)\left(r-R_\mathrm{c}\right)\ \right] \quad r\leqslant R_\textrm{c}.
420 > V_\mathrm{DSF}(r) = q_iq_j\Biggr{[}&\frac{\mathrm{erfc}\left(\alpha r\right)}{r}-\frac{\mathrm{erfc}\left(\alpha R_\mathrm{c}\right)}{R_\mathrm{c}} \\ &\left.+\left(\frac{\mathrm{erfc}\left(\alpha R_\mathrm{c}\right)}{R_\mathrm{c}^2}+\frac{2\alpha}{\pi^{1/2}}\frac{\exp\left(-\alpha^2R_\mathrm{c}^2\right)}{R_\mathrm{c}}\right)\left(r-R_\mathrm{c}\right)\ \right] \quad r\leqslant R_\textrm{c}.
421   \label{eq:DSFPot}
422   \end{split}
423   \end{equation}
424   The derivative of the above potential will lead to the following forces,
425   \begin{equation}
426   \begin{split}
427 < f_\mathrm{DSF}(r) = q_iq_j\Biggr{[}&\left(\frac{\textrm{erfc}\left(\alpha r\right)}{r^2}+\frac{2\alpha}{\pi^{1/2}}\frac{\exp{\left(-\alpha^2r^2\right)}}{r}\right) \\ &\left.-\left(\frac{\textrm{erfc}\left(\alpha R_{\textrm{c}}\right)}{R_{\textrm{c}}^2}+\frac{2\alpha}{\pi^{1/2}}\frac{\exp{\left(-\alpha^2R_{\textrm{c}}^2\right)}}{R_{\textrm{c}}}\right)\right] \quad r\leqslant R_\textrm{c}.
427 > F_\mathrm{DSF}(r) = q_iq_j\Biggr{[}&\left(\frac{\textrm{erfc}\left(\alpha r\right)}{r^2}+\frac{2\alpha}{\pi^{1/2}}\frac{\exp{\left(-\alpha^2r^2\right)}}{r}\right) \\ &\left.-\left(\frac{\textrm{erfc}\left(\alpha R_{\textrm{c}}\right)}{R_{\textrm{c}}^2}+\frac{2\alpha}{\pi^{1/2}}\frac{\exp{\left(-\alpha^2R_{\textrm{c}}^2\right)}}{R_{\textrm{c}}}\right)\right] \quad r\leqslant R_\textrm{c}.
428   \label{eq:DSFForces}
429   \end{split}
430   \end{equation}
431 < If the damping parameter $(\alpha)$ is chosen to be zero, the undamped
432 < case, eqs. (\ref{eq:SPPot}-\ref{eq:SFForces}) are correctly recovered
433 < from eqs. (\ref{eq:DSPPot}-\ref{eq:DSFForces}).
431 > If the damping parameter $(\alpha)$ is set to zero, the undamped case,
432 > eqs. (\ref{eq:SPPot} through \ref{eq:SFForces}) are correctly
433 > recovered from eqs. (\ref{eq:DSPPot} through \ref{eq:DSFForces}).
434  
435   This new {\sc sf} potential is similar to equation \ref{eq:ZahnPot}
436   derived by Zahn \textit{et al.}; however, there are two important
# Line 409 | Line 442 | would be expected to have sudden jumps as particle dis
442   portion is different.  The missing $v_\textrm{c}$ term would not
443   affect molecular dynamics simulations (although the computed energy
444   would be expected to have sudden jumps as particle distances crossed
445 < $R_c$).  The sign problem would be a potential source of errors,
446 < however.  In fact, it introduces a discontinuity in the forces at the
447 < cutoff, because the force function is shifted in the wrong direction
448 < and doesn't cross zero at $R_\textrm{c}$.
445 > $R_c$).  The sign problem is a potential source of errors, however.
446 > In fact, it introduces a discontinuity in the forces at the cutoff,
447 > because the force function is shifted in the wrong direction and
448 > doesn't cross zero at $R_\textrm{c}$.
449  
450   Eqs. (\ref{eq:DSFPot}) and (\ref{eq:DSFForces}) result in an
451 < electrostatic summation method that is continuous in both the
452 < potential and forces and which incorporates the damping function
453 < proposed by Wolf \textit{et al.}\cite{Wolf99} In the rest of this
454 < paper, we will evaluate exactly how good these methods ({\sc sp}, {\sc
455 < sf}, damping) are at reproducing the correct electrostatic summation
456 < performed by the Ewald sum.
451 > electrostatic summation method in which the potential and forces are
452 > continuous at the cutoff radius and which incorporates the damping
453 > function proposed by Wolf \textit{et al.}\cite{Wolf99} In the rest of
454 > this paper, we will evaluate exactly how good these methods ({\sc sp},
455 > {\sc sf}, damping) are at reproducing the correct electrostatic
456 > summation performed by the Ewald sum.
457  
458   \subsection{Other alternatives}
459 < In addition to the methods described above, we will consider some
460 < other techniques that commonly get used in molecular simulations.  The
459 > In addition to the methods described above, we considered some other
460 > techniques that are commonly used in molecular simulations.  The
461   simplest of these is group-based cutoffs.  Though of little use for
462 < non-neutral molecules, collecting atoms into neutral groups takes
462 > charged molecules, collecting atoms into neutral groups takes
463   advantage of the observation that the electrostatic interactions decay
464   faster than those for monopolar pairs.\cite{Steinbach94} When
465 < considering these molecules as groups, an orientational aspect is
466 < introduced to the interactions.  Consequently, as these molecular
467 < particles move through $R_\textrm{c}$, the energy will drift upward
468 < due to the anisotropy of the net molecular dipole
469 < interactions.\cite{Rahman71} To maintain good energy conservation,
470 < both the potential and derivative need to be smoothly switched to zero
471 < at $R_\textrm{c}$.\cite{Adams79} This is accomplished using a
472 < switching function,
473 < \begin{equation}
474 < S(r) = \begin{cases} 1 &\quad r\leqslant r_\textrm{sw} \\
442 < \frac{(R_\textrm{c}+2r-3r_\textrm{sw})(R_\textrm{c}-r)^2}{(R_\textrm{c}-r_\textrm{sw})^3} &\quad r_\textrm{sw}<r\leqslant R_\textrm{c} \\
443 < 0 &\quad r>R_\textrm{c}
444 < \end{cases},
445 < \end{equation}
446 < where the above form is for a cubic function.  If a smooth second
447 < derivative is desired, a fifth (or higher) order polynomial can be
448 < used.\cite{Andrea83}
465 > considering these molecules as neutral groups, the relative
466 > orientations of the molecules control the strength of the interactions
467 > at the cutoff radius.  Consequently, as these molecular particles move
468 > through $R_\textrm{c}$, the energy will drift upward due to the
469 > anisotropy of the net molecular dipole interactions.\cite{Rahman71} To
470 > maintain good energy conservation, both the potential and derivative
471 > need to be smoothly switched to zero at $R_\textrm{c}$.\cite{Adams79}
472 > This is accomplished using a standard switching function.  If a smooth
473 > second derivative is desired, a fifth (or higher) order polynomial can
474 > be used.\cite{Andrea83}
475  
476   Group-based cutoffs neglect the surroundings beyond $R_\textrm{c}$,
477 < and to incorporate their effect, a method like Reaction Field ({\sc
478 < rf}) can be used.  The original theory for {\sc rf} was originally
479 < developed by Onsager,\cite{Onsager36} and it was applied in
480 < simulations for the study of water by Barker and Watts.\cite{Barker73}
481 < In application, it is simply an extension of the group-based cutoff
482 < method where the net dipole within the cutoff sphere polarizes an
483 < external dielectric, which reacts back on the central dipole.  The
484 < same switching function considerations for group-based cutoffs need to
485 < made for {\sc rf}, with the additional pre-specification of a
486 < dielectric constant.
477 > and to incorporate the effects of the surroundings, a method like
478 > Reaction Field ({\sc rf}) can be used.  The original theory for {\sc
479 > rf} was originally developed by Onsager,\cite{Onsager36} and it was
480 > applied in simulations for the study of water by Barker and
481 > Watts.\cite{Barker73} In modern simulation codes, {\sc rf} is simply
482 > an extension of the group-based cutoff method where the net dipole
483 > within the cutoff sphere polarizes an external dielectric, which
484 > reacts back on the central dipole.  The same switching function
485 > considerations for group-based cutoffs need to made for {\sc rf}, with
486 > the additional pre-specification of a dielectric constant.
487  
488   \section{Methods}
489  
# Line 467 | Line 493 | particle sites, but they use these summations in diffe
493   techniques utilize pairwise summations of interactions between
494   particle sites, but they use these summations in different ways.
495  
496 < In MC, the potential energy difference between two subsequent
497 < configurations dictates the progression of MC sampling.  Going back to
498 < the origins of this method, the acceptance criterion for the canonical
499 < ensemble laid out by Metropolis \textit{et al.} states that a
500 < subsequent configuration is accepted if $\Delta E < 0$ or if $\xi <
501 < \exp(-\Delta E/kT)$, where $\xi$ is a random number between 0 and
502 < 1.\cite{Metropolis53} Maintaining the correct $\Delta E$ when using an
503 < alternate method for handling the long-range electrostatics will
504 < ensure proper sampling from the ensemble.
496 > In MC, the potential energy difference between configurations dictates
497 > the progression of MC sampling.  Going back to the origins of this
498 > method, the acceptance criterion for the canonical ensemble laid out
499 > by Metropolis \textit{et al.} states that a subsequent configuration
500 > is accepted if $\Delta E < 0$ or if $\xi < \exp(-\Delta E/kT)$, where
501 > $\xi$ is a random number between 0 and 1.\cite{Metropolis53}
502 > Maintaining the correct $\Delta E$ when using an alternate method for
503 > handling the long-range electrostatics will ensure proper sampling
504 > from the ensemble.
505  
506   In MD, the derivative of the potential governs how the system will
507   progress in time.  Consequently, the force and torque vectors on each
# Line 488 | Line 514 | vectors will diverge from each other more rapidly.
514   vectors will diverge from each other more rapidly.
515  
516   \subsection{Monte Carlo and the Energy Gap}\label{sec:MCMethods}
517 +
518   The pairwise summation techniques (outlined in section
519   \ref{sec:ESMethods}) were evaluated for use in MC simulations by
520   studying the energy differences between conformations.  We took the
521 < SPME-computed energy difference between two conformations to be the
521 > {\sc spme}-computed energy difference between two conformations to be the
522   correct behavior. An ideal performance by an alternative method would
523 < reproduce these energy differences exactly.  Since none of the methods
524 < provide exact energy differences, we used linear least squares
525 < regressions of the $\Delta E$ values between configurations using SPME
526 < against $\Delta E$ values using tested methods provides a quantitative
527 < comparison of this agreement.  Unitary results for both the
528 < correlation and correlation coefficient for these regressions indicate
529 < equivalent energetic results between the method under consideration
530 < and electrostatics handled using SPME.  Sample correlation plots for
531 < two alternate methods are shown in Fig. \ref{fig:linearFit}.
523 > reproduce these energy differences exactly (even if the absolute
524 > energies calculated by the methods are different).  Since none of the
525 > methods provide exact energy differences, we used linear least squares
526 > regressions of energy gap data to evaluate how closely the methods
527 > mimicked the Ewald energy gaps.  Unitary results for both the
528 > correlation (slope) and correlation coefficient for these regressions
529 > indicate perfect agreement between the alternative method and {\sc spme}.
530 > Sample correlation plots for two alternate methods are shown in
531 > Fig. \ref{fig:linearFit}.
532  
533   \begin{figure}
534   \centering
535   \includegraphics[width = \linewidth]{./dualLinear.pdf}
536 < \caption{Example least squares regressions of the configuration energy differences for SPC/E water systems. The upper plot shows a data set with a poor correlation coefficient ($R^2$), while the lower plot shows a data set with a good correlation coefficient.}
537 < \label{fig:linearFit}
536 > \caption{Example least squares regressions of the configuration energy
537 > differences for SPC/E water systems. The upper plot shows a data set
538 > with a poor correlation coefficient ($R^2$), while the lower plot
539 > shows a data set with a good correlation coefficient.}
540 > \label{fig:linearFit}
541   \end{figure}
542  
543   Each system type (detailed in section \ref{sec:RepSims}) was
544   represented using 500 independent configurations.  Additionally, we
545 < used seven different system types, so each of the alternate
545 > used seven different system types, so each of the alternative
546   (non-Ewald) electrostatic summation methods was evaluated using
547   873,250 configurational energy differences.
548  
# Line 525 | Line 555 | comparing the force and torque vectors with those obta
555   We evaluated the pairwise methods (outlined in section
556   \ref{sec:ESMethods}) for use in MD simulations by
557   comparing the force and torque vectors with those obtained using the
558 < reference Ewald summation (SPME).  Both the magnitude and the
558 > reference Ewald summation ({\sc spme}).  Both the magnitude and the
559   direction of these vectors on each of the bodies in the system were
560   analyzed.  For the magnitude of these vectors, linear least squares
561   regression analyses were performed as described previously for
# Line 540 | Line 570 | investigated through measurement of the angle ($\theta
570  
571   The {\it directionality} of the force and torque vectors was
572   investigated through measurement of the angle ($\theta$) formed
573 < between those computed from the particular method and those from SPME,
573 > between those computed from the particular method and those from {\sc spme},
574   \begin{equation}
575 < \theta_f = \cos^{-1} \hat{f}_\textrm{SPME} \cdot \hat{f}_\textrm{Method},
575 > \theta_f = \cos^{-1} \left(\hat{F}_\textrm{SPME} \cdot \hat{F}_\textrm{M}\right),
576   \end{equation}
577 < where $\hat{f}_\textrm{M}$ is the unit vector pointing along the
578 < force vector computed using method $M$.  
579 <
580 < Each of these $\theta$ values was accumulated in a distribution
551 < function, weighted by the area on the unit sphere.  Non-linear
552 < Gaussian fits were used to measure the width of the resulting
553 < distributions.
554 <
555 < \begin{figure}
556 < \centering
557 < \includegraphics[width = \linewidth]{./gaussFit.pdf}
558 < \caption{Sample fit of the angular distribution of the force vectors over all of the studied systems.  Gaussian fits were used to obtain values for the variance in force and torque vectors used in the following figure.}
559 < \label{fig:gaussian}
560 < \end{figure}
561 <
562 < Figure \ref{fig:gaussian} shows an example distribution with applied
563 < non-linear fits.  The solid line is a Gaussian profile, while the
564 < dotted line is a Voigt profile, a convolution of a Gaussian and a
565 < Lorentzian.  Since this distribution is a measure of angular error
577 > where $\hat{F}_\textrm{M}$ is the unit vector pointing along the force
578 > vector computed using method M.  Each of these $\theta$ values was
579 > accumulated in a distribution function and weighted by the area on the
580 > unit sphere.  Since this distribution is a measure of angular error
581   between two different electrostatic summation methods, there is no
582 < {\it a priori} reason for the profile to adhere to any specific shape.
583 < Gaussian fits was used to compare all the tested methods.  The
584 < variance ($\sigma^2$) was extracted from each of these fits and was
585 < used to compare distribution widths.  Values of $\sigma^2$ near zero
586 < indicate vector directions indistinguishable from those calculated
587 < when using the reference method (SPME).
582 > {\it a priori} reason for the profile to adhere to any specific
583 > shape. Thus, gaussian fits were used to measure the width of the
584 > resulting distributions.
585 > %
586 > %\begin{figure}
587 > %\centering
588 > %\includegraphics[width = \linewidth]{./gaussFit.pdf}
589 > %\caption{Sample fit of the angular distribution of the force vectors
590 > %accumulated using all of the studied systems.  Gaussian fits were used
591 > %to obtain values for the variance in force and torque vectors.}
592 > %\label{fig:gaussian}
593 > %\end{figure}
594 > %
595 > %Figure \ref{fig:gaussian} shows an example distribution with applied
596 > %non-linear fits.  The solid line is a Gaussian profile, while the
597 > %dotted line is a Voigt profile, a convolution of a Gaussian and a
598 > %Lorentzian.  
599 > %Since this distribution is a measure of angular error between two
600 > %different electrostatic summation methods, there is no {\it a priori}
601 > %reason for the profile to adhere to any specific shape.
602 > %Gaussian fits was used to compare all the tested methods.  
603 > The variance ($\sigma^2$) was extracted from each of these fits and
604 > was used to compare distribution widths.  Values of $\sigma^2$ near
605 > zero indicate vector directions indistinguishable from those
606 > calculated when using the reference method ({\sc spme}).
607  
608   \subsection{Short-time Dynamics}
609  
610 < \subsection{Long-Time and Collective Motion}\label{sec:LongTimeMethods}
611 < Evaluation of the long-time dynamics of charged systems was performed
612 < by considering the NaCl crystal system while using a subset of the
613 < best performing pairwise methods.  The NaCl crystal was chosen to
614 < avoid possible complications involving the propagation techniques of
615 < orientational motion in molecular systems.  To enhance the atomic
616 < motion, these crystals were equilibrated at 1000 K, near the
617 < experimental $T_m$ for NaCl.  Simulations were performed under the
618 < microcanonical ensemble, and velocity autocorrelation functions
619 < (Eq. \ref{eq:vCorr}) were computed for each of the trajectories,
610 > The effects of the alternative electrostatic summation methods on the
611 > short-time dynamics of charged systems were evaluated by considering a
612 > NaCl crystal at a temperature of 1000 K.  A subset of the best
613 > performing pairwise methods was used in this comparison.  The NaCl
614 > crystal was chosen to avoid possible complications from the treatment
615 > of orientational motion in molecular systems.  All systems were
616 > started with the same initial positions and velocities.  Simulations
617 > were performed under the microcanonical ensemble, and velocity
618 > autocorrelation functions (Eq. \ref{eq:vCorr}) were computed for each
619 > of the trajectories,
620   \begin{equation}
621 < C_v(t) = \langle v_i(0)\cdot v_i(t)\rangle.
621 > C_v(t) = \frac{\langle v(0)\cdot v(t)\rangle}{\langle v^2\rangle}.
622   \label{eq:vCorr}
623   \end{equation}
624 < Velocity autocorrelation functions require detailed short time data
625 < and long trajectories for good statistics, thus velocity information
626 < was saved every 5 fs over 100 ps trajectories.  The power spectrum
627 < ($I(\omega)$) is obtained via Fourier transform of the autocorrelation
628 < function
629 < \begin{equation}
630 < I(\omega) = \frac{1}{2\pi}\int^{\infty}_{-\infty}C_v(t)e^{-i\omega t}dt,
624 > Velocity autocorrelation functions require detailed short time data,
625 > thus velocity information was saved every 2 fs over 10 ps
626 > trajectories. Because the NaCl crystal is composed of two different
627 > atom types, the average of the two resulting velocity autocorrelation
628 > functions was used for comparisons.
629 >
630 > \subsection{Long-Time and Collective Motion}\label{sec:LongTimeMethods}
631 >
632 > The effects of the same subset of alternative electrostatic methods on
633 > the {\it long-time} dynamics of charged systems were evaluated using
634 > the same model system (NaCl crystals at 1000K).  The power spectrum
635 > ($I(\omega)$) was obtained via Fourier transform of the velocity
636 > autocorrelation function, \begin{equation} I(\omega) =
637 > \frac{1}{2\pi}\int^{\infty}_{-\infty}C_v(t)e^{-i\omega t}dt,
638   \label{eq:powerSpec}
639   \end{equation}
640 < where the frequency, $\omega=0,\ 1,\ ...,\ N-1$.
640 > where the frequency, $\omega=0,\ 1,\ ...,\ N-1$. Again, because the
641 > NaCl crystal is composed of two different atom types, the average of
642 > the two resulting power spectra was used for comparisons. Simulations
643 > were performed under the microcanonical ensemble, and velocity
644 > information was saved every 5 fs over 100 ps trajectories.
645  
646   \subsection{Representative Simulations}\label{sec:RepSims}
647 < A variety of common and representative simulations were analyzed to
648 < determine the relative effectiveness of the pairwise summation
649 < techniques in reproducing the energetics and dynamics exhibited by
650 < SPME.  The studied systems were as follows:
647 > A variety of representative simulations were analyzed to determine the
648 > relative effectiveness of the pairwise summation techniques in
649 > reproducing the energetics and dynamics exhibited by {\sc spme}.  We wanted
650 > to span the space of modern simulations (i.e. from liquids of neutral
651 > molecules to ionic crystals), so the systems studied were:
652   \begin{enumerate}
653 < \item Liquid Water
654 < \item Crystalline Water (Ice I$_\textrm{c}$)
655 < \item NaCl Crystal
656 < \item NaCl Melt
657 < \item Low Ionic Strength Solution of NaCl in Water
658 < \item High Ionic Strength Solution of NaCl in Water
659 < \item 6 \AA\  Radius Sphere of Argon in Water
653 > \item liquid water (SPC/E),\cite{Berendsen87}
654 > \item crystalline water (Ice I$_\textrm{c}$ crystals of SPC/E),
655 > \item NaCl crystals,
656 > \item NaCl melts,
657 > \item a low ionic strength solution of NaCl in water (0.11 M),
658 > \item a high ionic strength solution of NaCl in water (1.1 M), and
659 > \item a 6 \AA\  radius sphere of Argon in water.
660   \end{enumerate}
661   By utilizing the pairwise techniques (outlined in section
662   \ref{sec:ESMethods}) in systems composed entirely of neutral groups,
663 < charged particles, and mixtures of the two, we can comment on possible
664 < system dependence and/or universal applicability of the techniques.
663 > charged particles, and mixtures of the two, we hope to discern under
664 > which conditions it will be possible to use one of the alternative
665 > summation methodologies instead of the Ewald sum.
666  
667 < Generation of the system configurations was dependent on the system
668 < type.  For the solid and liquid water configurations, configuration
669 < snapshots were taken at regular intervals from higher temperature 1000
670 < SPC/E water molecule trajectories and each equilibrated individually.
671 < The solid and liquid NaCl systems consisted of 500 Na+ and 500 Cl-
672 < ions and were selected and equilibrated in the same fashion as the
673 < water systems.  For the low and high ionic strength NaCl solutions, 4
674 < and 40 ions were first solvated in a 1000 water molecule boxes
675 < respectively.  Ion and water positions were then randomly swapped, and
667 > For the solid and liquid water configurations, configurations were
668 > taken at regular intervals from high temperature trajectories of 1000
669 > SPC/E water molecules.  Each configuration was equilibrated
670 > independently at a lower temperature (300~K for the liquid, 200~K for
671 > the crystal).  The solid and liquid NaCl systems consisted of 500
672 > $\textrm{Na}^{+}$ and 500 $\textrm{Cl}^{-}$ ions.  Configurations for
673 > these systems were selected and equilibrated in the same manner as the
674 > water systems.  The equilibrated temperatures were 1000~K for the NaCl
675 > crystal and 7000~K for the liquid. The ionic solutions were made by
676 > solvating 4 (or 40) ions in a periodic box containing 1000 SPC/E water
677 > molecules.  Ion and water positions were then randomly swapped, and
678   the resulting configurations were again equilibrated individually.
679 < Finally, for the Argon/Water "charge void" systems, the identities of
680 < all the SPC/E waters within 6 \AA\ of the center of the equilibrated
681 < water configurations were converted to argon
682 < (Fig. \ref{fig:argonSlice}).
679 > Finally, for the Argon / Water ``charge void'' systems, the identities
680 > of all the SPC/E waters within 6 \AA\ of the center of the
681 > equilibrated water configurations were converted to argon.
682 > %(Fig. \ref{fig:argonSlice}).
683  
684 < \begin{figure}
685 < \centering
686 < \includegraphics[width = \linewidth]{./slice.pdf}
687 < \caption{A slice from the center of a water box used in a charge void simulation.  The darkened region represents the boundary sphere within which the water molecules were converted to argon atoms.}
688 < \label{fig:argonSlice}
689 < \end{figure}
684 > These procedures guaranteed us a set of representative configurations
685 > from chemically-relevant systems sampled from appropriate
686 > ensembles. Force field parameters for the ions and Argon were taken
687 > from the force field utilized by {\sc oopse}.\cite{Meineke05}
688 >
689 > %\begin{figure}
690 > %\centering
691 > %\includegraphics[width = \linewidth]{./slice.pdf}
692 > %\caption{A slice from the center of a water box used in a charge void
693 > %simulation.  The darkened region represents the boundary sphere within
694 > %which the water molecules were converted to argon atoms.}
695 > %\label{fig:argonSlice}
696 > %\end{figure}
697  
698 < \subsection{Electrostatic Summation Methods}\label{sec:ESMethods}
699 < Electrostatic summation method comparisons were performed using SPME,
700 < the {\sc sp} and {\sc sf} methods - both with damping
701 < parameters ($\alpha$) of 0.0, 0.1, 0.2, and 0.3 \AA$^{-1}$ (no, weak,
702 < moderate, and strong damping respectively), reaction field with an
703 < infinite dielectric constant, and an unmodified cutoff.  Group-based
704 < cutoffs with a fifth-order polynomial switching function were
705 < necessary for the reaction field simulations and were utilized in the
706 < SP, SF, and pure cutoff methods for comparison to the standard lack of
707 < group-based cutoffs with a hard truncation.  The SPME calculations
708 < were performed using the TINKER implementation of SPME,\cite{Ponder87}
709 < while all other method calculations were performed using the OOPSE
710 < molecular mechanics package.\cite{Meineke05}
698 > \subsection{Comparison of Summation Methods}\label{sec:ESMethods}
699 > We compared the following alternative summation methods with results
700 > from the reference method ({\sc spme}):
701 > \begin{itemize}
702 > \item {\sc sp} with damping parameters ($\alpha$) of 0.0, 0.1, 0.2,
703 > and 0.3 \AA$^{-1}$,
704 > \item {\sc sf} with damping parameters ($\alpha$) of 0.0, 0.1, 0.2,
705 > and 0.3 \AA$^{-1}$,
706 > \item reaction field with an infinite dielectric constant, and
707 > \item an unmodified cutoff.
708 > \end{itemize}
709 > Group-based cutoffs with a fifth-order polynomial switching function
710 > were utilized for the reaction field simulations.  Additionally, we
711 > investigated the use of these cutoffs with the {\sc sp}, {\sc sf}, and pure
712 > cutoff.  The {\sc spme} electrostatics were performed using the {\sc tinker}
713 > implementation of {\sc spme},\cite{Ponder87} while all other calculations
714 > were performed using the {\sc oopse} molecular mechanics
715 > package.\cite{Meineke05} All other portions of the energy calculation
716 > (i.e. Lennard-Jones interactions) were handled in exactly the same
717 > manner across all systems and configurations.
718  
719 < These methods were additionally evaluated with three different cutoff
720 < radii (9, 12, and 15 \AA) to investigate possible cutoff radius
721 < dependence.  It should be noted that the damping parameter chosen in
722 < SPME, or so called ``Ewald Coefficient", has a significant effect on
723 < the energies and forces calculated.  Typical molecular mechanics
724 < packages default this to a value dependent on the cutoff radius and a
725 < tolerance (typically less than $1 \times 10^{-4}$ kcal/mol).  Smaller
726 < tolerances are typically associated with increased accuracy, but this
727 < usually means more time spent calculating the reciprocal-space portion
728 < of the summation.\cite{Perram88,Essmann95} The default TINKER
729 < tolerance of $1 \times 10^{-8}$ kcal/mol was used in all SPME
730 < calculations, resulting in Ewald Coefficients of 0.4200, 0.3119, and
731 < 0.2476 \AA$^{-1}$ for cutoff radii of 9, 12, and 15 \AA\ respectively.
719 > The althernative methods were also evaluated with three different
720 > cutoff radii (9, 12, and 15 \AA).  As noted previously, the
721 > convergence parameter ($\alpha$) plays a role in the balance of the
722 > real-space and reciprocal-space portions of the Ewald calculation.
723 > Typical molecular mechanics packages set this to a value dependent on
724 > the cutoff radius and a tolerance (typically less than $1 \times
725 > 10^{-4}$ kcal/mol).  Smaller tolerances are typically associated with
726 > increasing accuracy at the expense of computational time spent on the
727 > reciprocal-space portion of the summation.\cite{Perram88,Essmann95}
728 > The default {\sc tinker} tolerance of $1 \times 10^{-8}$ kcal/mol was used
729 > in all {\sc spme} calculations, resulting in Ewald coefficients of 0.4200,
730 > 0.3119, and 0.2476 \AA$^{-1}$ for cutoff radii of 9, 12, and 15 \AA\
731 > respectively.
732  
733   \section{Results and Discussion}
734  
# Line 673 | Line 736 | between configurations were compared to the values obt
736   In order to evaluate the performance of the pairwise electrostatic
737   summation methods for Monte Carlo simulations, the energy differences
738   between configurations were compared to the values obtained when using
739 < SPME.  The results for the subsequent regression analysis are shown in
739 > {\sc spme}.  The results for the subsequent regression analysis are shown in
740   figure \ref{fig:delE}.
741  
742   \begin{figure}
743   \centering
744   \includegraphics[width=5.5in]{./delEplot.pdf}
745 < \caption{Statistical analysis of the quality of configurational energy differences for a given electrostatic method compared with the reference Ewald sum.  Results with a value equal to 1 (dashed line) indicate $\Delta E$ values indistinguishable from those obtained using SPME.  Different values of the cutoff radius are indicated with different symbols (9\AA\ = circles, 12\AA\ = squares, and 15\AA\ = inverted triangles).}
745 > \caption{Statistical analysis of the quality of configurational energy
746 > differences for a given electrostatic method compared with the
747 > reference Ewald sum.  Results with a value equal to 1 (dashed line)
748 > indicate $\Delta E$ values indistinguishable from those obtained using
749 > {\sc spme}.  Different values of the cutoff radius are indicated with
750 > different symbols (9\AA\ = circles, 12\AA\ = squares, and 15\AA\ =
751 > inverted triangles).}
752   \label{fig:delE}
753   \end{figure}
754  
755 < In this figure, it is apparent that it is unreasonable to expect
756 < realistic results using an unmodified cutoff.  This is not all that
757 < surprising since this results in large energy fluctuations as atoms
758 < move in and out of the cutoff radius.  These fluctuations can be
759 < alleviated to some degree by using group based cutoffs with a
760 < switching function.\cite{Steinbach94} The Group Switch Cutoff row
692 < doesn't show a significant improvement in this plot because the salt
693 < and salt solution systems contain non-neutral groups, see the
694 < accompanying supporting information for a comparison where all groups
695 < are neutral.
755 > The most striking feature of this plot is how well the Shifted Force
756 > ({\sc sf}) and Shifted Potential ({\sc sp}) methods capture the energy
757 > differences.  For the undamped {\sc sf} method, and the
758 > moderately-damped {\sc sp} methods, the results are nearly
759 > indistinguishable from the Ewald results.  The other common methods do
760 > significantly less well.  
761  
762 < Correcting the resulting charged cutoff sphere is one of the purposes
763 < of the damped Coulomb summation proposed by Wolf \textit{et
764 < al.},\cite{Wolf99} and this correction indeed improves the results as
765 < seen in the Shifted-Potental rows.  While the undamped case of this
766 < method is a significant improvement over the pure cutoff, it still
767 < doesn't correlate that well with SPME.  Inclusion of potential damping
768 < improves the results, and using an $\alpha$ of 0.2 \AA $^{-1}$ shows
769 < an excellent correlation and quality of fit with the SPME results,
770 < particularly with a cutoff radius greater than 12 \AA .  Use of a
771 < larger damping parameter is more helpful for the shortest cutoff
707 < shown, but it has a detrimental effect on simulations with larger
708 < cutoffs.  In the {\sc sf} sets, increasing damping results in
709 < progressively poorer correlation.  Overall, the undamped case is the
710 < best performing set, as the correlation and quality of fits are
711 < consistently superior regardless of the cutoff distance.  This result
712 < is beneficial in that the undamped case is less computationally
713 < prohibitive do to the lack of complimentary error function calculation
714 < when performing the electrostatic pair interaction.  The reaction
715 < field results illustrates some of that method's limitations, primarily
716 < that it was developed for use in homogenous systems; although it does
717 < provide results that are an improvement over those from an unmodified
718 < cutoff.
762 > The unmodified cutoff method is essentially unusable.  This is not
763 > surprising since hard cutoffs give large energy fluctuations as atoms
764 > or molecules move in and out of the cutoff
765 > radius.\cite{Rahman71,Adams79} These fluctuations can be alleviated to
766 > some degree by using group based cutoffs with a switching
767 > function.\cite{Adams79,Steinbach94,Leach01} However, we do not see
768 > significant improvement using the group-switched cutoff because the
769 > salt and salt solution systems contain non-neutral groups.  Interested
770 > readers can consult the accompanying supporting information for a
771 > comparison where all groups are neutral.
772  
773 + For the {\sc sp} method, inclusion of electrostatic damping improves
774 + the agreement with Ewald, and using an $\alpha$ of 0.2 \AA $^{-1}$
775 + shows an excellent correlation and quality of fit with the {\sc spme}
776 + results, particularly with a cutoff radius greater than 12
777 + \AA .  Use of a larger damping parameter is more helpful for the
778 + shortest cutoff shown, but it has a detrimental effect on simulations
779 + with larger cutoffs.  
780 +
781 + In the {\sc sf} sets, increasing damping results in progressively {\it
782 + worse} correlation with Ewald.  Overall, the undamped case is the best
783 + performing set, as the correlation and quality of fits are
784 + consistently superior regardless of the cutoff distance.  The undamped
785 + case is also less computationally demanding (because no evaluation of
786 + the complementary error function is required).
787 +
788 + The reaction field results illustrates some of that method's
789 + limitations, primarily that it was developed for use in homogenous
790 + systems; although it does provide results that are an improvement over
791 + those from an unmodified cutoff.
792 +
793   \subsection{Magnitudes of the Force and Torque Vectors}
794  
795   Evaluation of pairwise methods for use in Molecular Dynamics
796   simulations requires consideration of effects on the forces and
797 < torques.  Investigation of the force and torque vector magnitudes
798 < provides a measure of the strength of these values relative to SPME.
799 < Figures \ref{fig:frcMag} and \ref{fig:trqMag} respectively show the
800 < force and torque vector magnitude regression results for the
728 < accumulated analysis over all the system types.
797 > torques.  Figures \ref{fig:frcMag} and \ref{fig:trqMag} show the
798 > regression results for the force and torque vector magnitudes,
799 > respectively.  The data in these figures was generated from an
800 > accumulation of the statistics from all of the system types.
801  
802   \begin{figure}
803   \centering
804   \includegraphics[width=5.5in]{./frcMagplot.pdf}
805 < \caption{Statistical analysis of the quality of the force vector magnitudes for a given electrostatic method compared with the reference Ewald sum.  Results with a value equal to 1 (dashed line) indicate force magnitude values indistinguishable from those obtained using SPME.  Different values of the cutoff radius are indicated with different symbols (9\AA\ = circles, 12\AA\ = squares, and 15\AA\ = inverted triangles).}
805 > \caption{Statistical analysis of the quality of the force vector
806 > magnitudes for a given electrostatic method compared with the
807 > reference Ewald sum.  Results with a value equal to 1 (dashed line)
808 > indicate force magnitude values indistinguishable from those obtained
809 > using {\sc spme}.  Different values of the cutoff radius are indicated with
810 > different symbols (9\AA\ = circles, 12\AA\ = squares, and 15\AA\ =
811 > inverted triangles).}
812   \label{fig:frcMag}
813   \end{figure}
814  
815 + Again, it is striking how well the Shifted Potential and Shifted Force
816 + methods are doing at reproducing the {\sc spme} forces.  The undamped and
817 + weakly-damped {\sc sf} method gives the best agreement with Ewald.
818 + This is perhaps expected because this method explicitly incorporates a
819 + smooth transition in the forces at the cutoff radius as well as the
820 + neutralizing image charges.
821 +
822   Figure \ref{fig:frcMag}, for the most part, parallels the results seen
823   in the previous $\Delta E$ section.  The unmodified cutoff results are
824   poor, but using group based cutoffs and a switching function provides
825 < a improvement much more significant than what was seen with $\Delta
826 < E$.  Looking at the {\sc sp} sets, the slope and $R^2$
827 < improve with the use of damping to an optimal result of 0.2 \AA
828 < $^{-1}$ for the 12 and 15 \AA\ cutoffs.  Further increases in damping,
825 > an improvement much more significant than what was seen with $\Delta
826 > E$.
827 >
828 > With moderate damping and a large enough cutoff radius, the {\sc sp}
829 > method is generating usable forces.  Further increases in damping,
830   while beneficial for simulations with a cutoff radius of 9 \AA\ , is
831 < detrimental to simulations with larger cutoff radii.  The undamped
832 < {\sc sf} method gives forces in line with those obtained using
833 < SPME, and use of a damping function results in minor improvement.  The
748 < reaction field results are surprisingly good, considering the poor
831 > detrimental to simulations with larger cutoff radii.
832 >
833 > The reaction field results are surprisingly good, considering the poor
834   quality of the fits for the $\Delta E$ results.  There is still a
835 < considerable degree of scatter in the data, but it correlates well in
836 < general.  To be fair, we again note that the reaction field
837 < calculations do not encompass NaCl crystal and melt systems, so these
835 > considerable degree of scatter in the data, but the forces correlate
836 > well with the Ewald forces in general.  We note that the reaction
837 > field calculations do not include the pure NaCl systems, so these
838   results are partly biased towards conditions in which the method
839   performs more favorably.
840  
841   \begin{figure}
842   \centering
843   \includegraphics[width=5.5in]{./trqMagplot.pdf}
844 < \caption{Statistical analysis of the quality of the torque vector magnitudes for a given electrostatic method compared with the reference Ewald sum.  Results with a value equal to 1 (dashed line) indicate torque magnitude values indistinguishable from those obtained using SPME.  Different values of the cutoff radius are indicated with different symbols (9\AA\ = circles, 12\AA\ = squares, and 15\AA\ = inverted triangles).}
844 > \caption{Statistical analysis of the quality of the torque vector
845 > magnitudes for a given electrostatic method compared with the
846 > reference Ewald sum.  Results with a value equal to 1 (dashed line)
847 > indicate torque magnitude values indistinguishable from those obtained
848 > using {\sc spme}.  Different values of the cutoff radius are indicated with
849 > different symbols (9\AA\ = circles, 12\AA\ = squares, and 15\AA\ =
850 > inverted triangles).}
851   \label{fig:trqMag}
852   \end{figure}
853  
854 < To evaluate the torque vector magnitudes, the data set from which
855 < values are drawn is limited to rigid molecules in the systems
856 < (i.e. water molecules).  In spite of this smaller sampling pool, the
766 < torque vector magnitude results in figure \ref{fig:trqMag} are still
767 < similar to those seen for the forces; however, they more clearly show
768 < the improved behavior that comes with increasing the cutoff radius.
769 < Moderate damping is beneficial to the {\sc sp} and helpful
770 < yet possibly unnecessary with the {\sc sf} method, and they also
771 < show that over-damping adversely effects all cutoff radii rather than
772 < showing an improvement for systems with short cutoffs.  The reaction
773 < field method performs well when calculating the torques, better than
774 < the Shifted Force method over this limited data set.
854 > Molecular torques were only available from the systems which contained
855 > rigid molecules (i.e. the systems containing water).  The data in
856 > fig. \ref{fig:trqMag} is taken from this smaller sampling pool.
857  
858 + Torques appear to be much more sensitive to charges at a longer
859 + distance.   The striking feature in comparing the new electrostatic
860 + methods with {\sc spme} is how much the agreement improves with increasing
861 + cutoff radius.  Again, the weakly damped and undamped {\sc sf} method
862 + appears to be reproducing the {\sc spme} torques most accurately.  
863 +
864 + Water molecules are dipolar, and the reaction field method reproduces
865 + the effect of the surrounding polarized medium on each of the
866 + molecular bodies. Therefore it is not surprising that reaction field
867 + performs best of all of the methods on molecular torques.
868 +
869   \subsection{Directionality of the Force and Torque Vectors}
870  
871 < Having force and torque vectors with magnitudes that are well
872 < correlated to SPME is good, but if they are not pointing in the proper
873 < direction the results will be incorrect.  These vector directions were
874 < investigated through measurement of the angle formed between them and
875 < those from SPME.  The results (Fig. \ref{fig:frcTrqAng}) are compared
876 < through the variance ($\sigma^2$) of the Gaussian fits of the angle
877 < error distributions of the combined set over all system types.
871 > It is clearly important that a new electrostatic method can reproduce
872 > the magnitudes of the force and torque vectors obtained via the Ewald
873 > sum. However, the {\it directionality} of these vectors will also be
874 > vital in calculating dynamical quantities accurately.  Force and
875 > torque directionalities were investigated by measuring the angles
876 > formed between these vectors and the same vectors calculated using
877 > {\sc spme}.  The results (Fig. \ref{fig:frcTrqAng}) are compared through the
878 > variance ($\sigma^2$) of the Gaussian fits of the angle error
879 > distributions of the combined set over all system types.
880  
881   \begin{figure}
882   \centering
883   \includegraphics[width=5.5in]{./frcTrqAngplot.pdf}
884 < \caption{Statistical analysis of the quality of the Gaussian fit of the force and torque vector angular distributions for a given electrostatic method compared with the reference Ewald sum.  Results with a variance ($\sigma^2$) equal to zero (dashed line) indicate force and torque directions indistinguishable from those obtained using SPME.  Different values of the cutoff radius are indicated with different symbols (9\AA\ = circles, 12\AA\ = squares, and 15\AA\ = inverted triangles).}
884 > \caption{Statistical analysis of the width of the angular distribution
885 > that the force and torque vectors from a given electrostatic method
886 > make with their counterparts obtained using the reference Ewald sum.
887 > Results with a variance ($\sigma^2$) equal to zero (dashed line)
888 > indicate force and torque directions indistinguishable from those
889 > obtained using {\sc spme}.  Different values of the cutoff radius are
890 > indicated with different symbols (9\AA\ = circles, 12\AA\ = squares,
891 > and 15\AA\ = inverted triangles).}
892   \label{fig:frcTrqAng}
893   \end{figure}
894  
895   Both the force and torque $\sigma^2$ results from the analysis of the
896   total accumulated system data are tabulated in figure
897 < \ref{fig:frcTrqAng}.  All of the sets, aside from the over-damped case
898 < show the improvement afforded by choosing a longer simulation cutoff.
899 < Increasing the cutoff from 9 to 12 \AA\ typically results in a halving
900 < of the distribution widths, with a similar improvement going from 12
901 < to 15 \AA .  The undamped {\sc sf}, Group Based Cutoff, and
902 < Reaction Field methods all do equivalently well at capturing the
801 < direction of both the force and torque vectors.  Using damping
802 < improves the angular behavior significantly for the {\sc sp}
803 < and moderately for the {\sc sf} methods.  Increasing the damping
804 < too far is destructive for both methods, particularly to the torque
805 < vectors.  Again it is important to recognize that the force vectors
806 < cover all particles in the systems, while torque vectors are only
807 < available for neutral molecular groups.  Damping appears to have a
808 < more beneficial effect on non-neutral bodies, and this observation is
809 < investigated further in the accompanying supporting information.
897 > \ref{fig:frcTrqAng}. Here it is clear that the Shifted Potential ({\sc
898 > sp}) method would be essentially unusable for molecular dynamics
899 > unless the damping function is added.  The Shifted Force ({\sc sf})
900 > method, however, is generating force and torque vectors which are
901 > within a few degrees of the Ewald results even with weak (or no)
902 > damping.
903  
904 + All of the sets (aside from the over-damped case) show the improvement
905 + afforded by choosing a larger cutoff radius.  Increasing the cutoff
906 + from 9 to 12 \AA\ typically results in a halving of the width of the
907 + distribution, with a similar improvement when going from 12 to 15
908 + \AA .
909 +
910 + The undamped {\sc sf}, group-based cutoff, and reaction field methods
911 + all do equivalently well at capturing the direction of both the force
912 + and torque vectors.  Using the electrostatic damping improves the
913 + angular behavior significantly for the {\sc sp} and moderately for the
914 + {\sc sf} methods.  Overdamping is detrimental to both methods.  Again
915 + it is important to recognize that the force vectors cover all
916 + particles in all seven systems, while torque vectors are only
917 + available for neutral molecular groups.  Damping is more beneficial to
918 + charged bodies, and this observation is investigated further in the
919 + accompanying supporting information.
920 +
921 + Although not discussed previously, group based cutoffs can be applied
922 + to both the {\sc sp} and {\sc sf} methods.  The group-based cutoffs
923 + will reintroduce small discontinuities at the cutoff radius, but the
924 + effects of these can be minimized by utilizing a switching function.
925 + Though there are no significant benefits or drawbacks observed in
926 + $\Delta E$ and the force and torque magnitudes when doing this, there
927 + is a measurable improvement in the directionality of the forces and
928 + torques. Table \ref{tab:groupAngle} shows the angular variances
929 + obtained using group based cutoffs along with the results seen in
930 + figure \ref{fig:frcTrqAng}.  The {\sc sp} (with an $\alpha$ of 0.2
931 + \AA$^{-1}$ or smaller) shows much narrower angular distributions when
932 + using group-based cutoffs. The {\sc sf} method likewise shows
933 + improvement in the undamped and lightly damped cases.
934 +
935   \begin{table}[htbp]
936 <   \centering
937 <   \caption{Variance ($\sigma^2$) of the force (top set) and torque (bottom set) vector angle difference distributions for the Shifted Potential and Shifted Force methods.  Calculations were performed both with (Y) and without (N) group based cutoffs and a switching function.  The $\alpha$ values have units of \AA$^{-1}$ and the variance values have units of degrees$^2$.}  
936 >   \centering
937 >   \caption{Statistical analysis of the angular
938 >   distributions that the force (upper) and torque (lower) vectors
939 >   from a given electrostatic method make with their counterparts
940 >   obtained using the reference Ewald sum.  Calculations were
941 >   performed both with (Y) and without (N) group based cutoffs and a
942 >   switching function.  The $\alpha$ values have units of \AA$^{-1}$
943 >   and the variance values have units of degrees$^2$.}
944 >
945     \begin{tabular}{@{} ccrrrrrrrr @{}}
946        \\
947        \toprule
# Line 841 | Line 972 | investigated further in the accompanying supporting in
972     \label{tab:groupAngle}
973   \end{table}
974  
975 < Although not discussed previously, group based cutoffs can be applied
976 < to both the {\sc sp} and {\sc sf} methods.  Use off a
977 < switching function corrects for the discontinuities that arise when
978 < atoms of a group exit the cutoff before the group's center of mass.
979 < Though there are no significant benefit or drawbacks observed in
980 < $\Delta E$ and vector magnitude results when doing this, there is a
981 < measurable improvement in the vector angle results.  Table
982 < \ref{tab:groupAngle} shows the angular variance values obtained using
983 < group based cutoffs and a switching function alongside the standard
984 < results seen in figure \ref{fig:frcTrqAng} for comparison purposes.
985 < The {\sc sp} shows much narrower angular distributions for
986 < both the force and torque vectors when using an $\alpha$ of 0.2
987 < \AA$^{-1}$ or less, while {\sc sf} shows improvements in the
988 < undamped and lightly damped cases.  Thus, by calculating the
989 < electrostatic interactions in terms of molecular pairs rather than
990 < atomic pairs, the direction of the force and torque vectors are
991 < determined more accurately.
975 > One additional trend in table \ref{tab:groupAngle} is that the
976 > $\sigma^2$ values for both {\sc sp} and {\sc sf} converge as $\alpha$
977 > increases, something that is more obvious with group-based cutoffs.
978 > The complimentary error function inserted into the potential weakens
979 > the electrostatic interaction as the value of $\alpha$ is increased.
980 > However, at larger values of $\alpha$, it is possible to overdamp the
981 > electrostatic interaction and to remove it completely.  Kast
982 > \textit{et al.}  developed a method for choosing appropriate $\alpha$
983 > values for these types of electrostatic summation methods by fitting
984 > to $g(r)$ data, and their methods indicate optimal values of 0.34,
985 > 0.25, and 0.16 \AA$^{-1}$ for cutoff values of 9, 12, and 15 \AA\
986 > respectively.\cite{Kast03} These appear to be reasonable choices to
987 > obtain proper MC behavior (Fig. \ref{fig:delE}); however, based on
988 > these findings, choices this high would introduce error in the
989 > molecular torques, particularly for the shorter cutoffs.  Based on our
990 > observations, empirical damping up to 0.2 \AA$^{-1}$ is beneficial,
991 > but damping may be unnecessary when using the {\sc sf} method.
992  
993 < One additional trend to recognize in table \ref{tab:groupAngle} is
863 < that the $\sigma^2$ values for both {\sc sp} and
864 < {\sc sf} converge as $\alpha$ increases, something that is easier
865 < to see when using group based cutoffs.  Looking back on figures
866 < \ref{fig:delE}, \ref{fig:frcMag}, and \ref{fig:trqMag}, show this
867 < behavior clearly at large $\alpha$ and cutoff values.  The reason for
868 < this is that the complimentary error function inserted into the
869 < potential weakens the electrostatic interaction as $\alpha$ increases.
870 < Thus, at larger values of $\alpha$, both the summation method types
871 < progress toward non-interacting functions, so care is required in
872 < choosing large damping functions lest one generate an undesirable loss
873 < in the pair interaction.  Kast \textit{et al.}  developed a method for
874 < choosing appropriate $\alpha$ values for these types of electrostatic
875 < summation methods by fitting to $g(r)$ data, and their methods
876 < indicate optimal values of 0.34, 0.25, and 0.16 \AA$^{-1}$ for cutoff
877 < values of 9, 12, and 15 \AA\ respectively.\cite{Kast03} These appear
878 < to be reasonable choices to obtain proper MC behavior
879 < (Fig. \ref{fig:delE}); however, based on these findings, choices this
880 < high would introduce error in the molecular torques, particularly for
881 < the shorter cutoffs.  Based on the above findings, empirical damping
882 < up to 0.2 \AA$^{-1}$ proves to be beneficial, but damping is arguably
883 < unnecessary when using the {\sc sf} method.
993 > \subsection{Short-Time Dynamics: Velocity Autocorrelation Functions of NaCl Crystals}
994  
995 + Zahn {\it et al.} investigated the structure and dynamics of water
996 + using eqs. (\ref{eq:ZahnPot}) and
997 + (\ref{eq:WolfForces}).\cite{Zahn02,Kast03} Their results indicated
998 + that a method similar (but not identical with) the damped {\sc sf}
999 + method resulted in properties very similar to those obtained when
1000 + using the Ewald summation.  The properties they studied (pair
1001 + distribution functions, diffusion constants, and velocity and
1002 + orientational correlation functions) may not be particularly sensitive
1003 + to the long-range and collective behavior that governs the
1004 + low-frequency behavior in crystalline systems.  Additionally, the
1005 + ionic crystals are the worst case scenario for the pairwise methods
1006 + because they lack the reciprocal space contribution contained in the
1007 + Ewald summation.  
1008 +
1009 + We are using two separate measures to probe the effects of these
1010 + alternative electrostatic methods on the dynamics in crystalline
1011 + materials.  For short- and intermediate-time dynamics, we are
1012 + computing the velocity autocorrelation function, and for long-time
1013 + and large length-scale collective motions, we are looking at the
1014 + low-frequency portion of the power spectrum.
1015 +
1016 + \begin{figure}
1017 + \centering
1018 + \includegraphics[width = \linewidth]{./vCorrPlot.pdf}
1019 + \caption{Velocity autocorrelation functions of NaCl crystals at
1020 + 1000 K using {\sc spme}, {\sc sf} ($\alpha$ = 0.0, 0.1, \& 0.2), and {\sc
1021 + sp} ($\alpha$ = 0.2). The inset is a magnification of the area around
1022 + the first minimum.  The times to first collision are nearly identical,
1023 + but differences can be seen in the peaks and troughs, where the
1024 + undamped and weakly damped methods are stiffer than the moderately
1025 + damped and {\sc spme} methods.}
1026 + \label{fig:vCorrPlot}
1027 + \end{figure}
1028 +
1029 + The short-time decay of the velocity autocorrelation function through
1030 + the first collision are nearly identical in figure
1031 + \ref{fig:vCorrPlot}, but the peaks and troughs of the functions show
1032 + how the methods differ.  The undamped {\sc sf} method has deeper
1033 + troughs (see inset in Fig. \ref{fig:vCorrPlot}) and higher peaks than
1034 + any of the other methods.  As the damping parameter ($\alpha$) is
1035 + increased, these peaks are smoothed out, and the {\sc sf} method
1036 + approaches the {\sc spme} results.  With $\alpha$ values of 0.2 \AA$^{-1}$,
1037 + the {\sc sf} and {\sc sp} functions are nearly identical and track the
1038 + {\sc spme} features quite well.  This is not surprising because the {\sc sf}
1039 + and {\sc sp} potentials become nearly identical with increased
1040 + damping.  However, this appears to indicate that once damping is
1041 + utilized, the details of the form of the potential (and forces)
1042 + constructed out of the damped electrostatic interaction are less
1043 + important.
1044 +
1045   \subsection{Collective Motion: Power Spectra of NaCl Crystals}
1046  
1047 < In the previous studies using a {\sc sf} variant of the damped
1048 < Wolf coulomb potential, the structure and dynamics of water were
1049 < investigated rather extensively.\cite{Zahn02,Kast03} Their results
1050 < indicated that the damped {\sc sf} method results in properties
1051 < very similar to those obtained when using the Ewald summation.
1052 < Considering the statistical results shown above, the good performance
1053 < of this method is not that surprising.  Rather than consider the same
1054 < systems and simply recapitulate their results, we decided to look at
895 < the solid state dynamical behavior obtained using the best performing
896 < summation methods from the above results.
1047 > To evaluate how the differences between the methods affect the
1048 > collective long-time motion, we computed power spectra from long-time
1049 > traces of the velocity autocorrelation function. The power spectra for
1050 > the best-performing alternative methods are shown in
1051 > fig. \ref{fig:methodPS}.  Apodization of the correlation functions via
1052 > a cubic switching function between 40 and 50 ps was used to reduce the
1053 > ringing resulting from data truncation.  This procedure had no
1054 > noticeable effect on peak location or magnitude.
1055  
1056   \begin{figure}
1057   \centering
1058   \includegraphics[width = \linewidth]{./spectraSquare.pdf}
1059 < \caption{Power spectra obtained from the velocity auto-correlation functions of NaCl crystals at 1000 K while using SPME, {\sc sf} ($\alpha$ = 0, 0.1, \& 0.2), and {\sc sp} ($\alpha$ = 0.2).  Apodization of the correlation functions via a cubic switching function between 40 and 50 ps was used to clear up the spectral noise resulting from data truncation, and had no noticeable effect on peak location or magnitude.  The inset shows the frequency region below 100 cm$^{-1}$ to highlight where the spectra begin to differ.}
1059 > \caption{Power spectra obtained from the velocity auto-correlation
1060 > functions of NaCl crystals at 1000 K while using {\sc spme}, {\sc sf}
1061 > ($\alpha$ = 0, 0.1, \& 0.2), and {\sc sp} ($\alpha$ = 0.2).  The inset
1062 > shows the frequency region below 100 cm$^{-1}$ to highlight where the
1063 > spectra differ.}
1064   \label{fig:methodPS}
1065   \end{figure}
1066  
1067 < Figure \ref{fig:methodPS} shows the power spectra for the NaCl
1068 < crystals (from averaged Na and Cl ion velocity autocorrelation
1069 < functions) using the stated electrostatic summation methods.  While
1070 < high frequency peaks of all the spectra overlap, showing the same
1071 < general features, the low frequency region shows how the summation
1072 < methods differ.  Considering the low-frequency inset (expanded in the
1073 < upper frame of figure \ref{fig:dampInc}), at frequencies below 100
1074 < cm$^{-1}$, the correlated motions are blue-shifted when using undamped
1075 < or weakly damped {\sc sf}.  When using moderate damping ($\alpha
1076 < = 0.2$ \AA$^{-1}$) both the {\sc sf} and {\sc sp}
1077 < methods give near identical correlated motion behavior as the Ewald
1078 < method (which has a damping value of 0.3119).  The damping acts as a
1079 < distance dependent Gaussian screening of the point charges for the
1080 < pairwise summation methods.  This weakening of the electrostatic
1081 < interaction with distance explains why the long-ranged correlated
1082 < motions are at lower frequencies for the moderately damped methods
1083 < than for undamped or weakly damped methods.  To see this effect more
1084 < clearly, we show how damping strength affects a simple real-space
1085 < electrostatic potential,
1086 < \begin{equation}
1087 < V_\textrm{damped}=\sum^N_i\sum^N_{j\ne i}q_iq_j\left[\frac{\textrm{erfc}({\alpha r})}{r}\right]S(r),
1088 < \end{equation}
1089 < where $S(r)$ is a switching function that smoothly zeroes the
1090 < potential at the cutoff radius.  Figure \ref{fig:dampInc} shows how
1091 < the low frequency motions are dependent on the damping used in the
1092 < direct electrostatic sum.  As the damping increases, the peaks drop to
1093 < lower frequencies.  Incidentally, use of an $\alpha$ of 0.25
1094 < \AA$^{-1}$ on a simple electrostatic summation results in low
933 < frequency correlated dynamics equivalent to a simulation using SPME.
934 < When the coefficient lowers to 0.15 \AA$^{-1}$ and below, these peaks
935 < shift to higher frequency in exponential fashion.  Though not shown,
936 < the spectrum for the simple undamped electrostatic potential is
937 < blue-shifted such that the lowest frequency peak resides near 325
938 < cm$^{-1}$.  In light of these results, the undamped {\sc sf}
939 < method producing low-lying motion peaks within 10 cm$^{-1}$ of SPME is
940 < quite respectable; however, it appears as though moderate damping is
941 < required for accurate reproduction of crystal dynamics.
1067 > While the high frequency regions of the power spectra for the
1068 > alternative methods are quantitatively identical with Ewald spectrum,
1069 > the low frequency region shows how the summation methods differ.
1070 > Considering the low-frequency inset (expanded in the upper frame of
1071 > figure \ref{fig:dampInc}), at frequencies below 100 cm$^{-1}$, the
1072 > correlated motions are blue-shifted when using undamped or weakly
1073 > damped {\sc sf}.  When using moderate damping ($\alpha = 0.2$
1074 > \AA$^{-1}$) both the {\sc sf} and {\sc sp} methods give nearly identical
1075 > correlated motion to the Ewald method (which has a convergence
1076 > parameter of 0.3119 \AA$^{-1}$).  This weakening of the electrostatic
1077 > interaction with increased damping explains why the long-ranged
1078 > correlated motions are at lower frequencies for the moderately damped
1079 > methods than for undamped or weakly damped methods.
1080 >
1081 > To isolate the role of the damping constant, we have computed the
1082 > spectra for a single method ({\sc sf}) with a range of damping
1083 > constants and compared this with the {\sc spme} spectrum.
1084 > Fig. \ref{fig:dampInc} shows more clearly that increasing the
1085 > electrostatic damping red-shifts the lowest frequency phonon modes.
1086 > However, even without any electrostatic damping, the {\sc sf} method
1087 > has at most a 10 cm$^{-1}$ error in the lowest frequency phonon mode.
1088 > Without the {\sc sf} modifications, an undamped (pure cutoff) method
1089 > would predict the lowest frequency peak near 325 cm$^{-1}$.  {\it
1090 > Most} of the collective behavior in the crystal is accurately captured
1091 > using the {\sc sf} method.  Quantitative agreement with Ewald can be
1092 > obtained using moderate damping in addition to the shifting at the
1093 > cutoff distance.
1094 >
1095   \begin{figure}
1096   \centering
1097 < \includegraphics[width = \linewidth]{./comboSquare.pdf}
1098 < \caption{Regions of spectra showing the low-frequency correlated motions for NaCl crystals at 1000 K using various electrostatic summation methods.  The upper plot is a zoomed inset from figure \ref{fig:methodPS}.  As the damping value for the {\sc sf} potential increases, the low-frequency peaks red-shift.  The lower plot is of spectra when using SPME and a simple damped Coulombic sum with damping coefficients ($\alpha$) ranging from 0.15 to 0.3 \AA$^{-1}$.  As $\alpha$ increases, the peaks are red-shifted toward and eventually beyond the values given by SPME.  The larger $\alpha$ values weaken the real-space electrostatics, explaining this shift towards less strongly correlated motions in the crystal.}
1097 > \includegraphics[width = \linewidth]{./increasedDamping.pdf}
1098 > \caption{Effect of damping on the two lowest-frequency phonon modes in
1099 > the NaCl crystal at 1000K.  The undamped shifted force ({\sc sf})
1100 > method is off by less than 10 cm$^{-1}$, and increasing the
1101 > electrostatic damping to 0.25 \AA$^{-1}$ gives quantitative agreement
1102 > with the power spectrum obtained using the Ewald sum.  Overdamping can
1103 > result in underestimates of frequencies of the long-wavelength
1104 > motions.}
1105   \label{fig:dampInc}
1106   \end{figure}
1107  
1108   \section{Conclusions}
1109  
1110   This investigation of pairwise electrostatic summation techniques
1111 < shows that there are viable and more computationally efficient
1112 < electrostatic summation techniques than the Ewald summation, chiefly
1113 < methods derived from the damped Coulombic sum originally proposed by
1114 < Wolf \textit{et al.}\cite{Wolf99,Zahn02} In particular, the
1115 < {\sc sf} method, reformulated above as eq. (\ref{eq:DSFPot}),
1116 < shows a remarkable ability to reproduce the energetic and dynamic
1117 < characteristics exhibited by simulations employing lattice summation
1118 < techniques.  The cumulative energy difference results showed the
1119 < undamped {\sc sf} and moderately damped {\sc sp} methods
1120 < produced results nearly identical to SPME.  Similarly for the dynamic
1121 < features, the undamped or moderately damped {\sc sf} and
1122 < moderately damped {\sc sp} methods produce force and torque
1123 < vector magnitude and directions very similar to the expected values.
1124 < These results translate into long-time dynamic behavior equivalent to
1125 < that produced in simulations using SPME.
1111 > shows that there are viable and computationally efficient alternatives
1112 > to the Ewald summation.  These methods are derived from the damped and
1113 > cutoff-neutralized Coulombic sum originally proposed by Wolf
1114 > \textit{et al.}\cite{Wolf99} In particular, the {\sc sf}
1115 > method, reformulated above as eqs. (\ref{eq:DSFPot}) and
1116 > (\ref{eq:DSFForces}), shows a remarkable ability to reproduce the
1117 > energetic and dynamic characteristics exhibited by simulations
1118 > employing lattice summation techniques.  The cumulative energy
1119 > difference results showed the undamped {\sc sf} and moderately damped
1120 > {\sc sp} methods produced results nearly identical to {\sc spme}.  Similarly
1121 > for the dynamic features, the undamped or moderately damped {\sc sf}
1122 > and moderately damped {\sc sp} methods produce force and torque vector
1123 > magnitude and directions very similar to the expected values.  These
1124 > results translate into long-time dynamic behavior equivalent to that
1125 > produced in simulations using {\sc spme}.
1126  
1127 + As in all purely-pairwise cutoff methods, these methods are expected
1128 + to scale approximately {\it linearly} with system size, and they are
1129 + easily parallelizable.  This should result in substantial reductions
1130 + in the computational cost of performing large simulations.
1131 +
1132   Aside from the computational cost benefit, these techniques have
1133   applicability in situations where the use of the Ewald sum can prove
1134 < problematic.  Primary among them is their use in interfacial systems,
1135 < where the unmodified lattice sum techniques artificially accentuate
1136 < the periodicity of the system in an undesirable manner.  There have
1137 < been alterations to the standard Ewald techniques, via corrections and
1138 < reformulations, to compensate for these systems; but the pairwise
1139 < techniques discussed here require no modifications, making them
1140 < natural tools to tackle these problems.  Additionally, this
1141 < transferability gives them benefits over other pairwise methods, like
1142 < reaction field, because estimations of physical properties (e.g. the
1143 < dielectric constant) are unnecessary.
1134 > problematic.  Of greatest interest is their potential use in
1135 > interfacial systems, where the unmodified lattice sum techniques
1136 > artificially accentuate the periodicity of the system in an
1137 > undesirable manner.  There have been alterations to the standard Ewald
1138 > techniques, via corrections and reformulations, to compensate for
1139 > these systems; but the pairwise techniques discussed here require no
1140 > modifications, making them natural tools to tackle these problems.
1141 > Additionally, this transferability gives them benefits over other
1142 > pairwise methods, like reaction field, because estimations of physical
1143 > properties (e.g. the dielectric constant) are unnecessary.
1144  
1145 < We are not suggesting any flaw with the Ewald sum; in fact, it is the
1146 < standard by which these simple pairwise sums are judged.  However,
1147 < these results do suggest that in the typical simulations performed
1148 < today, the Ewald summation may no longer be required to obtain the
1149 < level of accuracy most researcher have come to expect
1145 > If a researcher is using Monte Carlo simulations of large chemical
1146 > systems containing point charges, most structural features will be
1147 > accurately captured using the undamped {\sc sf} method or the {\sc sp}
1148 > method with an electrostatic damping of 0.2 \AA$^{-1}$.  These methods
1149 > would also be appropriate for molecular dynamics simulations where the
1150 > data of interest is either structural or short-time dynamical
1151 > quantities.  For long-time dynamics and collective motions, the safest
1152 > pairwise method we have evaluated is the {\sc sf} method with an
1153 > electrostatic damping between 0.2 and 0.25
1154 > \AA$^{-1}$.
1155  
1156 + We are not suggesting that there is any flaw with the Ewald sum; in
1157 + fact, it is the standard by which these simple pairwise sums have been
1158 + judged.  However, these results do suggest that in the typical
1159 + simulations performed today, the Ewald summation may no longer be
1160 + required to obtain the level of accuracy most researchers have come to
1161 + expect.
1162 +
1163   \section{Acknowledgments}
1164 + Support for this project was provided by the National Science
1165 + Foundation under grant CHE-0134881.  The authors would like to thank
1166 + Steve Corcelli and Ed Maginn for helpful discussions and comments.
1167 +
1168   \newpage
1169  
1170   \bibliographystyle{jcp2}

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines