[論文レビュー] On the Schur expansion of Jack polynomials

Per Alexandersson, James Haglund+1 more|arXiv (Cornell University)|May 1, 2018

Advanced Combinatorial Mathematics参考文献 9被引用数 3

ひとこと要約

本稿は、修正ジャック多項式 $\tilde{J}_{\mu}^{(\alpha)}$ のシュール展開に関する2つの予想を提示し、証拠を提示する。$\binom{\alpha+k}{n}$ および $\binom{\alpha}{k}k!$ の二項基底における係数が非負整数であり、生成多項式が実根を持つことを示す。結果はオイラー数、スターリング数、準山本内テーブルックス、ルーク盤と関連し、対称関数論におけるより深い代数的構造を示唆する新しい組合せ的解釈を提供する。

ABSTRACT

We present positivity conjectures for the Schur expansion of Jack symmetric functions in two bases given by binomial coefficients. Partial results suggest that there are rich combinatorics to be found in these bases, including Eulerian numbers, Stirling numbers, quasi-Yamanouchi tableaux, and rook boards. These results also lead to further conjectures about the fundamental quasisymmetric expansions of these bases, which we prove for special cases.

研究の動機と目的

• 修正ジャック多項式 $\tilde{J}_{\mu}^{(\alpha)}$ のシュール展開を、$\alpha$ を含む二つの二項基底において調査すること。
• これらの展開における係数の組合せ的正値性を確立し、それらが非負整数であると予想すること。
• 係数とオイラー数、スターリング数、準山本内テーブルックス、ルーク多項式などの組合せ的対象との関係を調査すること。
• これらの基底の基本的 quasi-対称展開に関する予想を提示し、特殊な場合を証明すること。
• 係数に関連する生成多項式の実根性についての証拠を提供すること。

提案手法

• $\alpha \to 1/\alpha$ の下でシュール展開が安定化するように、$\tilde{J}_{\mu}^{(\alpha)}(X) = \alpha^n J_{\mu}^{(1/\alpha)}(X)$ を定義すること。
• シュール係数 $\langle \tilde{J}_{\mu}^{(\alpha)}, s_\lambda \rangle$ を基底 $\binom{\alpha+k}{n}$ および $\binom{\alpha}{k}k!$ において表現すること。
• Knop と Sahi のジャック多項式の単項式展開の組合せ的公式を用いて、フック型の形状における $\langle \tilde{J}_{\mu}^{(\alpha)}, s_\mu \rangle$ の表現を導出すること。
• ルーク多項式理論をフェルーズ盤に適用し、ヒット多項式およびルーク多項式がすべて実根を持つことを示し、これにより係数の生成多項式の実根性が導かれる。
• Yoo のマクドナルド多項式に関する結果と $q \to 1$ の極限を用いて、$\tilde{J}_{(n)}^{(\alpha)}$ をシュール関数および二項係数の形で明示的な式を得ること。
• 恒等式 $\binom{\alpha+k}{n} = \sum_i \binom{\alpha}{i} \binom{k}{n-i}$ を用いて二つの基底を関連付け、予想1が予想2における整数性を示すこと。

実験結果

リサーチクエスチョン

• RQ1 $\tilde{J}_{\mu}^{(\alpha)}$ のシュール基底における展開において、基底 $\binom{\alpha+k}{n}$ に拡張した係数が常に非負整数か？
• RQ2 これらの係数の生成多項式 $\sum_k a_k(\mu,\lambda) z^k$ はすべて実根を持つか？
• RQ3 基底 $\binom{\alpha}{k}k!$ における係数は組合せ的に解釈可能か？ また、それらも非負整数か？
• RQ4 シュール展開係数と準山本内テーブルックス、オイラー数、ルーク盤といった組合せ的対象との関係は何か？
• RQ5 これらの基底の基本的 quasi-対称展開は特徴付け可能か？ また、シュール正値性を支持するか？

主な発見

• $\mu = (n)$ の場合、シュール係数 $\langle \tilde{J}_{(n)}^{(\alpha)}, s_\lambda \rangle$ は $\sum_k K_{\lambda,1^n} h_k(B(c_1,\ldots,c_n)) \binom{\alpha+k}{n}$ で与えられ、ここで $h_k$ はルーク盤の $k$ 番目の基本対称関数である。
• 同じ係数は $\sum_k K_{\lambda,1^n} r_{n-k}(B(c_1,\ldots,c_n)) \binom{\alpha}{k}k!$ とも表現され、ルーク多項式の統計と関連する。
• フック型の $\mu = (n-\ell,1^\ell)$ の場合、シュール係数 $\langle \tilde{J}_{\mu}^{(\alpha)}, s_\mu \rangle$ は $\ell!$ および $\ell \cdot \ell!$ を含む2項の和であり、それぞれ特定のセル重みを持つルーク盤の対称関数に掛け合わされている。
• 生成多項式 $\sum_k a_k(\mu,\lambda) z^k$ および $\sum_k b_{n-k}(\mu,\lambda) z^k$ は、フェルーズ盤のルーク多項式およびヒット多項式の実根性により、特別な場合に実根のみを持つことが示された。
• $K_{\lambda,1^n}$ は、内容が $1^n$ の形の標準テーブルックスの個数を数える係数であり、$\mu = (n)$ の展開において乗法的因子として現れる。
• 結果は、$\binom{\alpha}{k}k!$ 基底におけるルーク盤の解釈とテーブルックスの解釈の間の潜在的な双対写像の存在を示唆しており、これにより完全な組合せ的解釈が得られる可能性がある。