[论文解读] Schur positivity conjectures: 2 1/2 are no more!

Thomas Lam, Alexander Postnikov+1 more|arXiv (Cornell University)|Feb 21, 2005

Advanced Combinatorial Mathematics被引用 2

一句话总结

本文证明了对称函数理论中关于舒尔非负性的三个主要猜想：奥库诺夫猜想、福明-富尔顿-李-蒲恩猜想，以及拉苏克斯-勒克莱尔-蒂邦猜想的一个特例。利用罗阿德斯与斯坎德勒近期关于斜凯尔函数结构的结果，作者证明了某些舒尔函数乘积减去其他乘积的结果为舒尔非负，从而证实了代数组合学中长期存在的猜想，并扩展了已知舒尔非负性结果的适用范围。

ABSTRACT

Abstract. We prove Okounkov’s conjecture, a conjecture of Fomin-Fulton-Li-Poon, and a special case of Lascoux-Leclerc-Thibon’s conjecture on Schur positivity and derive several more general statements using a recent result of Rhoades and Skandera. 1. Schur positivity conjectures The ring of symmetric functions has a linear basis of Schur functions sλ labelled by partitions λ = (λ1 ≥ λ2 ≥ · · · ≥ 0). A symmetric function is called Schur nonnegative if it is a linear combination with nonnegative coefficients of the Schur functions. In particular, skew Schur functions sλ/µ are Schur nonnegative. For two symmetric functions f and g, the notation f ≥s g means that f − g is Schur nonnegative. Recently, a lot of work has gone into studying whether certain expressions of the form sλsµ − sνsρ were Schur nonnegative. Let us mention several conjectures due to Okounkov, Fomin-Fulton-Li-Poon, and Lascoux-Leclerc-Thibon of this form. Okounkov [Oko] studied branching rules for classical Lie groups and proved that the multiplicities were “monomial-log-concave ” in some sense. An essential combinatorial ingredient in his construction was the theorem that about monomial nonnegativity of some symmetric functions. He conjectured that these functions are Schur nonnegative, as well. For a partition λ with all even parts, let λ 2 denote the partition ( λ1

研究动机与目标

• 解决关于形如 sλsµ − sνsρ 的对称函数舒尔非负性的开放猜想。
• 确立由表示理论与组合学产生的特定对称函数的舒尔非负性。
• 利用罗阿德斯与斯坎德勒的近期定理，扩展已知舒尔非负性结果的适用范围。
• 阐明对称函数理论中单项非负性与舒尔非负性之间的关系。

提出的方法

• 利用罗阿德斯与斯坎德勒关于斜凯尔函数结构的近期结果，分析舒尔非负性。
• 应用对称函数理论及以分拆为指标的舒尔函数，评估其非负性条件。
• 对具有偶数部分的分拆使用组合论证，特别是对偶部分分拆定义 λ/2。
• 通过对称函数环中已知基底与线性组合，将猜想性非负性陈述转化为可验证条件。
• 分析差值 sλsµ − sνsρ，利用舒尔函数基底确定其舒尔非负性。
• 通过对称函数理论框架下已知的非负性性质，将猜想简化为可证实的形式。

实验结果

研究问题

• RQ1 奥库诺夫猜想中所提出的对称函数在所有部分均为偶数的分拆下是否为舒尔非负？
• RQ2 福明-富尔顿-李-蒲恩猜想中所提出的 sλsµ − sνsρ 表达式对所有相关分拆是否均为舒尔非负？
• RQ3 拉苏克斯-勒克莱尔-蒂邦猜想中关于舒尔非负性的特例在给定条件下是否成立？
• RQ4 罗阿德斯与斯坎德勒的近期结果能否用于推导更广泛的舒尔非负性结论？
• RQ5 在对称函数的语境下，单项非负性与舒尔非负性之间存在何种关系？

主要发现

• 奥库诺夫关于特定对称函数舒尔非负性的猜想在所有部分均为偶数的分拆下被证明为真。
• 福明-富尔顿-李-蒲恩关于舒尔函数乘积舒尔非负性的猜想被证实成立。
• 拉苏克斯-勒克莱尔-蒂邦猜想中关于舒尔非负性的特例被确立为有效。
• 作者利用罗阿德斯与斯坎德勒的结果推导出多个更一般的舒尔非负性结论。
• 证明表明，在指定条件下，差值 sλsµ − sνsρ 为舒尔非负。
• 本研究通过斜凯尔函数结构的最新进展，为理解对称函数理论中的舒尔非负性提供了一个统一框架。