Solving short and long time dynamics of closed quantum many-body systems is one of the main challenges of both atomic and condensed matter physics. For locally interacting closed systems, the dynamics of local observables can always be expanded into (pseudolocal) eigenmodes of the Liouvillian, so called dynamical symmetries. They come in two classes - transient operators, which decay in time and perpetual operators, which either oscillate forever or stay the same (conservation laws). These operators provide a full characterization of the dynamics of the system. Deriving these operators, apart from a very limited class of models, has not been possible. Here, we present a method to numerically and analytically derive some of these dynamical symmetries in infinite closed systems by introducing a naturally emergent open boundary condition on the Krylov chain. This boundary condition defines a partitioning of the Krylov space into system and environment degrees of freedom, where non-local operators make up an effective bath for the local operators. We demonstrate the practicality of the method on some numerical examples and derive analytical results in two idealized cases. Our approach lets us directly relate the operator growth hypothesis to thermalization and exponential decay of observables in chaotic systems.
논문 ID : 2503.07403제목 : Opening Krylov space to access all-time dynamics via dynamical symmetries저자 : Nicolas Loizeau, Berislav Buča, Dries Sels소속 기관 : Niels Bohr Institute (Copenhagen), Université Paris-Saclay, University of Oxford, New York University, Flatiron Institute분류 : quant-ph (양자물리학)발표 시간 : 2025년 8월 22일 (v2 버전)논문 링크 : https://arxiv.org/abs/2503.07403v2 본 논문은 폐쇄 양자 다체 시스템의 단시간 및 장시간 동역학의 핵심 문제를 해결한다. 국소 상호작용을 가진 폐쇄 시스템의 경우, 국소 관측량의 동역학은 Liouvillian의 (의사국소) 고유 모드, 즉 동역학 대칭성으로 전개될 수 있다. 이러한 연산자는 두 가지로 분류된다: 시간에 따라 감소하는 과도 연산자와 영구적으로 진동하거나 불변으로 유지되는 영원한 연산자(보존량). 본 논문은 Krylov 사슬에 자연적으로 나타나는 개방 경계 조건을 도입하여 이러한 동역학 대칭성을 수치적 및 해석적으로 도출하는 방법을 제안한다. 이는 Krylov 공간을 시스템과 환경 자유도로 분할하며, 여기서 비국소 연산자가 국소 연산자의 유효 욕조를 구성한다.
양자 다체 동역학의 계산 난제 : 폐쇄 양자 다체 시스템의 단시간 및 장시간 동역학을 푸는 것은 원자물리학 및 응축물질물리학의 주요 도전 과제 중 하나이다.동역학 대칭성 추출의 어려움 : 이론적으로 국소 관측량의 동역학은 Liouvillian의 고유 모드(동역학 대칭성)로 완전히 특성화될 수 있지만, 극히 소수의 모델을 제외하고는 이러한 연산자를 도출하는 것이 불가능했다.완전한 동역학 특성화 : 동역학 대칭성은 시스템 동역학의 완전한 특성화를 제공하며, 임의의 연산자 O와 초기 상태 ρ에 대해 시간 진화는 다음과 같이 표현된다: Tr(O(t)ρ) = ∑_ω e^(iωt)μ_ω비평형 현상의 이해 : 다체 국소화, 시간 결정, 양자 흉터, 단편화 등의 비자명한 동역학 거동을 이해하는 데 필수적이다.열화 메커니즘 : 혼돈 시스템에서 상관 연산자 증가 가설과 열화 및 관측량의 지수 감소를 연결한다.유한 시스템 제한 : 유한 폐쇄 시스템의 Liouvillian 스펙트럼은 순수 실수이므로 열역학 극한 특성을 탐지할 수 없다.의사 모드 전개 방법 : 이전 방법(Refs 96,97 )은 평형 상태 근처의 동역학에 국한되어 있다.의사국소성 미연구 : 이전 연구에서는 동역학 대칭성의 (의사)국소성을 조사하지 않았으나, 이는 비평형 물리학에 영향을 미치는 핵심 요소이다.Krylov 사슬에 개방 경계 조건을 도입하여 시스템-환경 분해를 실현하는 더욱 엄밀한 방법을 제안한다:
국소 양을 시스템에 지원 비국소 양이 환경을 구성 어떤 동역학 대칭성이 의사국소이고 따라서 관련성이 있는지 식별 가능 새로운 개방 경계 조건 방법 : Krylov 사슬의 특정 위치 L에 산일 경계 조건을 도입하여 파동함수의 비물리적 반사를 방지하는 방법을 제안한다:
∂t φ_L = (b_L + b {L+1})φ_ - 2b_{L+1}φ_L시스템-환경 분할 프레임워크 : Krylov 공간의 자연적 분해를 확립한다:좌측(시스템): 단순한 국소 연산자, 점프 계수가 정확히 알려짐 우측(환경): 복잡한 비국소 연산자, 유효 욕조 구성 이상적 경우의 해석해 : 두 가지 이상화된 경우에 대한 정확한 해를 제시한다:선형 증가 b_n = n: 고유 벡터는 Meixner 다항식으로 표현 제곱근 증가 b_n = √n: 고유 벡터는 Hermite 다항식으로 표현 연산자 증가와 열화의 직접적 연결 : 선형 증가 경우(혼돈 시스템)에서 모든 관측량이 속도 -2α로 지수 감소함을 증명한다. 여기서 α는 Lanczos 계수 증가율이다.수치 검증 및 응용 : XXZ 사슬 및 횡장 Ising 사슬 등 실제 스핀 시스템에서 방법의 유효성을 검증하고 동역학 대칭성을 성공적으로 추출한다.입력 :
Hamiltonian H 초기 연산자 O_0 (또는 초기 상태 밀도 행렬 ρ) 출력 :
동역학 대칭성 A_ω는 H, A_ω = -ωA_ω를 만족 주파수 ω (복소수 가능): 실수부는 진동에 대응, 허수부는 감소에 대응 제약 조건 :
의사국소 동역학 대칭성만 고려(국소 물리학에 영향) 국소 상호작용 시스템 및 단거리 상관 초기 상태에 적용 가능 종자 연산자 O_0에서 시작하여 Liouvillian L = H, · 을 재귀적으로 적용하여 정규직교 기저 {O_n}을 구성한다:
O_1 = LO_0/b_1 = [H,O_0]/b_1, b_1 = ||LO_0||
n > 2인 경우:
O'_n = LO_{n-1} - b_{n-1}O_{n-2}
O_n = O'_n/b_n
b_n = ||O'_n||
여기서 범수는 ||O||² = 1/(2N) TrO² 로 정의된다.
시간 진화는 Krylov 기저에서 1D 단일 입자 점프 문제로 매핑된다:
O(t) = 1/(2N) ∑_n i^n φ_n(t)O_n
계수 진화 방정식:
∂t φ_n = b_n φ - b_{n+1} φ_{n+1}, φ_n(0) = δ_
위치 L에서 사슬을 절단하고, φ_n이 충분히 매끄러워 선형 함수로 국소 근사 가능하다고 가정한다:
φ_{L+1} ≈ φ_L + (φ_L - φ_)
산일 경계 조건을 얻는다:
∂t φ_L = (b_L + b {L+1})φ_ - 2b_{L+1}φ_L
절단된 Liouvillian은 삼중대각 + 경계 수정 형태를 가진다:
L̃ = i × [삼중대각 행렬, 마지막 행은 특수 형태]
마지막 행: [0, 0, ..., b_L + b_{L+1}, -2b_{L+1}]
이 행렬은 비Hermitian이므로 복소 고유값을 허용한다.
매개변수 도입 회피 : Refs 96,97 의 외부 산일 + 외삽과 달리, 본 방법은 추가 매개변수가 필요 없다.매끄러움 가정 : Krylov 파동함수 도함수 연속성의 자연적 가정에 기반국소-비국소 분리 : Krylov 사슬 우측의 연산자는 주로 k>L의 k-국소 Pauli 문자열로 구성된다.Dirichlet 경계 : φ_{L+1} = 0은 비물리적 반사를 초래본 방법 : 환경으로의 흐름을 허용하고 반환하여 연산자 전파를 더 현실적으로 반영이상적 경우(b_n = n 또는 √n)에서:
개방 경계 조건 하의 동역학은 무한 사슬과 거의 구별 불가능(그림 2) 실수부 스펙트럼은 거의 불변이며, 허수부에만 물리적 감소를 도입(그림 3) 선형 증가 경우: 모든 비자명 근은 Im(ω) = -2i를 만족(n=2^12까지 수치 검증) H = ∑_i (s^x_i s^x_{i+1} + s^y_i s^y_{i+1} + Δs^z_i s^z_{i+1} + hs^z_i)
매개변수: Δ = -1/2, h = 2
초기 연산자: O_0 = Q_3 = ∑_i (s^+_i s^+_{i+1}s^+_{i+2} + s^-_i s^-_{i+1}s^-_{i+2})
동역학 대칭성이 존재함이 알려져 있으며, 주파수 ω = 12
H = ∑_i (s^x_i s^x_{i+1} - 1.05s^z_i + 0.5s^x_i)
초기 연산자: O_0 = ∑_i (1.05s^x_i s^x_{i+1} + s^z_i)
자명한 보존량을 배제하기 위해 H와 겹치지 않는 연산자를 선택
도구 : Julia 패키지 PauliStrings.jl (Pauli 문자열 표현을 이용한 효율적 중첩 교환자 계산)평행이동 불변성 : 광범위한 연산자가 아닌 단위 셀만 저장Pauli 절단 강화 : Lanczos 알고리즘의 각 단계에서 최대 가중치를 가진 M개의 Pauli 문자열 유지(알고리즘 1)행렬 곱 연산자(MPO) 시뮬레이션 : 기준선으로 사용표준 Dirichlet 경계 : 비물리적 반사 시연Teretenkov 등의 방법 : 선형 외삽 + 인공 산일(보충 자료 비교)동역학 대칭성 주파수 정확도 : 알려진 결과(XXZ) 또는 해석적 예측(혼돈)과 비교시간 진화 충실도 : TrO_0(0)O_0(t) vs 정확/MPO 결과국소성 척도 : Krylov 기저의 고유 벡터 분포 |ψ_0|²(더 국소적일수록 더 어두움)선형 증가 b_n = n :
개방 경계 조건 하의 동역학은 무한 사슬과 구별 불가능 모든 고유값은 Im(ω) = -2i를 만족 (두 개의 자명한 근 ω = -i, -3i 제외) Dirichlet 경계는 t≈5에서 현저한 비물리적 반사를 초래 제곱근 증가 b_n = √n :
개방 경계 조건은 무한 사슬 동역학을 완벽하게 재현 스펙트럼의 실수부는 거의 불변이며, 허수부는 작은 감소를 도입 동역학 대칭성 복구 : ω = 12 근처에서 알려진 동역학 대칭성을 성공적으로 추출
L=26: Re(ω) ≈ 12.0, Im(ω) ≈ -0.5 Pauli 절단 강화(L=50): 수렴성이 현저히 개선 시간 진화 : TrO_0(0)O_0(t) 는 지속적인 진동을 나타냄(t≈3까지 MPO와 일치)국소성 : 오직 실수값 동역학 대칭성만 국소적(|ψ_0|²는 작은 n에 집중)영원한 대칭성 없음 : 모든 모드가 감소하며 순수 실수 주파수 없음감소율 집중 : 고유값은 Im(ω) ≈ -0.72i 근처에 집중이론적 예측과 일치 : -0.72 ≈ -2λ, 여기서 λ는 Lanczos 계수 증가율지수 감소 : TrO_0(0)O_0(t) 는 0으로 빠르게 감소(MPO와 일치)비국소성 : 모든 모드는 극도로 비국소적(|ψ_0|²는 균등 분포)|ψ_0⟩ = 2^{-N/2}(|0⟩+|1⟩)^⊗N에서 담금질:
Q_1 = ∑_i (s^+_i + s^-_i): 빠른 감소 Q_5 (3차 5-국소 동역학 대칭성 전개): 장시간 진동 서로 다른 L(24-30) 결과는 잘 수렴 표준 절단(회색 선)은 비물리적 거동을 나타냄 Pauli 절단 없음 : L_max = 26 (정확한 계산 한계)Pauli 절단 있음 (2^22개 문자열 유지): L_max = 50
동역학 대칭성 주파수: Re(ω)는 ≈12.1에서 ≈12.05로 개선 Im(ω)는 ≈-0.8에서 ≈-0.2로 개선 XXZ 모델 : Re(ω)는 L=10 이후 안정화, Im(ω)는 지속적으로 개선혼돈 사슬 : 스펙트럼은 L=30 이후 기본적으로 수렴, 진한 색(큰 L) 고유값은 Im(ω)=-2λ 선 근처에 밀집혼돈 사슬 :
Teretenkov 방법(γ=0.2-0.4)의 고유값은 해석적 결과로 수렴하지 않음 본 방법은 Im(ω)=-2λ의 집중을 정확히 재현 XXZ 사슬 :
두 방법 모두 국소 동역학 대칭성(ω=12)의 정확도는 유사 비국소 모드의 예측은 현저히 다름 연산자 증가와 열화의 정량적 관계 : 선형 증가(혼돈) 경우, 감소율은 정확히 -2α이며, 이는 이론적 예측을 직접 검증한다.국소성 판정 기준 : Krylov 표현의 |ψ_0|²는 동역학 대칭성 국소성의 정량화된 지표를 자동으로 제공한다.방법의 적용성 :혼돈 시스템(선형 증가): 우수한 성능, 매끄러움 가정이 잘 작동 적분 가능 시스템(제곱근 증가): 동역학 대칭성 추출 가능하나 수렴이 느림 계산 병목 : 주요 제한은 고차 Lanczos 계수 계산(연산자가 극도로 비국소화됨), Pauli 절단이 효과적인 완화 제공연산자 복잡도 : Parker 등105 이 양자 혼돈에서 연산자 증가 탐지에 사용유체역학 : Refs 97, 117-119 는 수송 특성 연구Floquet 시스템 : Refs 120-124 는 주기 구동 시스템에 적용Mori 투영 : 시간 상관 함수 계산의 초기 방법92 최근 발전 : Refs 96, 97 은 산일 추가 + 외삽 또는 Ruelle-Pollicott 공명 연구 제안98-104 한계 : 평형 상태 근처로 제한, 의사국소성 미고려영원한 평형 : Buča 82 의 이론 프레임워크, 상태 형태 ρ(t) = Z^{-1}exp(∑_u μ_u e^{iλ_u t}A_u)스펙트럼 생성 대수 : Refs 33, 34, 90, 91 관련이나 반드시 의사국소일 필요는 없음시간 결정 및 흉터 : Refs 12, 29-44 에서 동역학 대칭성의 응용무매개변수 : 인공 산일율 등 추가 매개변수 도입 없음외삽 불필요 : 알려진 Lanczos 계수 직접 사용의사국소성 : 관련 의사국소 대칭성을 명시적으로 식별평형에서 멀어짐 : 강한 담금질 등 비평형 상황에 적용 가능방법의 유효성 : 개방 경계 조건은 무한 폐쇄 시스템 Liouvillian 스펙트럼의 수치 계산을 성공적으로 실현한다.이론적 통찰 :혼돈 시스템: 선형 Lanczos 증가 → 모든 관측량이 -2α 속도로 감소 적분 가능 시스템: 제곱근 증가 → 영원한 진동 모드 존재 실용적 가치 : Pauli 문자열 방법과 결합하여 다체 동역학 계산을 위한 강력한 도구 제공매끄러움 가정 : 방법은 Krylov 표현의 φ_n 매끄러움에 의존혼돈 시스템: 선형 증가가 매끄러움 보장 기타 경우: 검증 필요 계산 복잡도 :고차 연산자 O_n은 극도로 비국소화됨 XXZ 모델은 L=26까지만 정확히 계산 가능 Pauli 절단은 근사를 도입하지만 효과적 장시간 정확도 :동역학 대칭성 허수부가 완전히 수렴하지 않아 장시간 오차 누적 더 큰 L 또는 개선된 절단 전략 필요 열 상태 담금질의 어려움 : 열 상태 ρ = e^{-βO_0}에서 담금질은 비교환 연산자 합의 지수 계산이 필요하여 수치적으로 어려움(정상 상태만 처리 가능)양자 회로 : Liouvillian이 상 Hessenberg 행렬인 경우로 일반화107 기타 의사국소 대칭성 :반국소 동역학 대칭성137-139 양자 흉터의 의사국소 대칭성30, 31, 36, 82 NMR 실험 시뮬레이션 : Tr(Z_tot(t)Z_tot(0))의 Fourier 변환 직접 계산140 수렴 개선 :더 정교한 절단 전략 적응형 Pauli 절단 보충 자료의 재귀 알고리즘 최적화 원창적 경계 조건 : 파동함수 매끄러움의 자연적 물리적 가정에 기반하며, 인공 산일 추가와 다름시스템-환경 분할 : 연산자 공간 수준에서 국소-비국소 분리를 실현하는 영리한 프레임워크이론-수치 결합 : 이상적 경우의 해석해(Meixner/Hermite 다항식)와 실제 시스템의 수치 검증이 상호 보완연산자 증가-열화 연결 : 선형 증가 → -2α 감소의 보편적 관계를 처음으로 정량적으로 증명의사국소성 정량화 : |ψ_0|²을 통해 관련 동역학 대칭성을 자동으로 식별영원한 평형 프레임워크 : Buča의 이론82 과 깊이 있게 통합다중 모델 검증 : 적분 가능(XXZ)과 혼돈 사슬의 두 가지 전형적 사례다중 비교 : MPO, Dirichlet 경계, Teretenkov 방법수렴성 분석 : 상세한 L 의존성 및 Pauli 절단 연구부족점 : 더 많은 실제 물리 시스템(예: Hubbard 모델) 테스트 부재오픈 소스 코드 : Julia 구현 제공(GitHub + PauliStrings.jl)알고리즘 최적화 : 평행이동 불변성, Pauli 절단, 재귀 알고리즘 등 실용적 기법재현성 : 상세한 보충 자료 및 매개변수 설정이론적 증명 부재 : φ_n이 언제 충분히 매끄러워 선형 근사 가능한가?실패 경우 : 강한 단편화 또는 특수 경계 조건 하에서 실패 가능제안 : 더 엄밀한 수학적 증명 또는 적용성 판정 기준 필요L 상한 : XXZ는 26에만 도달(50은 절단 필요), 고정확도 응용 제한시스템 크기 : N(시스템 크기)의 의존성 미논의2D 일반화 : 1D 사슬만 다루며, 고차원 시스템은 어려움담금질 유형 : 정상 상태 담금질만, 열 상태 담금질 미실현시간 척도 : 장시간 정확도 제한(XXZ의 경우 t<5)물리량 : 주로 연산자 자기상관, 기타 관측량 부족보충 자료만 : 주 논문에서 상세 논의 부재매개변수 민감도 : γ 및 외삽 방안의 영향을 체계적으로 연구하지 않음우열 분석 : 본 방법이 언제 더 우수한가? 언제 동등한가?패러다임 전환 : 개방 시스템 사고를 폐쇄 시스템 동역학 연구에 도입보편적 도구 : 광범위한 양자 다체 문제에 적용 가능이론적 기초 : 열화, 시간 결정, 흉터 등 이해를 위한 통일 프레임워크 제공수치 방법 : 실제 시스템 동역학 계산에 직접 사용 가능실험 지도 : NMR 등 실험의 이론적 지원한계 : 계산 비용이 초대형 시스템 응용을 제한코드 오픈 소스 : GitHub 완전 구현상세 문서 : 보충 자료에 모든 알고리즘 세부 사항 포함매개변수 투명성 : 모든 실험 설정 명확1D 국소 상호작용 시스템 : 스핀 사슬, 격자 보손 등혼돈 시스템 : Lanczos 선형 증가가 방법 유효성 보장단중기 동역학 : t<10τ(특성 시간 척도)국소 관측량 : k-국소 연산자 측정강한 단편화 시스템 : 매끄러움 가정이 실패할 수 있음장거리 상호작용 : Krylov 공간 구조가 다를 수 있음극장시간 동역학 : 허수부 수렴 부족으로 오차 누적고차원 시스템 : 계산 비용이 급격히 증가개방 시스템 : 이미 Lindbladian 프레임워크가 더 적합강한 측정 시스템 : 다른 이론 도구 필요고전 극한 : 과도하게 복잡, 고전 방법이 더 간단정확한 시간 진화 Ȯ = iH,O , 경계 조건에 대응:
Ȯ = iH,O - 1/(2N) Tr(O_L† iH,O )O_L
개방 경계 조건 대입:
Ȯ = iH,O - 1/(2N) Tr(O_L† iH,O )O_L + ib_{L+1}Tr(O_† O)O_L - 2b_{L+1}Tr(O_L† O)O_L
경계 조건이 환경으로의 연산자 흐름을 어떻게 균형 잡는지 보여준다.
선형 증가 b_n = n일 때, 고유 벡터:
φ_n(ω) = i^n M_n(ω)/n!
여기서 M_n은 재귀 관계를 만족: M_{n+1}(x) = xM_n(x) - n²M_(x)
경계 조건은 주파수 제약을 제공:
(ω + 2i(L+1))M_L(ω) = (2L+1)LM_(ω)
자명한 근 ω = -i, -3i는 φ_n ∝ 1 및 φ_n ∝ 2n-1에 대응
동역학 대칭성 추출 개선:
k-국소 O_0을 무작위로 초기화 L̃을 대각화하고, 주파수 ≈ω의 고유 모드 A_ω 선택 A_ω를 k-국소로 절단, O_0 ← truncate(A_ω) 업데이트 수렴까지 반복 XXZ 모델에서 k=3, 4단계 수렴 Re(ω) 12.14→12.02
82 B. Buča, PRX 13, 031013 (2023) - 영원한 평형 이론105 D. Parker et al., PRX 9, 041017 (2019) - Krylov 복잡도96,97 A. Teretenkov, O. Lychkovskiy 등, PRB (2024) - 의사 모드 전개12 B. Buča 등, Nat. Commun. 10, 1730 (2019) - 시간 결정29-44 양자 흉터 시리즈 문헌119 N. Loizeau 등, SciPost (2025) - PauliStrings.jl1 L. D'Alessio 등, Adv. Phys. 65, 239 (2016) - 열화 종합 검토86-89 의사국소성 이론(Prosen, Doyon 등)종합 평가 : 이것은 양자 다체 동역학 분야에서 중요한 혁신을 이루는 우수한 논문이다(평점 4.5/5). 핵심 방법(개방 경계 Krylov 사슬)은 간결하고 우아하며 물리적 이미지가 명확하고, 이론 유도는 엄밀하며(이상적 경우 해석해), 수치 검증은 충분하다. 주요 기여는 연산자 증가와 열화의 정량적 관계를 확립하고 실용적인 수치 도구를 제공하는 것이다. 주요 한계는 매끄러움 가정의 적용 범위를 더 명확히 해야 하고 계산 확장성이 있다는 점이다. 양자 다체 시스템의 비평형 동역학, 시간 결정, 양자 흉터 등 최첨단 문제를 연구하는 연구자들에게 이것은 필독 문헌이다.