[論文レビュー] A q-analog of Schur's Q-functions

Geanina Tudose, Mike Zabrocki|ArXiv.org|Mar 5, 2002

Algebraic structures and combinatorial models参考文献 20被引用数 3

ひとこと要約

本稿では、$Q$-関数を生成する作用素に$q$-ねじれ操作を適用することで、シュールの$Q$-関数の$q$-アナログ$G_{\lambda}[X;q]$を導入する。これは、ハル＝リトルウッド対称関数がシュール関数から生じるのと同様の構造である。主な結果は、$G_{\mu}[X;q]$と$Q_{\lambda}[X]$間の基底変換係数が、非負整数係数の$q$の多項式であることであり、$q=1$でマーク付きシフトテーブルックスの数を数えるもので、対称関数設定におけるコストカ＝ファウルクス多項式の一般化である。

ABSTRACT

We present a family of analogs of the Hall-Littlewood symmetric functions in the $Q$-function algebra. The change of basis coefficients between this family and Schur's $Q$-functions are $q$-analogs of numbers of marked shifted tableaux. These coefficients exhibit many parallel properties to the Kostka-Foulkes polynomials.

研究の動機と目的

• $Q$-関数代数$\Gamma$（奇数の基本対称関数によって生成される）の中で、ハル＝リトルウッド対称関数の$q$-アナログを定義すること。
• 新しい族$G_{\lambda}[X;q]$とシュールの$Q$-関数との間の基底変換係数が、非負整数係数の$q$の多項式であることを確立すること。
• これらの係数が$q=1$でマーク付きシフトテーブルックスの数に還元されることにより、コストカ＝ファウルクス多項式を組合せ的および代数的に一般化すること。
• $q$-アナログ係数を解釈するための組合せ的道具（例：RSKアルゴリズムや jeu de taquin）が、これらに拡張可能かどうかを調査すること。
• 新しい$G_{\lambda}[X;q]$関数とハル＝リトルウッド関数との間の構造的類似性を特定し、より深い代数的または表現論的原理を示唆すること。

提案手法

• $Q$-関数を生成する作用素${\bf Q}_m$から、次数を上げる再帰的構成により、$q$-ねじれ作用素$\widetilde{{\bf Q}_m}^q$を定義する。
• $G_{\lambda}[X;q]$を再帰的に構成する。$m > \lambda_1$に対して、$G_{(m,\lambda_1,\dots)}[X;q] = \widetilde{{\bf Q}_m}^q(G_{\lambda}[X;q])$を用いる。
• 作用素枠組みを用いて、対称関数代数におけるハル＝リトルウッド関数と類似した再帰的関係を導出する。
• $G_{\mu}[X;q]$と$Q_{\lambda}[X]$間の移行行列を解析し、係数がマーク付きシフトテーブルックスの数の$q$-アナログであることを示す。
• $n=4$から$9$までの明示的係数表$2^{\ell(\lambda)-\ell(\mu)}L_{\lambda\mu}(q)$を提示し、多項式性と非負係数を実証する。
• ランク関数のパターンに基づき、表のポセットにおけるラベル付けの選択（例：$k^*$ と $k$）に依存しない係数統計の可能性を仮説立てる。

実験結果

リサーチクエスチョン

• RQ1 $Q$-関数代数$\Gamma$の中で、ハル＝リトルウッド対称関数の正しい$q$-アナログは何か？
• RQ2 $G_{\mu}[X;q]$と$Q_{\lambda}[X]$間の基底変換係数は、組合せ的および代数的にコストカ＝ファウルクス多項式を一般化するか？
• RQ3 $q$-ねじれ作用素$\widetilde{{\bf Q}_m}^q$は、組合せ的・幾何的・表現論的解釈を与えられるか？
• RQ4 $G_{\mu}[X;q]$の係数をマーク付きシフトテーブルックスの観点から解釈するための組合せ的モデル（例：一般化されたRSKやjeu de taquin）は存在するか？
• RQ5 $G_{\lambda}[X;q]$の性質はハル＝リトルウッド関数とどのように比較できるか？また、これにより$q$-ねじれの普遍性について何を示唆するか？

主な発見

• $G_{\lambda}[X;q]$は、$Q$-関数の再帰的生成を拡張する$q$-ねじれ作用素$\widetilde{{\bf Q}_m}^q$を用いて定義される。
• $G_{\mu}[X;q] = \sum_{\lambda} L_{\lambda\mu}(q) Q_{\lambda}[X]$の展開における係数は、非負整数係数の$q$の多項式である。
• $q=1$で、係数$L_{\lambda\mu}(1)$は、形状$\lambda$、内容$\mu$のマーク付きシフトテーブルックスの数を数える。
• $n=4$から$9$までの明示的表により、$2^{\ell(\lambda)-\ell(\mu)}L_{\lambda\mu}(q)$が非負係数の多項式であることが確認され、正値性の仮説を支持する。
• 係数行列の構造は、ハル＝リトルウッド関数に類似しており、上三角行列であり、対角線に沿って$q$の累乗が増加する。
• 形状$(4,3,2)$のマーク付きシフトテーブルックスのポセットに関する仮説により、係数統計がラベル付けの選択（例：$k^*$ と $k$）に依存しない可能性が示唆されるが、被覆関係は未解明のままである。