[論文レビュー] The co-Pieri rule for Kronecker coefficients

C. Bowman, Maud De Visscher+1 more|arXiv (Cornell University)|Oct 12, 2017

Advanced Combinatorial Mathematics参考文献 34被引用数 4

ひとこと要約

この論文は、一般化された分岐グラフ上のパスとして定義される半標準クロンネッカー・テーブルックスを用いて、安定クロンネッカー係数の共ピエリ則を確立する。これにより、古典的なリトルウッド＝リチャードソン則を一般化した統一的な組合せ的公式が得られる。主な結果は、安定クロンネッカー係数が、与えられた形状と重量を持つ半標準クロンネッカー・テーブルックスの個数に等しく、その逆読み取り語がラティス順序列であるものに限ることである。これは、古典的状況を超えて、すべての安定クロンネッカー係数へと共ピエリ則を一般化するものである。

ABSTRACT

A fundamental problem in the representation theory of the symmetric group, Sn, is to describe the coefficients in the decomposition of a tensor product of two simple representations. These coefficients are known in the literature as the Kronecker coefficients. The Littlewood--Richardson coefficients appear as an important subfamily of the wider class of stable Kronecker coefficients. This subfamily of coefficients can be calculated using a tableaux counting algorithm known as the Littlewood--Richardson rule. This paper generalises one half of this rule (the "co-Pieri" rule) to the the wider family of stable Kronecker coefficients.

研究の動機と目的

• 古典的なリトルウッド＝リチャードソン係数の共ピエリ則を、安定クロンネッカー係数の全族へと一般化すること。
• クロンネッカー・テーブルックスを分岐グラフ上のパスとして導入し、安定クロンネッカー係数のための新しい構造的枠組みを提供すること。
• 安定クロンネッカー係数を分割代数におけるホモロジー空間の次元として解釈し、表現論と組合せ論を結びつけること。
• クロンネッカー係数に関する先行研究を、テーブルックス理論の文脈に統合・拡張することで、広範な枠組みに統合すること。

提案手法

• 分岐グラフ上のパスの軌道としてクロンネッカー・テーブルックスを定義する（図1）、標準ヤングテーブルックスの一般化である。
• グラフ上の一般化された優位順序を導入し、クロンネッカー・テーブルックスの逆読み取り語を定義する。
• 分割代数 Ps(n) を用いて ∆s(ν ∕λ) のモジュールをモデル化し、n ≥ 2s のとき、安定クロンネッカー係数を HomPs(n)(∆s(µ), ∆s(ν ∕ λ)) の次元として与える。
• 半標準クロンネッカー・テーブルックスの逆読み取り語にラティス順序列条件を適用し、有効なテーブルックスを特徴付ける。
• スケル形状 ν ∕λ が同じ列に2つの箱を含まないような共ピエリトリプレット (λ, ν, µ) に制限することで、共ピエリ則を確立する。
• さまざまな分割についての安定クロンネッカー係数の明示的計算と具体例を通じて、規則の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 古典的なリトルウッド＝リチャードソン係数の共ピエリ則を、統一的なテーブルックスモデルを用いて、すべての安定クロンネッカー係数へと一般化できるか。
• RQ2 クロンネッカー・テーブルックス—一般化された分岐グラフ上のパス—は、安定クロンネッカー係数の構造をどのように表現するか。
• RQ3 逆読み取り語とラティス順序列条件は、一般化された共ピエリ則において果たす役割は何か。
• RQ4 新しいテーブルックスと規則は、クロンネッカー係数の既存の組合せ的記述をどのように拡張するか。
• RQ5 新しい枠組みは、1行目や2行目の分割に関する先行結果を統合・一般化できるか。

主な発見

• n ≥ 15 のとき、g((n−7,7),(n−6,6),(n−8,4,3,1)) = 3 であり、これは逆読み取り語がラティス順序列である有効な半標準クロンネッカー・テーブルックスの個数として計算される。
• λ = (6,1), ν = (4,3) のとき、g((6,1),(4,3),(3)) = 3, g((6,1),(4,3),(2,1)) = 4, g((6,1),(4,3),(13)) = 1 であり、すべてテーブルックスの個数から導出される。
• g((6,2),(7,4),(4)) = 4, g((6,2),(7,4),(2,2)) = 3, g((6,2),(7,4),(14)) = 0, g((6,2),(7,4),(3,1)) = 7 であり、非最大深さトリプレットに対しても規則の適用が可能であることを示している。
• µ = (2,2,1) のとき、g((6,2),(7,4),(2,2,1)) = 11 であり、逆読み取り語がラティス順序列である11個の有効なテーブルックスを列挙することで確認された。
• n ≥ 14 のとき、g((n−7,6,1),(n−7,4,3),(n−3,3)) = 4 であり、大きな n に対して安定性と一貫性が確認された。
• λ = ν = (12) の例では、∆02(ν ∕λ) が2つの推移的置換モジュールに分解されるが、標準クロンネッカー・テーブルックス枠組みは直接適用できない。これは、本手法の有効範囲と限界を示している。