[论文解读] A new way to deal with Izergin-Korepin determinant at root of unity

Yu. G. Stroganov|ArXiv.org|Apr 22, 2002

Polynomial and algebraic computation参考文献 10被引用 46

一句话总结

本文提出了一种新颖的函数方程方法，用于分析根为单位根时六顶点模型的伊泽尔金-科雷平行列式，特别聚焦于 η = 2π/3 的情形。该方法揭示了在交换所有谱参数 {x} ∪ {y} 时，分划函数的惊人对称性，从而推导出关于精细交替符号矩阵（ASM）计数的新关系，包括顶-底双精细ASM分布的闭式表达式。

ABSTRACT

I consider the partition function of the inhomogeneous 6-vertex model defined on the $n$ by $n$ square lattice. This function depends on 2n spectral parameters $x_i$ and $y_i$ attached to the horizontal and vertical lines respectively. In the case of domain wall boundary conditions it is given by Izergin-Korepin determinant. For $q$ being a root of unity the partition function satisfies to a special linear functional equation. This equation is particularly good when the crossing parameter $η=2π/3$. In this case it can be used for solving some of the problems related to the enumeration of alternating sign matrices. In particular, it is possible to reproduce the refined ASM distribution discovered by Mills, Robbins and Rumsey and proved by Zeilberger. Further, it is well known that the partition function is symmetric in the $\{x\}$ and as well in the $\{y\}$ variables. I have found that in the case of $η=2π/3$, the partition function is symmetric in the union $\{x\} \cup \{y\}$! This nice symmetry is used to find some relations between the numbers of such alternating sign matrices of order $n$ whose two '1' are located in fixed positions on the boundary of the matrices. Finally I derive the equation giving `top-bottom double refined' ASM distribution.

研究动机与目标

• 开发一种新方法，用于分析当交叉参数 η 为单位根时的伊泽尔金-科雷平行列式，特别是针对 η = 2π/3 的情形。
• 利用通过谱参数平移得到的函数方程，揭示六顶点模型在域墙边界条件下分划函数的隐藏对称性。
• 通过该对称性与函数方程，推导出交替符号矩阵（ASMs）的精细及双精细计数的精确组合公式。
• 建立双精细ASM数与精细ASM数之间的非线性递推关系，从而确认并扩展已知的猜想。

提出的方法

• 通过将伊泽尔金-科雷平行列式对谱参数进行 kη 的平移（k = 0,1,2）求和，推导出分划函数的线性函数方程，其中 η = 2π/3。
• 利用三角恒等式 sin(u+π/3)sin(u−π/3)sin(u) = −(1/4)sin(3u) 将函数方程简化为更易处理的形式。
• 引入函数 f(u) = Z(u) × ∏_{i=1}^{2n−1} sin(u − u_i)，将函数方程转化为三角多项式方程。
• 利用在 η = 2π/3 时，分划函数在交换所有 {x} 与 {y} 谱参数下新发现的对称性，建立ASM中位于边界处的1之间的关系。
• 通过构造类似Wronskian的组合 f(u)f′(ũ) − f′(u)f(ũ)，构建双精细生成函数，该函数满足函数方程并编码双精细分布。
• 利用生成函数 A(t)、G(t) 和 H(t)，推导出双精细ASM数 B(n;r,ṙ) 与精细ASM数 A(n;r) 之间的非线性递推关系。

实验结果

研究问题

• RQ1 是否可以使用函数方程方法分析单位根处的伊泽尔金-科雷平行列式，特别是针对 η = 2π/3？
• RQ2 当 η = 2π/3 时，六顶点模型在域墙边界条件下的分划函数是否在交换所有谱参数 {x} ∪ {y} 时表现出隐藏对称性？
• RQ3 该对称性是否可用于推导出关于交替符号矩阵精细及双精细计数的新组合恒等式？
• RQ4 是否能利用函数方程与对称性，推导出顶-底双精细ASM分布的闭式表达式？
• RQ5 双精细ASM数与精细ASM数之间是否存在精确的代数关系？

主要发现

• 当 η = 2π/3 时，六顶点模型在域墙边界条件下的分划函数在交换所有谱参数 {x} ∪ {y} 时具有对称性，这是此前未知的性质。
• 通过谱参数平移 2π/3 得到的函数方程，能够精确推导出精细ASM分布，重现了Mills、Robbins与Rumsey的结果，该结果此前由Zeilberger证明。
• 建立了双精细ASM数 B(n;r,ṙ) 与精细ASM数 A(n;r) 之间的新非线性递推关系，表达式为 B(n;r+1,ṙ+1) − B(n;r,ṙ) = [A(n−1,r)(A(n,ṙ+1)−A(n,ṙ)) + A(n−1,ṙ)(A(n,r+1)−A(n,r))]/A(n,1)。
• 双精细ASM生成函数可表示为有理函数：∑_{r,ṙ} B(n;r,ṙ)t^{n−r}ṫ^{ṙ−1} = const × (H(t)G(ṫ) − H(ṫ)G(t))/(t − ṫ)，其中 G(t) 与 H(t) 由精细ASM生成函数 A(t) 定义。
• 函数方程与对称性方法成功重现了精细ASM猜想，通过代数推导确认了其有效性。
• 该方法为从精细ASM数系统计算双精细ASM数提供了新途径，为ASM计数构建了新的代数框架。