English

Convergence of Langevin Monte Carlo in Chi-Squared and Renyi Divergence

Machine Learning 2021-07-09 v4 Machine Learning Probability Computation

Abstract

We study sampling from a target distribution ν=ef\nu_* = e^{-f} using the unadjusted Langevin Monte Carlo (LMC) algorithm when the potential ff satisfies a strong dissipativity condition and it is first-order smooth with a Lipschitz gradient. We prove that, initialized with a Gaussian random vector that has sufficiently small variance, iterating the LMC algorithm for O~(λ2dϵ1)\widetilde{\mathcal{O}}(\lambda^2 d\epsilon^{-1}) steps is sufficient to reach ϵ\epsilon-neighborhood of the target in both Chi-squared and Renyi divergence, where λ\lambda is the logarithmic Sobolev constant of ν\nu_*. Our results do not require warm-start to deal with the exponential dimension dependency in Chi-squared divergence at initialization. In particular, for strongly convex and first-order smooth potentials, we show that the LMC algorithm achieves the rate estimate O~(dϵ1)\widetilde{\mathcal{O}}(d\epsilon^{-1}) which improves the previously known rates in both of these metrics, under the same assumptions. Translating this rate to other metrics, our results also recover the state-of-the-art rate estimates in KL divergence, total variation and 22-Wasserstein distance in the same setup. Finally, as we rely on the logarithmic Sobolev inequality, our framework covers a range of non-convex potentials that are first-order smooth and exhibit strong convexity outside of a compact region.

Keywords

Cite

@article{arxiv.2007.11612,
  title  = {Convergence of Langevin Monte Carlo in Chi-Squared and Renyi Divergence},
  author = {Murat A. Erdogdu and Rasa Hosseinzadeh and Matthew S. Zhang},
  journal= {arXiv preprint arXiv:2007.11612},
  year   = {2021}
}

Comments

v1: There was an error in the proof of Lemma 1. Authors thank Andre Wibisono for noticing this and letting us know. v2: Paper is updated with an opaque condition, in order not to mislead researchers. v3: Opaque condition in the previous version is proved under LSI and strong dissipativity. v4: Results on Renyi divergence are added