[论文解读] Towards a human proof of Gessel's conjecture

Arvind Ayyer|arXiv (Cornell University)|Feb 13, 2009

Advanced Combinatorial Mathematics参考文献 6被引用 4

一句话总结

本文通過使用四個字母（1, 2, ̄1, ̄2）的 Gessel 字符串形式語言，重新表述了 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.

研究动机与目标

• 使用四字母字母表的形式語言理論，重新表述 Gessel 對第一象限中二維格點路徑的猜想。
• 透過 Dyck 路徑對應關係，建立完整 Gessel 字符串（每對 i 與 ̄i 出現次數相同）數量的形式表達。
• 推導出一類受限完整 Gessel 字符串（其中字母 1 出現在其對應補數 ̄1 之前）的封閉形式公式。
• 探討所推導公式與 Robbins 對循環 n 邊形面積平方多項式次數之間驚人的數值巧合。
• 假設存在一個從整數方程的符號模式多重集到僅含一對字母的完整 Gessel 字符串集合的雙射。

提出的方法

• 使用包含字母 {1, 2, ̄1, ̄2} 的 Gessel 字母表，並透過前綴條件定義 Gessel 字符串，以確保每種字母及其補數的累積不平衡始終非負。
• 定義完整 Gessel 字符串為每種字母 i 出現次數與其補數 ̄i 相同的字串。
• 建立完整 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₁ 和奇數和，貢獻字串的數量對應於二項係數 C(2n, k)（其中 k ≤ n−1），暗示存在更深層的組合結構。
• 儘管兩者數值匹配，但尚未找到兩類組合問題之間的顯式雙射，使得此聯繫仍顯神秘且未得解釋。