[论文解读] Congruence properties for the trinomial coefficients

Moa Apagodu, Ji-Cai Liu|arXiv (Cornell University)|Jul 31, 2019

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

一句话总结

本文建立了关于三项式系数模素数幂的新同余性质，扩展了经典结果如沃尔斯滕霍尔姆定理。通过组合恒等式与模运算，作者证明了对任意素数 $p \geq 5$，有 $\binom{2p}{p} \equiv 2 \pmod{p^2}$，并推导出单重与双重三项式系数和的相关同余式，包括与勒让德符号及卡塔兰型和的关系。

ABSTRACT

In this paper, we state and prove some congruence properties for the trinomial coeficients, one of which is similar to the Wolstenholme's theorem.

研究动机与目标

• 将沃尔斯滕霍尔姆定理等经典同余定理扩展至三项式系数。
• 研究三项式系数和模素数幂的行为。
• 为三项式系数建立已知二项式和同余式（如孙-陶拉索）的类比。
• 提出中心三项式系数同余式的 $q$-类比猜想。
• 探索三项式系数、勒让德符号与模素数的组合恒等式之间的联系。

提出的方法

• 利用展开式 $ (1+x+x^{-1})^n = \sum_{j=-n}^n \binom{n}{j} x^j $ 推导中心三项式系数 $\binom{2p}{p}$ 的组合恒等式。
• 应用模 $p^2$ 的模运算技术，分析二项式与三项式系数和。
• 利用已知同余式如 $\sum_{k=1}^{(p-1)/2} \frac{1}{k} \binom{2k}{k} \equiv 0 \pmod{p}$ 简化高阶和式。
• 运用生成函数恒等式及恒等式 $\sum_{k=m}^n \binom{k}{m} = \binom{n+1}{m+1}$ 计算双重和式。
• 利用二项式系数模 $p$ 的对称性与周期性，将 $\mathbb{Z}/p\mathbb{Z}$ 上的和式化简。
• 基于数值证据提出 $q$-类比猜想，其中 $q$-整数定义为 $[p]_q = (1-q^p)/(1-q)$。

实验结果

研究问题

• RQ1 是否存在类似于沃尔斯滕霍尔姆定理的同余式，适用于三项式系数模 $p^3$？
• RQ2 单重与双重三项式系数和能否以 $3^p$ 与模 $p^2$ 下的勒让德符号表示？
• RQ3 当 $0 < j < p$ 时，$\sum_{k=0}^{p-1} \binom{k}{j}$ 模 $p$ 的行为如何？
• RQ4 双重和式 $\sum_{m=0}^{p-1} \sum_{n=0}^{p-1} \binom{m}{n}$ 模 $p$ 的行为如何？
• RQ5 是否存在中心三项式同余式 $\binom{2p}{p} \equiv 2 \pmod{p^2}$ 的 $q$-类比？若存在，其形式为何？

主要发现

• 对任意素数 $p \geq 5$，中心三项式系数满足 $\binom{2p}{p} \equiv 2 \pmod{p^2}$，这是沃尔斯滕霍尔姆定理的直接类比。
• 和式 $\sum_{j=0}^{p} \binom{p}{j} \equiv \frac{1}{2}(1 + 3^p) \pmod{p^2}$，将三项式和与 3 的幂联系起来。
• 和式 $\sum_{j=0}^{p-1} \binom{p-1}{j} \equiv \frac{1}{2}\left(1 + \left(\frac{p}{3}\right)\right) \pmod{p}$，其中 $\left(\frac{\cdot}{p}\right)$ 为勒让德符号。
• 当 $0 < j < p$ 时，有 $\sum_{k=0}^{p-1} \binom{k}{j} \equiv \frac{(-1)^j + 1}{2} \cdot (-1)^{(p-j-1)/2} \pmod{p}$，表明其依赖于 $j$ 的奇偶性。
• 双重和式 $\sum_{m=0}^{p-1} \sum_{n=0}^{p-1} \binom{m}{n} \equiv \frac{1}{2}\left((-1)^{(p-1)/2} + 1\right) \pmod{p}$，当 $p \equiv 1 \pmod{4}$ 时为 1，当 $p \equiv 3 \pmod{4}$ 时为 0。
• 提出一个中心三项式同余式的 $q$-类比猜想：$\left(\binom{2p}{p}\right)_q \equiv 2\left\lfloor\frac{p+3}{6}\right\rfloor + p \right)(q^p - 1) + 2 \pmod{[p]_q^2}$，当 $q \to 1$ 时退化为经典结果。