---
title: Underdamped Langevin Inference
url: https://www.emergentmind.com/topics/underdamped-langevin-inference-uli
type: topic
---

# Underdamped Langevin Inference

Underdamped Langevin Inference (ULI) denotes a family of inference procedures built from second-order stochastic dynamics with explicit position and momentum or velocity variables. In its original operational sense, ULI is a framework for reconstructing the stochastic equation of motion of a system whose observed trajectories obey an underdamped Langevin dynamics, using discrete-time position samples contaminated by measurement noise [2002.06680]. In a broader usage, the same phase-space construction serves as an inference mechanism for sampling, variational inference, unbiased expectation estimation, and latent-variable parameter estimation, because the underdamped dynamics admit an augmented Gibbs law whose position marginal is the target distribution [2208.07743].

## 1. Dynamical formulation and inferential scope

The canonical underdamped model introduces a state variable that contains both coordinates and inertial degrees of freedom. In the trajectory-inference setting, the dynamics are written as
\[
\dot{x}_\mu = v_\mu, \qquad \dot{v}_\mu = F_\mu(\mathbf{x},\mathbf{v}) + \sigma_{\mu\nu}(\mathbf{x},\mathbf{v})\,\xi_\nu(t),
\]
with Gaussian white noise, and the inferential task is to recover the deterministic drift or force field \(F\) and the noise amplitude \(\sigma\) from observed trajectories [2002.06680]. In the Bayesian-neural formulation, the state is written as \(\bm z=[\bm x^{\mathrm T},\bm v^{\mathrm T}]^{\mathrm T}\in\mathbb R^{2d}\), and the continuous-time underdamped Langevin equation is
\[
\dot{\bm x}(t)=\bm v(t),\qquad \dot{\bm v}(t)=\bm\Phi(\bm x,\bm v,t)+\sqrt{2\bm{\mathsf D}(\bm x,\bm v,t)}\,\bm\xi(t),
\]
which makes explicit the separation between drift force and diffusion matrix [2402.01338].

In molecular-dynamics parameter inference, the underdamped model is commonly written as
\[
\dot{q} = v, \qquad \dot{v} = -\frac{1}{m}\frac{dF}{dq} - \gamma v + \text{noise},
\]
with \(q\) the coordinate, \(v\) the velocity, \(m\) an effective mass, \(F(q)\) the free-energy profile, and \(\gamma\) a friction coefficient. The corresponding inference problem is to estimate the free-energy profile \(F(q)\), the friction \(\gamma\) or a friction kernel, and the effective mass or noise amplitude consistent with thermal equilibrium, typically by likelihood maximization on short trajectory segments [2506.16272]. This setting is also the inertial, memoryless special case of the generalized Langevin equation,
\[
\begin{cases}
\dot{q}= v, \\
\dot{v}= -\frac{1}{m}\frac{dF}{dq} - \int_0^t dt'\, K(t')\, v(t-t') + R(t),
\end{cases}
\]
which motivates several later extensions toward memory-kernel inference [2506.16272].

When ULI is used as a sampler rather than a system-identification tool, the same phase-space structure targets a Gibbs law. A representative form is
\[
dY_t^c = V_t^c\,dt,\qquad
dV_t^c = -V_t^c\,dt - \nabla \Psi(Y_t^c)\,dt + \sqrt{2}\,dB_t,
\]
with invariant density
\[
\pi_\infty(y,v) \propto \exp\big(-\Psi(y)-v^2/2\big),
\]
so the marginal invariant law of the position variable is proportional to \(\exp(-\Psi(y))\) [2601.01589]. This dual role of underdamped Langevin dynamics—as a generative model for observed inertial trajectories and as an inference mechanism for posterior sampling—organizes much of the subsequent literature.

## 2. Trajectory-based reconstruction from discrete noisy observations

The framework explicitly named ULI in "Inferring the dynamics of underdamped stochastic systems" [2002.06680] addresses a central practical difficulty: experiments usually provide only positions sampled at intervals \(\Delta t\), whereas the model is second order in time. Naive finite-difference differentiation produces a discrete acceleration estimator whose stochastic component is correlated with the basis functions used to regress the force, and the resulting estimator remains biased even as \(\Delta t\to 0\).

