스푸리어스 스트레인지 상관함수와 SPT 판별의 함정

초록

스트레인지 상관함수는 SPT 위상을 탐지하는 유용한 도구이지만, 기준 상태를 부적절하게 선택하면 평범한(트리비얼) SPT에서도 장거리 상관이 나타나 오진을 초래한다. 저자들은 1차원 MPS 모델을 이용해 전이 행렬의 크기-퇴화가 이러한 가짜 신호의 근원임을 증명하고, (1) 고차원 불변표현, (2) 위상 불일치, (3) 대칭 파괴에 의한 장거리 질서를 포함하는 세 가지 메커니즘을 체계적으로 분류한다. 또한, 올바른 기준 상태를 선택하기 위한 실용적인 가이드라인을 제시한다.

상세 분석

본 논문은 스트레인지 상관함수(C(i,j)=⟨Ω|O_i O_j|Φ⟩/⟨Ω|Φ⟩)가 SPT 위상을 판별하는 데 널리 쓰이지만, 기준 상태 |Ω⟩의 선택이 결과에 결정적인 영향을 미친다는 점을 강조한다. 저자들은 1차원 gapped bosonic·spin 시스템을 MPS 형태로 기술하고, 전이 행렬 M_ω의 가장 큰 고유값이 “크기-퇴화(magnitude‑degeneracy)”를 가질 때 연결된 스트레인지 상관함수 ⟨O_i O_j⟩S,connected가 장거리(영원히 0이 아님) 행동을 보인다는 정리 2를 증명한다. 여기서 D‑fold magnitude‑degeneracy는 |λ₀|=|λ₁|=…=|λ{D‑1}|> |λ_D|인 경우를 의미한다.

정리 1은 연결된 상관함수가 장거리이면 거의 모든 로컬 연산자 쌍 (Ō_i, Ō_j) 가 비연결 상관함수에서도 장거리 신호를 만든다는 것을 보이며, 이는 “거짓 양성”을 식별하는 데 중요한 기준이 된다. 정리 3은 D>1인 경우, 연산자 공간 M에서 거의 전부가 장거리 연결 상관함수를 생성한다는 측정론적(레베게 측도 0) 결과를 제공한다.

SPT 상태에서는 가상 결합 차원에 프로젝트IVE 표현 V(g) 가 존재하고, 전이 행렬은 V(g) M_ω V(g)^{-1}=A(g) M_ω 형태를 갖는다. 비자명한 프로젝트IVE 클래스(β≠1)에서는 Schur의 보조정리 때문에 고유값이 자동으로 magnitude‑degenerate가 되며, 이는 정상적인 SPT 신호와 일치한다. 그러나 저자들은 동일한 메커니즘이 트리비얼 위상에서도 발생할 수 있음을 보여준다.

세 가지 스푸리어스 메커니즘은 다음과 같다.

1. 고차원 불변표현(irrep) : SO(3) 대칭을 갖는 스핀‑2 AKLT 모델은 트리비얼 SPT임에도 불구하고, 가상 결합이 3‑차원 irrep을 이루어 전이 행렬이 3‑fold magnitude‑degenerate가 된다. 적절히 두 사이트를 블록화해 SO(3)‑불변 기준 상태 |Ω⟩를 만든 뒤, O_a=S⁺⊗I, O_b=I⊗S⁻ 를 선택하면 ⟨O_a O_b⟩_S,connected=−3이라는 장거리 신호가 나타난다.
2. 위상 불일치 : 목표 상태와 기준 상태가 같은 1차원 선형 표현을 공유하지 않을 때, 전이 행렬에 위상 인자 e^{iθ(g)}가 남아 고유값의 위상이 서로 다르게 되며, 이는 magnitude‑degeneracy를 야기한다. 이는 특히 기준 상태가 대칭을 완전히 보존하지 않을 때 발생한다.
3. 대칭 파괴에 의한 장거리 질서 : 목표 상태가 실제로 대칭을 깨는 경우, 전이 행렬의 가장 큰 고유값이 복수 개 존재하게 되며, 이는 전통적인 상관함수와 동일한 방식으로 스트레인지 상관함수에도 장거리 성분을 만든다.

이러한 함정을 피하기 위한 실용적 가이드라인으로, 저자들은 (i) 기준 상태가 목표 상태와 동일한 1차원 선형 표현을 가져 위상 불일치를 방지하고, (ii) 전이 행렬의 스펙트럼에서 1차원 trivial irrep이 가장 큰 고유값을 차지하도록 SNR을 최적화하는 알고리즘을 제시한다. 고차원 irrep이 존재할 경우, 블록화(두 사이트 이상 결합)와 Moore‑Penrose 역행렬을 이용한 최적 벡터 ω_opt 를 구성해 |λ_triv|>|λ_high| 조건을 만족시키는 것이 핵심이다.

결과적으로, 스트레인지 상관함수를 SPT 진단에 사용할 때는 기준 상태 선택이 단순히 “트리비얼 제품 상태”가 아니라, 대칭 변환 특성과 전이 행렬 스펙트럼을 동시에 고려해야 함을 명확히 밝혔다.