非平滑・非凸最適化で決定的手法に必要な指数的計算量
The Exponential Price of Determinism in Nonsmooth Nonconvex Optimization
この論文をやさしく読む
ひとことで言うと
滑らかでなく凸でもない関数を最適化するとき、乱数を使わない一般的な方法では、停留点を探すのに次元に対して指数的な手間が必要になると示す研究です。
何に役立つ？
この種の最適化で、無作為化を使う理論的な理由や、汎用的な決定的手法に期待できる限界を理解するのに役立ちます。
この研究の面白いところ
以前の線形の下界を指数的な下界へ強め、多項式時間で可能かという問いに答えています。単にアルゴリズムの実測を比較するのではなく、情報を問い合わせる回数の下限を扱います。
どこまで分かった？
対象は指定された関数のクラスとGoldstein停留性、およびオラクル計算量の枠組みです。すべての具体的な実務問題で乱数を使う方法が指数的に速いという実測結果ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
非平滑・非凸のLipschitz関数について、(δ,ε)-Goldstein停留点を見つける計算量を研究する。現在、この課題は無作為化された一次アルゴリズムによって次元に依存しないオラクル計算量で解けることが知られている（Zhangら、2020年）。一方、決定的アルゴリズムでは不可能であり、その計算量は次元dに対して少なくとも線形に増加しなければならない（Jordanら、2023年、TianとSo、2024年）。しかし、決定的アルゴリズムでも、dの多項式に収まるオラクル計算量で解けるかどうかは未解決だった。 本研究では、決定的アルゴリズムに対して(1/ε)^{Ω(d)}の次数の下界を証明し、この問いに否定的に答える。これによって既知の下界と上界の間の指数的な隔たりを埋め、Jordanら（2023年）が提起した未解決問題を解決する。さらに、この結果のいくつかの拡張と、より弱い停留性の概念、降下方向の発見、決定的な平滑化への含意を論じる。全体として、非平滑・非凸最適化において無作為化がもたらす指数的な計算上の優位性を確立する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study the complexity of finding $(\delta,\epsilon)$-Goldstein stationary points of nonsmooth nonconvex Lipschitz functions. By now, it is known that randomized first-order algorithms can solve this task with a dimension-free oracle complexity [Zhang et al., 2020], whereas deterministic algorithms cannot, as their complexity must scale at least linearly with the dimension $d$ [Jordan et al., 2023, Tian and So, 2024]. This leaves open whether deterministic algorithms can nevertheless solve the problem with oracle complexity polynomial in $d$. We answer this question negatively by proving a lower bound of order $(1/\epsilon)^{\Omega(d)}$ for deterministic algorithm, closing the exponential gap between the previously known lower and upper bounds and resolving an open problem posed by Jordan et al. [2023]. We further discuss several extensions and implications of this result to weaker stationarity notions, finding a descent direction and deterministic smoothing. Overall, our results establish an exponential computational advantage in nonsmooth nonconvex optimization offered by randomization.
著者のコメント
13 pages
arXiv ID: 2609.23837 ／ 要約の誤りについて