arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2012.05782cs.LGmath.OC
收藏

一阶优化条件数研究

A Study of Condition Numbers for First-Order Optimization

Mila(米拉研究所);Université de Montréal(蒙特利尔大学);Concordia University(康考迪亚大学)

Charles Guille-Escuret, Baptiste Goujaud, Manuela Girotti, Ioannis Mitliagkas

AI总结:

本研究提出*-范数扰动框架,证明光滑性与强凸性对扰动不连续,导致保守调整;引入连续替代度量并给出梯度下降的保证收敛率,提升一阶优化鲁棒性。

摘要:

一阶优化算法(FOA)的研究通常始于对目标函数的假设,最常见的是光滑性和强凸性。这些度量用于调整FOA的超参数。我们引入了一类通过新范数(称为*-范数)量化的扰动。我们证明,对目标函数添加小扰动对任何FOA的行为影响同样小,这表明扰动对算法调整的影响应较小。然而,我们证明光滑性和强凸性可能受到任意小扰动的严重影响,导致过度保守的调整和收敛问题。鉴于这些观察,我们提出了度量连续性的概念,这对于稳健的调整策略至关重要。由于光滑性和强凸性不连续,我们提出了对现有替代度量的全面研究,并证明这些度量是连续的。我们描述了它们之间的相互关系,并提供了据此调整的梯度下降算法的保证收敛速率。最后,我们讨论了我们的工作如何影响FOA的理论理解及其性能。

英文摘要:

The study of first-order optimization algorithms (FOA) typically starts with assumptions on the objective functions, most commonly smoothness and strong convexity. These metrics are used to tune the hyperparameters of FOA. We introduce a class of perturbations quantified via a new norm, called *-norm. We show that adding a small perturbation to the objective function has an equivalently small impact on the behavior of any FOA, which suggests that it should have a minor impact on the tuning of the algorithm. However, we show that smoothness and strong convexity can be heavily impacted by arbitrarily small perturbations, leading to excessively conservative tunings and convergence issues. In view of these observations, we propose a notion of continuity of the metrics, which is essential for a robust tuning strategy. Since smoothness and strong convexity are not continuous, we propose a comprehensive study of existing alternative metrics which we prove to be continuous. We describe their mutual relations and provide their guaranteed convergence rates for the Gradient Descent algorithm accordingly tuned. Finally we discuss how our work impacts the theoretical understanding of FOA and their performances.

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

↑