[論文レビュー] A Generalized Criterion for Signature Related Gröbner Basis Algorithms

Yao Sun, Dingkang Wang|arXiv (Cornell University)|Jan 18, 2011

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

ひとこと要約

本稿では、F5 や GVW における既存の基準を一般化する署名に基づくグレブナー基底アルゴリズムのための一般化された基準を導入し、多項式上の一般部分順序を用いて統一する。主な貢献は、同型系や特定の臨界対の順序付けを仮定せず、任意の許容可能な部分順序に対して成り立つ正当性の証明である。これにより、新しい基準の体系的かつ検証可能な開発が可能となる。

ABSTRACT

A generalized criterion for signature related algorithms to compute Gröbner basis is proposed in this paper. Signature related algorithms are a popular kind of algorithms for computing Gröbner basis, including the famous F5 algorithm, the extended F5 algorithm and the GVW algorithm. The main purpose of current paper is to study in theory what kind of criteria is correct in signature related algorithms and provide a generalized method to develop new criteria. For this purpose, a generalized criterion is proposed. The generalized criterion only relies on a general partial order defined on a set of polynomials. When specializing the partial order to appropriate specific orders, the generalized criterion can specialize to almost all existing criteria of signature related algorithms. For {\em admissible} partial orders, a complete proof of the correctness of the algorithm based on this generalized criterion is also presented. This proof has no extra requirements on the computing order of critical pairs, and is also valid for non-homogeneous polynomial systems. More importantly, the partial orders implied by existing criteria are admissible. Besides, one can also check whether a new criterion is correct in signature related algorithms or even develop new criteria by using other admissible partial orders in the generalized criterion.

研究の動機と目的

• 既存の基準を超えて、署名に基づくグレブナー基底アルゴリズムにおける正当性の理論的基盤を確立すること。
• 正当性を保証するための必要十分条件を、許容可能な部分順序を用いて同定すること。
• 正当性を再証明することなく、新しい基準の検証や開発が可能な一般化されたフレームワークを提供すること。
• 従来の証明で要求されていた制限的仮定（同型系や特定の臨界対の順序付け）を排除すること。

提案手法

• 多項式の署名に定義された一般部分順序に基づく一般化された基準を提案。臨界対が既知の多項式の署名にその順序で支配される場合、それを却下する。
• 許容可能な部分順序を、正当性に必要な代数的構造を保つものとして定義。これにより、却下された S-ペアがグレブナー基底計算を損なわないことを保証する。
• 既存の基準（F5、GVW、拡張F5）が、それぞれの許容可能な順序に特化した場合の一般化基準の特別なケースとして示される。
• 臨界対の処理順序やシステムの同型性に依存しない、一般化されたアルゴリズムの完全な正当性証明を提供。
• 全順序に基づく新しい基準を導入。理論的には、無駄な臨界対のほとんどを却下できることを示す。
• 標準的な例（Katsura、Cyclic）を用いた実験的ベンチマークを用い、F5、GVW、および他の変種と性能を比較。

実験結果

リサーチクエスチョン

• RQ1 臨界対の処理順序に依存しない、部分順序の一般的条件は何か？ これにより、署名に基づくグレブナー基底アルゴリズムの正当性が保証される。
• RQ2 一般化基準は、F5 や GVW に含まれるすべての既知の署名ベース基準を統合・包含できるか？
• RQ3 部分順序が許容可能でない場合でも、一般化基準の正当性は保たれるか？ あるいは、正当なアルゴリズムを導く非許容可能な順序は存在するか？
• RQ4 適切な許容可能な部分順序を選択することで、一般化基準を用いて体系的に新しい効率的基準を開発できるか？
• RQ5 一般化基準における部分順序として全順序を用いることで、冗長な臨界対の近似的最適な却下が達成されるか？

主な発見

• 一般化基準は任意の許容可能な部分順序に対して正当であり、臨界対の処理順序に依存せず、同型系・非同型系の両方で成り立つ。
• F5 および GVW の基準は、それぞれの許容可能な部分順序に特化した場合の一般化基準の特別なケースとして示された。
• 全順序に基づく新しい基準は、無駄な臨界対の却下において理論的に最適であり、高い効率性の可能性を示唆する。
• 実験的結果では、Katsura6、Katsura7、Cyclic6 において、F5 や GVW よりも新しいアルゴリズムが優れている。これは、削減回数の減少とより優れた臨界対の却下によるものである。
• 最小署名戦略では、生成される臨界対の数が少ないため、他の戦略よりも優れることがある。一方、最小次数戦略は、必要な削減が低次のとき、より効率的である場合がある。
• 非許容可能な部分順序が誤った結果をもたらす例を同定。これにより、正当性のためには許容性の必要性が明確になった。