Baxter Bazhanov Stroganov 모델 II 유한 격자 이징 모델의 형상인자

초록

본 논문에서는 분리 변수법을 이용해 Baxter‑Bazhanov‑Stroganov(τ²) 모델을 심도 있게 탐구한다. 특히, 유한 격자 위에 정의된 이징 모델에 대한 형상인자(form‑factor)들의 완전한 인수분해 형태를 최초로 유도한다. 이 결과는 이전에 Bugrij와 Lisovyy가 제시한 추측을 엄밀히 증명한 것이며, 동시에 횡자장(transverse field)이 가해진 유한 양자 이징 체인의 스핀 연산자 행렬원소도 구한다.

상세 요약

Baxter‑Bazhanov‑Stroganov(이하 BBS) 모델은 2차원 격자상의 양자 통합계(system)으로, τ‑함수 계열에 속한다. 특히 τ^{(2)}‑모델은 차원 축소와 양자 군론적 대칭을 동시에 구현할 수 있는 희귀한 사례이며, 기존 연구에서는 무한 격자 혹은 주기적 경계조건 하에서만 해석이 진행돼 왔다. 본 논문은 이러한 한계를 넘어, 유한 격자(즉, N×M 형태의 제한된 크기) 위에 놓인 이징 모델에 초점을 맞춘다.

핵심 방법론은 ‘분리 변수법(separation of variables, SOV)’이다. SOV는 베타-함수와 라마누잔 식을 활용해 다변수 양자 시스템을 일련의 일변수 문제로 분해한다. 저자들은 이전 논문( arXiv:0603028, arXiv:0708.4342 )에서 제시한 SOV 프레임워크를 그대로 차용하면서, 이 모델에 특화된 ‘Baxter Q‑연산자’를 명시적으로 구성한다. 이 과정에서 ‘전이 행렬(T‑matrix)’의 스펙트럼을 정확히 구하고, 그 고유벡터를 ‘베이스 벡터’로 선택한다.

가장 혁신적인 결과는 ‘형상인자(form‑factor)’의 인수분해 공식이다. 형상인자는 두 고유상태 사이의 스핀 연산자 σ^{z} 혹은 σ^{x}의 행렬원소를 의미한다. 기존에는 Bugrij와 Lisovyy가 제시한 ‘곱 형태(conjectured product form)’가 수치적으로만 검증되었으며, 일반적인 증명은 부재했다. 저자들은 SOV를 통해 고유벡터를 명시적으로 구성하고, 스핀 연산자를 이 베이스에 투사함으로써, 형상인자를 정확히 다음과 같이 표현한다.

\