Thermal Activation of Divergent Distillable Entanglement under Non-Abelian Strong Symmetry

기술 요약: 비가환 강한 대칭성 하에서의 발산하는 증류 가능한 얽힘의 열적 활성화

문제 제기
양자 다체 물리계의 통념은 가열이 양자 얽힘을 파괴한다고 상정한다. 온도가 상승하면 일반적으로 양자 상태들이 혼합되어, 비고전적 상관관계에 필수적인 결맞음(coherence)을 소멸시킨다. 국소 스핀 시스템에서, 제약이 없는 깁스 상태(Gibbs states)는 충분히 높은 온도 이상에서 분리 가능(separable)해지며, 1차원에서는 임의의 양의 온도에서 공간적 절단(spatial cut)에 대한 슈미트 수(Schmidt number)가 유한하게 유지된다. 본 논문은 이보다 더 강력한 질문을 다룬다: 특정 대칭성에 의해 제약된 경우, 가열이 거시적 절단에 대해 정확히 0인 얽힘을 가진 바닥 상태를 시스템 크기에 따라 발산하는 증류 가능한 자원으로 변환할 수 있는가?

방법론
저자들은 비가환 강한 대칭성(non-Abelian strong symmetry), 구체적으로는 전역적 $SU(2)$ 불변성을 활용하여 이 현상을 조사한다. 연구에는 세 가지 주요 방법론적 접근 방식이 사용된다:

1. 정확히 풀리는 모델 (Exactly Solvable Model): 저자들은 서로 분리된 다이머(dimer)로 쌍을 이루는 $N$개의 스핀-1/2 자유도를 가진 국소 다이머 체인을 구성한다. 해밀토니안은 각 다이머를 삼중항(triplet) 상태로 투영한다. 고유한 바닥 상태는 다이머 싱글렛의 곱으로 이루어지며, 이는 중앙 이분할($A|B$)에 대해 인자화(factorize)되어 $T=0$에서 얽힘이 0이다. 이후 시스템은 강한 $SU(2)$ 대칭성을 보존하는 상세 균형 역학(detailed-balance dynamics) 내에서 총 스핀-제로(singlet) 섹터 내로 열화(thermalize)된다.
2. 국소 체인에 대한 일반 정리: 저자들은 유한 범위의 균일하게 유계된 상호작용, 정확한 국소 $SU(2)$ 불변성, 그리고 등가 이분할에 대한 반사 대칭성을 가진 광범위한 1차원 체인 클래스로 분석을 확장한다. 저자들은 싱글렛 전역 섹터로 제약된 열적 상태를 분석한다.
3. 해석적 및 수치적 검증:
   • 해석적: 증명은 균일 복소 트위스트 클러스터 전개(uniform complex-twist cluster expansion), $SU(2)$의 중심 원소 주변의 캐릭터 추정, 그리고 이분할을 가로지르는 상호작용을 처리하기 위한 준국소 양자 신념 전파(quasi-local quantum belief propagation) 기법을 활용한다.
   • 수치적: 솔로어블 다이머 극한에서 벗어난 좌절된(frustrated) $J_1-J_2$ 스핀 체인의 유한 크기 징후를 확인하기 위해 정확 대각화(exact diagonalization)를 수행한다.

핵심 메커니즘: 표현 공간 증류 (Representation-Space Distillation)
핵리 메커니즘은 비가환 대칭성과 열적 요동 사이의 상호작용에 기초한다:

• 대칭성 제약: 전역 싱글렛 상태에서, 체인의 두 부분($A$와 $B$)은 동일한 기약 표현 라벨 $j$(스핀)를 가져야 한다.
• 열적 요동: 유한한 온도에서, 국소적 열적 요동은 특성 폭 $O(\sqrt{N})$을 갖는 반-체인 스핀 분포를 생성한다.
• 증류 프로토콜: 앨리스와 밥은 반-체인 표현 라벨(isotypic components)의 국소 측정을 수행한다. 전역 싱한트 제약 덕분에, 그들의 결과는 완벽하게 상관되어 있다 ($j_A = j_B = j$). $j$를 측정함에 따라, 그들은 다중도 자유도를 버리고 표현 공간 $V_j \otimes V_j$ 내의 유일한 불변 벡터 $|\Phi_j\rangle$를 유지한다. 이 벡터는 슈미트 랭크 $d_j = 2j+1$을 갖는 최대 얽힘 상태이다.
• 수율 (Yield): 프로토콜은 $\log_2(2j+1)$ ebits를 추출한다. 평균 수율은 $j$의 열역학적 분포에 의해 결정된다.

