[論文レビュー] Multiplication of a Schubert polynomial by a Stanley symmetric polynomial

Sami Assaf|arXiv (Cornell University)|Feb 1, 2017

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

ひとこと要約

本稿では、シューベルト多項式とシュール多項式の積がシューベルト基底において非負整数係数で展開されることを示す非負の組合せ的規則を確立する。主な洞察は、シューベルト多項式とスターリング対称多項式の積が切り捨てられたシューベルト多項式であることであり、モノークの法則と、適合列に対する新規な双対写像を用いることで、この特別なシューベルト計算の状況における構成的で正の構造定数の公式が導かれる。

ABSTRACT

We prove, combinatorially, that the product of a Schubert polynomial by a Stanley symmetric polynomial is a truncated Schubert polynomial. Using Monk's rule, we derive a nonnegative combinatorial formula for the Schubert polynomial expansion of a truncated Schubert polynomial. Combining these results, we give a nonnegative combinatorial rule for the product of a Schubert and a Schur polynomial in the Schubert basis.

研究の動機と目的

• シューベルト多項式とシュール多項式の積のシューベルト展開に対する非負で組合せ的な公式を提供すること。
• シューベルト多項式とスターリング対称多項式の積が切り捨てられたシューベルト多項式であることを示すことにより、この結果を一般化すること。
• グラスマンニアン置換である $ v $ の場合に、シューベルト計算における構造定数 $ c^{w}_{u,v( ho,k)} $ に対して構成的で正の規則を確立すること。
• 単純表現と適合列を用いた組合せ的証明を通じて、これらの構造定数の非負性を示すこと。

提案手法

• 著者らは、最後の変数を0に設定する切断写像を定義し、$ frac{1}{x_k} o 0 $ が、隣接置換の特定の列を用いて得られる置換によってインデックス付けられるシューベルト多項式の和に一致することを示す。
• 彼らは、単純表現の適合列と特定の置換の鎖の間の双対写像を導入し、最終的下降と最大下降位置の構造を用いる。
• モノークの法則を用いて、切り捨てられたシューベルト多項式をシューベルト多項式に非負に展開する。
• スライド多項式と適合列の理論を適用してシューベルト多項式の公式を簡略化し、組合せ的解析を容易にする。
• この手法は、各ステップが長さを保ちつつ変数の切断を尊重する置換を表す、切断公式の再帰的適用に依存する。
• 中心的なメカニズムは、$ ext{inv}(u) = ext{inv}(w) $ かつ $ u $ が $ a_i eq b_i $、$ a_i eq b_i $、$ a_i o b_i $、$ b_i > k $ を満たす置換 $ (a_i, b_i) $ を用いて得られるような置換 $ u $ の構成である。

実験結果

リサーチクエスチョン

• RQ1 シューベルト多項式とスターリング対称多項式の積は、非負係数のシューベルト多項式の和として表現可能か？
• RQ2 任意の $ u $ と分割 $ ho $ に対して、$ ancyscript{S}_u imes s_ ho $ のシューベルト展開に対して組合せ的規則は存在するか？
• RQ3 構造定数 $ c^{w}_{u,v( ho,k)} $ は、置換の鎖としてどのように組合せ的に解釈できるか？
• RQ4 $ x_k = 0 $ におけるシューベルト多項式の切断は、シューベルト正の和をもたらすか？
• RQ5 この特別な状況における構造定数の非負性は、構成的で組合せ的な双対写像を用いて証明可能か？

主な発見

• シューベルト多項式とスターリング対称多項式の積は、恒等式 $ ancyscript{S}_w(x_1,𝐴,x_k,0) = \text{sum of } \fancyscript{S}_u $ を用いて切り捨てられたシューベルト多項式であることが示された。ここで、$ w $ から得られる特定の置換 $ u $ によってインデックス付けされる。
• 切断公式は、適合列と置換の間の双対写像を用いて証明され、$ a_i < k $ かつ $ ext{inv}(u) = ext{inv}(w) $ を満たす置換 $ (a_i, k) $ を適用することによって得られる。
• 構造定数 $ c^{w}_{u,v( ho,k)} $ は、$ a_i \leq k < b_i $ かつ $ ext{inv}(w) = \text{inv}(u) + n $ を満たす $ w = u(a_1,b_1)\ldots(a_n,b_n) $ の鎖によって数え上げられる。ここで $ n = |\rho| $ である。
• シューベルト展開 $ \fancyscript{S}_u \times s_\rho(x_1,𝐴,x_k) $ は、明示的な置換 $ D_i $ と $ U_i $、および適合する $ a_{i,j} $ 値を持つ置換 $ wD_0U_0\ldots D_nU_n $ の和として与えられる。
• この手法により、$ c^{w}_{u,v(\rho,k)} $ を非負で構成的に計算する規則が得られ、その非負性の組合せ的証明が可能になる。
• この結果は、以前のピエリ型の公式を一般化し、シューベルト計算における正の組合せ的規則の適用範囲を、新たな種類の積へと拡張する。