[论文解读] Auxiliary matrices for the six-vertex model at roots of unity II

Christian Korff|arXiv (Cornell University)|May 16, 2003

Algebraic structures and combinatorial models参考文献 1被引用 9

一句话总结

本文为根位（$q^N = 1$）下的六顶点模型构造了辅助矩阵，证明其本征值为多项式，其根同时编码了贝特根（来自贝特猜想）与完整字符串（来自$\tilde{sl}_2$环对称性）。关键结果是建立了一个将字符串中心与贝特根关联的多项式恒等式，从而可精确确定简并维数，并与分类$\tilde{sl}_2$表示的德林费尔德多项式相联系。

ABSTRACT

The spectra of recently constructed auxiliary matrices for the six-vertex model respectively the spin s=1/2 Heisenberg chain at roots of unity q^N=1 are investigated. Two conjectures are formulated both of which are proven for N=3 and are verified numerically for several examples with N>3. The first conjecture identifies an abelian subset of auxiliary matrices whose eigenvalues are polynomials in the spectral variable. The zeroes of these polynomials are shown to fall into two sets. One consists of the solutions to the Bethe ansatz equations which determine the eigenvalues of the six-vertex transfer matrix. The other set of zeroes contains the complete strings which encode the information on the degeneracies of the model due to the loop symmetry sl_2 present at roots of 1. The second conjecture then states a polynomial identity which relates the complete string centres to the Bethe roots allowing one to determine the dimension of the degenerate eigenspaces. Its proof for N=3 involves the derivation of a new functional equation for the auxiliary matrices and the six-vertex transfer matrix. Moreover, it is demonstrated in several explicit examples that the complete strings coincide with the classical analogue of the Drinfeld polynomial. The latter is used to classify the finite-dimensional irreducible representations of the loop algebra sl_2. This suggests that the constructed auxiliary matrices not only enable one to solve the six-vertex model but also completely characterize the decomposition of its eigenspaces into irreducible representations of the underlying loop symmetry.

研究动机与目标

• 理解在根位下六顶点模型中辅助矩阵的谱结构，此时由于杨-巴克斯代数中算子乘积消失，标准贝特猜想失效。
• 解决因在$q^N = 1$时增强的$\tilde{sl}_2$环对称性导致的本征空间简并问题。
• 建立辅助矩阵本征值零点与贝特猜想方程物理根及完整字符串之间的精确对应关系。
• 证明通过辅助矩阵计算出的完整字符串中心与分类$\tilde{sl}_2$表示的德林费尔德多项式评估参数一致，从而实现对模型中不可约$\tilde{sl}_2$表示的分类。

提出的方法

• 构造满足函数方程$Q_p(z)T(z) = \tilde{\theta}_1(z)^M Q_{p'}(zq^2) + \tilde{\theta}_2(z)^M Q_{p''}(zq^{-2})$的辅助矩阵$Q_p(z)$，其中$T(z)$为六顶点转移矩阵。
• 识别出一个阿贝尔的辅助矩阵子集，其本征值为谱参数$z$的多项式，其根对应于贝特根与完整字符串。
• 推导辅助矩阵与转移矩阵之间的新函数方程，以证明$N=3$时关于字符串中心与贝特根关系的猜想恒等式，并通过数值方法验证$N>3$的情形。
• 通过在$M=5,8$时对自旋分量$S^z = \frac{1}{2}, 0, \frac{3}{2}, 3$的显式对角化，计算字符串中心，并与环代数作用下的评估参数进行比较。
• 将所得字符串中心与从$\tilde{sl}_2$环代数中$x_0^+ x_1^-$作用于最高权态得到的德林费尔德多项式匹配，确认在根位极限下德林费尔德多项式的经典类比。
• 利用恒等式$\mathcal{N}(z^3 - z_S^3) = \sum_{\ell \in \mathbb{Z}_3} \frac{(zq^{2\ell} - 1)^M}{(zq^{2\ell} - z_B)(zq^{2(\ell+2)} - z_B)}$在$\mu \to 1$极限下从贝特根计算字符串中心。

实验结果

研究问题

• RQ1 在$q^N = 1$时，辅助矩阵的本征值如何同时编码六顶点模型中的贝特根与完整字符串？
• RQ2 能否建立一个多项式恒等式，将完整字符串中心与贝特猜想方程的解关联起来？
• RQ3 从辅助矩阵计算出的完整字符串是否与分类$\tilde{sl}_2$表示的德林费尔德多项式评估参数一致？
• RQ4 为辅助矩阵与转移矩阵推导出的新函数方程在证明$N=3$时猜想恒等式中起到什么作用？
• RQ5 在$M=5$与$M=8$链中的显式计算如何证实字符串中心与德林费尔德多项式评估参数之间的对应关系？

主要发现

• 对于$N=3$，通过为辅助矩阵与转移矩阵推导出的新函数方程，严格证明了关于完整字符串中心与贝特根关系的猜想恒等式。
• 证明了辅助矩阵本征值的零点由两组不同的根构成：一组是满足标准贝特猜想方程的贝特根，另一组是编码了$\tilde{sl}_2$环对称性导致的简并信息的完整字符串。
• 在$M=5$与$M=8$的显式例子中，从辅助矩阵计算出的完整字符串中心与从环代数作用于最高权态得到的评估参数$a(k)$完全一致。
• 对于$M=5$，$S^z = \pm 3/2$，德林费尔德多项式为一次式，由环代数作用计算出的评估参数$a(k)$与通过恒等式$a(k) = 10 + 10q^2/z_B - 1/z_B^3$从贝特根导出的字符串中心一致。
• 对于$M=8$，$S^z = 3$，德林费尔德多项式为二次式，由环代数作用计算出的评估参数$a_\pm(k)$的和与积，分别与从辅助矩阵谱导出的表达式$a_+ + a_- = 56 + 28q^2/z_B - 1/z_B^3$和$a_+a_- = 28 + 56q^2/z_B - 56/z_B^3 - 28q^2/z_B^4 + 1/z_B^6$一致。
• 证明了从辅助矩阵本征值计算出的完整字符串与德林费尔德多项式的经典类比完全一致，从而确认辅助矩阵完整刻画了六顶点模型本征空间在不可约$\tilde{sl}_2$表示下的分解。