[论文解读] New developments of an old identity

Rui Duarte, António Guedes de Oliveira|arXiv (Cornell University)|Mar 24, 2012

Limits and Structures in Graph Theory参考文献 1被引用 5

一句话总结

本文通过将中心二项式系数解释为 $2i$-集的 $i$-子集的数量，提出了一种类经典恒等式 $\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j} = 4^n$ 的新颖组合证明。该证明基于在 $2\times n$ 网格中，将带颜色槽的有序配置与无塔配置之间建立双射。关键贡献在于对恒等式提供了新的直接组合解释，同时通过实参数推广了该恒等式，并显式推导出 $\binom{2n+\ell}{n}$ 的生成函数。

ABSTRACT

We give a direct combinatorial proof of a famous identity, $$ \sum_{i+j=n} m{2i}{i} \binom{2j}{j} = 4^n $$ by actually counting pairs of $k$-subsets of $2k$-sets. Then we discuss two different generalizations of the identity, and end the paper by presenting in explicit form the ordinary generating function of the sequence $(\strut\binom{2n+k}{n})_{n\in\mathds{N}_0}$, where $k\in\mathds{R}$.

研究动机与目标

• 通过将 $\binom{2i}{i}$ 解释为 $2i$-集的 $i$-子集数量，为恒等式 $\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j} = 4^n$ 提供一种直接的组合证明。
• 将恒等式推广至 $\sum_{i+j=n}\binom{2i-\ell}{i}\binom{2j+\ell}{j} = 4^n$，其中 $\ell$ 为实数，扩展已知结果。
• 显式推导序列 $\left(\binom{2n+\ell}{n}\right)_{n\in\mathbb{N}_0}$ 的普通生成函数，适用于实数 $\ell$。
• 建立双射 $\varphi$，将有序 $n$-配置（带颜色槽）与无塔 $n$-配置之间建立对应，同时保持无塔配置不变。
• 将恒等式推广至 $t$-重和，其中实参数 $\ell_1,\dots,\ell_t$ 之和为零，得到关于参数的对称恒等式。

提出的方法

• 构造一个 $2\times n$ 的矩形 $R$，将其划分为左部 $2\times i$ 和右部 $2\times j$ 的子矩形，其中 $i+j=n$，并通过用不同颜色标记左部 $i$ 个槽和右部 $j$ 个槽来定义配置。
• 将有序 $n$-配置定义为：左子矩形中 $i$ 个带颜色的槽连续排列，右子矩形中 $j$ 个带颜色的槽也连续排列，对应于子集对 $(A,B)$。
• 引入“塔”（两格均被着色的列）和“空列”（无着色槽的列）的概念，并定义双射 $\varphi$，将具有 $k$ 个塔的有序配置映射为具有 $k$ 个相邻颜色变化的配置。
• 对正数 $\ell$ 使用容斥原理，证明推广的恒等式 $\sum_{i+j=n}\binom{2i-\ell}{i}\binom{2j+\ell}{j} = 4^n$，且不依赖于 $\sum \binom{2n}{n}x^n = (1-4x)^{-1/2}$ 的生成函数。
• 通过组合已知的中心二项式系数生成函数 $g(x) = (1-4x)^{-1/2}$ 和卡塔兰数生成函数 $C(x)$，结合微分恒等式与泽尔伯格算法（Zeilberger's algorithm），验证系数恒等式，从而推导出 $\binom{2n+\ell}{n}$ 的生成函数。
• 当 $\sum \ell_k = 0$ 时，通过多项式次数分析与有限差分法，建立 $t$-重推广恒等式 $\sum_{i_1+\cdots+i_t=n}\binom{2i_1+\ell_1}{i_1}\cdots\binom{2i_t+\ell_t}{i_t} = \frac{4^n}{n!}\frac{\Gamma(n+\frac{t}{2})}{\Gamma(\frac{t}{2})}$。

实验结果

研究问题

• RQ1 能否为恒等式 $\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j} = 4^n$ 提供一种直接的组合证明，其中 $\binom{2i}{i}$ 表示 $2i$-集的 $i$-子集数量，而非通过格路或其他间接解释？
• RQ2 推广的恒等式 $\sum_{i+j=n}\binom{2i-\ell}{i}\binom{2j+\ell}{j} = 4^n$ 对实数 $\ell$ 的组合解释是什么？
• RQ3 如何显式推导出 $\binom{2n+\ell}{n}$ 的普通生成函数，适用于实数 $\ell$？
• RQ4 当 $\ell_1 + \cdots + \ell_t = 0$ 时，该恒等式的 $t$-重推广具有何种结构？其与超几何恒等式有何关联？
• RQ5 能否通过微分与代数恒等式，将 $\binom{2n+\ell}{n}$ 的生成函数表示为 $g(x) = (1-4x)^{-1/2}$ 与卡塔兰生成函数 $C(x)$ 的组合形式？

主要发现

• 为 $\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j} = 4^n$ 提供了一种新的直接组合证明，通过在 $2\times n$ 网格中将各项建模为带颜色子集的有序配置。
• 双射 $\varphi$ 将具有 $k$ 个塔的有序 $n$-配置映射为具有 $k$ 个相邻颜色变化的配置，从而在不依赖生成函数的前提下，组合性地证明了恒等式。
• 推广的恒等式 $\sum_{i+j=n}\binom{2i-\ell}{i}\binom{2j+\ell}{j} = 4^n$ 对所有实数 $\ell$ 成立，其证明基于容斥原理与多项式次数分析。
• 序列 $\binom{2n+\ell}{n}$ 的普通生成函数被显式给出为 $g(x)C(x)^\ell = \sum_{n\geq 0}\binom{2n+\ell}{n}x^n$，其中 $g(x) = (1-4x)^{-1/2}$，$C(x)$ 为卡塔兰数生成函数。
• 当 $\sum \ell_k = 0$ 时，$t$-重推广恒等式 $\sum_{i_1+\cdots+i_t=n}\binom{2i_1+\ell_1}{i_1}\cdots\binom{2i_t+\ell_t}{i_t} = \frac{4^n}{n!}\frac{\Gamma(n+\frac{t}{2})}{\Gamma(\frac{t}{2})}$ 成立，其推导基于有限差分与多项式恒等式。
• 通过泽尔伯格算法与证书函数 $G(n,i)$ 验证了系数恒等式 $\sum_{i=0}^n \binom{2n-i}{n-i}\binom{\ell+i-1}{i} = \binom{2n+\ell}{n}$，从而确认了生成函数推导的正确性。