[論文レビュー] Numerically validating the completeness of the real solution set of a system of polynomial equations

Daniel A. Brake, Jonathan D. Hauenstein+1 more|arXiv (Cornell University)|Feb 1, 2016

Polynomial and algebraic computation参考文献 38被引用数 7

ひとこと要約

本稿では、数値代数幾何と平方和プログラミングを組み合わせた数値的手法を提示し、多項式方程式系の数値的に求められた実解集合が完全であるかどうかを検証する方法を提案する。解集合のザリスキ閉包がイデアルの実根の基底に一致するかをテストすることで、半正定値プログラミングを用いて完全性を証明する。この手法は、有限解および無限解を含む系、不等式を含む系に対しても完全性の検証に成功し、有効である。

ABSTRACT

Computing the real solutions to a system of polynomial equations is a challenging problem, particularly verifying that all solutions have been computed. We describe an approach that combines numerical algebraic geometry and sums of squares programming to test whether a given set is "complete" with respect to the real solution set. Specifically, we test whether the Zariski closure of that given set is indeed equal to the solution set of the real radical of the ideal generated by the given polynomials. Examples with finitely and infinitely many real solutions are provided, along with an example having polynomial inequalities.

研究の動機と目的

• 多項式方程式系のすべての実解が計算されたかどうかを検証する課題に取り組むこと、特に解が無限個ある場合や不等式を含む場合に有効であるようにすること。
• 数値ソルバーのグローバルな停止基準を確立し、解集合の完全性を確認すること。
• 数値計算と代数幾何学、最適化技術を統合した証明手法を提供すること。
• 実代数的集合の完全な実解集合が得られるように保証することで、信頼性の高い分解を可能にすること。

提案手法

• まず、実解集合のザリスキ閉包の部分集合である数値近似解集合 $ S $ を計算する。
• 次に、$ S $ における多項式補間を用いて、実根の基底イデアルの候補生成元を生成する。
• 各候補生成元に対して、半正定値プログラミングを用いて平方和（SOS）プログラミングを適用し、実根に属するかを検証する。
• 各多項式について独立に検証を行うため、並列処理が可能で、数値的安定性も向上する。
• すべての $ S $ 上で消える多項式が実根に属するならば、$ S $ は実解集合においてザリスキ・DNAであるという事実を活用する。
• 正次元成分に対しても、数値的ホモトピー続行法および勾配降下ホモトピー法を用いて実解をサンプリングする。

実験結果

リサーチクエスチョン

• RQ1 多項式系の数値的に計算された実解集合が完全である、すなわち実解が欠落していないことを証明することは可能か？
• RQ2 平方和プログラミングを用いて、多項式の集合がイデアルの実根の基底を生成しているかを検証する方法は何か？
• RQ3 ザリスキ閉包が実解集合の完全性を証明する際に果たす役割は何か？
• RQ4 この手法は、実解が無限個ある系や多項式不等式を含む系に対しても対応可能か？
• RQ5 数値的手法と代数幾何学をどのように組み合わせることで、解の完全性に関するグローバルに有効な証明を得られるか？

主な発見

• 6変数で12個の実解を持つ系について、計算された解集合のザリスキ閉包が実根に一致することを検証し、解集合の完全性が正当化された。
• シーラー系（実点を持つ1次元曲線）について、複素曲線上に滑らかな実点が存在することを確認することで、イデアルが自らの実根に等しいことを検証した。
• $3\times3$ の $\phi^4$ エネルギー・レイアウトにおいて、実臨界点が3つしかないことが証明され、正確な解集合と一致した。
• 多項式不等式を含む系について、検証フレームワークを半代数的集合へ拡張することで、完全性の確認が達成された。
• 実根のすべての候補生成元が、$\alpha \leq 2$ の条件下でSOSプログラミングにより検証され、手法の数値的信頼性が裏付けられた。
• 多項式の並列検証が可能であり、記号的体拡張の必要がなくなるため、効率性とスケーラビリティが向上した。