[논문 리뷰] Some identities and formulas involving generalized Catalan numbers

Siu‐Ah Ng|ArXiv.org|2006. 09. 21.

Advanced Mathematical Theories and Applications참고 문헌 1인용 수 4

한 줄 요약

이 논문은 선형 $y=x$ 를 초과하지 않는 $(0,-2m)$ 에서 $(n-m,n-m)$ 으로의 격자 경로를 세는 일반화된 카탈란 수 $\pi_{n,m}$ 를 도입하며, 닫힌 형태의 공식 $\pi_{n,m} = \frac{2m+1}{n+m+1} \binom{2n}{n+m}$ 를 유도한다. 이는 새로운 이항 항등식, 재귀 관계, 다변수 생성 함수를 수립하고, 카탈란 행렬식에 대한 닫힌 형태의 표현인 $2^{N(N+1)/2}$ 로 이어지며, 생성 함수의 복합화와 계수 추출 기법을 통해 증명된다.

ABSTRACT

A generalization of the Catalan numbers is considered. New results include binomial identities, recursive relations and a close formula for the multivariate generating function. A simple expression for the Catalan determinant is derived.

연구 동기 및 목표

• 고전적 카탈란 수를 두 개의 매개변수를 가진 가족 $\mathcal{C}_{n,m}$ 으로 일반화하여, $y=x$ 를 초과하지 않는 $(0,-2m)$ 에서 $(n-m,n-m)$ 으로의 격자 경로를 세는 것.
• 반사 원리와 조합적 경로 수를 이용하여 $\mathcal{C}_{n,m}$ 의 닫힌 형태 표현을 도출하는 것.
• 일반화된 카탈란 수를 포함하는 새로운 이항 항등식과 재귀 관계를 수립하는 것.
• 일반화된 카탈란 수 $\mathcal{C}_{n,m}$ 를 위한 다변수 생성 함수를 계산하고, 생성 함수의 곱 항등식을 유도하는 것.
• 카탈란 행렬식에 대한 닫힌 형태의 공식을 증명하여, 그것이 $2^{N(N+1)/2}$ 와 같음을 보이는 것.

제안 방법

• 반사 원리(앤드레의 방법)를 사용하여 $y=x$ 를 초과하는 '나쁜' 경로를 세어, $\mathcal{C}_{n,m}$ 의 닫힌 형태 공식을 도출한다.
• 생성 함수 기법을 적용하며, 특히 $\gamma_m(x) = \sum_{n=0}^\infty \mathcal{C}_{n+m,m} x^n$ 을 정의하고, $\gamma_m(x) = \gamma_0(x)^{2m+1}$ 이며 $\gamma_0(x) = \frac{1 - \sqrt{1 - 4x}}{2x}$ 라는 것을 증명한다.
• 계수 추출을 통해 $[x^j]f^{2i+1}(x)$ 를 활용하여 일반화된 카탈란 수를 행렬의 항목과 연결한다.
• 형식적 거듭제곱의 계수에 대한 행렬의 행렬식을 연결하는 핵심 보조정리(보조정리 23)를 활용한다.
• 생성 함수 항등식 $\gamma_i(x) = \gamma_0(x)^{2i+1}$ 을 적용하여 $\mathcal{C}_{i+j,i} = [x^j]\gamma_0(x)^{2i+1}$ 를 유도하고, 이는 행렬식 평가에 기여한다.
• 생성 함수 복합화와 행렬 행렬식 항등식을 조합하여 카탈란 행렬식 공식을 증명한다.

실험 결과

연구 질문

• RQ1 $y=x$ 를 초과하지 않는 $(0,-2m)$ 에서 $(n-m,n-m)$ 으로의 격자 경로를 세는 일반화된 카탈란 수 $\mathcal{C}_{n,m}$ 의 닫힌 형태 표현은 무엇인가요?
• RQ2 일반화된 카탈란 수의 조합적 구조에서 유도할 수 있는 이항 항등식과 재귀 관계는 무엇인가요?
• RQ3 일반화된 카탈란 수 $\mathcal{C}_{n,m}$ 를 위한 다변수 생성 함수는 무엇이며, 이를 닫힌 형태로 어떻게 표현할 수 있나요?
• RQ4 행렬 $\left[\frac{(2i+1)(2(i+j))!}{j!(2i+j+1)!}\right]_{0\leq i,j\leq N}$ 의 행렬식은 무엇이며, 일반화된 카탈란 수와 어떤 관련이 있나요?
• RQ5 생성 함수 접근법을 통해 $\gamma_m(x)\gamma_0(x)$ 의 닫힌 형태 표현을 얻을 수 있으며, 이로부터 유도되는 항등식은 무엇인가요?

주요 결과

• 일반화된 카탈란 수는 반사 원리를 통해 유도된 닫힌 형태 공식 $\mathcal{C}_{n,m} = \frac{2m+1}{n+m+1} \binom{2n}{n+m}$ 으로 주어진다.
• 후보 A가 항상 B보다 $2m$ 표로 앞서는 일반화된 투표 문제에서의 확률은 $\frac{2m+1}{n+m+1}$ 로, 직접적으로 $\mathcal{C}_{n,m}$ 와 연결된다.
• 일반화된 카탈란 수 $\mathcal{C}_{n,m}$ 를 위한 다변수 생성 함수 $\gamma_m(x)$ 는 $\gamma_m(x) = \gamma_0(x)^{2m+1}$ 를 만족하며, 여기서 $\gamma_0(x) = \frac{1 - \sqrt{1 - 4x}}{2x}$ 이다.
• $\gamma_m(x)\gamma_0(x)$ 는 이항 계수의 곱을 포함하는 멱급수 전개를 가지며, $\sum_{n=1}^\infty \left(\prod_{k=1}^m \frac{n+m-k+1}{k}\right)\left(\prod_{k=m+2}^{n+m+1} \frac{n+m+k+1}{k}\right)x^n$ 로 표현된다.
• 카탈란 행렬식 $\det\left[\frac{(2i+1)(2(i+j))!}{j!(2i+j+1)!}\right]_{0\leq i,j\leq N}$ 는 $2^{N(N+1)/2}$ 와 같다. 이는 생성 함수 계수 행렬과 보조정리 23 를 통해 증명된다.
• 행렬식의 항목은 $\mathcal{C}_{i+j,i} = [x^j]\gamma_0(x)^{2i+1}$ 로 주어지며, 이는 카탈란 수의 고전 생성 함수의 $2i+1$ 제곱과 연결된다.