[論文レビュー] 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}$-対-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 を用いてシフトされたテーブックスに拡張すること。
• 任意の埋め込み（シフトされたタブロイド）からシフトされた標準テーブックスへの一意的で構成的な全射を確立し、そのファイバーのサイズがフック長の積に等しいことを示すこと。
• 与えられた形状のシフトされた標準テーブックスを一様にランダムに生成する簡単なアルゴリズムを導出すること。

提案手法

• 列順序ではなく行順序の全順序を用いて、シフトされたフェルレース図形に 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}$-対-1 の全射を構成し、フック長の公式を双対的に証明した。
• アルゴリズムは、シフトされた図形における非標準的なフック構造を扱うために不可欠な、セルの行順全順序を用いる。
• この構成により、与えられた形状のシフトされた標準テーブックスを一様にランダムに生成するアルゴリズムが得られ、各テーブックスが等確率で生成される。
• 証明は完全に構成的であり、インボリューション原理を回避しており、従来のアプローチよりもより明確で、組合せ論的に自然である。
• 主な写像の逆写像は、MERGE 3 を逆転させるように巧みに設計された SPLIT 3 手順によって実現され、帰納的仮定を用いて正しさが保証されている。
• 形状 $(5,4,2,1)$ に対して、シフトされた標準テーブックスの数は正確に $12! / (9\cdot7\cdot6\cdot5\cdot2\cdot6\cdot5\cdot4\cdot3\cdot2) = 176$ であり、この双対写像により公式が確認された。