대수적 베테 가설 풀이(algebraic Bethe ansatz)

하이젠베르크 XXX 스핀 고리 모형

해밀토니안

• 하이젠베르크 모형(Heisenberg model)의 해밀토니안 $$H = \sum_{n=1}^{N-1}H_{n,n+1}+H_{N,1}\label{ham}$$ 여기서 $H_{i,j}$ 는 two-site 해밀토니안으로 다음과 같이 정의됨

$$H_{i,j}=\frac{J}{4}(\sigma_i^x \sigma_{j}^x +\sigma_i^y \sigma_{j}^y + \sigma_i^z \sigma_{j}^z-I^{\otimes N})=\frac{J}{2}(P_{ij}-I^{\otimes N})$$ $P_{ij}$는 치환연산자

• • J>0 는 antiferromagnet 의 모형
  • J<0 는 ferromagnet 의 모형
• 해밀토니안을 대각화하는 문제에 베테안싸쯔가 사용된다
• R-matrix $$\left( \begin{array}{cccc} a & 0 & 0 & 0 \\ 0 & b & c & 0 \\ 0 & c & b & 0 \\ 0 & 0 & 0 & a \end{array} \right)$$

여기서 $a=\lambda +i, b=\lambda, c=i$.

모노드로미 행렬

• 모노드로미 행렬

$$ T_0(\lambda )=\left( \begin{array}{cc} A(\lambda ) & B(\lambda ) \\ C(\lambda ) & D(\lambda ) \end{array} \right) $$

여기서 $V^{\otimes N}$에 작용하는 연산자 $A(\lambda ) ,B(\lambda ) , C(\lambda ) , D(\lambda )$ 는 다음과 같은 관계를 만족한다 $$ \begin{eqnarray} \left[ B(\lambda), B(\lambda') \right] \ &=& 0 \\ A(\lambda)\ B(\lambda') &=& {a(\lambda' - \lambda)\over b(\lambda' - \lambda)} B(\lambda')\ A(\lambda) - {c(\lambda' - \lambda)\over b(\lambda' - \lambda)} B(\lambda)\ A(\lambda') \\ D(\lambda)\ B(\lambda') &=& {a(\lambda - \lambda')\over b(\lambda - \lambda')}B(\lambda')\ D(\lambda) - {c(\lambda - \lambda')\over b(\lambda - \lambda')} B(\lambda)\ D(\lambda') \end{eqnarray} $$

베테안싸쯔 방정식

• 다음의 방정식을 베테안싸쯔 방정식이라 한다

$$\begin{eqnarray}\label{bae} \left( {\lambda_{\alpha} + {i\over 2} \over \lambda_{\alpha} - {i\over 2}} \right)^{N} = \prod_{\scriptstyle{\beta=1}\atop \scriptstyle{\beta \ne \alpha}}^M {\lambda_{\alpha} - \lambda_{\beta} + i \over \lambda_{\alpha} - \lambda_{\beta} - i } \,, \qquad \alpha = 1 \,, \cdots \,, M \,. \end{eqnarray}$$

• 베테안싸쯔 방정식은 다음과 같이 표현되기도 한다

$$ \exp(ik_jN)\prod_{i \neq j}^{M}S(\lambda_j,\lambda_i)=1 \,, \qquad j = 1 \,, \cdots \,, M \,. $$ 여기서 $e^{i k_j}=\frac{\lambda_j+i/2}{\lambda_j-i/2}$ 또는 $\lambda_j=\frac{1}{2}\cot \frac{k_j}{2}$ 그리고 $$ S(v,u)=\frac{u-v-i}{u-v+i}. $$

• 베테안싸쯔 방정식 \ref{bae}의 해를 베테 해(Bethe roots)라 부르며, 각각의 베테 해로부터 해밀토니안 \ref{ham}의 고유벡터를 얻게 된다

고유벡터와 고유값

• 베테 해 $(u_1,\cdots, u_M)$으로부터 $|u_1,\cdots, u_M\rangle=\prod_{i=1}^{M}B(u_i)|0\rangle \in V^{\otimes N}$를 얻고, 벡터 $|u_1,\cdots, u_M\rangle$ 는 해밀토니안의 고유벡터이며, 고유값 $E$은 다음과 같이 주어진다

$$ E=-\frac{J}{2}\sum_{i=1}^{M}\frac{1}{u_{i}^2+\frac{1}{4}} $$

격자 모형 : 6-vertex model

$$R(u,\eta)=\rho\left( \begin{array}{cccc} \sin (u+\eta ) & 0 & 0 & 0 \\ 0 & \sin (u) & \sin (\eta ) & 0 \\ 0 & \sin (\eta ) & \sin (u) & 0 \\ 0 & 0 & 0 & \sin (u+\eta ) \end{array} \right)$$

메모

• http://en.wikipedia.org/wiki/Partial_trace
• Nepomechie, Rafael I. 1998. “A Spin Chain Primer.” arXiv:hep-th/9810032 (October 5). http://arxiv.org/abs/hep-th/9810032.

관련된 항목들

• 베테 가설 풀이(Bethe ansatz)
• 열역학적 베테 가설 풀이(thermodynamic Bethe ansatz)

계산 리소스 및 매스매티카 파일

• Day 2 - Coordinate Bethe Ansatz
  • Day 2 - Lecture - Coordinate Bethe Ansatz, S-matrices and factorization.pdf
  • Day 2 - Lecture - Coordinate BAE for XXX spin chain.nb
  • Day 2 - Exercise- Numerical solution of Bethe equations.pdf
  • Day 2 - Exercise - Rank 1 Hamiltonians and S-matrices.pdf
  • Day 2 - Exercise - Completeness check for 2 magnon BA solutions.pdf
  • Day 2 - Solution - Numerical Solution of Bethe Ansatz .nb
  • Day 2 - Solution - Rank 1 Hamiltonians and S-matrices.nb
  • Day 2 - Solution - Completeness check for 2 magnon BA solutions.pdf .nb
• Day 2 - Algebraic Curve and Coordinate Bethe Ansatz
• Day 3 - Algebraic Bethe Ansatz, Flat Space Analogies and Coset

리뷰논문, 에세이, 강의노트

• Faddeev, L. D. 1996. “How Algebraic Bethe Ansatz Works for Integrable Model.” arXiv:hep-th/9605187 (May 26). http://arxiv.org/abs/hep-th/9605187.