[论文解读] Permutation sign under the Robinson-Schensted-Knuth correspondence

Astrid Reifegerste|ArXiv.org|Sep 16, 2003

Advanced Combinatorial Mathematics参考文献 5被引用 4

一句话总结

本文通过分析插入表和记录表，建立了一个直接从 Robinson-Schensted-Knuth (RSK) 对应关系计算置换符号的公式。它表明符号等于插入表和记录表符号的乘积，以及插入表中偶数索引行总长度的奇偶性，从而为 Stanley 关于钩形表的不平衡性猜想提供了简洁的证明，并细化了避免特定模式的置换中符号的分布。

ABSTRACT

We show how the sign of a permutation can be deduced from the tableaux induced by the permutation under the Robinson-Schensted-Knuth correspondence. The result yields a simple proof of a conjecture on the squares of imbalances raised by Stanley.

研究动机与目标

• 通过 RSK 对应关系产生的表，仅利用表来确定置换的符号。
• 将 Beissinger 对对合置换的算法推广至一般置换。
• 证明 Stanley 关于钩形标准杨表不平衡性平方的猜想。
• 分析避免特定模式的置换中符号与最长递增子序列的联合分布。

提出的方法

• 利用 RSK 对应关系的对称性：一个置换的记录表是其逆置换的插入表。
• 应用 Knuth 等价关系，通过初等变换将对合置换的结果推广至一般置换。
• 将表的符号定义为 (−1) 的幂，指数为行词中逆序对的数量。
• 引入偶数索引行长度奇偶性作为计算置换符号的关键组成部分。
• 使用反向 RSK 插入从表重构置换，并识别下降结构。
• 应用关于钩形表和不平衡性的已知结果，推导出符号加权分布的生成函数。

实验结果

研究问题

• RQ1 如何仅从 RSK 对应关系的表直接计算置换的符号？
• RQ2 置换的符号与其插入表和记录表的结构之间有何关系？
• RQ3 是否可以仅根据表的形状和内容确定符号，而无需依赖置换的循环结构？
• RQ4 在避免 213 和 231 模式的置换中，符号分布如何表现？
• RQ5 通过表计算置换符号的公式是否能为 Stanley 关于钩形表不平衡性的猜想提供证明？

主要发现

• 置换的符号等于其插入表和记录表符号的乘积，以及插入表中偶数索引行总长度的奇偶性。
• 该结果为 Stanley 关于钩形标准杨表不平衡性平方的猜想提供了新的简洁证明。
• 对于同时避免 213 和 231 的置换，符号加权最长递增子序列的生成函数为 $ q(q+1)^{\rfloor(n-1)/2\rfloor}(q-1)^{\rfloor n/2\rfloor} $。
• 当 $ n $ 为奇数时，避免 213/231 的置换集中，偶数和奇数置换的数量相等，因为生成函数简化为 $ q(q^2 - 1)^{(n-1)/2} $。
• 当 $ n $ 为偶数时，生成函数变为 $ q(q-1)(q^2 - 1)^{n/2 - 1} $，反映出符号分布的不平衡性。
• 本文建立了 {213,231}-避免置换与钩形标准杨表之间的双射，通过 RSK 对称性确认了 $ |A_n| = 2^{n-1} $。