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

无投影在线指数凹优化

Projection-free Online Exp-concave Optimization

Technion - Israel Institute of Technology(以色列理工学院)

Dan Garber, Ben Kretzu

摘要:

考虑了带\textit{exp-concave}损失的在线凸优化(OCO)的设定问题.已知此设置的最佳遗憾界限是$O(n\log{}T)$,其中$n$是维度,$T$是预测轮数(将所有其他量视为常数并假设$T$足够大),并且可以通过众所周知的在线牛顿步长算法(ONS)获得。然而,ONS要求在每次迭代中计算可行凸集上的投影(根据一些矩阵诱导范数),这在高维设置中以及当可行集允许非平凡结构时通常在计算上是禁止的。在这项工作中,我们考虑无投影在线算法的指数凹和光滑损失,其中无投影我们指的算法,只依赖于可用性的线性优化预言机(LOO)的可行集,这在许多感兴趣的应用程序承认更有效的实现比投影预言机。我们提出了一个基于LOO的ONS风格的算法,它使用整体$O(T)$调用LOO,保证在最坏的情况下遗憾的$\widetilde{O}(n^{2/3}T^{2/3})$(忽略所有的数量,除了$n,T$)。然而,我们的算法是最有趣的一个重要的和合理的低维数据的情况下:如果梯度(近似)跨越一个子空间的尺寸在最$ρ$,$ρ<< n$,遗憾界提高到$\widetilde{O}(ρ^{2/3}T^{2/3})$,并通过应用标准的确定性草图技术,空间和平均额外的每次迭代运行时的要求只有$O(ρn)$(而不是$O(n^2)$)。这改进了最近提出的基于LOO的OCO算法,该算法虽然具有对地平线$T$的相同的最先进的依赖性,但遭受与$\sqrt{n}$或更差的遗憾/预言复杂性。

英文摘要:

We consider the setting of online convex optimization (OCO) with \textit{exp-concave} losses. The best regret bound known for this setting is $O(n\log{}T)$, where $n$ is the dimension and $T$ is the number of prediction rounds (treating all other quantities as constants and assuming $T$ is sufficiently large), and is attainable via the well-known Online Newton Step algorithm (ONS). However, ONS requires on each iteration to compute a projection (according to some matrix-induced norm) onto the feasible convex set, which is often computationally prohibitive in high-dimensional settings and when the feasible set admits a non-trivial structure. In this work we consider projection-free online algorithms for exp-concave and smooth losses, where by projection-free we refer to algorithms that rely only on the availability of a linear optimization oracle (LOO) for the feasible set, which in many applications of interest admits much more efficient implementations than a projection oracle. We present an LOO-based ONS-style algorithm, which using overall $O(T)$ calls to a LOO, guarantees in worst case regret bounded by $\widetilde{O}(n^{2/3}T^{2/3})$ (ignoring all quantities except for $n,T$). However, our algorithm is most interesting in an important and plausible low-dimensional data scenario: if the gradients (approximately) span a subspace of dimension at most $ρ$, $ρ<< n$, the regret bound improves to $\widetilde{O}(ρ^{2/3}T^{2/3})$, and by applying standard deterministic sketching techniques, both the space and average additional per-iteration runtime requirements are only $O(ρn)$ (instead of $O(n^2)$). This improves upon recently proposed LOO-based algorithms for OCO which, while having the same state-of-the-art dependence on the horizon $T$, suffer from regret/oracle complexity that scales with $\sqrt{n}$ or worse.

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

↑