[論文レビュー] Ideal Membership in Polynomial Rings over the Integers

Matthias Aschenbrenner|ArXiv.org|May 12, 2003

Commutative Algebra and Its Applications参考文献 15被引用数 4

ひとこと要約

この論文は、整数上の多項式環におけるイデアル-membership問題に対して、二重指数的次数上限を確立する。$ f_0 $ が $ f_1, \dots, f_n \in \mathbb{Z}[X] $ で生成されるイデアルに属するならば、$ f_0 $ を $ f_1, \dots, f_n $ の線形結合として表す多項式 $ g_1, \dots, g_n \in \mathbb{Z}[X] $ が存在し、その次数は $ (2d)^{2^{O(N^2)}}(h+1) $ で抑えられる。ここで $ d $ は最大全次数、$ h $ は最大係数高さを表す。この結果により、Kroneckerの問題が解決され、$ \mathbb{Z}[X] $ 上でのイデアル-membershipに対して原始再帰的アルゴリズムが得られ、Hermannの定理が算術的環へ拡張される。

ABSTRACT

We present a new approach to the ideal membership problem for polynomial rings over the integers: given polynomials $f_0,f_1,...,f_n\in\Z[X]$, where $X=(X_1,...,X_N)$ is an $N$-tuple of indeterminates, are there $g_1,...,g_n\in\Z[X]$ such that $f_0=g_1f_1+...+g_nf_n$? We show that the degree of the polynomials $g_1,...,g_n$ can be bounded by $(2d)^{2^{O(N^2)}}(h+1)$ where $d$ is the maximum total degree and $h$ the maximum height of the coefficients of $f_0,...,f_n$. Some related questions, primarily concerning linear equations in $R[X]$, where $R$ is the ring of integers of a number field, are also treated.

研究の動機と目的

• 整数上多項式環におけるイデアル-membership問題に取り組む。これは、構成的代数学における長年の未解決問題である。
• 体上でのHermannの次数上限を、係数の算術的性質が新たな複雑性をもたらす $ \text{Z}[X] $ の算術的設定へ拡張する。
• 整数上多項式環 $ \text{Z}[X] $ におけるイデアル-membershipを決定する原始再帰的アルゴリズムを提供し、固定された変数数におけるKroneckerの問題を解決する。
• 解の次数が入力多項式の次数と係数高さにどのように依存するかを分析し、次数のみに依存する一様な上限は $ \text{Z}[X] $ では不可能であることを示す。
• 数体の整数環上の多項式環へ結果を一般化し、線形系やイデアルの素性判定についても同様の上限を確立する。

提案手法

• 体上多項式環におけるsyzygy次数の上限を求めるHermannの古典的手法を、整数環 $ \text{Z}[X] $ に適応し、算術的制約を考慮する。
• 大きな線形方程式系を $ \text{Z}[X] $ 上で解くことに帰着し、$ R $ を数体の整数環とするとき、$ R[X] $ 上の線形方程式の解の構造から境界を導出する。
• Dedekind整域における線形ディオファントス方程式の理論に基づき、$ R $ 上の線形系の解の高さと次数の境界を適用する。
• 多項式 $ g_1, \dots, g_n $ が $ f_0 = g_1f_1 + \cdots + g_nf_n $ を満たすとき、その次数上限として $ (2d)^{2^{O(N^2)}}(h+1) $ を確立する。ここで $ d $ は最大全次数、$ h $ は最大係数高さである。
• 原始再帰関数のWainer階層を用いて解のサイズを境界づけ、固定された $ N $ に対してアルゴリズムが原始再帰的であることを示すが、成長率は極めて高い。
• 線形方程式系が $ \text{Z} $ 上で対数的空間で解けるという仮定のもとで、$ \text{Z}[X] $ 上のイデアル-membershipが指数的空間完全であることを示し、計算複雑性理論と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 Kroneckerの問題を解決するため、$ \text{Z}[X] $ 上でのイデアル-membershipを決定する原始再帰的アルゴリズムを構成可能か？
• RQ2 入力多項式の次数と高さに制限があるとき、$ f_0 = g_1f_1 + \cdots + g_nf_n $ の表現における多項式 $ g_1, \dots, g_n $ の最適な次数上限は何か？
• RQ3 係数高さ $ h $ への依存が、$ \text{Z}[X] $ 上のイデアル-membershipの複雑さに与える影響は、体の場合と比べてどうか？
• RQ4 $ \text{Z}[X] $ 上のイデアル-membership問題は、$ \text{Z} $ 上の線形方程式系の解法に帰着可能か？そのような系のサイズに適用可能な境界は何か？
• RQ5 $ \text{Z}[X] $ 上のイデアル-membershipの計算複雑性は何か？また、指数的空間完全性とどのように関係するか？

主な発見

• 論文は、$ f_0 = g_1f_1 + \cdots + g_nf_n $ の表現における多項式 $ g_1, \dots, g_n $ に対して、$ (2d)^{2^{O(N^2)}}(h+1) $ の次数上限を確立する。ここで $ d $ は最大全次数、$ h $ は入力多項式の最大係数高さである。
• この境界は $ N $（変数の数）に関して二重指数的であり、次数と係数高さの両方に依存する。これにより、$ d $ と $ N $ のみに依存する一様な上限は $ \text{Z}[X] $ 上では不可能であることが示される。
• この結果により、任意の固定された $ N $ に対して、$ \text{Z}[X] $ 上のイデアル-membershipは原始再帰的アルゴリズムで解けることが示され、この設定におけるKroneckerの問題が解決される。
• 論文は、$ \text{Z}[X] $ 上のイデアル-membershipが指数的空間ハードであることを証明し、線形方程式系が $ \text{Z} $ 上で対数的空間で解けるという仮定のもとで、指数的空間完全であることを示す。
• 数体 $ F $ の整数環 $ \text{O}_F $ 上の多項式環では、解の次数上限が $ [F:\text{Q}] \times C_2 \times (2d)^{2^{O(N^2)}} $ である。ここで $ C_2 $ は $ F $ のみに依存する定数である。
• 論文は、$ \text{Z}[X] $ 上のイデアルが素であるかどうかを判定する基準を提供する。この基準は、$ \text{Q}[X] $ 上での素性、素数モジュロでの還元、および整域性条件の組み合わせであり、すべてが基本的再帰的である。