[論文レビュー] Enumerating permutations avoiding more than three Babson - Steingr\'\i msson patterns

Antonio Bernini, Elisa Pergola|arXiv (Cornell University)|Apr 26, 2007

Advanced Combinatorial Mathematics参考文献 8被引用数 2

ひとこと要約

この論文は、ClaessonおよびMansourが提起した、タイプ(1,2)または(2,1)の一般化パターン4つまたは5つを回避する置換の数え上げに関する予想を解決する。対称性の削減と包含に基づく推論を用いて、4つまたは5つのこのようなパターンを回避することは、3つのパターンを回避することに帰着されることを証明し、同じ数え上げ列が適用されることを確認する。このアプローチは、5つ以上の禁止パターンに対しても拡張可能である。

ABSTRACT

Claesson and Mansour recently proposed some conjectures about the enumeration of the permutations avoiding more than three Babson-Steingrímsson patterns (generalized patterns of type (1, 2) or (2, 1)). The avoidance of one, two or three patterns has already been considered. Here, the cases of four and five forbidden patterns are solved and the exact enumeration of the permutations avoiding them is given, confirming the conjectures of Claesson and Mansour. The approach we use can be easily extended to the cases of more than five forbidden patterns. 1

研究の動機と目的

• タイプ(1,2)または(2,1)の一般化パターン4つまたは5つを回避する置換の正確な数え上げに関する、ClaessonおよびMansourによる未解決の予想を解消すること。
• 構造的包含のため、4つまたは5つのこのようなパターンを回避する置換の数が、3つのパターンを回避する置換の数に等しいことを確立すること。
• 対称性と包含の性質を活用することで、6つ以上の禁止パターンがある場合にも適用可能な体系的な手法を提供すること。
• 3パターン回避の同じ数え上げ列が、4パターンおよび5パターン回避にも拡張可能であることを確認し、予想を裏付けること。
• 対称性クラスとパターンの含意規則を用いた、このような同等性を証明する一般化可能なフレームワークを提供すること。

提案手法

• 反転および補完性に基づく一般化パターンの対称性クラスを活用し、検討すべき異なるケースの数を削減すること。
• 8つの主要な包含命題（例：置換が2−13を回避するならば、2−13および21−3も回避する）を適用して、特定の4パターンまたは5パターン回避集合が3パターン集合に等価であることを示すこと。
• S(p1,p2,p3,p4) ⊆ S(pi1,pi2,pi3) であり、命題を用いて逆包含を証明することで、回避クラスの等価性を示すこと。
• 先行研究[BFP]における3パターン回避に関する既知の結果を基盤として、4パターンおよび5パターンのケースを証明すること。
• 表および代表的集合を用いて、禁止パターンのすべての組み合わせを体系的に分析し、対称性による削減で探索空間を縮小すること。
• ある命題を適用して5パターンの部分集合Qから6パターン集合Pが得られるようにすることで、6つ以上の禁止パターンがある場合に、|Sn(P)| = |Sn(Q)| となるように方法を拡張すること。

実験結果

リサーチクエスチョン

• RQ1 タイプ(1,2)または(2,1)の一般化パターン3つを回避する置換を数える数え上げ列は、同様に4つのパターンを回避する置換に対しても同様に適用可能か？
• RQ2 タイプ(1,2)または(2,1)の一般化パターン5つを回避することは、3つのパターンを回避することに還元可能か？
• RQ3 パターンの含意に基づいて、4つまたは5つのパターンを回避することは、より小さい集合に還元可能であるという一般化可能な方法は存在するか？
• RQ4 4パターンおよび5パターン回避に用いたアプローチは、6つ以上の禁止パターンの集合に対しても拡張可能か？
• RQ5 どの特定の包含規則（例：2−13を回避することは21−3を回避することを含意する）が、回避クラスの等価性を確立するために十分か？

主な発見

• この論文は、ClaessonおよびMansourが提起した、タイプ(1,2)または(2,1)の一般化パターン4つを回避する置換の数え上げに関するすべての予想を確認する。
• 4つの禁止パターンのすべての集合に対して、包含規則のおかげで、3つのパターンを回避する置換の数と等しい。
• 5パターン回避に対しても同様の結果が成り立つ：5つの禁止パターンの数え上げ列は、3パターン回避クラスのものと一致する。
• 著者らは、4パターン集合に対して12の異なる対称性クラス、5パターン集合に対して13の異なる対称性クラスを同定し、それぞれの数え上げ列が既知であることを示した。
• この方法により、|Sn(P)| = |Sn(Q)| となるように、PがQから包含命題を用いて導かれる場合に、問題の複雑さが著しく削減された。
• フレームワークは一般化可能である：任意の6つの禁止パターンからなる集合Pに対して、|Sn(P)| = |Sn(Q)| となる5パターンの部分集合Qが存在する。これは、[CM]における予想が成り立つものと仮定して成り立つ。