[論文レビュー] COMBINATORIAL OPERATORS FOR KRONECKER POWERS OF REPRESENTATIONS OF Sn

Alain Goupil, Cédric Chauve|arXiv (Cornell University)|Jan 1, 2006

Advanced Combinatorial Mathematics参考文献 15被引用数 25

ひとこと要約

本稿では、対称群 Sn の既約表現 (n−1,1) のクロンネッカー巾を計算するための組合せ的モデルとして、振動テーブルックスに基づくクロンネッカー・テーブルックスを導入する。対称関数環における微分作用素を用いて、n ≥ k + λ₂ のとき、任意の既約表現の重複度に関する明示的公式と母関数を導出する。

ABSTRACT

Abstract. We present combinatorial operators for the expansion of the Kronecker product of irreducible representations of the symmetric group Sn. These combinatorial operators are defined in the ring of symmetric functions and act on the Schur functions basis. This leads to a combinatorial description of the Kronecker powers of the irreducible representations indexed with the partition (n − 1,1) which specializes the concept of oscillating tableaux in Young’s lattice previously defined by S. Sundaram. We call our specialization Kronecker tableaux. Their combinatorial analysis leads to enumerative results for the multiplicity of any irreducible representation in the Kronecker powers of the form χ (n−1,1)⊗k. 1.

研究の動機と目的

• 対称群 Sn の既約表現のクロンネッカー積を計算するための組合せ的枠組みの構築。
• 標準表現に対応する表現 χ(n−1,1) のクロンネッカー巾にこの枠組みを特化すること。
• 任意の既約表現が χ(n−1,1)⊗k に現れる重複度に関する明示的列挙公式と母関数の提供。
• オシレーティング・テーブルックスの一般化として、新たなクラスであるクロンネッカー・テーブルックスを導入し、表現のテンソル巾の組合せ的解析を可能にする。

提案手法

• 著者らは、シュール関数に作用する際にクロンネッカー積を再現する対称関数環上の組合せ的作用素を定義する。
• 彼らは、挿入および転置規則に従って変化するフェルファーズ図の列として、クロンネッカー・テーブルックスを定義し、サンドラムのオシレーティング・テーブルックスを一般化する。
• この構成は、RSK挿入アルゴリズムと、テーブルックス上の置換作用を用いて、テンソル巾構造をモデル化する。
• クロンネッカー・テーブルックスと、T が部分標準テーブルックスで π が {1, ..., k} 上の置換であるペア (T, π) の間の双対写像を確立する。
• この方法は、既約キャラクターとシュール関数を同定するフロベニウス写像に依拠し、制限および分岐をモデル化するための随伴作用素 s⊥γ を用いる。
• 主な技術的道具は、p2(q, m2) — q 個の要素をサイズ ≥2 の m2 個の部分に分割する方法の数 — と、指数型母関数 ep(x) = exp(ex − x − 1) を含む母関数の使用である。

実験結果

リサーチクエスチョン

• RQ1 対称関数を用いて、Sn の既約表現のクロンネッカー積をどのように組合せ的に記述できるか？
• RQ2 χ(n−1,1)⊗k の構造は何か？ そして、その既約成分への分解をどのように列挙できるか？
• RQ3 オシレーティング・テーブルックスの一般化は、表現のテンソル巾のための組合せ的モデルを提供できるか？
• RQ4 n と k に適切な境界を課した下で、与えられた既約表現 λ が χ(n−1,1)⊗k に現れる重複度の母関数は何か？

主な発見

• 表現 λ が χ(n−1,1)⊗k に現れる重複度は、形状 λ の標準テーブルックスの数と、置換の固定点および巡回の和を含む公式で与えられる。
• n ≥ k + λ₂ のとき、重複度 χ(n−1,1)⊗k|χλ は fλ × ∑_{m1=0}^k (k choose m1) × ∑_{m2=n−λ1−m1}^⌊(k−m1)/2⌋ (m2 choose n−λ1−m1) × p2(k−m1, m2) で表され、ここで fλ は形状 λ の標準テーブルックスの数である。
• 母関数が導出された：∑_{k≥ℓ} χ(nk−1,1)⊗k|χλ+(nk−ℓ) x^k / k! = fλ / ℓ! × ep(x)(ex − 1)^ℓ、ここで ep(x) = exp(ex − x − 1) である。
• この公式は、nk ≥ k + λ₂ の条件下で有効であり、最終的な形状 λ+(nk−ℓ) が適切に定義され、列挙が有効であることを保証する。
• 既知の第二種関連スターリング数に関する結果を一般化しており、p2(q, m2) は n ≥ 2k のとき、p2(n,k) = kp2(n−1,k) + (n−1)p2(n−2,k−1) の再帰的関係を満たす。
• この構成は、χ(n−1,1)⊗k の完全な組合せ的モデルを提供するが、スケール形状の複雑さが増すため、一般の μ への拡張は未解決のままである。