[論文レビュー] Congruences on the Bell polynomials and the derangement polynomials

Yidong Sun, Xiaojuan Wu+1 more|arXiv (Cornell University)|Sep 15, 2010

Advanced Mathematical Identities参考文献 5被引用数 4

ひとこと要約

本稿は、アンブロ・カルキュラスを用いて、サンとツァギエールのベル数と階乗数に関する合同式を多項式設定に一般化する。素数を法とするベル多項式および階乗多項式に対する新しい合同式を確立し、既知の結果を拡張するとともに、組合せ的数論におけるより深い代数的構造を明らかにする。

ABSTRACT

In this note, by the umbra calculus method, the Sun and Zagier's congruences involving the Bell numbers and the derangement numbers are generalized to the polynomial cases. Some special congruences are also provided.

研究の動機と目的

• サンとツァギエールのベル数および階乗数に関する合同式を、アンブロ・カルキュラスを用いて多項式形に拡張すること。
• 素数を法とするベル多項式 $\mathcal{B}_n(x)$ と階乗多項式 $\mathcal{D}_m(x)$ を含む統一的な合同式を確立すること。
• モジュラー算術の下でスターリング数、ベル多項式、階乗多項式を結ぶ新しい恒等式を導出すること。
• ベル数および階乗数の素数を法とする構造的性質を明らかにする特殊ケースおよび帰結を提示すること。

提案手法

• 一般化されたベルアンブロ $\mathbf{B}_x$ を定義し、$\mathbf{B}_x^m = \mathcal{B}_m(x)$ となるようにすることで、多項式列の代数的取り扱いを可能にするアンブロ・カルキュラスの枠組みを用いる。
• アンブロ設定においてラグランジュの合同式 $x(x-1)\cdots(x-p+1) \equiv x^p - x \pmod{p}$ を適用し、モジュラー恒等式を導出する。
• 再帰式 $\mathcal{D}_m(x) = m\mathcal{D}_{m-1}(x) + (x-1)^m$ 及びそのアンブロ版を用い、階乗多項式と降冪因子の関係を確立する。
• 第一種スターリング数と第二種スターリング数の直交関係を用い、異なる多項式表現間の変換を実行する。
• フェルマーの小定理および二項係数の合同式 $\binom{p-1}{k} \equiv (-1)^{p-k-1} \pmod{p}$ を用い、$p$ を法とする和を簡約する。

実験結果

リサーチクエスチョン

• RQ1 サンとツァギエールのベル数および階乗数に関する合同式を、多項式形に一般化できるか？
• RQ2 素数を法とするベル多項式 $\mathcal{B}_n(x)$ および階乗多項式 $\mathcal{D}_m(x)$ を含む和のモジュラー挙動はいかなるものか？
• RQ3 スターリング数とアンブロ恒等式は、$p$ を法とする多項式合同式の文脈でどのように相互作用するか？
• RQ4 一般化された合同式から、特に $n=1$ および $n=2$ の場合にどのような特殊ケースや帰結が得られるか？
• RQ5 主結果から、$p$ を法とする階乗数 $D_m$ およびベル数 $B_m$ の新しい恒等式を導出できるか？

主な発見

• 本稿は一般化された合同式を証明する：$x^m \sum_{k=1}^{p-1} \frac{\mathcal{B}_{n+k}(x)}{(-m)^k} \equiv x^p \sum_{k=0}^{n} S(n,k)(-1)^{m+k-1} \mathcal{D}_{m+k-1}(1-x) \pmod{p}$（$p \nmid m$ のとき）、これはサンとツァギエールの結果を拡張する。
• $x=1$ の場合、恒等式は $\sum_{k=1}^{p-1} \frac{B_{n+k}}{(-m)^k} \equiv \sum_{k=0}^{n} S(n,k)(-1)^{m+k-1} D_{m+k-1} \pmod{p}$ に簡約され、素数を法とするベル数と階乗数を結ぶ。
• $n=1$ の場合、$\sum_{k=1}^{p-1} \frac{B_{k+1}}{(-m)^k} \equiv (-1)^m D_m \pmod{p}$ が得られ、階乗数に対する新しいモジュラー恒等式を提供する。
• $n=2$ の場合、$\sum_{k=1}^{p-1} \frac{B_{k+2}}{(-m)^k} \equiv (-1)^m (D_m - D_{m+1}) \pmod{p}$ が得られ、階乗数における差分構造を明らかにする。
• 以前の文献に登場しなかった新しい恒等式 $\sum_{j=0}^{m} s(m,j) B_{j-1} = (-1)^{m-1} D_{m-1}$ が得られる。
• 本稿は $D_{pn+m} \equiv (-1)^n D_m \pmod{p}$ および $\sum_{k=1}^{p-1} (-1)^k B_{n+k} \equiv V_n \pmod{p}$ を導出する。ここで $V_n$ は単一要素を含まない分割の数を表す。