[论文解读] Combinatorial models for Schubert polynomials

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

Advanced Combinatorial Mathematics参考文献 12被引用 11

一句话总结

本文通过显式双射统一了现有框架（如键多项式和基本滑动多项式），为 Schubert 多项式引入了新的组合模型。它提供了平衡表格与约化表达式之间的双射证明，并对 Kohnert 算法给出了直接的组合解释，同时将 Edelman-Greene 插入算法推广，从而导出 Schubert 多项式展开为约化表达式之和的公式。

ABSTRACT

Schubert polynomials are a basis for the polynomial ring that represent Schubert classes for the flag manifold. In this paper, we introduce and develop several new combinatorial models for Schubert polynomials that relate them to other known bases including key polynomials and fundamental slide polynomials. We unify these and existing models by giving simple bijections between the combinatorial objects indexing each. In particular, we give a simple bijective proof that the balanced tableaux of Edelman and Greene enumerate reduced expressions and a direct combinatorial proof of Kohnert's algorithm for computing Schubert polynomials. Further, we generalize the insertion algorithm of Edelman and Greene to give a bijection between reduced expressions and pairs of tableaux of the same key diagram shape and use this to give a simple formula, directly in terms of reduced expressions, for the key polynomial expansion of a Schubert polynomial.

研究动机与目标

• 开发新的组合模型，将 Schubert 多项式与键多项式及基本滑动多项式统一起来。
• 在不同多项式基所索引的组合对象之间建立简单双射。
• 提供双射证明，表明 Edelman 和 Greene 的平衡表格枚举对称群中的约化表达式。
• 为 Kohnert 算法计算 Schubert 多项式提供直接的组合解释。
• 将 Edelman-Greene 插入算法推广，以建立约化表达式与具有相同键图形状的表格对之间的双射关系。

提出的方法

• 构建索引 Schubert 多项式、键多项式与基本滑动多项式的组合对象之间的显式双射。
• 使用平衡表格作为桥梁，将对称群中的约化表达式与多项式基联系起来。
• 通过直接的组合解释应用 Kohnert 算法，以计算 Schubert 多项式。
• 将 Edelman-Greene 插入算法扩展，以将约化表达式映射到具有相同键图形状的表格对。
• 直接从约化表达式推导出 Schubert 多项式关于键多项式展开的公式。
• 通过简单且显式的双射，建立一个统一框架，使所有这些模型相互关联。

实验结果

研究问题

• RQ1 如何通过组合模型系统地关联 Schubert 多项式与键多项式及基本滑动多项式？
• RQ2 平衡表格与对称群中约化表达式之间的精确组合对应关系是什么？
• RQ3 Kohnert 算法在计算 Schubert 多项式时能否获得直接的双射解释？
• RQ4 Edelman-Greene 插入算法如何推广，以在约化表达式与具有相同键图形状的表格对之间建立双射？
• RQ5 能否直接以约化表达式为唯一输入，给出 Schubert 多项式关于键多项式展开的公式？

主要发现

• 建立了双射证明，表明 Edelman 和 Greene 的平衡表格枚举对称群中的约化表达式。
• 提供了 Kohnert 算法的直接组合解释，明确将其与 Schubert 多项式的构造联系起来。
• 将 Edelman-Greene 插入算法推广，得到了约化表达式与具有相同键图形状的表格对之间的双射。
• 直接从约化表达式推导出 Schubert 多项式关于键多项式展开的新公式，无需中间组合对象。
• 在所有主要索引 Schubert 多项式的组合模型之间构造了简单双射，包括基于键多项式、基本滑动多项式与平衡表格的模型。
• 通过显式双射统一这些模型，为理解 Schubert 多项式在不同组合实现下的结构提供了连贯的框架。