[論文レビュー] An efficient and exact noncommutative quantum Gibbs sampler

Chi-Fang Chen, Michael J. Kastoryano+1 more|arXiv (Cornell University)|Nov 15, 2023

Markov Chains and Monte Carlo Methods被引用数 10

ひとこと要約

この論文は、任意の非可換ハミルトニアンの Gibbs 状態に対して、効率的に実装可能で厳密な detailed-balanced を実現する初めての Lindbladian を構築し、局在性と浄化特性に有利な連続時間の量子 Metropolis 風 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 を設計する。
• Gaussian および Metropolis 風の遷移重みを活用して、効率を維持しつつ厳密な detailed balance を実現する。
• 格子ハミルトニアンにおける locality の特性と、 purified Gibbs 状態への浄化経路を探る。
• 提案フレームワークに基づく計算コスト分析と、量子サンプリングと量子シミュレーテッドアニーリングとの関連枠組みを提供する。

提案手法

• Coherent term と dissipative transition 部分を含む Lindbladian Lβ を定義し、厳密な detailed balance を課す。
• Energy levels の間の遷移を管理するために Gaussian フィルタで重み付けされた Operator Fourier Transform を用いる。
• 遷移重み γ(ω) を Gaussian と Metropolis-style の形で選択し、厳密な detailed balance を実現する。
• Bohr 周波数分解を介して Gibbs state の detailed balance を保証する coherent term B を導出する。
• Lindbladian を浄化して discriminant Hβ を得、その基底状態が purified Gibbs 状態に対応する。
• Lindbladian が格子ハミルトニアンに対して (準)局在的であること、discriminants のブロックエンコードが実現可能であることを示す。
• eLβt のシミュレーションに対して、ハミルトニアン・シミュレーションのコストが ˜O(t·β)、ジャンプのコストが ˜O(t) であることを示す。

実験結果

リサーチクエスチョン

• RQ1 エネルギー推定サブルーチンを必要とせず、Gibbs state ρβ を厳密に保つ efficiently implementable な Lindbladian を設計できるか。
• RQ2 Gaussian および Metropolis-style の遷移重みを coherent term と統合して、厳密な quantum detailed balance を達成できるか。
• RQ3 格子ハミルトニアンに対する Lindbladian の locality 特性は何で、それらが計算コストにどう影響するか。
• RQ4 Lindbladian を浄化する方法と、関連する親ハミルトニアンおよび canonical purified Gibbs state の構造はどうなるか。
• RQ5 提案フレームワークを用いた end-to-end Gibbs sampling のアルゴリズムコストと資源要件はどの程度か。

主な発見

• Gaussian または Metropolis-style の遷移重みを用いた場合でも、任意の β≥0 に対して exact detailed-balanced の Gibbs 定常状態が達成される。
• Lindbladian の効率的なシミュレーションが可能で、ハミルトニアン・シミュレーションのコストは ˜O(t·β)、ジャンプは ˜O(t) のスケーリングである。
• 格子ハミルトニアンの場合、 Lindbladian は (準)局在的であり、半径は ~β で、局所パッチに依存する locality に基づくシミュレーションを可能にする。
• Lindbladian を浄化すると、温度依存性をもつ親ハミルトニアンの族の零固有値状態が canonical purified Gibbs state（Thermal Field Double）になる。
• この枠組みは、 energy estimation サブルーチンを強制せずに detail balance を実現することで、古典的 Markov chain Monte Carlo に対する量子アルゴリズム的対案を提供する。