[論文レビュー] Macaulay-Buchberger Basis Theorem for Residue Class Rings with Torsion and Border Bases over Rings.

Ambedkar Dukkipati, Nithish Pai+2 more|arXiv (Cornell University)|May 2, 2014

Commutative Algebra and Its Applications被引用数 1

ひとこと要約

この論文は、剰余類環が有限生成ではあるが自由でないノエター環への境界基底の理論を拡張し、特定のクラスの境界基底に対して終了する境界除法アルゴリズムを導入する。境界基底の存在を証明し、それらを特徴づけ、ノエター環上での特定の削減済みグレブナー基底がこのクラスに含まれることを示す。

ABSTRACT

The theory of border bases for zero-dimensional ideals has attracted several researchers in symbolic computation due to their numerical stability and mathematical elegance. As shown in (Francis & Dukkipati, J. Symb. Comp., 2014), one can extend the concept of border bases over Noetherian rings whenever the corresponding residue class ring is finitely generated and free. In this paper we address the following problem: Can the concept of border basis over Noetherian rings exists for ideals when the corresponding residue class rings are finitely generated but need not necessarily be free modules? We present a border division algorithm and prove the termination of the algorithm for a special class of border bases. We show the existence of such border bases over Noetherian rings and present some characterizations in this regard. We also show that certain reduced Grobner bases over Noetherian rings are contained in this class of border bases.

研究の動機と目的

• 剰余類環が自由でない場合にまでノエター環上での境界基底の概念を拡張すること。
• 剰余類環にねじれを含み、かつ有限生成である場合に境界基底を定義する課題に取り組むこと。
• このような環に対して、特定の条件下で終了する境界除法アルゴリズムを開発すること。
• 有限生成な剰余類環をもつノエター環上での境界基底のクラスを特徴づけること。
• ノエター環上での特定の削減済みグレブナー基底が、この新しい境界基底クラスに含まれることを示すこと。

提案手法

• 剰余類環にねじれを含むノエター環上のイデアルに特化した境界除法アルゴリズムを導入する。
• 特別なクラスの境界基底を同定することで、境界除法アルゴリズムの終了条件を確立する。
• ノエター環上での有限生成な剰余類環の構造をモジュール論的技法を用いて分析する。
• ねじれを含む環の文脈でマカウレイ＝ブルーチャー基底定理を適用し、存在結果を導出する。
• ねじれが存在する状況下で、多項式の集合が境界基底をなすための条件を特徴づける。
• ノエター環上での削減済みグレブナー基底が、一般化された境界基底枠組みに埋め込まれることを示す。

実験結果

リサーチクエスチョン

• RQ1 剰余類環が有限生成ではあるが自由でない場合に、ノエター環上での境界基底を定義できるか？
• RQ2 剰余類環にねじれが存在する状況で、境界除法アルゴリズムがどのような条件下で終了するか？
• RQ3 ねじれを含む非自由な剰余類環を持つノエター環上での境界基底に対して、どのような特徴づけが可能か？
• RQ4 ノエター環上での削減済みグレブナー基底は、この新しい境界基底クラスとどのように関係しているか？
• RQ5 マカウレイ＝ブルーチャー基底定理は、ねじれを含む環への境界基底の拡張において、どのように役立つか？

主な発見

• ねじれを含むノエター環上での特定のクラスの境界基底に対して、境界除法アルゴリズムを提案し、その終了性を証明した。
• 剰余類環が有限生成ではあるが自由でない場合に、境界基底の存在を確立した。
• ねじれが存在する状況下での境界基底の特徴づけを提供し、古典的理論を自由モジュールにとどまらない範囲へ拡張した。
• ノエター環上での特定の削減済みグレブナー基底が、新たに定義された境界基底クラスに含まれることが示された。
• マカウレイ＝ブルーチャー基底定理をねじれを含む剰余類環の文脈に適応し、一般化された文脈で境界基底の構成を可能にした。
• 理論的枠組みにより、ねじれが存在する場合でも数値的安定性と記号計算への計算的適用可能性が保証された。