오픈 양자 시스템에서 크리로프 복잡도 소산과 탈상관의 동역학

초록

본 논문은 Lindblad 마스터 방정식을 이용해 보손 배치 모델, 특히 Caldeira‑Leggett 모델에서 크리로프 복잡도를 정의하고 계산한다. 감쇠 조화 진동자와 고온 제한에서의 Caldeira‑Leggett 시스템을 대상으로, 소산 항이 활성화될 때 복잡도가 급격히 포화하고, 탈상관 항만 남을 경우 진동적 특성이 나타나는 것을 확인한다. 그러나 탈상관의 시작을 명확히 구분하는 신호는 크리로프 복잡도에서 관찰되지 않는다. 이는 크리로프 기저가 전통적인 탈상관 분석에 사용되는 기저와 일치하지 않기 때문이라고 저자들은 해석한다.

상세 분석

이 연구는 오픈 양자 시스템의 동역학을 정량화하는 새로운 지표로서 크리로프 복잡도(Krylov complexity, KC)를 도입한다는 점에서 의미가 크다. 기존에 회로 복잡도는 게이트 수를 기반으로 한 계산 자원 측정으로, 탈상관과 소산에 민감하게 반응한다는 보고가 있었지만, KC는 연산자 자체가 Krylov 공간에서 어떻게 퍼지는지를 추적한다. 논문은 먼저 Liouvillian(또는 Lindbladian) 연산자를 이용해 Heisenberg 그림에서 연산자 O(t)의 시간 전개를 전개하고, 이를 반복적인 Liouvillian 작용 L^n O 로 정의된 Krylov 기저 {O, L O, L^2 O, …} 로 전개한다. 이때 Lanczos 계수 a_n, b_n을 구하기 위해 두 점 상관 함수 C(t)=⟨O(t)|O(0)⟩의 모멘트 μ_n을 이용하는 ‘moments method’를 적용한다. 오픈 시스템에서는 Lindbladian이 비에르미티안이므로 전통적인 Lanczos 알고리즘이 바로 적용되지 않는다. 저자들은 Arnoldi와 bi‑Lanczos 알고리즘을 검토하고, 특히 bi‑Lanczos를 통해 복소수 대각 원소 a_n과 복소수 오프다이아고날 원소 b_n, c_n을 실수 양수 ˜b_n=√(b_n c_n) 형태로 변환한다. 이 변환은 상삼각 형태를 유지하면서도 모멘트와 ˜b_n 사이의 관계식 ˜b_n^2=τ_{n+1} τ_{n-1} / τ_n^2 를 그대로 사용할 수 있게 만든다.

감쇠 조화 진동자 모델에서는 단일 Lindblad 점프 연산자 L=√γ a 를 도입해 광자 방출을 기술한다. 이 경우 Liouvillian의 구조가 비교적 단순해 Lanczos 계수가 빠르게 수렴하고, KC는 초기 급격한 성장 후 일정 값에 포화한다. 이는 에너지 손실이 지속적으로 시스템으로부터 빼앗기면서 연산자 확산이 제한되는 현상을 반영한다.

Caldeira‑Leggett 모델에서는 시스템-열욕조 상호작용을 Markovian하게 가정하고, 고온 제한(k_B T≫ℏω)에서 마스터 방정식이 두 개의 주요 항, 즉 소산(dissipative) 항과 탈상관(decoherence) 항으로 분리된다. 저자들은 각각의 항을 독립적으로 켜고 끄는 ‘분해 실험’을 수행한다. 소산 항만 활성화하면 KC는 앞선 감쇠 진동자와 유사하게 빠르게 포화하고, 시스템의 자유도 손실을 명확히 드러낸다. 반대로 탈상관 항만 남겨두면, KC는 전반적으로 큰 변화를 보이지 않으며, 대신 진동형태의 미세한 변동이 나타난다. 특히 탈상관이 주도하는 경우에도 KC는 장기 포화값이 크게 변하지 않아, 탈상관의 시작점을 식별하기 어렵다. 저자들은 이를 ‘Krylov 기저와 전통적인 탈상관 분석에 사용되는 기저(예: 위치·운동량 기저)의 불일치’로 해석한다.

이러한 결과는 두 가지 중요한 시사점을 제공한다. 첫째, KC는 소산 현상을 포착하는 데 유용하지만, 탈상관을 직접적인 지표로 삼기엔 한계가 있다. 둘째, 오픈 시스템에서 Krylov 기저를 어떻게 선택하느냐에 따라 복잡도 측정이 크게 달라질 수 있음을 보여준다. 따라서 향후 연구에서는 탈상관에 민감한 다른 연산자(예: 밀도 행렬 자체)나 비대칭 Krylov 기법을 도입해 보다 정교한 복잡도 지표를 개발할 필요가 있다.

전반적으로 논문은 복소수 Lindbladian을 다루는 Krylov 방법론을 체계화하고, 구체적인 물리 모델에 적용함으로써 KC가 오픈 양자 시스템의 소산과 탈상관을 어떻게 구분(또는 구분하지 못)하는지를 명확히 보여준다. 이는 양자 열역학, 양자 정보, 그리고 양자 시뮬레이션 분야에서 복잡도 기반 진단 도구를 설계하는 데 중요한 참고 자료가 될 것이다.