Fast mixing of all-to-all quantum systems at high temperatures

기술 요약: 고온에서의 전방향(All-to-All) 양자 시스템의 빠른 혼합

문제 정의
본 논문은 임의의 $k$-로컬 양자 해밀토니안(Hamiltonian)을 가진 전방향(비기하학적) 상호작용의 열 상태 준비(thermal state preparation) 복잡성을 다룬다. 기하학적으로 국소적인(격자 구조) 시스템에 대해서는 고온에서 효율적인 양자 깁스 샘플링 알고리즘이 존재하지만, 이를 전방향 시스템으로 확장하는 것은 여로써 미해결 과제로 남아 있었다. 비가환(non-commuting) 시스템에 대한 빠른 혼합(fast mixing)의 기존 증명들은 근본적으로 격자 기하학에 내재된 "광원뿔(lightcone)" 구조를 통해 정보 전파를 정량화하는 립-로빈슨(Lieb-Robinson) 경계에 의존한다. 전방향 시스템에서는 이러한 기하학적 국소성이 결여되어 있으며, 표준적인 광원뿔 개념으로는 연산자 성장을 설명할 수 없으므로, 기존의 혼합 시간 분석을 적용할 수 없다. 핵심 문제는, 유계된 상호작용 강도를 가진 임의의 전방향 $k$-로컬 해밀토니안이 충분히 높은 온도에서 시스템 크기에 독립적인 린블라디안(Lindbladian) 역학의 스펙트럼 갭(spectral gap)을 갖는지 여부를 결정하는 것이다.

방법론
저자들은 립- 로빈슨 경계의 필요성을 우회하여 복소 시간 진화(complex-time evolution)와 클러스터 전개(cluster expansions)를 활용하는 새로운 분석적 프레임워크를 개발한다. 증명 전략은 네 가지 주요 기술적 단계로 진행된다:

1. 복소 시간 진화를 위한 클러스터 전개:
   저자들은 국소 연산자의 복소 시간 진화, $A(z) = e^{izHA}e^{-izH}$ ($z \in \mathbb{C}$)에 대한 클러스터 전개를 구축한다. Netočny와 Redig [NR04]의 연구와 그 알고리즘 버전 [MH21]을 바탕으로, 저자들은 $|z|$가 충분히 작을 때(고온에 해당), 국소 연산자의 진화가 연결된 상호작용 클러스터들의 선형 결합으로 분해될 수 있음을 보여준다. 이 전개는 진화의 "준국소성(quasi-locality)"을 정량화하며, 국소 연산자의 영향이 클러스터 내의 상호작용 강도 곱에 따라 제어된 방식으로 다른 사이트로 퍼져나감을 입증한다.

2. 의사 린블라디안(Pseudo-Lindbladian)과 도브루신 조건(Dobrushin Conditions):
   원래의 린블라디안 생성자 $\mathcal{L}$에 결여된 엄격한 국소성을 우회하기 위해, 저자들은 최근 1차원 시스템에 관한 연구 [BC26]에서 영감을 얻어 "의사 린블라디안" 생성자 $\mathcal{K}$를 도입한다. $\mathcal{K}$는 단일 사이트 파울리 점프(Pauli jumps)로부터 구성되며, $\mathcal{L}$에는 없는 명시적인 국소적 특성을 갖지만, 완전 양의 트레이스 보존(CPTP) 맵을 생성하지는 않는다. 저자들은 $\mathcal{K}$가 스펙트럼 갭을 갖기 위한 충분 조건을 비가환 버전의 도브루신 조건을 사용하여 확립한다. 이 조건들은 다음을 요구한다:

• 온도에 대한 국소성: 역온도 $\beta$에서의 생성자는 무한 온도(탈분극) 생성자의 작은 섭동이어야 한다.
• 쌍방향 영향: 한 사이트의 업데이트가 동시에 모든 다른 사이트에 영향을 미쳐서는 안 된다(평균장 유형의 조건).
  클러스터 전개 결과를 사용하여, 저자들은 이러한 조건들이 고온에서 성립함을 증로하며, 이는 $\mathcal{K}$가 시스템 크기에 독립적인 스펙트럼 갭을 가짐을 함의한다.

