Complex Operator Growth in Dissipative Quantum Systems

기술 요약: 소산적 양자계에서의 복소 연산자 성장 (Complex Operator Growth in Dissipative Quantum Systems)

문제 제기
보편적 연산자 성장 가설(Universal Operator-Growth Hypothesis, OGH)은 폐쇄된 카오스 양자계에서 연산자 성장을 지배하는 란초스 계수($b_n$)가 선형적으로 성장($b_n \simeq \alpha n$)한다고 상정한다. 이 속도 $\alpha$는 리아푸노프 지수($\lambda_L \leq 2\alpha$)의 상한을 결정하며 크릴로프 복잡도(Krylov complexity)의 지수적 성장을 제어한다. 그러나 실제 물리계는 열려 있으며 마르코프적 소산(Markovian dissipation)의 영향을 받는다. 이러한 시스템에서 동역학의 생성자(generator)는 린블라디안(Lindbladian)이며, 이는 비에르미트(non-Hermitian) 성질을 갖는다. 결과적으로 표준 대칭 란초스 알고리즘은 실패하며, 아놀디 반복법(Arnoldic iteration)이나 바이-란초스(bi-Lanczos) 스킴이 필요하다. 기존 연구들은 약한 소산이 있는 시스템(예: large-$q$ SYK)에 대해 계수를 수치적으로 계산해 왔으나, 발생하는 복소 계수들—특히 대각 항—에 대한 물리적 및 해석적 이해는 부족했다. 핵심 질문은 생성자가 비에르미트가 될 때 연산자 성장 구조가 어떻게 수정되는지, 그리고 카오스 상한이 유지되는지 여부이다.

방법론
저자들은 와이트먼 내적(Wightman inner product) $(A|B) = \text{Tr}(A^\dagger B)/\dim$를 사용하여 무한 온도에서의 연산자 성장을 분석한다. 동역학은 인접 린블라디안 $G = L_0 + D$에 의해 생성된다. 여기서 $L_0 = i[H, \cdot]$는 반에르미트 리우빌리안(anti-Hermitian Liouvillian)이고 $D$는 소산자(dissipator)이다.

1. 재귀 스킴(Recursion Scheme): 저자들은 초기 연산자 $O_0$에 대해 벡터화된 린블라디안에 아놀디 반복법(full re-orthogonalization 포함)을 적용한다. 이는 실수 부하부-대각(sub-diagonal) 요소 $b_n$과 복소 대각 요소 $a_n$을 갖는 상부 헤센베르그 행렬(upper-Hessenberg matrix) $h$를 생성한다.
2. 복소 속도 정의: 점근적 성장은 복소 속도 $\alpha_C = \alpha_R + i\alpha_I$로 특징지어지며, 이는 극한 $b_n \to \alpha_R n$ 및 $-\text{Re}(a_n) \to \alpha_I n$에 의해 정의된다.
3. 연구 모델: 저자들은 다음 모델들을 분석한다:
   • 벌크 디페이징(bulk dephasing)이 있는 카오스 혼합 장 이징 사슬 ($L_i = \sqrt{\gamma} Z_i$).
   • 마요라나 디페이징이 있는 large-$q$ Sachdev-Ye-Kitaev (SYK) 모델.
   • 연속 변수 시스템으로서의 보즈-허브드 트리머(Bose-Hubbard trimer) (강건성 테스트용).
4. 해석적 도구: 저자들은 생성자의 대칭성($G^\dagger(\gamma) = -G(-\gamma)$)으로부터 유도된 정확한 항등식과 국소적 마르코프 생성자를 위한 일반화된 리브-로빈슨(Lieb-Robinson) 경계로부터 유도된 모멘트 상한을 활용한다.

주요 기여 및 결과

1. 허수 속도에 대한 정확한 항등식 (Pillar 1)
저자들은 실수부 대각 아놀디 계수에 대한 정확한 항등식을 유도한다:
$$\text{Re}(a_n) = -2\gamma \langle \hat{G} \rangle_n$$
여기서 $\hat{G}$는 연산자의 무게를 소산 채널(예: 스핀의 횡방향 무게) 내에서 측정하는 "그레이딩(grading)" 연산자이다.

