[论文解读] Multiplication of a Schubert polynomial by a Stanley symmetric polynomial

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

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

一句话总结

本文建立了一种非负的组合规则，用于在 Schubert 基底下将 Schubert 多项式与 Schur 多项式相乘，证明该乘积可展开为 Schubert 多项式的和，且系数为非负整数。关键洞见在于：Schubert 多项式与 Stanley 对称多项式之积为截断的 Schubert 多项式。通过使用 Monk’s 法则以及一种关于相容序列的新双射，作者推导出在 Schubert 计算的这一特殊情形下，结构常数的构造性、正则公式。

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.

研究动机与目标

• 提供 Schubert 多项式与 Schur 多项式乘积的 Schubert 展开的非负组合公式。
• 通过证明 Schubert 多项式与 Stanley 对称多项式之积为截断 Schubert 多项式，推广该结果。
• 在 $ v $ 为 Grassmannian 排列时，建立 $ c^{w}_{u,v( ho,k)} $ 结构常数的构造性、正则规则。
• 通过约化表达式与相容序列，提供这些结构常数非负性的组合证明。

提出的方法

• 作者定义了一个截断映射，将最后一个变量设为零，证明 $ frac{1}{x_k} o 0 $ 会导出一个由特定相邻对换序列得到的排列所索引的 Schubert 多项式之和。
• 他们引入了约化表达式相容序列与特定排列链之间的双射，利用最终下降位置与最大下降位置的结构。
• 利用 Monk’s 法则，他们推导出截断 Schubert 多项式向 Schubert 多项式的非负展开。
• 他们应用滑动多项式与相容序列的理论，压缩 Schubert 多项式公式，以促进组合分析。
• 该方法依赖于截断公式的递归应用，每一步对应一个保持长度且尊重变量截断的对换。
• 核心机制涉及构造满足 $ ext{inv}(u) = ext{inv}(w) $ 的排列 $ u $，其中 $ u $ 通过应用对换 $ (a_i, b_i) $ 得到，且满足 $ a_i eq b_i $，$ a_i eq b_i $，$ a_i o b_i $，$ b_i > k $。

实验结果

研究问题

• RQ1 Schubert 多项式与 Stanley 对称多项式之积能否表示为具有非负系数的 Schubert 多项式之和？
• RQ2 当 $ u $ 为任意排列且 $ ho $ 为一个分拆时，是否存在 $ ancyscript{S}_u imes s_ ho $ 的 Schubert 展开的组合规则？
• RQ3 结构常数 $ c^{w}_{u,v( ho,k)} $ 如何通过排列链进行组合解释？
• RQ4 将 Schubert 多项式在 $ x_k = 0 $ 处截断，是否会产生 Schubert 正的和？
• RQ5 能否通过构造性、组合双射证明此特殊情形下结构常数的非负性？

主要发现

• Schubert 多项式与 Stanley 对称多项式之积为截断 Schubert 多项式，如恒等式 $ ancyscript{S}_w(x_1,𝐴,x_k,0) = \text{sum of } \fancyscript{S}_u $ 所示，其中 $ u $ 为从 $ w $ 导出的特定排列。
• 通过相容序列与应用对换 $ (a_i, k) $，$ a_i < k $ 的排列之间的双射，证明了截断公式，且满足 $ ext{inv}(u) = ext{inv}(w) $。
• 结构常数 $ c^{w}_{u,v( ho,k)} $ 由链 $ w = u(a_1,b_1)…(a_n,b_n) $ 计数，其中 $ a_i \leq k < b_i $ 且 $ \text{inv}(w) = \text{inv}(u) + n $，$ n = |\rho| $。
• Schubert 展开 $ \fancyscript{S}_u \times s_\rho(x_1,𝐴,x_k) $ 由对排列 $ wD_0U_0… D_nU_n $ 的求和给出，其中包含显式的对换序列 $ D_i $ 和 $ U_i $，以及相容的 $ a_{i,j} $ 值。
• 该方法为计算 $ c^{w}_{u,v(\rho,k)} $ 提供了非负且构造性的规则，从而为这些常数的非负性提供了组合证明。
• 该结果推广了先前的 Pieri 型公式，并将 Schubert 计算中正组合规则的适用范围扩展到一类新的乘积。