多項式系の吸引領域を保証する二次化を最適化
Optimizing Lyapunov Certificates via Stability-Preserving Quadratization for Polynomial Systems
この論文をやさしく読む
ひとことで言うと
非線形系が安定点へ戻る範囲を数学的に保証する計算で、補助変数による二次化の設計を調整し、保証範囲を広げます。
何に役立つ？
多項式で表された力学系について、計算負荷を抑えつつ吸引領域を評価する道具になります。浮動小数点残差を保証に織り込む点は数値計算の信頼性に関係します。
この研究の面白いところ
従来は先に固定していたゲインも最適化し、表現の自由度と組み合わせています。内部の半正定値最適化と外部のゲイン探索では保証の強さが異なります。
どこまで分かった？
ゲイン探索の大域的最適性は主張されていません。2.238倍は平面5次系での比較であり、すべての系の改善率ではありません。より広い直接SOS法との比較結果は混在しています。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
多項式系の吸引領域（ROA）の保証は、状態次元と次数が増すにつれて高コストになる。直接的な平方和（SOS）定式化では、単項式基底が組合せ的に増えるためである。二次化は、多項式ベクトル場を二次系の不変多様体上に厳密に表し、二次リアプノフ関数によるROAの保証を可能にする。リフトを固定した場合、安定化ゲインは多様体外への拡張と横方向の動力学を形作り、表現ゲージはベクトル場を変えずに行列表現を変える。両者はスペクトルノルムによる保証に影響するが、従来研究はゲージの最適化前に、実行可能性に基づくヒューリスティックでゲインを固定している。 本研究では最適散逸二次化（ODQ）を定式化し、単項式リフト、基準拡張、安定化項の因数分解、リアプノフ重みQ=Iを固定したうえで、ゲインとゲージを同時に設計する。ゲインは指定されたコンパクトなHurwitzボックス内に制限する。各ゲインでは、厳密な半正定値計画によって、ゲージに関するスペクトルノルムの上界を大域的に最小化する。残差を考慮した評価は、浮動小数点計算によるリアプノフ残差を含めた、保証付きの閉じたリアプノフ劣位集合を与える。明示した仮定の下で、理想化した外側探索のすべての集積点はボックス制約付きClarke停留点となる。有限回の実行では、独立に検証された最良候補を返す。ゲイン探索の大域的最適性は主張しない。 平面上の5次系では、ゲインの最適化によって、対応するゼロゲインのゲージの場合より保証面積が2.238倍になった。安定化項に自由度を持つ異種の多項式系16例では、ODQはゲイン固定の2つのリフト基準手法をともに改善した。リレーベンチマークにおけるODQの全36回の実行が完了し、完全に対応付けられた9ケースでの27回すべての反復比較では、固定方向の代理指標と構成時間の両方で、固定二次リアプノフ関数を使うSOS基準手法よりODQが優れた。一方、直接SOS法とのより広い比較では、優劣は一様ではない。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Region-of-attraction (ROA) certificates for polynomial systems become expensive as state dimension and degree grow: direct sum-of-squares (SOS) formulations require combinatorially growing monomial bases. Quadratization represents a polynomial vector field exactly on an invariant manifold of a quadratic system, allowing a quadratic Lyapunov function to certify the ROA. For a fixed lift, stabilizer gains shape the off-manifold extension and transverse dynamics, while representation gauges change the matrix representation but not the vector field. Both affect the spectral-norm certificate, yet prior work fixes the gain by a feasibility heuristic before optimizing the gauge. We formulate optimal dissipative quadratization (ODQ), jointly designing gains and gauges for a fixed monomial lift, reference extension, stabilizer factorization, and Lyapunov weight $Q=I$. Gains lie in a prescribed compact Hurwitz box. At each gain, an exact semidefinite program globally minimizes the spectral-norm bound over the gauge. Residual-aware bounds yield a certified closed Lyapunov sublevel set, accounting for the floating-point Lyapunov residual. Under our stated assumptions, every accumulation point of the idealized outer search is box-Clarke stationary. A finite run returns the best independently verified candidate; global optimality of the gain search is not claimed. On a planar quintic, optimizing the gain increases the certified area by a factor of $2.238$ over a matched zero-gain gauge. Across 16 heterogeneous polynomial systems with stabilizer freedom, ODQ improves on both fixed-gain lifted baselines. All 36 ODQ runs on the relay benchmark complete, and all 27 repeat-level comparisons across nine fully paired cases favor ODQ over an SOS baseline with a fixed quadratic Lyapunov function in both the fixed-direction proxy and construction time. Broader comparisons with direct SOS methods remain mixed.
著者のコメント
43 pages, 4 figures, 7 tables; includes appendices
arXiv ID: 2609.18871 ／ 要約の誤りについて