[論文レビュー] Enumeration of several two-by-four classes

Sam Miner|arXiv (Cornell University)|Oct 6, 2016

Advanced Combinatorial Mathematics参考文献 19被引用数 5

ひとこと要約

本稿は、2つの4文字パターンを回避する3つの未数え上げられた置換クラス $Av(4123,1324)$, $Av(4123,1243)$, および $Av(4123,1342)$ に対して、明示的な代数的生成関数を導出する。カタログ的変数と核法を用いた多変数生成関数枠組みにおいて、2次式の閉形式表現が得られ、それぞれ成長率が4、5、およそ4.17035であることが明らかになった。結果は、これらのクラスに属する大きな置換は追加のパターンを回避する確率が極めて高いことを示しており、構造的規則性を示唆している。

ABSTRACT

We use catalytic variables to derive generating functions for the permutation classes $Av( extbf{4123}, extbf{1324})$, $Av( extbf{4123}, extbf{1243})$, and $Av( extbf{4123}, extbf{1342})$. Each generating function is algebraic of degree two, and the growth rates of the classes are 4, 5, and $α$, respectively, where $α\approx 4.17035$. As a consequence of our analysis, we see that a typical large permutation in $Av( extbf{4123}, extbf{1324})$ is likely to also avoid $ extbf{3124}$, and is even more likely to avoid $ extbf{31524}$. Large permutations which avoid $ extbf{4123}$ and $ extbf{1243}$ are likely to also avoid $ extbf{1423}$.

研究の動機と目的

• 3つの未数え上げられた2対4の置換クラス $Av(4123,1324)$, $Av(4123,1243)$, $Av(4123,1342)$ を数えること。
• カタログ的変数と多変数生成関数を用いて、これらのクラスの閉形式生成関数を導出すること。
• これらのクラスの成長率を特定し、追加のパターンを回避する漸近的確率を分析すること。
• ソースグラフとファン分解法の適用範囲を、初期のソースグラフがファンに限定されていないクラスへと拡張すること。

提案手法

• クラス内の置換の構造をモデル化するために、戦略的に選ばれたカタログ的変数を用いた多変数生成関数を用いる。
• 置換の組み合わせ的分解に基づいて得られる関数方程式を解くために、核法を用いる。
• ソースグラフと部品タイプ（ファン、和成分、スケール成分、混合）に基づいて置換を分解し、再帰的生成関数系を構築する。
• 核法を用いて部分クラスの生成関数を解き、それらを組み合わせて全生成関数を得る。
• 特に命題1.4を用いた解析的組合せ論により、生成関数から漸近的成長率を抽出する。
• 記号計算（Maple）と可視化ツール（PermLab）を活用して、代数的変形と構造的洞察の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 置換クラス $Av(4123,1324)$ の生成関数は何か？ またその成長率は？
• RQ2 核法とカタログ的変数を用いて、非自明な構造を持つ2対4クラスの代数的生成関数を導出可能か？
• RQ3 $Av(4123,1324)$ に属する大きな置換が、3124 や 31524 を同時に回避する確率はどの程度か？ これはクラス構造にどのような含意をもたらすか？
• RQ4 $Av(4123,1342)$ に属する置換の数の漸近的挙動は何か？ 予測可能な成長パターンに従うか？
• RQ5 初期ソースグラフがファンに限定されていないクラスにおいて、ソースグラフ分解法をどの程度一般化できるか？

主な発見

• 生成関数 $Av(4123,1324)$ は2次代数的関数であり、$\sqrt{1-4z}$ を含む閉形式表現を持ち、成長率は正確に4である。
• 生成関数 $Av(4123,1243)$ は2次代数的関数であり、$\sqrt{1-6z+5z^2}$ を含む閉形式表現を持ち、成長率は正確に5である。
• 生成関数 $Av(4123,1342)$ は2次代数的関数であり、成長率は約4.17035である。これは $z \approx 0.239788$ における支配的特異点から導かれる。
• 大きな置換が $Av(4123,1324)$ に属する場合、3124 や 31524 を回避する確率は漸近的に非常に高い。$n \to \infty$ のとき、その比は $1 - \frac{45}{64n} + o(1/n)$ に近づく。
• $Av(4123,1243)$ は非常に構造的であることが示され、大きな置換は1423を回避する可能性が極めて高い。
• 本研究により、未数え上げられた2対4クラスの数は5つに減少し、未分類のクラスは2つに減少した：$Av(3412,4123)$ と $Av(3412,2413)$。