[論文レビュー] Ideals modulo p

John Abbott, Anna Maria Bigatti+1 more|arXiv (Cornell University)|Jan 18, 2018

Rings, Modules, and Algebras被引用数 2

ひとこと要約

本稿では、Q 上の多項式環におけるイデアルに対して、項順序 σ に関する σ-良い素数の概念を導入し、任意の項順序 σ に対して、すべての素数のうち有限個を除き、それらは良い素数であることを示している。項順序 σ とイデアルの p を法とする還元を結びつけることで、悪い素数の特定が可能となり、モジュラー計算手法において顕著な利点をもたらす。

ABSTRACT

The main focus of this paper is on the problem of relating an ideal I in the polynomial ring Q[x_1,..., x_n] to a corresponding ideal in F_p[x_1, ..., x_n] where p is a prime number; in other words, the reduction modulo p of I. We define a new notion of sigma-good prime for I which depends on the term ordering sigma, and show that all but finitely many primes are good for all term orderings. We relate our notion of sigma-good primes to some other similar notions already in the literature. One characteristic of our approach is that enables us to detect some bad primes, a distinct advantage when using modular methods.

研究の動機と目的

• Q[x₁,…,xₙ] におけるイデアルと、Fₚ[x₁,…,xₙ] におけるそれらの還元との間の明確な関係を確立すること。
• 選択された項順序 σ に依存する新しい σ-良い素数の概念を定義すること。
• 任意のイデアルと項順序に対して、すべての素数のうち有限個を除き、それらが σ-良い素数であることを示すこと。
• この新しい概念が、多項式イデアルのモジュラー還元に関する既存の文献における概念とどのように関係するかを明らかにすること。
• モジュラーアルゴリズムにおける悪い素数の特定に役立つ実用的ツールを提供し、計算代数分野における信頼性を向上させること。

提案手法

• 項順序 σ によって定義される構造を保つように、Gröbner 基底を p を法として還元した結果が、p が σ-良い素数である場合に成立することを、σ-良い素数の概念を導入する。
• Q 上の Gröbner 基底の理論と、それらを p を法として還元した結果の分析を通じて、イデアルの還元における挙動を検討する。
• 可換代数の結果を応用し、固定されたイデアルと項順序に対して、悪い素数（σ-良い素数でない素数）の集合が有限であることを示す。
• 既存の概念（正則素数や良い還元の素数など）と比較し、新しい σ-良い素数の概念の位置づけを明らかにする。
• 還元された Gröbner 基底が、期待される構造を満たすかどうかをチェックすることで、悪い素数を特定するためのアルゴリズム的手法を用いる。
• p を法として還元した Gröbner 基底が、Fₚ[x₁,…,xₙ] において Gröbner 基底であることは、p が σ-良い素数であるための必要十分条件であるという事実に依拠する。

実験結果

リサーチクエスチョン

• RQ1 与えられた項順序 σ に対して、Q[x₁,…,xₙ] に属するイデアル I を p を法として還元したとき、どの素数 p が Gröbner 基底の構造を保つのか？
• RQ2 σ-良い素数の概念は、多項式イデアル理論における他の既存の良い還元の概念とどのように関係するのか？
• RQ3 悪い素数（σ-良い素数でない素数）の集合は、有効に特徴づけられ、検出可能か？
• RQ4 与えられたイデアルと項順序に対して、σ-良い素数の集合の濃度と密度はどの程度か？
• RQ5 この枠組みは、計算代数分野におけるモジュラーアルゴリズムの信頼性と効率をどの程度向上させ得るか？

主な発見

• 任意の固定されたイデアルと項順序 σ に対して、すべての素数のうち有限個を除き、それらは σ-良い素数である。これは、ほとんどすべての素数に対して、還元が良好に振る舞うことを保証する。
• σ-良い素数の概念は、悪い素数を系統立てて特定するための方法を提供し、良い還元を仮定する手法とは対照的に顕著な利点を有する。
• σ-良い素数 p を法として還元した Gröbner 基底は、Fₚ[x₁,…,xₙ] において Gröbner 基底をなす。これにより、イデアルの構造が保存される。
• 悪い素数の集合は有限であり、Q 上の Gröbner 基底の係数を用いて明示的に境界を定めることができる。
• この枠組みにより、p を法として還元した基底が、Gröbner 基底の必要な性質を満たすかどうかをテストすることで、悪い素数をアルゴリズム的に検出可能である。
• 結果として、既存の良い還元の概念を拡張・精緻化し、モジュラー手法においてより明確で計算的に有用な基準を提供する。