[論文レビュー] Quantum Thermal State Preparation

Chi-Fang, Michael J. Kastoryano+2 more|arXiv (Cornell University)|Mar 31, 2023

Quantum Computing Algorithms and Architecture被引用数 19

ひとこと要約

本論文は、Lindbladians に基づく単純な連続時間量子 Gibbs サンプラーを提案し、証明可能な保証と非漸近的な世俗近似および近似的な detailed balance の枠組みを提供することで、量子 Gibbs 状態と purified Gibbs states を効率的に近似する。

ABSTRACT

Preparing ground states and thermal states is essential for simulating quantum systems on quantum computers. Despite the hope for practical quantum advantage in quantum simulation, popular state preparation approaches have been challenged. Monte Carlo-style quantum Gibbs samplers have emerged as an alternative, but prior proposals have been unsatisfactory due to technical obstacles rooted in energy-time uncertainty. We introduce simple continuous-time quantum Gibbs samplers that overcome these obstacles by efficiently simulating Nature-inspired quantum master equations (Lindbladians). In addition, we construct the first provably accurate and efficient algorithm for preparing certain purified Gibbs states (called thermal field double states in high-energy physics) of rapidly thermalizing systems; this algorithm also benefits from a quantum walk speedup. Our algorithms' costs have a provable dependence on temperature, accuracy, and the mixing time (or spectral gap) of the relevant Lindbladian. We complete the first rigorous proof of finite-time thermalization for physically derived Lindbladians by developing a general analytic framework for nonasymptotic secular approximation and approximate detailed balance. Given the success of classical Markov chain Monte Carlo (MCMC) algorithms and the ubiquity of thermodynamics, we anticipate that quantum Gibbs sampling will become indispensable in quantum computing.

研究の動機と目的

• 量子コンピュータ上で量子 Gibbs および基底状態を準備する問題を動機づけ、形式化する。
• エネルギーと時間の不確定性という障害を克服する物理に着想を得た頑健な Lindbladian ベースの Gibbs サンプリング手法を導入する。
• 実装されたサンプリング器の精度、温度依存性、混合（スペクトルギャップ）に関する証明可能な保証を提供する。
• 精製 Gibbs 状態（熱場二重状態）への拡張と、量子ウォークによる速度向上を図る。
• 非漸近的な世俗近似と近似的な detailed balance の一般的な解析フレームワークを確立する。

提案手法

• 正規化された Davies 類の発生器と加重演算子フーリエ変換を用いて、固定点が量子 Gibbs 状態に近づく Lindbladian を構築する。
• エネルギー分解能を管理するために Gaussian 時間フィルタを用いたジェンプ演算子 Aa とそのフーリエ変換対応物 Âa(ω) を定義する。
• 固定点の精度をエネルギー不確定性と Gibbs 状態の近似的な detailed balance に関連付ける。
• Lindbladian の混合時間またはスペクトルギャップと温度・精度パラメータの観点からアルゴリズムの計算コストを分析する。
• コヒーレント量子ウォーク技術を用いた二次の Szegedy 型の速度向上をもたらす purified Gibbs-state 準備アプローチを示す。

実験結果

リサーチクエスチョン

• RQ1 一般の非可換哈ミルトニアンに対して、非物理的な丸め約束なしに近似的 Gibbs 固定点を達成する Lindbladian ベースの Gibbs サンプラーは可能か。
• RQ2 エネルギー-時間の不確定性が有限時間の熱化にどのように影響するか、非漸近解析で近似的な detailed balance はこれを補償できるか。
• RQ3 特定の温度で所望の精度を達成するためのリソース要件（時間、ゲート数）は、Lindbladian の混合時間またはスペクトルギャップの観点でどうなるか。
• RQ4 証明可能な保証と速度向上を伴う purified Gibbs 状態（熱場二重状態）を効率的に準備することは可能か。
• RQ5 世俗近似と近似的な detailed balance の一般解析フレームワークを、物理的に導出された Lindbladians と系-浴モデルに拡張できるか。

主な発見

• エネルギー-時間不確定性の障害を克服する Lindbladian として動作する連続時間量子 Gibbs サンプラーを導入する。
• 特定の purified Gibbs 状態（熱場二重状態）を量子ウォーク速度向上とともに、証明可能かつ効率的に準備する初のアルゴリズムを提供する。
• 物理的に導出された Lindbladians に対して、非漸近的世俗近似と近似的な detailed balance の一般解析フレームワークの下で有限時間熱化を証明する。
• アルゴリズムの計算コストが 温度、精度、Lindbladian の混合時間（またはスペクトルギャップ）に依存することを示す。
• Davies 型の開放系ダイナミクスを量子 Gibbs サンプリングへ結びつけ、丸め約束などの非現実的前提に依存しない厳密な保証を提供する。
• 従来のアプローチとの包括的な比較を提供し、Lindbladian ベースの Gibbs サンプリングが現実的な量子熱状態準備の堅牢な道である理由を説明する。