Orateur
Description
The aim of molecular dynamics is to study the time-evolution of a microscopic system of $N$ particles in order to deduce various of its macroscopic properties. To do so, one needs to sample the Boltzmann-Gibbs measure $\mu_{V} \propto exp(-\beta V)$ where $V$ is the system's potential energy and $\beta$ is the thermodynamic beta. A classical process used in this scope is the overdamped Langevin dynamics:
$\mathrm{d} X_{t}= -\nabla V (X_{t}) \mathrm{d}t + \sqrt{2\beta^{-1}} \mathrm{d}W_{t},$
where $(W_{t})_{t \geq 0}$ is a classical $d$-dimensional Brownian motion, and $\mathcal{F}=-\nabla V$ is the interaction force. A force which is the gradient of a potential energy $V$ is said to be conservative. Note that from a PDE point of view, the law of the process $(X_{t})_{t\geq 0}$ satisfies a nonlinear Fokker-Planck equation.
Such a process has good theoretical properties, but one practical issue arises, that of metastability: the system may remain trapped in potential wells for long periods of time, and the system's law's relaxation towards the equilibrium can be far too slow. In order to avoid metastability, one relies on a reaction coordinate, namely a function $\xi$ of the position which gives a low-dimensional representation of the system. One can then consider the Adaptive Biasing Force (ABF) method [1,2], which consists in biasing the force $\mathcal{F}$ in the direction of $\xi$, and prove the longtime convergence of the algorithm [3]. A nice property of the method is the flat histogram property: the energy landscape is flattened in the direction of $\xi$. In this talk, we will present a study of the ABF method's robustness with generic -possibly non-conservative- forces. We first ensure the flat histogram property still holds, then prove the existence of a stationary state, relying on generic bounds on the invariant probability measures of homogeneous diffusions [4]. Using classical entropy techniques [5], we eventually prove the longtime convergence of the algorithm.
[1]E. Darve, A. Pohorille, Calculating free energies using average force, The Journal of Chemical Physics, volume 115, 2001
[2]J. Hénin, C. Chipot, Overcoming free energy barriers using unconstrained molecular dynamics simulations, The Journal of Chemical Physics, volume 121, 2004
[3]T. Lelièvre, F. Otto, M. Rousset, G. Stoltz, Long-time convergence of an adaptive biasing force method preprint, 2007
[4]Neil S. Trudinger, Linear elliptic operators with measurable coefficients, Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, 1973
[5]T. Lelièvre, G. Stoltz Free Energy Computations, Imperial College Press, 2010