[论文解读] A New Bijection Between Forests and Parking Functions

Heesung Shin|ArXiv.org|Oct 2, 2008

Computational Geometry and Mesh Generation参考文献 1被引用 10

一句话总结

本文提出了一种根森林与停车函数之间的非递归双射，同时保持三个关键统计量：逆序数、领头者数量和树的数量。该构造为Gessel与Seo关于停车函数上幸运统计量的公式提供了双射证明，解决了Stanley长期提出的关于非递归对应关系的开放问题。

ABSTRACT

In 1980, G. Kreweras gave a recursive bijection between forests and parking functions. In this paper we construct a nonrecursive bijection from forests onto parking functions, which answers a question raised by R. Stanley. As a by-product, we obtain a bijective proof of Gessel and Seo's formula for lucky statistic on parking functions.

研究动机与目标

• 构建根森林与停车函数之间的非递归双射，解决Stanley在2007年提出的问题。
• 为Gessel与Seo关于停车函数上幸运统计量的生成函数公式提供双射证明。
• 在单个双射下，建立根森林中的三个组合统计量（逆序数、领头者数、树数）与停车函数中对应统计量（跳跃数、幸运值、关键车辆数）的同步对应关系。
• 通过构造性双射映射，证明两侧的这些统计量的生成函数完全一致。

提出的方法

• 定义一个顶点到车辆的对应关系θF，将森林F中的每个顶点v映射到停车函数φ(F)中的一个车辆c，使得inv(F:v) = jump(φ(F):c)。
• 采用森林的规范绘图规则以确保唯一表示：根在顶部，树按最大标签排序，兄弟节点按后代最大标签排序。
• 对由森林结构导出的序列应用停车算法，生成停车函数φ(F)，确保双射为非递归。
• 证明F中的领头者数量等于φ(F)中的幸运车辆数量，且F中的树的数量等于φ(F)中的关键车辆数量。
• 定义逆序数、树数及其在停车函数中对应量的多元生成函数In(q;c)与Jn(q;c)，并通过双射证明其相等。
• 利用逆映射证明逆停车序列中的右向最大值恰好对应森林中的根，从而确认关键统计量的对应关系。

实验结果

研究问题

• RQ1 能否在根森林与停车函数之间构造一个保持逆序统计量的非递归双射？
• RQ2 是否存在Gessel与Seo关于停车函数上幸运统计量公式的双射证明？
• RQ3 在单一双射下，森林中的领头者统计量与停车函数中的幸运统计量是否具有同步对应关系？
• RQ4 根森林中逆序数与树数的生成函数能否通过双射与停车函数中跳跃数与关键车辆数的生成函数一一对应？

主要发现

• 在大小为n的根森林与停车函数之间，构造了一个非递归双射φ: Fn → PFn。
• 该双射满足inv(F) = n+1 choose 2 减去φ(F)中所有元素之和，且lead(F) = lucky(φ(F))。
• 森林F中的树的数量等于对应停车函数φ(F)中的关键车辆数量。
• 通过双射证明了逆序数、树数及其对应量的多元生成函数In(q;c)与Jn(q;c)相等。
• 通过双射证明了生成函数∑P∈PFn u^lucky(P) c^critical(P) 等于 cu ∏i=1^{n-1} (i + (n-i)u + cu)。
• 对应关系θF将F中的每个顶点v映射到φ(F)中的一个车辆c，使得inv(F:v) = jump(φ(F):c)，从而建立了详细的顶点到车辆映射。