多項式最適化のための次数を制限したSOSとSONCの階層
A Bounded Degree SOS Plus SONC Hierarchy for Polynomial Optimization
この論文をやさしく読む
ひとことで言うと
多項式の最小値を求めるため、二種類の非負性の証明方法を組み合わせた緩和階層を作った。
何に役立つ？
多項式最適化で大域最適値の下界を計算し、既存のSOS緩和より強い評価を得る方法として役立つ。
この研究の面白いところ
収束性と第一段階で厳密になる条件を理論的に示し、数値実験でも既存緩和よりしばしば強い下界を得た。
どこまで分かった？
数値的な改善は『しばしば』であり、すべての問題での優位を示すものではない。要旨に計算時間の具体値はない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
制約付き多項式最適化に向けて、証明書の次数を制限したSOS+SONCの階層B-SOS+SONCを提案する。Lasserreの次数制限付きSOSの枠組みから出発し、証明書の錐をSOSから近年導入されたSOS+SONCへ広げることで、半正定値緩和の代数的な強さと、回路多項式が捉える疎な構造を組み合わせる。各証明書次数を固定したとき、この階層が完全である、すなわち最適値が単調に変化して大域最適値へ収束することを示す。また明示的なSDP-REPへの書き換えを導き、各緩和問題を半正定値錐と相対エントロピー錐による扱いやすい凸最適化の枠組みで解けるようにする。階層自体に加え、SONC錐の構造的性質を調べ、一次および二次のSONC凸性という概念を導入する。これにより、B-SOS+SONC階層の第一段階で厳密解となる新しい十分条件を得る。数値実験では、提案階層が計算可能性を保ちながらB-SOS緩和よりしばしば厳しい下界を与えることを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We propose a bounded degree SOS+SONC hierarchy for constrained polynomial optimization, termed B-SOS+SONC. Starting from Lasserre's bounded-degree SOS framework, we enlarge the certificate cone from SOS to the recently introduced SOS+SONC cone, thereby combining the algebraic strength of semidefinite relaxations with the sparse structure captured by circuit polynomials. We show that, for each fixed certificate degree, the resulting hierarchy is complete, that is, its optimal values are monotone and converge to the global optimum. Moreover, we derive an explicit SDP-REP reformulation, so that each relaxation can be solved within a tractable convex optimization framework over semidefinite and relative entropy cones. Beyond the optimization hierarchy itself, we investigate structural properties of the SONC cone and introduce the notions of first-order and second-order SONC-convexity. This leads to a new sufficient condition for first-level exactness of the B-SOS+SONC hierarchy. Numerical experiments illustrate that the proposed hierarchy often yields tighter lower bounds than the B-SOS relaxation while remaining tractable.
著者のコメント
28 pages, 2 tables
arXiv ID: 2609.25954 ／ 要約の誤りについて