Skip to main content
QUICK REVIEW

[论文解读] Dimension-free convergence rates for gradient Langevin dynamics in RKHS

Boris Muzellec, Kanji Sato|arXiv (Cornell University)|Feb 29, 2020
Markov Chains and Monte Carlo Methods参考文献 64被引用 5
一句话总结

本文在再生核希尔伯特空间(RKHS)中建立了梯度朗之万动力学(GLD)和随机GLD(SGLD)的无维收敛速率,利用谱伽辽金半隐式格式和相关马尔可夫链的几何遍历性。关键贡献在于推导出一个非渐近误差界,该界在时间跨度上一致且与底层维度无关,显式依赖于逆温度β和正则化参数。

ABSTRACT

Gradient Langevin dynamics (GLD) and stochastic GLD (SGLD) have attracted considerable attention lately, as a way to provide convergence guarantees in a non-convex setting. However, the known rates grow exponentially with the dimension of the space. In this work, we provide a convergence analysis of GLD and SGLD when the optimization space is an infinite dimensional Hilbert space. More precisely, we derive non-asymptotic, dimension-free convergence rates for GLD/SGLD when performing regularized non-convex optimization in a reproducing kernel Hilbert space. Amongst others, the convergence analysis relies on the properties of a stochastic differential equation, its discrete time Galerkin approximation and the geometric ergodicity of the associated Markov chains.

研究动机与目标

  • 解决现有GLD/SGLD收敛速率在有限维设置下随维度指数增长的局限性。
  • 将收敛性分析扩展至再生核希尔伯特空间(RKHS)中的无限维优化问题。
  • 在RKHS上非凸、正则化优化问题中,推导GLD与SGLD的非渐近、无维收敛界。
  • 在无限维空间中建立时间离散化动力学的几何遍历性。
  • 在无限维设置下,界定不变测度下期望目标值与全局最小值之间的距离。

提出的方法

  • 采用谱伽辽金方法对无限维RKHS中的连续时间朗之万SDE进行离散化。
  • 利用SPDE理论结果(Bréhier, 2014;Bréhier和Kopec, 2016)分析离散时间伽辽金格式的弱逼近误差。
  • 通过李雅普诺夫函数技术和核算子的谱性质,证明时间离散化马尔可夫链的几何遍历性。
  • 利用SDE的不变测度与吉布斯分布之间的联系,建立采样与优化之间的关联。
  • 通过条件KL散度分解,建立SGLD与GLD过程之间的Wasserstein距离与KL散度界。
  • 利用梯度与随机梯度的有界性与Lipschitz条件,控制SGLD与GLD轨迹之间的差异。

实验结果

研究问题

  • RQ1在非凸优化中,GLD/SGLD是否能在无限维RKHS中实现无维收敛速率?
  • RQ2当目标函数正则化且非凸时,RKHS中GLD/SGLD的非渐近收敛速率是什么?
  • RQ3在无限维空间中,时间离散化动力学的几何遍历性如何影响收敛性?
  • RQ4收敛速率对逆温度β和核谱的依赖关系如何?
  • RQ5在无限维空间中,SGLD与GLD之间的差异如何通过KL散度与Wasserstein距离进行界定?

主要发现

  • 本文推导出RKHS中GLD/SGLD的非渐近误差界,该界在时间跨度上一致且与维度无关。
  • 收敛速率是无维的,显式依赖于β和核算子的谱衰减特性。
  • 证明了时间离散化动力学的几何遍历性,这在无限维设置中是非平凡的。
  • 在无限维设置下,不变测度下期望目标值与全局最小值之间的距离为O(1/β)。
  • 通过KL散度,SGLD与GLD之间的差异被界定为O(βηk(ntr−nb)/(nb(ntr−1))),在适当选择步长与小批量大小时该值较小。
  • 分析表明,收敛速率在谱正则化下保持稳定,核的特征值取代了有限维界中维度的角色。

更好的研究,从现在开始

从阅读论文到最终审阅,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。