c5eeb3ce8efac6eb.tex
1: \begin{abstract}
2: Stochastic differentiable approximation schemes are widely used for solving high dimensional problems. 
3: Most of existing methods satisfy some desirable properties, including conditional descent inequalities \cite{robbins1971convergence,gladyshev1965stochastic}, and  
4: %They also usually hold some 
5: almost sure (a.s.) convergence guarantees on the objective function, or on the involved gradient \cite{saad1998online,gitman2019understanding}. 
6: However, for non-convex objective functions, a.s. convergence of the iterates, i.e., the stochastic process, to a critical point is usually not guaranteed, and remains an important challenge. % in particular for non-convex objective functions. 
7: In this article, we develop a framework to bridge the gap between descent-type inequalities and a.s. convergence of the associated stochastic process. Leveraging a novel Kurdyka-\L ojasiewicz property, 
8: we show convergence guarantees of stochastic processes under mild assumptions on the objective function.
9: %we show that any process satisfying some mild assumptions on the objective function holds convergence guaranties on the iterates. 
10: We also provide examples of stochastic algorithms benefiting from the proposed framework and derive a.s. convergence guarantees on the iterates.
11: \end{abstract}
12: