[论文解读] Enumeration of Symmetry Classes of Alternating Sign Matrices and Characters of Classical Groups

Soichi Okada|ArXiv.org|Aug 18, 2004

Algebraic structures and combinatorial models参考文献 10被引用 13

一句话总结

本文通过运用高级行列式与 Pfaffian 恒等式，计算 Kuperberg 的行列式与 Pfaffian 公式，最终解决了关于竖直与水平对称交错符号矩阵（VHSASMs）数量的长期未解猜想。研究将各类对称类 ASMs 的分划函数表示为经典群（GL、Sp、O）的不可约特征标，给出了闭式乘积公式，并揭示了 ASMs 计数与李群表示理论之间的深刻联系。

ABSTRACT

An alternating sign matrix is a square matrix with entries 1, 0 and -1 such that the sum of the entries in each row and each column is equal to 1 and the nonzero entries alternate in sign along each row and each column. To some of the symmetry classes of alternating sign matrices and their variations, G. Kuperberg associate square ice models with appropriate boundary conditions, and give determinanat and Pfaffian formulae for the partition functions. In this paper, we utilize several determinant and Pfaffian identities to evaluate Kuperberg's determinants and Pfaffians, and express the round partition functions in terms of irreducible characters of classical groups. In particular, we settle a conjecture on the number of vertically and horizontally symmetric alternating sign matrices (VHSASMs).

研究动机与目标

• 解决关于竖直与水平对称交错符号矩阵（VHSASMs）数量的开放猜想。
• 将 ASMs 对称类的分划函数表示为经典群（GL、Sp、O）不可约特征标的表达式。
• 将 Kuperberg 针对具有对称性的 ASMs 的行列式与 Pfaffian 公式推广为闭式乘积表达式。
• 阐明经典群特征标在 ASMs 计数中出现的结构与表示论原因。

提出的方法

• 利用包含范德蒙德型行列式的行列式与 Pfaffian 恒等式，计算 Kuperberg 的分划函数。
• 应用先前关于经典群矩形表示的工作中的恒等式，简化复杂的行列式与 Pfaffian 表达式。
• 通过单位根（如 ζ₈, ζ₁₂）代入分划函数中的变量，提取 2- 和 3- 计数。
• 应用引理 3.8，将多重变量行列式简化为单变量特征标表达式。
• 使用 Weyl 的维数公式，将特征标表达式转化为闭式乘积公式。
• 运用 Cauchy 行列式恒等式及特殊代换（如 xᵢ → xᵢ², xᵢ → xᵢ² + xᵢ⁻²）以计算对称分划函数。

实验结果

研究问题

• RQ1 对于奇数阶的竖直与水平对称交错符号矩阵（VHSASMs），其确切数量是多少？
• RQ2 为何经典群（GL、Sp、O）的不可约特征标会出现在 ASMs 对称类的计数中？
• RQ3 Kuperberg 针对对称 ASMs 的行列式与 Pfaffian 公式能否被计算为闭式乘积公式？
• RQ4 是否存在表示论上的解释，说明为何群特征标会在 ASMs 计数中出现？
• RQ5 对称 ASMs 的 2- 与 3- 计数的分划函数具有何种结构？

主要发现

• 4n+1 × 4n+1 阶 VHSASMs 的数量为 $3^{-n(n-1)}\dim\mathbf{Sp}_{4n}(\delta(n-1,n-1)) \cdot 2^{-2n}3^{-n^{2}}\dim\widetilde{\mathbf{O}}_{4n}(\delta(n+1/2,n-1/2))$，从而解决了 Mills 猜想。
• 4n × 4n 阶 QTSASMs 的数量为 $\left(3^{-n(n-1)/2}\dim\mathbf{GL}_{2n}(\delta(n-1,n-1))\right)^3 \cdot 3^{-n(n-1)/2}\dim\mathbf{GL}_{2n}(\delta(n,n-1))$，给出一个闭式乘积公式。
• 2n × 2n 阶 HTSASMs 的数量为 $3^{-n(n-1)/2}\dim\mathbf{GL}_{2n}(\delta(n-1,n-1)) \cdot 3^{-n(n-1)/2}\dim\mathbf{GL}_{2n}(\delta(n,n-1))$，确认了一个改进的乘积公式。
• $(2n+1) × (2n+1)$ 阶 VSASMs 的数量为 $3^{-n(n-1)}\dim\mathbf{Sp}_{4n}(\delta(n-1,n-1))$，将 VSASMs 与辛群表示联系起来。
• 2n × 2n 阶 OSASMs 的数量为 $3^{-n(n-1)}\dim\mathbf{Sp}_{4n}(\delta(n-1,n-1))$，表明其与辛特征标的直接关联。
• $(8n+1) × (8n+1)$ 阶 VOSASMs 的数量为 $\left(3^{-n(n-1)}\dim\mathbf{Sp}_{4n}(\delta(n-1,n-1))\right)^2$，将基于特征标的计数方法推广至新的对称类。