[논문 리뷰] Context-free Grammars and Multivariate Stable Polynomials over Stirling Permutations

William Y. C. Chen, Robert X. J. Hao외 1명|arXiv (Cornell University)|2012. 08. 07.

Advanced Combinatorial Mathematics참고 문헌 17인용 수 19

한 줄 요약

이 논문은 레지온드르-스티링어 및 마킹된 스티링어 순열 위에서 다변수 안정 다항식을 생성하는 문맥 자유 문법을 도입하며, 헤글룬드와 비존타이가 두 번째 차수 오일러 다항식 $B_n(x)$와 $T_n(x)$의 안정적 개선에 대해 제기한 두 개의 열린 문제를 해결한다. 핵심 결과는 이러한 다항식의 다변수 안정성 입증으로, 이는 대각화 시 실근성을 함의한다.

ABSTRACT

Recently, Haglund and Visontai established the stability of the multivariate Eulerian polynomials as the generating polynomials of the Stirling permutations, which serves as a unification of some results of Bóna, Brenti, Janson, Kuba, and Panholzer concerning Stirling permutations. Let $B_n(x)$ be the generating polynomials of the descent statistic over Legendre-Stirling permutations, and let $T_n(x)=2^nC_n(x/2)$, where $C_n(x)$ are the second-order Eulerian polynomials. Haglund and Visontai proposed the problems of finding multivariate stable refinements of the polynomials $B_n(x)$ and $T_n(x)$. We obtain context-free grammars leading to multivariate stable refinements of the polynomials $B_n(x)$ and $T_n(x)$. Moreover, the grammars enable us to obtain combinatorial interpretations of the multivariate polynomials in terms of Legendre-Stirling permutations and marked Stirling permutations. Such stable multivariate polynomials provide solutions to two problems posed by Haglund and Visontai.

연구 동기 및 목표

• 헤글룬드와 비존타이가 두 번째 차수 오일러 다항식 $B_n(x)$와 $T_n(x)$의 다변수 안정적 개선에 대해 제기한 두 개의 열린 문제를 해결하기 위해.
• 레지온드르-스티링어 및 마킹된 스티링어 순열 위에서 다변수 안정 다항식을 생성하는 문맥 자유 문법을 개발하기 위해.
• 문법적 레이블링을 통한 이러한 다변수 다항식의 조합적 해석을 제공하기 위해.
• 미분 연산자와 다중아핀 다항식 기법을 사용하여 생성 다항식의 안정성을 확립하기 위해.

제안 방법

• 저자들은 $0 \leq i < n$ 및 $v_n$에 대해 레이블이 부여된 변수 $x_i, y_i, z_i, u_i, v_i$를 가진 문맥 자유 문법 $G_n$을 정의하며, 마킹된 스티링어 순열의 조합적 구조를 코딩하는 특정 생산 규칙을 포함한다.
• 다중변수 다항식 $f_n = D_n D_{n-1} \cdots D_1(x_0)$를 생성하기 위해 차례로 문법 규칙을 적용하기 위해 미분 연산자 $D_k$를 사용한다.
• 각 미분 연산자 $D_k$가 복소 변수의 양의 허수부를 가진 다중아핀 다항식의 안정성을 유지함을 보여주는 수학적 귀납법을 통해 안정성을 입증한다.
• 증명은 렘마 5.1에 기반하며, 안정성 검증을 복소 변수 대입 하에 변환된 다항식 $T(F)$의 영이 되지 않음을 확인하는 것으로 줄여진다.
• 적절한 변수 전문화 후 동일한 연산자 프레임워크를 적용하여 다변수 다항식 $T_n(\mathbf{x},\mathbf{y},\mathbf{z})$의 안정성이 입증된다.
• 대각화 및 전문화 기법을 적용하여 다변수 안정성에서 단변수 실근성 결과를 도출한다.

실험 결과

연구 질문

• RQ1 스티링어 순열 위에서 생성 다항식 $B_n(x)$와 $T_n(x)$의 다변수 안정적 개선을 구성할 수 있는가?
• RQ2 조합적 해석을 가진 이러한 안정 다항식을 생성하는 문맥 자유 문법이 존재하는가?
• RQ3 다변수 다항식 $B_n(\mathbf{x},\mathbf{y},\mathbf{z},\mathbf{u},\mathbf{v})$는 복소 변수 조건 하에서 안정적인가?
• RQ4 동일한 문법적 프레임워크를 사용하여 $T_n(\mathbf{x},\mathbf{y},\mathbf{z})$의 안정성을 확립할 수 있는가?
• RQ5 다변수 안정성이 변수 전문화 하에서 단변수 생성 다항식의 실근성을 함의하는가?

주요 결과

• 다변수 다항식 $B_n(\mathbf{x},\mathbf{y},\mathbf{z},\mathbf{u},\mathbf{v})$는 안정성이 입증되었으며, 이는 모든 변수의 허수가 양수일 때 영이 되지 않음을 의미한다.
• 다변수 다항식 $T_n(\mathbf{x},\mathbf{y},\mathbf{z})$ 역시 안정성이 입증되었으며, 이는 두 번째 차수 오일러 다항식 개선에 대한 안정성 결과를 확장한다.
• 문맥 자유 문법 프레임워크는 레지온드르-스티링어 및 마킹된 스티링어 순열을 통한 다항식의 조합적 해석을 성공적으로 생성한다.
• 변수 전문화는 레지온드르-스티링어 순열에서 막대 내림차순의 수를 세는 다항식 $M_n(x)$의 실근성을 이끌어낸다.
• 대각화 $x_i = u_i = y_i = z_i = 1$, $v_i = x$는 실근성을 가진 다항식 $M_n(x)$를 유도하며, 레지온드르-스티링어 순열 위에서 내림차순 생성 함수의 실근성을 확인한다.
• $T_n(\mathbf{x},\mathbf{y},\mathbf{z})$의 안정성은 전문화 $x_i = z_i = 1$, $y_i = y$ 하에서 $C_n(x)$의 실근성을 함의하며, 보나의 결과를 복원한다.