Exact expressions of correlation functions between two spins in the boundary row of the two-dimensional rectangular Ising model with periodic-free boundary conditions and finite size

기술 요약: 주기적-자유 경계 조건을 가진 2차원 직사각형 이징 모델의 상관 함수에 대한 정확한 표현식

문제 정의
본 논문은 두 직사각형 이징 모델의 경계 행(boundary row)에 위치한 두 스핀 사이의 상관 함수, 구체적으로 $\langle \sigma_{1,1} \sigma_{1,1+P} \rangle$의 계산 문제를 다룬다. 이 모델은 유한한 크기 차원 $L$(가로)과 $N$(세로)을 가지며, 가로 방향으로는 주기적 경계 조건을, 세로 방향으로는 자유 경계 조건을 특징으로 한다. 기존 문헌에는 열역학적 극한에서의 상관 함수에 대한 점근적 표현식이 잘 알려져 있으나, 이러한 특정 경계 조건을 가진 유한 시스템, 특히 단거리 및 장거리 질서를 모두 포괄하는 정확한 표현식은 상세한 연구의 대상으로 남아 있다. 본 연구는 외부 자기장이 없는 상태에 초점을 맞춘다.

방법론
저자는 Ref. [4]에서 도입되었으며, 주기적-주기적 모델의 열(column) 상관 함수를 위해 Ref. [5, 6]에서 사용된 바 있는 스피너 분석(spinor analysis) 방법을 채택한다. 방법론의 핵심은 다음과 같다:

1. 행렬 정식화: 상관 함수를 전이 행렬($V_1, V_2$)과 분할 함수 행렬($Z_1$)의 곱의 트레이스(trace)로 표현한다.
2. 대수적 단순화: 트레이스와 교환자(commutator)의 성질을 활용하여 복잡한 행렬 곱을 대각 행렬과 특정 연산자($\Gamma$)를 포함하는 형태로 축소한다.
3. 고유값 분석: 전이 행렬의 고유값 및 고유벡터를 활용하며, 특히 시스템을 대각화하기 위해 스피너 표현의 성질과 직교 행렬($\mu$)을 이용한다.
4. 극한 과정: $N \to \infty$ 및 $L \to \infty$의 극한을 서로 다른 순서로 체계적으로 평가하여 열역학적 극한에서의 상관 함수 거동을 결정한다. 저자는 단거리 질서(거리 $P$가 $L$에 비해 작은 경우)와 장거리 질서( $P$가 $L/2$에 근접하는 경우)를 구분한다.

주요 기여 및 결과
본 논문은 유한 시스템의 모든 $P$ 값에 대해 상관 함수 $\langle \sigma_{1,1} \sigma_{1,1+P} \rangle$에 대한 정확한 해석적 표현식을 도출한다. 주요 결과와 발견 사항은 다음과 같다:

• 정확한 유한 크기 표현식: 저자는 고유값 $\gamma_n$과 계수 $\Omega_n$의 쌍곡선 함수를 포함하는 합으로 표현된 유한 시스템의 상관 함수에 대한 폐쇄형 표현식(Eq. 44)을 제공한다.
• 열역학적 극한 및 극한의 순서: 열역학적 극한 결과가 시스템 차원 $L$과 $N$이 무한대로 향하는 순서에 의존한다는 점이 중요한 발견이다:
  • $T \geq T_c$ 경우 (임계 온도 이상 또는 임계 온도 시): 극한의 순서($N \to \infty$ 후 $L \to \infty$, 또는 그 반대)와 관계없이, 열역학적 극한에서 상관 함수는 소멸한다. 단거리 상관은 0이 아닌 값을 유지한다.
  • $T < T_c$ 경우 (임계 온도 미만): 극한의 순서가 결과에 상당한 영향을 미친다.
    • $N \to \infty$를 먼저 취한 후 $L \to \infty$를 취하면, 물리적 기대치인 자발적 자화와 일치하는 장거리 질서(큰 거리에서의 0이 아닌 상관)의 출현을 올바르게 보여준다.
    • $L \to \infty$를 먼저 취한 후 $N \to \infty$를 취하면, 장거리 질서 항이 소멸하여 시스템에 존재하는 물리적 장거리 상관을 포착하는 데 실패한다.
• 이전 연구와의 일관성: 저자는 자신들이 도출한 열역학적 극한 표현식이 이전 연구자들(특히 Ref. [1])이 제공한 것과 동일한 형태임을 입증한다.
• 임계 거동: 임계 온도 $T_c$ 근처에서 상관 길이에 대한 거동을 분석한다. 저자는 임계 지수 $\nu = 1$을 갖는 상관 길이의 특성을 보이는 항 $\Lambda_P$를 식별한다. 그러나 저자는 이 지수가 $Y_P$ 항에 대한 추가적인 분석 없이 $\Lambda_P$라는 특정 항에 적용되는 것임을 명시적으로 언급한다.

의의
본 논문은 유한 시스템에서 단거리 및 장거리 상관을 모두 계산할 수 있게 하는 특정 경계 조건(주기적-자유)에 대한 정확한 해를 제공한다는 점에서 의의를 갖는다. 주요 이론적 기여는 열역학적 극한을 취하는 순서가 단순히 수학적인 기술적 문제가 아니라, 저온 상($T < T_c$)에서 장거리 질서를 올바르게 설명하기 위해 물리적으로 매우 중요하다는 것을 엄밀하게 증명한 것이다. 저자는 온도가 $T_c$ 아래로 내려감에 따라 상관 함수의 특성, 특히 장거리 질서의 출현을 올바르게 설명하기 위해서는 $N \to \infty$를 먼저 수행한 후 $L \to \infty$를 취하는 극한 순서가 필요하다고 결론짓는다. 이 연구는 장거리 질서의 출현이라는 이징 모델의 근본적인 성질을 회복하기 위해 필요한 수학적 조건을 명확히 한다.