arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2005.08513math.NAcs.NAmath.OC
收藏

非光滑非凸函数常步长随机梯度下降的收敛性

Convergence of constant step stochastic gradient descent for non-smooth non-convex functions

Pascal Bianchi, Walid Hachem, Sholom Schechtman

摘要:

本文研究了非凸、非光滑、局部Lipschitz随机函数的期望函数F极小化的常步长随机梯度下降算法的渐近性态。由于梯度可能不存在,它被某个算子所取代:一个合理的选择是使用随机函数的Clarke次微分的元素;另一个选择是著名的反向传播算法的输出,该算法在实践者中很受欢迎,其性质最近由Bolte和Pauwels研究[7]。由于所选算子的期望一般不是均值函数的Clarke次微分BF的元素,因此在文献中假设BF的预言是可用的。作为第一个结果,它示出在本文中,这样的预言是不需要的算法的几乎所有初始化点。接下来,在小步长制度,它表明,该算法的内插轨迹收敛的概率(在紧凑的收敛意义上)对一组解决方案的微分包含。最后,将迭代序列看作一个转移核由步长索引的马尔可夫链,证明了当步长趋于零时,转移核的不变分布弱收敛于该微分包含的不变分布集.这些结果表明,当步长较小时,迭代序列以较大的概率最终位于均值函数F的临界点的邻域内。

英文摘要:

This paper studies the asymptotic behavior of the constant step Stochastic Gradient Descent for the minimization of an unknown function F , defined as the expectation of a non convex, non smooth, locally Lipschitz random function. As the gradient may not exist, it is replaced by a certain operator: a reasonable choice is to use an element of the Clarke subdifferential of the random function; an other choice is the output of the celebrated backpropagation algorithm, which is popular amongst practionners, and whose properties have recently been studied by Bolte and Pauwels [7]. Since the expectation of the chosen operator is not in general an element of the Clarke subdifferential BF of the mean function, it has been assumed in the literature that an oracle of BF is available. As a first result, it is shown in this paper that such an oracle is not needed for almost all initialization points of the algorithm. Next, in the small step size regime, it is shown that the interpolated trajectory of the algorithm converges in probability (in the compact convergence sense) towards the set of solutions of the differential inclusion. Finally, viewing the iterates as a Markov chain whose transition kernel is indexed by the step size, it is shown that the invariant distribution of the kernel converge weakly to the set of invariant distribution of this differential inclusion as the step size tends to zero. These results show that when the step size is small, with large probability, the iterates eventually lie in a neighborhood of the critical points of the mean function F .

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