Core Concepts
The authors propose penalized Langevin dynamics (PLD) and penalized underdamped Langevin Monte Carlo (PULMC) methods to efficiently sample from a target distribution constrained to a convex body. They provide non-asymptotic convergence rate guarantees for these algorithms in both the deterministic and stochastic gradient settings.
Abstract
The authors consider the problem of sampling from a target distribution π(x) ∝ exp(-f(x)) where x is constrained to lie in a convex body C ⊂ Rd. To address this constrained sampling problem, they propose penalized Langevin dynamics (PLD) and penalized underdamped Langevin Monte Carlo (PULMC) algorithms.
The key idea is to convert the constrained sampling problem into an unconstrained one by introducing a penalty function S(x) that penalizes constraint violations. The authors then analyze the 2-Wasserstein distance between the original target π and the modified target πδ ∝ exp(-(f(x) + S(x)/δ)), showing that this distance goes to 0 as the penalty parameter δ goes to 0.
For the deterministic gradient setting, the authors show that:
PLD achieves an iteration complexity of Õ(d/ε^10) to sample from the target up to ε-error in total variation distance, when f is smooth.
PULMC improves this to Õ(√(d)/ε^7) when the Hessian of f is also Lipschitz and the boundary of C is sufficiently smooth.
These are the first convergence rate results for underdamped Langevin Monte Carlo methods in the constrained sampling setting that can handle non-convex f and provide the best dimension dependency.
For the stochastic gradient setting, the authors propose PSGLD and PSGULMC algorithms and show:
For strongly convex and smooth f, PSGLD and PSGULMC have iteration complexities of Õ(d/ε^18) and Õ(d√(d)/ε^39) respectively in the 2-Wasserstein distance.
For general smooth f that can be non-convex, they provide finite-time performance bounds and iteration complexity results.
The authors demonstrate the performance of their algorithms on Bayesian LASSO regression and Bayesian constrained deep learning problems.