[论文解读] Narayana polynomials and some generalizations

Ricky X. F. Chen, Christian M. Reidys|arXiv (Cornell University)|Nov 10, 2014

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

一句话总结

本文提出了一种基于带颜色标记平面树的组合框架，用于推导并统一涉及Narayana多项式及其推广的二项式恒等式。通过与匹配关系建立双射并应用符号相反的对合，作者为Stanley的双射问题、Harer-Zagier公式以及Narayana多项式的新型表达式提供了统一的组合证明，同时识别出一类与Schröder数相关的树。

ABSTRACT

In this note, by counting some colored plane trees we obtain several binomial identities. These identities can be viewed as specific evaluations of certain generalizations of the Narayana polynomials. As consequences, it provides combinatorial proofs for a bijective problem in Stanley's collection "Bijective Proof Problems", a new formula for the Narayana polynomials as well as a new expression for the Harer-Zagier formula enumerating unicellular maps, in a unified way. Furthermore, we identify a class of plane trees, whose enumeration is closely connected to the Schröder numbers. Many other binomial identities are presented as well.

研究动机与目标

• 提供一个统一的组合框架，用于证明涉及Narayana多项式及其推广的恒等式。
• 利用带颜色的平面树与符号相反的对合，解决Stanley在文献中提出的双射证明问题（15）。
• 通过树的计数方法，推导出Harer-Zagier公式的新表达式，该公式用于枚举单元地图。
• 识别出一类新的平面树，其计数涉及Schröder数。
• 利用生成函数与单位根滤波法，推广二项式恒等式。

提出的方法

• 定义带内部顶点标记和Y/N颜色叶子的带颜色标记平面树，并利用Chen算法建立其与n组匹配的双射。
• 在具有颜色叶子的树上应用符号相反的对合，以消去各项并分离出常数项，从而得出恒等式（3）。
• 应用生成函数技术与单位根滤波法，推导广义二项式恒等式，特别使用 $ \omega_k = e^{2\pi i/k} $。
• 利用恒等式 $ \sum_{i \geq 0} \binom{n}{a+ki} x^{a+ki} = \frac{1}{k} \sum_{l=1}^k \omega_k^{-a} (1 + x \omega_k^l)^n $ 提取周期性系数。
• 通过树与匹配之间的双射，枚举在内部顶点与颜色叶子上具有约束的结构，从而导出多项式系数。
• 通过在主恒等式（27）中设定参数 $ x, q, z, k, t $，推导广义恒等式，并计算特例。

实验结果

研究问题

• RQ1 是否存在一个单一的组合模型，能够统一证明Stanley的双射问题、Harer-Zagier公式与Narayana多项式恒等式？
• RQ2 哪一类平面树对应于Schröder数？其计数特性如何刻画？
• RQ3 如何通过组合方法推导涉及 $ \sum_{l} \binom{kn+t}{kl+t} \binom{\cdots}{\cdots} z^{kl} $ 的广义二项式恒等式？
• RQ4 Harer-Zagier公式能否通过树的计数与匹配关系重新表达并进行组合证明？
• RQ5 单位根在从基于树的生成函数中提取周期性二项式系数和方面起到什么作用？

主要发现

• 通过在带颜色的树上应用符号相反的对合，组合证明了恒等式 $ \sum_{k=0}^n (-1)^{n-k} \binom{n}{k} \binom{k+r}{n+q} = \binom{r}{q} $。
• 推导出Narayana多项式的新型表达式：$ \sum_{k=1}^n N_{n,k} y^k = \sum_{k=0}^n \frac{1}{n+1} \binom{n+1}{k} \binom{2n-k}{n} (y-1)^k $，该式统一了Stanley的恒等式与Lehman-Walsh公式。
• 通过树的计数方法，重新表达并组合证明了Harer-Zagier公式，用于枚举单元地图，确认其与Lehman-Walsh公式的等价性。
• 通过参数化树的构造，识别出一类新的平面树，其计数涉及Schröder数。
• 利用单位根滤波法，建立了广义恒等式（27）–（36），为周期性二项式系数和提供了闭式表达，结合生成函数。
• 特例（28）–（30）恢复了已知恒等式，如 $ \sum_l \binom{n}{l} \binom{n+x+q+l-2}{n+q-1} z^l = \sum_l \binom{n}{l} \binom{x+q+n-2}{q+n-1-l} z^l (1+z)^{n-l} $。