[论文解读] 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

一句话总结

本文研究了不同Schur函数乘积之间的Schur正性，聚焦于一个猜想：通过'tilde操作'重新分配两个分拆的分量，可得到Schur正性的差。作者在多个重要情形下证明了该猜想，并将其推广至偏序形状，通过组合构造和在相对分量大小变化下对偏序集的不变性提供了有力证据。

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} $ 的表达式何时为Schur正性，特别是当 $ (\tau, \rho) $ 由通过tilde操作重新分配 $ (\nu, \nu) $ 的分量所得。
• 通过在多个重要情形下证明该猜想，为Fomin-Fulton-Li-Poon猜想提供证据，即对所有分拆 $ \nu, \rho $，有 $ s_{\tilde{\nu}}s_{\tilde{\rho}} - s_{\nu}s_{\rho} $ 为Schur正性。
• 将该猜想推广至偏序Schur函数，并证明部分结果支持偏序形状的推广。
• 研究与这些乘积相关的部分有序集（posets）的结构，揭示其在相对分量大小变化下的不变性，并暗示了房间复形分解。

提出的方法

• 利用Littlewood-Richardson法则将Schur正性解释为Littlewood-Richardson系数 $ c^{\theta}_{\tau\rho} \triangleq c^{\theta}_{\nu\tau} $ 之间的不等式，将问题简化为半标准Young表的计数。
• 应用“重绘”论证，表明两分拆猜想蕴含m分拆的一般化，从而扩展了结果的适用范围。
• 通过在Littlewood-Richardson填充集合之间构造显式单射，证明偏序结构中的严格主导性，例如在偏序集 $ D(k^m) $ 中的 $ d_{r-1} < d_r $。
• 分析与分拆 $ \nu $ 相关的偏序集 $ D(\nu) $，通过房间复形结构表明其同构类仅依赖于相对分量大小，而非绝对值。
• 采用Jacobi-Trudi恒等式及其“爆炸”变体——将每个元素替换为矩形Schur函数 $ s_{(a^k)} $ ——以生成新的Schur正性表达式。
• 对 $ p=3 $ 时爆炸Jacobi-Trudi行列式在度数90以内的系统性计算验证，Schur正性成立，但发现当 $ p=4 $ 时存在非Schur正性的反例。

实验结果

研究问题

• RQ1 对于所有分拆 $ \nu, \rho $，差 $ s_{\tilde{\nu}}s_{\tilde{\rho}} - s_{\nu}s_{\rho} $ 是否为Schur正性，其中 $ (\tilde{\nu}, \tilde{\rho}) $ 由tilde操作从 $ (\nu, \nu) $ 得到？
• RQ2 Fomin-Fulton-Li-Poon猜想的偏序形状推广是否成立，即当 $ 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} $ 是否为Schur正性？
• RQ3 在相对分量大小变化下，由LR填充的支配序定义的偏序集 $ D(\nu) $ 展现出何种结构性质？
• RQ4 何时‘爆炸’Jacobi-Trudi行列式 $ \text{det}(s_{((\nu_i - i + j)^k)}) $ 为Schur正性，其正性由什么决定？

主要发现

• 该猜想——即 $ s_{\tilde{\nu}}s_{\tilde{\rho}} - s_{\nu}s_{\rho} $ 为Schur正性——在多个重要情形下成立，包括当分拆为矩形时，即 $ \nu = k^a, \rho = k^b $ 且 $ a \neq b $。
• 对于矩形分拆 $ k^a $ 和 $ k^b $，当 $ a \neq b $ 时，差 $ s_{k^a}s_{k^b} - s_{k^{a+1}}s_{k^{b-1}} $ 为Schur正性，且与对偶Jacobi-Trudi恒等式相关。
• 与分拆 $ k^m $ 相关的偏序集 $ D(k^m) $ 同构于长度为 $ \floor{m/2} $ 的链，且通过LR填充集合间的显式单射建立了支配序 $ d_{r-1} < d_r $。
• 偏序集 $ D\left(\nu\right) $ 在相对分量大小变化下保持不变——例如，当 $ x > a > b > c > d > 0 $ 时，$ D(x,a,b,c,d) $ 同构于一个固定偏序集——这暗示了分拆空间的房间复形分解。
• 对于所有 $ p \times p $ 矩阵，当 $ p \neq 4 $ 时，‘爆炸’Jacobi-Trudi行列式 $ \text{det}(s_{((\nu_i - i + j)^k)}) $ 为Schur正性，且在 $ p=3 $ 时已验证至度数90，但当 $ p=4 $ 时在简单情形下不满足Schur正性。
• 通过‘重绘’论证，该猜想的偏序形状推广可由两分拆情形推出，且论文中的多个证明可自然推广至 $ m $-分拆情形。