[论文解读] Yang-Baxter equation in spin chains with long range interactions

Denis Bernard, M. Gaudin+2 more|arXiv (Cornell University)|Jan 21, 1993

Algebraic structures and combinatorial models参考文献 2被引用 19

一句话总结

本文证明了具有长程相互作用的 $su(n)$ 自旋链以及自旋广义的 Calogero-Sutherland 模型受满足 Yang-Baxter 方程的转移矩阵控制。作者通过该转移矩阵推导出守恒量，对其进行对角化，并表明 $su(2)$ 自旋链的谱分解为不可约的杨代数表示，且通过量子行列式与基于图式的态分类方法进行表征。

ABSTRACT

We consider the $ su(n) $ spin chains with long range interactions and the spin generalization of the Calogero-Sutherland models. We show that their properties derive from a transfer matrix obeying the Yang-Baxter equation. We obtain the expression of the conserved quantities and we diagonalize them.

研究动机与目标

• 建立具有长程相互作用的 $su(n)$ 自旋链及自旋广义 Calogero-Sutherland 模型的底层杨代数。
• 构造一个满足 Yang-Baxter 方程的转移矩阵，以生成这些模型的守恒量。
• 对守恒量进行对角化，并利用量子行列式与表示论表征谱结构。
• 证明 $su(2)$ 自旋链可分解为不可约的杨代数表示，且态通过“图式”进行分类。

提出的方法

• 定义一个在直线或圆周上具有 $M$ 个粒子的动态模型，每个粒子携带 $p$-维自旋，其哈密顿量具有长程相互作用。
• 引入一个 Lax 对 $(L_{ij}, M_{ij})$，满足 $[H_D, L_{ij}] = \text{迹类关系}$，以保证可积性。
• 构造一个转移矩阵 $T^0(u) = 1 + \frac{\nu}{\nu} \text{Tr}_0 \big[ P_{0i} (u - L)^{-1} \big] $，其满足 Yang-Baxter 方程 $R_{00'}(u-v) T^0(u) T^{0'}(v) = T^{0'}(v) T^0(u) R_{00'}(u-v)$。
• 将 $T^{ab}(u)$ 按 $u$ 的负幂次展开，以提取守恒荷 $T_n^{ab}$，其中在 $1/u$ 展开中 $T_n^{ab} \to \text{杨代数生成元}$。
• 利用 $T(x)$ 的量子行列式对不可约表示进行分类，其中 $\text{Det}_q T(x) = \Delta_N(x+1)/\Delta_N(x)$，而 $\Delta_N(x)$ 是矩阵 $\Theta$ 的特征多项式。
• 将该形式化方法应用于 $\lambda \to \infty$ 极限下的 $su(2)$ 自旋链，表明转移矩阵退化为乘积形式，且谱结构由非相邻的“图式”编码。

实验结果

研究问题

• RQ1 如何在具有长程相互作用的自旋链中实现 Yang-Baxter 方程？
• RQ2 具有长程相互作用的 $su(n)$ 自旋链中守恒量背后的代数结构是什么？
• RQ3 转移矩阵形式化如何实现这些模型中哈密顿量的对角化？
• RQ4 量子行列式在分类自旋链中不可约杨代数表示时起什么作用？
• RQ5 为何 $su(2)$ 自旋链谱中的“图式”源于杨代数表示的分解？

主要发现

• 转移矩阵 $T^0(u)$ 满足 Yang-Baxter 方程，并与动态模型中的哈密顿量 $H_D$ 对易，从而保证了可积性。
• 守恒荷 $T_n^{ab}$ 通过 $T^{ab}(u)$ 在 $1/u$ 中的洛朗展开提取，其中 $1/u^2$ 项系数与已知的杨代数生成元一致。
• 在 $su(2)$ 自旋链极限（$\lambda \to \infty$）下，转移矩阵退化为 $T^0(x) = \prod_{i=1}^N \big(1 + \frac{P_{0i}}{x} \big)$，恢复标准形式。
• 转移矩阵的量子行列式为 $\text{Det}_q T(x) = \Delta_N(x+1)/\Delta_N(x)$，其中 $\Delta_N(x) = \det(x - \Theta)$，而 $\Theta$ 是元素为 $\theta_{ij} = z_i/(z_i - z_j)$ 的矩阵。
• 对于 $su(2)$ 情形，不可约杨代数表示由多项式 $P(x)$ 分类，其根属于 $\Delta_N(x)$ 的根，且剩余根 $b_j$ 必须构成不相交的配对 $b_{2j-1}, b_{2j} = b_{2j-1}+1$。
• 谱结构由“图式”编码——在长度为 $N+1$ 的二进制序列中，由 1 围绕的 $q$ 个连续 0 构成的图式，每个图式对应一个自旋 $\frac{q-1}{2}$ 的表示，整个谱为这些不可约块的张量积。