[論文レビュー] Wilf classification of bi-vincular permutation patterns

Robert Parviainen|ArXiv.org|Oct 27, 2009

Advanced Combinatorial Mathematics参考文献 7被引用数 15

ひとこと要約

この論文は、Bousquet-Mélou らによって導入された一般化されたパターンの新しいクラスである二重付帯置換パターンの長さ2および3について、Wilf同値性に基づいて分類し、長さ2では7クラス、長さ3では24クラスを特定した。各パターンを回避する置換の数について明示的な公式を提供し、このクラスのWilf分類を解決した。

ABSTRACT

We classify all bi-vincular patterns of length two and three according to the number of permutations avoiding them. These patterns were recently defined by Bousquet-Melou et. al., and are natural generalizations of Babson and Steingrimsson's generalized patterns. The patterns are divided into seven and 24 Wilf classes, for lengths two and three, respectively. For most of the patterns an explicit form for the number of permutations avoiding the pattern is given.

研究の動機と目的

• 二重付帯置換パターンの長さ2および3のすべてを、Wilf同値性に基づいて分類すること。
• 各パターンを回避する長さnの置換の数を特定し、可能な限り明示的な公式を提示すること。
• 古典的および付帯パターンの一般化である二重付帯パターンへ、Wilf分類フレームワークを拡張すること。
• 逆、反転、補完操作を用いて、パターン間の対称性と同値性を同定すること。
• Bousquet-Mélou らの最近の研究を基盤として、長さ3までの一貫した二重付帯パターンの完全なWilf分類を確立すること。

提案手法

• 論文は、置換σと集合X, Y ⊆ {0} ∪ [k]の三つ組(σ, X, Y)として定義される二重付帯パターンを形式的に用い、位置および値における隣接制約を課す。
• 逆、反転、補完といった対称操作を適用し、パターンをWilf同値クラスにグループ化する。
• 著者らは、各パターンについて、回避置換の数に対する再帰的関係または閉形式表現を導出する。
• 各パターンについて、回避数an(p)を計算し、パターン間で比較することでWilf同値性を特定する。
• 特にインデックスまたは値の制約が完全な場合（例：(123, X, {0,1,2,3})）、明示的な数え上げを実施し、an(p) = n! − (n−3)! などの公式を導出する。
• ケースバイケースの分析と対称性の議論を通じて分類を検証し、結果を表およびWilfクラスリストにまとめた。

実験結果

リサーチクエスチョン

• RQ1 二重付帯パターンの長さ2および3について、Wilf同値クラスはいくつ存在するか？
• RQ2 与えられた二重付帯パターンを回避する長さnの置換の数について、どのような明示的公式を導出できるか？
• RQ3 逆、反転、補完といった対称性のうち、どの操作が二重付帯パターンのWilf同値性を保つか？
• RQ4 インデックスおよび値の制約（集合XおよびY）は、二重付帯パターンのWilf分類にどのように影響を与えるか？
• RQ5 観察されたWilfクラス構造には、構造的または組合せ論的根拠があるか？

主な発見

• 長さ2の二重付帯パターンには、正確に7つのWilf同値クラスが存在する。
• 長さ3の二重付帯パターンには、正確に24つのWilf同値クラスが存在する。
• パターン(123, {0,1,2}, {0,1,2})を回避する置換の数は、an(p) = n! − (n−3)! である。
• インデックスおよび値の制約が完全なパターン（例：(123, X, {0,1,2,3})）では、n = 3のときan(p) = n! − 1であり、それ以外の場合はan(p) = n! である。
• 同じWilfクラスに属するパターンは同一の回避列を有し、分類は標準的な対称操作（逆、反転、補完）に関して閉じている。
• 本論文は、各Wilfクラスに属するパターンの完全なリストを提供し、大多数のクラスについて明示的な数え上げ公式を提示した。