English

Convergence of Langevin-Simulated Annealing algorithms with multiplicative noise

Probability 2022-04-26 v2

Abstract

We study the convergence of Langevin-Simulated Annealing type algorithms with multiplicative noise, i.e. for V:RdRV : \mathbb{R}^d \to \mathbb{R} a potential function to minimize, we consider the stochastic equation dYt=σσV(Yt)dt+a(t)σ(Yt)dWt+a(t)2Υ(Yt)dtdY_t = - \sigma \sigma^\top \nabla V(Y_t) dt + a(t)\sigma(Y_t)dW_t + a(t)^2\Upsilon(Y_t)dt, where (Wt)(W_t) is a Brownian motion, where σ:RdMd(R)\sigma : \mathbb{R}^d \to \mathcal{M}_d(\mathbb{R}) is an adaptive (multiplicative) noise, where a:R+R+a : \mathbb{R}^+ \to \mathbb{R}^+ is a function decreasing to 00 and where Υ\Upsilon is a correction term. This setting can be applied to optimization problems arising in Machine Learning. The case where σ\sigma is a constant matrix has been extensively studied however little attention has been paid to the general case. We prove the convergence for the L1L^1-Wasserstein distance of YtY_t and of the associated Euler-scheme Yˉt\bar{Y}_t to some measure ν\nu^\star which is supported by argmin(V)\text{argmin}(V) and give rates of convergence to the instantaneous Gibbs measure νa(t)\nu_{a(t)} of density exp(2V(x)/a(t)2)\propto \exp(-2V(x)/a(t)^2). To do so, we first consider the case where aa is a piecewise constant function. We find again the classical schedule a(t)=Alog1/2(t)a(t) = A\log^{-1/2}(t). We then prove the convergence for the general case by giving bounds for the Wasserstein distance to the stepwise constant case using ergodicity properties.

Keywords

Cite

@article{arxiv.2109.11669,
  title  = {Convergence of Langevin-Simulated Annealing algorithms with multiplicative noise},
  author = {Pierre Bras and Gilles Pagès},
  journal= {arXiv preprint arXiv:2109.11669},
  year   = {2022}
}

Comments

31 pages + Supplementary Material (6 pages)