Table of Contents
Fetching ...

Dimension-Independent Convergence of Underdamped Langevin Monte Carlo in KL Divergence

Shiyuan Zhang, Qiwei Di, Xuheng Li, Quanquan Gu

TL;DR

The first dimension-free KL divergence bounds for discretized ULD are proved by proving the first dimension-free KL divergence bounds for underdamped Langevin Monte Carlo relative to overdamped Langevin methods in regimes where $\mathrm{tr}(\mathbf{H})\ll d$.

Abstract

Underdamped Langevin dynamics (ULD) is a widely-used sampler for Gibbs distributions $π\propto e^{-V}$, and is often empirically effective in high dimensions. However, existing non-asymptotic convergence guarantees for discretized ULD typically scale polynomially with the ambient dimension $d$, leading to vacuous bounds when $d$ is large. The main known dimension-free result concerns the randomized midpoint discretization in Wasserstein-2 distance (Liu et al.,2023), while dimension-independent guarantees for ULD discretizations in KL divergence have remained open. We close this gap by proving the first dimension-free KL divergence bounds for discretized ULD. Our analysis refines the KL local error framework (Altschuler et al., 2025) to a dimension-free setting and yields bounds that depend on $\mathrm{tr}(\mathbf{H})$, where $\mathbf{H}$ upper bounds the Hessian of $V$, rather than on $d$. As a consequence, we obtain improved iteration complexity for underdamped Langevin Monte Carlo relative to overdamped Langevin methods in regimes where $\mathrm{tr}(\mathbf{H})\ll d$.

Dimension-Independent Convergence of Underdamped Langevin Monte Carlo in KL Divergence

TL;DR

The first dimension-free KL divergence bounds for discretized ULD are proved by proving the first dimension-free KL divergence bounds for underdamped Langevin Monte Carlo relative to overdamped Langevin methods in regimes where .

Abstract

Underdamped Langevin dynamics (ULD) is a widely-used sampler for Gibbs distributions , and is often empirically effective in high dimensions. However, existing non-asymptotic convergence guarantees for discretized ULD typically scale polynomially with the ambient dimension , leading to vacuous bounds when is large. The main known dimension-free result concerns the randomized midpoint discretization in Wasserstein-2 distance (Liu et al.,2023), while dimension-independent guarantees for ULD discretizations in KL divergence have remained open. We close this gap by proving the first dimension-free KL divergence bounds for discretized ULD. Our analysis refines the KL local error framework (Altschuler et al., 2025) to a dimension-free setting and yields bounds that depend on , where upper bounds the Hessian of , rather than on . As a consequence, we obtain improved iteration complexity for underdamped Langevin Monte Carlo relative to overdamped Langevin methods in regimes where .
Paper Structure (30 sections, 28 theorems, 266 equations, 1 table)

This paper contains 30 sections, 28 theorems, 266 equations, 1 table.

Key Result

Theorem 3.5

Assume $h \lesssim \gamma^{-1} \wedge \gamma/\beta$. Let $\bm{\psi}^{\text{aux}}$ be the auxiliary process defined in eq:aux. For $n \le N-1$, let $\nu_n^{\text{aux}}$ be the distribution of the auxiliary process $\bm{\psi}_n^{\text{aux}}$, and $\nu_n$ be the distribution of $\bm{\psi}_n$. We denote Then the KL-divergence between $\nu_n^{{\text{aux}}}$ and $\nu_n$ satisfies where we define $\bar{

Theorems & Definitions (36)

  • Definition 3.2
  • Definition 3.3
  • Definition 3.4
  • Theorem 3.5: Theorem 4.1 in altschuler2025shifted
  • Corollary 3.6
  • Remark 3.7
  • Lemma 4.1: Strong and weak error for ULMC, dimension-free
  • Lemma 4.2: Cross-regularity for ULMC, dimension-free
  • Theorem 4.3
  • Theorem 4.4
  • ...and 26 more