[論文レビュー] Irreducible Symmetric Group Characters of Rectangular Shape

Richard P. Stanley|ArXiv.org|Sep 14, 2001

Advanced Combinatorial Mathematics参考文献 11被引用数 45

ひとこと要約

本稿では、形状 $p \times q$ の長方形ヤング図形に付随する対称群の正規化された非可約特徴標について、新しい公式を提示する。ホック長とコンテンツを含む組合せ的恒等式を用いて、$uv = w_\mu$ を満たす順列の対 $(u,v)$ に関する和と特徴標値との間の関係を確立し、$\widehat{\chi}^{p\times q}(\mu,1^{pq-k})$ を $p^\kappa(u)(-q)^\kappa(v)$ と符号因子 $(-1)^k$ を用いて明確に評価する。この結果は既知の恒等式を一般化し、カタラン数やシュレーダー数と関連する。

ABSTRACT

We give a new formula for the values of an irreducible character of the symmetric group S_n indexed by a partition of rectangular shape. Some observations and a conjecture are given concerning a generalization to arbitrary shapes.

研究の動機と目的

• 対称群 $\mathfrak{S}_{pq}$ の正規化された非可約特徴標 $\widehat{\chi}^{p\times q}(\mu,1^{pq-k})$ の新しい閉形式表現を導出すること。
• これらの特徴標値の組合せ的解釈を、サイクル型 $\mu$ の順列 $w_\mu$ を満たす順列の対 $(u,v)$ に従って行うこと。
• 特徴標値をシュール関数が $1^p$ および $1^{-q}$ で評価されたものと関連付けること。
• 特徴標多項式の主要項の生成関数の代数的および組合せ的構造を調査すること。

提案手法

• 長方形形状におけるホック長の積が、部分図形 $\lambda$ と $\tilde{\lambda}$ に関する積に分解されることを示す重要な補題を導出する。この際、恒等式 $H_{p\times q} = (-1)^{|\lambda|} H_\lambda H_{\tilde{\lambda}} s_\lambda(1^p) s_\lambda(1^{-q})$ を用いる。
• ムルナガハラ・ナカヤマの規則を適用し、$\chi^{p\times q}(\mu,1^{pq-k})$ を、補図形 $\tilde{\lambda}$ の標準ヤング盤の和として表し、$\chi^\lambda(\mu)$ を重みとする。
• 正規化特徴標 $\widehat{\chi}^{p\times q}(\mu,1^{pq-k}) = \frac{(pq)_k \chi^{p\times q}(\mu,1^{pq-k})}{f^{p\times q}}$ を導入する。ここで $(pq)_k$ は下降階乗冪、$f^{p\times q}$ は表現の次元を表す。
• フレーム＝ロビンソン＝トランプのホック長公式 $f^\lambda = \frac{n!}{\prod_{u \in \lambda} h(u)}$ を用いて、特徴標次元をホック長の積で表現する。
• 有理関数の合成逆関数とラグランジュ反転を用いて、特徴標多項式の主要項 $G_k$ の生成関数恒等式を確立する。
• $(−1)^k G_k(p_1,\dots,p_m; -q_1,\dots,-q_m)$ が非負整数係数を持つことを証明し、多項式係数と符号なしスターリング型係数を含む明示的な組合せ的公式を提示する。

実験結果

リサーチクエスチョン

• RQ1 対称群の長方形形状における非可約特徴標の値は、固定された積を持つ順列の対で表現可能か？
• RQ2 特徴標 $\widehat{\chi}^{p\times q}(\mu,1^{pq-k})$ の多項式表現における係数の組合せ的意味は何か？
• RQ3 特徴標多項式の主要項は、カタラン数やシュレーダー数といった既知の組合せ的数列とどのように関係するか？
• RQ4 特徴標多項式の主要項の生成関数は、代数的構造を明らかにする記述を持つだろうか？
• RQ5 $(−1)^k G_k(p_1,\dots,p_m; -q_1,\dots,-q_m)$ の係数は、単純な組合せ的解釈を有するだろうか？

主な発見

• 正規化特徴標 $\widehat{\chi}^{p\times q}(\mu,1^{pq-k})$ は、$(-1)^k \sum_{uv=w_\mu} p^{\kappa(u)} (-q)^{\kappa(v)}$ で与えられ、和は $\mathfrak{S}_k \times \mathfrak{S}_k$ 内のすべての対 $(u,v)$ で $uv = w_\mu$ を満たすものにわたる。
• $m=1$ のとき、主要項 $G_k(p;-q)$ はナラヤナ数 $N(k,i) = \frac{1}{k} \binom{k}{i} \binom{k}{i-1}$ を与え、$\kappa(u)=i$, $\kappa(v)=k+1-i$, かつ $uv=(1,2,\dots,k)$ を満たす対 $(u,v)$ の数を数える。
• $m=1$ のとき、和 $S_k = (-1)^k G_k(1,\dots,1;-1,\dots,-1)$ は $k$ 番目のカタラン数 $C_k$ に等しく、既知の組合せ的恒等式を確認する。
• $m=2$ のとき、$S_k$ は $k$ 番目の大きなシュレーダー数 $r_k$ に等しく、$S_k$ の生成関数は次数2の代数的関数である。
• 多項式 $(-1)^k G_k(p_1,\dots,p_m; -q_1,\dots,-q_m)$ は、エリザルデの明示的公式（多項係数および符号なし第一種スターリング数を含む）により、非負整数係数を持つことが示された。
• 生成関数 $\sum G_k x^k$ は、ラグランジュ反転および合成逆関数の技法により、$\mathbb{Q}(p_1,\dots,p_m,q_1,\dots,q_m,x)$ 上で代数的であることが証明された。