[論文レビュー] 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) の完全な構造的および列挙的特徴付けを提供する。生成関数が有理関数であることを示し、インflationおよびグリッドベースの分解技術を用いて明示的に計算可能であることを示すことで、順列パターン列挙における長年の未解決問題を解決する。

ABSTRACT

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

研究の動機と目的

• 2143 と 4231 の両方を回避する順列クラス Av(2143, 4231) の構造的および列挙的完全特徴付けを達成すること。これは、56 個の本質的に異なる 4 要素パターンペアのうちの一つではあるが、以前に解決されていなかった。
• 長年にわたり未解決のままであったウィルフクラスの列挙を解決し、特定の 4 パターンを回避する順列の分類と数え上げという広範な取り組みに貢献すること。
• 最近の技術、特に単純な順列と単調グリッドクラスを応用・拡張し、非自明な基底を持つ複雑なパターン回避問題を解くこと。
• Av(2143, 4231) に属する順列の完全な構造的分解を、それらの下位にある単純な順列とそのインフレーションを特定することで行うこと。

提案手法

• 著者たちは、順列を単純な順列とそのインフレーションに分解する手法を用い、任意の順列が単一の単純な順列のインフレーションとして一意に表現可能であるという性質を活用する。
• 単調グリッドクラスを用いて、順列をグリッドに分割されたセルに点集合として表現する。各セルは単調（増加、減少）または単一の点を含み、構造的解析を可能にする。
• 極値点の位置とパターンに基づいて、Av(2143, 4231) 内の単純な順列のケース別列挙を導入する。4 種類（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²)²] であり、n ≥ 6 のとき s₂,n = 2ⁿ⁻⁶ である。
• タイプ 4 の単純な順列の生成関数は f₄(x) = x⁸(1+x) / [(1-3x)(1-x)²(1-3x+x²)²] であり、最初と最後の 4 点が固定された順列を扱う。
• 2 つの例外的な単純な順列 42513 と 35142 は、全体の列挙に 2x⁵ / (1-3x+x²)² の生成関数を寄与させ、分解を完成させる。