Lee-Yang theorem for fermions

기술 요약: 페르미온에 대한 리-양 정리 (Lee-Yang Theorem)

문제 정의
강자성 이징 모델(ferromagnetic Ising model)을 위해 원래 확립된 리-양 정리는, 복소 평면의 외부 장(external field)에서 분배 함수의 복소 제로(complex zeros)가 특정 궤적(예: 허수축) 위에 놓여 있음을 증명함으로써 상전이를 분석하기 위한 엄밀한 수학적 프레임을 제공한다. 이러한 제로-프리니스(zero-freeness, 영점이 없음)는 자유 에너지의 해석성(analyticity)과 비영(non-zero) 장 존재 하에서의 상전이 부재를 의미한다. 나아가, 이론 컴퓨터 과학에서 이 성질은 기저 상태 에너지를 추정하기 위한 증명 가능한 효율적인 고전 및 양자 알고리즘의 존재를 입증하는 데 활용되어 왔다.

70년 이상의 연구에도 불구하고, 상호작용하는 페르미온 시스템에 대한 엄밀한 리-양 제로-프리니스 정리는 여전히 확보되지 않은 상태였다. 특정 페르미온 모델에 대해 분배 함수의 제로들이 계산된 적은 있으나, 가장 단순한 비상호작용 자유 페르미온 모델에 대해서조차 일반적인 정리는 존재하지 않는다. 이러한 공백은 섭동론적 범위를 벗어난 강하게 상호작용하는 페르미온 시스템을 엄밀하게 제어하는 능력을 제한하며, 광범위한 페르미온 해밀토니안에 대한 효율적인 알고리즘 개발을 저해한다.

방법론
저자들은 통계 역학과 복소 해석학의 기법을 결합하여, 광범위한 클래스의 상호작용하는 페르미온 해밀토니안에 대한 리-양 정리를 확립한다. 방법론은 세 가지 주요 단계로 진행된다:

1. 해밀토니안 클래스의 정의: 저자들은 다음과 같은 "페르미온 리-양 해밀토니안"($H = H_0 + V$) 클래스를 정의한다:

   • $H_0$는 양의 준정부호(positive-semidefinite, PSD) 호핑 행렬 $A$와 임의의 반대칭 페어링 행렬 $B$를 포함하는 이차 항들로 구성된다.
   • $V$는 $-\sum |U_{ij}|(n_i - 1/2)(n_j - 1/2)$ 형태의 인력적 상호작용을 나타낸다.
   • 분배 함수는 $Z(h) = \text{Tr}[\exp(-\beta(H + h\sum n_i))]$로 정의된다.

2. 자유 페르미온 분석 (Trotter화): 증명은 자유 페르미온 케이스($V=0$)에서 시작된다. 저자들은 트로터화된(Trotterized) 분배 함수 $Z_\epsilon(H_0, u)$를 분석한다. 여기서 외부 장은 복소 변수 $u_{i,m}$으로 이산화된다. 분배 함수를 호핑 및 페어링 행렬으로부터 구축된 블록 행렬 $D(u)$의 행렬식(determinant)으로 재작성함으로써, 저자들은 $D(u)$가 열린 단위 폴리디스크(open unit polydisc, $|u_{i,m}| < 1$) 내에서 특이 행렬이 아님(non-singular)을 입증한다. 이는 특정 메트릭 $\Gamma$를 사용하는 이차 형식(quadratic form) 논증과, $A$가 PSD일 때 진화 연산자 $W = e^{-\epsilon Q}$가 이 메트릭 하에서 수축적(contractive)이라는 성질에 기반한다.

3. 상호작용 시스템으로의 확장 (Asano 수축): 상호작용하는 시스템으로 결과를 확장하기 위해, 저자들은 **Asano 수축(Asano contractions)**을 사용한다. 저자들은 전체 해밀토니안의 트로터화된 분배 함수 $Z_\epsilon(H, u)$를 두 다항식의 슈어 곱(Schur product, 또는 Hadamard product)으로 표현한다: 자유 페르미온 분배 함수 $Z_\epsilon(H_0, u)$와 상호작용 전용 분배 함수 $Z_\epsilon(V, u)$의 곱이다.

   • $Z_\epsilon(H_0, u)$는 열린 단위 폴리디스크 내에서 제로-프리(zero-free)임이 입증된다 (정리 4).
   • $Z_\epsilon(V, u)$는 고전적인 강자성 이징 분배 함수의 곱으로 식별되며, 이는 고전적 리-양 정리에 의해 단위 폴리디스크 내에서 제로-프리임이 알려져 있다 (보조정리 5).
   • 제로-프리 다항식의 슈어 곱에 관한 Hinkkanen의 보조정리를 사용하여, 저자들은 $Z_\epsilon(H, u)$ 역시 열린 단위 폴리디스크 내에서 제로-프리함을 증명한다.

