[論文レビュー] Computation of Difference Groebner Bases

Vladimir P. Gerdt, Daniel Robertz|arXiv (Cornell University)|Jun 1, 2012

Polynomial and algebraic computation参考文献 20被引用数 11

ひとこと要約

本稿では、差分多項式環における差分グレブナー基底を計算するための、ジャンネットに類似した割り算に基づく自己反復的（involutive）なアルゴリズムを提示する。この手法は線形および非線形多項式イデアルの両方へ拡張可能であり、Mapleで実装されたLDAパッケージとして提供される。この方法により、線形偏微分方程式の有限差分近似やフェニマン積分の簡約が可能となり、非線形ケースにおいてもグレブナー基底が保証される終了性を有する。

ABSTRACT

This paper is an updated and extended version of our note [1] (cf. also [2]). To compute difference Grobner bases of ideals generated by linear polynomials we adopt to difference polynomial rings the involutive algorithm based on Janet-like division. The algorithm has been implemented in Maple in the form of the package LDA (Linear Difference Algebra) and we describe the main features of the package. Its applications are illustrated by generation of finite difference approximations to linear partial differential equations and by reduction of Feynman integrals. We also present the algorithm for an ideal generated by a finite set of nonlinear difference polynomials. If the algorithm terminates, then it constructs a Grobner basis of the ideal.

研究の動機と目的

• 差分多項式環におけるグレブナー基底を効率的に計算するためのアルゴリズムの開発、特に線形および非線形系の対象とする。
• ジャンネットに類似した割り算を用いた自己反復的アルゴリズムを、差分多項式の文脈へ拡張すること。
• 数学的物理への実用的応用を想定し、ユーザーフレンドリーなMapleパッケージ（LDA）としてアルゴリズムを実装すること。
• 線形偏微分方程式に対する有限差分近似を生成する手法の有効性を示すこと。
• 量子場の理論におけるフェニマン積分の簡約にこのアルゴリズムを適用すること。

提案手法

• ジャンネットに類似した割り算を採用し、指定された単項式順序に基づいて多項式を体系的に簡約することで、差分グレブナー基底を構築する。
• 線形イデアルの場合、自己反復的割り算規則により終了性が保証され、一意なグレブナー基底が得られる。
• 非線形差分多項式は、自己反復的枠組みを拡張して処理し、終了性が成立すれば有効なグレブナー基底が得られる。
• アルゴリズムは、Maple用のLDA（Linear Difference Algebra）パッケージとして実装され、差分代数における記号計算を支援する。
• 差分多項式の構造を活用することで、計算の効率性と正しさを維持する。
• 理論的解析と実用的応用の両方をサポートする。具体的には、PDEの離散化や積分の簡約が含まれる。

実験結果

リサーチクエスチョン

• RQ1 ジャンネットに類似した割り算に基づく自己反復的手法を、差分多項式環におけるグレブナー基底の計算にどのように適応できるか。
• RQ2 非線形差分多項式イデアルに対するアルゴリズムの計算的挙動と終了条件は何か。
• RQ3 このアルゴリズムは、線形偏微分方程式に対する有限差分近似を効率的に生成できるか。
• RQ4 LDAパッケージは、量子場の理論におけるフェニマン積分の簡約をどのように支援するか。
• RQ5 このアルゴリズムの記号計算における実用的性能と適用限界は何か。

主な発見

• ジャンネットに類似した割り算を用いて、線形差分多項式によって生成されるイデアルに対して、差分グレブナー基底が正常に計算可能である。
• LDAパッケージへの実装により、線形偏微分方程式に対する有限差分スキームの自動生成が可能になった。
• 非線形差分多項式イデアルの場合、終了が成立すれば、アルゴリズムはグレブナー基底を生成する。
• 差分環における代数的構造を活用した、フェニマン積分の体系的簡約手法が提供された。
• LDAパッケージは、差分多項式を含む記号計算タスクにおいて実用的有用性を示した。
• グレブナー基底理論の適用範囲が、差分方程式および物理的モデリングへ拡張された。