[論文レビュー] Solving Detachability Problem for the Polynomial Ring by Signature-based Groebner Basis Algorithms

Yao Sun, Dingkang Wang|arXiv (Cornell University)|Aug 5, 2011

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

ひとこと要約

本稿では、F5 や GVW などの署名ベースのグレブナー基底アルゴリズムの出力のみを用いて、多項式環における分離可能性問題を効率的に解く手法を提案する。署名ベースの出力からフルラベル付きグレブナー基底を構築することで、追加のグレブナー基底計算を伴わずに、理想元の属するかの判定および生成子を用いた多項式の明示的表現を多項式時間で計算可能にする。

ABSTRACT

Signature-based algorithms are a popular kind of algorithms for computing Groebner basis, including the famous F5 algorithm, F5C, extended F5, G2V and the GVW algorithm. In this paper, an efficient method is proposed to solve the detachability problem. The new method only uses the outputs of signature-based algorithms, and no extra Groebner basis computations are needed. When a Groebner basis is obtained by signature-based algorithms, the detachability problem can be settled in polynomial time.

研究の動機と目的

• グレブナー基底の要素を理想生成子に関して表現する計算コストを低減すること。これは、分離可能性問題を解く際の主要なボトル neck である。
• 一般の方法が表現を追跡するために補助変数を導入して多項式環を拡張する必要があるという非効率性を克服すること。
• アルゴリズムを変更せずに、署名ベースのアルゴリズムの出力から直接表現を計算できることを実現すること。
• 既存の署名ベースのアルゴリズムの出力のみを用いて、シジージモジュールの基底を回復し、理想元の属するかの判定を効率的に解ける手法を提供すること。
• 署名ベースのアルゴリズムの単純な出力（例えば、モナミアルラベル付きまたは署名ラベル付き基底）からフルラベル付きグレブナー基底を構築するフレームワークを確立すること。

提案手法

• 各基底要素が元の生成子に関する表現を表す係数ベクトルと関連付けられたラベル付きグレブナー基底の概念を導入する。
• 署名比較に基づく再帰的還元プロセスを用いて、モナミアルラベル付きまたは署名ラベル付きグレブナー基底からフルラベル付きグレブナー基底を構築する。
• 既存の基底要素とそのラベルを用いた還元を追跡することで、各グレブナー基底の多項式に対する係数ベクトルを計算する関数 'Representation' を使用する。
• 署名順序と先行項のべき乗（lpp）比較を活用して、表現計算の正しさと停止性を保証する。
• F5 や GVW などの署名ベースのアルゴリズムは簡略化されたラベル付き基底を出力するが、それらの出力からフル係数情報を回復することで、これらのアルゴリズムに本手法を適用する。
• 得られたフルラベル付き基底が、元の生成子を用いたすべてのグレブナー基底要素の表現を直接提供することを示し、分離可能性問題が即座に解けることを実証する。

実験結果

リサーチクエスチョン

• RQ1 署名ベースのグレブナー基底アルゴリズムの出力のみを用いて、追加のグレブナー基底計算を伴わずに、分離可能性問題を多項式時間で解けるか。
• RQ2 署名ベースのアルゴリズムの出力から、各グレブナー基底要素を元の生成子に関して表現できるか。
• RQ3 F5 や GVW などの異なる内部追跡メカニズムを持つ複数の署名ベースのアルゴリズムに対しても、本手法を一般化して適用可能か。
• RQ4 署名ベースの出力から表現を回復する計算量的複雑度は何か。多項式時間で達成可能か。
• RQ5 同じ出力から、元の生成子のシジージモジュールの基底を効率的に回復できるか。

主な発見

• 提案手法は、署名ベースのアルゴリズムの出力のみを用いて、多項式時間でグレブナー基底要素の元の生成子に関する表現を計算する。
• 本手法は、モナミアルラベル付きまたは署名ラベル付き基底からフルラベル付きグレブナー基底を構築し、分離可能性問題の直接的解決を可能にする。
• アルゴリズムは効率的であり、署名ベースのアルゴリズムを変更または再実行する必要がないため、元の性能特性を保つ。
• 本手法は、F5 と GVW の両方のアルゴリズムの出力に対しても正常に動作する。ただし、GVW の出力がグレブナー基底であるという理論的根拠は F5 よりも強い。
• 理想に属する任意の多項式の表現は、フルラベル付き基底を用いた還元によって計算可能であり、係数ベクトルは直接ラベルから抽出できる。
• 署名ベースの計算中にゼロに還元された多項式の署名を活用することで、シジージモジュールの基底を効率的に計算できる。