[論文レビュー] Involutive Algorithms for Computing Groebner Bases

Vladimir P. Gerdt|ArXiv.org|Jan 8, 2005

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

ひとこと要約

本論文は、多項式イデアルのグレブナー基底を計算するための最適化された自己反復的アルゴリズムを提示する。この手法は、自己反復的割り算と呼ばれる制限付き単項式割り算を用い、追加の簡約ステップなしに直接に最小グレブナー基底が得られることを保証する。実験的結果により、特にゼロ次元イデアルにおいて、非乗法的延長の数が少なく、効率的なデータ構造を用いることで、 Buchbergerのアルゴリズムや一部のF4/F5変種よりも優れた速度を発揮することが示された。

ABSTRACT

In this paper we describe an efficient involutive algorithm for constructing Groebner bases of polynomial ideals. The algorithm is based on the concept of involutive monomial division which restricts the conventional division in a certain way. In the presented algorithm a reduced Groebner basis is the internally fixed subset of an involutive basis, and having computed the later, the former can be output without any extra computational costs. We also discuss some accounts of experimental superiority of the involutive algorithm over Buchberger's algorithm.

研究の動機と目的

• 自己反復的単項式割り算を用いた、グレブナー基底を効率的に計算するアルゴリズムの開発。
• 自己反復的基底にすでに簡約グレブナー基底が内在しているため、後続の簡約処理の必要性を排除すること。
• 臨界ペairの選択と簡約の最適化により、Buchbergerのアルゴリズムを上回る計算性能を実現すること。
• 特にJanet分割とPommaret分割を比較し、異なる自己反復的分割の計算効率と処理対象となる延長の数を分析すること。
• 自己反復的手法を多項式系の解法や代数幾何学への実用的応用を可能にすること。

提案手法

• 各多項式に対して変数を乗法的集合と非乗法的集合に分割する制限付き単項式割り算（自己反復的割り算）を用いる。
• 非乗法的延長を検査し、割り算の規則に基づいて自己反復的簡約を適用することで、自己反復的完成を実行する。
• モニックで最小の自己反復的基底を維持し、これに簡約グレブナー基底が自然に部分集合として含まれる。
• 自己反復的除数の高速な探索と動的変数分類のため、Janet木などの最適化されたデータ構造を活用する。
• この手法は、線形微分イデアルおよび可解型の非可換代数へも拡張可能である。
• 実装はC/C++を用い、標準ベンチマークにおいてBuchbergerのアルゴリズムおよび現代的なF4/F5手法と比較された。

実験結果

リサーチクエスチョン

• RQ1 自己反復的アルゴリズムは、追加の簡約ステップなしに、直接に簡約グレブナー基底を生成できるか？
• RQ2 自己反復的割り算の選択（例：Janet分割対Pommaret分割）が、計算効率および処理対象となる延長の数に与える影響は何か？
• RQ3 実際の計算において、特にゼロ次元イデアルに対して、自己反復的アルゴリズムはBuchbergerのアルゴリズムを上回る性能を示せるか？
• RQ4 静的と動的に構築された自己反復的割り算の間には、理論的および実用的トレードオフが生じるか？
• RQ5 Faugère型の線形代数的手法は、自己反復的アルゴリズムフレームワークにどの程度統合可能か？

主な発見

• 自己反復的アルゴリズムは、自己反復的基底の内部に簡約グレブナー基底を含むため、追加の簡約ステップが不要である。
• ゼロ次元イデアルにおいて、Pommaret分割の理論的利点にもかかわらず、実行時間では常にJanet分割がPommaret分割を上回る。
• Buchbergerのアルゴリズムよりも非乗法的延長の処理数が少なく、標準ベンチマーク上での性能向上が得られた。
• 実験的結果により、C/C++で実装された自己反復的アルゴリズムは、SingularおよびMagmaの最適化されたBuchbergerベースの実装よりも高速である。
• 計算のオーバーヘッドが低いため、Apel-Hemmeckeの動的分割アプローチに比べ、理論的および実用的に優れている。
• 可解構造を保ったまま、微分および非可換多項式環へも効率的かつ正しく拡張可能である。