[論文レビュー] A New Class of Wilf-Equivalent Permutations

Zvezdelina Stankova-Frenkel, Julian West|ArXiv.org|Mar 24, 2001

Advanced Combinatorial Mathematics参考文献 10被引用数 20

ひとこと要約

本稿では、任意のτ ∈ S_{n−3}に対して、(n−1,n−2,n,τ)と(n−2,n,n−1,τ)がウィルフ同値であることを証明することにより、ウィルフ同値な置換の新しいクラスを導入する。置換行列に対する新規の行および列分解技術を用いて、長さ7までの置換のウィルフ分類における最後の未解決事例を解消し、長年にわたり未解決のままであった(546213) ∼ (465213)の同値性を完成させ、S₇のウィルフ分類を完全に完了する。

ABSTRACT

For about 10 years, the classification of permutation patterns was thought completed up to length 6. In this paper, we establish a new class of Wilf-equivalent permutation patterns, namely, (n-1,n-2,n,tau)~(n-2,n,n-1,tau) for any tau in S_{n-3}. In particular, at level n=6, this result includes the only missing equivalence (546213)~(465213), and for n=7 it completes the classification of permutation patterns by settling all remaining cases in S_7.

研究の動機と目的

• 長さ7までの置換パターンの分類における、最後の未解決ウィルフ同値性事例を解消すること。
• 対称性クラスを超えたウィルフ同値な置換を識別するための、新しい体系的で一貫した手法を確立すること。
• 10年以上にわたり未解決のままであった(546213) ∼ (465213)の同値性を証明することで、S₇のウィルフ分類を完全に完了すること。
• S₆およびS₇における反例を構成することで、置換の制限性による漸近的順序付けの仮説が、漸近的に成り立たないことを示すこと。

提案手法

• 置換行列の構造を分析するための新規な組合せ的技法、すなわち行分解公式を導入する。
• 列位置の分析を用いて、避ける置換の再帰的構成を可能にする列分解法を開発する。
• 行分解と列分解の可換性を確立することで、特定の置換変換のもとでτ-避ける置換の数が不変のまま保たれることを証明する。
• 生成木と行列に基づく部分行列包含関係を用いて、置換パターンの回避をモデル化する。
• ウィルフ同値性の検証およびパターン数の漸近的スイッチング行動の検出に、広範な計算的列挙を用いる。
• 対称性と双対性の議論を適用してケース数を削減し、非対称代表元に焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 置換行列の二面体群対称性とは関係のないウィルフ同値性は存在するか？
• RQ2 対称性クラスを超えた新しいウィルフ同値性を識別するための体系的で代数的または組合せ的な手法を開発できるか？
• RQ3 置換が制限性によって漸近的に順序付け可能であるという仮説は、すべてのnに対して成り立つか？
• RQ4 S₇におけるウィルフクラスの完全な集合は何か？ また、これまでに欠落していた同値性はまだ残っているか？
• RQ5 有限のnにおいて、2つの置換の相対的な制限性が入れ替わる反例は存在するか？ これにより、グローバルな順序付けが無効になる。

主な発見

• 本稿では、すべてのτ ∈ S_{n−3}に対して(n−1,n−2,n,τ) ∼ (n−2,n,n−1,τ)であることを証明し、ウィルフ同値性の新しい無限族を確立する。
• この結果により、S₆における最後の欠落同値性が解消され、長さ6の置換のウィルフ分類が完全に完了する。
• S₇において、すべての未解決事例が解消され、長さ7までのウィルフ分類が完全に完了していることが確認される。
• 著者らは、S₆およびS₇における反例を特定し、2つの置換の相対的な制限性が有限のnで入れ替わることを示し、置換が漸近的に順序付け可能であるという仮説を否定する。
• 本稿では、S₉(546213) = 39428およびS₉(465213) = 39428である明示的な列挙データを提供しており、n=13でカウントが乖離することにより、長期的には非同値であることを確認する。
• 本稿では、生成木が同型でないにもかかわらず、(1234)と(4123)の生成木が各レベルで同じノード数を持つことを示し、木の同型性がなくてもウィルフ同値である可能性を示している。