[論文レビュー] 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] は無限の反鎖であり、部分的に良い順序付けられていないため、強有理的ではなく、これは幾何的グリッドクラスを超えたインフレーション結果の一般化の限界を示している。
• 強有理的クラスにおける単純な置換の生成関数が有理的であるという予想は未解決のままであり、今後の研究の重要な方向性を示している。