Double-bracket quantum algorithms for quantum imaginary-time evolution

技術要約：量子虚時間発展のためのダブルブラケット量子アルゴリズム

問題提起
大規模で強相関なハミルトニアンの基底状態を準備することは、材料科学から最適化に至るまで、量子計算における根本的な課題である。自然界はシステムを基底状態へと冷却するが、このプロセスを量子ハードウェア上で再現することは困難である。虚時間発展（ITE）は、基底状態準備のための熱力学に触発されたアプローチを提供するが、これは非ユニタリ演算子 $e^{-\tau \hat{H}}$ によって定義される。しかし、効率的な量子回路を用いてITEを実装する合成法は容易ではない。既存のアプローチは一般に、ヒューリスティックな変分手法（バレン・プラトーやスケーリングの問題に直面する）か、あるいはディープ・ブロックエンコーディング技術（大きなオーバーヘッドを必要とし、近未来の実験には不向きである）に依存している。核心となる問題は、古典的な最適化ループや深いブロックエンコーディングに頼ることなく、エネルギー減少と基底状態への収束を保証しながら、量子コンピュータ上でITEステップを実装するための、系統的かつ非ヒューリスティックな手法が欠如していることである。

手法
著者らは、**ダブルブラケット量子虚時間発展（DB-QITE）**アルゴリズムを提案している。この手法は、ユニタリ多様体上の勾配フローを実現することが知られている、よく研究された微分方程式であるブロッケットのダブルブラケット・フロー（DBF）の知見に基づいている。

1. 理論的基礎： 本論文は、連続的なITEのダイナミクスが、ダブルブラケット・フロー方程式 $\partial_\tau \Psi(\tau) = [[\Psi(\tau), \hat{H}], \Psi(\tau)]$ として書き換えられることを確立している。ここで $\Psi(\tau)$ は密度行列である。このフローは、エネルギーを最小化するための最急降下法であることが証明されている。
2. 回路合成： このフローを量子コンピュータ上でコヒーレントに実装するために、著者らは**群交換子反復（group commutator iterations）**を利用している。非ユニタリ演算子を直接シミュレートする代わりに、一連のユニタリ行列 $U_k$ を再帰的に構築する。ステップ $k$ における状態の更新は、以下のように定義される：
   $$|\omega_{k+1}\rangle = e^{i\sqrt{s_k}\hat{H}} e^{i\sqrt{s_k}|\omega_k\rangle\langle\omega_k|} e^{-i\sqrt{s_k}\hat{H}} |\omega_k\rangle$$
   この再帰は、ハミルトニアンシミュレーションと反射ゲート（具体的には、現在の状態の周りの反射）を用いて、量子回路へとコンパイルされる。
3. 再帰的構造： アルゴリズムは再帰的に動作する。$U_0$ が初期状態 $|\omega_0\rangle$ を準備する場合、後続のステップ $U_{k+1}$ は $U_k$ に群交換子操作を合成することによって構築される。これにより、このアルゴリズムはスタンドアロンの手法としても、あるいは他のアルゴリズムのための「ウォームスタート」としても使用できる。

主要な貢献と理論的保証
本論文は、DB-QITEが連続的なITEの望ましい特性を継承することを厳密な証明によって示している：

• 揺らぎ・冷却関係（Fluctuation-Refrigeration Relation）： 著者らは、各ステップにおけるエネルギー減少が、現在の状態のエネルギー分散（揺らぎ）に比例することを証明した。具体的には、$E_{k+1} - E_k \leq -2s_k V_k + O(s_k^2)$ である（ここで $V_k$ はエネルギー分散）。これは、エネルギーの揺らぎが大きい状態ほど、より速く冷却されることを意味する。
• 基底状態フィデリティの増加： 定理2は、初期状態が基底状態との非ゼロの重なりを持つ場合、DB-QITEが基底状態とのフィデリティを系統的に増加させることを保証している。ステップサイズ $s_k$ がスペクトルギャップ $\Delta$ およびハミルトニアンのノルム $\|\hat{H}\|$ に対して適切に選択されている限り、フィデリティは反復回数 $k$ に対して指数関数的に速く収束する。
• 励起状態の回避： サドルポイント（鞍点）に収束する可能性のある一部の勾配フローとは異なり、DBFの特定の構造は、励起固有状態ではなく、基底状態（最も低いエネルギーを持つ一意の不動点）への収束を保証する。

数値結果
著者らは、最大 $L=20$ 量子ビットの1次元ハイゼンベルクモデルを用い、Qrisp プログラミング言語を使用して数値シミュレーションを行った。

• 量子位相推定（QPE）との性能比較： 近未来のレジーム（限定されたゲート数、具体的には $N_{CZ} \lesssim 10^3$）において、DB-QITEは標準的なQPEを大幅に上回る性能を示す。例えば、$L=20$ 量子ビットの場合、DB-QITEは約 $3 \times 10^3$ 個のCZゲートを用いてフィデリティ $>90\%$ を達成したが、QPEはこのゲート予算内では初期化状態からの改善がほとんど見られなかった。
• パラメータ不確実性に対する堅牢性： 著者らは、ハミルトニアンのノルム $\|\hat{H}\|$ が過大評価された場合（実用上の一般的な問題）、QPEの性能が著しく低下し、より多くの補助量子ビットや深い回路を必要とすることを指摘している。これに対し、DB-QITEはこのようなスケーリングの仮定に依存しない。
• ウォームスタート能力： DB-QITEを前処理（ウォームスタート）として使用することで、QPEの最終的なフィデリティと成功確率が向上することを示した。これは、特にQPEの精度量子ビットが限られている場合に顕著である。
• ゲート数： $L=20$ かつ $k=2$ ステップの場合、DB-QITEは $F \approx 90\%$ に達するために、およそ $3 \times 10^3$ 個のCZゲートと $4.8 \times 10^3$ 個の単一量子ビットゲートを必要とする。これは既存のハードウェア能力の範囲内である。

意義と主張
本論文は、DB-QITEが浅い回路を用いた基底状態準備への系統的かつ非ヒューリスティックな経路を提供すると主張している。その意義は以下の通りである：

1. 厳密な保証： 収束の保証を欠く変分量子アルゴリズム（VQA）とは異なり、DB-QITEは証明可能なエネルギー減少とフィデリティの増加を提供する。
2. 近未来の実現可能性： 深いブロックエンコーディングや古典的な最適化ループを回避することで、本アルゴリズムは初期の誤り耐性量子デバイスおよび近未来のデバイスに適している。
3. ハイブリッドな有用性： 著者らは、DB-QITEがスタンドアロンの手法として、あるいはQPEの性能を高める強力な初期化ツールとして機能し、ヒューリスティックな手法と誤り耐性型のアプローチの間の架け橋となることを示唆している。

著者らは、再帰的な性質によりステップ数に応じて回路の深さが指数関数的に増大することを認めつつも、ステップサイズの最適化と「揺らぎ・冷却」関係を活用することで、高いフィデリティの結果を管理可能なステップ数で得ることができ、特定の問題サイズにおいて本手法が最先端の手法に対して競争力を持つと述べている。