[论文解读] Simple permutations and algebraic generating functions

Robert Brignall, Sophie Huczynska+1 more|ArXiv.org|Aug 15, 2006

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

一句话总结

本文将 Albert 和 Atkinson 的结果从仅含有限多个单射排列的排列类扩展至包含额外结构约束的子类，证明此类子类的生成函数仍为代数函数——包括偶排列、对合排列、交错排列，以及避免带横线或阻塞模式的排列。关键贡献在于提出了一套通用框架，利用代换分解与代数生成函数对这些子类进行计数。

ABSTRACT

A simple permutation is one that does not map a nontrivial interval onto an interval. It was recently proved by Albert and Atkinson that a permutation class with only finitely simple permutations has an algebraic generating function. We extend this result to enumerate permutations in such a class satisfying additional properties, e.g., the even permutations, the involutions, the permutations avoiding generalised permutations, and so on.

研究动机与目标

• 推广 Albert 和 Atkinson 关于仅含有限多个单射排列的排列类中生成函数代数性的结果。
• 确定额外排列性质（如偶排列、对合排列、交错排列，或避免带横线模式）是否同样导致生成函数代数性。
• 建立统一方法，用于计数仅含有限多个单射排列的类中此类子类。
• 为排列类更广泛组合子类中生成函数代数性提供理论基础。
• 解决给定排列类是否仅含有限多个单射排列的可判定性问题，从而支持结果的算法应用。

提出的方法

• 利用排列的代换分解（模块化分解）分析排列类的结构。
• 应用单射排列的概念——即不包含非平凡区间的排列——以分类和分解排列类。
• 利用 Albert 和 Atkinson 已证明的结论：仅含有限多个单射排列的类具有代数生成函数。
• 通过证明附加性质（如偶排列、对合排列、交错排列）定义的子类的生成函数仍为代数函数，扩展该结果。
• 使用生成函数的递归系统建模子类（如对合排列与可分排列），并通过代数方程求解。
• 利用 Schmerl 和 Trotter 的定理，证明存在更短的单射排列，从而限制类中单射排列的数量。

实验结果

研究问题

• RQ1 仅含有限多个单射排列的排列类中生成函数的代数性，是否可推广至由附加结构约束定义的子类？
• RQ2 在这些类中，偶排列、对合排列、交错排列以及避免带横线模式的排列的生成函数是否可证明为代数函数？
• RQ3 对于具有有限基的排列类，是否可判定其仅含有限多个单射排列？
• RQ4 排列的代换分解与生成函数代数性之间存在何种关系？
• RQ5 为何某些子类（如错位排列）无法被同一框架捕获？其何种结构特性导致代数性失效？

主要发现

• 仅含有限多个单射排列的排列类，不仅其本身具有代数生成函数，其由偶排列、对合排列、交错排列或避免带横线或阻塞排列等性质定义的子类也具有代数生成函数。
• 可分对合排列的生成函数满足四次方程：$x^{2}f^{4}+(x^{3}+3x^{2}+x-1)f^{3}+(3x^{3}+6x^{2}-x)f^{2}+(3x^{3}+7x^{2}-x-1)f+x^{3}+3x^{2}+x=0$。
• 在 $\operatorname{Av}(132)$ 中，避免有限个阻塞或带横线排列的排列的生成函数是代数的。
• 类 $\operatorname{Av}(132)$ 仅有三个单射排列：$1$、$12$ 和 $21$，这支持了在各种约束下其生成函数的代数性。
• 在 $\operatorname{Av}(1324,2143,4231}$ 中，长度为 1 到 7 的单射排列数量为 $1,2,0,2,4,0,0$，长度为 6 或 7 的单射排列缺失，表明该类不再包含更长的单射排列。
• 可判定具有有限基的排列类是否仅含有限多个单射排列，此结论由 Brignall、Ruškuc 和 Vatter 证明。