arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 2407.04264cs.LGmath.OC
收藏

Langevin动力学:基于Lyapunov势函数的优化统一视角

Langevin Dynamics: A Unified Perspective on Optimization via Lyapunov Potentials

Cornell University(康奈尔大学);MIT(麻省理工学院)

August Y. Chen, Ayush Sekhari, Karthik Sridharan

AI总结:

本文提出基于Lyapunov势函数的新策略分析SGLD在非凸优化中的全局收敛性,给出改进的收敛速率、首个有限梯度复杂度保证,并建立了连续时间Langevin动力学与离散时间SGLD之间的成功性联系。

摘要:

我们研究使用随机梯度Langevin动力学(SGLD)的非凸优化问题。SGLD是随机梯度下降的一种自然且流行的变体,在每一步中都会加入适当缩放的高斯噪声。据我们所知,证明SGLD在损失函数上全局收敛的唯一策略是证明SGLD能够从平稳分布中采样,该分布在函数值较小时赋予更大的质量(Gibbs测度),然后将这些保证转化为优化结果。我们采用一种基于Lyapunov势函数和优化的新策略来分析SGLD收敛到全局最小值的行为。我们将先前SGLD研究工作中的相同温和条件转化为基于Lyapunov势函数的几何性质。该方法很好地适用于随机梯度预言机的情形,这对于机器学习应用来说是自然的,因为在这些应用中人们希望最小化总体损失,但只能通过小批量训练样本获得随机梯度。在此我们提供:1)在先前研究SGLD用于优化的设定下改进的收敛速率;2)首个针对SGLD的有限梯度复杂度保证,其中函数是Lipschitz的,且由该函数定义的Gibbs测度满足Poincaré不等式;3)证明如果连续时间Langevin动力学在优化中成功,则在温和的正则性假设下离散时间SGLD也能成功。

英文摘要:

We study the problem of non-convex optimization using Stochastic Gradient Langevin Dynamics (SGLD). SGLD is a natural and popular variation of stochastic gradient descent where at each step, appropriately scaled Gaussian noise is added. To our knowledge, the only strategy for showing global convergence of SGLD on the loss function is to show that SGLD can sample from a stationary distribution which assigns larger mass when the function is small (the Gibbs measure), and then to convert these guarantees to optimization results. We employ a new strategy to analyze the convergence of SGLD to global minima, based on Lyapunov potentials and optimization. We convert the same mild conditions from previous works on SGLD into geometric properties based on Lyapunov potentials. This adapts well to the case with a stochastic gradient oracle, which is natural for machine learning applications where one wants to minimize population loss but only has access to stochastic gradients via minibatch training samples. Here we provide 1) improved rates in the setting of previous works studying SGLD for optimization, 2) the first finite gradient complexity guarantee for SGLD where the function is Lipschitz and the Gibbs measure defined by the function satisfies a Poincaré Inequality, and 3) prove if continuous-time Langevin Dynamics succeeds for optimization, then discrete-time SGLD succeeds under mild regularity assumptions.

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

↑