[论文解读] Mutual Interlacing and Eulerian-like Polynomials for Weyl Groups

Arthur L. B. Yang, Philip B. Zhang|arXiv (Cornell University)|Jan 24, 2014

Advanced Combinatorial Mathematics参考文献 20被引用 7

一句话总结

本文利用互穿法（mutual interlacing）证明了关于威垂群（Weyl groups）的欧拉多项式实根性的两个长期猜想。通过引入细化的多项式族并证明其满足确保互穿与实根的递推关系，本文确立了布伦蒂（Brenti）的 q-欧拉多项式在 D 型以及迪尔斯（Dilks）、彼得森（Petersen）与斯持姆布里奇（Stembridge）的仿射欧拉多项式在所有不可约有限威垂群上均为实根多项式，其理论基础为 Routh–Hurwitz 稳定性理论。

ABSTRACT

We use the method of mutual interlacing to prove two conjectures on the real-rootedness of Eulerian-like polynomials: Brenti's conjecture on $q$-Eulerian polynomials for Weyl groups of type $D$, and Dilks, Petersen, and Stembridge's conjecture on affine Eulerian polynomials for irreducible finite Weyl groups. For the former, we obtain a refinement of Brenti's $q$-Eulerian polynomials of type $D$, and then show that these refined Eulerian polynomials satisfy certain recurrence relation. By using the Routh--Hurwitz theory and the recurrence relation, we prove that these polynomials form a mutually interlacing sequence for any positive $q$, and hence prove Brenti's conjecture. For $q=1$, our result reduces to the real-rootedness of the Eulerian polynomials of type $D$, which were originally conjectured by Brenti and recently proved by Savage and Visontai. For the latter, we introduce a family of polynomials based on Savage and Visontai's refinement of Eulerian polynomials of type $D$. We show that these new polynomials satisfy the same recurrence relation as Savage and Visontai's refined Eulerian polynomials. As a result, we get the real-rootedness of the affine Eulerian polynomials of type $D$. Combining the previous results for other types, we completely prove Dilks, Petersen, and Stembridge's conjecture, which states that, for every irreducible finite Weyl group, the affine descent polynomial has only real zeros.

研究动机与目标

• 证明布伦蒂猜想：威垂群 D 型的 q-欧拉多项式对所有正 q 均为实根多项式。
• 证明迪尔斯、彼得森与斯持姆布里奇猜想：所有不可约有限威垂群的仿射欧拉多项式仅具有实根。
• 将经典欧拉多项式的实根性结果推广至 B 型与 D 型的广义欧拉类似多项式。
• 构建一个细化的多项式框架，其满足递推关系，从而实现互穿与实根性。

提出的方法

• 为 D 型引入布伦蒂 q-欧拉多项式的细化版本，以下降数与负号统计量为参数。
• 利用带符号排列的组合结构，建立细化多项式的递推关系。
• 应用 Routh–Hurwitz 稳定性判据，分析递推生成多项式的根分布。
• 利用互穿法证明：对固定的 q，多项式序列构成一个互穿族。
• 通过归纳法证明细化多项式为实根多项式，利用互穿性质与非负系数。
• 通过构造类比的递推族并利用对称性与递推关系，将框架扩展至仿射欧拉多项式。

实验结果

研究问题

• RQ1 布伦蒂猜想：D 型的 q-欧拉多项式对所有正 q 是否均为实根多项式？
• RQ2 迪尔斯、彼得森与斯持姆布里奇猜想：所有不可约有限威垂群的仿射欧拉多项式是否仅具有实根？
• RQ3 能否为 D 型构造一个细化多项式族，使其满足递推关系，从而实现互穿与实根性？
• RQ4 细化多项式的递推结构中，互穿性质是否得以保持？
• RQ5 能否利用此框架统一证明所有不可约威垂群的仿射欧拉多项式均为实根多项式？

主要发现

• D 型的细化 q-欧拉多项式满足递推关系，对任意正 q 均确保互穿性。
• 因此，这些多项式对所有正 q 均为实根多项式，从而证明了布伦蒂猜想。
• 通过构造与细化多项式同构的递推族，证明了 D 型仿射欧拉多项式为实根多项式。
• 仿射欧拉多项式的实根性推广至所有不可约有限威垂群，完全证明了迪尔斯、彼得森与斯持姆布里奇的猜想。
• 该方法证明了当 q=1 时，D 型的下降多项式为实根多项式，从而恢复了 Savage 与 Visontai 的结果。
• 递推结构中保持了互穿性，且多项式仅含非负系数，确保满足 Routh–Hurwitz 判据的稳定性条件。