Gessel 걸음의 완전 생성함수가 대수적이다

본 논문은 첫 사분면 \(\mathbb{N}^{2}\)에서 네 가지 스텝 \(\{\leftarrow,\swarrow,\nearrow,\rightarrow\}\)만을 허용하는 Gessel 걸음의 삼변 생성함수 \(G(t;x,y)=\sum_{n,i,j\ge0}g(n;i,j)x^{i}y^{j}t^{n}\)이 대수식으로 표현될 수 있음을 증명한다. 1. **배경 및 문제 정의** 격자 경로 이론에서 무제한 경우의 생성함수는 언제나 유리함수가 된다. 그러나 경로가 반평면이나 사분면에 제한되면 일반적으로 대수성이 깨진다. 특히 사분면 제한은 복잡성을 크게 증가시켜, 대부분의 스텝 집합에 대해 생성함수가 D‑finite(선형 미분 방정식 만족)도 아니고, 대수적도 아니다. Bousquet‑Mélou와 Mishna는 256가지 가능한 스텝 집합을 79가지 본질적 경우로 축소하고, 그 중 22가지가 D‑finite임을 보였으며, 나머지는 그렇지 않다고 제시했다. 그 중 유일하게 기존 방법으로는 해결되지 않았던 것이 바로 Gessel 걸음의 스텝 집합이다. 2. **기존 결과와 한계** Gessel은 원점 복귀 경우 \(g(n;0,0)\)에 대해 초월적 하이퍼지오메트릭 급수 \(\,{}_3F_2\) 형태를 제시했고, 이후 Bostan, Kauers 등은 이를 D‑finite와 대수적임을 증명하였다. 그러나 전체 생성함수 \(G(t;x,y)\)는 변수 \(x,y\)를 포함하면서 급격히 복잡해졌고, 최소 다항식의 크기가 수십 기가바이트에 달해 직접적인 대수식 도출이 불가능했다. 3. **전략 개요** 저자들은 두 단계 전략을 채택한다. - **자동 추측(Guessing)**: 초기 항을 수천 개까지 계산하고, Hermite‑Padé 근사와 고성능 gfun 구현을 이용해 후보 대수 방정식 \(P(T,t,x)=0\)을 찾는다. 이때 \(G(t;x,0)\)와 \(G(t;0,y)\)에 대해 각각 별도의 방정식을 구한다. - **증명(Proof)**: 암묵함수 정리와 고유성 논증을 통해 후보 방정식이 실제로 해를 갖고, 그 해가 원래 생성함수와 일치함을 보인다. 4. **커널 방법과 불변식** Gessel 걸음의 기능 방정식은 \