Quantitative Target Convergence and Uniform-in-Time Propagation of Chaos for Langevin-Regularized SVGD
Organizations: Department of Statistics and Operations Research, University of North Carolina at Chapel Hill, 318 Hanes Hall, CB# 3260, Chapel Hill, NC 27599-3260, USA. · Department of Computing and Mathematical Sciences, California Institute of Technology, 1200 East California Boulevard, MC 305-16, Pasadena, CA 91125, USA.
Abstract
We establish quantitative convergence to the target and uniform-in-time propagation of chaos for Langevin-regularized Stein variational gradient descent. The Stein interaction need not be small relative to the confining Langevin drift and does not generally yield a contractive particle coupling. At the mean-field level, the Stein and Langevin components dissipate the same relative entropy in the kernel-induced Stein and -Wasserstein geometries, producing the squared kernel Stein discrepancy and relative Fisher information. Under a log-Sobolev inequality for the target, this yields exponential last-iterate convergence. We also derive a finite-particle entropy identity relative to the product target, giving exponential-in-time convergence of the empirical measure up to polynomial sampling errors. For propagation of chaos, we develop two complementary finite-time approaches. A synchronous coupling, combined with exponential moment estimates for the nonlinear mean-field diffusion, yields explicit single-exponential bounds in Wasserstein distance and kernel Stein discrepancy (KSD). Moving-product entropy gives joint-law relative entropy control relative to the evolving mean-field product law and, through entropy superadditivity and concentration, fixed-marginal relative entropy and total variation bounds and empirical KSD estimates. Under an additional inequality for the initial law, it also yields Wasserstein bounds. Combining these finite-time estimates with target convergence at a logarithmic cutoff time gives polynomial uniform-in-time propagation of chaos rates in expectation for empirical KSD and , and for fixed-marginal total variation and . All bounds control the last iterate in physical time. We also compare the two finite-time mechanisms and identify regimes in which each gives the sharper polynomial exponent.
Figures & tables
| Work | Dynamics | Principal conditions | Quantitative conclusion |
|---|---|---|---|
| SPOS [ 43 ] | Closely related noisy particle-optimization/SVGD system | Strong monotonicity and a positive contraction margin | Continuous-time one-particle uniform-in-time , together with discrete-time approximation bounds |
| Priser–Bianchi–Salim [ 37 ] | Decreasing-step noisy-SVGD recursion associated with the continuous Langevin-regularized dynamics ( 1.2 ) | Qualitative well-posedness and long-time assumptions | Characterization of the empirical-measure limit set and its large- target consistency; no explicit rate in |
| Deterministic cutoff [ 3 ] | Deterministic SVGD | Target–kernel-specific finite- and long-time estimates | Uniform-in-averaging-time rates in general discrepancies; uniform-in-physical-time parametric rates for special finite-rank target–kernel pairs |
| Hong–Liu–Yang [ 22 ] | One-dimensional stochastic-SVGD-type dynamics with superlinear polynomial kernels | Pseudo/local monotonicity and sufficiently high polynomial moments | Quantitative strong tagged-particle propagation of chaos on every fixed ; no target-convergence or infinite-horizon result |
| Current paper | Langevin-regularized SVGD ( 1.2 ) | Target LSI, smooth bounded kernels, and concentration assumptions for strong finite-time bounds; no small-interaction condition | Polynomial uniform-in-physical-time rates for expected empirical KSD and , and for fixed-marginal TV and ; finite-time fixed-marginal KL control |
| Discrepancy and kernel condition | Finite-time estimate | Uniform-in-time conclusion |
|---|---|---|
| Empirical Langevin KSD KSD kernel condition | ||
| Empirical Wasserstein kernel condition | ||
| Fixed- Wasserstein kernel condition | ||
| Fixed- total variation Either kernel condition | ||
| Entropy-derived empirical and fixed- Wasserstein kernel condition and |