Nonequilibrium steady state in Lindblad dynamics for infinite quantum spin systems

기술적 요약: 무한 양자 스핀 시스템의 린드블라드 역학에서의 비평형 정상 상태

문제 정의
본 논문은 무한 격자 위에 정의된 개방형 양자 스핀 시스템에 대한 비평형 정상 상태(NESS) 및 시간 평균 비평형 정상 상태(TANESS)의 엄밀한 수학적 정식화를 다룬다. 비평형 상(NESS phases)은 물리적으로 매우 중요한 주제이지만, 무한 시스템에서의 연산자 대수적 정의는 평형 상태에 비해 미비한 실정이다. 핵심적인 어려움은 두 가지 근본적인 극한 사이의 비가환성에서 발생한다: 열역학적 극한(시스템 크기 $\Lambda \to \Gamma$)과 장시간 극한($t \to \infty$ 또는 시간 평균)이다. 유한 시스템에서 NESS는 일반적으로 리우빌리안 생성자의 커널(kernel)로 정의된다. 그러나 무한 격자에서 리우빌리안은 유계가 아닌 연산자이므로, 커널의 정의가 모호해진다. 또한, 무한 시스템의 NESS가 유한 부체계의 NESS들의 열역학적 극한과 일치하는지 여부도 명확하지 않다.

방법론
저자들은 가산 격자 $\Gamma$ 상의 양자 스핀 시스템을 기술하기 위해 $C^*$-대수적 프레임워크를 사용한다.

1. 역학: 저자들은 준국소 대수(quasi-local algebra) $\mathcal{A}$ 상에서 작용하는 생성자 $\mathcal{L}$에 의해 정의되는 린드블라드 역학을 활용한다. 이러한 역학의 열역학적 극한의 존재성은 특정 국소성 가정(가정 2) 하의 리브-로빈슨(Lieb-Robinson) 경계에 의해 보장된다.
2. 정의:
   • NESS ($\omega_{ss}$): 진화된 상태들의 넷(net) $(\omega \circ \gamma^\Gamma_t)_{t>0}$의 약-$*$ 클러스터 점(weak-$*$ cluster point)으로 정의된다.
   • TANESS ($\omega_{ss}^{ave}$): 시간 평균된 상태들 $(\frac{1}{T}\int_0^T \omega \circ \gamma^\Gamma_t dt)_{T>0}$의 약-$*$ 클러스터 점으로 정의된다.
3. 스펙트럼 분석: 분석의 핵심은 유한 부체계 $\Lambda$ 상의 리우빌리안 $\mathcal{L}_\Lambda$의 스펙트럼 특성을 연구하는 것이다. 저자들은 세 가지 유형의 스펙트럼 갭을 도입한다:
   • $\Delta_\Lambda$: "라인 갭(line gap)"으로, 0이 아닌 스펙트럼과 허수축 사이의 거리를 측정한다.
   • $\Delta^p_\Lambda$: "포인트 갭(point gap)"으로, 0이 아닌 스펙트럼과 원점 사이의 거리를 측정한다.
   • $\Delta^{ex}_\Lambda$: "예외적 갭(exceptional gap)"으로, 비-반단순(non-semisimple) 고윳값과 허수축 사이의 거리를 측정한다.
4. 조건수(Condition Number): 방법론의 핵심 요소는 조건수 $\kappa_{\Lambda'}(V^\epsilon_\Lambda)$의 도입이다. 이는 정규화된 리우빌리안을 조르단 표준형으로 변환하는 선형 사상 $V^\epsilon_\Lambda$의 안정성을 측정함으로써 리우빌리안의 정규성 이탈(departure from normality)을 정량화한다.

주요 기여 및 결과

1. 가환성을 위한 충분 조건:
   주요 이론적 기여는 열역학적 극한과 장시간 극한(또는 시간 평균)이 서로 교환 가능하게 되는 충분 조건을 확립하는 것이다.

   • 정리 8 (NESS): 만약 유한 부체계들의 리우빌리안이 균등한 라인 갭($\Delta_\Lambda \ge \Delta > 0$)과 균등한 예외적 갭($\Delta^{ex}_\Lambda \ge \Delta^{ex} > 0$)을 가지며, 조건수 $\kappa_{\Lambda'}$가 상한으로부터 균등하게 유계라면, 무한 시스템의 NESS는 유일하며 유한 시스템 NESS들의 열역학적 극한과 같다.
   • 정리 10 (TANESS): 마찬가지로, 균등한 포인트 갭($\Delta^p_\Lambda \ge \Delta^p > 0$)과 균등한 예외적 갭이 존재하고 조건수가 균등하게 유계라면, TANESS는 유일하며 열역학적 극한과 교환 가능하다.

2. 조건수의 역할:
   본 논문은 스펙트럼 갭만으로는 극한의 가환성을 보장하기에 불충분하다는 것을 입증한다. 조건수는 필수적인 제약 조건으로 제시된다.

   • 반례 (섹션 5): 저자들은 특정 소산 결합(dissipative couplings)을 가진 스핀 체인을 포함하는 구체적인 모델을 구성한다. 이 모델에서 스펙트럼 갭($\Delta_\Lambda, \Delta^{ex}_\Lambda$)은 모든 유한 부체계에 대해 균등하게 0에서 떨어져 있는 상태를 유지한다. 그러나 조건수는 시스템 크기가 증가함에 따라 발산한다. 이 모델에서 열역학적 극한과 장시간 극한은 서로 교환되지 않는다. 즉, 무한 극한을 먼저 취하여 얻은 NESS는 유한 시스템 NESS들의 극한과 다르다. 이는 비정규성(조건수에 의해 포착됨)이 스펙트럼 갭이 안정성을 시사함에도 불구하고 열역학적 극한에서 정상 상태를 불안정하게 만들 수 있음을 강조한다.

3. 온사이트(Onsite) 리우빌리안에 대한 적용:
   저자들은 대각화 가능한 온사이트 리우빌리안(생성자가 단일 사이트 항들의 합인 경우)에 대해 조건수가 자동으로 균등하게 유계임을 증명한다(정리 14). 결과적으로, 이러한 시스템에서 극한의 가환성은 오직 스펙트럼 갭의 존재 여부에 달려 있다(따름정리 18).

의의
본 논문은 무한 개방 양자 시스템에 대한 NESS 및 TANESS의 엄밀한 연산자 대수적 정의를 제공하여, 유한 시스템의 수치적/해석적 접근법과 무한 시스템의 이론적 물리학 사이의 간극을 메운다.

• 이는 "NESS의 열역학적 극한"이 반드시 "열역학적 극한의 NESS"와 동등한 것은 아님을 명확히 한다.
• 저자들은 전통적인 스펙트럼 갭과 더불어, 조건수를 열역학적 극한에서의 정상 상태 안정성을 지배하는 핵심적인 물리량으로 식별하였다. 이는 리우빌리안이 흔히 비정규(non-normal)인 비-에르미트 물리(non-Hermitian physics) 및 개방형 양자 시스템에서 특히 중요하다.
• 본 연구는 NESS에서의 물질 상(phases of matter)을 특징짓기 위한 프레임워크를 구축하였으며, 향후 연구([46]로 인용됨)가 이 형식론 내에서 자발적 대칭성 깨짐을 조사할 것임을 언급하였다.

저자들은 새로운 실험적 설정이나 광범위한 물리적 응용을 제안하기보다는, 특정 스펙트럼 및 안정성 조건 하에서의 이러한 상태들의 수학적 존재성과 유일성에 초점을 맞추어 겸손한 범위를 유지한다.