• 물리적 해석: 허수 속도 $\alpha_I = 2\gamma \sigma_G$ (여기서 $\sigma_G$는 크릴로프 사슬을 따른 그레이딩 무게의 기울기)는 성장하는 연산자가 환경 결합 채널에서 무게를 축적하는 비율을 측정한다.
• 대칭성 및 패리티(Parity): 생성자 대칭 $G^\dagger(\gamma) = -G(-\gamma)$는 부하부 계수 $b_n$이 $\gamma$의 짝함수(even function)인 반면, $\text{Re}(a_n)$은 홀함수(odd function)임을 의미한다. 결과적으로:
  • $\alpha_R(\gamma) = \alpha_R(0) + O(\gamma^2)$: 복잡도 성장률은 이차항으로만 재정규화된다.
  • $\alpha_I(\gamma) = 2\kappa_0 \gamma + O(\gamma^3)$: 허수 속도는 닫힌 시스템의 횡방향 무게 기울기 $\kappa_0$에 의해 완전히 결정되며 선형적으로 켜진다.
• Large-$q$ SYK: 마요라나 디페이징이 있는 SYK 모델에 대해, 저자들은 다음과 같은 폐쇄형 표현식을 얻는다:
  $$\alpha_C = J - 2i(q-2)\gamma$$
  여기서 허수부는 상호작용 범위 $q$에 의해서만 고정되며 결합 상수 $J$와는 독립적이다.

2. 소산적 카오스 상한 (Pillar 2)
저자들은 OGH가 열린 시스템으로 확장된다고 주장한다. 생성자 $G$가 국소적이고 유계인 슈퍼연산자들의 합임을 입증함으로써, 생성자의 $n$제곱 노름에 대한 상한을 도출한다: $\|G^n O\| \leq (cw)^n n! \|O\|$.

• 해석적 띠(Analyticity Strip): 이는 자기상관 함수 $C(t)$가 $|\text{Im } t| < \tau(\gamma)$인 띠 내에서 해석적임을 의미하며, 이 띠의 폭은 소산에 의해 최대 $O(\gamma)$만큼 좁아진다.
• 상한: 계수들의 팩토리얼 모멘트 상한이 선형적인 란초스 계수 성장을 함의한다는 정칙성 조건(폐쇄계 OGH의 기초가 되는 가정과 동일)을 가정할 때, 저자들은 다음과 같은 상한을 제안한다:
  $$\lambda_L^{\text{open}} \leq 2\alpha_R(\gamma) \leq 2\alpha_R(0) + O(\gamma)$$
  이는 소산이 연산자 성장의 속도를 억제하는 것이 아니라, 속도를 복소 평면으로 회전시킨다는 것을 시사한다.

3. 속도와 피크 복잡도의 구분
저자들은 점근적 성장률과 유한 시간 피크 크릴로프 복잡도를 구분한다. $\alpha_R$(속도)은 약한 소산에 의해 증가하거나 안정적으로 유지되는 반면, 피크 크릴로프 복잡도는 $\gamma$에 따라 단조 감소한다. 이는 깊이에 따른 감쇠 항 $\text{Re}(a_n) \propto -n$이 큰 크릴로프 깊이에서 진폭을 제거하여, 초기 기울기가 증가함에도 불구하고 복잡도 곡선의 높이를 억제하기 때문이다.

의의 및 주장
본 논문은 허수 속도 $\alpha_I$가 환경에 의해 분해된 새로운 관측량이며, 소산적 연산자 확산에 대한 정확한 패리티-홀(parity-odd) 측도임을 주장한다.

• 보편성 대 비보편성: 허수 속도의 크기($\sigma_G$)는 모델 의존적(비보편적)이지만, 구조적 특징들—선형적 시작, 그레이딩 연산자와의 연결에 대한 정확한 항등식, 그리고 패리티 대칭성—은 보편적이다.
• 성장의 강건성: 핵심 결론은 소산이 복잡도 성장률 $\alpha_R$을 감소시키는 방식으로 연산자 성장을 늦추지 않는다는 것이다. 대신, 성장률은 복소 평면으로 "강체 회전(rigid rotation)"한다.
• 실험적 접근성: 저자들은 대각 계수 $a_n$(및 $\alpha_I$)이 시간에 대해 짝함수가 아닌 자기상관 함수 $C(t)$의 성분에 인코딩되어 있어, 란초스 계수를 추출하는 데 사용되는 표준 재귀법을 통해 접근 가능하다는 점을 언급한다.

저자들은 카오스 상한에 대해 신중한 태도를 유지하며, 식 (8)이 팩토리얼 모멘트 상한이 선형 계수 성장을 함의한다는 미증명된 정칙성 가정에 의존하는, "OGH 자체와 동일한 수준의" 추측임을 명시한다. 그들은 이 상한을 증명하는 것이 아니라, 동일한 논리적 제약 하에 OGH 프레임워크를 열린 시스템으로 확장하는 것을 목표로 한다.