[论文解读] Anisotropic spin generalization of elliptic Macdonald-Ruijsenaars operators and R-matrix identities

M. Matushko, A. Zotov|arXiv (Cornell University)|Jan 16, 2022

Algebraic structures and combinatorial models被引用 4

一句话总结

本文通过在 $\mathrm{GL}_M$ 的基本表示中使用椭圆Baxter-Belavin $R$-矩阵，引入了椭圆Macdonald-Ruijsenaars算子的各向异性自旋推广。这些矩阵值差分算子的对易性通过源自量子和结合杨-Baxter方程的 $R$-矩阵恒等式得以证明，将标量情形（$M=1$）推广为具有自旋自由度的非交换量子可积系统，并在椭圆Haldane-Shastry模型中具有应用。

ABSTRACT

We propose commuting set of matrix-valued difference operators in terms of the elliptic Baxter-Belavin $R$-matrix in the fundamental representation of ${ m GL}_M$. In the scalar case $M=1$ these operators are the elliptic Macdonald-Ruijsenaars operators, while in the general case they can be viewed as anisotropic versions of the quantum spin Ruijsenaars Hamiltonians. We show that commutativity of the operators for any $M$ is equivalent to a set of $R$-matrix identities. The proof of identities is based on the properties of elliptic $R$-matrix including the quantum and the associative Yang-Baxter equations. As an application of our results, we introduce elliptic generalization of q-deformed Haldane-Shastry model.

研究动机与目标

• 通过 $\mathrm{GL}_M$-值 $R$-矩阵将标量椭圆Macdonald-Ruijsenaars算子推广为矩阵值、各向异性的自旋版本。
• 通过一组 $R$-矩阵恒等式建立这些自旋算子的对易性。
• 通过椭圆Baxter-Belavin $R$-矩阵引入自旋自由度，扩展椭圆量子可积系统的框架。
• 在保留自旋存在下保持可积性的前提下，提供标量Macdonald-Ruijsenaars算子的非交换推广。

提出的方法

• 通过 $\mathrm{GL}_M$ 的基本表示中椭圆Baxter-Belavin $R$-矩阵构造矩阵值差分算子 $\mathcal{D}_k$，推广标量Macdonald-Ruijsenaars算子。
• 在变量子集上定义 $R$-矩阵乘积 $\mathcal{R}_{I,J}$ 和 $\mathcal{R}'_{I,J}$，以编码算子结构和自旋相互作用。
• 通过证明等价于一组 $R$-矩阵恒等式，证明算子 $\mathcal{D}_k$ 的对易性，依赖于量子和结合杨-Baxter方程。
• 利用 $R$-矩阵在晶格周期 $\Omega_{m_1,m_2}$ 下的平移变换性质分析留数并验证恒等式。
• 利用 $R$-矩阵的 $\mathbb{Z}_M$ 对称性，将平移后的 $R$-矩阵留数与 $T^{(a)}_{m_1,m_2}$ 矩阵的扭曲共轭联系起来。
• 利用Kronecker椭圆函数 $\phi(z)$ 及其性质表达算子核并验证函数恒等式。

实验结果

研究问题

• RQ1 如何在非阿贝尔、矩阵值的设定下，将标量椭圆Macdonald-Ruijsenaars算子推广以包含自旋自由度？
• RQ2 为确保任意 $M$ 下所得自旋算子的对易性，需要并足以满足哪些 $R$-矩阵恒等式？
• RQ3 椭圆 $R$-矩阵的量子和结合杨-Baxter方程如何构成广义自旋系统的可积性的基础？
• RQ4 $R$-矩阵的 $\mathbb{Z}_M$ 对称性在 $R$-矩阵恒等式和算子对易性结构中起什么作用？
• RQ5 该框架能否用于构建新可积模型，例如q-变形Haldane-Shastry模型的椭圆推广？

主要发现

• 所提出的自旋算子 $\mathcal{D}_k$ 是作用在 $\mathcal{H} = (\mathbb{C}^M)^{\otimes N}$ 上的矩阵值差分算子，将标量Macdonald-Ruijsenaars算子推广至 $M > 1$ 的情形。
• 对任意 $M$，算子 $\mathcal{D}_k$ 的对易性等价于一组 $R$-矩阵恒等式，这些恒等式通过量子和结合杨-Baxter方程得以证明。
• 对 $R$-矩阵恒等式的证明依赖于 $R$-矩阵乘积的留数分析，关键步骤涉及 $R_{ij}^\hbar(z)$ 在 $\Omega_{m_1,m_2}$ 平移下的变换性质。
• 在 $z_a = z_b + \eta - \Omega_{m_1,m_2}$ 处 $R_{ab}^{-}$ 的留数为 $\exp(2\pi i m_2 \hbar / M) \cdot T^{(a)}_{m_1,m_2} P_{ab} (T^{(a)}_{m_1,m_2})^{-1}$，这是验证恒等式的核心。
• $R$-矩阵恒等式在 $M > 1$ 时是非平凡的，即使量子杨-Baxter方程本身不足以保证矩阵情形下的对易性。
• 作为新框架的直接应用，构建了q-变形Haldane-Shastry模型的椭圆推广。