[论文解读] New Descriptions of Demazure Tableaux and Right Keys, with Applications to Convexity

Matthew J. Willis|arXiv (Cornell University)|Jul 29, 2014

Advanced Combinatorial Mathematics参考文献 8被引用 6

一句话总结

本文提出一种新颖的扫描方法，用于直接计算半标准杨表的右键，而无需借助辅助组合结构，从而实现对德马布尔表中条目的直接描述。主要贡献在于完整刻画：当部分阶梯形 λ = (n, n−1, ..., 2, 1) 时，德马布尔表集合 Dλ(w) 在 R|λ| 中构成一个凸多面体，当且仅当 w 是 312-避免排列。

ABSTRACT

The right key of a semistandard Young tableau is a tool used to find Demazure characters for $sl_n(\mathbb{C})$. This thesis gives methods to obtain the right and left keys by inspection of the semistandard Young tableau. Given a partition $λ$ and a Weyl group element $w$, there is a semistandard Young tableau $Y_λ(w)$ of shape $λ$ that corresponds to $w$. The Demazure character for $λ$ and $w$ is known to be the sum of the weights of all tableaux whose right key is dominated by $Y_λ(w)$. The set of all such tableaux is denoted $\mathcal{D}_λ(w)$. Exploiting the method mentioned above for obtaining right keys, this thesis describes the entry at each location in any $T \in \mathcal{D}_λ(w)$. Lastly, we will consider $\mathcal{D}_λ(w)$ as an integral subset of Euclidean space. The final results present a condition that is both necessary and sufficient for this subset to be convex.

研究动机与目标

• 开发一种仅基于表格的直接方法，用于计算半标准杨表的右键，避免依赖外部组合工具。
• 利用新扫描方法描述德马布尔集 Dλ(w) 中每个表格的条目。
• 确定当 λ 为部分阶梯形 (n, n−1, ..., 2, 1) 时，Dλ(w) 作为欧氏空间子集为凸的精确条件。

提出的方法

• 引入“扫描方法”——一种基于视觉的逐行、逐列算法，可直接从半标准杨表中计算右键。
• 基于扫描路径定义局部条件集，用于比较右键并确定支配关系。
• 利用扫描方法，通过分析 Yλ(w) 的右键如何约束条目，描述任意表格 T ∈ Dλ(w) 中每个位置的条目。
• 将 Dλ(w) 建模为 R|λ| 的子集，通过条目将每个表格视为一个点。
• 通过分析 312-避免排列下表格集合的结构，建立凸性的必要且充分条件。
• 借助 Reiner 和 Shimozono ([RS]) 以及 Postnikov 和 Stanley ([PS]) 的结果，为凸性条件提供背景并加以验证。

实验结果

研究问题

• RQ1 是否可以不使用诸如键多项式或左键等辅助组合对象，直接计算半标准杨表的右键？
• RQ2 对于给定的 w 和形状 λ，德马布尔集 Dλ(w) 中所有表格的条目是否存在精确的逐项描述？
• RQ3 当 λ 为部分阶梯形 (n, n−1, ..., 2, 1) 时，哪些 Weyl 群元素 w 使得集合 Dλ(w) 为凸？
• RQ4 w 的 312-避免性质与欧氏空间中德马布尔表格集合的凸性有何关联？
• RQ5 关于凸性的结果在多大程度上可推广至部分阶梯形 λ = (n, n−1, ..., 2, 1) 之外？

主要发现

• 扫描方法提供了一种直接且可视化的途径，仅通过表格条目及其位置即可计算任意半标准杨表的右键。
• 对于任意 T ∈ Dλ(w)，每个位置 (i,j) 的条目完全由 Yλ(w) 的右键以及扫描过程中导出的局部约束决定。
• 当 λ = (n, n−1, ..., 2, 1) 时，集合 Dλ(w) 在 R|λ| 中为凸，当且仅当 w 是 312-避免排列。
• 该结果建立了德马布尔表格集合凸性的完整且必要充分条件，弥补了先前基于字符层级结果的空白。
• 本文表明，当 w 为 312-避免排列时，德马布尔表格集合 Dλ(w) 恰好与对应旗化 Schur 多项式贡献的表格集合一致，拓展了早期工作。
• 对于包含 312 的排列，集合 Dλ(w) 不为凸，通过构造连接两个有效表格的线段并穿过一个非半标准表格，已予以证明。