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 2605 by chrisfen, Wed Mar 8 15:14:20 2006 UTC vs.
Revision 2609 by chrisfen, Sat Mar 11 18:05:50 2006 UTC

# Line 3 | Line 3
3   \usepackage{endfloat}
4   \usepackage{amsmath}
5   \usepackage{amssymb}
6 %\usepackage{ifsym}
6   \usepackage{epsf}
7   \usepackage{times}
8   \usepackage{mathptm}
# Line 26 | Line 25
25  
26   \begin{document}
27  
28 < \title{Is the Ewald Summation necessary in typical molecular simulations: Alternatives to the accepted standard of cutoff policies}
28 > \title{Is the Ewald Summation necessary? : Pairwise alternatives to the accepted standard for long-range electrostatics}
29  
30   \author{Christopher J. Fennell and J. Daniel Gezelter \\
31   Department of Chemistry and Biochemistry\\
# Line 52 | Line 51 | In molecular simulations, proper accumulation of the e
51  
52   In molecular simulations, proper accumulation of the electrostatic interactions is considered one of the most essential and computationally demanding tasks.  
53  
54 + \subsection{The Ewald Sum}
55   blah blah blah Ewald Sum Important blah blah blah
56  
57 < In a recent paper by Wolf \textit{et al.}, a procedure was outlined for accumulation of electrostatic interactions in a simple pairwise fashion.\cite{Wolf99}  They took the observation that the electrostatic interaction is short-ranged in systems of charges and that charge neutralization within the cutoff spheres is crucial for potential stability, and they devised a pairwise summation method that ensures charge neutrality and gives results similar to those obtained using the Ewald summation.  The resulting shifted Coulomb potential (Eq. \ref{eq:WolfPot}) includes image-charges subtracted out through placement on the cutoff sphere and a distance-dependent damping function (identical to that seen in the real-space portion of the Ewald sum) to hasten energetic convergence
57 > \subsection{The Wolf and Zahn Methods}
58 > In a recent paper by Wolf \textit{et al.}, a procedure was outlined for accumulation of electrostatic interactions in a simple pairwise fashion.\cite{Wolf99}  They took the observation that the effective electrostatic interaction is short-ranged in systems of charges and that charge neutralization within the cutoff spheres is crucial for potential stability. They devised a pairwise summation method that ensures charge neutrality and gives results similar to those obtained using the Ewald summation.  The resulting shifted Coulomb potential (Eq. \ref{eq:WolfPot}) includes image-charges subtracted out through placement on the cutoff sphere and a distance-dependent damping function (identical to that seen in the real-space portion of the Ewald sum) to aid energetic convergence
59   \begin{equation}
60 < V(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\}.
60 > V^{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\}.
61   \label{eq:WolfPot}
62   \end{equation}
63 < In order to use this potential in molecular dynamics simulations, the derivative of this potential was taken, followed by evaluation of the limit to give the following forces,
63 > In order to use this potential in molecular dynamics simulations, Wolf \textit{et al.} suggested taking the derivative of this potential, followed by evaluation of the limit to give the following forces,
64   \begin{equation}
65 < F(r_{ij}) = q_iq_j\left[\left(\frac{\textrm{erfc}(\alpha r_{ij})}{r^2_{ij}}+\frac{2\alpha}{\pi^{1/2}}\frac{\exp{(-\alpha^2r_{ij}^2)}}{r_{ij}}\right)-\left(\frac{\textrm{erfc}(\alpha R_{\textrm{c}})}{R_{\textrm{c}}^2}+\frac{2\alpha}{\pi^{1/2}}\frac{\exp{\left(-\alpha^2R_{\textrm{c}}^2\right)}}{R_{\textrm{c}}}\right)\right].
65 > F^{Wolf}(r_{ij}) = q_iq_j\left[\left(\frac{\textrm{erfc}(\alpha r_{ij})}{r^2_{ij}}+\frac{2\alpha}{\pi^{1/2}}\frac{\exp{(-\alpha^2r_{ij}^2)}}{r_{ij}}\right)-\left(\frac{\textrm{erfc}(\alpha R_{\textrm{c}})}{R_{\textrm{c}}^2}+\frac{2\alpha}{\pi^{1/2}}\frac{\exp{\left(-\alpha^2R_{\textrm{c}}^2\right)}}{R_{\textrm{c}}}\right)\right].
66   \label{eq:WolfForces}
67   \end{equation}
68 < More recently, Zahn \textit{et al.} investigated this electrostatic summation method for use in simulations involving water.\cite{Zahn02}  In their work, they point out that the method as proposed is problematic for use in Molecular Dynamics simulations, because the integral of the forces and derivative of the potential are not equivalent.  This comes about from the procedure of taking the limit shown in equation \ref{eq:WolfPot} after calculating the derivatives.\cite{Wolf99}  Zahn \textit{et al.} proposed a shifted force adaptation of this "Wolf summation method" as a way to use this technique in Molecular Dynamics simulations.  Taking the integral of the forces shown in equation \ref{eq:WolfForces}, they obtained a new shifted damped Coulomb potential
68 > More recently, Zahn \textit{et al.} investigated this electrostatic summation method for use in simulations involving water.\cite{Zahn02}  In their work, they point out that the method as proposed is problematic for use in Molecular Dynamics simulations, because the forces and derivative of the potential are not equivalent.  This comes about from the procedure of taking the limit shown in equation \ref{eq:WolfPot} after calculating the derivatives.\cite{Wolf99}  Zahn \textit{et al.} proposed a shifted force adaptation of this ``Wolf summation method" as a way to use this technique in Molecular Dynamics simulations.  Taking the integral of the forces shown in equation \ref{eq:WolfForces}, they obtained a new shifted damped Coulomb potential
69   \begin{equation}
70 < V\left(r_{ij}\right)=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\}.
70 > V^{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\}.
71   \label{eq:ZahnPot}
72   \end{equation}
73   They showed that this new potential does well in capturing the structural and dynamic properties of water in their simulations.
74  
75 < While implementing these methods for use in our own work, we discovered the potential presented in equation \ref{eq:ZahnPot} is still not entirely correct.  The derivative of this equation leads to a sign error in the forces, resulting in erroneous dynamics.  We can apply the standard shifted force potential form for Lennard-Jones potentials,
75 > \subsection{Simple Forms for Pairwise Electrostatics}
76 > The potentials proposed by Wolf \textit{et al.} and Zahn \textit{et al.} are constructed using two different (and separable) computational tricks.
77 >
78 > While implementing these methods for use in our own work, we discovered the potential presented in equation \ref{eq:ZahnPot} is still not entirely correct.  The derivative of this equation leads to a sign error in the forces, resulting in erroneous dynamics.  We can apply the standard shifted force potential,
79   \begin{equation}
80   V^\textrm{SF}(r_{ij}) =         \begin{cases} v(r_{ij})-v_\textrm{c}-\left(\frac{\textrm{d}v(r_{ij})}{\textrm{d}r_{ij}}\right)_{r_{ij}=R_\textrm{c}}(r_{ij}-R_\textrm{c}) &\quad r_{ij}\leqslant R_\textrm{c} \\ 0 &\quad r_{ij}>R_\textrm{c}
81                                                  \end{cases},
82   \end{equation}
83 < where $v(r_{ij})$ unshifted form of the potential, and $v_c$ is a constant term that insures the potential goes to zero at the cutoff radius.\cite{Allen87}  Using the simple damped Coulomb potential as the starting point,
83 > where $v(r_{ij})$ is the unshifted form of the potential, and $v_c$ is $v(R_\textrm{c})$ and insures the potential goes to zero at the cutoff radius.\cite{Allen87}  Using the simple damped Coulomb potential as the starting point,
84   \begin{equation}
85   v(r_{ij}) = \frac{\mathrm{erfc}\left(\alpha r_{ij}\right)}{r_{ij}},
86   \label{eq:dampCoulomb}
# Line 88 | Line 92 | Equation \ref{eq:SFPot} is similar to equation \ref{eq
92   \end{equation}
93   Equation \ref{eq:SFPot} is similar to equation \ref{eq:ZahnPot} derived by Zahn \textit{et al.}; however, there are two important differences.\cite{Zahn02} First, the $v_\textrm{c}$ term is simply equation \ref{eq:dampCoulomb} with $R_\textrm{c}$ supplied for $r_{ij}$.  This term is not present in equation \ref{eq:ZahnPot}, resulting in a discontinuity in the potential as particles cross $R_\textrm{c}$.  Second, the sign of the derivative portion is different.  The constant $v_\textrm{c}$ term is not going to have a presence in the forces after performing the derivative, but the negative sign does effect the derivative.  In fact, it introduces a discontinuity in the forces at the cutoff, because the force function is shifted in the wrong direction and doesn't cross zero at $R_\textrm{c}$.  Thus, these alterations make for an electrostatic summation method that is continuous in both the potential and forces and incorporates the pairwise sum considerations stressed by Wolf \textit{et al.}\cite{Wolf99}
94  
95 < It is important to note that shifted force techniques have a drawback in that they alter the shape of the original potential.  We thereby lose a degree of clarity about the original formulation of the potential in order to gain functionality in dynamics simulations.  An alternative direction would be use the derivatives of the original potential for the forces.  This was addressed by Wolf \textit{et al.} as undesirable, because the effect of the image charges is neglected in the forces when they would expect there to be some pressure exerted due to their presence.\cite{Wolf99}  As a consequence the forces, though mathematically valid, may not be physically correct due to this missing component.  In Monte Carlo simulations, this argument is mute, because forces are not evaluated.  We decided to consider both the Shifted-Force technique described above and this Shifted-Potential technique to determine their usability in the evaluation of both energetic and dynamic results in simulations with electrostatics.
95 > It is important to note that shifted force techniques have a drawback in that they alter the shape of the original potential.  We thereby lose a degree of clarity about the original formulation of the potential in order to gain functionality in dynamics simulations.  An alternative direction would be use the derivatives of the original potential for the forces.  This was addressed by Wolf \textit{et al.} as undesirable, because the effect of the image charges is neglected in the forces when they would expect there to be some pressure exerted due to their presence.\cite{Wolf99}  As a consequence the forces, though mathematically valid, may not be physically correct due to this missing component.  In Monte Carlo simulations, this argument is moot, because forces are not evaluated.  We decided to consider both the Shifted-Force technique described above and this Shifted-Potential technique to determine their usability in the evaluation of both energetic and dynamic results in simulations with electrostatics.
96  
97 < A variety of simulation situations were assembled and analyzed to determine the relative effectiveness of the adapted Wolf spherical truncation schemes at reproducing the results obtained using a smooth particle mesh Ewald (SPME) summation technique.\cite{Essmann95}  In addition to the Shifted-Potential and Shifted-Force adapted Wolf methods, both reaction field and uncorrected cutoff methods were included for comparison purposes.  The general usability of these methods in both Monte Carlo and Molecular Dynamics calculations was assessed through statistical analysis over the combined results from all of the following studied systems:
97 > \section{Methods}
98 >
99 > \subsection{What Qualities are Important?}\label{sec:Qualities}
100 > In classical molecular mechanics simulations, there are two primary techniques utilized to obtain information about the system of interest: Monte Carlo (MC) and Molecular Dynamics (MD).  Both of these techniques utilize pairwise summations of interactions between particle sites, but they use these summations in different ways.  
101 >
102 > In MC, the potential energy difference between two subsequent configurations dictates the progression of MC sampling.  Going back to the origins of this method, the Canonical ensemble acceptance criteria laid out by Metropolis \textit{et al.} states that a subsequent configuration is accepted if $\Delta E < 0$ or if $\xi < \exp(-\Delta E/kT)$, where $\xi$ is a random number between 0 and 1.\cite{Metropolis53}  Maintaining a consistent $\Delta E$ when using an alternate method for handling the long-range electrostatics ensures proper sampling within the ensemble.
103 >
104 > In MD, the derivative of the potential directs how the system will progress in time.  Consequently, the force and torque vectors on each body in the system dictate how it develops as a whole.  If the magnitude and direction of these vectors are similar when using alternate electrostatic summation techniques, the dynamics in the near term will be indistinguishable.  Because error in MD calculations is cumulative, one should expect greater deviation in the long term trajectories with greater differences in these vectors between configurations using different long-range electrostatics.
105 >
106 > \subsection{Monte Carlo and the Energy Gap}\label{sec:MCMethods}
107 > Evaluation of the pairwise summation techniques (outlined in section \ref{sec:ESMethods}) for use in MC simulations was performed through study of the energy differences between conformations.  Considering the SPME results to be the correct or desired behavior, ideal performance of a tested method was taken to be agreement between the energy differences calculated.  Linear least squares regression of the $\Delta E$ values between configurations using SPME against $\Delta E$ values using tested methods provides a quantitative comparison of this agreement.  Unitary results for both the correlation and correlation coefficient for these regressions indicate equivalent energetic results between the methods.  The correlation is the slope of the plotted data while the correlation coefficient ($R^2$) is a measure of the of the data scatter around the fitted line and tells about the quality of the fit (Fig. \ref{fig:linearFit}).
108 >
109 > \begin{figure}
110 > \centering
111 > \includegraphics[width=3.25in]{./linearFit.pdf}
112 > \caption{Example least squares regression of the $\Delta E$ between configurations for the SF method against SPME in the pure water system.  }
113 > \label{fig:linearFit}
114 > \end{figure}
115 >
116 > Each system type (detailed in section \ref{sec:Simulations}) studied consisted of 500 independent configurations, each equilibrated from higher temperature trajectories. Thus, 124,750 $\Delta E$ data points are used in a regression of a single system type.  Results and discussion for the individual analysis of each of the system types appear in the supporting information, while the cumulative results over all the investigated systems appears below in section \ref{sec:EnergyResults}.  
117 >
118 > \subsection{Molecular Dynamics and the Force and Torque Vectors}\label{sec:MDMethods}
119 > Evaluation of the pairwise methods (outlined in section \ref{sec:ESMethods}) for use in MD simulations was performed through comparison of the force and torque vectors obtained with those from SPME.  Both the magnitude and the direction of these vectors on each of the bodies in the system were analyzed.  For the magnitude of these vectors, linear least squares regression analysis can be performed as described previously for comparing $\Delta E$ values. Instead of a single value between two system configurations, there is a value for each particle in each configuration.  For a system of 1000 water molecules and 40 ions, there are 1040 force vectors and 1000 torque vectors.  With 500 configurations, this results in 520,000 force and 500,000 torque vector comparisons samples for each system type.
120 >
121 > The force and torque vector directions were investigated through measurement of the angle ($\theta$) formed between those from the particular method and those from SPME.  Each of these $\theta$ values was accumulated in a distribution function, weighted by the area on the unit sphere.  Non-linear fits were used to measure the shape of the resulting distributions.
122 >
123 > \begin{figure}
124 > \centering
125 > \includegraphics[width=3.25in]{./gaussFit.pdf}
126 > \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.}
127 > \label{fig:gaussian}
128 > \end{figure}
129 >
130 > Figure \ref{fig:gaussian} shows an example distribution with applied non-linear fits.  The solid line is a Gaussian profile, while the dotted line is a Voigt profile, a convolution of a Gaussian and a Lorentzian.  Since this distribution is a measure of angular error between two different electrostatic summation methods, there is particular reason for the profile to adhere to a specific shape.  Because of this and the Gaussian profile's more statistically meaningful properties, Gaussian fits was used to compare all the tested methods.  The variance ($\sigma^2$) was extracted from each of these fits and was used to compare distribution widths.  Values of $\sigma^2$ near zero indicate vector directions indistinguishable from those calculated when using SPME.
131 >
132 > \subsection{Long-Time and Collective Motion}\label{sec:LongTimeMethods}
133 > Evaluation of the long-time dynamics of charged systems was performed by considering the NaCl crystal system while using a subset of the best performing pairwise methods.  The NaCl crystal was chosen to avoid possible complications involving the propagation techniques of orientational motion in molecular systems.  To enhance the atomic motion, these crystals were equilibrated at 1000 K, near the experimental $T_m$ for NaCl.  Simulations were performed under the microcanonical ensemble, and velocity autocorrelation functions (Eq. \ref{eq:vCorr}) were computed for each of the trajectories,
134 > \begin{equation}
135 > C_v(t) = \langle v_i(0)\cdot v_i(t)\rangle.
136 > \label{eq:vCorr}
137 > \end{equation}
138 > Velocity autocorrelation functions require detailed short time data and long trajectories for good statistics, thus velocity information was saved every 5 fs over 100 ps trajectories.  The power spectrum ($I(\omega)$) is obtained via Fourier transform of the autocorrelation function
139 > \begin{equation}
140 > I(\omega) = \frac{1}{2\pi}\int^{\infty}_{-\infty}C_v(t)e^{-i\omega t}dt,
141 > \label{eq:powerSpec}
142 > \end{equation}
143 > where the frequency, $\omega=0,\ 1,\ ...,\ N-1$.
144 >
145 > \subsection{Representative Simulations}\label{sec:RepSims}
146 > A variety of common and representative simulations were analyzed to determine the relative effectiveness of the pairwise summation techniques in reproducing the energetics and dynamics exhibited by SPME.  The studied systems were as follows:
147   \begin{enumerate}
148   \item Liquid Water
149   \item Crystalline Water (Ice I$_\textrm{c}$)
# Line 100 | Line 153 | A variety of simulation situations were assembled and
153   \item High Ionic Strength Solution of NaCl in Water
154   \item 6 \AA\  Radius Sphere of Argon in Water
155   \end{enumerate}
156 < By studying these methods in systems composed entirely of neutral groups, charged particles, and mixtures of the two, we can either comment on possible system dependence or universal applicability of the techniques.
156 > By utilizing the pairwise techniques (outlined in section \ref{sec:ESMethods}) in systems composed entirely of neutral groups, charged particles, and mixtures of the two, we can comment on possible system dependence and/or universal applicability of the techniques.
157  
105 \section{Methods}
106
107 In each of the simulated systems, 500 distinct configurations were generated, and the electrostatic summation methods were compared via sequential application on each of these fixed configurations.  The methods compared include SPME, the aforementioned Shifted Potential and Shifted Force methods - both with damping parameters ($\alpha$) of 0, 0.1, 0.2, and 0.3 \AA$^{-1}$ (no, light, moderate, and heavy damping respectively), reaction field with an infinite dielectric constant, and an unmodified cutoff.  Group-based cutoffs with a fifth-order polynomial switching function were necessary for the reaction field simulations and were utilized in the SP, SF, and pure cutoff methods for comparison to the standard lack of group-based cutoffs with a hard truncation.  The SPME calculations were performed using the TINKER implementation of SPME, while all all other method calculations were performed using the OOPSE molecular mechanics package.\cite{Ponder87,Meineke05}
108
158   Generation of the system configurations was dependent on the system type.  For the solid and liquid water configurations, configuration snapshots were taken at regular intervals from higher temperature 1000 SPC/E water molecule trajectories and each equilibrated individually.  The solid and liquid NaCl systems consisted of 500 Na+ and 500 Cl- ions and were selected and equilibrated in the same fashion as the water systems.  For the low and high ionic strength NaCl solutions, 4 and 40 ions were first solvated in a 1000 water molecule boxes respectively.  Ion and water positions were then randomly swapped, and the resulting configurations were again equilibrated individually.  Finally, for the Argon/Water "charge void" systems, the identities of all the SPC/E waters within 6 \AA\ of the center of the equilibrated water configurations were converted to argon (Fig. \ref{fig:argonSlice}).
159  
160   \begin{figure}
# Line 115 | Line 164 | Generation of the system configurations was dependent
164   \label{fig:argonSlice}
165   \end{figure}
166  
167 < All of these comparisons were performed with three different cutoff radii (9, 12, and 15 \AA) to investigate the cutoff radius dependence of the various techniques.  It should be noted that the damping parameter chosen in SPME, or so called ``Ewald Coefficient", has a significant effect on the energies and forces calculated.  Typical molecular mechanics packages default this to a value dependent on the cutoff radius and a tolerance (typically less than $1 \times 10^{-4}$ kcal/mol).  Smaller tolerances are typically associated with increased accuracy.\cite{Essmann95}  The default TINKER tolerance of $1 \times 10^{-8}$ kcal/mol was used in all SPME calculations, resulting in Ewald Coefficients of 0.4200, 0.3119, and 0.2476 \AA$^{-1}$ for cutoff radii of 9, 12, and 15 \AA\ respectively.
167 > \subsection{Electrostatic Summation Methods}\label{sec:ESMethods}
168 > Electrostatic summation method comparisons were performed using SPME, the Shifted-Potential and Shifted-Force methods - both with damping parameters ($\alpha$) of 0.0, 0.1, 0.2, and 0.3 \AA$^{-1}$ (no, weak, moderate, and strong damping respectively), reaction field with an infinite dielectric constant, and an unmodified cutoff.  Group-based cutoffs with a fifth-order polynomial switching function were necessary for the reaction field simulations and were utilized in the SP, SF, and pure cutoff methods for comparison to the standard lack of group-based cutoffs with a hard truncation.  The SPME calculations were performed using the TINKER implementation of SPME,\cite{Ponder87} while all other method calculations were performed using the OOPSE molecular mechanics package.\cite{Meineke05}
169  
170 + These methods were additionally evaluated with three different cutoff radii (9, 12, and 15 \AA) to investigate possible cutoff radius dependence.  It should be noted that the damping parameter chosen in SPME, or so called ``Ewald Coefficient", has a significant effect on the energies and forces calculated.  Typical molecular mechanics packages default this to a value dependent on the cutoff radius and a tolerance (typically less than $1 \times 10^{-4}$ kcal/mol).  Smaller tolerances are typically associated with increased accuracy in the real-space portion of the summation.\cite{Essmann95}  The default TINKER tolerance of $1 \times 10^{-8}$ kcal/mol was used in all SPME calculations, resulting in Ewald Coefficients of 0.4200, 0.3119, and 0.2476 \AA$^{-1}$ for cutoff radii of 9, 12, and 15 \AA\ respectively.
171 +
172   \section{Results and Discussion}
173  
174 < \subsection{$\Delta E$ Comparison}
175 < In order to evaluate the performance of the adapted Wolf Shifted Potential and Shifted Force electrostatic summation methods for Monte Carlo simulations, the energy differences between configurations need to be compared to the results using SPME.  Considering the SPME results to be the correct or desired behavior, ideal performance of a tested method is taken to be agreement between the energy differences calculated.  Linear least squares regression of the $\Delta E$ values between configurations using SPME against $\Delta E$ values using tested methods provides a quantitative comparison of this agreement.  Unitary results for both the correlation and correlation coefficient for these regressions indicate equivalent energetic results between the methods.  The correlation is the slope of the plotted data while the correlation coefficient ($R^2$) is a measure of the of the data scatter around the fitted line and gives an idea of the quality of the fit (Fig. \ref{fig:linearFit}).
174 > \subsection{Configuration Energy Differences}\label{sec:EnergyResults}
175 > In order to evaluate the performance of the pairwise electrostatic summation methods for Monte Carlo simulations, the energy differences between configurations were compared to the values obtained when using SPME.  The results for the subsequent regression analysis are shown in figure \ref{fig:delE}.  
176  
177   \begin{figure}
178   \centering
127 \includegraphics[width=3.25in]{./linearFit.pdf}
128 \caption{Example least squares regression of the $\Delta E$ between configurations for the SF method against SPME in the pure water system.  }
129 \label{fig:linearFit}
130 \end{figure}
131
132 With 500 independent configurations, 124,750 $\Delta E$ data points are used in a regression of a single system.  Results and discussion for the individual analysis of each of the system types appear in the supporting information.  To probe the applicability of each method in the general case, all the different system types were included in a single regression.  The results for this regression are shown in figure \ref{fig:delE}.  
133
134 \begin{figure}
135 \centering
179   \includegraphics[width=3.25in]{./delEplot.pdf}
180 < \caption{The results from the statistical analysis of the $\Delta$E results for all the system types at 9 \AA\ (${\bullet}$), 12 \AA\ ($\blacksquare$), and 15 \AA\ ($\blacktriangledown$) cutoff radii.  Results close to a value of 1 (dashed line) indicate $\Delta E$ values from that particular method (listed on the left) are nearly indistinguishable from those obtained from SPME.  Reaction Field results do not include NaCl crystal or melt configurations.}
180 > \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).}
181   \label{fig:delE}
182   \end{figure}
183  
184 < In figure \ref{fig:delE}, it is apparent that it is unreasonable to expect realistic results using an unmodified cutoff.  This is not all that surprising since this results in large energy fluctuations as atoms move in and out of the cutoff radius.  These fluctuations can be alleviated to some degree by using group based cutoffs with a switching function.  The Group Switch Cutoff row doesn't show a significant improvement in this plot because the salt and salt solution systems contain non-neutral groups, see the accompanying supporting information for a comparison where all groups are neutral.  Correcting the resulting charged cutoff sphere is one of the purposes of the shifted potential proposed by Wolf \textit{et al.}, and this correction indeed improves the results as seen in the Shifted Potental rows.  While the undamped case of this method is a significant improvement over the pure cutoff, it still doesn't correlate that well with SPME.  Inclusion of potential damping improves the results, and using an $\alpha$ of 0.2 \AA $^{-1}$ shows an excellent correlation and quality of fit with the SPME results, particularly with a cutoff radius greater than 12 \AA .  Use of a larger damping parameter is more helpful for the shortest cutoff shown, but it has a detrimental effect on simulations with larger cutoffs.  In the Shifted Force sets, increasing damping results in progressively poorer correlation.  Overall, the undamped case is the best performing set, as the correlation and quality of fits are consistently superior regardless of the cutoff distance.  This result is beneficial in that the undamped case is less computationally prohibitive do to the lack of complimentary error function calculation when performing the electrostatic pair interaction.  The reaction field results illustrates some of that method's limitations, primarily that it was developed for use in homogenous systems; although it does provide results that are an improvement over those from an unmodified cutoff.
184 > In this figure, it is apparent that it is unreasonable to expect realistic results using an unmodified cutoff.  This is not all that surprising since this results in large energy fluctuations as atoms move in and out of the cutoff radius.  These fluctuations can be alleviated to some degree by using group based cutoffs with a switching function.  The Group Switch Cutoff row doesn't show a significant improvement in this plot because the salt and salt solution systems contain non-neutral groups, see the accompanying supporting information for a comparison where all groups are neutral.  
185  
186 < \subsection{Force Magnitude Comparison}
186 > Correcting the resulting charged cutoff sphere is one of the purposes of the shifted potential proposed by Wolf \textit{et al.}, and this correction indeed improves the results as seen in the Shifted Potental rows.  While the undamped case of this method is a significant improvement over the pure cutoff, it still doesn't correlate that well with SPME.  Inclusion of potential damping improves the results, and using an $\alpha$ of 0.2 \AA $^{-1}$ shows an excellent correlation and quality of fit with the SPME results, particularly with a cutoff radius greater than 12 \AA .  Use of a larger damping parameter is more helpful for the shortest cutoff shown, but it has a detrimental effect on simulations with larger cutoffs.  In the Shifted Force sets, increasing damping results in progressively poorer correlation.  Overall, the undamped case is the best performing set, as the correlation and quality of fits are consistently superior regardless of the cutoff distance.  This result is beneficial in that the undamped case is less computationally prohibitive do to the lack of complimentary error function calculation when performing the electrostatic pair interaction.  The reaction field results illustrates some of that method's limitations, primarily that it was developed for use in homogenous systems; although it does provide results that are an improvement over those from an unmodified cutoff.
187  
188 + \subsection{Magnitudes of the Force and Torque Vectors}
189 +
190   While studying the energy differences provides insight into how comparable these methods are energetically, if we want to use these methods in Molecular Dynamics simulations, we also need to consider their effect on forces and torques.  Both the magnitude and the direction of the force and torque vectors of each of the bodies in the system can be compared to those observed while using SPME.  Analysis of the magnitude of these vectors can be performed in the manner described previously for comparing $\Delta E$ values, only instead of a single value between two system configurations, there is a value for each particle in each configuration.  For a system of 1000 water molecules and 40 ions, there are 1040 force vectors and 1000 torque vectors.  With 500 configurations, this results in excess of 500,000 data samples for each system type.  Figures \ref{fig:frcMag} and \ref{fig:trqMag} respectively show the force and torque vector magnitude results for the accumulated analysis over all the system types.
191  
192   \begin{figure}
193   \centering
194   \includegraphics[width=3.25in]{./frcMagplot.pdf}
195 < \caption{The results from the statistical analysis of the force vector magnitude results for all the system types at 9 \AA\ (${\bullet}$), 12 \AA\ ($\blacksquare$), and 15 \AA\ ($\blacktriangledown$) cutoff radii.  Results close to a value of 1 (dashed line) indicate force vector magnitude values from that particular method (listed on the left) are nearly indistinguishable from those obtained from SPME.}
195 > \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).}
196   \label{fig:frcMag}
197   \end{figure}
198  
199   The results in figure \ref{fig:frcMag} for the most part parallel those seen in the previous look at the $\Delta E$ results.  The unmodified cutoff results are poor, but using group based cutoffs and a switching function provides a improvement much more significant than what was seen with $\Delta E$.  Looking at the Shifted Potential sets, the slope and $R^2$ improve with the use of damping to an optimal result of 0.2 \AA $^{-1}$ for the 12 and 15 \AA\ cutoffs.  Further increases in damping, while beneficial for simulations with a cutoff radius of 9 \AA\ , is detrimental to simulations with larger cutoff radii.  The undamped Shifted Force method gives forces in line with those obtained using SPME, and use of a damping function results in minor improvement.  The reaction field results are surprisingly good, considering the poor quality of the fits for the $\Delta E$ results.  There is still a considerable degree of scatter in the data, but it correlates well in general.
200  
156 \subsection{Torque Magnitude Comparison}
157
201   \begin{figure}
202   \centering
203   \includegraphics[width=3.25in]{./trqMagplot.pdf}
204 < \caption{The results from the statistical analysis of the torque vector magnitude results for all the system types at 9 \AA\ (${\bullet}$), 12 \AA\ ($\blacksquare$), and 15 \AA\ ($\blacktriangledown$) cutoff radii.  Results close to a value of 1 (dashed line) indicate torque vector magnitude values from that particular method (listed on the left) are nearly indistinguishable from those obtained from SPME.  Torques are only accumulated on the rigid water molecules, so these results exclude NaCl the systems.}
204 > \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).}
205   \label{fig:trqMag}
206   \end{figure}
207  
208   The torque vector magnitude results in figure \ref{fig:trqMag} are similar to those seen for the forces, but more clearly show the improved behavior with increasing cutoff radius.  Moderate damping is beneficial to the Shifted Potential and unnecessary with the Shifted Force method, and they also show that over-damping adversely effects all cutoff radii rather than showing an improvement for systems with short cutoffs.  The reaction field method performs well when calculating the torques, better than the Shifted Force method over this limited data set.
209  
210 < \subsection{Force and Torque Direction Comparison}
210 > \subsection{Directionality of the Force and Torque Vectors}
211  
212   Having force and torque vectors with magnitudes that are well correlated to SPME is good, but if they are not pointing in the proper direction the results will be incorrect.  These vector directions were investigated through measurement of the angle formed between them and those from SPME.  The dot product of these unit vectors provides a theta value that is accumulated in a distribution function, weighted by the area on the unit sphere.  Narrow distributions of theta values indicates similar to identical results between the tested method and SPME.  To measure the narrowness of the resulting distributions, non-linear Gaussian fits were performed.
213  
214   \begin{figure}
215   \centering
216   \includegraphics[width=3.25in]{./gaussFit.pdf}
217 < \caption{Example fitting of the angular distribution of the force vectors over all of the studied systems.  The solid and dotted lines show Gaussian and Voigt fits of the distribution data respectively.  Even though the Voigt profile make for a more accurate fit, the Gaussian was used due to more versatile statistical results.}
217 > \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.}
218   \label{fig:gaussian}
219   \end{figure}
220  
# Line 180 | Line 223 | Figure \ref{fig:gaussian} shows an example distributio
223   \begin{figure}
224   \centering
225   \includegraphics[width=3.25in]{./frcTrqAngplot.pdf}
226 < \caption{The results from the statistical analysis of the force and torque vector angular distributions for all the system types at 9 \AA\ (${\bullet}$), 12 \AA\ ($\blacksquare$), and 15 \AA\ ($\blacktriangledown$) cutoff radii.  Plotted values are the variance ($\sigma^2$) of the Gaussian non-linear fits.  Results close to a value of 0 (dashed line) indicate force or torque vector directions from that particular method (listed on the left) are nearly indistinguishable from those obtained from SPME.  Torques are only accumulated on the rigid water molecules, so the torque vector angle results exclude NaCl the systems.}
226 > \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).}
227   \label{fig:frcTrqAng}
228   \end{figure}
229  
# Line 223 | Line 266 | One additional trend to recognize in table \ref{tab:gr
266  
267   One additional trend to recognize in table \ref{tab:groupAngle} is that the $\sigma^2$ values for both Shifted Potential and Shifted Force converge as $\alpha$ increases, something that is easier to see when using group based cutoffs.  Looking back on figures \ref{fig:delE}, \ref{fig:frcMag}, and \ref{fig:trqMag}, show this behavior clearly at large $\alpha$ and cutoff values.  The reason for this is that the complimentary error function inserted into the potential weakens the electrostatic interaction as $\alpha$ increases.  Thus, at larger values of $\alpha$, both the summation method types progress toward non-interacting functions, so care is required in choosing large damping functions lest one generate an undesirable loss in the pair interaction.  Kast \textit{et al.}  developed a method for choosing appropriate $\alpha$ values for these types of electrostatic summation methods by fitting to $g(r)$ data, and their methods indicate optimal values of 0.34, 0.25, and 0.16 \AA$^{-1}$ for cutoff values of 9, 12, and 15 \AA\ respectively.\cite{Kast03}  These appear to be reasonable choices to obtain proper MC behavior (Fig. \ref{fig:delE}); however, based on these findings, choices this high would introduce error in the molecular torques, particularly for the shorter cutoffs.  Based on the above findings, empirical damping up to 0.2 \AA$^{-1}$ proves to be beneficial, but is  arguably unnecessary when using the Shifted-Force method.
268  
269 < \subsection{Crystal Power Spectrum}
269 > \subsection{Collective Motion: Power Spectra of NaCl Crystals}
270  
271   In the previous studies using a Shifted-Force variant of the damped Wolf coulomb potential, the structure and dynamics of water were investigated rather extensively.\cite{Zahn02,Kast03}  Their results indicated that the damped Shifted-Force method results in properties very similar to those obtained when using the Ewald summation.  Considering the statistical results shown above, the good performance of this method is not that surprising.  Rather than consider the same systems and simply recapitulate their results, we decided to look at the solid state dynamical behavior obtained using the best performing summation methods from the above results.
272  
# Line 234 | Line 277 | Velocity autocorrelation functions require detailed sh
277   \end{equation}
278   Velocity autocorrelation functions require detailed short time data and long trajectories for good statistics, thus velocity information was saved every 5 fs over 100 ps trajectories.  The power spectrum ($I(\omega)$) is obtained via discrete Fourier transform of the autocorrelation function
279   \begin{equation}
280 < I(\omega) = \sum^{N-1}_{\omega=0}C_v(t)e^{-i\omega t/N},
280 > I(\omega) = \frac{1}{2\pi}\int^{\infty}_{-\infty}C_v(t)e^{-i\omega t}dt,
281   \label{eq:powerSpec}
282   \end{equation}
283 < where $N$ is the number of time samples in $C_v(t)$ and the frequency, $\omega=0,\ 1,\ ...,\ N-1$.  The resulting spectra (Fig. \ref{fig:normalModes}) show the normal mode frequencies for the crystal under the simulated conditions.
283 > where the frequency, $\omega=0,\ 1,\ ...,\ N-1$.  The resulting spectra (Fig. \ref{fig:normalModes}) show the normal mode frequencies for the crystal under the simulated conditions.
284  
285   \begin{figure}
286   \centering
# Line 260 | Line 303 | where $S(r)$ is a switching function that smoothly zer
303  
304   \section{Conclusions}
305  
306 < This investigation of pairwise electrostatic summation techniques shows that there are viable and more computationally efficient electrostatic summation techniques than the Ewald summation, chiefly methods derived from the damped Coulombic sum originally proposed by Wolf \textit{et al.}\cite{Wolf99,Zahn02}  In particular, the Shifted-Force method, reformulated above, shows a remarkable ability to reproduce the energetic and dynamic characteristics exhibited by simulations employing lattice summation techniques.  The cumulative energy difference results showed the undamped Shifted-Force and moderately damped Shifted-Potential methods produced results nearly identical to SPME.  Similarly for the dynamic features, the un- to moderately damped Shifted-Force and moderately damped Shifted-Potential methods produce force and torque vector magnitude and directions very similar to the expected values.  These results translate into long-time dynamic behavior equivalent to that produced in simulations using SPME.
306 > This investigation of pairwise electrostatic summation techniques shows that there are viable and more computationally efficient electrostatic summation techniques than the Ewald summation, chiefly methods derived from the damped Coulombic sum originally proposed by Wolf \textit{et al.}\cite{Wolf99,Zahn02}  In particular, the Shifted-Force method, reformulated above as equation \ref{eq:SFPot}, shows a remarkable ability to reproduce the energetic and dynamic characteristics exhibited by simulations employing lattice summation techniques.  The cumulative energy difference results showed the undamped Shifted-Force and moderately damped Shifted-Potential methods produced results nearly identical to SPME.  Similarly for the dynamic features, the undamped or moderately damped Shifted-Force and moderately damped Shifted-Potential methods produce force and torque vector magnitude and directions very similar to the expected values.  These results translate into long-time dynamic behavior equivalent to that produced in simulations using SPME.
307  
308 < Aside from the computational cost benefit, these techniques have applicability in situations where the use of the Ewald sum can prove problematic.  Primary among them is their use in interfacial systems, where the unmodified lattice sum techniques artificially accentuate the periodicity of the system in an undesirable manner.  There have been alterations to the standard Ewald techniques, via corrections and reformulations, to compensate for these systems; but these pairwise techniques require no modifications, making them natural tools to tackle these problems.  Additionally, this transferability gives it benefits over other pairwise methods, like reaction field, because estimations of physical properties, like the dielectric constant, are unnecessary.
308 > Aside from the computational cost benefit, these techniques have applicability in situations where the use of the Ewald sum can prove problematic.  Primary among them is their use in interfacial systems, where the unmodified lattice sum techniques artificially accentuate the periodicity of the system in an undesirable manner.  There have been alterations to the standard Ewald techniques, via corrections and reformulations, to compensate for these systems; but the pairwise techniques discussed here require no modifications, making them natural tools to tackle these problems.  Additionally, this transferability gives them benefits over other pairwise methods, like reaction field, because estimations of physical properties (e.g. the dielectric constant) are unnecessary.
309  
310 < These results don't deprecate the use of the Ewald summation; in fact, it is the standard to which these simple pairwise sums are judged.  However, these results do speak to the necessity of the Ewald summation in all molecular simulations.  That a simple pairwise technique can be substituted to gain nearly all the physical effects provided by the full lattice sum makes us question whether the minimal perturbations bestowed through added complexity and increased cost are worth it.
310 > We are not suggesting any flaw with the Ewald sum; in fact, it is the standard by which these simple pairwise sums are judged.  However, these results do suggest that in the typical simulations performed today, the Ewald summation may no longer be required to obtain the level of accuracy most researcher have come to expect
311  
312   \section{Acknowledgments}
313  

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines