[論文レビュー] 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)$ を六頂点模型の転送行列として、関数方程式 $Q_p(z)T(z) = \tilde{\theta}_1(z)^M Q_{p'}(zq^2) + \tilde{\theta}_2(z)^M Q_{p''}(zq^{-2})$ を満たすようにする。
• 固有値がスペクトルパラメータ $z$ に関する多項式であり、その零点がバーティ根と完全ストリングに対応する、補助行列のアーベル的集合を特定する。
• 補助行列と転送行列に対して新しい関数方程式を導出し、$N=3$ におけるストリング中心とバーティ根を結ぶ予想された多項式恒等式を証明する。$N>3$ については数値的に検証する。
• $M=5,8$ におけるスピンセクター $S^z = \frac{1}{2}, 0, \frac{3}{2}, 3$ における補助行列の明示的対角化を用いてストリング中心を計算し、ループ代数作用からの評価パラメータと比較する。
• 得られたストリング中心を、最高重み状態への $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 根の単位における補助行列の固有値は、六頂点模型においてバーティ根と完全ストリングの両方をどのように符号化するか？
• RQ2 完全ストリングの中心とバーティアンザッツ方程式の解とを結ぶ多項式恒等式を確立できるか？
• RQ3 補助行列から計算された完全ストリングは、$\tilde{sl}_2$ 表現を分類するドリンフェルト多項式の評価パラメータと一致するか？
• RQ4 補助行列と転送行列に対して新たに導出された関数方程式が、$N=3$ における予想された恒等式の証明に果たす役割は何か？
• RQ5 $M=5$ および $M=8$ の明示的計算により、ストリング中心とドリンフェルト多項式の評価パラメータの間の対応関係はどのように確認されるか？

主な発見

• $N=3$ では、補助行列と転送行列の新しい関数方程式を用いて、完全ストリング中心とバーティ根を結ぶ予想された多項式恒等式を厳密に証明した。
• 補助行列固有値の零点が、標準的なバーティアンザッツ方程式を満たすバーティ根と、$\tilde{sl}_2$ ループ対称性に由来するデジェネラシー情報を符号化する完全ストリングの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$ 表現への分解を完全に特徴づけていることを確認した。