[论文解读] Asymptotics of partial sums of central binomial coefficients and Catalan numbers

Sandro Mattarei|arXiv (Cornell University)|Jun 23, 2009

Advanced Combinatorial Mathematics参考文献 4被引用 6

一句话总结

本文使用生成函数和Darboux方法，推导出中心二项式系数与Catalan数部分和的高阶渐近展开式。同时，还给出了截断生成函数在模素数幂下的闭式表达，通过初等幂级数运算和特征p下的Frobenius自同态，得到新的同余关系。

ABSTRACT

We prove exact asymptotic expansions for the partial sums of the sequences of central binomial coefficients and Catalan numbers, $\sum_{k=0}^n \binom{2k}{k}$ and $\sum_{k=0}^n C_n$. We also obtain closed forms for the polynomials $\sum_{k=0}^{q-1}\binom{2k}{k}x^k$ and $\sum_{k=0}^{q-1}C_kx^k$ over the field of $p$ elements, where $q$ is a power of the prime $p$.

研究动机与目标

• 在已知的一阶估计基础上，进一步精确化部分和 ∑ₖ₌₀ⁿ binom(2k,k) 与 ∑ₖ₌₀ⁿ Cₖ 的渐近行为。
• 使用生成函数与Darboux方法，提取系数，推导出精确的渐近展开式。
• 在特征为p的有限域上，对 ∑ₖ₌₀^{q-1} binom(2k,k)x^k 与 ∑ₖ₌₀^{q-1} Cₖx^k 建立闭式表达，其中q为p的幂。
• 仅通过初等生成函数技巧与恒等式 (1+x)^q ≡ 1+x^q mod p，重新推导并证明这些和的已知p进同余关系。

提出的方法

• 使用生成函数 1/sqrt(1-4x) 表示中心二项式系数，使用 (1-sqrt(1-4x))/(2x) 表示Catalan数。
• 通过代换 z=4x，将部分和的生成函数变换为 1/sqrt(1-z) * 4/(4-z)。
• 应用Darboux引理由Puiseux级数在主导奇点z=1处提取渐近展开。
• 利用恒等式 (1-4x)^q ≡ 1 - (4x)^q mod p，将无穷级数约化为模p下的有限多项式。
• 借助Frobenius自同态 (1+x)^q ≡ 1 + x^q mod p，推导截断生成函数的同余关系。
• 在x=1处求值，得到部分和模p的同余关系。

实验结果

研究问题

• RQ1 在已知的主导项估计 4^{n+1}/(3√(πn)) 之外，∑ₖ₌₀ⁿ binom(2k,k) 与 ∑ₖ₌₀ⁿ Cₖ 的高阶渐近展开式是什么？
• RQ2 能否在F_q上导出 ∑ₖ₌₀^{q-1} binom(2k,k)x^k 与 ∑ₖ₌₀^{q-1} Cₖx^k 的闭式表达，其中q为素数p的幂？
• RQ3 能否仅通过初等生成函数运算与有限域恒等式，重新推导已知的这些和的p进同余关系？
• RQ4 生成函数 ∑ₖ₌₀^{q-1} binom(2k,k)x^k 模p的结构是什么？它与 (1-4x)^{(q-1)/2} 有何关系？

主要发现

• 部分和 ∑ₖ₌₀ⁿ binom(2k,k) 具有渐近展开式 4^{n+1}/(3√(πn)) × (1 + 1/(24n) + 59/(384n²) + 2425/(9216n³) + O(n⁻⁴))。
• 部分和 ∑ₖ₌₀ⁿ Cₖ 具有渐近展开式 4^{n+1}/(3n√(πn)) × (1 + 1/(24n) + 59/(384n²) + 2425/(9216n³) + O(n⁻⁴))。
• 在F_p上，当q为奇素数p的幂时，有恒等式 ∑ₖ₌₀^{q-1} binom(2k,k)x^k ≡ (1-4x)^{(q-1)/2} mod p 成立。
• 在F_p上，当q为奇素数p的幂时，有恒等式 ∑ₖ₌₀^{q-1} Cₖx^k ≡ (1 - (1-4x)^{(q+1)/2})/(2x) - x^{q-1} mod p 成立。
• 将上述多项式在x=1处求值，可得同余关系 ∑ₖ₌₀^{q-1} binom(2k,k) ≡ (3^{(q-1)/2} - 1)/2 mod p 与 ∑ₖ₌₀^{q-1} Cₖ ≡ (3(q/3) - 1)/2 mod p，其中 (q/3) 为勒让德符号。
• 通过重复应用算子 xD，该方法可推广至含 k^m binom(2k,k) 与 k^m Cₖ 的和，从而在模p下重新获得已知结果。