不依赖投影的优化新方法,收敛速度媲美梯度下降。
Local LMO: Constrained Gradient Optimization via a Local Linear Minimization Oracle

- 用局部线性优化替代全局优化,避免投影计算。
- 无需约束集有界或曲率假设,仍可保证线性收敛。
- 适合希望避免投影且追求稳定收敛的优化研究者。
我们提出 Local LMO——一种无投影的梯度型约束优化方法。其核心思想是将 Frank-Wolfe 算法中对整个可行集的全局线性最小化,替换为在当前迭代点附近小球与可行集交集上的局部线性最小化。具体地,在求解 $f:(\mathbb{R}^d\to \mathbb{R}$ 于约束集 $\mathcal{X}\subseteq\mathbb{R}^d$ 时,迭代形式为 $x_{k+1}\in \arg\min_{z\in\mathcal{X}\cap\mathcal{B}(x_{k},t_k)}\langle\nabla f(x_{k}), z \rangle$,其中 $t_k>0$ 为自适应半径。该方法虽以 FW 为参照,实则更接近梯度下降的推广:在无约束或仿射约束下,退化为标准梯度下降。我们证明此框架可将投影梯度下降(PGD)的已知收敛速率移植到无投影场景,在多个重要情形中甚至超越 FW。相比传统 FW 理论,本方法无需可行集有界,无需“曲率”假设,即可在凸函数梯度有界时获得标准亚线性率,并在光滑强凸情形实现线性收敛;同时在光滑凸、非凸、$(L_0,L_1)$-光滑凸、随机及不可微设置下均得到紧致亚线性率。
原文摘要 · Abstract (English)
We design Local LMO - a new projection-free gradient-type method for constrained optimization. The key algorithmic idea is to replace the global linear minimization oracle over the constraint set used by Frank-Wolfe (FW) with a local linear minimization oracle over the intersection of the constraint set and a "small" ball centered at the current iterate. In particular, when minimizing $f:\mathbb{R}^d\to \mathbb{R}$ over a constraint $\emptyset\neq\mathcal{X}\subseteq\mathbb{R}^d$, Local LMO performs the iteration \[x_{k+1}\in \arg\min_{z\in\mathcal{X}\cap\mathcal{B}(x_{k},t_k)}\langle\nabla f(x_{k}), z \rangle,\] where $x_0\in\mathcal{X}$, and $t_k>0$ is a suitably chosen radius which can be interpreted as an effective stepsize. While designed as an alternative to FW, Local LMO is perhaps best viewed as a generalization of Gradient Descent (GD) rather than a modification of FW. Indeed, it is easy to see that Local LMO reduces to GD in the unconstrained setting and, more generally, to GD restricted to an affine subspace if the constraint $\mathcal{X}$ is affine. We prove that this simple algorithmic scheme transfers the known (unaccelerated) convergence rates of Projected Gradient Descent (PGD) to the projection-free world in several important regimes, some of which are beyond the reach of FW. In contrast to FW theory, i) our guarantees hold without requiring the feasible set $\mathcal{X}$ to be bounded, ii) our theory does not require the "curvature" assumption, which allows us to establish a standard sublinear rate for convex functions with bounded gradients, iii) we obtain a linear rate in the smooth strongly convex regime. Furthermore, we obtain sharp sublinear rates in the smooth convex and non-convex regimes, in the $(L_0,L_1)$-smooth convex regime, and in stochastic and non-differentiable settings.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。