[论文解读] A generalization of Carlitz's congruence

Hao Pan|ArXiv.org|Mar 21, 2006

Advanced Algebra and Logic参考文献 3被引用 10

一句话总结

本文将卡利茨关于二项式系数和模 $p^4$ 的同余式推广，证明了对于奇素数 $p$ 和正整数 $a$，有 $$\sum_{k=0}^{p-1}(-1)^{(a-1)k}\binom{p-1}{k}^a \equiv 2^{a(p-1)} + \frac{a(a-1)(3a-4)}{48}p^3B_{p-3}\ \text{mod}\ p^4$$。证明使用了模 $p^4$ 下二项式系数的展开式、伯努利数恒等式，以及关于偶数下标上的调和型和的求和恒等式。

ABSTRACT

In this paper, we propose a generalization of a congruence due to Carlitz.

研究动机与目标

• 将卡利茨关于中心二项式系数的 $p^4$-同余式推广至求和式 $\sum_{k=0}^{p-1}(-1)^{(a-1)k}\binom{p-1}{k}^a$ 中指数 $a$ 的更高次幂。
• 建立涉及二项式系数 $a$ 次幂与交错符号的广义二项式和的精确 $p^4$-同余式。
• 通过添加一个依赖于 $a$ 的显式系数的 $p^3B_{p-3}$ 修正项，改进已知的蔡与格兰维尔的 $p^3$-同余式。
• 提供一个统一的公式，使其能作为已知情形如 $a=3,4,5$ 的特例被自然恢复。

提出的方法

• 使用二项式系数的展开式 $$(-1)^r\binom{p-1}{r} \equiv 1 - \sum_{k=1}^r \frac{p}{k} + \sum_{1\leq j<k\leq r} \frac{p^2}{jk} - \sum_{1\leq i<j<k\leq r} \frac{p^3}{ijk}\ \text{mod}\ p^4$$。
• 将 $(-1)^{ar}\binom{p-1}{r}^a$ 的多项式展开至 $p^3$ 项，收集 $p$、$p^2$ 和 $p^3$ 的系数。
• 利用调和和与伯努利数的已知恒等式，对下标 $k$ 为偶数的对称和 $\sum \frac{1}{jk}$ 和 $\sum \frac{1}{ijk}$ 分别在模 $p^2$ 和模 $p$ 下进行计算。
• 利用已知的 $q_2(p) = (2^{p-1}-1)/p$ 及其幂的同余式，表达 $$2^{p-1} \equiv 1 + pq_2(p) + \binom{p}{2}q_2(p)^2 + \cdots\ \text{mod}\ p^4$$。
• 结合 $a=1$ 和 $a=2$ 情形的结果，求解模 $p^2$ 和模 $p$ 下的未知和 $\sum \frac{1}{jk}$ 与 $\sum \frac{1}{ijk}$。
• 最终将结果代入完整求和表达式，并与 $2^{a(p-1)}$ 的二项式展开式对比，以分离出 $p^3B_{p-3}$ 修正项。

实验结果

研究问题

• RQ1 卡利茨关于中心二项式系数的 $p^4$-同余式能否推广至求和式 $\sum_{k=0}^{p-1}(-1)^{(a-1)k}\binom{p-1}{k}^a$ 中指数 $a$ 的更高次幂？
• RQ2 广义和的 $p^4$-同余式中，$p^3B_{p-3}$ 修正项的精确系数是什么？
• RQ3 关于偶数下标 $k$ 的调和和如何贡献于二项式和展开式在 $p^3$ 阶的修正？
• RQ4 能否使用 $p$-进展开式和伯努利数恒等式，对所有 $a \geq 1$ 统一推导出 $p^4$-同余式？
• RQ5 该通解公式是否能正确退化为已知情形如 $a=3$、$a=4$ 和 $a=5$？

主要发现

• 广义和 $\sum_{k=0}^{p-1}(-1)^{(a-1)k}\binom{p-1}{k}^a$ 满足同余式 $$\equiv 2^{a(p-1)} + \frac{a(a-1)(3a-4)}{48}p^3B_{p-3}\ \text{mod}\ p^4$$，对所有奇素数 $p$ 和正整数 $a$ 成立。
• 当 $a=3$ 时，和满足 $$\sum_{k=0}^{p-1}\binom{p-1}{k}^3 \equiv 8^{p-1} + \frac{5}{8}p^3B_{p-3}\ \text{mod}\ p^4$$。
• 当 $a=4$ 时，和满足 $$\sum_{k=0}^{p-1}(-1)^k\binom{p-1}{k}^4 \equiv 16^{p-1} + 2p^3B_{p-3}\ \text{mod}\ p^4$$。
• 当 $a=5$ 时，和满足 $$\sum_{k=0}^{p-1}\binom{p-1}{k}^5 \equiv 32^{p-1} + \frac{55}{12}p^3B_{p-3}\ \text{mod}\ p^4$$。
• 修正项中系数 $\frac{a(a-1)(3a-4)}{48}$ 是由多项式展开与对称和在 $p^3$ 阶贡献的组合推导而来。
• 该结果对 $p=3$ 同样成立，经验证其同余式在模 $3^4$ 下依然有效。