[論文レビュー] Proof of the Refined Alternating Sign Matrix Conjecture

Doron Zeilberger|ArXiv.org|Jun 3, 1996

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

ひとこと要約

この論文は、洗練された交代符号行列（ASM）予想を証明し、最初の行に1が列$r$にある$n \times n$のASMの数に対する閉形式の公式を確立する。$q$-微積分と直交多項式（特に$q$-区間上の$q$-レジェンドル多項式）を用いて、イゼルギン＝コレイピンの公式から導かれる行列式を評価し、その数が$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$のASMの数を特定する洗練された交代符号行列予想を証明すること。
• KuperbergのASMの数え上げに用いられる行列式に基づく手法を、$q$-微積分と直交多項式を用いて洗練された場合に拡張すること。
• ミルズ、ロビンズ、ラムジーの元々のASM数え上げ公式を一般化する、洗練された数え上げの閉形式表現を確立すること。
• 問題を行列式の恒等式に還元し、$q$-積分と$q$-レジェンドル多項式を用いて評価することで、予想された公式を検証すること。

提案手法

• 証明は、最初の行の1の位置に依存する重みを含む、ASMの重み付き数え上げを行列式$Z(n; \dots)$としてイゼルギン＝コレイピンの公式を用いて表現する。
• 位置$r$を符号化するためにパラメータ$a$を導入し、洗練された数え上げを捉える$a$に関する母関数を得る。
• 行列式の比$Z(n; \dots; 2+a)/Z(n; \dots; 2)$を、$s = q^{1/3}$とおく$q$-区間$[s,1]$上での$q$-レジェンドル多項式を含む$q$-積分として表現する。
• 行列式の比を$n$回の$q$-積分による部分積分を用いて簡約し、多項式の$q$-積分に帰着させる。この積分は$q$-バーディーおよび$q$-超幾何恒等式を用いて評価される。
• 変数をスケーリングした後、$q \to 1$の極限をとることで、ポッヒハマー記号と超幾何級数に類似した古典的表現に変換する。
• コンピュータ代数システム（EKHAD）を用いて、得られた式が予想された公式と一致することを確認する。具体的には、2階の線形再帰と初期条件を満たすかを検証する。

実験結果

リサーチクエスチョン

• RQ1 最初の行に1が列$r$にある$n \times n$の交代符号行列の正確な数は何か？
• RQ2 イゼルギン＝コレイピンの行列式公式を用いて、$q$-微積分の技法を用いて洗練されたASMの数え上げを導出できるか？
• 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$-レジェンドル多項式に依存しており、$n$次多項式の$q$-積分は$q$-積分による部分積分を用いて計算された。
• 最終的な恒等式はEKHADパッケージを用いて検証され、主要な行列式比の恒等式の両辺が同じ2階線形再帰を満たし、$n=0$および$n=1$で一致することが確認された。
• この結果により、リチャード・スターリングの「ベーカーズ・ドーズン」の3番目の予想が確認され、洗練された数え上げ問題に対する完全な解決が得られた。