[논문 리뷰] Continuous Analogues for the Binomial Coefficients and the Catalan Numbers

Leonardo Cano, Rafael Díaz|arXiv (Cornell University)|2016. 02. 29.

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

한 줄 요약

이 논문은 볼록 다면체, 격자 경로, 방향성 있는 다양체를 사용하여 이항 계수와 카탈란 수의 연속적 연장선을 제시한다. 조합적 수를 다면체의 부피를 통해 해석함으로써 연속적 이항 계수 ${x \brace s}$와 연속적 카탈란 함수 $C(x)$를 도출하며, 명시적인 적분 및 급수 표현을 포함하여 $C(2x)$의 닫힌 형식의 생성함수를 유도한다.

ABSTRACT

Using techniques from the theories of convex polytopes, lattice paths, and indirect influences on directed manifolds, we construct continuous analogues for the binomial coefficients and the Catalan numbers. Our approach for constructing these analogues can be applied to a wide variety of combinatorial sequences. As an application we develop a continuous analogue for the binomial distribution.

연구 동기 및 목표

• 이산 조합 수열인 이항 계수와 카탈란 수와 같은 것들에 대한 연속적 연장선을 개발하기 위해.
• 조합적 수세기와 다면체 부피와 같은 기하 측도 사이의 프레임워크를 구축하기 위해.
• 이 프레임워크를 적용하여 이항 분포의 연속적 연장선을 구성하기 위해.
• 연속적 카탈란 함수 $C(x)$의 명시적 적분 및 급수 표현을 도출하기 위해.

제안 방법

• 정수 점 수를 부피로 대체하는 $\mathbb{R}^d$ 내 볼록 다면체의 사용을 통한 조합적 구조 모델링.
• 격자 경로의 연속적 연장선으로서의 방향성 있는 다양체 $(\mathbb{R}^d, v_1, \dots, v_k)$의 구축.
• 연속적 이항 계수 ${x \brace s}$의 정의를 다면체 $\Lambda^n(x,y)$의 부피로 하며, 재귀적 적분 공식을 도출.
• 적분 방정식과 재귀적 부피 분해를 통한 연속적 카탈란 함수 $C(x,y)$의 유도.
• 다변수 적분 변환과 생성함수의 사용을 통한 $C(2x)$의 $x^m/m!$에 대한 멱급수 표현.
• 모비우스 역전과 에흐라트 이론의 적용을 통한 이산 수와 연속적 부피 사이의 관계 설정.

실험 결과

연구 질문

• RQ1 이항 계수와 같은 이산 조합 수열은 기하 측도를 통해 어떻게 연속 함수로 일반화될 수 있는가?
• RQ2 카탈란 수 $c_n = \frac{1}{n+1}\binom{2n}{n}$의 연속적 연장선은 무엇이며, 다면체 부피를 통해 어떻게 정의되는가?
• RQ3 격자 경로를 매끄러운 다양체 내의 방향 경로로 대체함으로써 연속적 이항 분포를 구성할 수 있는가?
• RQ4 연속적 카탈란 함수 $C(x)$를 특징짓는 적분 또는 급수 표현은 무엇인가?
• RQ5 연속적 카탈란 함수 $C(2x)$의 멱급수 전개 계수들은 어떻게 재귀적으로 정의된 정수 계수 $I^{n-1}_{k,l}$와 관련이 있는가?

주요 결과

• 연속적 이항 계수 ${x \brace s}$는 다면체 $\Lambda^n(x,y)$의 부피로 정의되며, $\mathrm{vol}(\Lambda^1(x,y)) = \frac{1}{8}(x-y)(x+3y)$이다.
• 연속적 카탈란 함수 $C(x,y)$는 적분 방정식 $C(x,y) = 1 + \int_0^{(x-y)/2} \int_0^{(x+y)/2 - b} C(a+2b,a) \, da \, db$를 만족하며, 이는 이산 재귀관계를 일반화한다.
• 급수 전개 $C(2x)$에 사용된 함수 $I_n(a,b)$는 정수 계수 $I^{n}_{k,l}$를 가진 다항식이며, 특정 재귀 관계를 만족한다.
• 연속적 카탈란 함수 $C(2x)$는 명시적인 멱급수 표현을 갖는다: $C(2x) = 1 + \sum_{m=2}^{\infty} \left( \sum_{k+l=m-2} \left( \sum_{n=1}^{l+1} I^{n-1}_{k,l} \right) \sum_{p=0}^{k+1} (-1)^{k+1-p} \binom{m}{p} \binom{m-p-1}{l} \right) \frac{x^m}{m!}$.
• 계수 $I^{n-1}_{k,l}$는 $n > l$일 때 0이며, $n > 0$이면 $I^{n}_{k,0} = 0$이므로 유한 지지 구조를 나타낸다.
• 이 구성은 격자 경로 수세기의 부피 기반 일반화를 통해 이항 분포의 연속적 연장선을 수립한다.