[论文解读] 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

一句话总结

本文通过 umbral 微积分方法，将 Sun 和 Zagier 关于贝尔数与错位数的同余式推广至多项式设定。它在模素数下建立了贝尔多项式与错位多项式的新同余式，拓展了已知结果，并揭示了组合数论中更深层次的代数结构。

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.

研究动机与目标

• 将 Sun 和 Zagier 关于贝尔数与错位数的同余式通过 umbral 徎积推广至多项式形式。
• 在模素数下建立一个统一的同余式，涉及贝尔多项式 $\mathcal{B}_n(x)$ 与错位多项式 $\mathcal{D}_m(x)$。
• 在模运算下推导出斯特林数、贝尔多项式与错位多项式之间的新恒等式。
• 提供特殊情形与推论，揭示贝尔数与错位数模素数的结构性质。

提出的方法

• 采用 umbral 微积分框架，定义广义贝尔 umbra $\mathbf{B}_x$，使得 $\mathbf{B}_x^m = \mathcal{B}_m(x)$，从而实现对多项式序列的代数操作。
• 在 umbral 设置下应用拉格朗日同余式 $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$ 及其 umbral 形式，将错位多项式与下降阶乘联系起来。
• 利用第一类与第二类斯特林数之间的正交关系，在不同多项式表示之间进行变换。
• 应用费马小定理与二项式同余式 $\binom{p-1}{k} \equiv (-1)^{p-k-1} \pmod{p}$，以简化模 $p$ 下的求和。

实验结果

研究问题

• RQ1 Sun 和 Zagier 关于贝尔数与错位数的同余式能否推广至多项式形式？
• RQ2 涉及贝尔多项式 $\mathcal{B}_n(x)$ 与错位多项式 $\mathcal{D}_m(x)$ 的和在模素数下的行为如何？
• RQ3 斯特林数与 umbral 恒等式在模 $p$ 的多项式同余背景下如何相互作用？
• RQ4 从广义同余式中可导出哪些特殊情形或推论，特别是当 $n=1$ 与 $n=2$ 时？
• RQ5 能否从主结果推导出错位数 $D_m$ 与贝尔数 $B_m$ 模 $p$ 的新恒等式？

主要发现

• 本文证明了一个广义同余式：$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$ 时），该结果推广了 Sun 和 Zagier 的结果。
• 当 $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}$，建立了模 $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$ 表示不包含单元素部分的集合划分数。