Simple and efficient end-to-end quantum thermal and ground state preparation

問題提起

量子熱状態および基底状態の準備は、量子コンピュータによる多体物理学、化学、材料科学のシミュレーションにおける基本的な前提条件である。既存のアプローチは、簡便性、効率性、汎用性、および厳密性の間で、永続的なトレードオフに直面している。変分アルゴリズムはパラメータ調整を必要とし、断熱法は低速になる可能性があり、高次の散逸アルゴリズム（例：リンドブラッド動力学に基づくもの）は、制御された、あるいは時間反転したハミルトニアンの進化や、大量のアドバンサ・量子ビットを含む複雑な回路構造を必要とすることが多い。これらの複雑さは、初期の耐故障性量子デバイスへの実装を困難にしている。逆に、簡略化されたプロトコルは、混合時間や固定点精度に関する厳密な理論的保証を欠いていることが多い。目標は、初期のハードウェアでも実装可能でありながら、物理的に関連のあるハミルトニアンに対して厳密なエンドツーエンドの性能保証を持つアルゴリズムを開発することである。

手法

著者らは、システムとバスのハミルトニアンの下での順方向の時間進化と、再利用可能な単一のアドバンサ・量子ビットのみを必要とする、ランダム化されたシステム・バス相互作用スキームを提案している。このプロトコルは以下のように動作する：

1. ハミルトニアンの設定: 全ハミルトニアンは $H_\alpha(t) = H + H_E + \alpha f(t) (A_S \otimes B_E + A_S^\dagger \otimes B_E^\dagger)$ と定義される。ここで、$H$ はシステム・ハミルトニアン、$H_E = -\omega Z/2$ はランダムな周波数 $\omega$ に依存するバス・ハミルトニアン、$A_S$ は規定の集合 $\mathcal{A}$ からランダムに選択される結合演算子である。
2. バスの初期化: アドバンサ・量子ビット（バス）は、状態 $\rho_E \propto \exp(-\beta H_E)$ に初期化される。基底状態の準備（$\beta = \infty$）の場合、バスは $|0\rangle\langle 0|$ に初期化される。
3. 相互作用と進化: 各イテレーションにおいて、結合演算子 $A_S$ と周波数 $\omega$ が規定の分布からサンプリングされる。システムとバスは、滑らかな時間エンベロープ $f(t)$（ガウス関数として選択）の下で、時間依存ハミルトニアン $H_\alpha(t)$ に従って順方向に進化する。
4. トレースとリセット: アドバンサ・量子ビットはトレースアウトされ、$\rho_E$ にリセットされる。このプロセスは、システムに作用する量子チャネル $\Phi$ を定義する。
5. イテレーション: チャネル $\Phi$ は、固定点に到達するために必要な混合時間 $\tau_{mix}$ 回、イテレーションされる。

実装には、時間依存の進化をシミュレートするために2次のトロッター分解を利用しており、これにより、逆方向のハミルトニアン進化や複雑な制御ロジックを回避している。

主な貢献

• シンプルなアーキテクチャ: 本アルゴリズムは、単一のアドバンサ・量子ビットと順方向のハミルトニアン進化のみを必要とするため、初期の耐故障性デバイスおよびハイブリッド・アナログ・デジタル・デバイスに適している。
• 厳密な固定点保証: 著者らは、バスの状態、結合演算子、およびサンプリング分布を注意深く設計することで、量子チャネル $\Phi$ の固定点を、目的の熱状態または基底状態に任意に近づけることができることを証明している。
• 混合時間の解析: 本論文は、物理的に関連のあるいくつかのクラスのハミルトニアンに対して、厳密な多項式混合時間境界を確立し、アルゴリズムの簡便性と理論的な厳密性の間の緊張関係を解消している。
• エンドツーエンドの効率性: 固定点誤差境界と混合時間の結果を組み合わせることで、著者らは、特定のモデルにおいて総実行時間がシステムサイズと精度の逆数に対して多項式スケールで推移することを示す完全な複雑性解析を提供している。

結果

本論文は、提案されたアルゴックの効率性と正当性に関して、主に3つの定理を提示している：

1. 固定点近似 (定理 1): 任意の目標精度 $\epsilon$ に対して、チャネルの固定点と目標状態との間のトレース距離が最大 $\epsilon$ となるようなパラメータの選択が存在する。総ハミルトニアン進化時間は、混合時間、逆温度（またはスペクトルギャップ）、および $1/\epsilon$ の多項式によって抑えられる。
2. 熱状態の混合 (定理 2): 非相互作用スピン系、二次フェルミオン系（一定の $\beta$ において）、および局所交換スピン系（高温において）の熱状態準備において、混合時間は $\text{poly}(N, 1/\epsilon)$ としてスケールする。
3. 基底状態の混合 (定理 3): 非相互作用スピン系および二次フェルミオン系の基底状態準備において、混合時間は同様に $\text{poly}(N, 1/\epsilon)$ としてスケールする。

この解析は、離散的な量子チャネル $\Phi$ が連続時間のリンドブラッド動力学を近似することを示すことに依拠している。重要な技術的貢献は、固定点誤差を減少させるためにフィルタ幅パラメータ $\sigma$ を増加させたとしても、混合時間が（$\sigma$ に依存せず）有界であることを示すことである。これは、大きなエネルギー遷移を許容しつつ、近似固定点への摂動を小さく保つように相互作用を設計することによって達成される。

意義と主張

著者らは、本研究が、熱状態および基底状態の両方の準備において、システム・バス相互作用の枠組み内での最初のエンドツーエンドの効率性保証を提供すると主張している。具体的には以下の通りである：

• 本研究は、この枠組みにおいて、熱状態と基底状態の両方に対して厳密な混合時間保証を確立した最初の研究であり、関連する研究で観察された経験的な結果に対して理論的基礎を築くものである。
• 本アルゴリズムは、厳密な性能保証を維持しつつ、高次のリンドブラッド・シミュレーション（しばしば時間反転進化や多数のアドバンサを必要とする）の複雑さを回避している。
• 本プロトコルは、最小限の回路を使用して安定した固定点に向かう長時間進化をサポートするハードウェアの能力をテストするため、散逸エンジニアリングおよび誤り訂正との共同設計のベンチマークとして機能する。
• 本研究は、弱いシステム・バス相互作用の枠組みが、リンドブラッド・シミュレーションに対する近似的かつ低次のアプローチと見なせることを示唆しており、初期の耐故障性デバイスへの実用的な道筋を提示している。

論文では、現在の実装は2次のトロッター化を使用しているため（これは高次の手法と比較して漸近的な減速を招く可能性がある）、アーキテクチャの簡潔さが近未来のデバイスにとって主要な利点であると認めている。また、特定のハードウェア上で逆方向の進化が効率的になれば、将来的な改善として高次のトロッター化が含まれ得ることも述べている。