[论文解读] On the Hook Length Formula for Binary Trees

William Y. C. Chen, Laura L. M. Yang|ArXiv.org|Apr 13, 2005

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

一句话总结

本文给出了二叉树的Postnikov钩长公式的一个组合证明，确立了$(n+1)^n = \sum_T \frac{(n+1)!}{2^n} \prod_{v \in T} \left(1 + \frac{1}{h(v)}\right)$，其中求和遍历所有具有$n$个顶点的二叉树$T$，$h(v)$为顶点$v$的钩长。关键贡献在于基于递推关系的组合论证，将该公式与根树计数联系起来，通过结构分解与递推等价性确认了恒等式。

ABSTRACT

We present a simple combinatorial proof of Postnikov's hook length formula for binary trees.

研究动机与目标

• 为二叉树的Postnikov钩长公式提供一个组合证明，该公式此前缺乏此类推导。
• 在钩长乘积公式与根标号树计数之间建立双射或结构联系。
• 通过递推关系与树分解，证明恒等式$(n+1)^n = \sum_T \frac{(n+1)!}{2^n} \prod_{v \in T} \left(1 + \frac{1}{h(v)}\right)$成立。
• 通过构建钩长乘积的直接组合解释，解决Postnikov的开放问题，将其与树结构联系起来。

提出的方法

• 证明基于将二叉树分解为大小分别为$k$与$n-k-1$的左子树和右子树所导出的递推关系。
• 引入量$F_n = \sum_T \frac{(n+1)!}{2^n} \prod_{v \in T} \left(1 + \frac{1}{h(v)}\right)$，并证明其满足递推关系$F_n = \frac{n+1}{2n} \sum_{k=0}^{n-1} \binom{n+1}{k+1} F_k F_{n-k-1}$。
• 将$F_n$的递推关系与已知的根树数量$R_n = n \cdot n^{n-2} = n^{n-1}$的递推关系进行比较，后者满足$R_{n+1} = \frac{n+1}{2n} \sum_{k=0}^{n-1} \binom{n+1}{k+1} R_{k+1} R_{n-k}$。
• 通过匹配递推结构与初值条件，证明$F_n = (n+1) \cdot n^{n-2!} = (n+1)^{n-1}$，从而推出恒等式$(n+1)^n = \sum_T \cdots$的形式。
• 该论证依赖于已知的组合解释：$R_n$表示$n$个顶点的根标号树的数量。
• 利用恒等式$\frac{(n+1)!}{2^n} \left(1 + \frac{1}{n}\right) = \frac{n+1}{2n} \binom{n+1}{k+1} \frac{(k+1)!}{2^k} \frac{(n-k)!}{2^{n-k-1}}$，将子树间的钩长乘积联系起来。

实验结果

研究问题

• RQ1 Postnikov的二叉树钩长公式能否通过组合方法而非代数方法证明？
• RQ2 在所有具有$n$个顶点的二叉树$T$上，乘积$\prod_{v \in T} \left(1 + \frac{1}{h(v)}\right)$是否存在结构或双射解释？
• RQ3 恒等式$(n+1)^n = \sum_T \frac{(n+1)!}{2^n} \prod_{v \in T} \left(1 + \frac{1}{h(v)}\right)$是否对应于某一类已知的组合对象？
• RQ4 钩长公式如何通过递推关系与根标号树的计数相联系？

主要发现

• 本文确立了$F_n = (n+1)^{n-1}$，其中$F_n$为所有具有$n$个顶点的二叉树$T$的$\frac{n!}{2^n} \prod_{v \in T} \left(1 + \frac{1}{h(v)}\right)$之和，从而确认了Postnikov的恒等式。
• 推导出递推关系$F_n = \frac{n+1}{2n} \sum_{k=0}^{n-1} \binom{n+1}{k+1} F_k F_{n-k-1}$，并证明其与根标号树数量$R_n = n^{n-1}$的递推关系一致。
• 通过证明$F_n = (n+1) \cdot n^{n-2} = (n+1)^{n-1}$，确认了恒等式$(n+1)^n = \sum_T \frac{(n+1)!}{2^n} \prod_{v \in T} \left(1 + \frac{1}{h(v)}\right)$，从而推出$n+1$形式的公式。
• 证明通过将钩长乘积与通过特定边分解标号树为有序根树对的方式，提供了组合解释。
• 由于$F_n$与$R_n$的递推关系等价，恒等式得以确认，而无需依赖纯代数运算。
• 结果表明，二叉树的钩长公式与根标号树的计数之间存在通过递推双射建立的结构性联系。