두 스핀 시스템의 비유일성 구간에서 근사 불가능성

초록

이 논문은 두 상태 스핀 시스템의 파티션 함수 Z_A(G)를, 그래프의 차수가 유니크니스 임계값 Δ(β,γ)보다 충분히 클 때, 상대 오차 10⁻⁴ 이하로 근사하는 다항시간 랜덤 알고리즘이 존재하지 않음을 NP≠RP 가정 하에 증명한다. 결과는 유니크니스 위상 전이와 계산 복잡도 전이가 일치한다는 기존 conjecture을 상수 계수까지 확인한다. 또한 외부 장이 포함된 경우와 단위 정사각형 밖의 파라미터 영역에 대해서도 동일한 난이도를 보여준다.

상세 분석

두 스핀 시스템은 2×2 상호작용 행렬 A={β 1; 1 γ} 로 정의되며, β,γ≥0인 경우를 주로 다룬다. 그래프 G=(V,E)에 대한 파티션 함수 Z_A(G)=∑{σ:V→{0,1}}∏{(u,v)∈E}A_{σ(u),σ(v)}는 통계 물리학에서 Gibbs 측정의 정규화 상수이며, 컴퓨터 과학에서는 #P‑hard 문제로 알려져 있다. 기존 연구에서는 β·γ<1인 경우, 특히 (β,γ) 가 단위 정사각형 안에 있을 때, 차수가 충분히 작으면 ‘상관 감소(correlation decay)’ 기법을 이용해 FPTAS가 존재함을 보였다. 반대로 차수가 커지면 Gibbs 측정이 비유일성(non‑uniqueness) 영역에 들어가며, 물리학적으로는 여러 베이스라인 상태가 공존한다는 의미이다. 이 논문은 바로 그 비유일성 영역이 계산적으로도 난이도 전환점임을 증명한다.

주요 기술은 두 단계로 구성된다. 첫째, (β,γ) 에 대해 유니크니스 임계값 Δ(β,γ) 를 정확히 정의한다. 이는 무한 d‑정규 트리에서 재귀식 x_{t+1}=f(x_t)= (β x_t + 1)/(x_t + γ) 가 고정점에 수렴하는지 여부로 판단되며, Δ(β,γ) > 1/(1−βγ) 로 주어진다. 둘째, d≥c·Δ(β,γ) (c는 상수) 인 d‑정규 그래프를 입력으로 하는 근사 문제를, 알려진 NP‑hard 문제(예: 최대 독립집합)와 다항시간 감소(reduction)한다. 저자들은 ‘플래그 변형(flag gadget)’과 ‘스위치 변형(switch gadget)’을 설계해 각 정점의 스핀 선택을 논리 변수에 매핑하고, 에지 제약을 행렬 A 의 비대칭성에 맞게 구현한다. 이때 외부 장이 없는 기본 모델에서도 충분히 강력한 제약을 만들 수 있음을 보인다.

특히, 랜덤 d‑정규 그래프 모델 G(n,d) 에서 거의 확실히 비유일성 영역에 속함을 이용해, 평균 경우 복잡도 하드니스를 증명한다. 이 과정에서 ‘식별 가능한 경계(identifiable boundary)’ 라는 개념을 도입해, 임의의 근사 알고리즘이 상대 오차 ε<10⁻⁴ 로 정확히 구분하지 못하면, NP와 RP 가 동일하다는 모순이 발생한다. 따라서 ε가 상수 수준이라도, 차수가 충분히 크면 근사 자체가 불가능함을 보인다.

또한 논문은 β·γ>1 인 경우, 즉 단위 정사각형 밖의 파라미터 영역에서도 유사한 결과를 얻는다. 여기서는 행렬 A 가 ‘반전된’ 상호작용을 갖지만, 동일한 gadget 설계와 복잡도 감소가 적용된다. 마지막으로 외부 장 h∈ℝ 를 포함한 일반화된 파티션 함수 Z_{A,h}(G)=∑σ exp(∑v h·σ(v))∏{(u,v)}A{σ(u),σ(v)} 에 대해서도, 외부 장을 적절히 조정하면 위의 hardness 결과가 그대로 유지됨을 증명한다. 전체적으로 이 논문은 물리학적 유니크니스 전이와 계산 복잡도 전이가 정확히 일치한다는 강력한 증거를 제공한다.