[논문 리뷰] Multivariate P-Eulerian polynomials

Petter Brändén, Madeleine Leander|arXiv (Cornell University)|2016. 04. 14.

Advanced Combinatorial Mathematics인용 수 2

한 줄 요약

이 논문은 다변수 P-Euler 다항식을 단변수 P-Euler 다항식의 안정적 확장으로 도입하며, 자연수로 표기된 내림차순 삼진수 및 순서 합을 포함한 특정 유형의 레이블이 부여된 부분순서집합에 대해 이러한 다변수 다항식이 안정적임(상반평면에서 영이 아님)을 증명한다. 주요 기여는 Malvenuto-Reutenauer 대수와 새로운 Dyck 경로에 대한 대수를 통해 이산합과 순서합에 대한 안정성을 확립함으로써 실근성의 개념을 다변수 설정으로 일반화하고 계수의 단조성과 로그-볼록성의 정밀화를 이룬다.

ABSTRACT

The P-Eulerian polynomial counts the linear extensions of a labeled partially ordered set, P, by their number of descents. It is known that the P-Eulerian polynomials are real-rooted for various classes of posets P. The purpose of this paper is to extend these results to polynomials in several variables. To this end we study multivariate extensions of P-Eulerian polynomials and prove that for certain posets these polynomials are stable, i.e., non-vanishing whenever all variables are in the upper half-plane of the complex plane. A natural setting for our proofs is the Malvenuto-Reutenauer algebra of permutations (or the algebra of free quasi-symmetric functions). In the process we identify an algebra on Dyck paths, which to our knowledge has not been studied before.

연구 동기 및 목표

• 레이블이 부여된 부분순서집합에 대해 단변수 P-Euler 다항식을 다변수 안정 다항식으로 확장하는 것.
• 단변수 다항식이 실근성을 가지는 부분순서집합의 클래스에서 다변수 P-Euler 다항식이 안정적임(상반평면에서 영이 아님)을 증명하는 것.
• 다변수 안정성을 분석하기 위해 Malvenuto-Reutenauer 대수와 자유 준대칭 함수를 사용하는 프레임워크를 개발하는 것.
• 이전 문헌에서 다뤄지지 않은 Dyck 경로에 대한 새로운 계급 대수를 도입하고 연구하는 것.
• Stembridge의 피크 다항식을 일반화하고 다변수 P-Euler 안정성 하에서 그 안정성을 증명하는 것.

제안 방법

• 레이블이 부여된 부분순서집합의 선형 확장에서 내림과 오르막의 기저를 기반으로 한 단항식을 사용하여 다변수 P-Euler 다항식을 정의한다.
• 요소와 그 쌍대 복사본을 인덱스로 하는 변수를 사용하여 내림과 오르막 기저를 가중 단항식으로 표현한다.
• 자유 준대칭 함수와 동차성의 성질을 이용하여 이산합에 대한 다변수 P-Euler 다항식의 안정성을 증명한다.
• 변수 치환과 안정성 보존의 성질을 활용하여 AP⊕Q(z)를 AP(z)와 AQ0(z)를 포함하는 곱으로 구성함으로써 순서합에 대한 안정성을 확립한다.
• Dyck 경로에 대한 새로운 대수 D를 도입하고, D에서의 곱셈이 가중 합에 대해 안정성을 유지함을 증명한다.
• 선형 연산자를 적용하여 다변수 P-Euler 다항식과 다변수 피크 다항식을 연결하고, 변수 회전과 동차성의 성질을 통해 Hurwitz 안정성을 증명한다.

실험 결과

연구 질문

• RQ1 다변수 P-Euler 다항식의 확장이 존재할 수 있는가? 이때 안정성(상반평면에서 영이 아님)은 단변수 경우의 실근성을 유도하는가?
• RQ2 다변수 P-Euler 다항식의 안정성은 부분순서집합의 이산합을 고려할 때 유지되는가?
• RQ3 다변수 P-Euler 다항식을 피크 다항식으로 확장할 수 있으며, 원래 다항식이 안정적이라면 결과로 얻어진 다항식은 Hurwitz 안정적인가?
• RQ4 곱셈에 대해 안정성을 유지하는 자연스러운 대수적 구조가 Dyck 경로에 존재하는가?
• RQ5 다변수 P-Euler 다항식의 안정성은 동일한 부분순서집합에 대해 다변수 피크 다항식의 안정성을 유도하는가?

주요 결과

• 자연수로 표기된 내림차순 삼진수에 대해 다변수 P-Euler 다항식은 안정적이다(상반평면에서 영이 아님).
• AP(z)와 AQ(z)의 안정성은 AP⊔Q(z)의 안정성을 유도하며, 이는 Neggers-Stanley 추측을 다변수 설정으로 일반화한다.
• 다변수 P-Euler 다항식은 순서합에 대해 안정적이며, AP⊕Q(z)는 AP(z)와 AQ0(z)를 포함하는 곱으로 표현될 수 있다.
• Dyck 경로에 대한 새로운 계급 대수 D가 도입되었으며, D에서의 곱셈은 Dyck 경로의 가중 합에 대해 안정성을 유지한다.
• AP(z)가 안정적이라면 다변수 피크 다항식 ¯AP(z)는 Hurwitz 안정적이며, ¯AP(x)는 실근성을 가진다.
• 자연수로 표기된 내림차순 삼진수의 쌍대는 안정적인 다변수 P-Euler 다항식을 가지며, 이는 이중성 하에서 안정성이 유지됨을 의미한다.