[論文レビュー] The Shard Intersection Order on Permutations

Erin Bancroft|arXiv (Cornell University)|Mar 9, 2011

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

ひとこと要約

この論文は、特定の非交差性およびバー付きパターン回避条件を満たす順序の前順序としての組合せ的対象である順序の前順序によって、対称群 $S_n$ 上のシャード交差順序を特徴づけることにより、$S_n$ 上のシャード交差順序を導入する。主な貢献は、シャード交差順序のラティスに対して明示的な EL-ラベルリングを構成し、その構造的性質を確立するとともに、パターン回避基準を用いて $c$-可換順序と非交差分割にリンクすることである。

ABSTRACT

The shard intersection order is a new lattice structure on a finite Coxeter group W which encodes the geometry of the reflection arrangement and the lattice theory of the weak order. In the case where W is the symmetric group, we characterize shard intersections as certain pre-orders which we call permutation pre-orders. We use this combinatorial characterization to determine properties of the shard intersection order. In particular, we give an EL-labeling.

研究の動機と目的

• 要素の組合せ的前順序に基づく特徴づけを通じて、対称群 $S_n$ 上のシャード交差順序を理解すること。
• シャード交差と順序の前順序の間の双対写像を確立し、ラティス構造の明確な記述を可能にすること。
• シャード交差順序が EL-ラベルリングを備えていることを証明し、そのシェルラビリティを確認するとともに、モビウス関数の計算に有用なツールを提供すること。
• バー付きパターン回避（$\overline{2}31$ および $31\underline{2}$）を用いて、シャード交差順序内での $c$-可換順序を特徴づけること。
• シャード交差順序内の非交差前順序が、正確に $c$-非交差分割に対応することを示し、このラティスを古典的な非交差分割理論と結びつけること。

提案手法

• コックスター要素 $c$ に関して、非交差性およびバー付きブロック順序条件を満たす $[n]$ 上の前順序として順序の前順序を定義する。
• $c$-可換順序から順序の前順序への双対写像 $\mu$ を確立し、その像が非交差前順序であることを示す。
• 降下部分列とバー付きパターンの組合せ的構造を用いて、シャード交差順序内の順序関係を特徴づける。
• パスにおける最初の降下の位置に基づいて被覆関係にラベルを割り当てることで、シャード交差順序の EL-ラベルリングを構成する。
• ブraid配置の幾何学的性質と領域のポセットを活用して、$S_n$ 上のシャードおよびその交差を定義する。
• 特に弱順序とラティス合同関係を含むラティス理論およびコックスター群論の結果を応用し、シャード交差順序を分析する。

実験結果

リサーチクエスチョン

• RQ1 対称群におけるシャード交差は、$[n]$ 上の前順序としてどのように組合せ的に特徴づけられるか？
• RQ2 シャード交差順序は $S_n$ 上のラティスとしてどのような構造を持ち、弱順序や非交差分割とどのように関係しているか？
• RQ3 シャード交差順序に対して EL-ラベルリングを構成可能か？ その結果、トポロジカルおよび代数的性質にどのような意味を持つのか？
• RQ4 $c$-可換順序は、シャード交差順序内の非交差前順序とどのように対応するか？
• RQ5 バー付きパターン（$\overline{2}31$ および $31\underline{2}$）は、シャード交差ラティス内での $c$-可換要素を特徴づける上で果たす役割は何か？

主な発見

• 対称群におけるシャード交差は、非交差性およびバー付きブロック順序条件を満たす順序の前順序と双対的に対応する。
• $S_n$ 上のシャード交差順序は、階数付きラティスであり、非交差分割ラティス $NC(W)$ を部分ラティスとして含む。
• シャード交差順序に対して EL-ラベルリングが構成され、その順序がシェルラブルであることを証明し、モビウス関数の値の計算を可能にする。
• $S_n$ 内の $c$-可換順序は、ちょうどバー付きパターン $\overline{2}31$ および $31\underline{2}$ を回避するものに一致し、写像 $\mu$ による像は非交差前順序の集合である。
• 標準的コックスター要素 $c = s_1 s_2 \cdots s_{n-1}$ の場合、非交差前順序内のブロックの順序は、区間の包含関係に正確に対応する：$B_{[i,j]} \preceq B_{[k,l]}$ であることと $[i,j] \subset [k,l]$ であることは同値である。
• 逆コックスター要素 $c = s_{n-1} \cdots s_1$ の場合、順序は逆包含に対応する：$B_{[i,j]} \preceq B_{[k,l]}$ であることと $[k,l] \subset [i,j]$ であることは同値である。