[論文レビュー] A conjectured combinatorial interpretation of the normalized irreducible character values of the symmetric group

Richard P. Stanley|ArXiv.org|Jun 19, 2006

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

ひとこと要約

本稿では、m個の長方形の和として表される分割に対する対称群の正規化された既約特徴標値の組み合わせ的解釈を仮説として提示する。長方形の次元に関する符号付き生成関数に等しい、積条件を満たす色付き置換に関する符号付き和を導入し、特徴標値がその生成関数に一致することを示す。この主張は、係数の多項式性および非負性の仮説に裏付けられる。

ABSTRACT

In math.CO/0109093 the author obtained a formula for the value of an irreducible symmetric group character indexed by a partition of rectangular shape. In the present paper this formula is (conjecturally) generalized to arbitrary shapes.

研究の動機と目的

• 長方形の分割形状を持つ対称群の正規化された既約特徴標値の組み合わせ的解釈を提供すること。
• 既知の単一の行サイクル型に対する公式を、色付き置換に関する新しい符号付き和を用いて任意のサイクル型へ一般化すること。
• ある多項式の係数が非負整数であるという仮説を提示すること。
• 特徴標理論と対称群における色付き置換の数え上げとの間の関係を確立すること。
• 構造的恒等式を用いて、一般の仮説をユニタリ長方形サイズのケースに還元すること。

提案手法

• 落下階乗でスケーリングされた既約特徴標値の比として、正規化された特徴標値 $ F_{\nu}({\bf p};{\bf q}) $ を定義する。
• $ \mathfrak{S}_k^{(m)} $、すなわちk個の要素上でm色で色付けされたサイクルを持つ置換の集合を導入し、色付き置換群を形成する。
• 非結合的積 $ \alpha v = \beta $ を定義し、$ \beta $ のサイクルの色は、それが合体して形成された $ u $ のサイクルの色の最大値であるとする。
• $ F_{\nu}({\bf p};{\bf q}) = (-1)^k \sum_{\alpha w_{\nu} = \beta} {\bf p}^{\kappa(\alpha)} (-{\bf q})^{\kappa(\beta)} $ という仮説を提示する。この和は、このようなペアすべてにわたる。
• 還元の議論を用いる：もしすべての $ p_i = 1 $ のとき仮説が成り立つならば、隣接する長方形の合体に関する構造的恒等式により、一般の場合にも成り立つ。
• 既知の恒等式 $ \sum_{w \in \mathfrak{S}_k} x^{\kappa(w)} = x(x+1)\cdots(x+k-1) $ を用いて、色付き置換の数が $ (k+m-1)_k $ に等しいことを正当化する。

実験結果

リサーチクエスチョン

• RQ1 分割がm個の長方形の和であるとき、対称群の正規化された既約特徴標値は組み合わせ的に解釈可能か？
• RQ2 係数が整数である多項式 $ (-1)^k F_{\nu}({\bf p}; -{\bf q}) $ は常に非負係数を持つだろうか？
• RQ3 色付き置換 $ \alpha, \beta \in \mathfrak{S}_k^{(m)} $ で $ \alpha w_{\nu} = \beta $ を満たすものの和が、正しい特徴標値 $ F_{\nu}({\bf p};{\bf q}) $ を与えるだろうか？
• RQ4 構造的恒等式を用いて、長方形の合体の下で、一般の仮説をすべての $ p_i = 1 $ のケースに還元できるだろうか？
• RQ5 ケロフの特徴標多項式の背後には、ここですでに提案されたものと同様の、より深い組み合わせ的または代数的構造が存在するだろうか？

主な発見

• 正規化された特徴標値 $ F_{\nu}({\bf p};{\bf q}) $ は、長方形の次元 $ p_i $ および $ q_i $ に関する整数係数の多項式である。
• $ \nu = (k) $ のとき、$ F_k({\bf p};{\bf q}) $ の閉形式の公式が、有理関数展開における $ x^{-1} $ の係数を用いて与えられる。
• 仮説が $ m=1 $、すなわち長方形形状の場合に非負係数を持つことの証明がなされた。
• 隣接する長方形の合体に対応する恒等式により、$ q_{i+1} = q_i $ を設定することは、長方形の合体を意味するため、仮説は $ p_1 = \cdots = p_m = 1 $ のケースに還元された。
• $ m=2 $、$ \nu = (2) $ の場合、仮説は明示的に検証された：$ F_2(p_1,p_2;q_1,q_2) = -p_1^2 q_1 - 2p_1 p_2 q_2 - p_2^2 q_2 + p_1 q_2^2 + p_2 q_2^2 $ であり、6つの色付きペアの和と一致する。
• Rattanによって示されたように、$ F_k $ の最高次の項については、仮説が既に知られているため、その妥当性が支持される。