[논문 리뷰] Combinatorics of $(q,y)$-Laguerre polynomials and their moments

Qiongqiong Pan, Jiang Zeng|arXiv (Cornell University)|2019. 01. 03.

Advanced Combinatorial Mathematics참고 문헌 16인용 수 4

한 줄 요약

이 논문은 색상이 부여된 Foata-Strehl의 Laguerre 구성에 기반한 조합적 모델을 제안하여 $(q,y)$-Laguerre 다항식을 정의하고, 낙서 배치와 매칭 다항식 사이의 이분사적 사상(bijection)을 수립한다. 주요 기여는 선형화 계수들이 $y$와 $q$에 대한 비음수 정수 계수 다항식임을 증명한 것으로, $q$-Riordan 행렬 이론과 연속 분수를 활용하여 고전적 Laguerre 조합론을 이중 매개변수 $q$-해석으로 확장한다.

ABSTRACT

We consider a $(q,y)$-analogue of Laguerre polynomials $L^{(α)}_n(x;y;q)$ for integral $α\geq -1$, which turns out to be a rescaled version of Al-Salam--Chihara polynomials. A combinatorial interpretation for the $(q,y)$-Laguerre polynomials is given using a colored version of Foata-Strehl's Laguerre configurations with suitable statistics. When $α\geq 0$, the corresponding moments are described using certain classical statistics on permutations, and the linearization coefficients are proved to be a polynomial in $y$ and $q$ with nonnegative integral coefficients.

연구 동기 및 목표

• 알사람-치하라와 $q$-Laguerre 다항식을 모두 일반화하는 $(q,y)$-Laguerre 다항식에 대한 통합된 조합적 모델을 개발하는 것.
• 고전적 순열 통계량을 이용하여 $(q,y)$-Laguerre 다항식의 모멘트를 조합적으로 해석하는 것.
• 이 다항식의 선형화 계수가 $y$와 $q$에 대한 비음수 정수 계수 다항식임을 증명하는 것.
• $(q,y)$-Laguerre 구성과 완전 이분 그래프에서의 낙서 배치 또는 매칭 다항식 사이의 이분사적 사상 수립

제안 방법

• Foata와 Strehl의 Laguerre 구성에 색상 부여 버전을 도입하여, $q$-통계량에 기반해 사이클과 경로에 색상을 할당한다.
• 핵심 통계량 정의: 전위 수 $\mathsf{inv}$, 사이클 무게 $\mathsf{cw}$, 사이클 차수 $\mathsf{cd}$, 인덱스 $\mathsf{ind}$를 통해 $q$ 및 $y$ 무게를 표현한다.
• $(q,y)$-Laguerre 구성에서 피rett리어 보드 위의 낙서 배치로의 이분사적 사상 $\phi$를 구축하여 통계량을 유지하고 생성함수 유도를 가능하게 한다.
• $q$-Riordan 행렬 이론과 연속 분수를 활용하여 모멘트 수열과 선형화 계수를 분석한다.
• 완전 이분 그래프 $K_{n,n+\alpha}$의 매칭 다항식과 $(q,y)$-Laguerre 다항식 간의 연결 고리를 확립하여 고전적 항등식 $m(K_{n,n+\alpha},x) = x^\alpha L_n^{(\alpha)}(x^2)$를 $(q,y)$-경우로 일반화한다.
• 가중치가 부여된 구성에 의한 조합적 해석을 통해 선형화 계수가 $\mathbb{Z}_{\geq 0}[y,q]$에 속한다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 알사람-치하라와 $q$-Laguerre 다항식과 같은 알려진 특수 케이스를 통합하는 $(q,y)$-Laguerre 다항식에 대한 조합적 모델을 어떻게 구성할 수 있는가?
• RQ2 색상이 부여된 Laguerre 구성에서 어떤 통계량이 생성함수를 통해 $(q,y)$-Laguerre 다항식을 생성하는가?
• RQ3 $(q,y)$-Laguerre 다항식의 선형화 계수는 $y$와 $q$에 대한 비음수 정수 계수 다항식인가?
• RQ4 $(q,y)$-Laguerre 다항식의 모멘트는 전위 수와 사이클 수 등의 순열 통계량을 이용해 조합적으로 해석할 수 있는가?
• RQ5 $(q,y)$-Laguerre 구성과 완전 이분 그래프에서의 낙서 배치 또는 매칭 간에 자연스러운 이분사적 사상이 존재하는가?

주요 결과

• $(q,y)$-Laguerre 다항식 $L_n^{(\alpha)}(x;y|q)$는 고전적 Laguerre 케이스를 확장한 알사람-치하라 다항식의 스케일링된 형태로 나타나며, 이를 통해 일반화가 가능하다.
• $y$는 사이클 수를 추적하고 $q$는 전위 수 및 사이클 차수 통계량을 추적하는 색상이 부여된 Laguerre 구성 모델이 구축된다.
• $L_n^{(\alpha)}(x;y|q)$의 선형화 계수가 $\mathbb{Z}_{\geq 0}[y,q]$에 속하며, 가중치가 부여된 구성에 의한 명시적 조합적 해석이 가능하다.
• $(q,y)$-Laguerre 구성과 피rett리어 보드 위의 낙서 배치 사이에 이분사적 사상 $\phi$가 수립되었으며, 주요 통계량을 유지한다: $\mathsf{inv}(C) = \mathsf{inv}(\rho)$, $\mathsf{cw}(B) + \mathsf{ind}(\mathcal{R}) = |\underline{\sigma}| + \mathsf{rl}(\lambda)$.
• $\alpha \in \mathbb{N}_0$ 인 경우 $L_n^{(\alpha)}(x;y|q)$의 모멘트는 고전적 순열 통계량을 이용해 조합적으로 해석되며, $q$-Riordan 행렬 기법을 통해 생성함수를 유도할 수 있다.
• $L_n^{(\alpha)}(x;y|q)$에 대한 매칭 다항식 모델이 구축되었으며, $m(K_{n,n+\alpha},x) = x^\alpha L_n^{(\alpha)}(x^2)$의 고전적 항등식을 $(q,y)$-경우로 일반화하였다. 이는 $\mathcal{LC}_{n,k}^{(\alpha)}$로의 이분사적 사상에 기반한다.