Exponential Convergence of Langevin Distributions and Their Discrete Approximations

Abstract

In this paper we consider a continuous-time method of approximating a given distribution π using the Langevin diffusion d L t=dW t+1 2 ∇logπ(L t)dt . We find conditions under which this diffusion converges exponentially quickly to π or does not: in one dimension, these are essentially that for distributions with exponential tails of the form π (x)∝exp(-γ|x| β ) , 0 <β<∞ , exponential convergence occurs if and only if β ≥1 . We then consider conditions under which the discrete approximations to the diffusion converge. We first show that even when the diffusion itself converges, naive discretizations need not do so. We then consider a 'Metropolis-adjusted' version of the algorithm, and find conditions under which this also converges at an exponential rate: perhaps surprisingly, even the Metropolized version need not converge exponentially fast even if the diffusion does. We briefly discuss a truncated form of the algorithm which, in practice, should avoid the difficulties of the other forms.