1変数多項式最適化の緩和誤差が減る最適速度を証明する
Convergence rate of the moment-SOS hierarchy for univariate polynomial optimization
この論文をやさしく読む
ひとことで言うと
一変数の多項式最適化を段階的に解くmoment-SOS法が、段数を増やすとどの速さで正解に近づくかを証明します。
何に役立つ？
多項式不等式で指定された有界な実行可能領域について、緩和計算の精度と次数の関係を理解する結果です。
この研究の面白いところ
境界の退化は定数には影響しても、誤差が次数の二乗に反比例する収束指数は変えないと示します。四次の具体例で同じ速さが限界となることも示します。
どこまで分かった？
各固定された一変数問題についてのO(1/r²)評価です。任意の多変数問題への一律の保証ではなく、定数は問題に依存します。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
任意の多項式不等式で記述された実数直線の有界部分集合上の多項式最適化問題（POP）について、モーメント・SOS（二乗和）階層の収束速度を研究する。固定された任意の1変数POPについて、緩和誤差がO(1/r²)で抑えられることを証明する。ここでrは緩和次数である。特に、実行可能集合の多項式による記述に現れる境界の退化は、定数には影響するが、収束の指数には影響しない。 証明では、有限生成の1変数二次加群の構造と、証明書の次数を制御しながら実行可能集合の自然な生成元を近似的に復元するチェビシェフ多項式の構成とを組み合わせる。また、緩和誤差が厳密に1/(2r(r−1))となる初等的な4次の例を与え、二次の収束速度が最適であることを示す。この例を同値に書き換えることで、3次の1変数問題、および最小点で実行可能集合がカスプ特異点を持つ2変数POPとの関係も得られる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study the convergence rate of the moment-SOS (sum-of-squares) hierarchy for polynomial optimization problems (POPs) on a bounded subset of the real line described by arbitrary polynomial inequalities. We prove that, for every fixed univariate POP, the relaxation error is bounded by $O(1/r^2)$, where $r$ is the relaxation order. In particular, boundary degeneracies in the polynomial description of the feasible set affect the constant but not the convergence exponent. The proof combines the structure of finitely generated univariate quadratic modules with a Chebyshev polynomial construction that approximately recovers the natural generators of the feasible set while controlling the degree of the certificate. We also give an elementary degree-four example for which the relaxation error is exactly $1/(2r(r-1))$, showing that the quadratic rate is optimal. Equivalent reformulations connect this example to a cubic univariate problem and to a bivariate POP whose feasible set has a cusp singularity at the minimizer.
arXiv ID: 2609.20544 ／ 要約の誤りについて