[论文解读] On some new congruences for binomial coefficients

Zhi‐Wei Sun, Roberto Tauraso|arXiv (Cornell University)|Sep 11, 2007

Advanced Mathematical Identities参考文献 4被引用 8

一句话总结

本文建立了关于卡塔兰数与中心二项式系数模素数幂的新同余式，扩展了潘与孙的先前工作。通过生成函数与组合恒等式，推导出形如 $\sum_{k=0}^{p^a-1} \binom{2k}{k+d}$ 与 $\sum_{k=0}^{p^a-1} C_{p^a n + k}$ 模 $p^2$ 的显式公式，揭示了其与勒让德符号及特殊和 $S_d$ 的联系。关键结果将已知的沃尔斯滕霍尔姆型同余式推广至更高素数幂与合数模数。

ABSTRACT

In this paper we establish some new congruences involving central binomial coefficients as well as Catalan numbers. Let $p$ be a prime and let $a$ be any positive integer. We determine $\sum_{k=0}^{p^a-1}\binom{2k}{k+d}$ mod $p^2$ for $d=0,...,p^a$ and $\sum_{k=0}^{p^a-1}\binom{2k}{k+δ}$ mod $p^3$ for $δ=0,1$. We also show that $$C_n^{-1}\sum_{k=0}^{p^a-1}C_{p^an+k}=1-3(n+1)((p^a-1)/3) (mod p^2)$$ for every n=0,1,2,..., where $C_m$ is the Catalan number $\binom{2m}{m}/(m+1)$, and (-) is the Legendre symbol.

研究动机与目标

• 将卡塔兰数模素数幂的已知同余式进一步拓展，特别是将潘与孙研究的 $a=1$ 情况推广至更高指数。
• 推导出中心二项式系数和 $\sum_{k=0}^{p^a-1} \binom{2k}{k+d}$ 模 $p^2$ 与 $p^3$ 的显式公式，涉及勒让德符号与新引入的和 $S_d$。
• 研究同余式 $\sum_{k=0}^{n-1} \binom{2k}{k} \equiv \left(\frac{n}{3}\right) \pmod{n^2}$ 是否对满足 $n \not\equiv 0 \pmod{3}$ 的合数 $n$ 成立，作为对已知素数情形结果的潜在推广。
• 将经典的沃尔斯滕霍尔姆同余式推广至涉及平移卡塔兰数 $C_{p^a n + k}$ 的和，给出模 $p^2$ 的新恒等式。
• 通过生成函数技巧与 $p$-进分析，统一并拓展此前关于卡塔兰数部分和及其加权变体的研究成果。

提出的方法

• 引入一个关键辅助和 $S_d = \sum_{0<k<d} \frac{(-1)^{k-1}}{k} \left(\frac{d-k}{3}\right)$，用于捕捉模 $p^2$ 下的算术行为。
• 使用恒等式 $F(d) = \frac{1}{2}\left(\sum_{k=0}^{p^a-1} \binom{2k}{k+d} - \left(\frac{p^a - d}{3}\right)\right) + (-1)^p p^a S_d - p[p=3]\left(\frac{d}{3}\right)$ 将二项式系数和与勒让德符号及 $S_d$ 关联起来。
• 应用卢卡斯型恒等式与 $p$-进赋值技术，分析模 $p^2$ 下的二项式系数 $\binom{p^a m}{p^a n}$，尤其当 $m \geq n$ 时。
• 通过生成函数变换与组合恒等式，将 $k$ 上的和与 $d$ 与 $p^a - d$ 的对称表达式关联，证明 $F(d) \equiv F(p^a - d) \pmod{p^3}$。
• 以恒等式 $\sum_{k=0}^{p^a-1} \binom{2k}{k+d} \equiv \left(\frac{p^a - d}{3}\right) - p[p=3]\left(\frac{d}{3}\right) + 2p^a S_d \pmod{p^2}$ 作为基础同余式。
• 通过结合二项式系数恒等式、$p$-进展开与勒让德符号性质，推导出主结果 (1.11)，得到包含 $C_n^{-1}$ 与 $p^a S_d$ 的广义和公式。

实验结果

研究问题

• RQ1 同余式 $\sum_{k=0}^{p^a-1} \binom{2k}{k+d} \equiv \left(\frac{p^a - d}{3}\right) \pmod{p^2}$ 能否推广至更高素数幂？若能，需要何种修正项？
• RQ2 和 $\sum_{k=0}^{p^a-1} C_{p^a n + k}$ 模 $p^2$ 的精确结构为何？其与 $C_n$ 及勒让德符号有何关系？
• RQ3 是否存在合数 $n \not\equiv 0 \pmod{3}$，使得 $\sum_{k=0}^{n-1} \binom{2k}{k} \equiv \left(\frac{n}{3}\right) \pmod{n^2}$ 成立，作为对素数情形同余式的可能推广？
• RQ4 和 $S_d = \sum_{0<k<d} \frac{(-1)^{k-1}}{k} \left(\frac{d-k}{3}\right)$ 如何控制模 $p^2$ 下二项式系数和的行为？
• RQ5 恒等式 $\sum_{k=0}^{p^a-1} \binom{2k}{k+d} \equiv \left(\frac{p^a - d}{3}\right) \pmod{p}$ 能否加强为模 $p^2$，并显式给出修正项？

主要发现

• 对所有素数 $p$、正整数 $a$ 与 $d \in \{0, \dots, p^a\}$，同余式 $\sum_{k=0}^{p^a-1} \binom{2k}{k+d} \equiv \left(\frac{p^a - d}{3}\right) - p[p=3]\left(\frac{d}{3}\right) + 2p^a S_d \pmod{p^2}$ 成立，推广了先前结果。
• 建立了同余式 $\sum_{k=0}^{p^a-1} C_k \equiv 1 - 3\left(\frac{p^a - 1}{3}\right) \equiv \frac{3\left(\frac{p^a}{3}\right) - 1}{2} \pmod{p^2}$，将潘与孙的工作拓展至更高的 $a$ 值。
• 证明了恒等式 $\sum_{k=0}^{p^a-1} kC_k \equiv \left(\frac{p^a - 1}{3}\right) - p[p=3] \equiv \frac{1 - \left(\frac{p^a}{3}\right)}{2} \pmod{p^2}$，给出了加权和的显式公式。
• 当 $m \geq n$ 时，广义和 $\frac{n+1}{\binom{m}{n}} \sum_{k=0}^{p^a-1} \binom{p^a m + 2k}{p^a n + k + d}$ 满足一个模 $p^2$ 的同余式，涉及 $S_d$、勒让德符号与修正项。
• 推导出公式 $\frac{1}{C_n} \sum_{k=0}^{p^a-1} C_{p^a n + k} \equiv 1 - 3(n+1)\left(\frac{p^a - 1}{3}\right) \pmod{p^2}$，将卡塔兰数和推广至平移索引。
• 论文通过计算确认，在 $n \leq 10^4$ 且 $n \not\equiv 0 \pmod{3}$ 的合数中，不存在满足 $\sum_{k=0}^{n-1} \binom{2k}{k} \equiv \left(\frac{n}{3}\right) \pmod{n^2}$ 的 $n$，提示此类同余式可能仅对素数成立。