-
A generalized class of strongly stable and dimension-free T-RPMD integrators
Authors:
Jorge L. Rosa-Raíces,
Jiace Sun,
Nawaf Bou-Rabee,
Thomas F. Miller III
Abstract:
Recent work shows that strong stability and dimensionality freedom are essential for robust numerical integration of thermostatted ring-polymer molecular dynamics (T-RPMD) and path-integral molecular dynamics (PIMD), without which standard integrators exhibit non-ergodicity and other pathologies [J. Chem. Phys. 151, 124103 (2019); J. Chem. Phys. 152, 104102 (2020)]. In particular, the BCOCB scheme…
▽ More
Recent work shows that strong stability and dimensionality freedom are essential for robust numerical integration of thermostatted ring-polymer molecular dynamics (T-RPMD) and path-integral molecular dynamics (PIMD), without which standard integrators exhibit non-ergodicity and other pathologies [J. Chem. Phys. 151, 124103 (2019); J. Chem. Phys. 152, 104102 (2020)]. In particular, the BCOCB scheme, obtained via Cayley modification of the standard BAOAB scheme, features a simple reparametrization of the free ring-polymer sub-step that confers strong stability and dimensionality freedom and has been shown to yield excellent numerical accuracy in condensed-phase systems with large time-steps. Here, we introduce a broader class of T-RPMD numerical integrators that exhibit strong stability and dimensionality freedom, irrespective of the Ornstein-Uhlenbeck friction schedule. In addition to considering equilibrium accuracy and time-step stability as in previous work, we evaluate the integrators on the basis of their rates of convergence to equilibrium and their efficiency at evaluating equilibrium expectation values. Within the generalized class, we find BCOCB to be superior with respect to accuracy and efficiency for various configuration-dependent observables, although other integrators within the generalized class perform better for velocity-dependent quantities. Extensive numerical evidence indicates that the stated performance guarantees hold for the strongly anharmonic case of liquid water. Both analytical and numerical results indicate that BCOCB excels over other known integrators in terms of accuracy, efficiency, and stability with respect to time-step for practical applications.
△ Less
Submitted 9 November, 2020; v1 submitted 3 November, 2020;
originally announced November 2020.
-
Couplings for Andersen Dynamics
Authors:
Nawaf Bou-Rabee,
Andreas Eberle
Abstract:
Andersen dynamics is a standard method for molecular simulations, and a precursor of the Hamiltonian Monte Carlo algorithm used in MCMC inference. The stochastic process corresponding to Andersen dynamics is a PDMP (piecewise deterministic Markov process) that iterates between Hamiltonian flows and velocity randomizations of randomly selected particles. Both from the viewpoint of molecular dynamic…
▽ More
Andersen dynamics is a standard method for molecular simulations, and a precursor of the Hamiltonian Monte Carlo algorithm used in MCMC inference. The stochastic process corresponding to Andersen dynamics is a PDMP (piecewise deterministic Markov process) that iterates between Hamiltonian flows and velocity randomizations of randomly selected particles. Both from the viewpoint of molecular dynamics and MCMC inference, a basic question is to understand the convergence to equilibrium of this PDMP particularly in high dimension. Here we present couplings to obtain sharp convergence bounds in the Wasserstein sense that do not require global convexity of the underlying potential energy.
△ Less
Submitted 29 September, 2020;
originally announced September 2020.
-
Dimension-free path-integral molecular dynamics without preconditioning
Authors:
Roman Korol,
Jorge L. Rosa-Raíces,
Nawaf Bou-Rabee,
Thomas F. Miller III
Abstract:
Convergence with respect to imaginary-time discretization is an essential part of any path-integral-based calculation. However, an unfortunate property of existing non-preconditioned numerical integration schemes for path-integral molecular dynamics (PIMD) - including ring-polymer molecular dynamics (RPMD) and thermostatted RPMD (T-RPMD) - is that for a given MD timestep, the overlap between the e…
▽ More
Convergence with respect to imaginary-time discretization is an essential part of any path-integral-based calculation. However, an unfortunate property of existing non-preconditioned numerical integration schemes for path-integral molecular dynamics (PIMD) - including ring-polymer molecular dynamics (RPMD) and thermostatted RPMD (T-RPMD) - is that for a given MD timestep, the overlap between the exact ring-polymer Boltzmann-Gibbs distribution and that sampled using MD becomes zero in the infinite-bead limit. This has clear implications for hybrid Metropolis Monte-Carlo/MD sampling schemes. We show that these problems can be avoided through the introduction of "dimension-free" numerical integration schemes for which the sampled ring-polymer position distribution has non-zero overlap with the exact distribution in the infinite-bead limit for the case of a harmonic potential. We show that dimension freedom can be achieved via mollification of the forces from the physical potential and with the BCOCB integration scheme. The dimension-free numerical integration schemes yield finite error bounds for a given MD timestep as the number of beads is taken to infinity; these conclusions are proven for harmonic potential and borne out numerically for anharmonic systems, including water. The numerical results for BCOCB are particularly striking, allowing for three-fold increases in the stable timestep for liquid water with respect to the Bussi-Parrinello (OBABO) and Leimkuhler (BAOAB) integrators while introducing negligible errors in the statistical properties and absorption spectrum. Importantly, the dimension-free, non-preconditioned integration schemes introduced here preserve ergodicity and global second-order accuracy, and they remain simple, black-box methods that avoid additional computational costs, tunable parameters, or system-specific implementations.
△ Less
Submitted 15 March, 2020; v1 submitted 3 November, 2019;
originally announced November 2019.
-
Cayley modification for strongly stable path-integral and ring-polymer molecular dynamics
Authors:
Roman Korol,
Nawaf Bou-Rabee,
Thomas F. Miller III
Abstract:
Path-integral-based molecular dynamics (MD) simulations are widely used for the calculation of numerically exact quantum Boltzmann properties and approximate dynamical quantities. A nearly universal feature of MD numerical integration schemes for equations of motion based on imaginary-time path integrals is the use of harmonic normal modes for the exact evolution of the free ring-polymer positions…
▽ More
Path-integral-based molecular dynamics (MD) simulations are widely used for the calculation of numerically exact quantum Boltzmann properties and approximate dynamical quantities. A nearly universal feature of MD numerical integration schemes for equations of motion based on imaginary-time path integrals is the use of harmonic normal modes for the exact evolution of the free ring-polymer positions and momenta. In this work, we demonstrate that this standard practice creates numerical artifacts. In the context of conservative (i.e., microcanonical) equations of motion, it leads to numerical instability. In the context of thermostatted (i.e., canonical) equations of motion, it leads to non-ergodicity of the sampling. These pathologies are generally proven to arise at integration timesteps that depend only on the system temperature and the number of ring-polymer beads, and they are numerically demonstrated for the cases of conventional ring-polymer molecular dynamics (RPMD) and thermostatted RPMD (TRPMD). Furthermore, it is demonstrated that these numerical artifacts are removed via replacement of the exact free ring-polymer evolution with a second-order approximation based on the Cayley transform. The Cayley modification introduced here can immediately be employed with almost every existing integration scheme for path-integral-based molecular dynamics - including path-integral MD (PIMD), RPMD, TRPMD, and centroid MD - providing strong symplectic stability and ergodicity to the numerical integration, at no penalty in terms of computational cost, algorithmic complexity, or accuracy of the overall MD timestep. Furthermore, it is shown that the improved numerical stability of the Cayley modification allows for the use of larger MD timesteps. We suspect that the Cayley modification will therefore find useful application in many future path-integral-based MD simulations.
△ Less
Submitted 24 September, 2019; v1 submitted 18 July, 2019;
originally announced July 2019.
-
On Metropolis Integrators for Molecular Dynamics
Authors:
Nawaf Bou-Rabee
Abstract:
This paper invites the reader to experiment with an easy-to-use MATLAB implementation of Metropolis integrators for Molecular Dynamics (MD) simulation. These integrators are analysis-based, in the sense that they can rigorously simulate dynamics along an infinitely long MD trajectory. Among explicit integrators for MD, they seem to be the only ones that satisfy the fundamental requirement of stabi…
▽ More
This paper invites the reader to experiment with an easy-to-use MATLAB implementation of Metropolis integrators for Molecular Dynamics (MD) simulation. These integrators are analysis-based, in the sense that they can rigorously simulate dynamics along an infinitely long MD trajectory. Among explicit integrators for MD, they seem to be the only ones that satisfy the fundamental requirement of stability. The schemes can handle stiff or hard-core potentials, and are straightforward to set up, apply and extend to new situations. Potential pitfalls in high dimension are discussed, and tricks for mitigation are given.
△ Less
Submitted 19 September, 2013;
originally announced September 2013.