The method therefore represents the force field in a smooth basis,
\[
F_\mu(\mathbf{x},\mathbf{v}) \approx F_{\mu\alpha}\,\hat c_\alpha(\mathbf{x},\mathbf{v}),
\]
where the orthonormalized basis functions are built from a chosen dictionary \(b_\alpha\) through
\[
\hat c_\alpha(\mathbf{x},\mathbf{v})=\hat B^{-1/2}_{\alpha\beta}b_\beta(\mathbf{x},\mathbf{v}), \qquad \langle \hat c_\alpha \hat c_\beta\rangle=\delta_{\alpha\beta}.
\]
With discrete-time observations, the natural estimators
\[
\hat v(t)=\frac{x(t)-x(t-\Delta t)}{\Delta t}, \qquad \hat a(t)=\frac{x(t+\Delta t)-2x(t)+x(t-\Delta t)}{\Delta t^2}
\]
lead to the bias expansion
\[
\langle \hat a_\mu \hat c_\alpha(\mathbf{x},\hat{\mathbf v})\rangle = F_{\mu\alpha} + \frac{1}{6}\left\langle \sigma^2_{\mu\nu}\,\partial_{v_\nu} c_\alpha(\mathbf{x},\mathbf v) \right\rangle + \mathcal O(\Delta t).
\]
For a linear viscous force \(F(v)=-\gamma v\), this yields
\[
\langle \hat a\, c(\hat v)\rangle = -\frac{2}{3}\gamma + \mathcal O(\Delta t),
\]
rather than the correct \(-\gamma\). ULI removes this bias by subtracting the analytically derived correction term:
\[
\hat{F}_{\mu \alpha} = \langle \hat a_\mu \hat c_\alpha(\mathbf{x},\hat{\mathbf v}) \rangle - \frac{1}{6} \left\langle \widehat{\sigma^2}_{\mu\nu}(\mathbf{x},\hat{\mathbf v}) \,\partial_{v_\nu}\hat c_\alpha(\mathbf{x},\hat{\mathbf v}) \right\rangle.
\]

The noise field is inferred by an equally explicit estimator,
\[
\widehat{\sigma^2}_{\mu\nu\alpha} = \frac{3\Delta t}{2} \left\langle \hat a_\mu \hat a_\nu \hat c_\alpha(\mathbf{x},\hat{\mathbf v}) \right\rangle,
\]
which allows multiplicative noise to be reconstructed rather than merely a constant diffusion level. Because the correction involves \(\partial_{v_\nu}\hat c_\alpha\), the approach requires a smooth basis and is not naturally phrased in terms of top-hat bins.

Measurement noise is treated as a distinct pathology. If the observed signal is
\[
\mathbf{y}(t)=\mathbf{x}(t)+\boldsymbol{\eta}(t),
\]
with time-uncorrelated measurement error, then the second derivative amplifies measurement noise so strongly that the systematic bias can scale like \(\Delta t^{-3}\). The measurement-noise-robust variant of ULI therefore replaces pointwise positions and one-sided velocities by a local average position
\[
\bar{\mathbf x}(t)=\frac{1}{3}\big(\mathbf x(t-\Delta t)+\mathbf x(t)+\mathbf x(t+\Delta t)\big)
\]
and a symmetric velocity
\[
\hat{\mathbf v}(t)=\frac{\mathbf x(t+\Delta t)-\mathbf x(t-\Delta t)}{2\Delta t}.
\]
In this variant the prefactor in the force correction changes from \(1/6\) to \(1/2\), and the noise estimator is replaced by a four-point increment construction designed to cancel the leading measurement-noise terms [2002.06680].

A distinctive feature of the original ULI framework is its self-consistent error estimate. Defining the empirical information content
\[
\hat I_b = \frac{\tau}{2}\hat{\sigma}^{-2}_{\mu\nu}\hat F_{\mu\alpha}\hat F_{\nu\alpha},
\]
with \(N_b=d\,n_b\) force coefficients, the expected relative inference error satisfies
\[
\frac{\delta \hat F^2}{\hat F^2}\sim \frac{N_b}{2\hat I_b},
\qquad
\frac{\delta \widehat{\sigma^2}}{\widehat{\sigma^2}} \sim \sqrt{\frac{N_b\Delta t}{\tau}}.
\]
This gives both a quantitative uncertainty estimate and a convergence criterion for basis truncation and data length. Empirical demonstrations in the same work include the stochastic damped harmonic oscillator, the Van der Pol oscillator, multiplicative-noise systems, a migrating human breast cancer cell in a two-state micropattern, and a 3D Viscek-like flocking model, where symmetry-aware basis design mitigates the high-dimensionality of the many-body force field [2002.06680].

