[论文解读] Inflations of geometric grid classes of permutations

Michael Albert, Nik Ruškuc+1 more|arXiv (Cornell University)|Feb 8, 2012

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

一句话总结

本文证明了所有增长率为小于 𝜅 ≈ 2.20557 的排列类（称为“小类”）均具有有理生成函数。通过结合几何网格类与替换分解及膨胀操作，作者证明了将一个几何网格类由一个强有理类进行膨胀后，其结果本身也是强有理的，从而产生有理生成函数。该结果解决了关于小排列类生成函数有理性的一个长期猜想。

ABSTRACT

Geometric grid classes and the substitution decomposition have both been shown to be fundamental in the understanding of the structure of permutation classes. In particular, these are the two main tools in the recent classification of permutation classes of growth rate less than $κ\approx2.20557$ (a specific algebraic integer at which infinite antichains begin to appear). Using language- and order-theoretic methods, we prove that the substitution closures of geometric grid classes are partially well-ordered, finitely based, and that all their subclasses have algebraic generating functions. We go on to show that the inflation of a geometric grid class by a strongly rational class is partially well-ordered, and that all its subclasses have rational generating functions. This latter fact allows us to conclude that every permutation class with growth rate less than $κ$ has a rational generating function. This bound is tight as there are permutation classes with growth rate $κ$ which have nonrational generating functions.

研究动机与目标

• 解决一个长期存在的猜想：所有增长率为小于 𝜅 的排列类均具有有理生成函数。
• 将替换分解与几何网格类的应用范围扩展至小排列类的计数问题。
• 建立几何网格类由强有理类进行膨胀后，其结果类也具有有理生成函数的结论。
• 证明几何网格类的替换封闭性是偏序良基的且具有有限基，并具有代数生成函数。
• 通过识别 𝜅 作为临界阈值，厘清排列类中生成函数有理性与非有理性的分界。

提出的方法

• 采用语言学与序理论方法，分析排列类的结构。
• 将替换分解应用于几何网格类，证明其替换封闭性是偏序良基的且具有有限基。
• 引入“几何网格类由强有理类进行膨胀”的概念，以扩展计数结果。
• 利用秩编码与正则语言双射，刻画强有理类及其子类。
• 应用定理 7.6（关于膨胀的定理）证明，此类膨胀类的所有子类均具有有理生成函数。
• 以已知的临界增长率阈值 𝜅 ≈ 2.20557（即方程 x³ − 2x² − 1 的实根）作为生成函数有理性的重要分界。

实验结果

研究问题

• RQ1 所有增长率为小于 𝜅 的排列类是否均具有有理生成函数？
• RQ2 几何网格类由强有理类进行膨胀后，其结果是否本身也是强有理的，从而产生有理生成函数？
• RQ3 能否证明几何网格类的替换封闭性是偏序良基且具有有限基，并具有代数生成函数？
• RQ4 无限反链在区分 𝜅 以上与以下的增长率中起什么作用？
• RQ5 类 O[1,12]（为强有理类但非偏序良基）是否构成将膨胀结果推广至几何网格类之外的反例？

主要发现

• 所有增长率为小于 𝜅 ≈ 2.20557 的排列类均具有有理生成函数。
• 几何网格类由强有理类进行膨胀后，其结果类也具有有理生成函数。
• 几何网格类的替换封闭性是偏序良基的，具有有限基，且其所有子类均具有代数生成函数。
• 临界增长率 𝜅 是紧致的：存在增长率为恰好 𝜅 的排列类，其生成函数非有理。
• 类 O[1,12]（一个无限反链）不是偏序良基的，因此不是强有理类，表明将膨胀结果推广至几何网格类之外存在局限性。
• 强有理类中简单排列的生成函数是否具有有理性的猜想仍未解决，凸显了未来研究的关键方向。