[论文解读] Shifted tableau switchings and shifted Littlewood-Richardson coefficients

Seung-Il Choi, Sun-Young Nam+1 more|arXiv (Cornell University)|Jan 31, 2017

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

一句话总结

本文引入了两种新的组合算法——移位表盘交换与修改后的移位表盘交换，作为移位杨表对经典表盘交换过程的类比。通过定义保持移位穿孔性与格字性质的专用初等变换（交换），作者建立了一个对合的双射映射，为移位 Littlewood-Richardson 系数提供了组合解释，证明了对称性，并给出了 Schur $P$-和 $Q$-函数恒等式的构造性规则。

ABSTRACT

We provide two shifted analogues of the tableau switching process due to Benkart, Sottile, and Stroomer, the shifted tableau switching process and the modified shifted tableau switching process. They are performed by applying a sequence of specially contrived elementary transformations called {\em switches} and turn out to have some spectacular properties. For instance, the maps induced from these algorithms are involutive and behave very nicely with respect to shifted Young tableaux whose reading words satisfy the lattice property. As an application, we give combinatorial interpretations of Schur $P$- and $Q$-function identities. We also demonstrate the relationship between the shifted tableau switching process and the shifted $J$-operation due to Worley.

研究动机与目标

• 将经典的表盘交换过程推广到移位情形，其中表盘定义在移位形状上并包含带撇的条目。
• 通过引入保持半标准性的修改交换，解决标准移位 jeu de taquin 可能产生非半标准表盘的问题。
• 利用新的交换算法，为 Schur $P$-和 $Q$-函数恒等式提供组合解释。
• 在满足格性质的移位表盘对之间建立双射，从而为移位 Littlewood-Richardson 系数的对称性提供构造性证明。
• 证明修改后的移位表盘交换是一个对合，并保持读取字的格性质，从而为计算移位 Littlewood-Richardson 系数提供新规则。

提出的方法

• 将移位穿孔 $({f a},{f b})$-对定义为处理带有空格的移位表盘上交换过程的框架。
• 引入七种初等交换（S1–S7），其作用类似于移位 jeu de taquin，可受控地交换条目。
• 通过顺序应用交换，将一对移位表盘 $(S,T)$（其中 $T$ 延拓 $S$）变换为新对 $({}^S T, S_T)$，保持移位穿孔性，从而构建移位表盘交换过程。
• 引入三种修改交换（S1′, S2′, S6′），防止带撇条目出现在主对角线上，确保半标准性得以保持。
• 在特定情况下使用修改交换，其余情况使用标准交换，定义修改后的移位表盘交换过程，确保输出仍为一对半标准移位表盘。
• 利用移位 Knuth 等价性与带撇操作的不变性，证明修改后的交换映射是一个对合，并保持读取字的格性质。

实验结果

研究问题

• RQ1 能否将经典表盘交换过程推广到移位情形，同时保持对合性与正则化行为等关键性质？
• RQ2 如何解决移位 jeu de taquin 输出非半标准表盘的问题，以实现移位 Littlewood-Richardson 系数的明确定义的组合规则？
• RQ3 是否存在一个双射算法，能为移位 Littlewood-Richardson 系数的对称性 $g^{ u}_{ ueta} = g^{ u}_{etaeta}$ 提供组合解释？
• RQ4 在何种条件下，移位表盘的读取字在交换操作下仍保持为格字？
• RQ5 修改后的移位表盘交换过程能否用于推导出 Schur $P$-函数关于 Schur $P$-函数展开的构造性规则？

主要发现

• 修改后的移位表盘交换过程是一个对合，即两次应用后可恢复原始表盘对。
• 该过程保持读取字的格性质：一个表盘具有格字，当且仅当其在交换下的像也具有格字。
• 形状为 $ u/ u$、权重为 $ u$ 的修改后 Littlewood-Richardson-Stembridge (LRS) 表盘的数量恰好为 $g^{ u}_{ ueta} = rac{2^{ u} f^{ u}_{etaeta}}{2^{ u - eta}}$，并给出了一个显式例子：当 $ u = (6,5,2,1)$，$eta = (4,2)$，$ u = (4,3,1)$ 时，$g^{ u}_{ ueta} = 8$。
• 修改后的移位表盘交换在 $igcup_{ u i eta} ext{SSYT}( u/eta, u) imes ext{SSYT}(eta)$ 与 $igcup_{ u i u} ext{SSYT}( u) imes ext{SSYT}( u/eta, u)$ 之间诱导出一个双射，为恒等式 $P_{ u/eta}(x) = igsum_{ u} g^{ u}_{ ueta} P_{ u}(x)$ 提供了组合证明。
• 移位 Littlewood-Richardson 系数的对称性不仅被证明，而且通过一个对合显式实现：该对合交换了修改后 LRS 表盘的内形状与权重，满足 $g^{ u}_{ ueta} = g^{ u}_{eta u}$。