[論文レビュー] Another proof of the alternating sign matrix conjecture

Greg Kuperberg|ArXiv.org|Nov 29, 1997

Algebraic structures and combinatorial models参考文献 11被引用数 253

ひとこと要約

本稿では、頂点模型とYang-Baxter方程式を用いて、交代符号行列（ASM）予想の新しい代数的証明を提示する。分割関数 $ Z(n;X,Y) $ の対称性および再帰的関係を確立することで、ASM予想を裏付ける閉形式の行列式公式を導出する。この結果、$ Z(n;X,Y) $ が行列の成分 $ 1/[x_i - y_j][x_i - y_j - 1] $ を含む行列の行列式による有理関数に等しいことが示される。

ABSTRACT

Robbins conjectured, and Zeilberger recently proved, that there are 1!4!7!...(3n-2)!/n!/(n+1)!/.../(2n-1)! alternating sign matrices of order n. We give a new proof of this result using an analysis of the six-vertex state model (also called square ice) based on the Yang-Baxter equation.

研究の動機と目的

• 統計力学および頂点模型技術を用いて、交代符号行列（ASM）予想の代替的で代数的な証明を提供すること。
• 頂点挿入およびYang-Baxter方程式を用いて、分割関数 $ Z(n;X,Y) $ が変数 $ x_i $ および $ y_j $ に関して対称であることを確立すること。
• 変数 $ x_i = y_j + 1 $ のときの $ Z(n;X,Y) $ に対する再帰的関係を導出し、それによって $ Z(n-1;X\setminus x_i, Y\setminus y_j) $ に結びつけること。
• $ q^{n x_0 / 2} Z(n;X,Y) $ が $ q^{x_0} $ に関する次数高々 $ n-1 $ の多項式であることを示し、これにより補間法を用いた関数の完全な特定が可能になること。
• 分割関数 $ Z(n;X,Y) $ の閉形式行列式公式を証明し、ASM予想を裏付けること。

提案手法

• Yang-Baxter方程式を用いて、$ x_i $ と $ x_{i+1} $、および $ y_i $ と $ y_{i+1} $ に関して $ Z(n;X,Y) $ の対称性を証明する。これには、補助的頂点の移動および削除が用いられる。
• 頂点挿入ルールを適用し、状態の一貫性を保ちながら因子 $ [x_i - x_{i+1} - 1] $ を導入することで、対称性の証明を可能にする。
• 補題6で導出される再帰的関係：$ x_i = y_j + 1 $ のとき、$ Z(n;X,Y) $ は $ Z(n-1;X\setminus x_i, Y\setminus y_j) $ に比例し、$ x $ および $ y $ 変数の差に依存する乗法的因子を含む。
• $ q^{n x_0 / 2} Z(n;X,Y) $ が $ q^{x_0} $ に関する次数高々 $ n-1 $ の多項式であることを、最初の行の重みスケーリングを用いて証明する。
• Lagrange補間を用いて、再帰的関係および多項式次数制約から $ Z(n;X,Y) $ を一意に特定する。
• 提案された行列式公式が補題6および補題7を満たすことを検証し、帰納法により主定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 交代符号行列予想は、頂点模型技術およびYang-Baxter方程式を用いて証明可能か？
• RQ2 変数 $ x_i $ および $ y_j $ の対称変換の下で、分割関数 $ Z(n;X,Y) $ はどのように振る舞うか？
• RQ3 $ x_i = y_j + 1 $ のとき、$ Z(n;X,Y) $ を支配する再帰的関係は何か？また、それらはより小さい行列とどのように関係するか？
• RQ4 $ q^{n x_0 / 2} Z(n;X,Y) $ は $ q^{x_0} $ に関する多項式か？その最大次数は何か？
• RQ5 成分が $ 1/[x_i - y_j][x_i - y_j - 1] $ であるとされる行列式 $ ext{det}(M) $ は、必要な関数方程式および初期条件を満たすか？

主な発見

• 分割関数 $ Z(n;X,Y) $ はすべての $ x_i $ および $ y_j $ に関して対称であり、頂点挿入およびYang-Baxter方程式を用いて証明される。
• $ x_i = y_j + 1 $ のとき、$ Z(n;X,Y) $ は再帰的関係 $ Z(n;X,Y) = -q^{-1/2} ig( igotimes_{k eq i} [x_i - y_k] ig) ig( igotimes_{k eq j} [x_k - y_j] ig) Z(n-1;X\setminus x_i, Y\setminus y_j) $ を満たす。
• スケーリングされた関数 $ q^{n x_0 / 2} Z(n;X,Y) $ は、最初の行の重みにおける $ q^{x_0} $ の線形依存性により、$ q^{x_0} $ に関する次数高々 $ n-1 $ の多項式である。
• 完全な分割関数は行列式公式により与えられる：$ Z(n;X,Y) = (-1)^n ig( igotimes_{i=0}^{n-1} q^{(y_i - x_i)/2} ig) \frac{ \bigotimes_{0 \neq i,j < n} [x_i - y_j][x_i - y_j - 1] }{ \bigotimes_{0 \neq i<j < n} [x_i - x_j][y_i - y_j] } \text{det}(M) $、ここで $ M_{i,j} = 1/[x_i - y_j][x_i - y_j - 1] $。
• 行列式公式は再帰的関係（補題6）および多項式次数条件（補題7）を満たし、$ Z(0) = 1 $ であるため、$ Z(n;X,Y) $ を一意に決定する。これによりASM予想が証明される。