[论文解读] (k,m)-Catalan Numbers and Hook Length Polynomials for Plane Trees

Rosena R. X. Du, Fu Liu|ArXiv.org|Jan 11, 2005

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

一句话总结

本文引入了 m-叉树与平面森林的 (k,m)-Catalan 数与钩长多项式，推广了经典的 Catalan 结构。文中建立了这些多项式的闭式二项式表达式，并证明了在整数 k 处求值时，其结果即为 (k,m)-Catalan 数 $ C_{k,m}(n) = \frac{1}{mn+1} \binom{(mn+1)k}{n} $，通过递推关系与生成函数，将 Postnikov 的恒等式推广至更高 arity 的树结构。

ABSTRACT

Motivated by a formula of A. Postnikov relating binary trees, we define the hook length polynomials for m-ary trees and plane forests, and show that these polynomials have a simple binomial expression. An integer value of this expression is C_{k,m}(n)=\frac{1}{mn+1}{(mn+1)k \choose n}, which we call the (k,m)-Catalan number. For proving the hook length formulas, we also introduce a combinatorial family, (k,m)-ary trees, which are counted by the (k,m)-Catalan numbers.

研究动机与目标

• 将 Postnikov 针对二叉树的钩长恒等式推广至 m-叉树与平面森林。
• 定义并表征 (k,m)-叉树作为一类由 (k,m)-Catalan 数计数的新组合结构。
• 证明 (m+1)-叉树的钩长多项式满足与 (k,m)-Catalan 数生成函数相同的递推关系。
• 将钩长公式扩展至平面森林，并推导出关于钩长乘积的新恒等式。

提出的方法

• 将 (k,m)-叉树定义为根的、无标号的、平面的树，其中偶数层上的顶点度数为 k，奇数层上的顶点度数为 m 或 0，且恰好有 n 个度数为 m 的内部顶点。
• 为 (m+1)-叉树引入钩长多项式 $ H_{n,m}(x) = \sum_{T} \prod_{v \in T} \frac{(m h_v + 1)x + 1 - h_v}{(m+1) h_v} $，其中 $ h_v $ 表示顶点 v 处的钩长。
• 证明钩长多项式满足与 (k,m)-Catalan 数生成函数相同的递推关系。
• 利用生成函数与微分方程，推导出 (k,m)-Catalan 数的闭式表达式 $ \frac{1}{mn+1} \binom{(mn+1)k}{n} $。
• 通过定义 n 个顶点的所有平面森林的钩长多项式，并证明类似的递推关系，将框架扩展至平面森林。
• 通过验证在 x 的整数值下恒等式成立，并应用多项式恒等定理，验证该恒等式。

实验结果

研究问题

• RQ1 能否通过多项式形式，将 Postnikov 针对二叉树的钩长恒等式推广至 m-叉树与平面森林？
• RQ2 广义二项式系数 $ \frac{1}{mn+1} \binom{(mn+1)k}{n} $ 对应的组合结构是什么？如何构造该结构？
• RQ3 (m+1)-叉树与 (k,m)-叉树的钩长多项式是否满足相同的递推关系？
• RQ4 钩长多项式在整数 k 处的求值是否存在统一的组合解释？
• RQ5 平面森林的恒等式能否通过 m-叉树的结构分解推导得出？

主要发现

• (m+1)-叉树的钩长多项式为 $ \sum_{T} \prod_{v} \frac{(m h_v + 1)x + 1 - h_v}{(m+1) h_v} = \frac{1}{mn+1} \binom{(mn+1)x}{n} $，该恒等式作为多项式恒等式成立。
• 在 $ x = k $ 处求值钩长多项式，可得 (k,m)-Catalan 数 $ C_{k,m}(n) = \frac{1}{mn+1} \binom{(mn+1)k}{n} $。
• (k,m)-叉树被定义为根的平面树，其中偶数层顶点的度数为 k，奇数层顶点的度数为 m 或 0，且恰好有 n 个度数为 m 的内部顶点，此类树由 $ C_{k,m}(n) $ 计数。
• 对于具有 n 个顶点的平面森林，当 m=2 时，钩长多项式满足 $ \sum_{F} \prod_{v} \left(x + \frac{1}{h_v}\right) = \frac{1}{(2n+1)n!} \prod_{i=0}^{n-1} \left((2n+1-i)x + (2n+1-2i)\right) $。
• 恒等式 $ \sum_{F} \prod_{v} \left(2 - \frac{1}{h_v}\right) = \frac{(2n+1)^{n-1}}{n!} $ 对平面森林成立，提供了新的组合恒等式。
• 三叉树与平面森林的钩长多项式一致：$ H_{n,3}(x) = F_n(x) $，暗示这两类结构之间存在更深层次的结构性联系。