## 3. Velocity reconstruction, corrected likelihoods, and uncertainty quantification

Later work sharpened the observation that the principal technical obstacle in ULI is not merely missing velocity data, but the statistical structure induced by reconstructing velocities from positions. In the likelihood-maximization setting for molecular trajectories, positions are observed at discrete times \(t_n=n\tau\), and a generic finite-difference velocity is defined as
\[
u_n^\lambda = (1-\lambda)\frac{x_n-x_{n-1}}{\tau} + \lambda \frac{x_{n+1}-x_n}{\tau}.
\]
For the VEC integrator this quantity is not equal to the true integration velocity \(v_n\), but instead obeys, to leading order,
\[
u_n^\lambda = (1+\gamma\tau(1/2-\lambda))\,v_n +\frac{\tau}{2}(2\lambda-1)F(x_n) +\text{noise terms}+\cdots,
\]
so the mismatch is minimized at \(\lambda=\frac12\) [2506.16272]. The key conclusion is not simply that \(u_n\) is noisy, but that it is structurally correlated with the same stochastic increments that drive the coordinate update. As a result, a likelihood based on the assumption of conditionally clean velocities becomes systematically biased.

The corrected molecular-dynamics likelihood is written in Gaussian form in terms of short-time propagator moments and covariance matrix entries,
\[
-\log \mathcal{L}_\theta = \frac{1}{N}\sum^N \frac{1}{2}\ln(4\pi \det M) -\frac{M_{qq}}{2\det M}\langle (v'-M_v)^2\rangle -\frac{M_{vv}}{2\det M}\langle (q'-M_q)^2\rangle +\frac{M_{qv}}{\det M}\langle (v'-M_v)(q'-M_q)\rangle,
\]
with
\[
M= \begin{bmatrix} M_{qq} & M_{qv}\\ M_{qv} & M_{vv} \end{bmatrix},
\qquad
M_{qq}=\frac{2}{3}c\tau^3,\quad
M_{qv}=c\tau^2-c\gamma\tau^3,\quad
M_{vv}=2c\tau-2c\gamma\tau^2+\frac{1}{3}(2c\phi_n^q+4c\gamma^2)\tau^3,
\]
and \(c=\frac{k_BT\,\gamma}{m}\) [2506.16272]. The correction rewrites the moments
\[
\langle (q'-M_q)^2\rangle,\qquad
\langle (v'-M_v)^2\rangle,\qquad
\langle (q'-M_q)(v'-M_v)\rangle
\]
so that the finite-difference relations are explicitly propagated into the inference objective. The resulting method is designed for short, non-ergodic trajectories, where one cannot rely on long-time averaging to wash out discretization artifacts. A practical validation diagnostic reconstructs the effective noise
\[
\mathcal{G}_n = \left( \frac{q_{n+1}-q_n}{\tau} -\left(1-\frac{\gamma\tau}{2}\right)v_n -\frac{\tau}{2}\phi_n \right)\frac{2}{\sigma},
\]
which, for a correct inference, should satisfy
\[
\langle \mathcal{G}_n\rangle = 0, \qquad \langle \mathcal{G}_n^2\rangle = \frac{2}{3}, \qquad \frac{\langle \mathcal{G}_n\mathcal{G}_{n+1}\rangle}{\langle \mathcal{G}_n^2\rangle}=\frac{1}{4}.
\]
The paper validates the corrected likelihood on a benchmark case and on a fullerene dimer in water, and reports that the corrected likelihood produces consistent free-energy profiles across time resolutions [2506.16272].

A complementary development replaces hand-crafted basis projections by Bayesian neural estimators while preserving the same leading-order bias corrections. In "Inferring the Langevin Equation with Uncertainty via Bayesian Neural Networks" [2402.01338], the observable trajectory is only \(x(t)\), the velocity is reconstructed as
\[
\hat{\bm v}(t)=\frac{\bm x(t+\Delta t)-\bm x(t)}{\Delta t},
\]
and the augmented state is taken as
\[
\bm z=[\bm x^{\mathrm T},\hat{\bm v}^{\mathrm T}]^{\mathrm T}.
\]
The crucial derivation is that the increment of the estimated velocity does not follow the true underdamped Langevin equation. Instead,
\[
\Delta \hat{\bm v}(t_i)\big|_{\bm x(t_i),\hat{\bm v}(t_i)} \sim \mathcal N\!\left( \left[\bm\Phi(\bm x,\hat{\bm v},t_i)-\frac{1}{3}\bm{\mathsf D}(\bm x,\hat{\bm v},t_i)\,\partial_{\hat{\bm v}}\ln P(\bm x,\hat{\bm v},t_i)\right]\Delta t,\; \frac{4}{3}\bm{\mathsf D}(\bm x,\hat{\bm v},t_i)\Delta t \right).
\]
Hence the observed velocity dynamics are not Markovian at finite \(\Delta t\), and naive overdamped-style regression is biased even as \(\Delta t\to 0\). The leading-order unbiased estimators become
\[
\hat{\bm\Phi}(\bm x,\bm v,t) \simeq \hat{\bm\Psi}_f(\bm x,\hat{\bm v},t) +\frac{1}{4}\Big[\hat{\bm\Psi}_f(\bm x,\hat{\bm v},t)-\hat{\bm\Psi}_b(\bm x,\hat{\bm v},t)\Big],
\]
\[
\hat{\bm{\mathsf D}}(\bm x,\bm v,t) \simeq \frac{3}{2}\,\frac{\langle \Delta \hat{\bm v}(t)\Delta \hat{\bm v}(t)^{\mathrm T}\rangle|_{\bm x(t),\hat{\bm v}(t)}}{2\Delta t},
\]
so ULI requires two separate drift networks and a \(3/2\) rescaling for diffusion [2402.01338]. The Bayesian posterior over weights is mean-field Gaussian, training uses Bayes-by-backprop with the reparameterization trick and Adam, and epistemic uncertainty is quantified by posterior predictive variance,
\[
\hat\Sigma_{\bm y}(\bm z,t) = \frac{{\rm Var}[\bm y_{\bm\theta}(\bm z,t)]}{\langle \bm y_{\bm\theta}^2(\bm z,t)\rangle_{\bm\theta}}.
\]
In the reported underdamped examples—the stochastic van der Pol oscillator and the nonstationary Brownian Carnot engine—the uncertainty maps shrink as trajectory length increases and are larger in under-sampled regions [2402.01338].

## 4. Path-space variational inference and reverse-time constructions

A distinct but closely related line of work recasts ULI as variational inference on augmented trajectories. "Langevin Diffusion Variational Inference" [2208.07743] starts from the standard variational objective
\[
ELBO(q(z)\Vert p(z)) = \mathbb{E}_{q(z)}\!\left[\log \frac{p(z)}{q(z)}\right],
\]
with \(p(z)\) known up to normalization, and constructs a rich variational family by numerically simulating the underdamped Langevin diffusion process and its time reversal. Rather than approximate only a terminal marginal, the method defines an augmented variational path measure
\[
q(1{:}K,1{:}K)= q(z_1,\rho_1)\prod_{k=1}^{K-1} F_k(z_{k+1},\rho_{k+1}\mid z_k,\rho_k),
\]
and a matching augmented target
\[
p(1{:}K,1{:}K)= p(z_K,\rho_K)\prod_{k=1}^{K-1} B_k(z_k,\rho_k\mid z_{k+1},\rho_{k+1}),
\]
leading to the augmented objective
\[
ELBO\big(q(1{:}K,1{:}K)\,\Vert\,p(1{:}K,1{:}K)\big)
=
\mathbb{E}_q\!\left[ \log \frac{p(z_K,\rho_K)}{q(z_1,\rho_1)} + \sum_{k=1}^{K-1}\log\frac{F_k}{B_k} \right].
\]

The forward diffusion is the underdamped Langevin SDE
\[
\begin{aligned}
d z^t &= \rho^t\,dt,\\
d\rho^t &= \big[\nabla \log \pi^t(z^t)-\gamma \rho^t\big]dt+\sqrt{2\gamma}\,dw^t,
\end{aligned}
\]
where \(\pi^t\) interpolates between an initial approximation and the target. Its reverse-time dynamics are
\[
\begin{aligned}
d y^t &= -\lambda^t\,dt,\\
d\lambda^t &= \left[\gamma \lambda^t-\nabla \log \pi^{T-t}(y^t)+2\gamma \nabla_\lambda \log q^{T-t}(y^t,\lambda^t)\right]dt+\sqrt{2\gamma}\,dw^t.
\end{aligned}
\]
Under exact simulation, these reverse dynamics yield the optimal backward transitions for the auxiliary-variable bound. The intractable term \(\nabla_\lambda \log q^{T-t}(y^t,\lambda^t)\) is approximated as
\[
\nabla_\lambda \log q^{T-t}(y^t,\lambda^t)\approx -\lambda^t + s(T-t,y^t,\lambda^t),
\]
where \(s(\cdot)\) is a learnable score network. Setting \(s(t,z,\rho)=0\) recovers a simpler class of Langevin variational methods; retaining the score network gives what the paper calls a more powerful backward augmentation [2208.07743].

The numerical implementation is not an arbitrary discretization but a specific splitting construction. The forward SDE is decomposed into \(A\) for deterministic transport in position, \(B\) for deterministic force update from \(\nabla\log\pi^t\), and \(O\) for Ornstein–Uhlenbeck momentum refresh. The resulting leapfrog-style forward step is
\[
\rho_k' \sim m_F(\rho_k' \mid \rho_k,\gamma,\delta),
\]
\[
\begin{aligned}
\rho_k'' &= \rho_k' + \frac{\delta}{2}\nabla\log\pi^{k\delta}(z_k),\\
z_{k+1} &= z_k + \delta \rho_k'',\\
\rho_{k+1} &= \rho_k'' + \frac{\delta}{2}\nabla\log\pi^{k\delta}(z_{k+1}),
\end{aligned}
\]
while the backward step uses the inverse leapfrog followed by reverse momentum resampling. A key tractability result is
\[
\frac{B_k(z_k,\rho_k\mid z_{k+1},\rho_{k+1})}{F_k(z_{k+1},\rho_{k+1}\mid z_k,\rho_k)} = \frac{m_B(\rho_k\mid \rho_k', z_k,\gamma,\delta)}{m_F(\rho_k'\mid \rho_k,\gamma,\delta)}.
\]
With
\[
p(z_K,\rho_K)=p(z_K)\mathcal{N}(\rho_K\mid 0,I), \qquad q(z_1,\rho_1)=q(z_1)\mathcal{N}(\rho_1\mid 0,I),
\]
and Gaussian \(m_F,m_B\) obtained by Euler-Maruyama simulation of the OU-like momentum component, the ELBO remains tractable [2208.07743].

The paper’s central structural claim is that several earlier methods are special cases of a single diffusion-theoretic construction. ULA is recovered by using overdamped transitions, no score network, and the high-friction limit; MCD uses overdamped dynamics with score-network-based improved backward transitions; UHA uses underdamped transitions with no score network and exact momentum resampling; LDVI combines underdamped Langevin transitions with score-network-based reverse augmentation [2208.07743]. Empirically, the reported comparisons on logistic regression on ionosphere and sonar, Brownian motion latent time-series, the Lorenz system, and random effect regression on seeds show a consistent pattern: underdamped dynamics help, score-based backward augmentation helps, and combining both usually yields the best ELBO. The same experiments also show that a simpler Euler-Maruyama discretization performs worse than the splitting-based simulation scheme, making the numerical integrator part of the inferential design rather than a secondary implementation detail [2208.07743].

## 5. ULI as an inference engine: latent variables, particles, unbiased estimators, and stochastic gradients

A large algorithmic literature uses underdamped Langevin dynamics directly as an inference engine once the target distribution or marginal likelihood has been specified. In latent-variable maximum marginal likelihood, "Kinetic Interacting Particle Langevin Monte Carlo" [2407.05790] introduces the Kinetic Interacting Particle Langevin Diffusion
\[
\begin{aligned}
d\bm{\theta}_t &= \bm{v}_t^\theta\,dt, \\
d\bm{x}_t^i &= \bm{v}_t^{x_i}\,dt, \\
d\bm{v}_t^\theta &= -\gamma \bm{v}_t^\theta\,dt -\frac{1}{N}\sum_{i=1}^N \nabla_\theta U(\bm{\theta}_t,\bm{x}_t^i)\,dt +\sqrt{\frac{2\gamma}{N}}\,d\bm{B}_t^0, \\
d\bm{v}_t^{x_i} &= -\gamma \bm{v}_t^{x_i}\,dt -\nabla_x U(\bm{\theta}_t,\bm{x}_t^i)\,dt +\sqrt{2\gamma}\,d\bm{B}_t^i,
\end{aligned}
\]
whose stationary \(\theta\)-marginal is
\[
\pi_\Theta(\theta)\propto \exp\big(-N\kappa(\theta)\big), \qquad \kappa(\theta):=-\log p_\theta(y).
\]
Thus the number of particles \(N\) acts like an inverse temperature, and under strong convexity the stationary concentration obeys
\[
W_2(\pi_\Theta,\delta_{\bar\theta_\star}) \le \sqrt{\frac{2d_\theta}{\mu N}}.
\]
Two explicit discretizations are given: KIPLMC1, an exponential-integrator kinetic scheme using only first derivatives, and KIPLMC2, an explicit OBABO-type splitting scheme that is second-order, explicit, and does not require Hessians. The theoretical bounds separate mixing or optimization error, discretization error of order \(O(\eta)\), and concentration bias of order \(O(N^{-1/2})\), while the experiments on synthetic and Wisconsin cancer logistic regression indicate that KIPLMC2 is markedly more stable than KIPLMC1 and momentum particle gradient descent at larger step sizes [2407.05790].

A mean-field analogue appears in "Mean-field underdamped Langevin dynamics and its spacetime discretization" [2312.16360]. There the continuous-time mean-field underdamped dynamics are
\[
\begin{aligned}
\mathrm{d}x_t &= v_t\,\mathrm{d}t,\\
\mathrm{d}v_t &= -\gamma v_t\,\mathrm{d}t - D_{\rho}F(\mu_t^X,x_t)\,\mathrm{d}t + \sqrt{2\gamma}\,\mathrm{d}B_t,
\end{aligned}
\]
for entropy-regularized mean-field optimization problems such as mean-field neural network training, maximum mean discrepancy minimization, and kernel Stein discrepancy minimization. The practical \(N\)-particle algorithm, NULA, updates each particle through
\[
x_{k+1}^i = x_k^i + \varphi_0 v_k^i - \varphi_1\, D_\rho F(\mu_{x_k},x_k^i) + (\mathrm{B}_k^i)^x,
\]
\[
v_{k+1}^i = \varphi_2 v_k^i - \varphi_0\, D_\rho F(\mu_{x_k},x_k^i) + (\mathrm{B}_k^i)^v,
\]
with
\[
\varphi_0=\frac{1-e^{-\gamma h}}{\gamma},\qquad
\varphi_1=\frac{\gamma h-(1-e^{-\gamma h})}{\gamma^2},\qquad
\varphi_2=e^{-\gamma h}.
\]
The continuous-time theory gives an improved hypocoercive rate with \(\gamma=\sqrt{\mathscr{L}}\), and the discrete-time theory provides global TV guarantees for both the mean-field and \(N\)-particle algorithms [2312.16360].

ULI has also been coupled to debiasing methodology. "Unbiased Estimation using Underdamped Langevin Dynamics" [2206.07202] considers targets on phase space with density
\[
\pi(x,v)\propto \exp\left\{-\frac{\kappa}{\sigma^2}\big(2U(x)+\|v\|^2\big)\right\},
\]
simulated through Euler-discretized underdamped Langevin dynamics on levels \(\Delta_l=2^{-l}\). The final estimator removes both finite-time bias and discretization bias by combining coupled meeting-time debiasing at each fixed level with randomization over levels in the telescoping decomposition
\[
\pi(\varphi)=\pi_{l_*}(\varphi)+\sum_{l=l_*+1}^{\infty}\big[\pi_l-\pi_{l-1}\big](\varphi).
\]
For each level, the lag-1 unbiased estimator is
\[
\widehat{\pi_l(\varphi)}_k = \varphi(U_{k,l}) + \sum_{n=k+1}^{\tau_l-1}\big\{\varphi(U_{n,l})-\varphi(\tilde U_{n,l})\big\},
\]
and the randomized single-term estimator is weighted by \(1/\mathbb P_L(L)\). Under assumptions (A1)–(A5), the method is unbiased and has finite variance, with reported experiments on Bayesian logistic regression, a 100-dimensional double-well potential, and a \(d=10^3\) Ginzburg–Landau model [2206.07202].

In large-data Bayesian inference, stochastic gradients introduce another form of inferential distortion. "Langevin Markov Chain Monte Carlo with stochastic gradients" [1805.08863] develops the Noisy Gradient Integrator for underdamped Langevin dynamics with mini-batch gradients satisfying
\[
E[\widetilde F(\theta)] = F(\theta),\qquad \operatorname{Cov}[\widetilde F(\theta)] = \Sigma(\theta).
\]
The method folds the stochastic-gradient noise into the Ornstein–Uhlenbeck part of a splitting integrator through a calibrated damping matrix
\[
\Gamma_h = \left(I-\Sigma_{h/2}(\theta)\right)\left(I+\Sigma_{h/2}(\theta)\right)^{-1},
\]
and is second-order weakly consistent when
\[
\mu(\theta)=\gamma I+\frac{h}{2}\Sigma(\theta).
\]
For Gaussian targets with Gaussian gradient noise, the \(\theta\)-marginal is preserved exactly:
\[
\pi_h(\theta,p) = N(\theta\mid \eta,\Omega) \times N\!\left(p\mid 0,\left(I-\frac{h^2}{4}\Omega^{-1}\right)^{-1}\right),
\]
so there is no sampling bias in \(\theta\) under the stated condition \(h^2<4\kappa\) [1805.08863].

## 6. Convergence theory, metastability, and broader extensions

The theoretical analysis of underdamped Langevin inference has progressively moved beyond strong log-concavity and Wasserstein-only arguments. "Improved Discretization Analysis for Underdamped Langevin Monte Carlo" [2302.08049] introduces a Girsanov-based discretization analysis in Rényi divergence for the standard underdamped diffusion
\[
\D x_t = v_t \, \D t,\qquad
\D v_t = -\gamma v_t \, \D t - \nabla U(x_t)\, \D t + \sqrt{2\gamma}\, \D B_t,
\]
and its frozen-gradient discretization. The main advances are the removal of the Lipschitz Hessian requirement from earlier KL analyses, extension to distributions satisfying a Poincaré inequality, and the ability to handle weakly smooth potentials \(\|\nabla U(x)-\nabla U(y)\|\le L\|x-y\|^s\). In the strongly convex case, the paper proves a KL guarantee with
\[
N = \widetilde{\Theta}\!\left(\frac{\kappa^{3/2} d^{1/2}}{\epsilon}\right),
\qquad
h = \widetilde{\Theta}\!\left(\frac{\epsilon}{m^{1/2}L d^{1/2}}\right),
\]
and states explicitly that it does not obtain full discrete-time acceleration, leaving open the gap to the ideal \(\sqrt{\kappa}\) dependence [2302.08049].

A subsequent development removes explicit ambient-dimension dependence from KL guarantees. "Dimension-Independent Convergence of Underdamped Langevin Monte Carlo in KL Divergence" [2603.02429] refines the KL local error framework so that bounds depend on an upper Hessian matrix \(\Hb\) through \(\mathrm{tr}(\Hb)\) rather than \(d\). For standard ULMC in the strongly convex regime, with \(\gamma=\sqrt{32\beta}\),
\[
h = \tilde{\Theta}\!\left(\frac{\epsilon}{\kappa[\tr(\Hb)]^{1/2}}\right), \qquad
N = \tilde{\Theta}\!\left(\frac{\kappa^{3/2}\beta^{-1/2}[\tr(\Hb)]^{1/2}}{\epsilon}\right),
\]
yield
\[
\kl\big(\mu(\cP')^{N}\|\pi\big)\le \epsilon^2.
\]
For the randomized midpoint discretization, the strongly convex complexity improves to
\[
\tilde\Theta\!\left(\kappa[\beta^{-1}\tr(\Hb)]^{1/3}\epsilon^{-2/3}\right).
\]
The resulting picture is that underdamped schemes are provably preferable when \(\tr(\Hb)\ll d\), but the gain is geometry-dependent rather than uniform [2603.02429].

Several works emphasize that acceleration depends sensitively on dynamical design choices. "Optimal friction matrix for underdamped Langevin sampling" [2112.06844] treats the friction matrix \(\Gamma\) as an observable-dependent hyperparameter and gives the asymptotic-variance gradient
\[
d\sigma^2.\delta\Gamma = -2\int (\nabla_p\phi)^\top \delta\Gamma\, \nabla_p\tilde\phi \,d\tilde{\pi},
\]
where \(\phi\) solves the Poisson equation \(-\mathcal{L}\phi = f-\pi(f)\). In Bayesian logistic regression, the learned \(\Gamma\) decreases from \(I_n\) toward a very small scalar and reduces empirical asymptotic variance by about an order of magnitude relative to \(\Gamma=I_n\) in both full-gradient and minibatch settings [2112.06844]. "Using Perturbed Underdamped Langevin Dynamics to Efficiently Sample from Probability Distributions" [1705.00170] adds skew-symmetric perturbations in both the position and momentum equations,
\[
d q_t = M^{-1}p_t\,dt - p\,J_1 \nabla V(q_t)\,dt,
\qquad
d p_t = -\nabla V(q_t)\,dt - v\,J_2 M^{-1}p_t\,dt - \Gamma M^{-1}p_t\,dt + \sqrt{2\Gamma}\,dW_t,
\]
without changing the invariant measure, and shows for Gaussian targets that suitable perturbations reduce asymptotic variance, while unsuitable perturbations can worsen it [1705.00170]. "Gradient-adjusted underdamped Langevin dynamics for sampling" [2410.08987] modifies the kinetic equations by adding a gradient adjustment in the position equation,
\[
\begin{aligned}
d x_t &= \big(-a\nabla f(x_t) + p_t\big)\,dt + \sqrt{2a}\,dB_t^{(1)},\\
d p_t &= \big(-\nabla f(x_t) - \gamma p_t\big)\,dt + \sqrt{2\gamma}\,dB_t^{(2)},
\end{aligned}
\]
and for Gaussian targets reports continuous-time and discrete-time convergence improvements, including an Euler–Maruyama mixing-time scaling of order \(\mathcal O(\sqrt{\kappa}\log(d/\delta))\) toward a biased target under the stated parameter choices [2410.08987].

The long-time geometry of ULI also matters. "Eyring-Kramers Law for the Underdamped Langevin Process" [2503.12610] studies the low-temperature dynamics
\[
\mathrm{d}q^{\epsilon}(t)=p^{\epsilon}(t)\mathrm{d}t,\qquad
\mathrm{d}p^{\epsilon}(t)=-\nabla U(q^{\epsilon}(t))\mathrm{d}t-\gamma p^{\epsilon}(t)\mathrm{d}t+\sqrt{2\gamma\epsilon}\mathrm{d}B(t),
\]
in a double-well potential and proves the asymptotic mean transition time
\[
\mathbb{E}_{(m,\,0)}(\tau_{\mathcal{S}_{\epsilon}})=[1+o_{\epsilon}(1)]\frac{2\pi}{\mu^{\sigma}}\sqrt{\frac{-\det\mathbb{H}_{U}^{\sigma}}{\det\mathbb{H}_{U}^{m}}\,\mathrm{e}^{(U(\sigma)-U(m))/\epsilon},
\]
with
\[
\mu^{\sigma}=\frac{-\gamma+\sqrt{\gamma^{2}+4\lambda^{\sigma}}}{2}>0.
\]
This identifies the precise metastable barrier-crossing scale of underdamped samplers in the small-noise regime [2503.12610]. In a complementary nonequilibrium direction, "Bounds on the precision of currents in underdamped Langevin dynamics" [2202.10696] shows that the overdamped thermodynamic uncertainty relation does not extend unchanged to finite mass. The current precision bound becomes
\[
\eta_J\equiv \frac{\langle J(t)\rangle^2}{\mathrm{Var}(J(t))} \le \frac{1}{2}\Sigma,
\qquad
\Sigma = t\big(\sigma^{\mathrm{od}}+\Psi\big)+\Omega_\nu,
\]
where the additional positive terms encode local mean acceleration and velocity-fluctuation structure [2202.10696]. This is directly relevant when ULI is used to infer dissipation or dynamical precision from currents.

Finally, recent work has expanded the conceptual reach of underdamped inference. "Learning Relationship between Quantum Walks and Underdamped Langevin Dynamics" [2601.01589] proves that a coined quantum walk with randomization is asymptotically equivalent to underdamped Langevin dynamics in Le Cam deficiency distance, whereas the non-randomized walk is not asymptotically equivalent because of a high-frequency oscillatory component. "Accelerated massive MIMO detector based on annealed underdamped Langevin dynamics" [2210.15071] adapts annealed underdamped Langevin inference to massive MIMO detection by smoothing a discrete posterior over symbol constellations and then running a splitting-based underdamped sampler in the spectral domain. In the reported low-complexity regimes, the method yields lower symbol error rate than an overdamped Langevin detector with lower runtime, while high-complexity regimes make the two essentially similar [2210.15071].

Taken together, these developments show that ULI is not a single algorithm but a structured family of inference methods built around inertial stochastic dynamics. Across trajectory reconstruction, corrected likelihoods, Bayesian neural estimation, path-space variational inference, particle-based latent-variable optimization, unbiased Monte Carlo, and nonasymptotic sampling theory, the recurring lesson is that inertia, reverse-time structure, and discretization must be treated jointly. The same momentum variable that improves exploration and mixing also creates the characteristic inferential difficulties of ULI: unobserved velocities, correlated finite-difference noise, discretization-sensitive reverse dynamics, observable-dependent friction, and metastable phase-space transport.

Source: https://www.emergentmind.com/topics/underdamped-langevin-inference-uli