[논문 리뷰] Generalized Chung-Feller Theorems for Lattice Paths (Thesis)

Aminul Huq|ArXiv.org|2009. 07. 19.

Advanced Combinatorial Mathematics참고 문헌 31인용 수 6

한 줄 요약

이 학위논문은 사이클 방법과 라그랑주 역행렬을 사용하여, 독크 경로의 고전적 창-펠러 정리를 모츠킨 경로와 셰로더 경로를 포함하는 더 넓은 범주의 격자 경로로 일반화한다. 경로 통계량인 정점, 골짜기, 그리고 r+1로 나눈 나머지가 일정한 위치에서의 단계에 대해 등분포 결과를 수립하며, 다항계수를 포함한 일반화된 나라야나 유형의 공식을 통해 특정 경로 수가 위치 매개변수에 영향을 받지 않음을 증명한다.

ABSTRACT

In this thesis we develop generalized versions of the Chung-Feller theorem for lattice paths constrained in the half plane. The beautiful cycle method which was developed by Devoretzky and Motzkin as a means to prove the ballot problem is modified and applied to generalize the classical Chung-Feller theorem. We use Lagrange inversion to derive the generalized formulas. For the generating function proof we study various ways of decomposing lattice paths. We also show some results related to equidistribution properties in terms of Narayana and Catalan generating functions. We then develop generalized Chung-Feller theorems for Motzkin and Schroeder paths. Finally we study generalized paths and the analogue of the Chung-Feller theorem for them.

연구 동기 및 목표

• 고전적 창-펠러 정리를 독크 경로를 초월하여 모츠킨 경로와 셰로더 경로와 같은 일반화된 격자 경로로 확장하기.
• 등분포 성질을 증명하기 위해 사이클 방법과 생성함수를 사용한 통합 프레임워크 개발하기.
• r+1로 나눈 나머지에 따라 단계의 위치에 제약 조건이 있는 경로에 대한 일반화된 카탈란 수 및 나라야나 수 공식 유도하기.
• 라그랑주 역행렬을 통해 가중치가 부여된 단계를 가진 경로의 가중치가 부여된 경로 수와 생성함수 사이의 연결 고리 설정하기.
• 다양한 경로 유형 간에 정점, 골짜기, 그리고 x축 또는 그 아래의 단계의 등분포를 일반화하기.

제안 방법

• 데보레츠키와 모츠킨의 사이클 방법을 변형하여 반평면에 제약을 받는 격자 경로의 등분포 정리를 증명한다.
• 높이 r+1에서 끝나는 경로의 생성함수에 대해 닫힌 표현식을 도출하기 위해 라그랑주 역행렬을 적용한다.
• 경로의 구조, 즉 양의 소수와 음의 소수, 평탄한 단계를 분석하기 위해 생성함수 분해를 사용한다.
• r+1색의 자유 모츠킨 경로를 도입하여 r+1로 나눈 나머지에 따라 단계의 위치에 제약 조건이 있는 격자 경로의 순환 이동을 모델링한다.
• n_0 + \cdots + n_r = nr + 1 인 경로에 대해 일반화된 나라야나 수 공식 $ N^r(n, n_0, \dots, n_r) = \frac{1}{n} \binom{n}{n_0} \cdots \binom{n}{n_r} $ 을 수립한다.
• r+1로 나눈 나머지에 따라 단계의 위치에 제약 조건이 있는 경로를 모델링하기 위해 생성함수 항등식 $ F = (\alpha_0 + F)(\alpha_1 + F)\cdots(\alpha_r + F) $ 를 적용한다.

실험 결과

연구 질문

• RQ1 창-펠러 정리는 독크 경로를 초월하여 모츠킨 경로나 셰로더 경로와 같은 격자 경로로 어떻게 일반화될 수 있는가?
• RQ2 r+1로 나눈 나머지에 따라 단계의 위치를 기준으로 경로를 세었을 때, 특히 x축 또는 그 아래의 상승/하강 단계에 대해 어떤 등분포 성질이 나타나는가?
• RQ3 사이클 방법은 특정 통계량, 예를 들어 정점이나 골짜기의 수에 대해 모듈로 위치 제약 조건이 있을 때에도 경로 수의 독립성을 증명하는 데 확장될 수 있는가?
• RQ4 라그랑주 역행렬은 제약 조건이 있는 격자 경로에 대한 일반화된 카탈란 수 및 나라야나 수 공식 유도에 어떤 역할을 하는가?
• RQ5 색이 칠해진 평탄한 단계와 높이 제약 조건이 있는 경로의 생성함수는 일반화된 창-펠러 정리와 어떻게 관련이 있는가?

주요 결과

• 높이 r+1에서 끝나는 경로 수 $ \mathcal{P}(n-1, r, r+1) $ 중에서 상승 단계가 위치 i ≡ i \pmod{r+1} 에서 정확히 n_i개 있고, x축 또는 그 아래에서 j개의 상승 단계를 가지는 경로의 수는 j에 관계없이 일정하며, $ \frac{1}{n_0} \binom{n-1}{n_0-1} \binom{n}{n_1} \cdots \binom{n}{n_r} $ 와 같다.
• 하강 단계로 시작하고 위치 i ≡ i \pmod{r+1} 에서 n_i - 1개의 하강 단계를 가지는 경로의 수는 $ \frac{1}{n_0 - 1} \binom{n-1}{n_0 - 2} \binom{n}{n_1 - 1} \cdots \binom{n}{n_r - 1} $ 와 같으며, x축 또는 그 아래에서의 해당 단계 수에 영향을 받지 않는다.
• r = 1일 때, 일반화된 공식은 고전적 나라야나 수 $ \frac{1}{n} \binom{n}{k} \binom{n}{k-1} $ 로 축소되며, 기존 결과와의 일致성을 확인한다.
• 높이 r+1에서 끝나는 경로의 생성함수 F 는 $ F = (\alpha_0 + F)(\alpha_1 + F)\cdots(\alpha_r + F) $ 를 만족하며, 이는 라그랑주 역행렬을 통해 일반화된 경로 수를 유도하는 데 기여한다.
• 정점, 골짜기, 그리고 r+1로 나눈 나머지가 짝수인 위치의 단계에 대한 등분포는 순환 이동과 색이 칠해진 모츠킨 경로 모델을 통해 증명된다.
• 일반화된 창-펠러 정리는 모츠킨 경로와 셰로더 경로에 대해 성립하며, 가중치가 부여된 단계와 모듈로 제약 조건이 있는 더 넓은 경로 유형으로 고전 결과를 확장한다.