[論文レビュー] The weak order on integer posets

Grégory Châtel, Vincent Pilaud+1 more|arXiv (Cornell University)|Jan 27, 2017

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

ひとこと要約

本稿は、対称群内の置換に最初に定義された弱順序を、{1, 2, ..., n} 上のすべての整数二項関係へと拡張し、このような関係の集合にラティス構造を確立する。さらに、整数半順序（反射的で、推移的で、反対称な関係）からなる部分順序集合がラティスをなすことを証明し、既知の組合せ的対象（タマリラティスやカンブリアンラティスなど）のラティス構造を統一的かつ一般化する。

ABSTRACT

We explore lattice structures on integer binary relations (i.e. binary relations on the set $\{1, 2, \dots, n\}$ for a fixed integer $n$) and on integer posets (i.e. partial orders on the set $\{1, 2, \dots, n\}$ for a fixed integer $n$). We first observe that the weak order on the symmetric group naturally extends to a lattice structure on all integer binary relations. We then show that the subposet of this weak order induced by integer posets defines as well a lattice. We finally study the subposets of this weak order induced by specific families of integer posets corresponding to the elements, the intervals, and the faces of the permutahedron, the associahedron, and some recent generalizations of those.

研究の動機と目的

• [n] 上のすべての整数二項関係へと、対称群における古典的弱順序を拡張すること。
• この拡張された弱順序を整数半順序に制限した場合に、それがラティスをなすかどうかを調査すること。
• タマリラティス、カンブリアンラティス、パーミュテーション体ラティスといった既知の組合せ的対象におけるラティス構造を統一的かつ一般化すること。
• 特定の族（例えば、多面体の要素、区間、面など）に対応する半順序から生じる部分ラティスを特徴付けること。
• 組合せ論で既に研究済みのラティス構成を回復し、それらを照らし当てる体系的な枠組みを提供すること。

提案手法

• 整数二項関係における弱順序を、2つの成分（増加部分関係 R^Inc と減少部分関係 R^Dec）を用いて定義する。
• R ⪯ S が成り立つのは、R^Inc ⊇ S^Inc かつ R^Dec ⊆ S^Dec のときであり、置換の反転に基づく弱順序を一般化する。
• 整数半順序（反射的で、推移的で、反対称な関係）の集合が、この拡張された弱順序のもとでラティス構造を有することを証明する。
• 衝突関数と閉包作用素（例えば、推移的閉包、tdd 操作）を用いて、部分順序集合における下界と上界の分析および構成を行う。
• 禁止構成（例：cf_sn(𝒪)-自由な半順序）を用いて部分ラティスを特徴付け、これが既知の組合せ的ラティスに対応することを示す。
• 特定の方向付け 𝕆 にこの枠組みを適用し、弱順序のパーミュテューブラティスやシュレーディンガー・パーミュテューブラティスといった既知のラティスを回復する。

実験結果

リサーチクエスチョン

• RQ1 対称群における弱順序を、[n] 上のすべての整数二項関係へ自然に拡張できるか？
• RQ2 この拡張された弱順序を整数半順序の集合に制限した場合、それがラティスをなすか？
• RQ3 特定の族（例：パーミュテーション体やアソシアヘドロンの要素、区間など）に対応する部分順序集合が、既知の組合せ的ラティスとどのように関係するか？
• RQ4 弱順序における整数半順序の部分ラティスを特徴付ける構造的条件（例：衝突なし半順序）は何か？
• RQ5 この枠組みは、タマリラティス、カンブリアンラティス、およびシュレーディンガー・カンブリアンラティスといった既存のラティス構造を統一的かつ一般化できるか？

主な発見

• 整数二項関係における弱順序は適切に定義されており、古典的置換における弱順序を拡張したラティスをなす。
• 拡張された弱順序のもとで整数半順序の部分順序集合はラティスをなす。これは本稿の中心的結果である。
• 特定の衝突構成を避ける WOEP(n) 半順序（すなわち、cf_sn(𝒪)-自由な半順序）の集合は、整数半順序における弱順序の部分ラティスをなす。
• パーミュテューブラティスの面の半順序（PFP(𝒪)）における弱順序は、全半順序における弱順序の部分ラティスではないが、特別な増加・減少操作を用いて下界と上界を計算可能である。
• この枠組みは、タマリラティス、カンブリアンラティス、シュレーディンガー・パーミュテューブラティスといった既知のラティス構造を回復し、統合する。これは、共通の代数的・順序論的基盤に基づく。
• cf_sn(𝒪) などの衝突関数は、部分ラティスの特徴付けを可能にし、組合せ的制約からラティスの性質を体系的に導出可能である。