[论文解读] A Combinatorial Interpretation of The Numbers $6(2n)! /n! (n+2)!$

Ira M. Gessel, Guoce Xin|ArXiv.org|Jan 22, 2004

Advanced Combinatorial Mathematics参考文献 5被引用 18

一句话总结

本文首次为超卡塔兰数 $ T(2,n) = \frac{6(2n)!}{n!(n+2)!} $ 和 $ T(3,n) = \frac{60(2n)!}{n!(n+3)!} $ 提供了组合解释，表明 $ T(2,n) $ 计数的是总半长为 $ n $ 的 Dyck 路径对，其高度差至多为 1；$ T(3,n) $ 计数的是满足特定高度与终点约束的 ballot 路径三元组，方法包括组合与生成函数方法的结合。

ABSTRACT

It is well known that the numbers $(2m)! (2n)!/m! n! (m+n)!$ are integers, but in general there is no known combinatorial interpretation for them. When $m=0$ these numbers are the middle binomial coefficients $\binom{2n}{n}$, and when $m=1$ they are twice the Catalan numbers. In this paper, we give combinatorial interpretations for these numbers when $m=2$ or 3.

研究动机与目标

• 为超卡塔兰数 $ T(m,n) = \frac{1}{2} \frac{(2m)!(2n)!}{m!n!(m+n)!} $ 在 $ m=2 $ 和 $ m=3 $ 时提供组合解释，此前这些情况尚无此类解释。
• 解决关于在已知 $ m=0 $（中间二项式系数）和 $ m=1 $（两倍卡塔兰数）之外，为这些整数寻找自然组合模型的开放问题。
• 建立超卡塔兰数与具有高度限制的路径计数之间的联系，特别是涉及 Dyck 路径与 ballot 路径的情形。
• 证明 $ T(2,n) $ 计数的是总半长为 $ n $ 的 Dyck 路径对，且两路径高度差至多为 1，使用容斥原理与路径变换技术。
• 将此方法扩展至 $ T(3,n) $，尽管 $ T(3,n) = 16C_n - 8C_{n+1} + C_{n+2} $ 缺乏直接的组合解释，通过使用生成函数与路径分解实现。

提出的方法

• 本文利用 Dyck 路径对与长度为 $ 2n $ 的 Dyck 路径之间的双射，借助非空 Dyck 路径的分解式 $ R = UDPQ $。
• 引入一种变换，通过将一个下移步改为上移步，并将第二条路径整体上移两个层级，从而修改 Dyck 路径，同时保持路径结构与层级约束。
• 对于 $ T(2,n) $，关键条件 $ h(P) \leq h(Q) + 1 $ 被强制执行，证明依赖于恒等式 $ T(2,n) = 4C_n - C_{n+1} $，该恒等式通过容斥原理进行组合解释。
• 对于 $ T(3,n) $，方法转向生成函数，使用生成函数 $ G_k^{(j)} $ 表示高度至多为 $ k $ 且终点在层级 $ j $ 的 ballot 路径，定义 $ H_k^{(j)} = G_k^{(j)} - G_{k-1}^{(j)} $ 以表示恰好高度为 $ k $ 的路径。
• 生成函数 $ G_k^{(j)} $ 以卡塔兰数与有理函数表示，形式为 $ G_k^{(j)} = x^{j/2} \frac{p_{k-j}}{p_{k+1}} $，其中 $ p_n(x) $ 是与切比雪夫多项式相关的多项式。
• 通过将关于 $ x $ 的有理表达式与指定高度与终点的路径生成函数乘积之和相等，推导出 $ T(3,n) $ 的主生成函数恒等式，并通过符号计算（Maple）验证。

实验结果

研究问题

• RQ1 超卡塔兰数 $ T(2,n) = \frac{6(2n)!}{n!(n+2)!} $ 能否在格路的语境下获得自然的组合解释？
• RQ2 尽管缺乏简洁的容斥解释，是否存在 $ T(3,n) = \frac{60(2n)!}{n!(n+3)!} $ 的组合模型？
• RQ3 如何将 $ T(3,n) $ 的生成函数表示为具有特定高度与终点约束的 ballot 路径生成函数乘积之和？
• RQ4 恒等式 $ T(2,n) = 4C_n - C_{n+1} $ 能否通过具有高度限制的路径对进行组合解释？
• RQ5 被 $ T(3,n) $ 计数的路径配置的确切结构是什么？它们与定理 4.2 中的生成函数分解有何关联？

主要发现

• 数 $ T(2,n) $ 计数的是总半长为 $ n $ 的 Dyck 路径对，使得第一条路径的高度至多比第二条路径高 1。
• 恒等式 $ T(2,n) = 4C_n - C_{n+1} $ 通过在路径对上使用容斥原理进行组合解释：$ 4C_n $ 计数所有第一条路径非空的路径对，$ C_{n+1} $ 计数违反高度条件的路径对。
• 对于 $ T(3,n) $，本文证明了其生成函数等于 $ \sqrt{x} \sum_{k=6}^{\infty} H_k^{(4)} H_{k-2}^{(3)} H_{k-4}^{(2)} + 2G_1 + 2G_2 + G_3 + G_5 $，其中 $ H_k^{(j)} $ 计数的是恰好高度为 $ k $ 且终点在层级 $ j $ 的 ballot 路径。
• 生成函数 $ G_k^{(j)} $ 表示高度至多为 $ k $ 且终点在层级 $ j $ 的 ballot 路径，其表达式为 $ G_k^{(j)} = x^{j/2} \frac{p_{k-j}}{p_{k+1}} $，其中 $ p_n(x) $ 是与切比雪夫多项式相关的多项式序列。
• 通过恒等式 $ \frac{1}{2}(-1)^m(1-4x)^{m-1/2} = \sum_{n} T(m,n) x^{m+n} $ 代数推导出 $ T(3,n) $ 的生成函数，并通过符号计算验证。
• 本文确认了对所有 $ n \geq 2 $，$ T(3,n) $ 均为正整数，并提供了构造性的（尽管复杂）组合模型，涉及满足特定高度与终点约束的路径三元组。