[论文解读] The dilute Temperley-Lieb O($n=1$) loop model on a semi infinite strip: the sum rule

Alexander Garbali, Bernard Nienhuis|arXiv (Cornell University)|Nov 26, 2014

Algebraic structures and combinatorial models参考文献 24被引用 4

一句话总结

本文推导了在开放边界条件下，半无限条带上的稀释Temperley-Lieb O(n=1)环模型基态本征矢量归一化（求和规则）$ Z_L $ 的行列式表达式。通过两个独立的递推关系——分别源于R-矩阵的因式分解——作者构建了$ Z_L $的两种不同行列式公式：一种基于初等对称多项式，另一种基于新的对称函数基$ \lambda_i $，从而对偶数和奇数$ L $均给出统一的表达式。关键结果是分区函数的闭式行列式表示，该结果还与$ U_q(A_2^{(2)}) $自旋链的Baxter $ Q $-函数相关联。

ABSTRACT

This is the second part of our study of the ground state eigenvector of the transfer matrix of the dilute Temperley-Lieb loop model with the loop weight $n=1$ on a semi infinite strip of width $L$. We focus here on the computation of the normalization (otherwise called the sum rule) $Z_L$ of the ground state eigenvector, which is also the partition function of the critical site percolation model. The normalization $Z_L$ is a symmetric polynomial in the inhomogeneities of the lattice $z_1,..,z_L$. This polynomial satisfies several recurrence relations which we solve independently in terms of Jacobi-Trudi like determinants. Thus we provide a few determinantal expressions for the normalization $Z_L$.

研究动机与目标

• 计算稀释Temperley-Lieb O(n=1)环模型在半无限条带与开放边界条件下，转移矩阵基态本征矢量的归一化$ Z_L $（即求和规则）。
• 利用R-矩阵因式分解导出的递推关系，推导$ Z_L $的显式行列式表达式，其中$ Z_L $亦为临界位点渗流的分区函数。
• 建立$ Z_L $与$ U_q(A_2^{(2)}) $可积自旋链的Baxter $ Q $-函数之间的联系，从而将环模型与顶点模型联系起来。
• 提供$ Z_L $的两种独立行列式表示：一种基于初等对称多项式，另一种基于新对称基$ \lambda_i $，确保对偶数与奇数系统尺寸均具统一性。

提出的方法

• 推导$ Z_L $的两个递推关系：一个来自R-矩阵因式分解，得到$ Z_L(z_1,\dots,z_{L-1}\omega,z_L=z_{L-1}/\omega) = F \cdot Z_{L-1} $；另一个来自另一因式分解，得到$ Z_L(z_1,\dots,z_{L-1},z_L=-z_{L-1}) = P \cdot Z_{L-2} $。
• 利用周期边界情况的已知解——以初等对称多项式行列式表示（阶梯形的斜化施瓦尔兹函数）——通过基于对称性的变换，构造开放边界情况的行列式解。
• 应用行与列的变换，将行列式表达式中的矩阵转化为揭示分块对角结构的形式，从而实现对开放边界求和规则的约化。
• 引入新的对称多项式基$ \lambda_i $，定义为$ \lambda_i = \sum_{k=i}^{L-1} (-1)^k \nu_{L-k} $，以获得对$ Z_L $的统一且简化的行列式公式。
• 通过系统化的行-列运算与对称性分析，证明行列式恒等式(96)–(97)与(100)–(101)，确保其对偶数与奇数$ L $均成立。
• 通过线性变换，确认基于$ q $-KZ的基态计算与Izergin-Korepin模型的$ Q $-函数之间的一致性，验证了对小$ L \leq 5 $的行列式表达式正确性。

实验结果

研究问题

• RQ1 如何以闭式表达开放边界dTL O(n=1)环模型中基态本征矢量的归一化$ Z_L $？
• RQ2 由控制$ Z_L $的两个不同递推关系所导出的行列式表达式是什么？它们与已知对称函数恒等式有何关联？
• RQ3 是否存在一种对称函数基，可为偶数与奇数$ L $提供统一的$ Z_L $行列式公式？
• RQ4 能否通过利用对称性与关联矩阵的分块对角化，从周期边界解推导出开放边界求和规则？
• RQ5 如何建立$ Z_L $与$ U_q(A_2^{(2)}) $自旋链的Baxter $ Q $-函数之间的联系？该联系如何将环模型与可积顶点模型联系起来？

主要发现

• 归一化$ Z_L $是异质参数$ z_1, \dots, z_L $的对称多项式，并满足由R-矩阵因式分解导出的两个独立递推关系。
• 推导出$ Z_L $的两种不同行列式表达式：一种基于初等对称多项式，另一种基于新基$ \lambda_i $，后者对偶数与奇数$ L $均提供统一公式。
• 当$ L = 2m+1 $时，$ Z_L = \det_{1\leq i,j\leq m}(\lambda_{3i-j} - \lambda_{3i+j}) $；当$ L = 2m $时，$ Z_L = \det_{1\leq i,j\leq m-1}(\lambda_{3i-j} - \lambda_{3i+j}) $，提供简洁统一的表达式。
• 递推关系$ Z_L(z_1,\dots,z_{L-1}\omega,z_L=z_{L-1}/\omega) = F \cdot Z_{L-1} $通过周期情况的解求解，从而借助对称性与矩阵变换推导出开放边界求和规则。
• 在周期情况下，多项式$ P^p $被识别为$ U_q(A_2^{(2)}) $自旋链的Baxter $ Q $-函数，从而将环模型与Izergin-Korepin顶点模型联系起来。
• 对$ L \leq 5 $，基于行列式的$ Z_L $与基于$ q $-KZ的基态计算完全一致，验证了方法间的一致性。