[論文レビュー] Null Polynomials modulo m

Shujun Li|ArXiv.org|Oct 11, 2005

Polynomial and algebraic computation参考文献 15被引用数 7

ひとこと要約

この論文は、整数係数多項式がすべての整数 $x$ に対して $f(x) \equiv 0 \pmod{m}$ を満たす場合、すなわち $m$ を法として恒等的に 0 となる多項式（null polynomial と呼ばれる）を対象とし、特に素数のべき $p^d$ を法とした場合の構造と列挙について調べる。最小次数のモニックな null 多項式を構成的に特定する方法を提供し、すべての such 多項式を完全に特徴づける。主な結果は定理 32 と定理 34 に集約される。この手法は階乗多項式基底と帰納法に基づいており、ケンプナーの先行研究とは異なる新しい証明フレームワークを提供する。これにより、高次多項式の合同式の簡約や、$m$ を法とした同値な多項式関数の列挙が可能になる。

ABSTRACT

This paper studies so-called "null polynomials modulo m", i.e., polynomials with integer coefficients that satisfy f(x)=0 (mod m) for any integer x. The study on null polynomials is helpful to reduce congruences of higher degrees modulo m and to enumerate equivalent polynomial functions modulo m, i.e., functions over Z_m={0, ..., m-1} generated by integer polynomials. The most well-known null polynomial is f(x)=x^p-x modulo a prime p. After pointing out that null polynomials modulo a composite can be studied by handling null polynomials modulo each prime power, this paper mainly focuses on null polynomials modulo p^d (d>=1). A typical monic null polynomial of the least degree modulo p^d is given for any value of d>=1, from which one can further enumerate all null polynomials modulo p^d. The most useful result obtained in this paper are Theorem 32 in Sec. 4.4 and its derivative -- Theorem 34 in Sec. 4.5. The results given in Sec. 4.3 form a basis of the induction proofs given in Sec. 4.4. However, if you do not care how the proofs in Sec. 4.4 were established, you can simply skip Sec. 4.3. Theorems 28 and 31 are very important for the proof of Theorem 32 and should be paid more attention. Note: After finishing this draft, we noticed that some results given in this paper have been covered in Kempner's papers [3,4]. Since we use a different way to obtain the results, this work can be considered as an independent and different proof. For a brief introduction to Kempner's proof, see the Appendix of this paper.

研究の動機と目的

• すべての整数 $x$ に対して $f(x) \equiv 0 \pmod{m}$ を満たす整数係数多項式、すなわち $m$ を法とした null 多項式を特徴づけること。
• 素数のべき $p^d$（$d \geq 1$）を法とした場合に、モニックな null 多項式の最小次数を特定すること。
• 構造的分解と再帰的構成に基づいて、$p^d$ を法としたすべての null 多項式を体系的に列挙する方法を開発すること。
• ケンプナーの先行研究とは異なる証明枠組み（階乗多項式基底と帰納法）に基づき、null 多項式に関する構成的代替手法を提供すること。
• 高次多項式の合同式を $m$ を法として簡約し、$\mathbb{Z}_m$ 上の同値な多項式関数を列挙する応用を可能にすること。

提案手法

• 整数多項式を表現するために下降階乗多項式 $\binom{x}{k}$ の基底を用い、各多項式を一意に $f(x) = \sum_{k=0}^n a_k \binom{x}{k}$ と表す（$a_k$ は整数係数）。
• 多項式 $f(x)$ が $m$ を法として null であるための必要十分条件として、その階乗基底展開におけるすべての係数 $a_k$ が $a_k \equiv 0 \pmod{m}$ を満たすこと、すなわち null 性が係数の可除性に依存することを確立する。
• 法 $p^d$ に対して、$\mu(p^d)$ を $\mu(p^d)! \equiv 0 \pmod{p^d}$ を満たす最小の整数として定義し、$\prod_{i=0}^{\mu(p^d)-1} (x-i)$ が次数 $\mu(p^d)$ のモニックな null 多項式であることを示す。
• $d$ を変数とする帰納法に基づく構成を展開し、中間的な $d$ の範囲における null 多項式の振る舞いを特定するための重要な補題（定理 28 と定理 31）を提示。これにより、一般の $d \geq 1$ に対して最小次数のモニックな null 多項式を与える定理 32 に到達する。
• すべての $p^d$ を法とした null 多項式の列挙は、定理 34 によって達成される。この定理は、それらが特定のモニック多項式 $\mathcal{G}_{p,n}(x)$ のべきに係数が $p^d$ で割り切れる線形結合として表せることを示し、$p^d$ に依存する係数の構造を明確にする。
• この手法は $p$-進付値と関数 $I_p(n)$（$n!$ に含まれる $p$ の指数）の構造を活用し、階乗基底における係数の可除性を制御する。

実験結果

リサーチクエスチョン

• RQ1 任意の $d \geq 1$ に対して、素数のべき $p^d$ を法とした場合のモニックな null 多項式の最小次数は何か？
• RQ2 すべての $p^d$ を法とした null 多項式を完全に列挙できるか？ その係数空間の構造はどのようなものか？
• RQ3 固定された $p$ に対して、$d$ が増加するにつれて最小次数のモニックな null 多項式の次数はどのように増加するか？ その正確な形は何か？
• RQ4 ケンプナーの先行研究とは独立して、帰納的かつ構成的な方法で $p^d$ を法とした null 多項式を導出できるか？
• RQ5 $p^d$ を法とした null 多項式と、$m$ を法とした高次多項式の合同式の簡約、または $\mathbb{Z}_m$ 上の同値な多項式関数の列挙との関係は何か？

主な発見

• 最小次数のモニックな null 多項式は、$\mu(p^d)$ を $\mu(p^d)! \equiv 0 \pmod{p^d}$ を満たす最小の整数として定義し、$\prod_{i=0}^{\mu(p^d)-1} (x-i)$ で与えられる。この次数は定理 32 により $\omega_1(p^d) = \mu(p^d)$ に一致する。
• すべての $p^d$ を法とした null 多項式は、定理 34 において、階乗基底 $\binom{x}{k}$ における係数がすべて $p^d$ で割り切れる多項式として完全に特徴づけられ、これにより完全な列挙が可能になる。
• $d \geq 1$ の場合、最小次数のモニックな null 多項式の次数は $\mu(p^d)$ であり、これは $p$-進付値に基づくアルゴリズムにより計算可能であり、ケンプナーの結果と一致するが、異なる手法で導出されている。
• この論文は、基底多項式 $\mathcal{G}_{p,n}(x)$ を用いた null 多項式の再帰的構成を提供する。定理 34 により、すべての null 多項式は、係数が $p^d$ で割り切れる $\mathcal{G}_{p,n}(x)$ の積の線形結合として表され、$\mathbb{Z}$ 上の自由加群をなす。
• 次数 $\leq n$ の異なる $p^d$ を法とした null 多項式の個数は、$N_{np}(\leq n, p^d)$ で与えられ、定理 41 において $\omega_1(p^d)$ と関数 $I_p(n)$ の構造を用いて再帰的に計算可能である。
• 論文は、多項式 $f(x) = x^p - x$ が $p$ を法として null であることを確認し、一般に $f(x) = (x^p - x)^d$ は $p^d$ を法としてモニックな null 多項式（次数 $pd$）であるが、最小次数であるとは限らない。