[논문 리뷰] On the Holonomy or Algebraicity of Generating Functions Counting Lattice Walks in the Quarter-Plane

Guy Fayolle, Kilian Raschel|arXiv (Cornell University)|2010. 04. 10.

Mathematics and Applications참고 문헌 9인용 수 20

한 줄 요약

이 논문은 [4]의 일반 정리들을 직접 적용하여, 23종의 소단계 격자보행에 대한 이변수 생성함수의 헬로노믹성과 대수적 성격을 규명한다. 특히 확률적 랜덤보행 모델에서 유도된 함수방정식을 중심으로 다루며, 관련된 군의 구조와 종수 하나인 리만 곡면 위에서의 커널 방정식을 기반으로, 생성함수가 헬로노믹함을 확인하고, 네 가지의 경우—겔세의 보행을 포함—에서 대수적임을 밝힌다.

ABSTRACT

In two recent works \cite{BMM,BK}, it has been shown that the counting generating functions (CGF) for the 23 walks with small steps confined in a quadrant and associated with a finite group of birational transformations are holonomic, and even algebraic in 4 cases -- in particular for the so-called Gessel's walk. It turns out that the type of functional equations satisfied by these CGF appeared in a probabilistic context almost 40 years ago. Then a method of resolution was proposed in \cite{FIM}, involving at once algebraic tools and a reduction to boundary value problems. Recently this method has been developed in a combinatorics framework in \cite{Ra}, where a thorough study of the explicit expressions for the CGF is proposed. The aim of this paper is to derive the nature of the bivariate CGF by a direct use of some general theorems given in \cite{FIM}.

연구 동기 및 목표

• 소단계 격자보행이 1사분면에 제한된 경우, 이변수 생성함수(CGF)의 성격—헬로노믹 또는 대수적—을 규명하는 것.
• 이러한 CGF를 지배하는 함수방정식을 [4]의 확립된 정리들, 특히 경계값 문제와 등각 접합 함수와 관련된 것들을 활용하여 해결하는 것.
• 특정 보행이 대수적 CGF를 갖는 이유와 다른 보행은 오직 헬로노믹임을 군의 구조와 곡선의 종수에 기반해 명확히 하는 것.
• 위어스트라스 타르게 함수를 이용한 커널 곡선의 균일화를 통한 직접적이고 체계적인 CGF 성격 유도 방법 제공

제안 방법

• 논문은 [4]의 일반 정리들을 적용하여, 확률적 랜덤보행 모델에서 유도되는 형태의 함수방정식인 $ K(x,y)F(x,y,z) = c(x)F(x,0,z) + \tilde{c}(y)F(0,y,z) + c_0(x,y) $ 를 다룬다.
• 스텝 세트 $ \mathcal{S} $ 와 관련된 비유리 변환 군 $ W = \langle \xi, \eta \rangle $ 를 사용하여 커널 곡선 $ K(x,y) = 0 $ 에 대한 대칭성과 단일연속성(모노드로미)을 분석한다.
• 커널 곡선 $ K(x,y) = 0 $ 의 종수를 분석하며, 종수가 1인 경우 위어스트라스 타르게 함수 $ \wp $ 를 이용해 균일화하여 명시적 적분 표현을 가능하게 한다.
• 해결 과정은 특정 잔여합 $ \sum_{k=0}^{n-1} \frac{\psi_{\delta^k}}{\prod_{i=1}^k f_{\delta^i}} $ 가 커널 곡선 $ K(x,y) = 0 $ 상에서 0이 되는지 여부를 점검하는 것으로 이루어지며, 이는 헬로노믹성 또는 대수성의 결정 요소가 된다.
• 유한 군 차수 $ n = 2, 3, 4 $ 를 갖는 보행의 경우, 이 합을 직접 계산하고 특정 경우에만 0이 됨을 보여, 대수성의 조건을 규명한다.
• 분석은 특히 대칭성과 $ c(x), \tilde{c}(y) $ 의 형태에 기반한 등각 접합 함수와 점프 세트 $ \mathcal{S} $ 의 구조를 활용하여 사례를 분류한다.

실험 결과

연구 질문

• RQ1 소단계 격자보행이 1사분면에 제한된 경우, 이변수 생성함수가 언제 헬로노믹 또는 대수적일 수 있는가?
• RQ2 스텝 세트와 관련된 비유리 변환 군의 구조가 생성함수의 성격을 어떻게 결정하는가?
• RQ3 23개의 보행 중에서 군의 차수가 유한한 경우에만 네 가지만 대수적 생성함수를 갖는 이유는 무엇인가?
• RQ4 커널 곡선 $ K(x,y) = 0 $ 의 종수 하나의 구조가 위어스트라스 균일화를 통해 대수성의 결정에 어떤 역할을 하는가?
• RQ5 확률적 랜덤보행에서 유도된 함수방정식 접근법을 직접적으로 활용하여 생성함수의 대수적 또는 헬로노믹 성격을 유도할 수 있는가?

주요 결과

• 모든 23개의 보행에 대해 유한 군을 갖는 경우 생성함수는 헬로노믹함을 보이며, 이는 [2]와 [11]의 이전 결과를 확인한다.
• 겔세의 보행을 포함한 네 가지 보행은 대수적 생성함수를 갖지만, 나머지 19개는 헬로노믹이지만 대수적이지 않다.
• 대수성은 특정 잔여합 $ \sum_{k=0}^{n-1} \frac{\psi_{\delta^k}}{\prod_{i=1}^k f_{\delta^i}} $ 가 커널 곡선 $ K(x,y) = 0 $ 상에서 항등적으로 0이 되는 경우에만 발생하며, 이는 특정 대칭 스텝 세트에서만 성립한다.
• 군 차수 $ n = 2 $ 인 경우, 합은 $ \frac{y(x_\eta - x)}{z c_\eta} + \frac{y_\xi (x - x_\eta)}{z c(x^2)_\delta} $ 로 간소화되며, 조건 $ c/c_\eta = x^2 $ 를 만족할 경우 0이 된다. 이 조건은 세 가지 대칭 사례에서 성립한다.
• 군 차수 $ n = 3 $ 또는 $ n = 4 $ 인 경우, 합은 커널 곡선 $ K(x,y) = 0 $ 상에서 항등적으로 0이 되지 않으며, 이는 생성함수가 헬로노믹이지만 대수적이지 않은 이유를 설명한다.
• 모든 유한 군을 갖는 보행에 대해 커널 곡선 $ K(x,y) = 0 $ 는 종수가 1이며, 이는 위어스트라스 $ \wp $-함수를 이용한 균일화가 가능함을 의미하며, 이는 해법의 기초가 된다.