주요 결과

1. 다이머 체인에서의 정확한 활성화:

   • 솔로어블 다이머 체인의 경우, 증류 가능한 얽힘 $E_D$는 $T=0$에서 정확히 0이다.
   • 임의의 고정된 $T > 0$에 대해, 얽힘은 시스템 크기에 따라 로그 함수적으로 발산한다:
     $$E_D = \frac{1}{2} \log_2 N + C(T) + o(1)$$
   • 희박(dilute) 영역에서 열역학적 극한으로의 전이는 활동도 $x = (N/4)e^{-\Delta/T}$에 의해 제어되는 수정된 베셀 함수를 포함하는 보편적 교차 함수(universal crossover function)에 의해 지배된다. 발생 온도(onset temperature)는 $T^*(N) \approx \Delta / \ln N$으로 스케일링된다.

2. 국소 체인에 대한 일반 정리:

   • 정리 1은 국소 $SU(2)$불변인 전역 싱글렛 섹터 내의 임의의 유한 범위 체인에 대해, 국소 표현-공간 증류 프로토콜의 수율$Y_N$이 다음을 만족하는 고온 구간이 존재함을 확립한다:
     $$Y_N = \frac{1}{2} \log_2 N + O_\beta(1)$$
   • 따라서, 증류 가능한 얽힘은 $E_D \ge Y_N$을 만족한다. 계수 $1/2$은 $SU(2)$요동 구름의 3차원적 성질과 표현 차원의 선형적 성장($d_j \sim 2j$)에서 기인하는 보편적인 값이다.

3. 유한 크기 징후:

   • 좌절된 $J_1-J_2$ 체인의 수치적 대각화는 잔여 수율($Y_N - \frac{1}{2}\log_2 N$)이 $O(1)$ 수준임을 확인하며, 재스케일링된 스핀 $j/\sqrt{N}$의 분포가 이론적 예측과 일치하는 고정된 프로파일로 수렴함을 보여준다.

의의 및 주장
본 논문은 열적 요동이 비가환 강한 대칭성에 의해 제약될 때, 정확히 얽힘이 없는 상태로부터 어떻게 무제한의 운용 가능한 양자 자원을 생성할 수 있는지를 입증한다고 주장한다.

• 열적 파괴의 역전: 표준적인 시나리오와 달리, 가열은 얽힘을 파괴하는 것이 아니라, 열 에너지를 표현-공간 얽힘으로 변환한다.
• 운용 가능한 자원: 생성된 얽힘은 단순한 이론적 양치가 아니라, 국소 연산 및 고전적 통신(LOCC)을 통해 추출 가능한 운용 가능한 자원(distillable ebits)이다.
• 비가환 극한 (Non-Commuting Limits): 결과는 다음과 같은 극한의 비가환성을 강조한다: $\lim_{T \to 0} \lim_{N \to \infty} E_D = \infty$인 반면, $\lim_{N \to \infty} \lim_{T \to 0} E_D = 0$이다.
• 아벨 대칭성과의 구별: 이 메커니즘은 비가환 전하에 결정적으로 의존한다. 아벨 대칭성 섹터에서는 기약 표현이 1차원이며, 얽힘의 로그 성장에 필요한 표현-차원 기여를 제공하지 못한다.
• 국소성의 역할: 이 메커니즘은 국소성에 의존한다. 국소적 상호작용은 벌크 요동($O(\sqrt{N})$)을 허용하는 반면, 비국소적 패널티는 스핀을 $O(1)$로 가두어 자원을 억제할 수 있다.

이 연구는 대칭성이 분해된 얽힘(symmetry-resolved entanglement) 및 강한 대칭성을 가진 정상 상태에 대한 기존 연구를 확장하여, 임의의 유계된 유한 범위 상호작용이 어떻게 주요 로그 계수를 보존하면서 다중도 섹터를 재가중할 수 있는지 보여주며, 온도가 얽힘 생성을 위한 활성화 파라미터로 작용함을 명시적인 모델을 통해 제시한다.