[論文レビュー] Kronecker products, characters, partitions, and the tensor square conjectures

Igor Pak, Greta Panova+1 more|arXiv (Cornell University)|Apr 2, 2013

Advanced Combinatorial Mathematics参考文献 42被引用数 17

ひとこと要約

本稿では、Kronecker係数の正性に関する新しい文字に基づく基準を導入し、それを利用して、十分に大きな $k$ に対して、階段分割 $\rho_k$ に付随する既約キャラクターのテンソル平方が、$S_n$ のすべてのヒルクおよび二行分割に対応する既約キャラクターを部分表現として含むことを証明する。主な貢献は、キャラクターの非消滅性とKronecker係数の正性を結びつける十分条件を確立したことであり、これによりリムフックテーブルと単調な分割関数の組合せ論的性質を用いてSaxl予想の進展が可能になった。

ABSTRACT

We study the remarkable Saxl conjecture which states that tensor squares of certain irreducible representations of the symmetric groups S_n contain all irreducibles as their constituents. Our main result is that they contain representations corresponding to hooks and two row Young diagrams. For that, we develop a new sufficient condition for the positivity of Kronecker coefficients in terms of characters, and use combinatorics of rim hook tableaux combined with known results on unimodality of certain partition functions. We also present connections and speculations on random characters of S_n.

研究の動機と目的

• Saxl予想に取り組むこと：$S_n$ の階段分割に付随する既約キャラクターのテンソル平方が、すべての既約キャラクターを部分表現として含むこと。
• Kronecker係数の正性のための新しい十分条件を、キャラクター値と自己共役分割を用いて開発すること。
• 十分に大きな $k$ に対して、テンソル平方 $\chi^{\rho_k} \otimes \chi^{\rho_k}$ がすべてのヒルクおよび二行分割に対応する既約キャラクターを含むことを証明すること。
• $A_n$ の表現理論とキャラクターの非消滅条件を結びつけて、正性に関する結果を導出すること。
• ランダムキャラクターおよび $S_n$ のキャラクター表の構造に対する影響を検討すること。

提案手法

• Kronecker係数の正性のための新しい十分条件（主補題）を導入：自己共役な $\mu$ の主ヒルクから得られる分割 $\nu$ に対して $\chi^{\lambda}[\nu] \neq 0$ ならば、$\chi^\lambda$ は $\chi^\mu \otimes \chi^\mu$ の部分表現である。
• 符号が交互に変化するMurnaghan–Nakayamaの法則を用いてキャラクター値を計算し、リムフックテーブルの組合せ論的性質に依存する。
• 分割関数の単調性および単峰性に関する既知の結果を応用し、$\ell$ や $r$ が大きい場合のキャラクター値を制御する。
• キャラクター論的道具と漸近的分割論を組み合わせ、関連する $\lambda$ に対して $\chi^{\lambda}[\nu]$ の非消滅を確立する。
• $\mu = \rho_k$ の主ヒルク長さの構造を用いて $\nu$ を定義し、主補題の適用を可能にする。
• 相異なる奇数の和に分解する分割数の単調性に関する既知の結果を活用し、キャラクター値をバインドして非消滅を保証する。

実験結果

リサーチクエスチョン

• RQ1 $n = \binom{k+1}{2}$ かつ十分に大きな $k$ に対して、既約キャラクター $\chi^{\rho_k}$ のテンソル平方は、$S_n$ のすべての既約キャラクターを含むか？
• RQ2 完全な計算なしにKronecker係数の正性を保証する文字に基づく基準を開発できるか？
• RQ3 どの分割形状（例えばヒルク、二行）に対して、$\chi^{\lambda}$ が $\chi^{\rho_k} \otimes \chi^{\rho_k}$ に現れるかを証明できるか？
• RQ4 ランダムまたは構造的で適切な $\mu$ に対して、キャラクター値 $\chi^{\lambda}[\mu]$ の漸近的挙動は何か？ これとKronecker正性の関係は？
• RQ5 主補題を逆転させることで、$S_n$ のキャラクター表におけるスパarsity（疎らかさ）を推論できるか？

主な発見

• すべての $k \geq L$（ある普遍的定数 $L$）に対して、テンソル平方 $\chi^{\rho_k} \otimes \chi^{\rho_k}$ は、$0 \leq \ell \leq n/2$ を満たす $\lambda = (n-\ell, \ell)$ に対応するすべての既約キャラクター $\chi^{\lambda}$ を含む。
• 同様に、十分に大きな $k$ に対して、同じテンソル平方は、$0 \leq r \leq n-1$ を満たす $\lambda = (n-r, 1^r)$ に対応するすべての既約キャラクター $\chi^{\lambda}$ を含む。
• 主補題は、Kronecker係数の正性の十分条件を提供する：$\nu$ が自己共役な $\mu$ の主ヒルクから得られる場合、$\chi^{\lambda}[\nu] \neq 0$ ならば、$\chi^\lambda$ は $\chi^\mu \otimes \chi^\mu$ に現れる。
• 証明はキャラクターの非消滅結果と、単峰性および単調な分割関数の不等式を組み合わせ、$\ell$ や $r$ が大きい場合の値を制御することに依存する。
• この手法により、$S_n$ のキャラクター表の少なくとも $\exp\Theta(n^{1/4})$ 行および列がほとんどゼロのエントリを持つことが示され、本質的なスパarsity（疎らかさ）を示唆する。
• 結果は、ランダムな $S_n$ キャラクターがスパースである可能性が高く、キャラクター表の大多数のエントリがゼロであるというより広い予想を支持する。