4. 연속체 극한 및 변환: 허르비츠 정리(Hurwitz's theorem)를 적용함으로써, 트로터화된 다항식의 제로-프리니스는 $\text{Re}(h) > 0$인 경우의 정확한 분배 함수 $Z(h)$의 제로-프리니스를 함의한다. 이후 입자-홀 변환($a \to a^\dagger$)을 사용하여 제로-프리 영역을 스트립(strip) $\text{Re}(h) \in [-\lambda_{\max}(A), 0]$로 확장한다.

주요 기여 및 결과

• 정리 2 (제로-프리니스): 정의된 클래스의 모든 해밀토니안에 대해, 복소 $h$-평면에서의 분배 함수 $Z(h)$의 모든 제로는 $\text{Re}(h) \in [-\lambda_{\max}(A), 0]$를 만족한다. 구체적으로 호핑 행렬 $A=0$인 경우, 모든 제로는 순수하게 허수축 위에 놓인다. 이는 이러한 모델들이 비영(non-zero) 국소 외부 장 하에서 상전이가 존재하지 않음을 엄밀하게 확립한다.
• 정리 3 (스펙트럼 갭 및 알고리즘 효율성): 제로-프리니스는 장 유도 스펙트럼 갭(field-induced spectral gap)을 함의한다. 구체적으로, $h > 0$일 때 해밀토니안 $H + h\sum n_i$는 기저 상태 위로 최소 $h/8$의 스펙트럼 갭을 갖는다. 결과적으로, 저자들은 이들 해밀토니안의 기저 상태 에너지를 가법 정밀도(additive precision) $\epsilon$ 내에서 추정하기 위한 증명 가능한 효율적인 양자 알고리즘의 존재를 증명한다. 이 알고리즘의 실행 시간은 모드 수 $N$, 연산자 노름 $\|H\|_{op}$, 그리고 $1/\epsilon$에 대해 다항식 시간(polynomial time)으로 스케일링된다.
• 물리 모델 통합: 저자들은 이 클래스가 유니터리 동등성(unitary equivalence, Bogoliubov 변환)을 통해 다음과 같은 몇몇 물리적으로 중요한 모델들을 포괄함을 보여준다:
  • 페어링 장 내의 인력적 허바드 모델 (attractive Hubbard model).
  • 격자형 그래프(bipartite graphs) 상의 반강자성 제만 장 내의 척력적 허바드 모델 (repulsive Hubbard model).
  • 충분히 강한 균일 제만 장 하의 척력적 허바드 모델 (비이분 그래프 포함).
  • 시간 역전 대칭성을 가진 상호작용하는 호프스태터 모델 (interacting Hofstadter model).

의의 및 주장

본 논문은 이 작업이 상호작용하는 페르미온에 대한 최초의 엄밀한 리-양 제로-프리니스 정리임을 주장한다. 그 의의는 두 가지 측면에서 중요하다:

1. 물리적 통찰: 이 연구는 다양한 강력한 상관 관계를 가진 페르미온 시스템 하에서 외부 장에 의한 상전이 부재를 이해하기 위한 통합된 해석적 프레임을 제공한다. 특히 위상적 질서(topological order)에 대한 제약을 다루며, 리-양 스펙트럼 갭이 열역학적 극한에서 에너지 분리(energy splitting)가 사라지는 것을 방지하기 때문에, 비영 장 하에서는 안정적인 기저 상태 축퇴를 가진 갭이 있는 위상적 질서 상이 존재할 수 없음을 논한다.
2. 알고리즘적 함의: 이 작업은 계산적으로 다룰 수 있는(tractable) 대규모의 페르미온 모델 클래스를 식별한다. 자유 페르미온이나 특정 1D 체인으로 제한되었던 이전 결과들과 달리, 이 클래스에는 페르미온 부호 문제(fermionic sign problem)로 인해 고전적으로 어려운 것으로 알려진 강력하게 상호작용하는 고차원 모델(예: 상호작용하는 호프스태터 모델)이 포함된다. 저자들은 일부 모델(예: 인력적 허바드)은 부호 문제가 없는 고전적 몬테카를로 표현을 허용하지만, 다른 모델(예: 척력적 허바드와 복잡한 호핑)은 그렇지 않다고 언급한다. 따라서 리-양 성질은 고전적 방법이 실패하거나 효율적이지 않은 곳에서 효율적인 양자 시뮬레이션을 위한 새로운 경로를 제공한다.

저자들은 리-양 성립이 제로-프리니스를 함의하더라도, 스핀 시스템에서 확립된 것과 달리 이러한 페르미온 시스템에 대해 고전적 마르코프 체인이 다항식 시간 내에 혼합(mix)되는 것을 자동으로 보장하지는 않는다는 점을 언급하며 고전 알고리즘에 대해 겸허한 태도를 유지한다. 주요 알고리즘적 기여는 양자 알고리즘의 효율성에 대한 엄밀한 증명이다.