다중입자 열린계 정상상태 지역 인증

초록

본 논문은 Lindblad 마스터 방정식으로 기술되는 다체 열린 양자 시스템의 정상상태에서 특정 관측값의 기대값을 엄격히 구간으로 제한하는 새로운 완화(relaxation) 기법을 제시한다. 전역 밀도 행렬 대신 k개의 연속된 입자에 대한 축소 밀도 행렬을 변수로 삼고, 전역 정상상태와의 일관성 조건을 반영한 반정밀도 반정밀도 프로그램(SDP) 형태의 제약식을 구성한다. k를 늘릴수록 허용 영역이 급격히 수축하며, 1차원 및 2차원 모델에 대해 빠른 수렴을 보인다.

상세 분석

이 연구는 기존의 전역 상태를 직접 계산하는 방법이 지수적으로 복잡해지는 문제를 회피하기 위해, “지역 인증(local certification)”이라는 새로운 관점을 도입한다. 핵심 아이디어는 전체 시스템의 정상상태 ρ_s 를 직접 구하는 대신, k개의 연속된 사이트에 대한 축소 밀도 행렬 ρ(k) 를 변수로 삼고, 이들이 전역 정상상태와 호환될 수 있는 최소한의 제약만을 부과하는 것이다.

첫 번째 제약은 양자역학적 기본 조건인 ρ(k) ≥ 0 와 Tr ρ(k)=1 이다. 두 번째는 번역 불변성(translation invariance, TI) 시스템을 다룰 경우, 모든 k-사이트 블록이 동일한 ρ(k) 를 가져야 함을 의미하는 Tr₁ ρ(k)=Tr_k ρ(k) 로 표현된다. 세 번째는 Lindblad 연산자 L† 가 작용했을 때 연산자의 지원(support)이 경계에 비례해 확장된다는 사실을 이용한다. 구체적으로, L†(X) 가 k‑2 사이트에 국한된 연산자 X 에 대해 작용하면, 그 결과는 최대 k 사이트까지 퍼진다. 따라서 Tr