[论文解读] Poset edge densities, nearly reduced words, and barely set-valued tableaux

Victor Reiner, Bridget Eileen Tenner+1 more|arXiv (Cornell University)|Mar 31, 2016

Advanced Combinatorial Mathematics参考文献 35被引用 9

一句话总结

该论文证明了某些有限偏序集——如链的笛卡尔积、Coxeter群上的弱Bruhat序，以及Young格中的下区间——具有偶然下降度期望（CDE），即在均匀分布与链权重分布下，下降度的期望值相同。关键贡献是通过0-Hecke代数分解建立统一框架，证明对于vexillary排列和矩形阶梯形，下降度的期望值恰好为$(d-1)ab/(a+b)$，统一了约化词、Grothendieck多项式与集合值表的组合结构。

ABSTRACT

In certain finite posets, the expected down-degree of their elements is the same whether computed with respect to either the uniform distribution or the distribution weighting an element by the number of maximal chains passing through it. We show that this coincidence of expectations holds for Cartesian products of chains, connected minuscule posets, weak Bruhat orders on finite Coxeter groups, certain lower intervals in Young's lattice, and certain lower intervals in the weak Bruhat order below dominant permutations. Our tools involve formulas for counting nearly reduced factorizations in 0-Hecke algebras; that is, factorizations that are one letter longer than the Coxeter group length.

研究动机与目标

• 研究在有限偏序集中，均匀分布与链权重分布下下降度期望值相等的条件。
• 理解在何种组合与代数条件下，这种巧合（称为CDE）在不同偏序集中发生。
• 通过0-Hecke代数分解，统一Young格中的边密度、弱Bruhat序与极小偏序集的结果。
• 为特定情况（尤其是矩形阶梯形）提供共同下降度期望的公式。
• 将0-Hecke代数中近似约化解的理论扩展，以证明关于偏序集边密度的结构性结果。

提出的方法

• 将CDE性质定义为在偏序集中，均匀分布与链权重分布下下降度期望值相等。
• 利用0-Hecke代数分解计数近似约化解（即比Coxeter长度多一个的词），将其与Grothendieck多项式关联。
• 应用指数生成函数与Leibniz法则，推导因子分解计数生成函数的微分方程。
• 使用带限制的集合值表与去拥挤映射，将0-Hecke词与表的统计量关联。
• 利用过渡公式与Grothendieck多项式性质，将因子分解计数与对称函数恒等式联系起来。
• 通过生成函数恒等式与Stirling数系数，证明当$δ_d(b^a)$为矩形阶梯形时，下降度期望值为$(d-1)ab/(a+b)$。

实验结果

研究问题

• RQ1 在何种条件下，偏序集中均匀分布与链权重分布下的下降度期望值相等？
• RQ2 如何利用0-Hecke代数对近似约化解的分解来计算偏序集的边密度？
• RQ3 在Young格的下区间与弱Bruhat序中，对于矩形阶梯形，共同下降度期望值的精确值是什么？
• RQ4 为何某些偏序集（如弱Bruhat序与极小格）尽管概率测度不同，仍表现出CDE性质？
• RQ5 CDE性质能否推广到此类偏序集的对偶结构？在何种条件下成立？

主要发现

• 对于Young格中的$[\varnothing, \lambda]$与弱Bruhat序中的$[e, w]$，当$w$为任意vexillary排列且形状为$\lambda$时，无论$w$是否为主导、Grassmannian或反Grassmannian，其$Y$-期望值均相同。
• 当$w$为Grassmannian或反Grassmannian时，$X$-期望值（均匀分布）在$[\varnothing, \lambda]$与$[e, w]$之间也一致，从而确立了完整的CDE。
• 当$\lambda = \delta_d(b^a)$为矩形阶梯形时，这些偏序集及其对偶均为CDE，共同的下降度期望值为$(d-1)ab/(a+b)$。
• 证明依赖于涉及$\mathfrak{G}^{(1)}_w(e^t - 1, \dots, e^t - 1)$的生成函数恒等式，该恒等式通过带限制的集合值表与Stirling数计数0-Hecke词。
• 通过指数生成函数与恒等式$\left[\frac{t^L}{L!}\right](e^t - 1)^j = j! S(L,j)$推导出下降度期望的公式，将因子分解计数与Stirling数联系起来。
• CDE性质在格化偏序集的笛卡尔积下保持不变，且对连通极小偏序集及其分配格$J(P)$也成立。