[論文レビュー] Some positive differences of products of Schur functions

François Bergeron, Peter R. W. McNamara|ArXiv.org|Dec 14, 2004

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

ひとこと要約

本稿は、シュール関数の積の差のシュール正性を調査し、特に2つの分割の部品を「チルダ作用」により再配分することで得られる差がシュール正であるという予想に焦点を当てる。著者らは、いくつかの重要なケースでその予想を証明し、スケル形状への拡張を提示。組合せ的構成と順序集合の相対的部品サイズ変化における不変性を通じて、強力な証拠を提供する。

ABSTRACT

The product $s_μs_ν$ of two Schur functions is one of the most famous examples of a Schur-positive function, i.e. a symmetric function which, when written as a linear combination of Schur functions, has all positive coefficients. We ask when expressions of the form $s_λs_ρ- s_μs_ν$ are Schur-positive. This general question seems to be a difficult one, but a conjecture of Fomin, Fulton, Li and Poon says that it is the case at least when $λ$ and $ρ$ are obtained from $μ$ and $ν$ by redistributing the parts of $μ$ and $ν$ in a specific, yet natural, way. We show that their conjecture is true in several significant cases. We also formulate a skew-shape extension of their conjecture, and prove several results which serve as evidence in favor of this extension. Finally, we take a more global view by studying two classes of partially ordered sets suggested by these questions.

研究の動機と目的

• 形式 $ s_{\tau}s_{\rho} - s_{\nu}s_{\nu} $ の式がシュール正である条件を調査すること。特に、$ (\tau, \rho) $ が $ (\nu, \nu) $ の部品をチルダ作用により再配分することで得られる場合に注目する。
• フォーマン＝フォンタイン＝リーブ＝プーンの予想、すなわちすべての分割 $ \nu, \rho $ に対して $ s_{\tilde{\nu}}s_{\tilde{\rho}} - s_{\nu}s_{\rho} $ がシュール正であることを、複数の重要なケースで証明することで、その根拠を提供すること。
• この予想をスケルシュール関数へ拡張し、スケル形状への一般化を支持する部分的な結果を証明すること。
• これらの積に関連する部分順序集合（poset）の構造を調査し、相対的な部品サイズの変化に対して不変であることを明らかにし、チャーマー複体分解の可能性を示唆すること。

提案手法

• シュール正性を、リトルウッド＝リチャードソン係数 $ c^{\theta}_{\tau\rho} \triangleq c^{\theta}_{\nu\tau} $ の不等式として解釈する。これにより、半標準ヤング盤の個数に帰着され、問題が解きやすくなる。
• 「再塗装」論法を適用し、2分割予想が m 分割への一般化を含むことを示し、結果の適用範囲を広げることを可能にする。
• リトルウッド＝リチャードソン充填の間の明示的単射を構成することで、順序集合構造における厳密な優位性（例：$ d_{r-1} < d_r $）を証明する。
• 分割 $ \nu $ に関連する順序集合 $ D(\nu) $ を分析し、その同型類が絶対値ではなく相対的な部品サイズにのみ依存することを、チャーマー複体構造を用いて示す。
• ヤコビ＝トゥルディの恒等式とその「爆発的」変種（各項を長方形シュール関数 $ s_{(a^k)} $ に置き換える）を用い、新たなシュール正の式を生成する。
• $ p=3 $ の場合、次数90までで爆発的ヤコビ＝トゥルディ行列式のシュール正性を体系的に計算で検証したが、$ p=4 $ の場合にはシュール正でないケースが特定された。

実験結果

リサーチクエスチョン

• RQ1 チルダ作用により得られる $ (\tilde{\nu}, \tilde{\rho}) $ に対して、差 $ s_{\tilde{\nu}}s_{\tilde{\rho}} - s_{\nu}s_{\rho} $ はすべての分割 $ \nu, \rho $ に対してシュール正か？
• RQ2 フォーマン＝フォンタイン＝リーブ＝プーンの予想のスケル形状一般化は成り立つか？すなわち、$ m \to \text{even} $ のとき、$ s_{\tilde{\nu}^1} \bar{s}_{\tilde{\nu}^2} \bar{\bar{...}}} s_{\tilde{\nu}^m} - s_{\nu^1} s_{\nu^2} \bar{\bar{...}}} s_{\nu^m} $ はシュール正か？
• RQ3 支配順序に基づくLR充填に関する順序集合 $ D(\nu) $ は、相対的な部品サイズの変化に対してどのような構造的性質を示すか？
• RQ4 「爆発的」ヤコビ＝トゥルディ行列式 $ \text{det}(s_{((\nu_i - i + j)^k)}) $ はいつシュール正であり、その正性はどのような要因によって決まるか？

主な発見

• チルダ作用による再配分がシュール正であるという予想は、長方形分割（$ \nu = k^a, \rho = k^b $ かつ $ a \neq b $）の重要なケースで成立することが確認された。
• 長方形分割 $ k^a $ と $ k^b $ に対して、差 $ s_{k^a}s_{k^b} - s_{k^{a+1}}s_{k^{b-1}} $ は $ a \neq b $ のとき常にシュール正であり、これは双対ヤコビ＝トゥルディ恒等式と関連している。
• 分割 $ k^m $ に関連する順序集合 $ D(k^m) $ は、長さ $ \floor{m/2} $ の鎖と同型であり、$ d_{r-1} < d_r $ の支配順序は、LR充填集合間の明示的単射により確立された。
• 順序集合 $ D\left(\nu\right) $ は、相対的な部品サイズの変化に対して不変である。例えば、$ x > a > b > c > d > 0 $ のとき、$ D(x,a,b,c,d) $ は常に同じ順序集合と同型である。これは、分割空間におけるチャーマー複体分解の可能性を示唆する。
• 「爆発的」ヤコビ＝トゥルディ行列式 $ \text{det}(s_{((\nu_i - i + j)^k)}) $ は、すべての $ p \times p $ 行列について $ p \neq 4 $ のときシュール正であり、$ p=3 $ の場合、次数90までで検証されたが、$ p=4 $ の場合には簡単なケースでシュール正でないことが判明した。
• スケル形状への一般化は、2分割ケースから「再塗装」論法により導かれる。本稿のいくつかの証明は、自然に $ m $ 分割の場合へと拡張可能である。