3. KMS 오실레이터 노름 및 $\mathcal{K}$의 스펙트럼 갭:
   핵심적인 기술적 혁신은 표준 오실레이터 노름을 KMS 내적에 적응시킨 "KMS 오실레이터 노름"의 도입이다. 저자들은 $\mathcal{K}$에 의해 생성되는 역학 하에서 이 노름의 붕괴가 푸앵카레 부등식(Poincaré inequality, 즉 스펙트럼 갭)을 함의함을 증명한다. 저자들은 복소 시간 진화 경계로부터 도출된 도브루신 조건이 이러한 붕괴를 보장함을 입증한다.

4. 디리클레 형식 비교(Dirichlet Form Comparison):
   마지막으로, 저자들은 의사 린블라디안 $\mathcal{K}$의 스펙트럼 갭을 원래의 린블라디안 $\mathcal{L}$([CKG23])과 연결한다. 저자들은 디리클레 형식 비교를 수행하여, $\mathcal{L}$의 소산율(dissipation rate)이 온도에 의존하는 상수를 제외하고 $\mathcal{K}$의 소산율보다 낮다는 것을 보여준다. 이 단계에서는 린블라디안의 디리클레 형식 내에서 연산자 푸리에 변환의 시간 및 주파수 의존성을 "벗겨내는(peeling off)" 과정이 포함되며, 이때 복소 시간 진화의 수렴성을 활용하여 오차 항을 제한한다.

주요 기여 및 결과

• 주요 정리 (정리 1.3): 본 논문은 유계된 상호작용 강도를 가진 임의의 전방향 $k$-로컬 해밀토니안에 대해, 모든 $\beta < \beta_c$에 대하여 [CKG23] 린블라디안이 시스템 크기 $n$에 독립적인 스펙트럼 갭을 갖는 보편적 상수 $c$와 임계 역온도 $\beta_c$가 존재함을 증명한다.
• 알고리즘적 함의 (따름정리 1.4): 직접적인 결과로서, 본 논문은 이러한 시스템의 분배 함수(partition function)와 전역 기댓값을 추정하기 위한 완전 다항 시간 양자 근사 스킴(FPTAS)의 존재를 확립한다. 혼합 시간은 $O(n + \log(1/\epsilon))$으로 나타나며, 이는 양자 컴퓨터를 통한 효율적인 상태 준비를 가능하게 한다.
• 일반화: 본 연구는 기존의 증명들이 격자 해밀토니안에 국한되었던 문헌상의 중요한 공백을 메우며, 기하학적 국소성을 넘어선 기존의 빠른 혼합 결과를 일반화한다.

의의 및 주장
본 논문은 고온에서 임의의 전방향 상호작용 시스템을 묘사하는 양자 마르코프 체인에 대한 시스템 크기 독립적 스펙트럼 갭의 첫 번째 무조건적 증명을 제공한다고 주장한다. 저자들은 자신의 연구를 양자 스핀 글래스(spin glass) 및 Sachdev-Ye-Kitaev (SYK) 모델과 같은 더 복잡한 무질서 시스템의 혼합 시간을 이해하기 위한 디딤돌로 위치시킨다.

그러나 논문은 그 범위에 대해 겸허한 어조를 유지한다. 저자들은 현재의 기술이 무작위 양자 해밀토니안(스핀 글래스)을 다루기에는 불충분하다고 명시하며, 고전 통계 역학에서 격자 혼합 증명과 스핀 글래스 증명 사이의 역사적 간극을 유추한다. 또한, 결과가 효율적인 양자 알고리즘을 함의함에도 불구하고, 저자들은 자신들의 방법이 아직 이러한 시스템에 대한 개선된 고전적 시뮬레이션 알고리즘을 제공하지는 못한다는 점을 인정하면서도, 도출된 경계가 향후 연구에서 그러한 목적으로 활용될 수 있음을 시사한다. 본 연구는 복소 시간 연산자 성장과 비가환 도브루신 조건의 상호작용에 의존하여, 비기하학적 시스템으로 양자 혼합 이론을 확장하는 기초적인 단계로 제시된다.