[논문 리뷰] An efficient and exact noncommutative quantum Gibbs sampler

Chi-Fang Chen, Michael J. Kastoryano외 1명|arXiv (Cornell University)|2023. 11. 15.

Markov Chains and Monte Carlo Methods인용 수 10

한 줄 요약

본 논문은 임의의 비가환 해밀토니안의 Gibbs 상태에 대해 처음으로 효율적으로 구현 가능하고 정확하게 상세 균형을 갖는 Lindbladian을 구성하고, 양자 메토로폴리스와 유사한 연속 시간 Gibbs 샘플러를 제공하며 양호한 국소성 및 순수화 특성을 보인다.

ABSTRACT

Preparing thermal and ground states is an essential quantum algorithmic task for quantum simulation. In this work, we construct the first efficiently implementable and exactly detailed-balanced Lindbladian for Gibbs states of arbitrary noncommutative Hamiltonians. Our construction can also be regarded as a continuous-time quantum analog of the Metropolis-Hastings algorithm. To prepare the quantum Gibbs state, our algorithm invokes Hamiltonian simulation for a time proportional to the mixing time and the inverse temperature $β$, up to polylogarithmic factors. Moreover, the gate complexity reduces significantly for lattice Hamiltonians as the corresponding Lindblad operators are (quasi-) local (with radius $\simβ$) and only depend on local Hamiltonian patches. Meanwhile, purifying our Lindbladians yields a temperature-dependent family of frustration-free "parent Hamiltonians", prescribing an adiabatic path for the canonical purified Gibbs state (i.e., the Thermal Field Double state). These favorable features suggest that our construction serves as a quantum algorithmic counterpart to classical Markov chain Monte Carlo sampling.

연구 동기 및 목표

• 에너지 추정을 필요로 하지 않고 입증 가능한 정확한 상세 균형을 갖는 양자 Gibbs 샘플러의 개발을 촉진한다.
• 임의의 해밀토니안에 대해 정상 상태가 Gibbs 상태가 되도록 효율적으로 구현 가능한 Lindbladian을 설계한다.
• 가우시안 및 메트로폴리스 스타일 전이 가중치를 이용해 정확한 상세 균형을 실현하면서 효율성을 유지한다.
• 격자 해밀토니안의 국소성 특성과 순수화된 Gibbs 상태로의 순수화 경로를 탐구한다.
• 양자 샘플링과 양자 시뮬레이티드 어닝의 연결 프레임워크 및 계산 비용 분석을 제공한다.

제안 방법

• 정확한 상세 균형을 강제하기 위해 코히어런트 항과 소산 전이 부분을 갖는 Lindbladian Lβ를 정의한다.
• 에너지 준위 간 전이를 관리하기 위해 가우시안 필터로 가중된 연산자 푸리에 변환을 사용한다.
• 전이 가중치 γ(ω)를 가우시안으로 선택하고 또한 메트로폴리스 스타일 형태로도 선택하여 정확한 상세 균형을 실현한다.
• 보어 주파수 분해를 통해 Gibbs 상태에 대해 상세 균형을 보장하는 코히어런트 항 B를 도출한다.
• Lindbladian을 순수화하여 순수화된 Gibbs 상태에 대응하는 판별자 Hβ를 얻는다.
• Lindbladian이 격자 해밀토니안에 대해 (준)국소적임을 보이고, 판별자에 대한 블록 인코딩이 가능한지 보여준다.
• 해밀토니언 시뮬레이션은 비용이 대략 ˜O(t·β)로, 점프는 시간당 ˜O(t)로 스케일링되는 eLβt의 시뮬레이션에 대한 효율성 결과를 제공한다.

실험 결과

연구 질문

• RQ1 에너지 추정 서브루틴을 요구하지 않고도 Gibbs 상태(ρβ)를 정확히 보존하는 효율적으로 구현 가능한 Lindbladian을 설계할 수 있는가?
• RQ2 가우시안과 메트로폴리스 스타일 전이 가중치를 코히어런트 항과 통합하여 정확한 양자 상세 균형을 달성할 수 있는가?
• RQ3 격자 해밀토니언에 대해 생성되는 Lindbladian의 국소성 특성은 무엇이며, 이것이 계산 비용에 어떤 영향을 미치는가?
• RQ4 Lindbladian을 어떻게 순수화할 수 있으며, 관련된 부모 해밀토니안의 구조와 정준 순수화 Gibbs 상태는 무엇인가?
• RQ5 제안된 프레임워크를 사용한 엔드투엔드 Gibbs 샘플링의 알고리즘 비용과 자원 요구량은 어느 정도인가?

주요 결과

• 가우시안 또는 메트로폴리스 스타일 전이 가중치를 사용하여 β≥0인 모든 경우에 대해 정확하게 상세 균형을 갖는 Gibbs 정상 상태를 달성한다.
• 해밀토니언 시뮬레이션은 ˜O(t·β), 점프는 시간당 ˜O(t)로 비용이 스케일링되어 Lindbladian의 효율적 시뮬레이션이 가능하다.
• 격자 해밀토니언의 경우 Lindbladian은 반(준)국소적이며 반경이 약 β로, 국소 패치에 의존하는 국소성 기반 시뮬레이션을 가능하게 한다.
• Lindbladian을 순수화하면 온도 의존적 부모 해밀토니안 계열이 형성되며, 그 제로 고유상은 정준 순수화 Gibbs 상태(Thermal Field Double)이다.
• 이 프레임워크는 에너지 추정 서브루틴 없이 상세 균형을 강제함으로써 고전적인 마르코프 체인 몬테카를로의 양자 알고리즘적 대응 기능을 제공한다.