Stability of stochastic approximation under verifiable conditions

In this paper we address the problem of the stability and convergence of the stochastic approximation procedure θ_n+1= θ_n+γ_n+1[h(θ_n)+ξC _n+1]. The stability of such sequences {θ_n} is known to heavily rely on the behavior of the mean field h at the boundary of the parameter set and the magnitude of the stepsizes used. The conditions typically required to ensure convergence, and in particular the boundedness or stability of {θ_n}, are either too difficult to check in practice or not satisfied at all. This is the case even for very simple models. The most popular technique for circumventing the stability problem consists of constraining {θ_n} to a compact subset K. in the parameter space. This is obviously not a satisfactory solution, as the choice of K is a delicate one. In this paper we first prove a "deterministic" stability result, which relies on simple conditions on the sequences {ξ_n} and {γ_n}- We then propose and analyze an algorithm based on projections on adaptive truncation sets, which ensures that the aforementioned conditions required for stability are satisfied. We focus in particular on the case where {ξ_n} is a so-called Markov state-dependent noise. We establish both the stability and convergence with probability 1 (w.p. 1) of the algorithm under a set of simple and verifiable assumptions. We illustrate our results with an example related to adaptive Markov chain Monte Carlo algorithms.