[논문 리뷰] Explicit formulas for enumeration of lattice paths: basketball and the kernel method

Cyril Banderier, Christian Krattenthaler외 5명|arXiv (Cornell University)|2016. 09. 21.

Advanced Combinatorial Mathematics참고 문헌 54인용 수 11

한 줄 요약

이 논문은 유한한 스텝 세트를 가진 방향성 있는 격자 경로를 세는 명시적 닫힌 형식 공식을 개발한다. 주로 ±1, ±2 스텝을 가지는 농구 경로(basketball walks)를 중심으로 다루며, 커널 방법과 라그랑주–뷔르만 역행렬을 사용해 임의의 스텝 세트로 일반화한다. 주요 기여는 경로 수를 위한 중첩 이항계수 합 표현식을 유도함으로써, 음수가 되지 않도록 제약을 받는 경로에 대해 정확한 수세기와 점근적 분석을 가능하게 한다. 이는 조합론과 대기 이론에 응용된다.

ABSTRACT

This article deals with the enumeration of directed lattice walks on the integers with any finite set of steps, starting at a given altitude $j$ and ending at a given altitude $k$, with additional constraints such as, for example, to never attain altitude $0$ in-between. We first discuss the case of walks on the integers with steps $-h, \\dots, -1, +1, \\dots, +h$. The case $h=1$ is equivalent to the classical Dyck paths, for which many ways of getting explicit formulas involving Catalan-like numbers are known. The case $h=2$ corresponds to "basketball" walks, which we treat in full detail. Then we move on to the more general case of walks with any finite set of steps, also allowing some weights/probabilities associated with each step. We show how a method of wide applicability, the so-called "kernel method", leads to explicit formulas for the number of walks of length $n$, for any $h$, in terms of nested sums of binomials. We finally relate some special cases to other combinatorial problems, or to problems arising in queuing theory.

연구 동기 및 목표

• 주어진 시작점과 종료점에서의 격자 경로 수에 대한 명시적 닫힌 형식 표현식을 유도하는 것.
• 스텝이 {-2,-1,+1,+2}인 경로에 대한 닫힌 형식을 찾는 오랜 동안 미해결된 열린 문제를 해결하는 것.
• 영단위를 포함한 임의의 유한한 스텝 세트로 커널 방법과 라그랑주–뷔르만 역행렬을 일반화하는 것.
• 격자 경로 수세기와 괄호 배열, 트리, 대기 모델과 같은 다른 조합 구조 간의 연결 고리를 설정하는 것.
• 제약 조건이 있는 격자 경로에 대한 정확한 수세기 및 점근적 분석을 위한 체계적 프레임워크를 제공하는 것.

제안 방법

• 스텝 세트와 관련된 커널 방정식을 해결하여 격자 경로의 생성함수를 유도하기 위해 커널 방법을 적용한다.
• 커널 방정식에 의해 암묵적으로 정의된 생성함수의 계수를 추출하기 위해 라그랑주–뷔르만 역행렬을 사용한다.
• 경로 수를 위한 명시적 공식으로서 중첩된 이항계수 합을 도출하여 효율적인 계산과 분석을 가능하게 한다.
• 특이점 분석을 적용하여 커널 방정식의 생성함수 구조에서 경로 수의 점근적 행동을 도출한다.
• 영단위를 포함하거나 제외한 {−h, ..., h} 또는 {−h, ..., h} \ {0} 스텝 세트를 가진 경로로 방법을 확장한다.
• 기능적 방정식과 생성함수 항등식을 통해 다른 조합 대상(예: 괄호 배열, 트리)과의 연결 고리를 설정한다.

실험 결과

연구 질문

• RQ1 0에서 k로의 농구 경로(스텝 ±1, ±2) 수에 대한 명시적 닫힌 형식 공식은 무엇인가? 이 경로는 항상 음수가 되지 않도록 제약을 받는다.
• RQ2 커널 방법과 라그랑주–뷔르만 역행렬을 어떻게 조합하여 임의의 유한한 스텝 세트에 대한 경로 수를 위한 중첩 이항계수 합 표현식을 도출할 수 있는가?
• RQ3 스텝이 {−h, ..., h} 또는 {−h, ..., h} \ {0}인 경로에 대한 생성함수는 커널 방정식의 근을 통해 표현될 수 있는가?
• RQ4 농구 경로와 값이 0 또는 1이 되는 0의 괄호 배열 간의 연결 고리에 대한 조합적 해석은 무엇인가?
• RQ5 높이 1에서 끝나는 경로 수와 값이 0이 되는 n+2개의 0을 가지는 괄호 배열 수 사이에 이분형 증명(bijection)이 존재하는가?

주요 결과

• 라그랑주–뷔르만 역행렬을 사용하여 0에서 1, 2, 또는 0으로 되돌아오는 경로(-excursions)로의 농구 경로 수에 대한 명시적 닫힌 형식 공식을 도출하였다.
• 길이 n인 0에서 1로의 경로 수는 값이 0이 되는 n+2개의 0을 가지는 괄호 배열 수와 같으며, 이는 조합적 이분형 증명을 제공한다.
• 0에서 2로의 경로에 대한 생성함수는 G_{0,2}(z) = z^{-1}W(z)로 표현되며, 여기서 W(z)는 값이 1이 되는 괄호 배열의 생성함수이다.
• 일반적인 h에 대해, {−h, ..., h} 또는 {−h, ..., h} \ {0} 스텝 세트를 가진 경로 수는 커널 방법과 역행렬을 통해 중첩된 이항계수 합으로 표현된다.
• 커널 방법으로 유도된 생성함수의 특이점 분석을 통해 경로 수의 점근적 분석이 가능해진다.
• 이 프레임워크는 표시된 스텝, 금지된 패턴, 또는 무한한 스텝을 가진 모델로까지 확장 가능하며, 생성함수는 여전히 커널 방정식의 근을 통해 표현된다.