In physics, Langevin dynamics is an approach to the mathematical modeling of the dynamics of molecular systems using the Langevin equation. It was originally developed by French physicist Paul Langevin. The approach is characterized by the use of simplified models while accounting for omitted degrees of freedom by the use of stochastic differential equations. Langevin dynamics simulations are a kind of Monte Carlo simulation.
Article
In physics, Langevin dynamics is an approach to the mathematical modeling of the dynamics of molecular systems using the Langevin equation. It was originally developed by French physicist Paul Langevin. The approach is characterized by the use of simplified models while accounting for omitted degrees of freedom by the use of stochastic differential equations. Langevin dynamics simulations are a kind of Monte Carlo simulation.
Contents
Overview
Real world molecular systems occur in air or solvents, rather than in isolation, in a vacuum. Jostling of solvent or air molecules causes friction, and the occasional high velocity collision will perturb the system. Langevin dynamics attempts to extend molecular dynamics to allow for these effects. Also, Langevin dynamics allows temperature to be controlled as with a thermostat, thus approximating the canonical ensemble.
Langevin dynamics mimics the viscous aspect of a solvent. It does not fully model an implicit solvent; specifically, the model does not account for the electrostatic screening and also not for the hydrophobic effect. For denser solvents, hydrodynamic interactions are not captured via Langevin dynamics.
For a system of
N
{\displaystyle N}
particles with masses
M
{\displaystyle M}
, with coordinates
X
=
X
(
t
)
{\displaystyle X=X(t)}
that constitute a time-dependent random variable, the resulting Langevin equation is
M
X
¨
=
−
∇
Stochastic Differential Formulation
Considering the covariance of standard Brownian motion or Wiener process
If the main objective is to control temperature, care should be exercised to use a small damping constant
γ
{\displaystyle \gamma }
. As
γ
{\displaystyle \gamma }
grows, it spans from the inertial all the way to the diffusive (Brownian) regime. The Langevin dynamics limit of non-inertia is commonly described as Brownian dynamics. Brownian dynamics can be considered as overdamped Langevin dynamics, i.e. Langevin dynamics where no average acceleration takes place. Under this limit we have
d
X
˙
=
0
{\displaystyle {\rm {d}}{\dot {X}}=0}
, the original SDE then becomes
d
X
=
−
1
γ
∇
U
(
X
)
d
t
+
Applications
Langevin thermostat
Langevin thermostat is a type of Thermostat algorithm in molecular dynamics, which is used to simulate a canonical ensemble (NVT) under a desired temperature. It integrates the following Langevin equation of motion:
A generative model aims to generate samples that follow (unknown data distribution)
p
(
x
)
{\displaystyle p(\mathbf {x} )}
. To achieve that, a score-based model learns an approximate score function
Relation to Other Theories
Klein-Kramers equation
As a stochastic differential equation(SDE), Langevin dynamics equation, has its corresponding partial differential equation(PDE), Klein-Kramers equation, a special Fokker–Planck equation that governs the probability distribution of the particles in the phase space. The original Langevin dynamics equation can be reformulated as the following first order SDEs:
Path integral formulation comes from quantum mechanics. But for a Langevin SDE we can also induce a corresponding path integral. Considering the following overdamped Langevin equation under, where without loss of generality we take
The translational Langevin equation can be solved using various numerical methods with differences in the sophistication of analytical solutions, the allowed time-steps, time-reversibility (symplectic methods), in the limit of zero friction, etc.
The Langevin equation can be generalized to rotational dynamics of molecules, Brownian particles, etc. A standard (according to NIST) way to do it is to leverage a quaternion-based description of the stochastic rotational motion.
is the deterministic force term;
γ
{\displaystyle \gamma }
is the friction coefficient and
γ
X
˙
{\displaystyle \gamma {\dot {X}}}
is the friction or damping term; the last term is the random force term (
k
B
{\displaystyle k_{B}}
: Boltzmann constant,
T
{\displaystyle T}
: temperature). This equation allows the system to couple with an imaginary "heat bath": the kinetic energy of the system dissipates from the friction/damping term, and gain from random force/fluctuation; the strength of coupling is controlled by
γ
{\displaystyle \gamma }
. This equation can be simulated with SDE solvers such as Euler–Maruyama method, where the random force term is replaced by a Gaussian random number in every integration step (variance
: time step), or Langevin Leapfrog integration, etc. This method is also known as Langevin Integrator.
is the diffusion coefficient from Einstein relation. As proven with Fokker-Planck equation, under appropriate conditions, the stationary distribution of
. In other words, Langevin dynamics drives particles towards a stationary distribution
p
(
x
)
{\displaystyle p(\mathbf {x} )}
along a gradient flow, due to the
∇
log
p
(
x
)
{\displaystyle \nabla \log p(\mathbf {x} )}
term, while still allowing for some random fluctuations. This provides a Markov Chain Monte Carlo method that can be used to sample data
x
{\displaystyle \mathbf {x} }
from a target distribution
p
(
x
)
{\displaystyle p(\mathbf {x} )}
, known as Langevin Monte Carlo.
In many applications, we have a desired distribution
p
(
x
)
{\displaystyle p(\mathbf {x} )}
from which we would like to sample
x
{\displaystyle \mathbf {x} }
, but direct sampling might be challenging or inefficient. Langevin Monte Carlo offers another way to sample
x
∼
p
(
x
)
{\displaystyle \mathbf {x} \sim p(\mathbf {x} )}
by sampling a Markov chain in accordance with the Langevin dynamics whose stationary state is
p
(
x
)
{\displaystyle p(\mathbf {x} )}
. The Metropolis-adjusted Langevin algorithm (MALA) is an example : Given a current state
x
t
{\displaystyle \mathbf {x} _{t}}
, the MALA method proposes a new state
x
~
t
+
1
{\displaystyle {\tilde {x}}_{t+1}}
using the Langevin dynamics above. The proposal is then accepted or rejected based on the Metropolis-Hastings algorithm. The incorporation of the Langevin dynamics in the choice of
x
~
t
+
1
{\displaystyle {\tilde {x}}_{t+1}}
provides greater computational efficiency, since the dynamics drive the particles into regions of higher
p
(
x
)
{\displaystyle p(\mathbf {x} )}
probability and are thus more likely to be accepted. Read more in Metropolis-adjusted Langevin algorithm.
This equation is called the Klein-Kramers equation, a special version of Fokker Planck equation. It's a partial differential equation that describes the evolution of probability density of the system in the phase space.
That is, the limiting behavior when time approaches positive infinity, the momentum fluctuation of this system is related to the energy dissipation (friction term parameter
γ
{\displaystyle \gamma }
) of this system. Combining this result with Equipartition theorem, which relates the average value of kinetic energy of particles with temperature