[论文解读] A bijective proof of the hook-length formula for shifted standard tableaux

Ilse Fischer|ArXiv.org|Dec 23, 2001

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

一句话总结

本文提出了一种通过修改的 jeu de taquin 算法对移位标准表进行的双射证明，用一种构造性、基于顺序的方法取代了对合原理。关键贡献是构建了一个从移位表块到移位标准表的 $∐ h_{i,j}$-to-1 满射，从而实现了一种典范的、算法化的双射，同时也给出了此类表的均匀随机生成算法。

ABSTRACT

We present a bijective proof of the hook-length formula for shifted standard tableaux of a fixed shape based on a modified jeu de taquin and the ideas of the bijective proof of the hook-length formula for ordinary standard tableaux by Novelli, Pak and Stoyanovskii. In their proof Novelli, Pak and Stoyanovskii define a bijection between arbitrary fillings of the Ferrers diagram with the integers $1,2,...,n$ and pairs of standard tableaux and hook tabloids. In our shifted version of their algorithm the map from the set of arbitrary fillings of the shifted Ferrers diagram onto the set of shifted standard tableaux is analog to the construction of Novelli, Pak and Stoyanovskii, however, unlike to their algorithm, we are forced to use the 'rowwise' total order of the cells in the shifted Ferrers diagram rather than the 'columnwise' total order as the underlying order in the algorithm. Unfortunately the construction of the shifted hook tabloid is more complicated in the shifted case. As a side-result we obtain a simple random algorithm for generating shifted standard tableaux of a given shape, which produces every such tableau equally likely.

研究动机与目标

• 提供一种不依赖于先前工作中使用的对合原理的移位标准表钩长公式的双射证明。
• 通过修改的 jeu de taquin 将 Novelli、Pak 和 Stoyanovskii 的普通表双射框架扩展到移位表。
• 建立从任意填充（移位表块）到移位标准表的典范、构造性满射，其纤维大小等于钩长的乘积。
• 推导出给定形状的移位标准表的简单、均匀随机生成算法。

提出的方法

• 使用行序总序而非列序，将 jeu de taquin 算法适配到移位费雷尔斯图中。
• 引入修改的 MERGE 3 和 SPLIT 3 过程，以模拟满射的逆，通过归纳性断言确保正确性。
• 使用垂直和水平指针跟踪 jeu de taquin 类似过程中的单元格移动，基于反向路径顺序应用支配规则。
• 将移位钩表块定义为双射中的中间结构，其构造比普通情况更复杂。
• 将该算法应用于移位图的任意填充，以生成唯一的移位标准表，每个表恰好有 $\prod h_{i,j}$ 个原像。
• 通过归纳推理和结构断言（断言 3–6）验证 SPLIT 3 过程可逆地还原 MERGE 3，从而确保整体映射的双射性。

实验结果

研究问题

• RQ1 能否构造一种不依赖于对合原理的移位标准表钩长公式的双射证明？
• RQ2 在钩结构不同的情况下，如何将基于 jeu de taquin 的普通表双射方法适配到移位情形？
• RQ3 在移位图中，应采用何种适当的单元格总序以确保算法具有良好的定义性和可逆性？
• RQ4 所得到的双射能否用于均匀随机生成移位标准表？
• RQ5 中间的移位钩表块必须满足何种结构性质，以支持该双射？

主要发现

• 本文构建了一个从移位表块集合到移位标准表集合的 $\prod_{(i,j)} h_{i,j}$-to-1 满射，从而双射地证明了钩长公式。
• 该算法使用单元格的行序总序，这对于处理移位图中非标准的钩结构至关重要。
• 该构造产生了一种均匀随机生成给定形状的移位标准表的算法，每个表被生成的概率相等。
• 该证明是完全构造性的，避免了对合原理，因此比先前的方法更具透明性和组合自然性。
• 主映射的逆通过精心设计的 SPLIT 3 过程实现，该过程可逆地还原 MERGE 3 操作，其正确性通过归纳断言得到验证。
• 对于形状 $(5,4,2,1)$，移位标准表的数量恰好为 $12! / (9\cdot7\cdot6\cdot5\cdot2\cdot6\cdot5\cdot4\cdot3\cdot2) = 176$，通过双射验证了该公式。