[論文レビュー] Combinatorics and preservation of conically stable polynomials

Giulia Codenotti, Stephan Gardoll+1 more|arXiv (Cornell University)|Jun 22, 2022

Advanced Optimization Algorithms Research被引用数 1

ひとこと要約

本稿は、正定値（psd）安定性に焦点を当て、多変数多項式の古典的安定性理論を錐安定性へ一般化する。錐の類似作用素、特に一般化された逆作用素を導入し、正定値安定多項式のサポートに関する組合せ的基準を確立する。主な貢献は、一般化された逆作用素および正定値行列に関する初期形に対して正定値安定性が保存されることの証明である。

ABSTRACT

Given a closed, convex cone K⊆Rn, a multivariate polynomial f∈C[z] is called K-stable if the imaginary parts of its roots are not contained in the relative interior of K. If K is the nonnegative orthant, K-stability specializes to the usual notion of stability of polynomials. We develop generalizations of preservation operations and of combinatorial criteria from usual stability toward conic stability. A particular focus is on the cone of positive semidefinite matrices (psd-stability). In particular, we prove the preservation of psd-stability under a natural generalization of the inversion operator. Moreover, we give conditions on the support of psd-stable polynomials and characterize the support of special families of psd-stable polynomials.

研究の動機と目的

• 通常の安定性から錐安定多項式へ、保存作用素および組合せ的基準を拡張すること。特に正定値錐に対して。
• 非多面体的錐（例：正定値錐）を用いた、古典的安定性から錐安定性への移行を調査すること。
• 正定値安定多項式のサポートに関する必要十分条件を確立すること。特に二項式および行列式多項式を含む。
• 転置、二重、線形ステップによる単項式サポートの連結性に関する予想を提示し、根拠を提供すること。

提案手法

• Lieb-Sokal補題を錐安定性へ一般化し、特定の微分作用素の下で保存性が成り立つ錐版を確立する。
• 正定値安定性に特化した一般化された逆作用素を導入し、行列論的および代数的技法を用いてその保存性を証明する。
• 正定値行列に関する初期形を用いて、正定値安定多項式の退化挙動を研究する。
• ジャンプシステム理論およびトロピカル幾何学を用いて、特に正定値安定の場合の多項式のサポートを分析する。
• 組合せ的および代数的制約を用いて、特別なクラスの正定値安定多項式のサポートを同定する。
• 転置、二重、線形ステップによる単項式連結性に関する予想を提示し、二項式、非混合多項式、行列式多項式のケース解析によって検証する。

実験結果

リサーチクエスチョン

• RQ1 インバージョンや偏微分などの古典的保存作用素は、どのように錐安定多項式へ一般化できるか？
• RQ2 正定値安定多項式のサポートが一般化ジャンプシステム性を満たすために必要な条件は何か？
• RQ3 二項式や行列式多項式などの特定の多項式クラスは、正定値安定性の完全な特徴付けを可能にするか？
• RQ4 転置ステップによって示唆されるように、すべての正定値安定多項式の背後には、一様な組合せ的構造（例：連結な単項式グラフ）が存在するか？

主な発見

• 本稿は、正定値錐に特化した自然なインバージョン作用素の一般化が正定値安定性を保存することを証明した。これは正定値錐に特有の結果であり、任意の錐へは一般化できない。
• 正定値行列に関する初期形をとる操作に対しても正定値安定多項式が保存されることを確立した。これは、既知の保存結果を錐安定性へ拡張した。
• 任意の正定値安定多項式のサポートは、指数ベクトルの構造および格子内での相対的位置に関する必要条件を満たす必要がある。
• すべての正定値安定二項式は、$ c_\alpha z_{ii}z_{jj} + c_\beta z_{ij}^2 $（$ i \neq j $）の形に限定され、このような二項式は単一の転置ステップにより予想された単項式連結性を満たす。
• 次数が2以下の斉次非混合正定値安定多項式では、サポートが一般化ジャンプシステム性を満たし、二重および転置ステップにより単項式が接続可能である。
• 行列式型の正定値安定多項式では、各行列式ブロック内での転置列の連結により、単項式の完全なサポート連結性が保証され、対角単項式へ到達可能である。