[논문 리뷰] Explicit expression for the generating function counting Gessel's walks

Irina Kurkova, Kilian Raschel|arXiv (Cornell University)|2009. 12. 02.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 4

한 줄 요약

이 논문은 Gessel의 산책—양의 사분면에서 서쪽, 북동쪽, 동쪽, 남서쪽 단위 이동을 사용하는 격자 산책—을 세는 삼변수 생성함수에 대한 명시적인 폐쇄형 표현을 제공한다. 복소해석학, 리만 경계값 문제, 타원 함수를 이용하여 저자들은 경계에서의 생성함수에 대한 정확한 표현을 유도하며, 토러스 위에서의 균일화와 등각 접합을 통해 오랫동안 미해결이었던 Gessel의 추측을 해결한다.

ABSTRACT

Gessel's walks are the planar walks that move within the positive quadrant $\mathbb{Z}_{+}^{2}$ by unit steps in any of the following directions: West, North-East, East and South-West. In this paper, we find an explicit expression for the trivariate generating function counting the Gessel's walks with $k\geq 0$ steps, which start at $(0,0)$ and end at a given point $(i,j) \in \mathbb{Z}^2_+$.

연구 동기 및 목표

• 2001년 Gessel이 제기한, 양의 사분면에서 원점으로 되돌아오는 길이 2k인 산책의 수에 대한 추측을 해결하기 위해.
• Gessel의 산책(단위 이동 집합 {서쪽, NE, 동쪽, SW} 포함)을 세는 삼변수 생성함수 Q(x,y,z)에 대한 명시적인 폐쇄형 표현을 유도하기 위해.
• Gessel 모델에서 궤도 합 방법이 실패하는 것을 극복하기 위해 복소해석학에 기반한 새로운 분석적 접근법을 개발하기 위해.
• 유한군 구조를 가진 다른 79개의 사분면 산책 모델에 적용 가능한 일반적 프레임워크를 수립하기 위해.
• 토러스 위에서의 리만-카를레만 경계값 문제를 통해 생성함수 Q(x,0,z), Q(0,y,z), Q(0,0,z)를 특성화하기 위해.

제안 방법

• 경계 생성함수를 이용하여 삼변수 생성함수 Q(x,y,z)에 대한 함수방정식 (1)을 수립한다.
• 주기 ω₁, ω₂, ω₃로 정의된 복소 토러스 위에서 리만-카를레만 경계값 문제(BVP)로 문제를 축소한다.
• 위어스트라스 타원 함수 ℘를 통한 균일화를 이용하여 리만 곡면을 매개변수화하고, 토러스 위에 유리형 함수 x(ω), y(ω)를 정의한다.
• 함수방정식 (39)와 (40)을 인비올루션 ψ 하에서 만족하는 등각 접합 함수 qx(ω)와 qy(ω)를 구성한다.
• 레마 28을 통해 x(ω), y(ω), y(ω)+1의 임계점과 영점을 분석하여, qx와 (y+1)qy가 잘린 토러스 위에서 해석적임을 증명한다.
• 타원 함수의 해석적 계속성 및 단일다성성 성질을 활용하여 경계 조건의 일관성을 검증한다.

실험 결과

연구 질문

• RQ1 양의 사분면에서 Gessel의 산책을 세는 삼변수 생성함수 Q(x,y,z)에 대한 명시적인 폐쇄형 표현은 무엇인가?
• RQ2 Gessel 모델에서 궤도 합 방법이 실패하는 바람에 함수방정식 (1)을 어떻게 분석적으로 해결할 수 있는가?
• RQ3 리만-카를레만 경계값 문제와 타원 함수는 유한군 구조를 가진 산책의 생성함수를 해결하는 데 어떤 역할을 하는가?
• RQ4 경계에서의 생성함수의 특이점은 위어스트라스 타원 함수의 영점과 임계점과 어떻게 관련이 있는가?
• RQ5 이 방법은 유한군 작용을 가진 사분면 내의 다른 79개의 산책 모델로 일반화될 수 있는가?

주요 결과

• 저자들은 복소해석학과 타원 함수를 이용하여 Gessel의 산책에 대한 삼변수 생성함수 Q(x,y,z)에 대한 명시적 표현을 도출한다.
• 경계 생성함수 Q(x,0,z), Q(0,y,z), Q(0,0,z)는 위어스트라스 타원 함수와 그 토러스 위에서의 균일화를 통해 표현된다.
• 해결은 주기 ω₁, ω₂, ω₃를 가진 복소 토러스 위에서 인덱스 χ = 0인 리만-카를레만 경계값 문제를 해결하는 데 의존한다.
• qx(ω)와 qy(ω)는 고립된 특이점 이외에는 잘린 토러스 C/Ω 위에서 해석적임이 입증된다. 이러한 특이점은 함수방정식에 의해 상쇄된다.
• 레마 28을 통해 x(ω), y(ω), y(ω)+1의 임계점과 영점이 완전히 특성화된다: x는 ω₂/8, 7ω₂/8에서 단순 임계점을 가지며, y는 3ω₂/8에서 이중 임계점, 7ω₂/8에서 이중 영점을 가진다.
• 생성함수 Q(0,0,z)는 y = -1에서 유계적이므로, qy(ω)는 ω₂/8와 5ω₂/8에서 명백한 특이점에도 불구하고 해석적임이 보장된다.