[论文解读] The domain wall partition function for the Izergin-Korepin 19-vertex model at a root of unity

Alexander Garbali|arXiv (Cornell University)|Nov 11, 2014

Algebraic structures and combinatorial models参考文献 18被引用 3

一句话总结

本论文推导了在根次单位 $ q = e^{i\theta/3} $（其中 $ \theta = \pi $）时，Izergin-Korepin 19-vertex 模型的域墙部分函数（DWPF）的行列式公式。利用来自 R-矩阵权重消失性质的递推关系，作者将 DWPF 解释为由比例因子 $ P_N $ 生成的对称多项式构成的 Jacobi-Trudi 型行列式，从而在 $ q = e^{i\pi/3} $ 时得到一个闭式表达式。

ABSTRACT

We study the domain wall partition function $Z_N$ for the $U_q(A_2^{(2)})$ (Izergin-Korepin) integrable $19$-vertex model on a square lattice of size $N$. $Z_N$ is a symmetric function of two sets of parameters: horizontal $ζ_1,..,ζ_N$ and vertical $z_1,..,z_N$ rapidities. For generic values of the parameter $q$ we derive the recurrence relation for the domain wall partition function relating $Z_{N+1}$ to $P_N Z_N$, where $P_N$ is the proportionality factor in the recurrence, which is a polynomial symmetric in two sets of variables $ζ_1,..,ζ_N$ and $z_1,..,z_N$. After setting $q^3=-1$ the recurrence relation simplifies and we solve it in terms of a Jacobi-Trudi-like determinant of polynomials generated by $P_N$.

研究动机与目标

• 计算 $ U_q(A_2^{(2)}) $-不变的 19-vertex 模型在 $ N \times N $ 网格上、具有域墙边界条件的域墙部分函数（DWPF）。
• 将已知的 Izergin-Korepin 六顶点模型行列式解扩展至更复杂的 19-vertex 模型。
• 确定当形变参数 $ q $ 为单位根（特别是 $ q = e^{i\pi/3} $）时，DWPF 是否存在紧凑的行列式表达式。
• 探索 DWPF 与对称函数（特别是 Schur 多项式和 Hall-Littlewood 多项式）之间的联系，及其在可积系统中的作用。

提出的方法

• 通过利用 19-vertex 模型中 R-矩阵权重的消失性质，推导 DWPF $ Z_N $ 的递推关系。
• 识别比例因子 $ P_N $，即横纵方向快速度变量 $ \zeta_i $ 和 $ z_j $ 的对称多项式，其控制递推关系 $ Z_{N+1} \propto P_N Z_N $。
• 设定 $ q = e^{i\pi/3} $，该设定简化了递推关系，使得 DWPF 可表示为多项式类 Jacobi-Trudi 行列式。
• 将解构造为一个矩阵的行列式，其元素为初等对称多项式 $ E_l(z_1,\dots,z_N) $ 与 $ E_m(\zeta_1,\dots,\zeta_N) $ 的乘积之和，系数包含 $ q $ 的幂次。
• 使用 Cauchy-Binet 公式将行列式重写为便于分析为 KP tau-函数的形式。
• 通过代数 Bethe ansatz 技术验证解，并将其结构与环模型和 $ n=1 $ 时的稀疏 Temperley-Lieb 代数中的已知结果关联。

实验结果

研究问题

• RQ1 能否为 Izergin-Korepin 19-vertex 模型在 $ q = e^{i\pi/3} $ 时的域墙部分函数推导出闭式行列式表达式？
• RQ2 在单位根处，$ Z_N $ 的递推关系如何简化？该极限下会涌现出何种代数结构？
• RQ3 所得的 DWPF 表达式是否与可积系统中已知的对称函数恒等式或 tau-函数相关？
• RQ4 19-vertex 模型的 DWPF 与 $ n=1 $ 时的稀疏 Temperley-Lieb 环模型之间存在何种联系，特别是在 $ q = e^{i\pi/3} $ 时？
• RQ5 DWPF 能否推广到其他边界条件（如反射边界）？是否会出现类似的行列式形式？

主要发现

• 在 $ q = e^{i\pi/3} $ 时，域墙部分函数 $ Z_N $ 表示为如下行列式：$ \bar{Z}_N = \det_{1\leq i,j\leq N-1} \left( \sum_{l=0}^{N} \left( q^{-(3j-i)+2l+1} + q^{3j-i-2l-1} \right) E_l(z_1,\dots,z_N) E_{3j-i-l}(\zeta_1,\dots,\zeta_N) \right) $。
• 对于一般 $ q $，递推关系 $ Z_{N+1} \propto P_N Z_N $ 成立，其中 $ P_N $ 是快速度变量的对称多项式。
• 在 $ q = e^{i\pi/3} $ 时的解在结构上类似于 Lascoux 行列式，可使用 Cauchy-Binet 公式重写。
• 所得行列式猜想为 KP tau-函数，扩展了六顶点模型 DWPF 与可积层级之间已知的联系。
• 在 $ q = e^{i\pi/3} $ 时的 DWPF 对应于稀疏 Temperley-Lieb 环模型的 $ n=1 $ 情况，将其与临界渗透模型及其他统计模型联系起来。
• 对于一般 $ q $，未发现紧凑的闭式表达，但递推关系为后续在对称多项式（如 Hall-Littlewood 函数）中的展开提供了框架。