[論文レビュー] 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

ひとこと要約

この論文は、相互入れ違いの方法を用いて、Weyl 群におけるオイラー的多項式の実根性に関する2つの長年の予想を証明する。q-オイラー多項式（Brentiのもの）とアフィン・オイラー多項式（Dilks, Petersen, Stembridgeのもの）が、すべての不可約有限 Weyl 群に対して実根を持つことを示す。そのために、精密化された多項式族を導入し、それらが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.

研究の動機と目的

• Brentiの予想、すなわち、型DのWeyl 群におけるq-オイラー多項式がすべての正のqに対して実根を持つことの証明。
• Dilks, Petersen, Stembridgeの予想、すなわち、すべての不可約有限Weyl 群におけるアフィン・オイラー多項式がすべての実根を持つことの証明。
• 古典的オイラー多項式の実根性結果を、型BおよびDにおける一般化されたオイラー的類似多項式へと拡張すること。
• 再帰的関係を満たす精密化された多項式フレームワークを構築し、それによって相互入れ違いと実根性を保証すること。

提案手法

• 型DのBrentiのq-オイラー多項式の精密化版を導入し、降下数および負の符号統計量をパラメータとする。
• 符号付き順列の組み合わせ的構造を用いて、精密化された多項式の再帰的関係を確立する。
• 再帰的に生成された多項式の根分布を分析するために、Routh–Hurwitz安定性基準を適用する。
• 相互入れ違いの方法を用いて、固定されたqに対して多項式の列が入れ違い族を形成することを示す。
• 入れ違いと非負の係数を活用した帰納法により、精密化された多項式が実根を持つことを証明する。
• 対称性と再帰的関係を用いて、類似の再帰的族を構築することで、アフィン・オイラー多項式へとフレームワークを拡張する。

実験結果

リサーチクエスチョン

• RQ1 Brentiの予想に従い、型Dのq-オイラー多項式がすべての正のqに対して実根を持つのか？
• RQ2 Dilks, Petersen, Stembridgeの予想に従い、すべての不可約有限Weyl 群におけるアフィン・オイラー多項式がすべて実根を持つのか？
• RQ3 型Dに対して、再帰的関係を満たし、相互入れ違いと実根性を保証するような精密化された多項式族を構築できるか？
• RQ4 精密化された多項式の再帰的構造において、相互入れ違いの性質が保存されるか？
• RQ5 このフレームワークを用いて、すべての不可約Weyl 群において、アフィン・オイラー多項式の実根性を一様に確立できるか？

主な発見

• 型Dの精密化されたq-オイラー多項式は、任意の正のqに対して相互入れ違いを保証する再帰的関係を満たす。
• その結果、これらの多項式はすべての正のqに対して実根を持つ。これにより、Brentiの予想が証明された。
• 型Dのアフィン・オイラー多項式は、精密化された多項式と同型な再帰的族を構築することで実根を持つことが示された。
• アフィン・オイラー多項式の実根性は、すべての不可約有限Weyl 群にまで拡張され、Dilks, Petersen, Stembridgeの予想が完全に証明された。
• この方法により、q=1のときの型Dの降下多項式が実根を持つことが示され、SavageとVisontaiの結果が再現された。
• 再帰的構造を通じて入れ違い構造が保存され、多項式はすべて非負の係数を持つため、Routh–Hurwitz基準のもとで安定性が保証される。