[논문 리뷰] Mutual Interlacing and Eulerian-like Polynomials for Weyl Groups

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

Advanced Combinatorial Mathematics참고 문헌 20인용 수 7

한 줄 요약

이 논문은 상호 교차 이론을 사용하여 Weyl 군에 대한 유클리드 유사 다항식의 실근성에 관한 두 가지 오랜 추측을 증명한다. 정밀화된 다항식 가중치를 도입하고, 이들이 상호 교차를 보장하는 재귀관계를 만족함으로써 Routh–Hurwitz 이론을 통해 실근성을 확보함으로써, Brenti의 q-유클리드 다항식이 유한한 모든 기약 Weyl 군에 대해 실근임을 증명한다. 또한 Dilks, Petersen, 그리고 Stembridge의 애파인 유클리드 다항식도 모든 기약 유한 Weyl 군에 대해 실근임을 증명한다.

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의 추측, 즉 Weyl 군의 유형 D에 대한 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 기준에 대해 안정성이 보장된다.