[論文レビュー] Quantum Algorithm for Preparing Thermal Gibbs States - Detailed Analysis

Chen-Fu Chiang, Paweł Wocjan|arXiv (Cornell University)|Jan 7, 2010

Quantum Computing Algorithms and Architecture参考文献 10被引用数 13

ひとこと要約

この論文は、ハミルトニアンの時間発展演算子の不完全なシミュレーションと有限精度の位相推定による誤差をより厳密に分析することで、グローバー探索技術を用いた修正量子アルゴリズムを提案し、熱的ギブス状態を準備する。主な貢献は、先行研究と比較して不完全なシミュレーションや有限精度の測定に起因するオーバーヘッドを低減した、$ O\left(\sqrt{D/\mathcal{Z}_\beta} \cdot \frac{\beta}{\epsilon}(\log \frac{1}{\epsilon} + \beta)\right) $ のタイトな複雑度上限の確立である。

ABSTRACT

In a recent work [10], Poulin and one of us presented a quantum algorithm for preparing thermal Gibbs states of interacting quantum systems. This algorithm is based on Grovers's technique for quantum state engineering, and its running time is dominated by the factor D/Z(β), where D and Z(β) denote the dimension of the quantum system and its partition function at inverse temperature β, respectively. We present here a modified algorithm and a more detailed analysis of the errors that arise due to imperfect simulation of Hamiltonian time evolutions and limited performance of phase estimation (finite accuracy and nonzero probability of failure). This modfication together with the tighter analysis allows us to prove a better running time by the effect of these sources of error on the overall complexity. We think that the ideas underlying of our new analysis could also be used to prove a better performance of quantum Metropolis sampling by Temme et al. [12].

研究の動機と目的

• 任意の逆温度における量子系の熱的ギブス状態をより安定して準備するための量子アルゴリズムの開発。
• ハミルトニアン時間発展演算子の不完全なシミュレーションが、量子状態準備の精度と効率に与える影響の解消。
• 有限精度の位相推定に起因する誤差（精度の制限および非ゼロの失敗確率を含む）の分析と低減。
• 特にグローバーに基づく状態設計の文脈において、誤差の上限をタイトにすることでアルゴリズム全体の複雑度を改善すること。
• 量子メトロポリスサンプリングなどの関連アルゴリズムの性能分析を向上させる可能性を秘めたフレームワークの提供。

提案手法

• 状態設計のためのグローバーの量子探索技術を応用し、振幅増幅を用いて熱的ギブス状態を準備する。
• ハミルトニアンのシミュレーション誤差、位相推定の精度、失敗確率をすべて考慮した修正アルゴリズムを導入。
• 誤差 $ \|U - U_{\mathrm{sim}}\| \leq \epsilon_{\mathrm{sim}} $ を満たす $ \exp(2\pi i H) $ の近似を表す制御-$ U_{\mathrm{sim}} $ 操作を用いる。
• 精度 $ \epsilon_{\mathrm{prec}} $ と失敗確率 $ \epsilon_{\mathrm{fail}} $ を有する位相推定を適用し、それらが最終状態の忠実度に与える影響を制限する。
• 状態の類縁度をトレース距離で測定し、$ \|\rho_\beta - \tilde{\rho}_\beta\|_{\mathrm{tr}} \leq \epsilon $ を満たすようにする。
• 成功確率と誤差伝播を制御するため、射影された状態のトレース $ \mathrm{tr}(\sigma) $ に対する境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 不完全なハミルトニアンの時間発展演算子のシミュレーションに起因する誤差を、熱的状態準備の精度を維持する上で定量的にどのように制限できるか。
• RQ2 有限精度の位相推定が、グローバーに基づく熱的状態準備における成功確率と状態忠実度に与える影響は何か。
• RQ3 位相推定の非ゼロの失敗確率が、アルゴリズム全体の複雑度および収束性にどのように影響するか。
• RQ4 よりタイトな誤差境界を導出することで、元の Poulin-Wocjan アルゴリズムと比較して実行時間の短縮が可能になるか。
• RQ5 本研究で開発した解析フレームワークは、量子メトロポリスサンプリングの性能分析を向上させるためにどの程度拡張可能か。

主な発見

• アルゴリズムは、目的の熱的ギブス状態 $ \rho_\beta $ と出力状態 $ \bar{\rho}_\beta $ の間のトレース距離が最大 $ \epsilon $ 以下であることを達成し、問題の精度要件を満たす。
• 位相推定に必要な精度は $ \epsilon_{\mathrm{prec}} = \epsilon / (32\beta) $ であり、スペクトル推定誤差が最終状態誤差を支配しないように保証する。
• 位相推定の失敗確率は $ \epsilon_{\mathrm{fail}} = e^{-\beta} \epsilon^2 $ で抑えられ、複数回の反復においても高い成功確率を維持できる。
• ハミルトニアンのシミュレーション誤差は $ \epsilon_{\mathrm{sim}} \leq \epsilon^2 / (8\beta\kappa) $ に制限され、全体の精度を保つ。ここで $ \kappa $ は系に依存する定数である。
• 総合的な複雑度は $ O\left(\sqrt{D/\mathcal{Z}_\beta} \cdot \frac{\beta}{\epsilon}(\log \frac{1}{\epsilon} + \beta)\right) $ にスケーリングされ、先行研究の境界と比較して顕著な改善を示す。
• 解析により、シミュレーション誤差、位相推定誤差、失敗確率に起因する誤差寄与が、すべて正しい動作を保ちつつグローバー反復回数の削減が可能になるように制御されていることが示された。