[論文レビュー] Decomposition of polynomial sets into characteristic pairs

Dongming Wang, Rina Dong+1 more|arXiv (Cornell University)|Feb 28, 2017

Polynomial and algebraic computation参考文献 32被引用数 3

ひとこと要約

本稿では、任意の有限多項式集合を、有限個の特徴的対に分解するアルゴリズムを提案する。各特徴的対は、簡約された辞書式グレブナー基底と最小の正規三角的集合から構成され、代数的多様体の正確なゼロ分解を可能にする。この手法は、リット特徴的集合と辞書式グレブナー基底の構造的関係を利用しており、項順序変換を用いてグレブナー基底を計算し、三角的集合は副産物として得られる。これにより、解集合の明確な構造と計算に有用な表現が得られる。

ABSTRACT

A characteristic pair is a pair (G,C) of polynomial sets in which G is a reduced lexicographic Groebner basis, C is the minimal triangular set contained in G, and C is normal. In this paper, we show that any finite polynomial set P can be decomposed algorithmically into finitely many characteristic pairs with associated zero relations, which provide representations for the zero set of P in terms of those of Groebner bases and those of triangular sets. The algorithm we propose for the decomposition makes use of the inherent connection between Ritt characteristic sets and lexicographic Groebner bases and is based essentially on the structural properties and the computation of lexicographic Groebner bases. Several nice properties about the decomposition and the resulting characteristic pairs, in particular relationships between the Groebner basis and the triangular set in each pair, are established. Examples are given to illustrate the algorithm and some of the properties.

研究の動機と目的

• 任意の多項式集合を、そのゼロ集合の構造的表現に分解するためのアルゴリズム的手法を開発すること。
• リット特徴的集合と辞書式グレブナー基底の間の明確な形式的関係を確立し、分解を改善すること。
• グレブナー基底と正規三角的集合の組である特徴的対を生成し、代数的多様体の正確かつ効率的な表現を可能にすること。
• 得られる分解が有限であり、計算的に実行可能で、良好な代数的性質を持つことを保証すること。
• グレブナー基底法と三角的集合法を統合した統一的な枠組みを提供し、多項式連立方程式の解法を可能にすること。

提案手法

• 零次元の場合にはFGLMアルゴリズムを用いた項順序変換により簡約された辞書式グレブナー基底を計算する。正次元の場合にはグレブナー・ウォークを用いる。
• リット特徴的集合と辞書式グレブナー基底の内在的な構造的関係を活用し、最小の正規三角的集合を副産物として抽出する。
• 各三角的集合が正規であることを保証する。つまり、集合内の任意の多項式の先行係数に、その変数の最大変数が現れないようにする。
• ゼロ集合の和集合としてゼロ分解を達成する。これは、グレブナー基底のゼロ集合と、各三角的集合の初期係数に関するゼロ集合の和集合として表される。
• アルゴリズムは、グレブナー基底計算にFGbライブラリを、項順序変換と分解にMapleを用いて実装されている。
• 正規化は必要に応じてのみ実行され、既存の分解ツール（例：normat関数）を活用することで効率が向上している。

実験結果

リサーチクエスチョン

• RQ1 任意の有限多項式集合は、簡約された辞書式グレブナー基底と最小の正規三角的集合を組み合わせた有限個の特徴的対に分解可能か？
• RQ2 分解に利用可能な、リット特徴的集合と辞書式グレブナー基底の間の構造的関係は何か？
• RQ3 特にグレブナー基底変換と三角的集合抽出の観点から、特徴的対の計算をどのように効率化できるか？
• RQ4 標準的な三角的またはグレブナー分解と比較して、特徴的対の理論的および計算的利点は何か？
• RQ5 得られる特徴的対は、根理想構造をどの程度正確に保持し、正確なゼロ分解を可能にするか？

主な発見

• アルゴリズムは、任意の有限多項式集合を、グレブナー基底と正規三角的集合によるゼロ集合の表現を提供する有限個の特徴的対に成功して分解した。
• 辞書式グレブナー基底の計算が最も時間のかかるステップであり、例や次元に応じて0.047秒から436.7秒の範囲で変動した。
• 零次元系（例：Cyclic6, fabrice24）では4分未満で処理が完了したが、高次元または複雑な系（例：Wang16, filter9）では4000秒以上を要するか、カーネルのクラッシュを引き起こした。
• Mapleに実装されたグレブナー・ウォークが主要なボトルネックであり、全体の計算を著しく遅くしている。
• 得られる特徴的対は正確なゼロ分解を実現する：Z(P) = Z(G₁) ∪ … ∪ Z(Gₜ) = Z(C₁/inᵢ(C₁)) ∪ … ∪ Z(Cₜ/inᵢ(Cₜ)) であり、根理想構造を保持している。
• 正規三角的集合はグレブナー基底計算の副産物として得られ、別個の正規化ステップの必要性が低減された。