[논문 리뷰] Towards a human proof of Gessel's conjecture

Arvind Ayyer|arXiv (Cornell University)|2009. 02. 13.

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

한 줄 요약

이 논문은 Gessel의 1사분면 격자보행에 대한 추측을 네 글자(1, 2, ̄1, ̄2)로 구성된 Gessel 단어의 형식적 언어로 재구성하여, Dyck 경로와의 연결을 설정하고 완전한 Gessel 단어의 수를 형식적으로 표현한다. 주요 결과는 이러한 단어의 제한된 클래스에 대해 명시적인 폐쇄형 공식을 도출한 것으로, 이는 Robbins가 추측한 순환 n각형의 제곱면적에 대한 다항식의 차수와 정확히 일치한다. 비록 알려진 이분법적 대응 관계가 없음에도 불구하고, 깊이 있는 설명되지 않은 조합적 연결성을 암시한다.

ABSTRACT

We interpret walks in the first quadrant with steps {(1,1),(1,0),(-1,0), (-1,-1)} as a generalization of Dyck words with two sets of letters. Using this language, we give a formal expression for the number of walks in the steps above beginning and ending at the origin. We give an explicit formula for a restricted class of such words using a correspondance between such words and Dyck paths. This explicit formula is exactly the same as that for the degree of the polynomial satisfied by the square of the area of cyclic n-gons conjectured by Dave Robbins although the connection is a mystery. Finally we remark on another combinatorial problem in which the same formula appears and argue for the existence of a bijection.

연구 동기 및 목표

• 2차원 격자보행의 첫 번째 사분면에서의 Gessel의 추측을 네 글자 알파벳을 사용한 형식적 언어 이론을 통해 재구성한다.
• Dyck 경로 대응을 통해 완전한 Gessel 단어(각각의 글자 i와 그 보조글자 ̄i의 등장 횟수가 동일한 단어)의 수에 대한 형식적 표현을 수립한다.
• 글자 1이 그 보조글자 ̄1보다 먼저 나타나는 제한된 클래스의 완전한 Gessel 단어에 대해 폐쇄형 공식을 유도한다.
• 유도된 공식과 Robbins가 추측한 순환 n각형의 제곱면적에 대한 다항식의 차수 사이의 놀라운 수치적 일치를 탐색한다.
• 정수의 부호가 붙은 합의 다중집합과 하나의 글자 쌍을 가진 완전한 Gessel 단어의 집합 사이에 이분법적 대응 관계가 존재할 것이라 추측한다.

제안 방법

• Gessel 알파벳 {1, 2, ̄1, ̄2}를 사용하고, 각 글자와 그 보조글자에 대해 누적 불균형이 음수가 되지 않도록 보장하는 접두어 조건을 통해 Gessel 단어를 정의한다.
• 각 글자 i가 그 보조글자 ̄i와 같은 횟수만큼 등장하는 단어를 완전한 Gessel 단어로 정의한다.
• 완전한 Gessel 단어와 Gessel 스텝 (1,1), (1,0), (-1,0), (-1,-1)을 사용한 첫 번째 사분면 내의 보행 사이에 형식적 이분법적 대응을 수립한다.
• Dyck 경로 기법을 적용하여, 중첩된 이항계수의 합으로 이루어진 이러한 단어의 수에 대한 형식적 표현을 도출한다.
• 초함수 합산 기법을 사용하여 형식적 표현을 1이 ̄1보다 먼저 나타나는 제한된 클래스에 대해 폐쇄형 공식으로 단순화한다.
• 정수 방정식의 ± 부호 패턴을 나타내는 이진 단어의 다중집합을 분석하고, n₁(w)과 n₁₀(w)를 기반으로 중복도를 할당하며, Gessel 단어 수와 수치적으로 동일한 결과를 관찰한다.

실험 결과

연구 질문

• RQ1 Gessel의 추측(특정 스텝을 사용한 첫 번째 사분면 내의 보행 수에 대한)은 형식적 언어 이론과 Dyck 경로 유사성에 의해 재구성될 수 있는가?
• RQ2 글자 1이 그 보조글자 ̄1보다 먼저 나타나는 완전한 Gessel 단어의 수에 대해 폐쇄형 표현식이 존재하는가?
• RQ3 이러한 제한된 Gessel 단어의 수에 대한 공식이 왜 Robbins가 추측한 순환 n각형의 제곱면적에 대한 다항식의 차수와 정확히 일치하는가?
• RQ4 정수의 부호가 붙은 합의 다중집합과 하나의 글자 쌍을 가진 완전한 Gessel 단어의 집합 사이에 조합적 이분법적 대응 관계가 존재하는가?
• RQ5 이 제한된 클래스에 사용된 방법을 일반화하여 Gessel 원래의 추측에 대한 인간이 읽을 수 있는 증명을 도출할 수 있는가?

주요 결과

• 길이 2n인 1이 ̄1보다 먼저 나타나는 완전한 Gessel 단어의 수는 폐쇄형 공식으로 주어지며, 이는 OEIS의 수열 A000531와 정확히 일치한다. 이는 순환 n각형의 16K²에 대한 다항식의 차수로 추측된 값이다.
• 제한된 클래스의 Gessel 단어에 대한 공식은 Dave Robbins가 순환 n각형의 면적 제곱에 만족하는 다항식의 차수에 대해 추측한 공식과 정확히 일치한다.
• Gessel 수의 수의 삼각형에서 왼쪽 끝과 오른쪽 끝의 항은 카탈란 수와 일치하며, 이는 Dyck 경로 수로 해석됨을 확인한다.
• 정수 방정식의 ± 부호 패턴에 대한 다중집합에, 10 부분문자열의 수와 1의 개수를 기반으로 한 중복도 함수를 할당하면, 그 기수는 하나의 글자 쌍을 가진 완전한 Gessel 단어의 수와 정확히 일치한다.
• n=4인 경우의 부호 합에 대한 표의 대각선 패턴을 분석하면, 고정된 n₁과 홀수 합에 기여하는 단어의 수가 k ≤ n−1인 이항계수 C(2n, k)와 일치함을 확인할 수 있으며, 이는 더 깊은 조합적 구조를 암시한다.
• 비록 수치적 일치가 확인되었지만, 두 조합적 문제 사이에 명시적인 이분법적 대응 관계는 발견되지 않았으며, 이로 인해 연결 관계는 여전히 신비롭고 설명되지 않은 상태이다.