[論文レビュー] Profile classes and partial well-order for permutations

Maximillian M. Murphy, Vincent Vatter|ArXiv.org|Oct 20, 2003

Advanced Combinatorial Mathematics参考文献 6被引用数 6

ひとこと要約

本稿では、制限付き置換クラスの一般化として、0/±1行列のプロファイルクラスを導入し、そのクラスが部分的に良い順序付けられるための必要十分条件として、関連するグラフが森であることを特定している。主な貢献は、部分的良い順序付けの性質をグラフ構造に基づいて特徴づけることと、周期性を示さない異方的基底反鎖の構成であり、置換パターンにおける無限反鎖の理解を前進させている。

ABSTRACT

It is known that the set of permutations, under the pattern containment ordering, is not a partial well-order. Characterizing the partially well-ordered closed sets (equivalently: down sets or ideals) in this poset remains a wide-open problem. Given a 0/+-1 matrix M, we define a closed set of permutations called the profile class of M. These sets are generalizations of sets considered by Atkinson, Murphy, and Ruskuc. We show that the profile class of M is partially well-ordered if and only if a related graph is a forest. Related to the antichains we construct to prove one of the directions of this result, we construct exotic fundamental antichains, which lack the periodicity exhibited by all previously known fundamental antichains of permutations.

研究の動機と目的

• アトキンソン、マーフィー、ルシュクックの先行研究を拡張し、0/±1ベクトルから0/±1行列へのプロファイルクラスの概念を一般化すること。
• 置換のプロファイルクラスが部分的に良い順序付けられるための必要十分条件を同定すること。
• 従来の例で観察された周期性を示さない、新しい種類の無限反鎖＝異方的基底反鎖を構成すること。
• 行列の構造的性質とそれに対応する置換クラスの順序論的挙動との相互作用を調査すること。
• 単純な置換や強い完成に関する既存の結果と補完する枠組みを提供すること。

提案手法

• 各0/±1行列のサポート構造の強い完成に含まれる行列を持つ置換の集合として、0/±1行列のプロファイルクラスを定義する。
• 各行と各列の間の非ゼロ要素をエッジとして扱い、二部グラフとして各0/±1行列にグラフを関連付ける。
• 有限列のHigmanの定理（良い順序付けのための定理）を用いて、置換における部分列の包含関係を分析する。
• 単純な置換の構造定理（定理6.2）を適用し、区間構造が部分的良い順序付けに与える役割を分析する。
• 非森グラフから導かれる非周期的構成を用いて異方的反鎖を構成し、非森グラフが無限反鎖を生じることを示す。
• 閉包および強い完成操作を活用し、レイヤードや分離可能な置換といった既知の部分的に良い順序付けられた集合とプロファイルクラスを関連付ける。

実験結果

リサーチクエスチョン

• RQ1 0/±1行列のどのような条件下で、その関連する置換のプロファイルクラスが部分的に良い順序付けられるか。
• RQ2 部分的に良い順序付けが成立しないプロファイルクラスにおいて、非周期的で異方的な基底反鎖を構成できるか。
• RQ3 0/±1行列のグラフ的構造（特にそれが森であるかどうか）が、そのプロファイルクラスの良い順序付けにどのように関係するか。
• RQ4 単純な置換や強い完成に関する既存の結果が、プロファイルクラスにおける部分的良い順序付けの全貌を捉えるのにどの程度不十分であるか。
• RQ5 単純な置換の基準とプロファイルクラスの基準を統合する枠組みが存在するか。

主な発見

• 0/±1行列のプロファイルクラスが部分的に良い順序付けられるための必要十分条件は、関連する二部グラフが森であることである。
• 周期性を示さない反鎖（異方的基底反鎖）の構成により、置換クラスにおけるすべての基底反鎖が周期的であるとは限らないことが証明された。
• 行列 $\begin{smallmatrix}1\\1\end{smallmatrix}$ のプロファイルクラスは、無限個の単純な置換を含んでも部分的に良い順序付けられることが示され、定理6.1（有限個の単純な置換に依存）は適用されないことがわかった。
• Corollary 3.4では捉えきれない部分的に良い順序付けられた閉じた置換集合が存在する。例えば、すべてが単純な置換からなる増加的オシレート列の閉包はその例である。
• 部分的に良い順序付けられた置換集合の強い完成は、依然として部分的に良い順序付けられることが確認され、部分的良い順序付けの性質が合成操作に対して堅牢であることが示された。
• プロファイルクラスフレームワークは、単純な置換や強い完成に基づく既存の結果に包含されない、新たな独立した部分的良い順序付けの基準を提供している。