[论文解读] Humps for Dyck and for Motzkin paths

Amitai Regev|arXiv (Cornell University)|Feb 24, 2010

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

一句话总结

本文推导出Dyck路径与Motzkin路径中总拱数的显式公式，揭示了拱数与特定形状的标准杨表（SYT）之间出人意料的联系。研究发现，长度为 $2n$ 的Dyck路径的总拱数为 $inom{2n-1}{n}$，即形状为 $(n,1^n)$ 的标准杨表的数量；而对于长度为 $n$ 的Motzkin路径，其拱数为 $S(2,1;n) - 1$，其中 $S(2,1;n)$ 是 $(2,1)$ 钩形中所有分拆的 $f^ au$ 之和。这一发现揭示了路径拱数与标准杨表计数之间深刻的组合对偶性。

ABSTRACT

We calculate the total number of humps in Dyck and in Motzkin paths, and we give Standard-Young-Tableaux-interpretations of the numbers involved. One then observes the intriguing phenomena that the humps-calculations change the partitions in a strip to partitions in a hook.

研究动机与目标

• 计算所有长度为 $2n$ 的Dyck路径中拱的总数。
• 推导所有长度为 $n$ 的Motzkin路径中拱的总数。
• 为Dyck路径与Motzkin路径中的拱数提供标准杨表（SYT）的解释。
• 揭示一种结构对偶性：拱数计数将条形分拆转化为钩形分拆。
• 将分析扩展至双Dyck路径，并推导出 $\mathcal{H}S(4,0;n)$ 的新恒等式。

提出的方法

• 通过路径分解建立递推关系：Dyck路径在首次返回x轴处拆分，Motzkin路径在首次返回或首次上下对处拆分。
• 应用WZ方法证明支撑拱数递推关系的关键二项式恒等式。
• 利用已知的 $S(k,\ell;n)$ 恒等式，特别是 $S(4,0;n) = C_{\lfloor(n+1)/2\rfloor} \cdot C_{\lceil(n+1)/2\rceil}$，将 $S(4,0;n)$ 解释为双Dyck路径。
• 建立 $S(4,0;n)$ 的双Dyck路径解释，其中每条路径是两条Dyck路径的连接。
• 利用 $\mathcal{H}C_n = \binom{2n-1}{n}$，通过各分量的拱数之和推导双Dyck路径的拱数。
• 通过已知公式进行直接代数验证，证明恒等式 $\mathcal{H}S(4,0;n) = \frac{n+3}{2} \cdot S(4,0;n)$。

实验结果

研究问题

• RQ1 所有长度为 $2n$ 的Dyck路径中，拱的总数是多少？
• RQ2 长度为 $n$ 的Motzkin路径的总拱数如何通过标准杨表来解释？
• RQ3 为何Dyck路径的拱数对应于形状 $(n,1^n)$ 的标准杨表数量？
• RQ4 恒等式 $\mathcal{H}S(4,0;n) = \frac{n+3}{2} \cdot S(4,0;n)$ 的组合意义是什么？
• RQ5 是否存在拱数计数下从条形形状到钩形形状变换的双射解释？

主要发现

• 所有长度为 $2n$ 的Dyck路径中，拱的总数为 $\mathcal{H}C_n = \binom{2n-1}{n}$，其值等于形状 $(n,1^n)$ 的标准杨表数量。
• 对于长度为 $n$ 的Motzkin路径，总拱数为 $\mathcal{H}M_n = S(2,1;n) - 1$，其中 $S(2,1;n)$ 是 $(2,1)$ 钩形中所有分拆的 $f^\lambda$ 之和。
• Dyck路径的拱数计数将矩形形状 $(n,n)$ 转化为钩形 $(n,1^n)$，揭示了标准杨表计数中的对偶性。
• Motzkin路径的拱数计数将条形形状 $(3,0)$ 转化为钩形 $(2,1)$，再次显示出拱数计数下的结构转变。
• 对于和 $S(4,0;n)$，双Dyck路径中总拱数满足 $\mathcal{H}S(4,0;n) = \frac{n+3}{2} \cdot S(4,0;n)$，这是一种出人意料的线性关系。
• 恒等式 $\mathcal{H}S(4,0;n) = \frac{n+3}{2} \cdot S(4,0;n)$ 通过已知的 $\mathcal{H}C_n$ 与 $S(4,0;n)$ 公式进行了代数验证。