[논문 리뷰] XXZ Bethe states as highest weight vectors of the $sl_2$ loop algebra at roots of unity

Tetsuo Deguchi|arXiv (Cornell University)|2002. 12. 10.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 루트 오브 유니티에서 정규 XXZ 베테 상태가 $sl_2$ 루프 대수의 최고 가시수임을 증명한다. 이는 모든 $k \in \mathbb{Z}$ 에 대해 양근 생성자 $\bar{x}_k^+$ 에 의해 영이 되며, $N=2$ 일 때는 카르탕 생성자 $\bar{h}_k$ 의 고유벡터이기도 하다. 이 작업은 스펙트럼의 degeneracy 가 클래식 드린펠트 다항식과 연결된다는 추측을 뒷받침하며, $L,R$ 가 $N$ 으로 나누어떨어질 경우 차원이 $2^{(L-2R)/N}$ 임을 보여준다. 이는 루트 오브 유니티에서의 스펙트럼 degeneracy 뒤에 깔린 깊이 있는 대수적 구조를 확립한다.

ABSTRACT

We prove some part of the conjecture that regular Bethe ansatz eigenvectors of the XXZ spin chain at roots of unity are highest weight vectors of the $sl_2$ loop algebra. Here $q$ is related to the XXZ anisotropic coupling $Δ$ by $Δ=(q+q^{-1})/2$, and it is given by a root of unity, $q^{2N}=1$, for a positive integer $N$. We show that regular XXZ Bethe states are annihilated by the generators ${\bar x}_k^{+}$'s, for any $N$. We discuss, for some particular cases of N=2, that regular XXZ Bethe states are eigenvectors of the generators of the Cartan subalgebra, ${\bar h}_k$'s. Here the loop algebra $U(L(sl_2))$ is generated by ${\bar x}_k^{\pm}$ and ${\bar h}_k$ for $k \in {\bf Z}$, which are the classical analogues of the Drinfeld generators of the quantum loop algebra $U_q(L(sl_2))$. A representation of $U(L(sl_2))$ is called highest weight if it is generated by a vector $Ω$ which is annihilated by the generators ${\bar x}_k^{+}$'s and such that $Ω$ is an eigenvector of the ${\bar h}_k$'s. We also discuss the classical analogue of the Drinfeld polynomial which characterizes the irreducible finite-dimensional highest weight representation of $U(L(sl_2))$.

연구 동기 및 목표

• 루트 오브 유니티에서 정규 XXZ 베테 앙사티스 eigenvector 와 $sl_2$ 루프 대수의 최고 가시수 표현 사이의 연결 고리를 확립하는 것.
• 정규 베테 상태가 $sl_2$ 루프 대수의 양근 생성자 $\bar{x}_k^+$ 에 의해 영이 되는가에 대한 추측을 검증하는 것.
• $N=2$ 일 때 정규 베테 상태가 카르탕 생성자 $\bar{h}_k$ 의 고유벡터인지 조사하여 최고 가시수 구조를 확인하는 것.
• 클래식 드린펠트 다항식의 유사체를 계산하고, 그 차수를 기약 표현의 차원과 연결하는 것.

제안 방법

• 유한한 빠르기로 정규 베테 상태를 구성하기 위해 대수적 베테 앙사티스를 사용한다.
• 생성자 $\bar{x}_k^\pm$ 와 $\bar{h}_k$ ($k \in \mathbb{Z}$) 로 정의된 $sl_2$ 루프 대수의 클래식 드린펠트 표현을 적용한다.
• 공식 $[\bar{h}_1, \bar{x}_k^+] = 2\bar{x}_{k+1}^+$ 의 반복적 적용을 통해 모든 $k$ 에 대해 $\bar{x}_k^+ |R\rangle = 0$ 이 됨을 보여준다.
• $N=2$ 일 때, 진공 상태와 정규화 기법을 사용하여 $\bar{h}_k$ 가 베테 상태에 작용하는 방식을 계산한다.
• $\bar{h}_k$ 의 고유값 $\bar{d}_k^\pm$ 를 사용하여 $\sum \bar{d}_k u^k = -u P'(u)/P(u)$ 를 통해 클래식 드린펠트 다항식의 유사체를 유도한다.
• $\dim \mathcal{V} = 2^{\deg P}$ 를 사용하여 다항식 차수와 다중체 차원을 연결하며, 이는 $2^{(L-2R)/N}$ 과 일치함을 보여준다.

실험 결과

연구 질문

• RQ1 모든 $N$ 에 대해, 루트 오브 유니티에서 정규 XXZ 베테 상태가 $sl_2$ 루프 대수의 모든 양근 생성자 $\bar{x}_k^+$ 에 의해 영이 되는가?
• RQ2 $N=2$ 일 때, 정규 XXZ 베테 상태는 카르탕 생성자 $\bar{h}_k$ 의 고유벡터인가?
• RQ3 클래식 유사 드린펠트 다항식이 정규 베테 상태에 의해 생성된 기약 표현의 차원을 정확히 예측하는가?
• RQ4 정규 베테 상태가 $L$ 개의 스ites에 $R$ 개의 내림 스핀을 가질 때, $L$ 과 $R$ 이 $N$ 으로 나누어떨어지면 다중체의 차원이 $2^{(L-2R)/N}$ 인가?
• RQ5 $L=6$, $N=3$ 와 같은 특정 경우에 대해 클래식 드린펠트 다항식을 명시적으로 계산할 수 있으며, 이는 일관된 분열을 제공하는가?

주요 결과

• 모든 $N$ 에 대해 정규 XXZ 베테 상태는 $sl_2$ 루프 대수의 모든 $\bar{x}_k^+$ 생성자에 의해 영이 되며, 최고 가시수 표현의 첫 번째 조건을 확인한다.
• $N=2$ 일 때 정규 베테 상태는 카르탕 생성자 $\bar{h}_k$ 의 고유벡터이며, 최고 가시수 구조의 두 번째 조건을 만족한다.
• 클래식 드린펠트 다항식의 유사체는 $\bar{h}_k$ 의 고유값 $\bar{d}_k^\pm$ 를 통해 유도되며, $P(u)$ 는 $\sum \bar{d}_k u^k = -u P'(u)/P(u)$ 를 만족한다.
• $L=6$, $N=3$ 일 때 드린펠트 다항식은 $P(u) = (1 - a_1 u)(1 - a_2 u)$ 로 주어지며, $a_{1,2} = 10 \pm 3\sqrt{11}$ 이고, 차수 2의 다항식이며 차원은 $2^2 = 4$ 이다.
• $L$ 과 $R$ 이 $N$ 으로 나누어떨어질 경우, $R$ 개의 내림 스핀을 가진 정규 베테 상태에 의해 생성된 다중체의 차원은 $2^{(L-2R)/N}$ 이며, 이는 8-버전 모델에서 알려진 분열과 일치한다.
• 이 방법은 $L=2R$ 일 때 $S^{\pm(N)} B_1 \cdots B_R |0\rangle = 0$ 임을 확인하여, 루트 오브 유니티에서 고차 생성자들이 영이 되는 것을 지지한다.