[论文解读] Symmetry Classes of Alternating Sign Matrices

David P. Robbins|ArXiv.org|Aug 5, 2000

Advanced Combinatorial Mathematics参考文献 8被引用 69

一句话总结

本文研究了由正方形的二面体群诱导的8种对称类下交错和矩阵（ASMs）的计数问题。论文为其中六种类别的ASMs提出了猜想的乘积公式，通过包含$Z_n(x,y,\mu)$、$T_n(x,\mu)$和$R_n(x,\mu)$的生成函数，揭示了与循环对称平面分拆之间的深刻联系，给出了第1、2、3、4、6、7类的显式公式，并通过生成函数恒等式暗示了组合等价性。

ABSTRACT

An alternating sign matrix is a square matrix satisfying (i) all entries are equal to 1, -1 or 0; (ii) every row and column has sum 1; (iii) in every row and column the non-zero entries alternate in sign. The 8-element group of symmetries of the square acts in an obvious way on square matrices. For any subgroup of the group of symmetries of the square we may consider the subset of matrices invariant under elements of this subgroup. There are 8 conjugacy classes of these subgroups giving rise to 8 symmetry classes of matrices. R. P. Stanley suggested the study of those alternating sign matrices in each of these symmetry classes. We have found evidence suggesting that for six of the symmetry classes there exist simple product formulas for the number of alternating sign matrices in the class. Moreover the factorizations of certain of their generating functions point to rather startling connections between several of the symmetry classes and cyclically symmetric plane partitions.

研究动机与目标

• 系统研究由正方形的二面体群$D_4$诱导的8种对称类下的交错和矩阵（ASMs）。
• 为每个对称类中ASMs的数量提出闭式乘积公式，特别是针对八个类中的六个类。
• 通过生成函数探索ASMs对称类与循环对称平面分拆之间的联系。
• 提供显式的生成函数$Z_n(x,y,\mu)$、$T_n(x,\mu)$和$R_n(x,\mu)$，以编码组合数据并揭示结构上的类比。

提出的方法

• 通过二面体群$D_4$的子群不变性定义ASMs的对称类，对应于如反射、旋转和对角转置等对称性。
• 使用生成函数$Z_n(x,y,\mu)$、$T_n(x,\mu)$和$R_n(x,\mu)$编码每个对称类中ASMs的数量，其中$\mu$控制边界条件。
• 基于小规模$n$的数值证据，将每个类中ASMs的数量表示为二项式系数的乘积，特别针对第1、2、3、4、6、7类。
• 将生成函数与已知组合对象关联：$Z_n(x,y,0)$对应于$n \times n \times n$盒子中的循环对称平面分拆，$Z_n(x,y,1)$对应于递减平面分拆。
• 分析$Z_n(x,y,\mu)$系数的回文结构，并利用多项式恒等式推测其背后的代数或表示论联系。
• 提出每个对称类的递推关系和连续项之间的比值的猜想，如$A_n$、$F_n$、$H_n$、$Q_n$、$P_n$和$X_n$的序列。

实验结果

研究问题

• RQ1 是否存在关于在正方形8种对称类下不变的交错和矩阵数量的简单乘积公式？
• RQ2 生成函数因式分解所暗示的ASMs对称类与循环对称平面分拆之间存在何种联系？
• RQ3 生成函数$Z_n(x,y,\mu)$、$T_n(x,\mu)$和$R_n(x,\mu)$如何编码每个对称类中ASMs的计数？
• RQ4 能否将对称类的生成函数用已知的组合对象（如平面分拆或舒尔函数）表示？
• RQ5 序列$A_n$、$F_n$、$H_n$、$P_n$和$X_n$中连续项的比值是否如猜想所示，为二项式系数的有理函数？

主要发现

• 完整对称类（第1类）中ASMs的数量由公式$A_{n+1}/A_n = \binom{3n+1}{n}/\binom{2n}{n}$给出，与已知的ASMs计数公式一致。
• 对于垂直对称类（第2类），猜想比值$F_{2n+1}/F_{2n-1} = \binom{6n-2}{2n}/(2\binom{4n-1}{2n})$。
• 对于半圈对称类（第3类），提出比值$H_{2n+1}/H_{2n} = \binom{3n}{n}/\binom{2n}{n}$和$H_{2n}/H_{2n-1} = 4\binom{3n}{n}/(3\binom{2n}{n})$。
• 对角对称类（第4类）满足$Q_{4n} = H_{2n} A_n^2$，并有$Q_{4n+1}$和$Q_{4n-1}$的类似公式，将其与其它对称类的乘积联系起来。
• 对于全对称类（第8类），猜想比值$X_{2n+1}/X_{2n-1} = \binom{3n}{n}/\binom{2n-1}{n}$。
• 生成函数$Z_n(x,y,0)$被证明编码了$n \times n \times n$盒子中的循环对称平面分拆，其系数构成回文序列。