[论文解读] The Shard Intersection Order on Permutations

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

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

一句话总结

本文通过将碎片相交描述为称为排列预序的组合对象，引入了对称群 $S_n$ 上的碎片相交序。排列预序是 $[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-标记，确认其可壳化性，并为 Möbius 函数的计算提供工具。
• 利用带横线模式避免（$\overline{2}31$ 和 $31\underline{2}$）刻画碎片相交序中 $c$-可排序排列的特征。
• 证明碎片相交序中非交叉预序恰好对应于 $c$-非交叉划分，从而将该格与经典非交叉划分理论联系起来。

提出的方法

• 将排列预序定义为相对于考克斯eter 元素 $c$ 满足非交叉性与带横线块序条件的 $[n]$ 上的预序。
• 建立从 $c$-可排序排列到排列预序的双射 $\mu$，并证明其像恰好为非交叉预序。
• 利用下降段与带横线模式的组合结构，刻画碎片相交序中的序关系。
• 通过基于路径中首次下降位置的标签分配，构造碎片相交序的 EL-标记。
• 利用区域的偏序集与 braid 区阵的几何结构，定义 $S_n$ 中的碎片及其相交。
• 应用格论与考克斯eter 群论的结果，特别是弱序与格同余，分析碎片相交序。

实验结果

研究问题

• RQ1 如何通过 $[n]$ 上的预序，组合地刻画对称群中碎片相交？
• RQ2 碎片相交序在 $S_n$ 上的格结构是怎样的？它与弱序及非交叉划分有何关系？
• RQ3 能否为碎片相交序构造 EL-标记？这对其拓扑与代数性质意味着什么？
• RQ4 $c$-可排序排列在碎片相交序中如何对应于非交叉预序？
• RQ5 带横线模式（$\overline{2}31$ 与 $31\underline{2}$）在刻画碎片相交格中 $c$-可排序元素时起什么作用？

主要发现

• 对称群中的碎片相交与排列预序之间存在双射关系，排列预序是满足非交叉性与带横线块序条件的 $[n]$ 上的预序。
• 对称群 $S_n$ 上的碎片相交序是一个分次格，其包含非交叉划分格 $NC(W)$ 作为子格。
• 构造了碎片相交序的 EL-标记，证明该序是可壳化的，并可用来计算 Möbius 函数值。
• $S_n$ 中的 $c$-可排序排列恰好是避免带横线模式 $\overline{2}31$ 与 $31\underline{2}$ 的排列，且其在映射 $\mu$ 下的像为非交叉预序的集合。
• 对于标准考克斯eter 元素 $c = s_1 s_2 \cdots s_{n-1}$，非交叉预序中块的序关系恰好对应于区间的包含关系：$B_{[i,j]} \preceq B_{[k,l]}$ 当且仅当 $[i,j] \subset [k,l]$。
• 对于反向考克斯eter 元素 $c = s_{n-1} \cdots s_1$，序关系对应于反向包含：$B_{[i,j]} \preceq B_{[k,l]}$ 当且仅当 $[k,l] \subset [i,j]$。