-
ILVES: Accurate and efficient bond length and angle constraints in molecular dynamics
Authors:
Lorién López-Villellas,
Carl Christian Kjelgaard Mikkelsen,
Juan José Galano-Frutos,
Santiago Marco-Sola,
Jesús Alastruey-Benedé,
Pablo Ibáñez,
Miquel Moretó,
Maria Cristina De Rosa,
Pablo García-Risueño
Abstract:
Force field-based molecular dynamics simulations are customarily carried out by constraining internal degrees of freedom. The de facto state-of-the-art algorithms for this purpose, SHAKE, LINCS and P-LINCS, converge slowly, impeding high-accuracy calculations and limiting the realism of simulations. Furthermore, LINCS and P-LINCS cannot handle general angular constraints, which restricts increasin…
▽ More
Force field-based molecular dynamics simulations are customarily carried out by constraining internal degrees of freedom. The de facto state-of-the-art algorithms for this purpose, SHAKE, LINCS and P-LINCS, converge slowly, impeding high-accuracy calculations and limiting the realism of simulations. Furthermore, LINCS and P-LINCS cannot handle general angular constraints, which restricts increasing the time step.
In this paper, we introduce ILVES, a set of parallel algorithms that converge so rapidly that it is now practical to solve bond length and associated angular constraint equations as accurately as the hardware will allow. We have integrated our work into Gromacs and our analysis demonstrates that, in most cases, our software is superior to the state-of-the-art. We anticipate that ILVES will allow for an increase in the time step, thus accelerating contemporary calculations by a factor of at least 2. This will allow the scientific community to increase the range of phenomena that can therefore be simulated.
△ Less
Submitted 24 March, 2025; v1 submitted 17 March, 2025;
originally announced March 2025.
-
Exact and efficient calculation of derivatives of Lagrange multipliers for molecular dynamic simulations of biological molecules
Authors:
Pablo García-Risueño
Abstract:
In the simulation of biological molecules, it is customary to impose constraints on the fastest degrees of freedom to increase the time step. The evaluation of the involved constraint forces must be performed in an efficient manner, for otherwise it would be a bottleneck in the calculations; for this reason, linearly-scaling calculation methods have become widely used. If integrators of order high…
▽ More
In the simulation of biological molecules, it is customary to impose constraints on the fastest degrees of freedom to increase the time step. The evaluation of the involved constraint forces must be performed in an efficient manner, for otherwise it would be a bottleneck in the calculations; for this reason, linearly-scaling calculation methods have become widely used. If integrators of order higher than 2 (e.g. Gear predictor-corrector methods) are used to find the trajectories of atoms, the derivatives of the forces on atoms with respect to the time also need to be calculated, which includes the derivatives of constraint forces. In this letter we prove that such calculation can be analytically performed with linearly scaling numerical complexity (O(Nc), being Nc the number of constraints). This ensures the feasibility of constrained molecular dynamics calculations with high-order integrators.
△ Less
Submitted 31 October, 2019;
originally announced October 2019.
-
Frozen-phonon method for state anticrossing situations and its application to zero-point motion effects in diamondoids
Authors:
Pablo García-Risueño,
Peng Han,
Gabriel Bester
Abstract:
The frozen-phonon method, used to calculate electron-phonon coupling effects, requires calculations of the investigated structure using atomic coordinates displaced according to a certain phonon eigenmode. The process of "freezing-in" the specific phonon can bring electronic eigenstates that are energetically close in energy into an anticrossing. This electronic anticrossing effect is, however, un…
▽ More
The frozen-phonon method, used to calculate electron-phonon coupling effects, requires calculations of the investigated structure using atomic coordinates displaced according to a certain phonon eigenmode. The process of "freezing-in" the specific phonon can bring electronic eigenstates that are energetically close in energy into an anticrossing. This electronic anticrossing effect is, however, unrelated to the wanted electron-phonon coupling, and needs to be removed. We present a procedure how to deal with these problematic anticrossing situations and apply it to the band gap zero-point motion renormalization of sixteen diamondoids and urotropine using different exchange correlation functionals. We find gap renormalizations of diamondoids in the range of 150 - 400 meV and only 62 meV for urotropine due to the lone-pair character of the highest occupied molecular orbital of the latter.
△ Less
Submitted 10 April, 2019;
originally announced April 2019.
-
Ideograms for Physics and Chemistry
Authors:
Pablo García-Risueño,
Apostolos Syropoulos,
Natalia Verges
Abstract:
Ideograms (symbols that represent a word or idea) have great communicative value. They refer to concepts in a simple manner, easing the understanding of related ideas. Moreover, ideograms can simplify the often cumbersome notation used in the fields of Physics and physical Chemistry. Nonetheless only a few specific ideograms for these fields have been defined to date. In this work we propose that…
▽ More
Ideograms (symbols that represent a word or idea) have great communicative value. They refer to concepts in a simple manner, easing the understanding of related ideas. Moreover, ideograms can simplify the often cumbersome notation used in the fields of Physics and physical Chemistry. Nonetheless only a few specific ideograms for these fields have been defined to date. In this work we propose that the scientific community follows the example of Mathematics -as well as that of oriental languages- and bestows a more important role upon ideograms. To support this thesis we propose ideograms for essential concepts in Physics and Chemistry. They are designed to be intuitive, and their goal is to make equations easier to read and understand. Our symbols are included in a publicly available Latex package (svrsymbols).
△ Less
Submitted 7 October, 2016;
originally announced October 2016.
-
A survey of the parallel performance and the accuracy of Poisson solvers for electronic structure calculations
Authors:
Pablo García-Risueño,
Joseba Alberdi-Rodriguez,
Micael J. T. Oliveira,
Xavier Andrade,
Michael Pippig,
Javier Muguerza,
Agustin Arruabarrena,
Angel Rubio
Abstract:
We present an analysis of different methods to calculate the classical electrostatic Hartree potential created by charge distributions. Our goal is to provide the reader with an estimation on the performance ---in terms of both numerical complexity and accuracy--- of popular Poisson solvers, and to give an intuitive idea on the way these solvers operate. Highly parallelisable routines have been im…
▽ More
We present an analysis of different methods to calculate the classical electrostatic Hartree potential created by charge distributions. Our goal is to provide the reader with an estimation on the performance ---in terms of both numerical complexity and accuracy--- of popular Poisson solvers, and to give an intuitive idea on the way these solvers operate. Highly parallelisable routines have been implemented in the first-principle simulation code Octopus to be used in our tests, so that reliable conclusions about the capability of methods to tackle large systems in cluster computing can be obtained from our work.
△ Less
Submitted 14 November, 2012; v1 submitted 9 November, 2012;
originally announced November 2012.
-
A review of High Performance Computing foundations for scientists
Authors:
Pablo García-Risueño,
Pablo E. Ibáñez
Abstract:
The increase of existing computational capabilities has made simulation emerge as a third discipline of Science, lying midway between experimental and purely theoretical branches [1, 2]. Simulation enables the evaluation of quantities which otherwise would not be accessible, helps to improve experiments and provides new insights on systems which are analysed [3-6]. Knowing the fundamentals of comp…
▽ More
The increase of existing computational capabilities has made simulation emerge as a third discipline of Science, lying midway between experimental and purely theoretical branches [1, 2]. Simulation enables the evaluation of quantities which otherwise would not be accessible, helps to improve experiments and provides new insights on systems which are analysed [3-6]. Knowing the fundamentals of computation can be very useful for scientists, for it can help them to improve the performance of their theoretical models and simulations. This review includes some technical essentials that can be useful to this end, and it is devised as a complement for researchers whose education is focused on scientific issues and not on technological respects. In this document we attempt to discuss the fundamentals of High Performance Computing (HPC) [7] in a way which is easy to understand without much previous background. We sketch the way standard computers and supercomputers work, as well as discuss distributed computing and discuss essential aspects to take into account when running scientific calculations in computers.
△ Less
Submitted 23 May, 2012;
originally announced May 2012.
-
The canonical equilibrium of constrained molecular models
Authors:
Pablo Echenique,
Claudio N. Cavasotto,
Pablo García-Risueño
Abstract:
In order to increase the efficiency of the computer simulation of biological molecules, it is very common to impose holonomic constraints on the fastest degrees of freedom; normally bond lengths, but also possibly bond angles. However, as any other element that affects the physical model, the imposition of constraints must be assessed from the point of view of accuracy: both the dynamics and the e…
▽ More
In order to increase the efficiency of the computer simulation of biological molecules, it is very common to impose holonomic constraints on the fastest degrees of freedom; normally bond lengths, but also possibly bond angles. However, as any other element that affects the physical model, the imposition of constraints must be assessed from the point of view of accuracy: both the dynamics and the equilibrium statistical mechanics are model-dependent, and they will be changed if constraints are used. In this review, we investigate the accuracy of constrained models at the level of the equilibrium statistical mechanics distributions produced by the different dynamics. We carefully derive the canonical equilibrium distributions of both the constrained and unconstrained dynamics, comparing the two of them by means of a "stiff" approximation to the latter. We do so both in the case of flexible and hard constraints, i.e., when the value of the constrained coordinates depends on the conformation and when it is a constant number. We obtain the different correcting terms associated with the kinetic energy mass-metric tensor determinants, but also with the details of the potential energy in the vicinity of the constrained subspace (encoded in its first and second derivatives). This allows us to directly compare, at the conformational level, how the imposition of constraints changes the thermal equilibrium of molecular systems with respect to the unconstrained case. We also provide an extensive review of the relevant literature, and we show that all models previously reported can be considered special cases of the most general treatments presented in this work. Finally, we numerically analyze a simple methanol molecule in order to illustrate the theoretical concepts in a practical case.
△ Less
Submitted 2 May, 2011;
originally announced May 2011.
-
Exact and efficient calculation of Lagrange multipliers in constrained biological polymers: Proteins and nucleic acids as example cases
Authors:
Pablo García-Risueño,
Pablo Echenique,
José Luis Alonso
Abstract:
In order to accelerate molecular dynamics simulations, it is very common to impose holonomic constraints on their hardest degrees of freedom. In this way, the time step used to integrate the equations of motion can be increased, thus allowing, in principle, to reach longer total simulation times. The imposition of such constraints results in an aditional set of Nc equations (the equations of const…
▽ More
In order to accelerate molecular dynamics simulations, it is very common to impose holonomic constraints on their hardest degrees of freedom. In this way, the time step used to integrate the equations of motion can be increased, thus allowing, in principle, to reach longer total simulation times. The imposition of such constraints results in an aditional set of Nc equations (the equations of constraint) and unknowns (their associated Lagrange multipliers), that must be solved in one way or another at each time step of the dynamics. In this work it is shown that, due to the essentially linear structure of typical biological polymers, such as nucleic acids or proteins, the algebraic equations that need to be solved involve a matrix which is banded if the constraints are indexed in a clever way. This allows to obtain the Lagrange multipliers through a non-iterative procedure, which can be considered exact up to machine precision, and which takes O(Nc) operations, instead of the usual O(Nc3) for generic molecular systems. We develop the formalism, and describe the appropriate indexing for a number of model molecules and also for alkanes, proteins and DNA. Finally, we provide a numerical example of the technique in a series of polyalanine peptides of different lengths using the AMBER molecular dynamics package.
△ Less
Submitted 22 March, 2011;
originally announced March 2011.
-
Linearly scaling direct method for accurately inverting sparse banded matrices
Authors:
Pablo García-Risueño,
Pablo Echenique
Abstract:
In many problems in Computational Physics and Chemistry, one finds a special kind of sparse matrices, termed "banded matrices". These matrices, which are defined as having non-zero entries only within a given distance from the main diagonal, need often to be inverted in order to solve the associated linear system of equations. In this work, we introduce a new O(n) algorithm for solving such a syst…
▽ More
In many problems in Computational Physics and Chemistry, one finds a special kind of sparse matrices, termed "banded matrices". These matrices, which are defined as having non-zero entries only within a given distance from the main diagonal, need often to be inverted in order to solve the associated linear system of equations. In this work, we introduce a new O(n) algorithm for solving such a system, being n X n the size of the matrix. We produce the analytical recursive expressions that allow to directly obtain the solution, as well as the pseudocode for its computer implementation. Moreover, we review the different options for possibly parallelizing the method, we describe the extension to deal with matrices that are banded plus a small number of non-zero entries outside the band, and we use the same ideas to produce a method for obtaining the full inverse matrix. Finally, we show that the New Algorithm is competitive, both in accuracy and in numerical efficiency, when compared to a standard method based in Gaussian elimination. We do this using sets of large random banded matrices, as well as the ones that appear when one tries to solve the 1D Poisson equation by finite differences.
△ Less
Submitted 16 December, 2011; v1 submitted 5 September, 2010;
originally announced September 2010.
-
An exact expression to calculate the derivatives of position-dependent observables in molecular simulations with flexible constraints
Authors:
Pablo Echenique,
Claudio N. Cavasotto,
Monica De Marco,
Pablo García-Risueño,
J. L. Alonso
Abstract:
In this work, we introduce an algorithm to compute the derivatives of physical observables along the constrained subspace when flexible constraints are imposed on the system (i.e., constraints in which the hard coordinates are fixed to configuration-dependent values). The presented scheme is exact, it does not contain any tunable parameter, and it only requires the calculation and inversion of a s…
▽ More
In this work, we introduce an algorithm to compute the derivatives of physical observables along the constrained subspace when flexible constraints are imposed on the system (i.e., constraints in which the hard coordinates are fixed to configuration-dependent values). The presented scheme is exact, it does not contain any tunable parameter, and it only requires the calculation and inversion of a sub-block of the Hessian matrix of second derivatives of the function through which the constraints are defined. We also present a practical application to the case in which the sought observables are the Euclidean coordinates of complex molecular systems, and the function whose minimization defines the constraints is the potential energy. Finally, and in order to validate the method, which, as far as we are aware, is the first of its kind in the literature, we compare it to the natural and straightforward finite-differences approach in three molecules of biological relevance: methanol, N-methyl-acetamide and a tri-glycine peptide
△ Less
Submitted 21 September, 2011; v1 submitted 24 June, 2010;
originally announced June 2010.
