[论文解读] The enumeration of permutations avoiding 2143 and 4231

Michael Albert, M. D. Atkinson+1 more|arXiv (Cornell University)|Aug 4, 2011

Advanced Combinatorial Mathematics参考文献 17被引用 14

一句话总结

本文通过简单排列、单调网格类和受限分解，对排列类 Av(2143, 4231) 进行了完整的结构与枚举刻画。推导出该类的显式有理生成函数，通过膨胀与基于网格的分解技术，解决了排列模式枚举领域长期悬而未决的开放问题，证明了生成函数是有理的且可显式计算。

ABSTRACT

We enumerate the pattern class Av(2143,4231) and completely describe its permutations. The main tools are simple permutations and monotone grid classes.

研究动机与目标

• 对尚未被先前解决的排列类 Av(2143, 4231) 进行完整的结构与枚举刻画，该类是56个本质上不同的4元素模式对之一。
• 解决一个长期悬而未决的Wilf类的枚举问题，推动了对避免特定4模式的排列进行分类与计数的总体努力。
• 应用并扩展近期技术——特别是简单排列与单调网格类——以解决一个具有非平凡基的复杂模式避免问题。
• 通过识别其底层简单排列及其膨胀，为 Av(2143, 4231) 中排列提供完整的结构分解。

提出的方法

• 作者利用排列分解为简单排列及其膨胀的方法，借助每个排列可唯一表示为简单排列膨胀的唯一分解性质。
• 他们采用单调网格类，将排列表示为被划分为若干单元格的网格中的点集，每个单元格包含单调（递增、递减）或单一点，从而实现结构分析。
• 本文基于极值点的位置与模式，对 Av(2143, 4231) 中的简单排列进行基于情形的枚举，区分出四种类型（1–4）及孤立情形。
• 针对每种类型，通过递推关系和无相邻重复字母的字母表上的词枚举，推导出此类简单排列数量的生成函数。
• 通过将简单排列的生成函数与其膨胀的生成函数结合，利用和-不可分解与斜-不可分解分量的生成函数，得到整个类的完整生成函数。
• 最终通过求解涉及整个类的生成函数及其和/斜分量的函数方程组，推导出 Av(2143, 4231) 的生成函数。

实验结果

研究问题

• RQ1 如何完整描述避免 2143 与 4231 的排列的结构？
• RQ2 给定该类为具有非平凡基的非平凡4模式类，且此前无已知枚举结果，如何显式计算 Av(2143, 4231) 的生成函数？
• RQ3 简单排列与单调网格类的使用能否为该模式类提供完整且系统化的分解？
• RQ4 极值点构型在 Av(2143, 4231) 中分类简单排列时起到什么作用？
• RQ5 Av(2143, 4231) 的生成函数是否为有理函数？若是，能否以闭式表达？

主要发现

• 整个排列类 Av(2143, 4231) 的生成函数是有理函数，且显式表达为 f(x) = (x - 11x² + 51x³ - 127x⁴ + 186x⁵ - 165x⁶ + 87x⁷ - 23x⁸ + 3x⁹) / [(1-3x)(1-x)⁴(1-3x+x²)²]。
• 在 Av(2143, 4231) 中，长度 n ≥ 4 的简单排列数量的生成函数为 s(x) = 2x⁴(1 + x + x² + x⁴ + 2x⁵ + x⁶) / [(1-2x)(1+x)]，初始值为 n = 4 到 10 时的 2, 4, 10, 18, 40, 80, 162。
• 类型1简单排列的膨胀生成函数为 f₁(x) = x⁴(1-x)² / [(1-3x)(1-3x+x²)²]，由递推关系 s₁,n = s₁,n-1 + 2s₁,n-2 推导得出。
• 类型2与类型3简单排列的生成函数为 f₂(x) = f₃(x) = x⁶ / [(1-3x)(1-3x+x²)²]，其中 s₂,n = 2ⁿ⁻⁶ 对于 n ≥ 6。
• 类型4简单排列的生成函数为 f₄(x) = x⁸(1+x) / [(1-3x)(1-x)²(1-3x+x²)²]，用于描述首尾各四个点固定的排列。
• 两个孤立的简单排列 42513 与 35142 贡献了生成函数 2x⁵ / (1-3x+x²)² 到整体枚举中，完成了分解。