[論文レビュー] Truncation of functional relations in the XXZ model

A. A. Belavin, S. Yu. Gubanov+1 more|ArXiv.org|Aug 1, 2000

Advanced Research in Systems and Signal Processing被引用数 4

ひとこと要約

本稿では、境界が開放的で、根の単位（$q^{p+1} = -1$）におけるXXZスピン鎖において、スピン $j = p/2$ のスクライニンの転送行列が、量子群還元 $ ext{Ker}ackslash X/ ext{Im}ackslash X^p$ のもとで消えることを確立する。消えることは代数的に $ ext{ad}_X$-定理を用いて証明され、$t_{p/2}(u) = \sum_{n=0}^p X^{p-n} G_{p/2}(u) X^n$ が得られ、関数的融合関係の截断を示し、$LM(p,p+1)$ 最小模型における正確な固有値計算を可能にする。

ABSTRACT

This is the abstract of the revised paper. The integrable XXZ model with a special open boundary condition is considered. We study Sklyanin transfer matrices after quantum group reduction in roots of unity. In this case Sklyanin transfer matrices satisfy a closed system of truncated functional equations. The algebraic reason for the truncation is found.The important role in proving of the result is performed by Zamolodchikov algebra introduced in the paper.

研究の動機と目的

• 量子群還元下で根の単位における可解XXZモデルにおける関数的融合関係の截断を、直接的な代数的証明を与えること。
• $q^{p+1} = -1$ のとき、$V_p = \text{Ker}\,X/\text{Im}\,X^p$ の還元空間において、スクライニンの転送行列 $t_{p/2}(u)$ が消えることを確立すること。
• $\text{ad}_X$-定理を証明することで、転送行列のための閉じた関数方程式系を導出し、間接的な $T$-$Q$ 方程式法に代わるものとする。
• ザモロドチコフ代数を導入し、それを用いて $L$-演算子と転送行列を新しい変数で再表現することで、代数的証明を可能にする。

提案手法

• Yang–Baxter方程式とモノドロミー行列構成を用いて、$L$-および $\bar{L}$-行列を用いてスクライニンの転送行列 $t_{p/2}(u)$ を導出する。
• 仮想演算子 $\psi$, $\bar{\psi}$ を通じてザモロドチコフ代数を導入し、$U_q(\hat{sl}(2))$ 生成子との交換関係を確立する。
• 転送行列 $t_{p/2}(u)$ を $t_{p/2}(u) = (\text{ad}_X)^p(G_{p/2}(u))$ として表現する。ここで $G_{p/2}(u)$ は仮想変数における合成演算子である。
• $\text{ad}_X$-定理：$t_{p/2}(u) = \sum_{n=0}^p X^{p-n} G_{p/2}(u) X^n$ を、随伴作用 $\text{ad}_X$ の性質と $q^{p+1} = -1$ の条件を用いて証明する。
• 結果を元の $L$-および $\bar{L}$-行列の言語に再表現し、ザモロドチコフ代数の結合性により、$\text{Ker}\,X/\text{Im}\,X^p$ のもとでの $t_{p/2}(u)$ の消えることを確認する。
• $q^{\pm(p+1)n} = (-1)^n$ および $C_p^n = 1$ を用いて、$\text{ad}_X$-作用を簡略化し、$t_{p/2}(u)$ の構造を確認する。

実験結果

リサーチクエスチョン

• RQ1 $q^{p+1} = -1$ のとき、還元量子空間 $V_p$ においてスクライニンの転送行列 $t_{p/2}(u)$ は消えるか？
• RQ2 根の単位におけるXXZモデルの関数的融合関係の截断を裏付ける代数的メカニズムは何か？
• RQ3 $T$-$Q$ 方程式に依存せず、演算子代数を用いて $t_{p/2}(u)$ の消えることを直接証明できるか？
• RQ4 ザモロドチコフ代数は、還元空間における転送行列の再表現と簡略化をどのように促進するか？
• RQ5 量子群還元下で、随伴作用 $\text{ad}_X$ の観点から、転送行列の正確な形は何か？

主な発見

• $q^{p+1} = -1$ のとき、還元空間 $V_p = \text{Ker}\,X/\text{Im}\,X^p$ においてスクライニンの転送行列 $t_{p/2}(u)$ は消える。$t_{p/2}(u) = \sum_{n=0}^p X^{p-n} G_{p/2}(u) X^n$ が成り立つ。
• $t_{p/2}(u)$ の消えることにより、関数的融合関係は閉じた系に截断され、$LM(p,p+1)$ 最小模型における正確な固有値計算が可能になる。
• 主たる結果は $\text{ad}_X$-定理：$t_{p/2}(u) = (\text{ad}_X)^p(G_{p/2}(u))$ であり、これはザモロドチコフ代数と $q^{p+1} = -1$ の条件を用いて証明された。
• $q^{p+1} = -1$ の下で、二項係数 $C_p^n$ は 1 に簡略化され、$\text{ad}_X$-作用の簡略化と $t_{p/2}(u)$ の構造の確認を可能にする。
• 結合性により、仮想演算子 $\psi$, $\bar{\psi}$ を用いた中間的手続きが一貫性を持つため、証明は有効である。
• 転送行列は $t_{p/2}(u) = (-1)^p \omega^{-1} \lambda^{2(p/2+1)} q^{p(p+1)/2} (\text{ad}_X)^p(\psi_{p/2}^1 \bar{\psi}_{p/2}^{p+1})$ として表現され、その演算子形式が確認される。