[论文解读] Proof of the Refined Alternating Sign Matrix Conjecture

Doron Zeilberger|ArXiv.org|Jun 3, 1996

graph theory and CDMA systems参考文献 12被引用 83

一句话总结

本文證明了精細化的交錯矩陣（ASM）猜想，建立了 $n \times n$ ASMs 中第一行 1 位於第 $r$ 列的數目之封閉公式。利用 $q$-微積分與正交多項式——特別是定義於 $q$-區間上的 $q$-勒讓德多項式——計算出自 Izergin-Koregin 公式導出的行列式，確認該計數為 $A(n,r) = A(n) \cdot \frac{\binom{n+r-2}{n-1} \binom{2n-1-r}{n-1}}{\binom{3n-2}{n-1}}$，其中 $A(n)$ 為 ASM 的總數。

ABSTRACT

Mills, Robbins, and Rumsey conjectured, and Zeilberger proved, that the number of alternating sign matrices of order $n$ equals $A(n):={{1!4!7! ... (3n-2)!} \over {n!(n+1)! ... (2n-1)!}}$. Mills, Robbins, and Rumsey also made the stronger conjecture that the number of such matrices whose (unique) `1' of the first row is at the $r^{th}$ column, equals $A(n) {{n+r-2} \choose {n-1}}{{2n-1-r} \choose {n-1}}/ {{3n-2} \choose {n-1}}$. Standing on the shoulders of A.G. Izergin, V. E. Korepin, and G. Kuperberg, and using in addition orthogonal polynomials and $q$-calculus, this stronger conjecture is proved.

研究动机与目标

• 證明精細化的交錯矩陣猜想，該猜想確定了第一行 1 位於第 $r$ 列的 $n \times n$ ASMs 數目。
• 將 Kuperberg 基於行列式的方法擴展至精細化情形，使用 $q$-微積分與正交多項式。
• 建立精細化計數的封閉表達式，該表達式推廣了 Mills、Robbins 與 Rumsey 所提出的原始 ASM 計數公式。
• 透過將問題簡化為行列式恆等式並利用 $q$-積分與 $q$-勒讓德多項式評估，驗證所提出的公式。

提出的方法

• 證明使用 Izergin-Koregin 公式將 ASMs 的加權計數表示為行列式 $Z(n; \dots)$，其權重取決於第一行 1 的位置。
• 引入參數 $a$ 以編碼第一行 1 的位置 $r$，從而得到一個捕捉精細計數的 $a$ 的生成函數。
• 將比值 $Z(n; \dots; 2+a)/Z(n; \dots; 2)$ 表示為一個 $q$-積分，涉及定義於區間 $[s,1]$ 上的 $q$-勒讓德多項式，其中 $s = q^{1/3}$。
• 透過 $n$ 次 $q$-分部積分，將行列式比值簡化為多項式的一個 $q$-積分，並利用 $q$-Vandermonde 與 $q$-超幾何恆等式進行評估。
• 在變數縮放後取極限 $q \to 1$，將 $q$-積分化為經典表達式，包含 Pochhammer 符號與類超幾何級數。
• 使用電腦代數系統（EKHAD）驗證所得表達式與所提出的公式相符，方法為檢查二階遞推關係與初始條件。

实验结果

研究问题

• RQ1 第一行 1 位於第 $r$ 列的 $n \times n$ 交錯矩陣的確切數目為何？
• RQ2 能否利用 $q$-微積分技術，從 Izergin-Koregin 行列式公式推導出 ASMs 的精細計數？
• RQ3 所提出的公式 $A(n,r) = A(n) \cdot \frac{\binom{n+r-2}{n-1} \binom{2n-1-r}{n-1}}{\binom{3n-2}{n-1}}$ 對所有 $n$ 與 $r$ 是否成立？
• RQ4 $q$-正交多項式如何用於評估 ASM 計數中出現的行列式？

主要发现

• 第一行 1 位於第 $r$ 列的 $n \times n$ 交錯矩陣的精細計數確為 $A(n,r) = A(n) \cdot \frac{\binom{n+r-2}{n-1} \binom{2n-1-r}{n-1}}{\binom{3n-2}{n-1}}$，其中 $A(n) = \frac{1! \cdot 4! \cdot 7! \cdots (3n-2)!}{n! \cdot (n+1)! \cdots (2n-1)!}$。
• 證明確立了編碼精細權重的行列式 $Z(n; \dots; 2+a)$ 評估為一個 $q$-積分，且在極限 $q \to 1$ 時，產生所提出的 $a$ 的多項式。
• 評估依賴於定義於區間 $[q^{1/3}, 1]$ 上的 $q$-勒讓德多項式，透過 $q$-分部積分計算 $n$ 次多項式的 $q$-積分。
• 最終恆等式經由 EKHAD 套件驗證，確認兩側的關鍵行列式比值恆等式滿足相同的二階線性遞推關係，且在 $n=0$ 與 $n=1$ 時一致。
• 該結果確認了 Richard Stanley 的「Baker’s Dozen」猜想中的第三個猜想，為精細計數問題提供了完整解答。