Breakdown of the thermodynamic limit in quantum spin and dimer models

기술 요약: 양자 스핀 및 다이머 모델에서의 열역학적 극한의 붕괴

문제 정의
열역학적 극한은 통계 역학의 기초적인 가설로, 입자 밀도가 고정된 상태에서 시스템 크기가 무한대로 접근함에 따라 경계 형상에 독립적인 거시적 벌크 상(bulk phases)이 출현한다는 점을 상정한다. 일반적인 상호작용하는 다체계(many-body systems)에서는 경계 효과가 보통 얇은 가장자리 영역에 국한되지만, 본 논문은 특정 양자 스핀 및 다이머 모델에서도 이 가설이 성립하는지 조사한다. 저자들은 경계의 형상이 서로 다른 벌크 상을 가진 거시적 영역을 유도하여, 무한 크기 극한에서도 내부 깊은 곳의 국소 상관 함수(local correlators)가 경계에 의존하게 만드는 모델을 구축함으로써 표준적인 개념에 도전한다.

방법론
저자들은 두 가지 특정 격자, 즉 다이아몬드 형태의 경계를 가진 정사각형 격자("아즈텍 다이아몬드", Aztec diamond)와 다이아몬드 형태의 경계를 가진 정사각형-팔각형 격자("스퀘어-옥타곤 포트리스", square-octagon fortress)에 대한 양자 다이머 모델을 연구하기 위해 정밀한 해석적 방법과 고정밀 수치 기법을 결합하여 사용한다.

1. 해밀토니안 구성: 저자들은 이 격자들 위에서 양자 스핀 해밀토니안을 정의한다. 저에너지 극한(강결합 극한)에서 이 스핀 모델들은 양자 다이머 모델으로 정확하게 매핑된다. 특히, 저자들은 바닥 상태가 그래프의 모든 유효한 다이머 덮개(perfect matchings)의 동일 가중치 중첩(equal-weight superposition)이 되는 로크사르-키블러(Rokhsar-Kivelson, RK) 지점에 집중한다.
2. 카스텔레인 행렬 형식론(Kasteleyn Matrix Formalism): 바닥 상태를 분석하기 위해 저자들은 카스텔레인 방법을 활용한다. 저자들은 평면 그래프에 대한 부호가 있는 인접 행렬(카스텔레인 행렬)을 구축한다. 이 행렬의 역행렬은 켄연(Kenyon)의 공식을 통해 다이머 확률과 상관 함수를 정확하게 계산할 수 있게 해준다.
3. 비전 상관 함수(Vison Correlator) 계산: 저자들은 양자 스핀 액체 상을 진단하는 데 중요한 비국소 스트링 순서 매개변수인 비전 상관 함수를 계산하기 위한 정확하고 효율적인 알고리즘을 개발했다.
   • 표준 몬테카를로 샘플링은 느린 수렴과 유한 샘플링 오차(통상적으로 $\sim 10^{-6}$)로 인해 어려움을 겪는 대신, 저자들은 분수 없는 희소 LU(FFLU) 분해를 사용한다. 이 방법은 필요한 카스텔레인 행렬 역행렬의 부분 행렬을 계산하기 위해 정확한 정수 산술에 의존하며, 최대 $10^{-21}$의 정밀도를 달면한다.
   • 직사각형 경계를 가진 정사각형-팔각형 격자의 경우, 저자들은 역 카스텔레인 행렬의 토플리츠(Toeplitz) 구조를 활용하여 강 세게조(Strong Szegő) 극한 정리를 이용한 비전 상관 함수의 해석적 점근 결과를 도출한다.
4. 상관 함수 분석: 저자들은 다이머-다이머 연결 상관 함수(dimer-dimer connected correlator)를 계산하여 상관 길이와 임계성을 결정하고, 비전 상관 함수를 계산하여 디컨파인드(deconfined) 스핀 액체 상과 가둠(confined) 질서 상을 구분한다.

주요 기여 및 결과

