[論文レビュー] On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases

Dongming Wang|arXiv (Cornell University)|Jun 30, 2015

Polynomial and algebraic computation参考文献 6被引用数 5

ひとこと要約

本稿では、多項式イデアルの簡約された辞書的順序グレブナー基底における最小の三角的集合として定義されるW特徴的集合を導入することで、リットの特徴的集合とブーデルガーのグレブナー基底の間の強い結びつきを確立する。W特徴的集合が上昇的である場合、それはリット特徴的集合であると証明され、正則な場合には擬除法を用いてリット特徴的集合を生成可能である。さらに、不規則な場合においても、擬除法的関係を通じて構造的洞察が得られ、正規三角的集合へのアルゴリズム的分解が可能となる。

ABSTRACT

For any polynomial ideal $I$, let the minimal triangular set contained in the reduced Buchberger-Gröbner basis of $I$ with respect to the purely lexicographical term order be called the W-characteristic set of $I$. In this paper, we establish a strong connection between Ritt's characteristic sets and Buchberger's Gröbner bases of polynomial ideals by showing that the W-characteristic set $C$ of $I$ is a Ritt characteristic set of $I$ whenever $C$ is an ascending set, and a Ritt characteristic set of $I$ can always be computed from $C$ with simple pseudo-division when $C$ is regular. We also prove that under certain variable ordering, either the W-characteristic set of $I$ is normal, or irregularity occurs for the $j$th, but not the $(j+1)$th, elimination ideal of $I$ for some $j$. In the latter case, we provide explicit pseudo-divisibility relations, which lead to nontrivial factorizations of certain polynomials in the Buchberger-Gröbner basis and thus reveal the structure of such polynomials. The pseudo-divisibility relations may be used to devise an algorithm to decompose arbitrary polynomial sets into normal triangular sets based on Buchberger-Gröbner bases computation.

研究の動機と目的

• 多項式イデアルについて、リットの特徴的集合とブーデルガーのグレブナー基底の間の正式な関係を確立すること。
• W特徴的集合を、簡約された辞書的順序グレブナー基底内の最小の三角的集合として定義・分析すること。
• W特徴的集合が上昇的または正則である場合、それがリット特徴的集合であることを示すこと。
• 消去イデアルの不規則な場合における擬除法的関係の構造的役割を明らかにすること。
• グレブナー基底計算を用いて、任意の多項式集合を正規三角的集合にアルゴリズム的に分解可能にするための手法を提供すること。

提案手法

• 純粋な辞書的項順序における簡約されたブーデルガー・グレブナー基底内での最小の三角的集合としてW特徴的集合を定義する。
• W特徴的集合が正則である場合、擬除法を用いてリット特徴的集合を計算する。
• 変数順序の下での消去イデアルを分析し、j番目のレベルでは不規則だが(j+1)番目のレベルでは不規則でない状況を特定する。
• ブーデルガー・グレブナー基底から明示的な擬除法的関係を導出し、多項式の非自明な因子分解を明らかにする。
• B-簡約多項式に基づく分割プロセスを構築し、グレブナー基底を有限個の正規三角的集合に分解する。
• 強正則グレブナー基底の精錬により、各結果として得られるW特徴的集合が正規であり、sat(𝐶𝑖) = ⟨𝐺𝑖⟩を満たすように保証する。

実験結果

リサーチクエスチョン

• RQ1 多項式イデアルのW特徴的集合がリット特徴的集合であるのはどのような条件下か？
• RQ2 擬除法を用いて、ブーデルガー・グレブナー基底からリット特徴的集合をどのように計算できるか？
• RQ3 W特徴的集合が不規則である場合、ブーデルガー・グレブナー基底にどのような構造的情報が含まれているか？
• RQ4 不規則な場合における擬除法的関係は、基底多項式の非自明な因子分解を引き起こす可能性があるか？
• RQ5 ブーデルガー・グレブナー基底計算を用いて、任意の多項式集合をアルゴリズム的に正規三角的集合に分解することは可能か？

主な発見

• W特徴的集合が上昇的集合である限り、それはリット特徴的集合である。
• W特徴的集合が正則である場合、単純な擬除法を用いて、イデアルのリット特徴的集合を常に計算可能である。
• 特定の変数順序の下では、j番目の消去イデアルで不規則だが(j+1)番目のレベルでは不規則でない状況が生じ、これは明示的な擬除法的関係によって特徴づけられる。
• これらの擬除法的関係は、ブーデルガー・グレブナー基底に含まれる特定の多項式の非自明な因子分解を明らかにし、それらの内部構造を明らかにする。
• B-簡約多項式に基づく分割プロセスは、上昇的鎖条件のおかげで有限回で終了し、有限個の正規三角的集合を生成する。
• 結果として得られるW特徴的集合は、sat(𝐶𝑖) = ⟨𝐺𝑖⟩を満たしており、分解の正しさと完全性が保証される。