[논문 리뷰] A Combinatorial Interpretation of The Numbers $6(2n)! /n! (n+2)!$

Ira M. Gessel, Guoce Xin|ArXiv.org|2004. 01. 22.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 18

한 줄 요약

이 논문은 초카탈란 수 $ T(2,n) = \frac{6(2n)!}{n!(n+2)!} $ 와 $ T(3,n) = \frac{60(2n)!}{n!(n+3)!} $에 대해 처음으로 조합적 해석을 제공하며, $ T(2,n) $는 총 반장이 $ n $인 두 Dyck 경로의 쌍 중 높이 차이가 1 이내인 경우를 세며, $ T(3,n) $는 특정한 높이 및 종점 제약 조건을 만족하는 삼중의 보틀렛 경로를 세는 것으로, 조합적 방법과 생성함수 방법을 모두 사용한다.

ABSTRACT

It is well known that the numbers $(2m)! (2n)!/m! n! (m+n)!$ are integers, but in general there is no known combinatorial interpretation for them. When $m=0$ these numbers are the middle binomial coefficients $\binom{2n}{n}$, and when $m=1$ they are twice the Catalan numbers. In this paper, we give combinatorial interpretations for these numbers when $m=2$ or 3.

연구 동기 및 목표

• 이전에 이러한 해석이 없었던 $ m=2 $ 및 $ m=3 $인 초카탈란 수 $ T(m,n) = \frac{1}{2} \frac{(2m)!(2n)!}{m!n!(m+n)!} $에 대해 조합적 해석을 제공하는 것.
• 기존의 $ m=0 $ (중간 이항계수) 및 $ m=1 $ (두 배의 카탈란 수)의 경우를 제외한 자연스러운 조합적 모델을 찾는 열린 문제를 해결하는 것.
• 초카탈란 수와 높이 제약 조건이 있는 경로 수세기, 특히 Dyck 경로 및 보틀렛 경로를 포함하여 연결 고리를 설정하는 것.
• $ T(2,n) $가 총 반장이 $ n $인 두 Dyck 경로의 쌍 중 높이 차이가 1 이내인 경우를 세는 것으로, 포함-배제 원리와 경로 변환 기법을 사용하여 증명하는 것.
• $ T(3,n) $에 대해서는 직접적인 조합적 해석이 없는 항등식 $ T(3,n) = 16C_n - 8C_{n+1} + C_{n+2} $에 비추어 생성함수와 경로 분해 기법을 사용하여 이 접근을 확장하는 것.

제안 방법

• 논문은 비어 있지 않은 Dyck 경로에 대한 분해 $ R = UDPQ $를 활용하여, 두 Dyck 경로의 쌍과 반장이 $ 2n $인 Dyck 경로 사이의 이분법을 사용한다.
• 하향 단계를 상향 단계로 바꾸고 두 번째 경로를 두 단계 높이로 이동시키는 변환을 도입하여 경로의 구조와 수준 제약 조건을 유지한다.
• $ T(2,n) $의 경우, 핵심 조건인 $ h(P) \leq h(Q) + 1 $을 적용하며, 증명은 포함-배제 원리에 의해 해석된 항등식 $ T(2,n) = 4C_n - C_{n+1} $에 기반한다.
• $ T(3,n) $의 경우, 생성함수 방법으로 전환하며, 높이가 최대 $ k $이고 수준 $ j $에서 끝나는 보틀렛 경로의 생성함수 $ G_k^{(j)} $를 도입하고, 정확히 높이 $ k $인 경로를 위한 $ H_k^{(j)} = G_k^{(j)} - G_{k-1}^{(j)} $를 유도한다.
• 생성함수 $ G_k^{(j)} $는 카탈란 수와 유리 함수로 표현되며, $ G_k^{(j)} = x^{j/2} \frac{p_{k-j}}{p_{k+1}} $로 기술되며, 여기서 $ p_n(x) $는 체비셰프 다항식과 관련된 다항식이다.
• 주 생성함수 항등식은 유리 함수 표현을 $ x $에 대해 정리하고, 특정한 높이 및 종점 조건을 만족하는 경로의 생성함수의 곱의 합으로 표현하며, 기호 계산 소프트웨어(Maple)를 사용하여 검증된다.

실험 결과

연구 질문

• RQ1 초카탈란 수 $ T(2,n) = \frac{6(2n)!}{n!(n+2)!} $는 격자 경로의 관점에서 자연스러운 조합적 해석을 가질 수 있는가?
• RQ2 간단한 포함-배제 원리 해석이 없는 상황에서도 $ T(3,n) = \frac{60(2n)!}{n!(n+3)!} $에 대한 조합적 모델이 존재하는가?
• RQ3 생성함수 $ T(3,n) $는 특정한 높이 및 종점 제약 조건을 만족하는 보틀렛 경로의 생성함수의 곱의 합으로 어떻게 표현할 수 있는가?
• RQ4 항등식 $ T(2,n) = 4C_n - C_{n+1} $는 높이 제약 조건이 있는 경로 쌍을 통해 조합적으로 해석할 수 있는가?
• RQ5 $ T(3,n) $가 세는 경로 구성의 정확한 구조는 무엇이며, 이는 정리 4.2의 생성함수 분해와 어떻게 관련이 있는가?

주요 결과

• $ T(2,n) $는 총 반장이 $ n $인 두 Dyck 경로의 쌍 중 첫 번째 경로의 높이가 두 번째 경로의 높이보다 최대 1 더 큰 경우의 수를 세는 것으로, 높이 제약 조건이 있다.
• 항등식 $ T(2,n) = 4C_n - C_{n+1} $는 포함-배제 원리에 기반한 조합적 해석을 통해, $ 4C_n $는 첫 번째 경로가 비어 있지 않은 모든 쌍을 세며, $ C_{n+1} $는 높이 조건을 위반하는 쌍을 세는 것으로 이해된다.
• $ T(3,n) $에 대해 논문은 생성함수 $ \sqrt{x} \sum_{k=6}^{\infty} H_k^{(4)} H_{k-2}^{(3)} H_{k-4}^{(2)} + 2G_1 + 2G_2 + G_3 + G_5 $ 와 동일하다고 규명하였으며, 여기서 $ H_k^{(j)} $는 정확히 높이 $ k $이고 수준 $ j $에서 끝나는 보틀렛 경로의 수를 의미한다.
• 높이가 최대 $ k $이고 수준 $ j $에서 끝나는 보틀렛 경로의 생성함수 $ G_k^{(j)} $ 는 $ G_k^{(j)} = x^{j/2} \frac{p_{k-j}}{p_{k+1}} $ 로 주어지며, 여기서 $ p_n(x) $는 체비셰프 다항식과 관련된 다항식 시퀀스이다.
• 생성함수 $ G_k^{(j)} $ 는 카탈란 수와 유리 함수로 표현되며, $ G_k^{(j)} = x^{j/2} \frac{p_{k-j}}{p_{k+1}} $ 로 기술되며, $ p_n(x) $는 체비셰프 다항식과 관련된 다항식이다.
• 생성함수 $ T(3,n) $ 는 항등식 $ \frac{1}{2}(-1)^m(1-4x)^{m-1/2} = \sum_{n} T(m,n) x^{m+n} $ 를 사용하여 대수적으로 유도되었으며, 기호 계산을 통해 검증되었다.
• 논문은 모든 $ n \geq 2 $ 에 대해 $ T(3,n) $ 가 양의 정수임을 확인하였으며, 특정한 높이 및 종점 제약 조건을 만족하는 삼중 경로를 포함하는 구성적인(다소 복잡한) 조합적 모델을 제공한다.