[논문 리뷰] On 3-dimensional lattice walks confined to the positive octant

Alin Bostan, Mireille Bousquet‐Mélou외 2명|arXiv (Cornell University)|2014. 09. 12.

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

한 줄 요약

이 논문은 {−1, 0, 1}³의 스텝을 가지며 양의 1사분면에 고정된 3차원 격자 보행을 분류하며, 최대 6개의 스텝을 가진 35,548개의 스텝 세트를 대상으로 한다. 실험적 추측과 철학적 방법—알gebraic kernel 방법, Hadamard 축소, 컴퓨터 대수학—을 사용하여 추측된 미분 방정식에 대한 D-유한성은 모두 엄밀하게 증명한다. 주요 결과는 유한군을 가지는 19개의 스텝 세트가 해결되지 않아, 2차원 1사분면 보행의 이분법과 도전하는 바이다.

ABSTRACT

Many recent papers deal with the enumeration of 2-dimensional walks with prescribed steps confined to the positive quadrant. The classification is now complete for walks with steps in $\{0, \pm 1\}^2$: the generating function is D-finite if and only if a certain group associated with the step set is finite. We explore in this paper the analogous problem for 3-dimensional walks confined to the positive octant. The first difficulty is their number: there are 11074225 non-trivial and non-equivalent step sets in $\{0, \pm 1\}^3$ (instead of 79 in the quadrant case). We focus on the 35548 that have at most six steps. We apply to them a combined approach, first experimental and then rigorous. On the experimental side, we try to guess differential equations. We also try to determine if the associated group is finite. The largest finite groups that we find have order 48 -- the larger ones have order at least 200 and we believe them to be infinite. No differential equation has been detected in those cases. On the rigorous side, we apply three main techniques to prove D-finiteness. The algebraic kernel method, applied earlier to quadrant walks, works in many cases. Certain, more challenging, cases turn out to have a special Hadamard structure, which allows us to solve them via a reduction to problems of smaller dimension. Finally, for two special cases, we had to resort to computer algebra proofs. We prove with these techniques all the guessed differential equations. This leaves us with exactly 19 very intriguing step sets for which the group is finite, but the nature of the generating function still unclear.

연구 동기 및 목표

• 최대 6개의 스텝을 가지며 {−1, 0, 1}³의 작은 스텝을 가지는 3차원 격자 보행을 체계적으로 분류하는 것.
• 2차원 1사분면 보행에서의 유한군 조건이 3차원 1사분면으로 일반화되는지, 즉 유한군 ⇔ D-유한 생성 함수인지 조사하는 것.
• 유한군을 가진 스텝 세트에 대해 대수적 및 알고리즘 기반 기법을 사용하여 생성 함수의 D-유한성을 규명하고 증명하는 것.
• 유한군을 가졌지만 D-유한성 여부가 미확정인 19개의 스텝 세트를 분리하고 분석하여, 1사분면 보행의 이분법에 도전하는 것.
• 유한군을 가진 모델에서 D-유한이 아닌 생성 함수가 존재할 가능성을 탐색하여, 유한군–D-유한성 대응관계를 반박할 수 있는지 조사하는 것.

제안 방법

• 최대 6개의 스텝을 가진 35,548개의 스텝 세트에 대해 생성 함수의 다항계수를 가진 선형 미분 방정식을 실험적으로 추측하는 방법을 적용한다.
• 많은 모델에 효과적인 알제브라릭 커널 방법을 사용하여 생성 함수의 D-유한성을 엄밀하게 증명한다.
• 특정 모델에서 특수한 Hadamard 구조를 식별하고 활용하여 문제를 저차원 사례로 축소한다.
• 기타 방법으로는 실패하는 두 개의 특히 복잡한 모델에 대해 컴퓨터 대수 증명을 활용한다.
• Fuchs의 관계식과 잠재적 특이점에 대한 경계를 사용하여 잠재적 미분 연산자의 형태를 제약한다.
• 기호 계산과 군론적 분석을 조합한 체계적인 전략을 구현하고 적용하여 추측된 모든 미분 방정식을 검증한다.

실험 결과

연구 질문

• RQ1 2차원 1사분면 보행에서의 유한군 조건이 3차원 1사분면 보행으로까지 확장되는가, 즉 유한군 ⇔ D-유한 생성 함수인가?
• RQ2 유한군을 가졌지만 생성 함수의 성질이 미확정인 19개의 스텝 세트에 대해 D-유한이 아님을 증명할 수 있는가? 이는 유한군–D-유한성 대응관계를 반박하는 데 기여할 수 있다.
• RQ3 Bostan 등 [8]에서 제시한 2차원 사례의 기법들이 3차원 1사분면 보행에서 D-유한성이 아님을 증명하는 데 확장 가능한가?
• RQ4 2차원 사례와 마찬가지로 D-유한 생성 함수에 대해 초함수 급수 형태의 닫힌 표현식이 존재하는가?
• RQ5 특히 두 개의 예외적 모델에 대해 컴퓨터 대수 결과를 인간이 읽을 수 있는 증명으로 재구성할 수 있는가?

주요 결과

• 유한군을 가진 모든 35,548개의 스텝 세트(최대 6개의 스텝)를 분석하였으며, 추측된 미분 방정식이 존재하는 모든 경우에 대해 D-유한성이 엄밀하게 증명되었다.
• 유한군 중 가장 큰 순서는 48이며, 순서가 200 이상인 군들이 발견되었고, 이들은 유한군이 아니라고 추측된다.
• 유한군을 가졌지만 D-유한성 여부가 미확정인 19개의 스텝 세트에 대해 어떤 미분 방정식도 발견되지 않았다.
• 이 19개의 미해결 모델은 2차원 1사분면 보행에서 관찰된 유한군–D-유한성 대응관계를 깨뜨릴 수 있는 유일한 후보이다.
• 알제브라릭 커널 방법과 Hadamard 축소 기법이 다수의 모델를 성공적으로 해결하였고, 두 모델는 완전한 컴퓨터 대수 증명이 필요로 하였다.
• 이 연구는 3차원에서의 경우, 유한군 조건이 D-유한성의 필요조건이지만 충분조건은 아님을 확인하였으며, 19개의 사례는 여전히 분류되지 않은 채로 남아 있다.