[论文解读] Equidistribution and Sign-Balance on 321-Avoiding Permutations

Ron M. Adin, Yuval Roichman|ArXiv.org|Apr 27, 2003

Advanced Combinatorial Mathematics参考文献 21被引用 20

一句话总结

本论文建立了321-避免排列上最后一个下降与最后一个索引减一统计量之间的等分布性，并揭示了这些排列的带符号计数与其在更小集合上最后一个下降生成函数之间深刻的联系。通过递归的多元生成函数以及与Dyck路径的双射，论文表明 $T_{2n+1}$ 和 $T_{2n}$ 的符号与最后一个下降的生成函数本质上等于 $T_n$ 的最后一个下降生成函数，从而揭示了一种类似于循环筛法现象的精细符号平衡现象。

ABSTRACT

Let $T_n$ be the set of 321-avoiding permutations of order $n$. Two properties of $T_n$ are proved: (1) The {\em last descent} and {\em last index minus one} statistics are equidistributed over $T_n$, and also over subsets of permutations whose inverse has an (almost) prescribed descent set. An analogous result holds for Dyck paths. (2) The sign-and-last-descent enumerators for $T_{2n}$ and $T_{2n+1}$ are essentially equal to the last-descent enumerator for $T_n$. The proofs use a recursion formula for an appropriate multivariate generating function.

研究动机与目标

• 建立321-避免排列及其逆下降类上最后一个下降与最后一个索引减一统计量之间的等分布性。
• 探索321-避免排列的带符号计数与更小集合上生成函数之间的联系。
• 通过Dyck路径双射与商环的组合与代数解释，阐明生成函数的组合与代数意义。
• 细化并拓展关于模式避免排列中符号平衡的先前结果，特别是Simion与Schmidt的研究。

提出的方法

• 开发了一种递归的多元生成函数，用于分析321-避免排列上的统计量。
• 构建了一个从321-避免排列到Dyck路径的双射 $\phi$，保持最后一个下降与最后一个索引统计量。
• 利用映射 $\phi$ 将等分布结果从排列传递到Dyck路径，反之亦然。
• 证明过程中利用了Robinson-Schensted-Knuth对应关系以及对称群中最长元素 $w_0$ 的性质。
• 通过商环 $P_n / \langle QS_n \rangle$ 推导出代数解释，将Hilbert级数与最后一个下降统计量联系起来。
• 使用变换 $\psi(\pi) = w_0 \pi^{-1} w_0$ 将下降集与Dyck路径中的尾部长度相关联。

实验结果

研究问题

• RQ1 在321-避免排列及其逆下降类上，'最后一个下降'与'最后一个索引减一'统计量是否等分布？
• RQ2 321-避免排列的带符号计数能否与更小集合上最后一个下降的生成函数相关联？
• RQ3 是否存在该生成函数的组合或代数解释，以在本情境中连接带符号与无符号统计量？
• RQ4 321-避免排列的结构如何与商环 $P_n / \langle QS_n \rangle$ 的Hilbert级数相关联？

主要发现

• 最后一个下降与最后一个索引减一统计量在 $T_n$ 上以及在具有指定逆下降集的子集 $T_n(B)$ 上是等分布的。
• $T_n$ 上最后一个下降的生成函数等于长度为 $2n$ 的Dyck路径上最后一个下降与最后一个索引减一统计量的生成函数。
• 符号生成函数 $\sum_{\pi \in T_{2n+1}} \mathrm{sign}(\pi) q^{\mathrm{l}des(\pi)}$ 等于 $\sum_{\pi \in T_n} q^{2 \cdot \mathrm{l}des(\pi)}$。
• 对于偶数索引，符号生成函数满足 $\sum_{\pi \in T_{2n}} \mathrm{sign}(\pi) q^{\mathrm{l}des(\pi)} = (1 - q) \sum_{\pi \in T_n} q^{2 \cdot \mathrm{l}des(\pi)}$。
• $P_n / \langle QS_n \rangle$ 的Hilbert级数等于 $\sum_{\pi \in T_n} q^{\mathrm{l}des(\pi)}$，为该生成函数提供了代数解释。
• 最后一个下降统计量是全对称群上maj指标在 $T_n$ 上的类比，类似于maj指标在余不变代数中的作用。