[논문 리뷰] On super Catalan polynomials

Emily Allen, Irina Gheorghiciuc|arXiv (Cornell University)|2014. 03. 20.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 3

한 줄 요약

이 논문은 $ S_q(m,n) = \frac{[2m]!_q[2n]!_q}{[m]!_q[n]!_q[m+n]!_q} $로 정의된 초카탈란 수의 $ q $-해석을 소개한다. 이는 고전적 초카탈란 수와 F"urlinger-Hofbauer의 $ q $-카탈란 수를 모두 일반화한다. 주요 기여는 특정 종류의 복수 경로에 대한 부호가 붙은 주요 지표 생성함수를 통해 $ T_q(2,n) = S_q(2,n)/(1+q^n) $에 대한 조합적 해석을 제시하고, 단조성과 초카탈란 재귀의 $ q $-해석을 확립하는 것이다.

ABSTRACT

We present a $q$-analog of the super Catalan number $(2m)!(2n)!/2m!n!(m+n)!$, which also generalizes the $q$-Catalan numbers $c_n(λ)$, due to Fürlinger and Hofbauer, for $λ=0$ and $λ=1$. We give a combinatorial interpretation for this analog when $m=2$.

연구 동기 및 목표

• 초카탈란 수를 일반화하는 더 넓은 다항식 클래스로 $ q $-카탈란 수를 확장하기.
• 정의 $ S_q(2,n)/(1+q^n) $에 해당하는 $ q $-해석 $ T_q(2,n) $에 대한 조합적 해석 제공.
• 초카탈란 재귀 $ 4T(m,n) = T(m+1,n) + T(m,n+1) $의 $ q $-해석을 확립하기.
• $ S_q(m,n) $가 음이 아닌 정수 계수 다항식임을 증명하고, 단조성에 대해 조사하기.

제안 방법

• $ q $-계승과 $ q $-이항계수를 사용하여 $ S_q(m,n) $의 $ q $-해석 정의하기.
• $ \mathcal{B}(n,r) $의 경로들 위에서 생성함수로 $ q $-복수 수 $ B_q(n,r) $를 정의하고, 부호가 붙은 주요 지표 통계를 도입하기.
• 높이가 $ 2r-1 $를 초과하는 경로들과 $ \mathfrak{S}(n+r,n-r-1) $의 경로들 사이의 전단사 $ \psi $를 구성하고, 주요 지표를 유지하기.
• $ \mathcal{B}^{**}(n,2) $의 부분집합에서 드윅 경로 집합 $ \mathcal{C}_n \setminus \Omega_n $로의 사상 $ g $를 정의하고, $ \operatorname{maj} - \operatorname{des} $의 차이를 이동까지 유지하기.
• 사상 $ g $를 활용하여 $ B_q(n,1) $과 $ B_q^*(n,2) $를 연결하고, 항등식 $ q^2 B_q(n,1) - B_q^*(n,2) = q^2 \sum_{\pi \in \Omega_n} q^{\operatorname{maj}(\pi) - \operatorname{des}(\pi)} $를 도출하기.
• 초카탈란 재귀의 $ q $-해석을 활용하여 $ T_q(m,n) $를 포함하는 항등식 유도하기. 특히 $ (1+q^n)(1+q^{n-m})T_q(m,n) = q^{n-m}T_q(n,m+1) + T_q(m,n+1) $를 포함한다.

실험 결과

연구 질문

• RQ1 고전적 초카탈란 수와 F"urlinger-Hofbauer의 $ q $-카탈란 수를 모두 일반화하는 초카탈란 수의 $ q $-해석을 구성할 수 있는가?
• RQ2 $ T_q(2,n) = S_q(2,n)/(1+q^n) $에 대한 조합적 해석이 부호가 붙은 주요 지표 통계를 갖는 격자 경로를 통해 가능할까?
• RQ3 초카탈란 재귀 $ 4T(m,n) = T(m+1,n) + T(m,n+1) $의 $ q $-해석이 $ S_q(m,n) $에 대해 성립하는가?
• RQ4 조합적 방법을 통해 $ S_q(m,n) $의 단조성을 증명할 수 있는가?
• RQ5 $ T_q(2,n) $의 생성함수와 제한된 높이와 내림차순 구조를 갖는 드윅 경로 집합 간의 정확한 관계는 무엇인가?

주요 결과

• Warnaar와 Zudilin의 결과에 기반하여, $ S_q(m,n) $는 음이 아닌 정수 계수 다항식임이 입증되었고, 조합적 구성에 의해 재확인되었다.
• $ T_q(2,n) = S_q(2,n)/(1+q^n) $는 $ \sum_{\pi \in \mathcal{B}^{**}(n,2)} q^{\operatorname{maj}(\pi) - \operatorname{des}(\pi)} $로 표현되며, 이는 특정 종류의 복수 경로 집합 $ \mathcal{B}^{**}(n,2) $에 대한 조합적 해석을 제공한다.
• 사상 $ g $는 $ \mathcal{B}^{**}(n,2) $와 $ \mathcal{C}_n \setminus \Omega_n $ 사이의 전단사이며, $ \operatorname{maj}(\pi) - \operatorname{des}(\pi) = \operatorname{maj}(g(\pi)) - \operatorname{des}(g(\pi)) + 2 $를 만족한다. 이로부터 항등식 $ q^2 B_q(n,1) - B_q^*(n,2) = q^2 \sum_{\pi \in \Omega_n} q^{\operatorname{maj}(\pi) - \operatorname{des}(\pi)} $를 유도할 수 있다.
• 초카탈란 재귀의 $ q $-해석이 성립한다: $ (1+q^n)(1+q^{n-m})T_q(m,n) = q^{n-m}T_q(n,m+1) + T_q(m,n+1) $로 일반화된 고전적 항등식이 성립한다.
• 특히 $ m=1 $일 때, $ T_q(1,n) = \sum_{\pi \in \mathcal{C}_n} q^{\operatorname{maj}(\pi) - \operatorname{des}(\pi)} $이며, 이는 F"urlinger-Hofbauer의 $ q $-카탈란 수 $ c_n(0) $과 일치한다. 또한 $ T_q(n,1) = \sum_{\pi \in \mathcal{C}_n} q^{\operatorname{maj}(\pi)} = c_n(1) $이다.
• 이 구성은 $ T_q(2,n) $가 음이 아닌 정수 계수 다항식임을 확인하고, $ S_q(m,n) $의 단조성 증명을 향한 단계를 제공한다.