[论文解读] Some congruences for the second-order Catalan numbers

Lilu Zhao, Hao Pan+1 more|ArXiv.org|Sep 21, 2009

Advanced Mathematical Identities参考文献 3被引用 5

一句话总结

本文建立了关于第二类Catalan数 $ C_k^{(2)} = \frac{1}{2k+1}\binom{3k}{k} $ 在奇素数 $ p > 5 $ 模下的新同余式。通过二项式恒等式与Lucas同余式，证明了 $ \sum_{k=1}^{p-1} 2^k C_k^{(2)} \equiv 2((-1)^{(p-1)/2} - 1) \pmod{p} $ 与 $ \sum_{k=1}^{p-1} \frac{2^k C_k^{(2)}}{k} \equiv 4(1 - (-1)^{(p-1)/2}) \pmod{p} $，扩展了此前关于Catalan数和模素数的研究。

ABSTRACT

Let p be any odd prime. We mainly show that $$\sum_{k=1}^{p-1}binomial(3k,k)*2^k/k=0 (mod p)$$ and $$\sum_{k=1}^{p-1}2^{k-1}C_k^{(2)}=(-1)^{(p-1)/2}-1 (mod p),$$ where $C_k^{(2)}=binomial(3k,k)/(2k+1)$ is the $k$th Catalan number of order 2.

研究动机与目标

• 推导第二类Catalan数 $ C_k^{(2)} = \frac{1}{2k+1}\binom{3k}{k} $ 在奇素数模下的新同余式。
• 通过引入2的幂次加权和，扩展此前关于Catalan数和模素数的结果。
• 利用二项式系数的代数操作，建立 $ \sum_{k=1}^{p-1} 2^k C_k^{(2)} \pmod{p} $ 与 $ \sum_{k=1}^{p-1} \frac{2^k C_k^{(2)}}{k} \pmod{p} $ 的模同余恒等式。
• 证明 $ \sum_{k=1}^{p-1} \frac{2^k}{k} \binom{3k}{k} \equiv 0 \pmod{p} $，作为推导主定理的关键中间结果。
• 通过高级组合恒等式与模运算技术，推广早期关于Catalan相关和的同余式。

提出的方法

• 利用第二类Catalan数的定义 $ C_k^{(2)} = \frac{1}{2k+1}\binom{3k}{k} $，将其与二项式系数 $ \binom{3k}{k} $ 和 $ \binom{3k+1}{k} $ 关联。
• 应用二项式恒等式，通过生成函数与系数提取法，将 $ \sum_{k=0}^{p-1} 2^k \binom{3k}{k} $ 与 $ \sum_{k=0}^{p-1} 2^k \binom{3k+1}{k} $ 的和模 $ p $ 化简。
• 利用Lucas同余式 $ \binom{pn+s}{pk+t} \equiv \binom{n}{k}\binom{s}{t} \pmod{p} $ 对大索引的二项式系数进行模 $ p $ 简化，尤其适用于大值情形。
• 结合Fermat小定理与几何级数性质，简化模 $ p $ 下关于 $ s $ 与 $ t $ 的求和，特别是在含 $ (-1)^s $ 与 $ 2^t $ 的双重求和中。
• 应用Wolstenholme同余式 $ \binom{2p}{p} \equiv 2 \pmod{p^3} $ 处理由 $ p^2 $ 模引起的高阶项。
• 综合上述工具，推导递归与模简化关系，最终证明定理1.3：$ \sum_{k=1}^{p-1} \frac{2^k}{k} \binom{3k}{k} \equiv 0 \pmod{p} $，该结果为推导主定理的关键。

实验结果

研究问题

• RQ1 对于奇素数 $ p $，$ \sum_{k=1}^{p-1} 2^k C_k^{(2)} \pmod{p} $ 满足何种同余式？
• RQ2 对于奇素数 $ p $，和式 $ \sum_{k=1}^{p-1} \frac{2^k C_k^{(2)}}{k} \pmod{p} $ 的行为如何？
• RQ3 是否可证明 $ \sum_{k=1}^{p-1} \frac{2^k}{k} \binom{3k}{k} \pmod{p} $ 在模 $ p $ 下恒为零？
• RQ4 二项式恒等式与Lucas同余式在证明Catalan相关和的模同余式中起到何种作用？
• RQ5 第二类Catalan数的结果如何推广或扩展早期关于标准Catalan数的同余式？

主要发现

• 对任意奇素数 $ p > 5 $，有 $ \sum_{k=0}^{p-1} 2^k \binom{3k}{k} \equiv \frac{6(-1)^{(p-1)/2} - 1}{5} \pmod{p} $。
• 对任意奇素数 $ p > 5 $，有 $ \sum_{k=0}^{p-1} 2^k \binom{3k+1}{k} \equiv \frac{4(-1)^{(p-1)/2} + 1}{5} \pmod{p} $。
• 对任意素数 $ p $，有 $ \sum_{k=1}^{p-1} \frac{2^k}{k} \binom{3k}{k} \equiv 0 \pmod{p} $，此为推导主定理的核心结果。
• 和式 $ \sum_{k=1}^{p-1} 2^k C_k^{(2)} \equiv 2((-1)^{(p-1)/2} - 1) \pmod{p} $，其中 $ C_k^{(2)} = \frac{1}{2k+1}\binom{3k}{k} $。
• 和式 $ \sum_{k=1}^{p-1} \frac{2^k C_k^{(2)}}{k} \equiv 4(1 - (-1)^{(p-1)/2}) \pmod{p} $，当 $ p \equiv 1 \pmod{4} $ 时该和为零。
• 证明过程依赖于利用Lucas同余式与Fermat小定理对二项式系数进行模简化，尤其针对接近 $ p $ 的索引。