분리 변수법을 이용한 유한 크기 이징 모델 스핀 행렬 원소의 인수분해

초록

본 논문은 사이클릭 Baxter‑Bazhanov‑Stroganov(τ²) 모델에 Sklyanin‑Kharchev‑Lebedev 방식의 분리 변수법(SOV)을 적용하여, 유한 크기의 이징 모델에서 스핀 연산자의 행렬 원소를 완전 인수 형태로 표현한다. 이를 통해 Bugrij‑Lisovyy가 제시한 구체적 공식에 대한 증명을 제공한다.

상세 분석

이 연구는 2차원 이징 모델을 정밀히 다루는 데 있어, 기존에 알려진 양자 가역 변환과 전이 행렬 기법을 넘어서는 새로운 접근법을 제시한다. 핵심은 τ²‑모델, 즉 Baxter‑Bazhanov‑Stroganov 모델의 주기적 버전을 Sklyanin‑Kharchev‑Lebedev(SKL) 방식으로 분리 변수화(separation of variables, SOV)하는 것이다. SOV는 양자 integrable 시스템에서 베어스 방정식의 해를 베이스 벡터의 곱 형태로 전개함으로써, 복잡한 다변수 문제를 일련의 1차원 문제로 환원한다. 저자들은 τ²‑모델의 전이 행렬 T(λ)을 두 개의 L‑연산자(L₁, L₂)로 분해하고, 각 L‑연산자를 주기적 경계 조건에 맞게 고유값 문제로 전환한다. 이때 발생하는 Baxter Q‑함수와 T‑Q 관계식은 기존의 Baxter 방정식과 구조적으로 동일하지만, 주기성에 의해 추가적인 제약식이 도입된다.

주요 수학적 단계는 다음과 같다. 첫째, τ²‑모델의 전이 행렬을 Sklyanin의 ‘separated variables’ {x₁,…,x_N} 로 매핑한다. 여기서 N은 격자점 수이며, 각 x_i는 복소 평면상의 특정 급수점에 대응한다. 둘째, 각 변수에 대해 차분 방정식 형태의 Baxter 방정식을 유도하고, 이를 통해 Q‑함수의 근을 구한다. 셋째, Q‑함수의 근을 이용해 스핀 연산자 σᶻ_j의 행렬 원소 ⟨α|σᶻ_j|β⟩ 를 전이 행렬의 행렬식 형태로 표현한다. 이때 전이 행렬의 행렬식은 Vandermonde 형태와 유사한 구조를 가지며, 변수들의 차이와 Q‑함수의 값이 곱해진 인수분해식으로 정리된다.

특히, 저자들은 Bugrij‑Lisovyy가 제안한 “finite‑size Ising spin matrix element” 공식을 정확히 재현한다. 그 공식은 두 고유 상태 사이의 스핀 행렬 원소가 (∏_{k<l} sin