--- trunk/langevinHull/langevinHull.tex	2010/10/28 20:30:16	3666
+++ trunk/langevinHull/langevinHull.tex	2010/11/04 15:20:15	3667
@@ -18,7 +18,7 @@
 \setlength{\belowcaptionskip}{30 pt}
 
 \bibpunct{[}{]}{,}{s}{}{;}
-\bibliographystyle{aip}
+\bibliographystyle{achemso}
 
 \begin{document}
 
@@ -66,26 +66,26 @@ of an isobaric-isothermal (NPT) ensemble maintain a ta
 \section{Introduction}
 
 The most common molecular dynamics methods for sampling configurations
-of an isobaric-isothermal (NPT) ensemble maintain a target pressure in
-a simulation by coupling the volume of the system to a {\it barostat},
-which is an extra degree of freedom propagated along with the particle
-coordinates.  These methods require periodic boundary conditions,
-because when the instantaneous pressure in the system differs from the
-target pressure, the volume is reduced or expanded using {\it affine
-  transforms} of the system geometry. An affine transform scales the
-size and shape of the periodic box as well as the particle positions
-within the box (but not the sizes of the particles). The most common
-constant pressure methods, including the Melchionna
-modification\cite{Melchionna1993} to the Nos\'e-Hoover-Andersen
-equations of motion,\cite{Hoover85,ANDERSEN:1980vn,Sturgeon:2000kx}
-the Berendsen pressure bath,\cite{ISI:A1984TQ73500045} and the
-Langevin Piston,\cite{FELLER:1995fk,Jakobsen:2005uq} all utilize
+from an isobaric-isothermal (NPT) ensemble maintain a target pressure
+in a simulation by coupling the volume of the system to a {\it
+  barostat}, which is an extra degree of freedom propagated along with
+the particle coordinates.  These methods require periodic boundary
+conditions, because when the instantaneous pressure in the system
+differs from the target pressure, the volume is reduced or expanded
+using {\it affine transforms} of the system geometry. An affine
+transform scales the size and shape of the periodic box as well as the
+particle positions within the box (but not the sizes of the
+particles). The most common constant pressure methods, including the
+Melchionna modification\cite{Melchionna1993} to the
+Nos\'e-Hoover-Andersen equations of
+motion,\cite{Hoover85,ANDERSEN:1980vn,Sturgeon:2000kx} the Berendsen
+pressure bath,\cite{ISI:A1984TQ73500045} and the Langevin
+Piston,\cite{FELLER:1995fk,Jakobsen:2005uq} all utilize scaled
 coordinate transformation to adjust the box volume.  As long as the
-material in the simulation box is essentially a bulk-like liquid which
-has a relatively uniform compressibility, the standard affine
-transform approach provides an excellent way of adjusting the volume
-of the system and applying pressure directly via the interactions
-between atomic sites.
+material in the simulation box has a relatively uniform
+compressibility, the standard affine transform approach provides an
+excellent way of adjusting the volume of the system and applying
+pressure directly via the interactions between atomic sites.
 
 One problem with this approach appears when the system being simulated
 is an inhomogeneous mixture in which portions of the simulation box
@@ -100,13 +100,13 @@ slow enough to avoid the instabilities in the incompre
 
 \begin{figure}
 \includegraphics[width=\linewidth]{AffineScale2}
-\caption{Affine Scaling constant pressure methods use box-length
-  scaling to adjust the volume to adjust to under- or over-pressure
-  conditions. In a system with a uniform compressibility (e.g. bulk
-  fluids) these methods can work well.  In systems containing
-  heterogeneous mixtures, the affine scaling moves required to adjust
-  the pressure in the high-compressibility regions can cause molecules
-  in low compressibility regions to collide.}
+\caption{Affine scaling methods use box-length scaling to adjust the
+  volume to adjust to under- or over-pressure conditions. In a system
+  with a uniform compressibility (e.g. bulk fluids) these methods can
+  work well.  In systems containing heterogeneous mixtures, the affine
+  scaling moves required to adjust the pressure in the
+  high-compressibility regions can cause molecules in low
+  compressibility regions to collide.}
 \label{affineScale}
 \end{figure}
 
@@ -121,17 +121,17 @@ There have been a number of other approaches to explic
 SIMULATIONS]
 
 \subsection*{Boundary Methods}
