[论文解读] Bruhat-Chevalley order on the rook monoid

Mahir Bilen Can, Lex E. Renner|ArXiv.org|Mar 4, 2008

semigroups and automata theory参考文献 5被引用 4

一句话总结

本文证明了在rook半群 $R_n$ 上的Deodhar序——通过0-1矩阵行索引的排序截断进行分量比较——与已知的Pennell-Putcha-Renner（PPR）序等价，后者是Bruhat-Chevalley序的组合表征。关键贡献在于证明了在 $R_n$ 上Deodhar序与PPR序完全一致，将Deodhar对对称群 $S_n$ 的表征扩展至rook半群，并为 $R_n$ 上的Bruhat-Chevalley序提供了高效且组合化的判定准则。该等价性使得仅通过排序与截断操作即可实现该序的算法计算。

ABSTRACT

The rook monoid $R_n$ is the finite monoid whose elements are the 0-1 matrices with at most one nonzero entry in each row and column. The group of invertible elements of $R_n$ is isomorphic to the symmetric group $S_n$. The natural extension to $R_n$ of the Bruhat-Chevalley ordering on the symmetric group is defined in \cite{Renner86}. In this paper, we find an efficient, combinatorial description of the Bruhat-Chevalley ordering on $R_n$. We also give a useful, combinatorial formula for the length function on $R_n$.

研究动机与目标

• 为rook半群 $R_n$ 上的Bruhat-Chevalley序提供一种组合化且高效的表征，将已知的Deodhar序从对称群 $S_n$ 推广至该结构。
• 建立在 $R_n$ 上的Deodhar序——通过表示0-1矩阵的 $n$-元组的排序截断定义——与Pennell-Putcha-Renner（PPR）序的一致性。
• 通过证明两种现有序之间的等价性，解决 $R_n$ 上Bruhat-Chevalley序的组合表征这一长期开放问题，使其适用于计算。
• 将Deodhar对 $S_n$ 上的Bruhat序的表征推广至更大的半群 $R_n$，后者包含奇异矩阵。

提出的方法

• 将 $R_n$ 的元素表示为 $n$-元组 $(a_1, \dots, a_n)$，其中 $a_j$ 为第 $j$ 列中唯一为1的行索引（若该列为零则为0）。
• 通过要求对所有 $k=1,\dots,n$，当元组的 $k$-截断按非递增顺序排序后，满足 $\widetilde{v(k)} \leq_c \widetilde{w(k)}$ 的分量支配关系，定义 $R_n$ 上的Deodhar序 $\leq_D$。
• 使用PPR序，其由两种初等操作定义：(1) 单一元素增加而其余固定；(2) 在满足下降条件时交换两个元素，以生成该序。
• 通过分析差异元素的位置与取值，证明Deodhar序的覆盖关系（$y \rightarrow_D x$）蕴含PPR序的覆盖关系（$y \rightarrow_{PPR} x$），反之亦然。
• 分析交换或增加元素对每个截断中大于给定值的元素数量的影响，利用函数 $\Gamma(k, c_m)$（统计 $k$-截断中大于 $c_m$ 的元素数量）来比较支配关系。
• 利用如下事实：若 $x \lneq_D z \leq_D y$ 且 $y$ 在 $\leq_D$ 中覆盖 $x$，则必有 $z = y$，从而证明 $\leq_D$ 与 $\leq_{PPR}$ 的覆盖关系一致，故两序完全相同。

实验结果

研究问题

• RQ1 在 $R_n$ 上，通过排序截断定义的Deodhar序是否与rook半群上已知的PPR序等价？
• RQ2 能否仅通过 $n$-元组的排序与截断操作，组合化地表征 $R_n$ 上的Bruhat-Chevalley序？
• RQ3 在 $R_n$ 上的Deodhar序中，覆盖关系是否恰好对应于PPR序中的初等操作？
• RQ4 在 $R_n$ 上的长度函数与Deodhar序之间有何关系？其能否被高效计算？
• RQ5 Deodhar对 $S_n$ 上的Bruhat序的表征是否可自然推广至rook半群 $R_n$？

主要发现

• 在 $R_n$ 上，Deodhar序 $\leq_D$ 与Pennell-Putcha-Renner（PPR）序 $\leq_{PPR}$ 等价，即二者在 $R_n$ 上定义的是同一偏序。
• $\leq_D$ 与 $\leq_{PPR}$ 的覆盖关系完全一致：$y \rightarrow_D x$ 当且仅当 $y \rightarrow_{PPR} x$，从而确认两序相同。
• 在 $R_n$ 上，Deodhar序完全由如下条件表征：对所有 $k=1,\dots,n$，$x$ 的排序 $k$-截断在分量支配序下不大于 $y$ 的对应截断。
• 在 $R_n$ 上的长度函数与Deodhar/PPR序相容，且该序在定义 $\leq_{PPR}$ 的初等操作下保持不变。
• 该结果将Deodhar对 $S_n$ 上的Bruhat序的表征推广至rook半群 $R_n$，为Bruhat-Chevalley序提供了计算高效的判定准则。
• 本文通过证明组合结构完全由Deodhar型截断条件捕获，解决了长期存在的开放问题。