[论文解读] 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方程证明 $ Z(n;X,Y) $ 在 $ x_i $ 和 $ x_{i+1} $ 上的对称性，以及在 $ y_i $ 和 $ y_{i+1} $ 上的对称性，通过移动和移除辅助顶点实现。
• 应用顶点插入规则，引入因子 $ [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 分划函数 $ Z(n;X,Y) $ 在 $ x_i $ 和 $ y_j $ 变量的对称变换下如何表现？
• RQ3 当 $ x_i = y_j + 1 $ 时，$ Z(n;X,Y) $ 的递推关系是什么？它与更小矩阵有何关联？
• RQ4 $ q^{n x_0 / 2} Z(n;X,Y) $ 是否为 $ q^{x_0} $ 的多项式？其最大次数是多少？
• RQ5 所提出的行列式公式 $ ext{det}(M) $，其元素为 $ 1/[x_i - y_j][x_i - y_j - 1] $，是否满足所需的函数方程和初始条件？

主要发现

• 分划函数 $ 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} $ 的多项式，且次数至多为 $ n-1 $，这是由于第一行权重对 $ q^{x_0} $ 的线性依赖性所致。
• 完整的分划函数由行列式公式给出：$ Z(n;X,Y) = (-1)^n ig( igotimes_{i=0}^{n-1} q^{(y_i - x_i)/2} ig) rac{ igotimes_{0 eq i,j < n} [x_i - y_j][x_i - y_j - 1] }{ igotimes_{0 eq i<j < n} [x_i - x_j][y_i - y_j] } ext{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猜想。