-There have been a number of other approaches to explicit
-non-periodicity that focus on constant or nearly-constant {\it volume}
-conditions while maintaining bulk-like behavior.  Berkowitz and
-McCammon introduced a stochastic (Langevin) boundary layer inside a
-region of fixed molecules which effectively enforces constant
-temperature and volume (NVT) conditions.\cite{Berkowitz1982} In this
-approach, the stochastic and fixed regions were defined relative to a
-central atom.  Brooks and Karplus extended this method to include
-deformable stochastic boundaries.\cite{iii:6312} The stochastic
-boundary approach has been used widely for protein
-simulations. [CITATIONS NEEDED]
+There have been a number of approaches to handle simulations of
+explicitly non-periodic systems that focus on constant or
+nearly-constant {\it volume} conditions while maintaining bulk-like
+behavior.  Berkowitz and McCammon introduced a stochastic (Langevin)
+boundary layer inside a region of fixed molecules which effectively
+enforces constant temperature and volume (NVT)
+conditions.\cite{Berkowitz1982} In this approach, the stochastic and
+fixed regions were defined relative to a central atom.  Brooks and
+Karplus extended this method to include deformable stochastic
+boundaries.\cite{iii:6312} The stochastic boundary approach has been
+used widely for protein simulations. [CITATIONS NEEDED]
 
 The electrostatic and dispersive behavior near the boundary has long
 been a cause for concern when performing simulations of explicitly
@@ -202,13 +202,13 @@ random forces on the facets of the {\it hull itself} i
 In the following sections, we extend and generalize the approach of
 Kohanoff, Caro, and Finnis. The new method, which we are calling the
 ``Langevin Hull'' applies the external pressure, Langevin drag, and
-random forces on the facets of the {\it hull itself} instead of the
-atomic sites comprising the vertices of the hull.  This allows us to
-decouple the external pressure contribution from the drag and random
-force.  The methodology is introduced in section \ref{sec:meth}, tests
-on crystalline nanoparticles, liquid clusters, and heterogeneous
-mixtures are detailed in section \ref{sec:tests}.  Section
-\ref{sec:discussion} summarizes our findings.
+random forces on the {\it facets of the hull} instead of the atomic
+sites comprising the vertices of the hull.  This allows us to decouple
+the external pressure contribution from the drag and random force.
+The methodology is introduced in section \ref{sec:meth}, tests on
+crystalline nanoparticles, liquid clusters, and heterogeneous mixtures
+are detailed in section \ref{sec:tests}.  Section \ref{sec:discussion}
+summarizes our findings.
 
 \section{Methodology}
 \label{sec:meth}
@@ -241,8 +241,8 @@ simulation.
 \includegraphics[width=\linewidth]{hullSample}
 \caption{The external temperature and pressure bath interacts only
   with those atoms on the convex hull (grey surface).  The hull is
-  computed dynamically at each time step, and molecules dynamically
-  move between the interior (Newtonian) region and the Langevin hull.}
+  computed dynamically at each time step, and molecules can move 
+  between the interior (Newtonian) region and the Langevin hull.}
 \label{fig:hullSample}
 \end{figure}
 
@@ -363,7 +363,7 @@ Note that this treatment explicitly ignores rotations 
 \begin{equation}
 \Xi_f(t) =\left[\sum_{i=1}^3 T_{if}\right]^{-1}.
 \end{equation}
