[論文レビュー] Single-ancilla ground state preparation via Lindbladians

Zhiyan Ding, Chi-Fang Chen+1 more|arXiv (Cornell University)|Aug 30, 2023

Quantum Computing Algorithms and ArchitectureComputer Science参考文献 44被引用数 3

ひとこと要約

本稿では、1つのアーキラキュービットと特化したリンブレジアンダイナミクスを用いた耐障害性のある量子アルゴリズムを提案し、目的の基底状態が一意の定常状態となるようにしている。この手法により、基底状態との重なりがゼロである初期状態からでも効率的な準備が可能となり、量子位相推定の主要な制限を回避する。また、離散時間版を用いることで、系のサイズと精度に対して多項式スケーリングで近似的に最適なシミュレーションコストを達成する。

ABSTRACT

We design a quantum algorithm for ground state preparation in the early fault tolerant regime. As a Monte Carlo-style quantum algorithm, our method features a Lindbladian where the target state is stationary. The construction of this Lindbladian is algorithmic and should not be seen as a specific approximation to some weakly coupled system-bath dynamics in nature. Our algorithm can be implemented using just one ancilla qubit and efficiently simulated on a quantum computer. It can prepare the ground state even when the initial state has zero overlap with the ground state, bypassing the most significant limitation of methods like quantum phase estimation. As a variant, we also propose a discrete-time algorithm, demonstrating even better efficiency and providing a near-optimal simulation cost depending on the desired evolution time and precision. Numerical simulation using Ising and Hubbard models demonstrates the efficacy and applicability of our method.

研究の動機と目的

• 初期の耐障害性のある量子コンピューティングにおける基底状態準備の主要なボトル neck を解消すること。
• 既存の手法が基底状態との非ゼロの重なりを要件としているという制限を克服すること。
• 物理的系-バスタッチの結合に依存しない形で、基底状態が一意の定常状態となるような体系的でアルゴリズム的なリンブレジアン生成子を設計すること。
• 1つのアーキラキュービットのみを用いることで、最小限のキュービットオーバーヘッドで効率的なシミュレーションを実現すること。
• 離散時間版のアルゴリズムにより、近似的に最適なシミュレーションコストを示すこと。

提案手法

• 目的の基底状態が一意の定常状態となるように、物理的近似ではなくアルゴリズム的に構築された特化したリンブレジアン生成子を採用する。
• リンブレジアンダイナミクスは、初期状態にかかわらず、基底状態が漸近的に固定点として到達するように設計されている。
• 1つのアーキラキュービットを介して散乱ダイナミクスを媒介することで、量子コンピュータ上での効率的実装が可能となる。
• 離散時間版が導入され、時間Tと精度εに対して、O(T log(T/ϵ)/log log(T/ϵ))のスケーリングでより高い効率と近似的に最適なシミュレーションコストを達成する。
• 時間ステップτの確率的シミュレーションスキームに依存しており、進化は分布ΞAから抽出された確率的スーパーオペレータを用いて近似される。
• 理論的分析により、確率的軌道が決定的ダイナミクスの周囲に集中することが保証され、誤差境界は系のサイズとシミュレーションパラメータに依存する。

実験結果

リサーチクエスチョン

• RQ1 基底状態との初期状態の重なりがゼロであっても、基底状態準備を効率的に行うことは可能か？
• RQ2 物理的バストの仮定に依存せず、基底状態が一意の定常状態となるようなリンブレジアンを体系的に構築できるか？
• RQ3 散乱ダイナミクスを用いた耐障害性のある基底状態準備に必要な最小限のキュービットオーバーヘッドは何か？
• RQ4 耐障害性のある環境下で、進化時間と精度に応じてシミュレーションコストはどのようにスケーリングするか？
• RQ5 リンブレジアンアルゴリズムの離散時間版は、近似的に最適な複雑度を達成できるか？

主な発見

• 初期状態が基底状態と重なりがゼロであっても、アルゴリズムは基底状態を準備可能であり、量子位相推定の主要な制限を克服する。
• 本手法は1つのアーキラキュービットのみを用いるため、他の手法と比較してキュービットリソースの要件を顕著に低減する。
• 離散時間版は、時間Tと精度εに対して、O(T log(T/ϵ)/log log(T/ϵ))のスケーリングで近似的に最適なシミュレーションコストを達成する。
• イジング模型およびハッパー系における数値シミュレーションにより、異なる量子多体系に適用可能で有効であることが確認された。
• 理論的分析により、確率的シミュレーション軌道が決定的ダイナミクスの周囲に集中し、誤差境界がO(exp(CΞT)CΞ√(Tτ) + CFTτ)とスケーリングすることが証明された。ここでCΞとCFは系に依存する定数である。
• 物理的に妥当な仮定の下で、混合時間について系のサイズに対して多項式スケーリングを示すため、実際のハミルトニアンにおいて実用的実現可能性が示唆される。