[论文解读] 3-enumerated alternating sign matrices

Yu. G. Stroganov|ArXiv.org|Apr 1, 2003

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

一句话总结

本文推导出生成函数 $ G_n(t) = \sum_{r=1}^n A(n,r;3) t^{r-1} $ 的显式公式，其中 $ A(n,r;3) $ 表示第一行 '1' 位于第 $ r $ 列的 $ n\times n $ 交错和矩阵（ASMs）的 3-枚举权重。通过六顶点模型与域墙边界条件及谱参数，作者建立了偶数阶 ASMs 的二阶递推关系（定理1）以及奇数阶与偶数阶生成函数之间的函数关系（定理2），并将 Kuperberg 的 3-枚举结果作为特例重现。

ABSTRACT

Let $A(n,r;3)$ be the total weight of the alternating sign matrices of order $n$ whose sole `1' of the first row is at the $r^{th}$ column and the weight of an individual matrix is $3^k$ if it has $k$ entries equal to -1. Define the sequence of the generating functions $G_n(t)=\sum_{r=1}^n A(n,r;3)t^{r-1}$. Results of two different kind are obtained. On the one hand I made the explicit expression for the even subsequence $G_{2ν}(t)$ in terms of two linear homogeneous second order recurrence in $ν$ (Theorem 1). On the other hand I brought to light the nice connection between the neighbouring functions $G_{2ν+1}(t)$ and $G_{2ν}(t)$ (Theorem 2). The 3-enumeration $A(n;3) \equiv G_n(1)$ which was found by Kuperberg is reproduced as well.

研究动机与目标

• 推导出按第一行 '1' 的位置计数 3-枚举 ASMs 的生成函数 $ G_n(t) $ 的显式表达式。
• 建立偶数阶 ASMs 的归一化生成函数 $ \tilde{G}_{2\nu+2}(t) $ 的二阶递推关系。
• 揭示 $ \tilde{G}_{2\nu+1}(t) $ 与 $ \tilde{G}_{2\nu}(t) $ 之间的函数关系，建立奇数阶与偶数阶生成函数的联系。
• 通过所推导结构的一致性检验，重现 Kuperberg 的 3-枚举公式 $ A(n;3) = G_n(1) $。

提出的方法

• 该方法采用具有域墙边界条件及特定谱参数的非齐次六顶点模型：$ x_1 = u $，$ x_i = \pi/2 $（$ i \geq 2 $），$ y_i = 0 $。
• 3-枚举对应于玻尔兹曼权重 $ a(u) = 2\sin(u + \pi/3) $，$ b(u) = 2\sin(u - \pi/3) $，$ c(u) = \sqrt{3} $，从而得到三角函数型分划函数 $ Z(u) $。
• 函数 $ f(u) = Z(u) \sin^n u \cos^{n-1} u $ 满足函数方程 $ f(u) + f(u + 2\pi/3) + f(u + 4\pi/3) = 0 $，该方程对 $ Z(u) $ 的形式构成约束。
• 当 $ n = 2\nu+2 $ 为偶数时，解通过两组多项式序列 $ g^{(j)}_\nu(t) $ 表示，其满足具有变系数的二阶线性递推关系。
• 当 $ n = 2\nu+1 $ 为奇数时，生成函数通过 $ \tilde{G}_{2\nu+1}(t) = \tilde{G}_{2\nu}(t) \cdot \frac{2(1+2t)(2+t)}{9(t+1)} $ 与偶数情形关联，该关系由对称性与函数约束导出。
• 通过归一化及在特殊点 $ u = \pi/3 $ 和 $ u = \pi/2 $ 处求值，得到 $ A(n;3) $ 的闭式表达，与已知结果一致。

实验结果

研究问题

• RQ1 参数化为第一行 '1' 所在列位置的 3-枚举 ASMs 的生成函数 $ G_n(t) $ 的显式结构是什么？
• RQ2 在 3-枚举权重下，偶数阶与奇数阶 ASMs 的生成函数之间存在何种关系？
• RQ3 能否从六顶点模型分划函数的函数方程中一致地导出 3-枚举公式 $ A(n;3) $ ？
• RQ4 支配偶数阶生成函数 $ G_{2\nu+2}(t) $ 的多项式受何种递推关系控制？
• RQ5 谱参数 $ u $ 的特殊取值如何与已知的 $ A(n;3) $ 枚举公式相联系？

主要发现

• 偶数阶 ASMs 的归一化生成函数为 $ \tilde{G}_{2\nu+2}(t) = \frac{(2\nu+1)!}{(3\nu+2)!} \cdot \frac{(3\nu+2)g^{(1)}_\nu(t) - (3\nu+1)g^{(2)}_\nu(t)}{t+1} $，其中 $ g^{(j)}_\nu(t) $ 满足二阶递推关系。
• 多项式 $ g^{(j)}_\nu(t) $ 由如下递推关系定义：$$ 3(1-t^2)^2 g^{(j)}_{\nu+1} - (2\nu+1)(1+4t+t^2)[3(1+t+t^2)^2 - (1+4t+t^2)^2] g^{(j)}_\nu - (9\nu^2 - j^2)t^2(1+2t)^2(2+t)^2 g^{(j)}_{\nu-1} = 0 $$，并具有显式初值条件。
• 当 $ n = 2\nu+1 $ 为奇数时，生成函数满足 $ \tilde{G}_{2\nu+1}(t) = \tilde{G}_{2\nu}(t) \cdot \frac{2(1+2t)(2+t)}{9(t+1)} $，建立了奇数与偶数情形之间的直接联系。
• 在 $ u = \pi/2 $ 处求值，该方法重现了 $ A(2\nu+2;3) = \left(\frac{16}{3}\right)^\nu \frac{4c_\nu (3\nu+2)!}{\sqrt{3} \, \nu! \, (2\nu+1)!} $，与 Kuperberg 公式一致。
• 在 $ u = \pi/3 $ 处，归一化得到 $ A(2\nu+1;3) = \left(\frac{4}{3}\right)^{2\nu+1} \frac{c_\nu \sqrt{3} (2\nu+1)!}{(\nu!)^2} $，与递推结构一致。
• 通过三角多项式恒等式与函数方程构建完整解，证实了生成函数框架与已知枚举结果的一致性。