-Note that this treatment explicitly ignores rotations (and
+Note that this treatment ignores rotations (and
 translational-rotational coupling) of the facet.  In compact systems,
 the facets stay relatively fixed in orientation between
 configurations, so this appears to be a reasonably good approximation.
@@ -373,7 +373,7 @@ molecular dynamics time step, the following process is
 molecular dynamics time step, the following process is carried out:
 \begin{enumerate}
 \item The standard inter-atomic forces ($\nabla_iU$) are computed.
-\item Delaunay triangulation is done using the current atomic
+\item Delaunay triangulation is carried out using the current atomic
   configuration.
 \item The convex hull is computed and facets are identified.
 \item For each facet:
@@ -447,7 +447,7 @@ atoms and the SPC/E water molecules.\cite{ISI:00016776
 Spohr potential was adopted in depicting the interaction between metal
 atoms and the SPC/E water molecules.\cite{ISI:000167766600035}
 
-\subsection{Bulk modulus of gold nanoparticles}
+\subsection{Compressibility of gold nanoparticles}
 
 The compressibility is well-known for gold, and it provides a good first
 test of how the method compares to other similar methods.   
@@ -522,7 +522,7 @@ bulk modulus.
 and the hull geometries are much more compact.  Because of the
 liquid-vapor effect on the convex hull, the regional number density
 approach (Eq. \ref{eq:BMN}) provides more reliable estimates of the
-bulk modulus.
+compressibility.
 
 In both the traditional compressibility formula (Eq. \ref{eq:BM}) and
 the number density version (Eq. \ref{eq:BMN}), multiple simulations at
@@ -543,7 +543,7 @@ magnitude larger than the reference values.  Any compr
 Thus, the compressibility of each simulation can be calculated
 entirely independently from all other trajectories. However, the
 resulting compressibilities were still as much as an order of
-magnitude larger than the reference values.  Any compressibility
+magnitude larger than the reference values. However, compressibility
 calculation that relies on the hull volume will suffer these effects.
 WE NEED MORE HERE.
 
@@ -551,79 +551,112 @@ to replicate the properties of the bulk.  Naturally, t
 
 In order for non-periodic boundary conditions to be widely applicable,
 they must be constructed in such a way that they allow a finite system
-to replicate the properties of the bulk.  Naturally, this requirement
-has spawned many methods for fixing and characterizing the effects of
-artifical boundaries. Of particular interest regarding the Langevin
-Hull is the orientation of water molecules that are part of the
-geometric hull.  Ideally, all molecules in the cluster will have the
-same orientational distribution as bulk water.
+to replicate the properties of the bulk.  Early non-periodic
+simulation methods (e.g. hydrophobic boundary potentials) induced
+spurious orientational correlations deep within the simulated
+system.\cite{Lee1984,Belch1985} This behavior spawned many methods for
+fixing and characterizing the effects of artifical boundaries
+including methods which fix the orientations of a set of edge
+molecules.\cite{Warshel1978,King1989}
 
-The orientation of molecules at the edges of a simulated cluster has
-long been a concern when performing simulations of explicitly
-non-periodic systems. Early work led to the surface constrained soft
-sphere dipole model (SCSSD) \cite{Warshel1978} in which the surface
-molecules are fixed in a random orientation representative of the bulk
-solvent structural properties. Belch, et al \cite{Belch1985} simulated
-clusters of TIPS2 water surrounded by a hydrophobic bounding
-potential. The spherical hydrophobic boundary induced dangling
-hydrogen bonds at the surface that propagated deep into the cluster,
-affecting 70\% of the 100 molecules in the simulation. This result
-echoes an earlier study which showed that an extended planar
-hydrophobic surface caused orientational preference at the surface
-which extended 7 \r{A} into the liquid simulation cell
-\cite{Lee1984}. The surface constrained all-atom solvent (SCAAS) model
-\cite{King1989} improved upon its SCSSD predecessor. The SCAAS model
-utilizes a polarization constraint which is applied to the surface
-molecules to maintain bulk-like structure at the cluster surface. A
-radial constraint is used to maintain the desired bulk density of the
-liquid. Both constraint forces are applied only to a pre-determined
-number of the outermost molecules.
+As described above, the Langevin Hull does not require that the
+orientation of molecules be fixed, nor does it utilize an explicitly
+hydrophobic boundary, orientational constraint or radial constraint.
+Therefore, the orientational correlations of the molecules in a water
+cluster are of particular interest in testing this method.  Ideally,
+the water molecules on the surface of the cluster will have enough
+mobility into and out of the center of the cluster to maintain a
+bulk-like orientational distribution in the absence of orientational
+and radial constraints.  However, since the number of hydrogen bonding
+partners available to molecules on the exterior are limited, it is
+likely that there will be some effective hydrophobicity of the hull.
 
-In contrast, the Langevin Hull does not require that the orientation
-of molecules be fixed, nor does it utilize an explicitly hydrophobic
-boundary, orientational constraint or radial constraint. The number
-and identity of the molecules included on the convex hull are dynamic
-properties, thus avoiding the formation of an artificial solvent
-boundary layer. The hope is that the water molecules on the surface of
-the cluster, if left to their own devices in the absence of
-orientational and radial constraints, will maintain a bulk-like
-orientational distribution.
-
-To determine the extent of these effects demonstrated by the Langevin Hull, we examined the orientations exhibited by SPC/E water in a cluster of 1372 molecules at 300 K and at pressures ranging from 1 - 1000 atm.
-
-The orientation of a water molecule is described by
-
+To determine the extent of these effects demonstrated by the Langevin
+Hull, we examined the orientationations exhibited by SPC/E water in a
+cluster of 1372 molecules at 300 K and at pressures ranging from 1 -
+1000 atm.  The orientational angle of a water molecule is described
 \begin{equation} 
 \cos{\theta}=\frac{\vec{r}_i\cdot\vec{\mu}_i}{|\vec{r}_i||\vec{\mu}_i|}
 \end{equation}
-
-where $\vec{r}_{i}$ is the vector between molecule {\it i}'s center of mass and the cluster center of mass and $\vec{\mu}_{i}$ is the vector bisecting the H-O-H angle of molecule {\it i}.
-
+where $\vec{r}_{i}$ is the vector between molecule {\it i}'s center of
+mass and the cluster center of mass and $\vec{\mu}_{i}$ is the vector
+bisecting the H-O-H angle of molecule {\it i} (See
+Fig. \ref{fig:coords}).
 \begin{figure}
 \includegraphics[width=\linewidth]{g_r_theta}
-\caption{Definition of coordinates}
-\label{coords}
+\caption{Orientation angle of the water molecules relative to the
+  center of the cluster.  Bulk-like distributions will result in
+  $\langle \cos \theta \rangle$ values close to zero.  If the hull
+  exhibits an overabundance of externally-oriented oxygen sites the
+  average orientation will be negative, while dangling hydrogen sites
+  will result in positive average orientations.}
+\label{fig:coords}
 \end{figure}
 
-Fig. 7 shows the probability of each value of $\cos{\theta}$ for molecules in the interior of the cluster (squares) and for molecules included in the convex hull (circles). 
-
+Fig. \ref{fig:pAngle} shows the distribution of $\cos{\theta}$ values
+for molecules in the interior of the cluster (squares) and for
+molecules included in the convex hull (circles).
 \begin{figure}
 \includegraphics[width=\linewidth]{pAngle}
-\caption{SPC/E water clusters: only minor dewetting at the boundary}
-\label{pAngle}
+\caption{Distribution of $\cos{\theta}$ values for molecules on the
+  interior of the cluster (squares) and for those participating in the
+  convex hull (circles) at a variety of pressures.  The Langevin hull
+  exhibits minor dewetting behavior with exposed oxygen sites on the
+  hull water molecules.  The orientational preference for exposed
+  oxygen appears to be independent of applied pressure. }
+\label{fig:pAngle}
 \end{figure}
 
-As expected, interior molecules (those not included in the convex hull) maintain a bulk-like structure with a uniform distribution of orientations. Molecules included in the convex hull show a slight preference for values of $\cos{\theta} < 0.$ These values correspond to molecules with a hydrogen directed toward the exterior of the cluster, forming a dangling hydrogen bond.
+As expected, interior molecules (those not included in the convex
+hull) maintain a bulk-like structure with a uniform distribution of
+orientations. Molecules included in the convex hull show a slight
+preference for values of $\cos{\theta} < 0.$ These values correspond
+to molecules with oxygen directed toward the exterior of the cluster,
+forming a dangling hydrogen bond acceptor site.
 
-In the absence of an electrostatic contribution from the exterior bath, the orientational distribution of water molecules included in the Langevin Hull will slightly resemble the distribution at a neat water liquid/vapor interface. Previous molecular dynamics simulations of SPC/E water \cite{Taylor1996} have shown that molecules at the liquid/vapor interface favor an orientation where one hydrogen protrudes from the liquid phase. This behavior is demonstrated by experiments \cite{Du1994} \cite{Scatena2001} showing that approximately one-quarter of water molecules at the liquid/vapor interface form dangling hydrogen bonds. The negligible preference shown in these cluster simulations could be removed through the introduction of an implicit solvent model, which would provide the missing electrostatic interactions between the cluster molecules and the surrounding temperature/pressure bath.
+In the absence of an electrostatic contribution from the exterior
+bath, the orientational distribution of water molecules included in
+the Langevin Hull will slightly resemble the distribution at a neat
+water liquid/vapor interface.  Previous molecular dynamics simulations
+of SPC/E water \cite{Taylor1996} have shown that molecules at the
+liquid/vapor interface favor an orientation where one hydrogen
+protrudes from the liquid phase. This behavior is demonstrated by
+experiments \cite{Du1994} \cite{Scatena2001} showing that
+approximately one-quarter of water molecules at the liquid/vapor
+interface form dangling hydrogen bonds. The negligible preference
+shown in these cluster simulations could be removed through the
+introduction of an implicit solvent model, which would provide the
+missing electrostatic interactions between the cluster molecules and
+the surrounding temperature/pressure bath.
 
-The orientational preference exhibited by hull molecules is significantly weaker than the preference caused by an explicit hydrophobic bounding potential. Additionally, the Langevin Hull does not require that the orientation of any molecules be fixed in order to maintain bulk-like structure, even at the cluster surface. 
+The orientational preference exhibited by hull molecules in the
+Langevin hull is significantly weaker than the preference caused by an
+explicit hydrophobic bounding potential.  Additionally, the Langevin
+Hull does not require that the orientation of any molecules be fixed
+in order to maintain bulk-like structure, even at the cluster surface.
 
 \subsection{Heterogeneous nanoparticle / water mixtures}
 
 \section{Discussion}
 \label{sec:discussion}
 
+The Langevin Hull samples the isobaric-isothermal ensemble for
+non-periodic systems by coupling the system to an bath characterized
+by pressure, temperature, and solvent viscosity.  This enables the
+study of heterogeneous systems composed of materials of significantly
+different compressibilities.  Because the boundary is dynamically
+determined during the simulation and the molecules interacting with
+the boundary can change, the method and has minimal perturbations on
+the behavior of molecules at the edges of the simulation.  Further
+work on this method will involve implicit electrostatics at the
+boundary (which is missing in the current implementation) as well as
+more sophisticated treatments of the surface geometry (alpha
+shapes\cite{EDELSBRUNNER:1994oq,EDELSBRUNNER:1995cj} and Tight
+Cocone\cite{Dey:2003ts}). The non-convex hull geometries are
+significantly more expensive ($\mathcal{O}(N^2)$) than the convex hull
+($\mathcal{O}(N \log N)$), but would enable the use of hull volumes
+directly in computing the compressibility of the sample.
+
 \section*{Appendix A: Computing Convex Hulls on Parallel Computers} 
 
 In order to use the Langevin Hull for simulations on parallel
@@ -634,11 +667,11 @@ The basic idea is that if we split the original point 
 motion of an atomic site to a single processor, and we can exploit
 this to efficiently compute the convex hull for the entire system.
 
-The basic idea is that if we split the original point cloud into
-spatially-overlapping subsets and compute the convex hulls for each of
-the subsets, the points on the convex hull of the entire system are
-all present on at least one of the subset hulls.  The algorithm works
-as follows:
+The basic idea involves splitting the point cloud into
+spatially-overlapping subsets and computing the convex hulls for each
+of the subsets.  The points on the convex hull of the entire system
+are all present on at least one of the subset hulls. The algorithm
+works as follows:
 \begin{enumerate}
 \item Each processor computes the convex hull for its own atomic sites
   (dashed lines in Fig. \ref{fig:parallel}).
@@ -646,9 +679,10 @@ as follows:
   the processors, and each processor assembles a complete list of hull
   sites (this is much smaller than the original number of points in
   the point cloud).
-\item Each processor computes the convex hull of these sites (solid
-  line in Fig. \ref{fig:parallel}) and carries out Delaunay
-  triangulation to obtain the facets of the global hull.
+\item Each processor computes the global convex hull (solid line in
+  Fig. \ref{fig:parallel}) using only those points that are the union
+  of sites gathered from all of the subset hulls.  Delaunay
+  triangulation is then done to obtain the facets of the global hull.
 \end{enumerate}
 
 \begin{figure}
@@ -666,16 +700,20 @@ $O(\frac{n}{p}\log\frac{n}{p})$ where $n$ is the total
 \end{figure}
 
 The individual hull operations scale with
-$O(\frac{n}{p}\log\frac{n}{p})$ where $n$ is the total number of
-sites, and $p$ is the number of processors.  The hull operations
-create a set of $p$ hulls each with approximately $\frac{n}{3pr}$
-sites (for a cluster of radius $r$).  The communication costs for
-distributing this information to all processors is XXX, while the
-final computation of the system hull is of order
-$O(\frac{n}{3r}\log\frac{n}{3r})$.  Overall, the total costs are
-dominated by the computations of the individual hulls, so the Langevin
-hull sees roughly linear speed-up with increasing processor counts.
+$\mathcal{O}(\frac{n}{p}\log\frac{n}{p})$ where $n$ is the total
+number of sites, and $p$ is the number of processors.  These local
+hull operations create a set of $p$ hulls each with approximately
+$\frac{n}{3pr}$ sites (for a cluster of radius $r$). The worst-case
+communication cost for using a ``gather'' operation to distribute this
+information to all processors is $\mathcal{O}( \alpha (p-1) + \frac{n
+  \beta (p-1)}{3 r p^2})$, while the final computation of the system
+hull scales as $\mathcal{O}(\frac{n}{3r}\log\frac{n}{3r})$.
 
+For a large number of atoms on a moderately parallel machine, the
+total costs are dominated by the computations of the individual hulls,
+and communication of these hulls to so the Langevin hull sees roughly
+linear speed-up with increasing processor counts.
+
 \section*{Acknowledgments}
 Support for this project was provided by the
 National Science Foundation under grant CHE-0848243. Computational
