[论文解读] Some remarks on sign-balanced and maj-balanced posets

Richard P. Stanley|ArXiv.org|Nov 6, 2002

Advanced Combinatorial Mathematics参考文献 16被引用 10

一句话总结

本文研究了符号平衡与maj平衡偏序集，通过引入符号反转对合映射来证明符号平衡性，并利用钩长偏序集推导maj平衡性的判定准则。主要贡献在于通过偶数钩长的数量对maj平衡偏序集进行刻画，并给出非平衡情况下maj不平衡性的精确公式。

ABSTRACT

Let P be a poset with elements 1,2,...,n. We say that P is sign-balanced if exactly half the linear extensions of P (regarded as permutations of 1,2,...,n) are even permutations, i.e., have an even number of inversions. This concept first arose in the work of Frank Ruskey, who was interested in the efficient generation of all linear extensions of P. We survey a number of techniques for showing that posets are sign-balanced, and more generally, computing their "imbalance." There are close connections with domino tilings and, for certain posets, a "domino generalization" of Schur functions due to Carre and Leclerc. We also say that P is maj-balanced if exactly half the linear extensions of P have even major index. We discuss some similarities and some differences between sign-balanced and maj-balanced posets.

研究动机与目标

• 通过分析线性扩展的奇偶性，对符号平衡或maj平衡的偏序集进行刻画。
• 开发一种通用方法，利用符号反转对合映射证明偏序集的符号平衡性。
• 将线性扩展的结果推广至斜形状与多米诺骨牌密铺，将组合学与对称函数联系起来。
• 基于偶数钩长的分布，为钩长偏序集提供maj平衡性的显式判定准则。
• 计算非平衡情况下偶数与奇数线性扩展之间的不平衡性，特别是针对链的乘积与斜形状。

提出的方法

• 在所有线性扩展集合上使用符号反转对合映射来证明符号平衡性，特别是通过交换排列表示中相邻元素的方式。
• 在所有线性扩展上应用提升与撤离算子，分析奇偶性变化并构造双射。
• 在由方格集合导出的偏序集上引入Schur标记，通过密铺的符号将多米诺骨牌密铺与符号及maj平衡联系起来。
• 定义钩长偏序集，其极大指标生成函数表示为q的有理函数，使用公式 $ W_P(q) = \frac{[n]!}{(1-q^{h_1})\cdots(1-q^{h_n})} $。
• 应用Murnaghan-Nakayama法则与对称函数理论，验证斜形状与标准杨表的结果。
• 使用多米诺骨牌密铺中的2×2翻转，证明密铺的符号仅依赖于形状，从而实现全局符号不变量。

实验结果

研究问题

• RQ1 在何种条件下，偏序集是符号平衡的，即具有相等数量的偶数与奇数线性扩展？
• RQ2 何时一个偏序集的线性扩展中极大指标分布是平衡的？
• RQ3 在非符号平衡的偏序集中，如何量化偶数与奇数线性扩展之间的不平衡性？
• RQ4 多米诺骨牌密铺与Schur标记在确定线性扩展符号中起什么作用？
• RQ5 钩长需满足何种条件，才能确保偏序集是maj平衡的？

主要发现

• 若每个非极小元都至少覆盖两个极小元，则偏序集是符号平衡的，该结论通过交换排列表示中相邻元素的符号反转对合映射证明。
• 对于两个链的乘积 $ m \times n $，当且仅当 $ m,n > 1 $ 且 $ m \equiv n \pmod{2} $ 时，偏序集是符号平衡的，从而证实了Ruskey的猜想。
• 钩长偏序集的maj不平衡性由 $ W_P(-1) = \frac{\lfloor n/2\rfloor!}{\prod_{h_i \text{ even}} (h_i/2)} $ 给出，提供了不平衡性的定量度量。
• 由可多米诺密铺的形状 $ \cal S $ 导出的偏序集 $ P_{\cal S} $ 是maj平衡的，当且仅当 $ \text{sgn}(\cal S) \cdot W_{P_{\cal S}}(-1) $ 等于 $ P_{\cal S} $-多米诺表的个数。
• 对于钩长偏序集，当且仅当偶数钩长的数量小于 $ \lfloor n/2 \rfloor $ 时，$ P $ 是maj平衡的，提供了一个简洁的组合判定准则。
• 结果可推广至斜形状 $ P_{\lambda/\mu} $，其中符号与maj平衡由多米诺密铺的符号与钩长结构决定。