摘要 Abstract
对角线对称交替符号矩阵(DSASM)是一种具有 $-1$、$0$ 和 $1$ 入选的对称矩阵,其中每行和每列的非零元素交替变号,且每行和每列的元素和为 $1$。非对角线对称交替符号矩阵(OSASM)是满足上述条件的 DSASM,并且对于偶数阶矩阵其主对角线上的非零元素个数为 $0$,对于奇数阶矩阵其主对角线上的非零元素个数为 $1$。Kuperberg(《数学年刊》,2002 年)研究了偶数阶 OSASMs,并给出了计算任意固定偶数阶 OSASMs 数量的乘积公式。本文给出了任意固定奇数阶 OSASMs 数量的乘积公式,并进一步通过代数方法证明了偶数阶 OSASMs 的对称性质。这解决了 Behrend、Fischer 和 Koutschan(arXiv,2023 年)提出的关于 OSASMs 精确计数的三个猜想。
A diagonally symmetric alternating sign matrix (DSASM) is a symmetric matrix with entries $-1$, $0$ and $1$, where the nonzero entries alternate in sign along each row and column, and the sum of the entries in each row and column equals $1$. An off-diagonally symmetric alternating sign matrix (OSASM) is a DSASM, where the number of nonzero diagonal entries is 0 for even-order matrices and 1 for odd-order matrices. Kuperberg (Ann. Math., 2002) studied even-order OSASMs and derived a product formula for counting the number of OSASMs of any fixed even order. In this work, we provide a product formula for the number of odd-order OSASMs of any fixed order. Additionally, we present an algebraic proof of a symmetry property for even-order OSASMs. This resolves all the three conjectures of Behrend, Fischer, and Koutschan (arXiv, 2023) regarding the exact enumeration of OSASMs.