[論文レビュー] Enumeration of Standard Young Tableaux

Ron M. Adin, Yuval Roichman|arXiv (Cornell University)|Aug 19, 2014

Advanced Combinatorial Mathematics参考文献 116被引用数 8

ひとこと要約

本論文は、標準ヤングテーブル（SYT）の列挙に関する包括的なサーベイを提供し、対称群における対合やコクセター群における還元語といった組合せ的対象とその数を結びつける。特にホック長公式を含む主要な公式を提示し、漸近的挙動、特にプラナッハル測度下でのランダムSYTの極限形状を検討する。表現論および対称関数理論と深い関係を持つ。

ABSTRACT

A survey paper, to appear as a chapter in a forthcoming Handbook on Enumeration.

研究の動機と目的

• さまざまな形状の標準ヤングテーブル（SYT）の列挙に関する古典的および現代的結果をサーベイすること。
• SYTの列挙と、対称群における対合やコクセター群における還元語といった組合せ的対象との関係を確立すること。
• プラナッハル測度下でのSYTの個数の漸近的挙動を分析し、確率論的および表現論的技法を用いて極限形状を導出すること。
• ホック長公式や$q$-列挙を含む主要な公式を、さまざまなテーブルータイプにわたって提示・統合すること。
• 対称関数、キャラクター、整数型公式が、SYTの漸近的および正確な個数を導出する上で果たす役割を探索すること。

提案手法

• ロビンソン＝シェンステッド（RS）対応を用いて、置換とSYTのペアを結びつけ、群論的構造を介して列挙を可能にする。
• ホック長公式を適用し、すべてのセル$c$におけるホック長の積を用いて、形状$ \nu$のSYTの個数$f^{\nu}$を計算する。
• 確率論的手法およびヴェルシク＝ケロフ${\rm{S}}_{\nu}$理論を用いて、$n \to \infty$における$f^{\nu}$の漸近的結果を導出する。
• $q$-列挙フレームワークを用いて、マジョリティ指数、デセント、逆転数などの統計量によるSYTの個数を数える。
• セルバージュの積分公式およびシフトされたシュール関数を用いて、ホック長因数分解から生じる漸近的積分を評価する。
• 順序ポリトープおよび格子路解釈を活用し、SYTの個数の幾何学的および組合せ的特徴づけを提供する。

実験結果

リサーチクエスチョン

• RQ1 与えられた形状の標準ヤングテーブルの個数は何か。また、その効率的な計算方法は何か？
• RQ2 SYTの個数は、対称群$\mathcal{S}_n$における対合の個数とどのように関係しているか？
• RQ3 プラナッハル測度下での$f^\lambda$の漸近的挙動は何か。また、ランダムSYTの極限形状は何か？
• RQ4 $q$-列挙および置換統計量（例：マジョリティ指数、デセント）はSYTの個数をどのように精緻化するか？
• RQ5 スケイ形状または切り詰め形状のSYTと、対称群のキャラクターまたは表現論的不変量との間にはどのような関係があるか？

主な発見

• 形状$\nu$の標準ヤングテーブルの個数$f^\nu$は、ホック長公式により与えられる：$f^\nu = \frac{n!}{\prod_{c \in \nu} h(c)}$、ここで$h(c)$はセル$c$におけるホック長である。
• $n$個の玉をV字型の容器に配置する配置の総数（すなわち、形状$n$のSYTの個数）は、対称群$\mathcal{S}_n$における対合の個数$t_n$に等しく、定理1.2および系4.12で示されている。
• プラナッハル測度下で、サイズ$n$のランダムSYTの極限形状は、$n \to \infty$において$f(x) = \frac{2}{\pi}\left(x\arcsin\frac{x}{2} + \sqrt{4 - x^2}\right)$（$|x| \leq 2$）および$|x|$（それ以外）に収束する。
• サイズ$n$のSYTの最大個数は、ある$c_1 > c_0 > 0$に対して$e^{-c_1\sqrt{n}}\sqrt{n!} \leq \max f^\lambda \leq e^{-c_0\sqrt{n}}\sqrt{n!}$を満たし、対数スケールで指数的減衰を示す。
• 固定された形状$\mu$（$|\mu| = k$）のSYT$T$に対して、$n \geq k$のサイズのSYTで$T$を部分テーブルとして含むものの個数は、漸近的に$N(n;T) \sim \frac{t_n f^\lambda}{k!}$と表される。ここで$t_n$は対称群$\mathcal{S}_n$における対合の個数である。
• ランダムSYTのサイズ$n$において$T(2,1) = k$である確率の漸近的確率は、$\sim \frac{k-1}{k!} + O(n^{-3/2})$と表され、$\mathcal{S}_\infty$理論および組合せ的技法を用いて導出された。