[论文解读] Classification of bijections between 321- and 132-avoiding permutations

Anders Claesson, Sergey Kitaev|ArXiv.org|May 9, 2008

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

一句话总结

本文全面分类了所有已知的321-和132-避免排列之间的双射，展示了它们如何通过平凡对称性相互关联，并确定了每个双射所保持的统计量。研究证明，Knuth-Richards双射（等价于Simion-Schmidt和Krattenthaler的映射）保持了11个排列统计量，这是目前已知最多的数量，并提供了该双射的递归构造方法。

ABSTRACT

It is well-known, and was first established by Knuth in 1969, that the number of 321-avoiding permutations is equal to that of 132-avoiding permutations. In the literature one can find many subsequent bijective proofs of this fact. It turns out that some of the published bijections can easily be obtained from others. In this paper we describe all bijections we were able to find in the literature and show how they are related to each other via ``trivial'' bijections. We classify the bijections according to statistics preserved (from a fixed, but large, set of statistics), obtaining substantial extensions of known results. Thus, we give a comprehensive survey and a systematic analysis of these bijections. We also give a recursive description of the algorithmic bijection given by Richards in 1988 (combined with a bijection by Knuth from 1969). This bijection is equivalent to the celebrated bijection of Simion and Schmidt (1985), as well as to the bijection given by Krattenthaler in 2001, and it respects 11 statistics--the largest number of statistics any of the bijections respects.

研究动机与目标

• 系统地分类所有已发表的321-和132-避免排列之间的双射，并确定它们之间的关系。
• 通过基本统计量经对称性（反转、补全、逆）及其复合生成的190个统计量集合，识别每个双射所保持的排列统计量。
• 证明Knuth-Richards双射保持了目前已知最多的11个统计量，使其成为已知映射中结构保持性最强的。
• 提供Knuth-Richards双射的递归描述，将其与Knuth和Richards的早期构造联系起来。
• 证明双射尊重线性无关的统计量，确保所保持属性的非冗余性最大化。

提出的方法

• 定义一组23个排列统计量（例如，asc、des、exc、lmax、peak）作为基础，并通过应用对称性（反转、补全、逆及其复合）生成190个代表性统计量。
• 使用经验等价性（长度不超过7）将等价统计量合并，得到最终用于分析的190个不同统计量集合。
• 通过递归插入最大元素（n+1）来建模双射，追踪lir、rir、slmax及各分量等统计量的变化。
• 通过平凡对称性建立双射等价性：例如，通过与反转、补全或逆的复合，证明Knuth-Richards双射等价于Simion-Schmidt和Krattenthaler双射。
• 使用Dyck路径表示和表格对应关系（通过Robinson-Schensted插入）来解释和验证统计量的保持，特别是lir、lmax和rmin。
• 通过归纳法在排列长度上证明统计量的等价性，追踪递归插入过程中活跃位置和分量结构的变化。

实验结果

研究问题

• RQ1 哪些321-和132-避免排列之间的双射保持了最多的排列统计量？
• RQ2 已知的双射通过平凡对称性（反转、补全、逆）及其复合如何相互关联？
• RQ3 Knuth-Richards双射能否被递归描述？它与Simion-Schmidt或Krattenthaler等著名双射有何关系？
• RQ4 在这些双射中，单个双射最多能保持多少个线性无关的统计量？
• RQ5 在双射构造中，通过递归插入最大元素，lir、rir、slmax和分量等统计量的行为如何？

主要发现

• Knuth-Richards双射保持了11个排列统计量——这是目前已知在321-和132-避免排列之间双射中保持数量最多的。
• 该双射通过与平凡对称性（反转、补全、逆）的复合，等价于Simion-Schmidt和Krattenthaler双射。
• 该双射保持以下11个统计量：asc、des、exc、ldr、rdr、lir、rir、zeil、comp、lmax、rmax，及其通过n-stat和m-stat生成的对称变体。
• Knuth-Richards双射的递归构造被正式描述，展示了在活跃位置插入n+1时，如何保持和变换slmax及分量等统计量。
• 通过Dyck路径解释，lir ≃ lmax 和 lir.i ≃ rmin 的统计量被保持，将表格结构与路径斜率和返回位置联系起来。
• 190个统计量的集合在对称性和经验等价性检查下是封闭的，确保分析中不包含冗余或重复的统计量。