• 열역학적 극한의 붕괴 (아즈텍 다이아몬드):
  저자들은 아즈텍 다이아몬드(45° 회전된 경계를 가진 정사각형 격자) 상의 양자 다이머 모델에 대해 바닥 상태가 **양자 상분리(quantum phase separation)**를 보임을 입증한다.

  • 동결된 코너(Frozen Corners): 네 개의 코너 근처 영역은 교대 다이머 질서(staggered dimer order, 다이머 점유 확률 $\to 1$ 또는 $0$)를 보이는 "동결된" 상을 나타낸다.
  • 임계 코어(Critical Core): "북극 원(Arctic circle)"에 의해 경계가 지어지는 내부 영역은 멱법칙(power-law)으로 감소하는 다이머-다이머 상관 함수를 보이는 임계 거동을 나타낸다.
  • 의의: 이는 경계 형상을 지정하지 않고서는 이 시스템에 대해 열역학적 극한이 잘 정의되지 않음을 증명한다. 상분리는 단순한 경계 효과가 아니라 거시적(면적의 약 21%를 차지)이다.

• 직사각형 경계를 가진 정사각형-팔각형 격자:
  저자들은 기준점을 확립하기 위해 표준 정사각형 경계를 가진 정사각형-팔각형 격자를 분석한다.

  • 갭이 있는 질서 상(Gapped Ordered Phase): 다이머-다이머 상관 함수가 지수적으로 감소함을 발견하였으며, 이는 갭이 있는 상을 나타낸다.
  • 비전 상관 함수: 결정적으로, 비전 상관 함수는 특정 경로를 따라 비제로 상수($\approx 0.7746$)로 접근한다. 이는 비전이 갭이 있는 여기(excitation)이고 상관 함수가 0으로 감소하는 $Z_2$ 양자 스핀 액체 상을 배제한다.
  • 질서의 본질: 이 시스템은 뒤집기 가능한 정사각형 플래켓(plaquette)들이 유한한 밀도의 뒤집기 가능한 팔각형 결함들 사이에 흩어져 있는 배경을 특징으로 하는 단거리 얽힘 질서 상으로 식별된다.

• 강건한 상분리 (스퀘어-옥타곤 포트리스):
  저자들은 다이아몬드형 경계(포트리스)를 가진 정사각형-팔각형 격자로 연구를 확장한다.

  • 세 개의 뚜렷한 영역: 바닥 상태는 "오틱 곡선(octic curve)"에 의해 분리된 세 개의 거시적 영역을 나타낸다.
    1. 동결된 영역: 코너 근처에서 교대 다이머 질서를 보인다.
    2. 임계 영역: 동결된 코너와 중심부 사이에서 멱법칙 상관 관계를 보인다.
    3. 기체(중심) 영역: 직사각형 경계를 가진 정사각형-팔각형 격자와 정확히 동일하게 행동하는 가장 안쪽 영역으로, 지수적으로 감소하는 다이머 상관 함수와 상수 비전 상관 함수를 가진다.
  • 안정성: 아즈텍 다이아몬드의 경우 임계 영역이 RK 지점에서 벗어난 섭동에 불안정할 수 있는 것과 달리, 저자들은 포트리스에서의 상분리가 아마도 강건할 것이라고 주장한다. 이는 동결된 영역과 중심 영역이 모두 갭이 있는 상태(지수적으로 감소하는 상관 관계)이므로, 그 사이에서 전이를 매개하기 위해 임계 영역이 반드시 존재해야 하기 때문이다.

의의 및 주장
본 논문은 경계 형상 의존성으로 인해 열역학적 극한이 붕괴되어 서로 다른 양자 상의 거시적 공존이 발생하는 양자 스핀 모델의 첫 번째 명시적 사례를 제공한다고 주장한다.

• 이론적 함의: 이 연구는 고전 다이머 모델(여기서 잘 알려져 있음)에서 경계 의존성의 개념을 양자 다체계로 일반화한다. 이는 경계 형상이 벌크 상 구조를 결정할 수 있음을 보여주며, 벌크 관측량이 열역학적 극한에서 경계 조건으로부터 독립적이라는 표준적인 가정을 도전한다.
• 방법론적 발전: 이 논문은 비전 상관 함수를 계산하는 데 있어 몬테카를로 시뮬레이션보다 우수한 카스텔레인 기반의 정확한 방법의 우월성을 강조하며, 임의의 정밀도로 양자 상을 진단할 수 있는 도구를 제공한다.
• 상 공존: 스퀘어-옥타곤 포트리스에서 발견된 안정적인 3-영역 상분리는 이러한 경계 유도 상 공존이 미세 조정된 임계점에 국한되지 않고 위상도 상의 광범위한 영역에서 지속될 수 있음을 시사한다.

저자들은 이러한 발견이 특히 양자 스핀 액체 및 위상 질서의 맥락에서 기하학이 양자 물질에 어떻게 영향을 미치는지 이해하는 새로운 길을 열어준다고 결론짓는다.