Convergence and efficiency proof of quantum imaginary time evolution for bounded order systems

技術要約：有界次数の系における量子虚時間発展の収束性と効率性の証明

問題提起
現在および近未来の量子コンピューティングへの応用は、基底状態の準備、組合せ最適化、量子機械学習などの問題を解決するために、パラメトリック量子回路（PQC）や変分法に頻繁に依存しています。これらのアプローチは、局所解による全域的最小値への非収束、クリティカル・スローイングダウン（臨界減速）、および指数関数的なリソースのスケーリングといった重大な障害に直面しています。断熱発展（例：QAOA）は成功を収めていますが、ディアバティックな励起を避けるために低速な発展を必要とし、その結果、回路が深く、高度に振動的なコストランドスケープを持つことになります。対照的に、量子位相推定のような非変分的手法は精度保証を提供しますが、逆多項式精度の初期参照状態を必要とする場合があり、これは局所ハミルトニアンに対する基底状態の発見がQMA完全であることを踏まえると、一般的に避けられない制約です。

本研究で扱う具体的な未解決問題は、量子虚時間発展（ITE）の収束保証、収束率、およびコンパイル可能性に関するものです。ITEは格子シミュレーションにおいて指数関数的に収束することが知られていますが、どのような条件下で量子デバイス上に効率的に実装可能であるか、また、他の量子アプローチに伴うボトルネックを回避できるかどうかは不明なままでした。

手法
著者らは、ハミルトニアン $H$ が、パウリ演算子の有界次数のテンソル積の和であり（有界次数系）、係数が量子ビット数に対して高々多項式的にスケールする場合の量子虚時間発展を分析しています。手法は主に以下の2つの構成要素に分かれています。

1. 一般的な収束結果： 著者らは、ITEが実装可能であることを仮定し、特定の回路コンパイルを考慮せずにその数学的性質を分析します。初期状態 $|\psi(0)\rangle$ の下での非線形演算子 $|\psi(t)\rangle = \|e^{-tH}|\psi(0)\rangle\|^{-1} e^{-tH}|\psi(0)\rangle$ による発展を定義します。著者らは、固有基底展開を利用して発展中の係数を追跡し、発展経路に沿ったエネルギー勾配を分析します。
2. 複雑性分析： 著者らは、ITEがPQCに効率的にコンパイル可能かどうかを調査します。次元的表現力分析に基づいた一般的な回路構成手法を採用します。発展はトロッター分解（$e^{-tH} \approx \prod e^{-\delta a_i S_i}$）によって近似されます。各トロッターステップに対して、パラメトリック回路 $C_{i,\tau}(\theta_{i,\tau})$ を構築し、パラメータ最適化を多項式方程式の系として定式化します。著者らは、ホモトピー継続法を用いて最適なパラメータを解き、陰関数定理を利用して、ステップサイズおよびリソース要件に関する多項式境界を確立します。

主な貢献と結果

• 収束保証： 本論文は、ITEが（有界誤差の範囲内で）最低エネルギー固有空間の状態へと確率1で収束することを証明しています。基底状態固有空間に直交する初期状態の集合は零集合（低次元の部分多様体）であり、ランダムな初期状態はほぼ確実に非ゼロのオーバーラップを持ちます。さらに、著者らはクリティカル・スローイングダウンの不在を実証しています。エネルギー勾配は固有状態においてのみ消失し、励起状態の係数の単調減少により、発展が励起状態で停止することはありません。
• 収束率： 収束はエネルギーギャップ $\Delta$ によって決定される指数関数的な速度を示すことが示されています。特定のフィデリティ閾値に達するために必要な発展時間 $t$ は、量子ビット数 $Q$ および逆エネルギーギャップ $1/\Delta$ に対して線形にスケールします。これは、初期フィデリティが $2^{-Q}$（ランダムな状態に典型的）としてスケールする場合でも成立します。
• 効率的なコンパイル： 有界次数系（ハミルトニアンの項が最大 $B$ 個のパウリ演算子のテンソル積であり、係数が多項式的にスケールする場合）において、ITEは量子ビット数 $Q$ および $1/\Delta$ の多項式深度を持つ量子回路にコンパイル可能であることを著者らは証明しています。
  • トロッター分解誤差は、多項式的に減衰するステップサイズ $\delta$ を選択することで制御されます。
  • 各回路層の最適パラメータを見つけることは、ホモトピー継続法を通じて達成され、これには多項式方程式の系の解法が必要です。このプロセスの複雑性は、量子ビット数および逆エネルギーギャップに対して多項式的にスケールします。
  • コンパイルコスト（パラメータ探索）と回路深度の両方が多項式的にスケールします。

意義と主張
本論文は、量子虚時間発展が、物理学や化学における局所理論、組合せ最適化、量子機械学習を含む、広範かつ物理的に関連性の高い問題に対して効率的な手法であるという厳密な証明を提供すると主張しています。

著者らは、複雑性クラスに関する誤解を避けるため、効率性の主張の範囲を明示的に明確にしています。

• これらの結果は、$BQP = QMA$（$P=NP$ の量子版）を意味するものではありません。有界次数系にはQMA完全な $k$-local ハミルトニアンが含まれます。
• 効率性は、逆エネルギーギャップに対して**擬多項式的（pseudo-polynomial）**なものとして記述されています。もしエネルギーギャップがシステムサイズに対して超多項式的にスケールする場合、必要なリソースも超多項式的にスケールします。
• しかし、「挙動の良好な」エネルギーギャップのスケーリング（例：ギャップを持つ連続体理論、適切な離散化、および多くの組合せ問題）を持つ系については、本手法は真の多項式スケーリングを提供します。

本研究は、有界次数系において、物理的に関連のある状態の多様体が多項式的に成長することを確立しており、これにより効率的なコンパイルとシミュレーションが可能になることを示しています。これは、変分量子アルゴリズムや断熱発展に関連する収束および最適化のボトルネックを克服するための、ITEの使用に対する理論的基礎を提供するものです。