[論文レビュー] Stanley-Wilf limits are typically exponential

Jacob Fox|arXiv (Cornell University)|Jan 1, 2015

Advanced Combinatorial Mathematics参考文献 30被引用数 60

ひとこと要約

この論文は、長年の予想である『長さkの置換について、Stanley-Wilf極限がΘ(k²)の割合で増加する』という予想を反証する。確率的および極値的組合せ論を用いて、k文字の置換πのほとんどすべてについて、Stanley-Wilf極限L(π)が2^{k^{Θ(1)}}の割合で増加することを示し、これは2次関数的成長よりも指数的に速い成長を示しており、置換パターン回避分野における中心的未解決問題を解決する。

ABSTRACT

For a permutation $\pi$, let $S_{n}(\pi)$ be the number of permutations on $n$ letters avoiding $\pi$. Marcus and Tardos proved the celebrated Stanley-Wilf conjecture that $L(\pi)= \lim_{n o \infty} S_n(\pi)^{1/n}$ exists and is finite. Backed by numerical evidence, it has been conjectured by many researchers over the years that $L(\pi)=\Theta(k^2)$ for every permutation $\pi$ on $k$ letters. We disprove this conjecture, showing that $L(\pi)=2^{k^{\Theta(1)}}$ for almost all permutations $\pi$ on $k$ letters.

研究の動機と目的

• 長さkのすべての置換πについて、Stanley-Wilf極限がΘ(k²)の割合で増加するという予想を解明すること。
• 長さkのランダムな置換πについて、Sₙ(π)¹ᐟⁿの漸近的成長率、すなわちStanley-Wilf極限L(π)を調査すること。
• 二次的成長予想が、k文字の置換πの典型的または一般的な場合に成り立つかどうかを特定すること。
• Stanley-Wilf極限の典型的な振る舞いを正確に捉える新しい漸近的境界を確立すること。

提案手法

• 長さkのランダムな置換πの構造を分析するために確率的手法を適用すること。
• 与えられたパターンを回避する置換の数を制限するために極値的組合せ論を用いること。
• ほとんどすべてのπについて、成長率L(π)があるc > 0に対して2^{k^{c}}より下限で抑えられることを確立すること。
• Marcus-Tardos定理を活用し、L(π) = lim Sₙ(π)¹ᐟⁿの存在と有限性を保証すること。
• Sₙ(π)の指数的オーダーを分析して、L(π)の漸近的挙動を導出すること。
• 二次的予想が正の密度の置換について成立しないことを示し、実際にはkが大きくなるにつれてほとんどすべての置換について成立しないこと。

実験結果

リサーチクエスチョン

• RQ1 長さkの置換πについて、Stanley-Wilf極限L(π)は常にΘ(k²)の割合で増加するか？
• RQ2 k文字の置換πのすべてのケースにおいて、L(π)の典型的な成長率は何か？
• RQ3 二次的成長予想は、ほとんどすべての置換に拡張可能か、それとも一般に失敗するか？
• RQ4 長さkのすべての置換から一様にランダムに選ばれたπについて、L(π)の正しい漸近的オーダーは何か？
• RQ5 Sₙ(π)の指数的成長は、ランダムなπについての極限L(π)にどのように影響するか？

主な発見

• k文字の置換πについて、L(π) = Θ(k²)であるという予想は誤りである。
• k文字の置換πのほとんどすべてについて、Stanley-Wilf極限はL(π) = 2^{k^{Θ(1)}}を満たしており、これは多項式的成長より速いが指数的成長より遅い成長を示している。
• 典型的な置換について、L(π)の成長率は二次的成長よりも顕著に速く、広く共有された数値的証拠と直感と矛盾する。
• この結果により、典型的なStanley-Wilf極限はkの任意の多項式よりも速く成長するが、kの指数的成長よりは遅いことが示された。
• 証明により、二次的予想は正の密度の置換について失敗し、実際にはkが大きくなるにつれてほとんどすべての置換について失敗することがわかった。
• L(π)の漸近的挙動は、ランダムな置換の極値的構造によって支配されており、これにより従来の予想よりもはるかに速い成長が生じることがわかった。