[論文レビュー] The first term of plethysms

Kazuto Iijima|arXiv (Cornell University)|Aug 24, 2011

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

ひとこと要約

この論文は、スチェルスキー関数 $ s_\lambda[s_\mu] $ の展開における単項対称関数 $ m_\nu $ における係数 $ Y_{\lambda[\mu]}^{\nu} $ の組合せ論的公式を提供し、逆辞書式順序における展開の最初の項を同定する。主な結果は、最初の項が最大重みのテープル配置に対応し、その係数が 1 であることであり、対称関数論における長年の未解決問題に対する新しい組合せ論的枠組みを提供する。

ABSTRACT

Plethysm of two Schur functions can be expressed as a linear combination of Schur functions, and monomial symmetric functions. In this paper, we express the coefficients combinatorially in the case of monomial symmetric functions. And by using it, we determine the first term of the plethysm with respect to Schur functions under the reverse lexicographic order.

研究の動機と目的

• プレシズム $ s_\lambda[s_\mu] $ の単項対称関数展開における係数 $ Y_{\lambda[\mu]}^{\nu} $ の組合せ論的記述を提供すること。
• 分割の逆辞書式順序における $ s_\lambda[s_\mu] $ の最初の項を同定すること。
• 閉形式でほとんど未知のままのプレシズム係数を理解するための新しい組合せ論的フレームワークを提示すること。
• リトルウッド＝リチャードソン規則に類似した符号反転置換による証明の可能性を示唆する基盤を築くこと。
• Kostka係数やリトルウッド＝リチャードソン係数と同様に、プレシズム係数を組合せ論的に表現する根本的な未解決問題に取り組むこと。

提案手法

• 読み方の辞書式順序に基づく半標準表の全順序を定義する。
• 単項式の辞書式順序において減少する重みを持つ、$ \mathrm{SSTab}(\mu) $ からの表 $ T_1, T_2, \dots, T_l $ の列を構成する。
• 最大重み構成 $ \nu_0 $ を、$ \mathrm{wt}(T_1), \dots, \mathrm{wt}(T_l) $ の $ \lambda_i $ 個ずつの和として特定し、プレシズムの最初の項を得る。
• ヤコビ＝トゥルディの恒等式と内積の性質を用いて、$ a_{\lambda[\mu]}^{\nu} $ を置換と表の和の符号付き和として表現する。
• Kostka係数を介して $ Y_{\lambda[\mu]}^{\nu} $ と $ a_{\lambda[\mu]}^{\nu} $ の関係を確立し、$ Y_{\lambda[\mu]}^{\nu} \geq a_{\lambda[\mu]}^{\nu} $ を示す。
• 正しいプレシズム係数が得られるように、表と置換の集合上で符号反転置換を構成するための予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 単項対称関数展開における $ s_\lambda[s_\mu] $ の係数 $ Y_{\lambda[\mu]}^{\nu} $ の組合せ論的構造は何か？
• RQ2 逆辞書式順序における $ s_\lambda[s_\mu] $ の最初の項はどの分割 $ \nu $ か？
• RQ3 最初の項は、$ \mathrm{SSTab}(\lambda[\mu]; \nu) $ 内の一意な最大重み表配置によって特徴付けられるか？
• RQ4 リトルウッド＝リチャードソン規則に類似したプレシズム係数の組合せ論的フレームワークは存在するか？
• RQ5 表と置換の集合上で、$ a_{\lambda[\mu]}^{\nu} $ を得る符号反転置換を構成できるか？

主な発見

• 逆辞書式順序における $ s\_\lambda[s\_\mu] $ の最初の項 $ \nu_0 $ は、$ \nu_0 = (m\mu_1, m\mu_2, \dots, m(\mu_{l'}-1) + \lambda_1, \lambda_2, \dots, \lambda_l) $ で与えられ、ここで $ m = \ell(\lambda) $、$ l' = \ell(\mu) $、$ \mu_{l'} $ は $ \mu $ の最後の非ゼロ部である。
• 係数 $ Y_{\lambda[\mu]}^{\nu_0} = 1 $ であり、これは単項対称関数 $ m_{\nu_0} $ が展開において重複度 1 で現れることを示している。
• 最大重み構成は、$ \mathrm{SSTab}(\mu) $ 内で辞書式に最大の表 $ T_1, T_2, \dots $ を用い、それぞれ $ \lambda_1 $ 個、$ \lambda_2 $ 個、… ずつ割り当てることで得られる。
• 係数 $ a_{\lambda[\mu]}^{\nu} $ は $ Y_{\lambda[\mu]}^{\nu} \geq a_{\lambda[\mu]}^{\nu} $ を満たし、等号が成り立つのは、すべての $ \kappa > \nu $ に対して $ a_{\lambda[\mu]}^{\kappa} > 0 $ ならば $ K_{\kappa,\nu} = 0 $ であるときである。
• ヤコビ＝トゥルディの恒等式と内積の双対性から、公式 $ a_{\lambda[\mu]}^{\nu} = \sum_{\pi \in S_l} \mathrm{sgn}(\pi) Y_{\lambda[\mu]}^{\pi*\nu} $ が導出される。
• 例の計算により、$ a_{(2)[(2)]}^{(2,2)} = 1 $ が得られ、$ Y_{(2)[(2)]}^{(2,2)} = 2 $、$ Y_{(2)[(2)]}^{(3,1)} = 1 $、逆Kostka係数を用いた公式と整合的である。