[論文レビュー] An Algorithm for Computing a Minimal Comprehensive Gröbner\, Basis of a Parametric Polynomial System

Deepak Kapur, Yiming Yan|arXiv (Cornell University)|Mar 17, 2020

Polynomial and algebraic computation被引用数 6

ひとこと要約

本稿では、与えられた忠実な包括的グレブナー基底（CGB）から不必要とされる多項式を特定・削除することで、最小包括的グレブナー基底（MCGB）を計算するアルゴリズムを提示する。この手法は、関連する包括的グレブナー系（CGS）を用いたカバレッジチェックにより本質的であるかを判定し、結果として得られるMCGBが最小かつ忠実であることを保証する。実験的結果では、入力CGBに比べて最大100％のサイズ削減が達成された。

ABSTRACT

An algorithm to generate a minimal comprehensive Gröbner\, basis of a parametric polynomial system from an arbitrary faithful comprehensive Gröbner\, system is presented. A basis of a parametric polynomial ideal is a comprehensive Gröbner\, basis if and only if for every specialization of parameters in a given field, the specialization of the basis is a Gröbner\, basis of the associated specialized polynomial ideal. The key idea used in ensuring minimality is that of a polynomial being essential with respect to a comprehensive Gröbner\, basis. The essentiality check is performed by determining whether a polynomial can be covered for various specializations by other polynomials in the associated branches in a comprehensive Gröbner\, system. The algorithm has been implemented and successfully tried on many examples from the literature.

研究の動機と目的

• パラメトリック多項式系に対する最小包括的グレブナー基底（MCGB）を定義し、正規CGBへの一歩を踏み出すこと。
• 既存のCGBに見られる一意性と最小性の欠如、ならびに余分または不必要とされる多項式を含む問題を解決すること。
• 忠実性と最小性を保ちつつ、CGBから不必要とされる多項式を除去するアルゴリズムを開発すること。
• MCGBが入力CGBに比べて顕著に小さくなることを実証し、パラメトリックイデアル計算の効率性を向上させること。
• 計算されたMCGBから、より単純かつコンパクトな包括的グレブナー系（CGS）を再構築可能にする仕組みを提供すること。

提案手法

• アルゴリズムは、すべての多項式が元のイデアルに属する忠実な包括的グレブナー基底（CGB）を入力とし、すべての多項式が元のイデアルに属することを保証する。
• 多項式が、関連する包括的グレブナー系（CGS）の他のブランチからの多項式によってカバーできない場合、本質的であると定義する。
• 本質的性は、すべてのパラメータの特殊化に対して、その多項式の特殊化が他のCGB内多項式の特殊化によって還元可能でないかを確認することで検証する。
• 本質的とされる多項式のみが保持され、最小CGB（MCGB）が形成される。
• 2段階目の簡略化ステップにより、部分集合としての最小性を満たさないMCGBも可能となり、本質的多項式同士を用いて他の本質的多項式を簡約する。
• アルゴリズムは文献例を用いて実装・検証され、CGBサイズが100％削減された事例も含まれる。

実験結果

リサーチクエスチョン

• RQ1 任意の忠実な包括的グレブナー基底から最小包括的グレブナー基底を計算可能か？
• RQ2 すべてのパラメータ特殊化において、CGB内の多項式が本質的であるかどうかを判定する基準は何か？
• RQ3 CGBのサイズを著しく削減しても、特殊化時にグレブナー基底を生成する能力を失わずに行えるか？
• RQ4 最小CGBから、より単純な包括的グレブナー系（CGS）を再構築可能か？
• RQ5 提案されたMCGBアルゴリズムは、最小かつ忠実な基底を生成するか。さらに、正規CGB定義の可能性を秘めているか？

主な発見

• MCGBMainアルゴリズムは不必要とされる多項式を効果的に除去し、テスト例では入力CGBのサイズを最大100％まで削減した。
• 理想 ⟨uy+x, vz+x+1⟩ の例では、アルゴリズムは {f, g, h} を最小CGBとして計算し、不必要とされる −h を除外した。
• 理想 ⟨uz+x, (u+1)y−x⟩ の例では、MCGBが {f, g} に簡約され、元のCGBサイズが33％削減され、再構築時のCGSもより単純になった。
• MCGBに含まれるすべての多項式が忠実であることが保証され、特殊化下でも正しさが維持される。
• MCGBから再構築されたCGSは、通常、元のCGSよりもコンパクトであることが示され、構造的単純性の向上が裏付けられた。
• 本手法は多様な例に対して有効であり、多くの既存CGBに余分または不必要とされる多項式が含まれており、それらを除去可能であることが明らかになった。