[论文解读] Haglund-Haiman-Loehr Type Formulas for Hall-Littlewood Polynomials of Type B and C

Cristian Lenart|ArXiv.org|Apr 16, 2009

Advanced Combinatorial Mathematics参考文献 18被引用 10

一句话总结

该论文通过压缩Schwer的墙道公式，将Haglund-Haiman-Loehr的杨表公式从A型推广至B型和C型，首次为这些多项式建立了杨表型公式。关键贡献在于系统性地将墙道压缩为斜杨图的填数，从而在q=0时得到B型和C型Hall-Littlewood多项式的显式组合公式。

ABSTRACT

In previous work we showed that two apparently unrelated formulas for the Hall-Littlewood polynomials of type A are, in fact, closely related. The first is the tableau formula obtained by specializing q=0 in the Haglund-Haiman-Loehr formula for Macdonald polynomials. The second is the type $A$ instance of Schwer's formula (rephrased and rederived by Ram) for Hall-Littlewood polynomials of arbitrary finite type; Schwer's formula is in terms of so-called alcove walks, which originate in the work of Gaussent-Littelmann and of the author with Postnikov on discrete counterparts to the Littelmann path model. We showed that the tableau formula follows by "compressing" Ram's version of Schwer's formula. In this paper, we derive tableau formulas for the Hall-Littlewood polynomials of type B and C by compressing the corresponding instances of Schwer's formula.

研究动机与目标

• 将Haglund-Haiman-Loehr的杨表公式从A型推广至B型和C型Hall-Littlewood多项式。
• 利用斜杨图的填数，为B型和C型Hall-Littlewood多项式在正则权下建立组合公式。
• 将A型中使用的墙道压缩技术——即将墙道按对应于杨表的等价类分组——推广至B型和C型。
• 为使用Schwer的墙道公式推导经典类型中Hall-Littlewood多项式的杨表公式，提供统一框架。

提出的方法

• 将Schwer的Hall-Littlewood多项式公式（适用于任意有限类型）的Ram版本适配至B型和C型。
• 应用压缩过程，将墙道公式中的项按等价类分组，使其对应于斜杨图的填数。
• 利用逆链和子链上的迭代求和，将墙道总和分解为对应于列和行的乘法分量。
• 使用带符号置换和Weyl群作用，刻画λ-链及其分解为子链Γ_ij和Γ'_ij的结构。
• 应用涉及ℓ(w)、ℓ(wT)和|T|的组合恒等式，简化墙道总和，将其简化为局部和Σ_ij与Σ'_ij的乘积。
• 利用B型和C型的Weyl群与根系结构，定义链的分解方式及墙道模型中的折叠规则。

实验结果

研究问题

• RQ1 Haglund-Haiman-Loehr的杨表公式能否从A型推广至B型和C型Hall-Littlewood多项式？
• RQ2 是否存在一种组合压缩机制，能将B型和C型的墙道映射为斜杨图的填数，类似于A型的情形？
• RQ3 如何适配并简化B型和C型中Schwer的墙道公式，以得到杨表型公式？
• RQ4 Weyl群作用与带符号置换在B型和C型压缩公式构造中起什么作用？
• RQ5 λ-链及其子链分解的结构能否用于将墙道总和分解为局部贡献？

主要发现

• 该论文通过压缩Schwer墙道公式的对应实例，首次为B型和C型Hall-Littlewood多项式导出杨表型公式。
• 压缩过程将墙道划分为等价类，每个类对应一个斜杨图的填数，且每个类在最终公式中贡献一项。
• 墙道总和被分解为列子链上局部和的乘积，每个局部和通过递归结构和组合恒等式计算。
• 对每一列，和Σ_ij在特定路径与Weyl群元素条件下，等于t^{N_{C(j),D'(j)}(D[j+1,d])} (1−t)。
• 公式(7.12)中第二个括号通过引理7.3等于t^{ℓ₊(C₁₁)}，对应于链中初始的带符号置换。
• 该方法成功地将A型的压缩机制推广至B型和C型，为A型之外的杨表公式推导提供了统一方法。