Ancillary entangling Floquet kicks for accelerating quantum algorithms

技術要約：量子アルゴリズムを加速するための補助的なもつれを伴うフロケ・キック

問題提起
断熱アニーリングによる量子シミュレーションは、古典コンピュータでは手に負えない複雑な多体問題を解決するための経路を提供します。しかし、この手法には根本的なボトルネックが存在します。システムサイズが増大するにつれて、最小励起ギャップが縮小し、臨界的なスローダウン（速度低下）が生じるという点です。高い成功確率を維持するためには、断熱条件を満たすのに十分なほど遅いアニーリング速度を保つ必要がありますが、これは現在の量子ハードウェアの有限なコヒーレンス時間によって制限されることがよくあります。デジタル量子シミュレーションやハイブリッド変分量子アルゴリズム（HVQA）が代替案として台頭していますが、これらは最適化の課題に直面したり、膨大なリソースを必要としたりすることがよくあります。さらに、ディアバティック（非断熱）誤差を軽減するために設計された反断熱的アプローチは、実装が実用的に困難な入れ子状の項を導入することになります。

手法
著者らは、**補助的なもつれを伴うフロケ・キック（ancillary entangling Floquet kicks）**を導入することで、シミュレーションを加速させる量子プロトコルを提案しています。このアプローチは、デジタル・アナログの枠組み内で動作し、主要なシステム・ヒルベルト空間（$S$）と二次的な補助ヒルベルト空間（$A$）を利用します。

1. システム構成: プロトコルは、問題のハミルトニアン（アナログシミュレーション）をエンコードする「常時オン」のシステム・ユニタリ $U_S(t)$ と、周期的なデジタル量子キック・ユニタリ $U_{SA}(\hat{\Theta}_A, \hat{S}) = \exp(-i\hat{\Theta}_A \otimes \hat{S})$ を用います。
2. 補助系の設計: 補助量子ビットは積状態に初期化されます。キック演算子 $\hat{\Theta}_A$ は補助空間に作用し、集団的なシステム演算子 $\hat{S}$ はシステム空間に作用します。コンパイルの簡素化と低コスト化のため、著者らはキック角に対して単一の均一なパラメータ $\theta$ を使用し、コンパイルのオーバーヘッドを最小限に抑えるために $\{X, Y, Z\}$ からパウリ演算子を選択しています。
3. メカニズム: もつれを伴うゲートは周期的に（フロケ・キックとして）適用され、シミュレーションの初期段階で状態の進化を断熱経路から逸脱させ、その後、目標とする量子経路へと再び導きます。キック演算子の選択は、初期のミキサー・ハミルトニアンとは可換であってはならないが、シミュレーション終了時に基底状態を乱さないようにターゲット・ハミルトニアンとは可換である必要がある、という要件に基づいています。
4. 理論的基礎: 最適なキック角 $\theta_{opt}$ は、非摂動的な時間平均ハミルトニアン近似（主要項のマグヌス展開に基づく）を用いて推定されます。導出された式は、最適な角度を、特定の時間カットオフ $\tau$ における真のシステム基底状態エネルギー（$E^T_S$）とシステム・ミキサー・エネルギー（$E^{Mixer}_S$）の比に関連付けています。

主な貢献と結果
著者らは、デジタル・アナログの設定において、3つの異なるモデルにわたる厳密な状態ベクトル数値シミュレーションを通じて、このプロトコルの妥当性を検証しています。

• 近接相互作用横磁場イジングモデル (NN-TFIM): 開いた鎖において、本プロトコルは量子相転移（QPT）の通過を効果的に加速します。より速いアニーリング速度（通常はディアバティック遷移が成功を制限する速度）において、最適なフロケ・キック（例：$\theta \approx 0.004$）の適用は過剰な励起を抑制します。結果として、キックなしのシミュレーションと比較してタイム・トゥ・ソリューション（TTT）の100%削減を実現し、より高い精度で真の基底状態エネルギーに到達しました。
• 無限長距離横磁場イジングモデル (ILR-TFIM): 本プロトコルは、無限範囲の相互作用を持つ閉じた鎖においても堅牢性を示し、相互作用強度をNN-TFIMのギャップサイズに合わせて再スケーリングした場合でも性能を維持しました。
• 水素分子 ($H_2$) モデル: Bravyi-Kitaev変換による量子エンコーディングの後、プロトコルは$H_2$分子に適用されます。著者らは、重ね合わせを促進するために、$H_2$システム・ハミルトニアンと可換ではないミキサー・ハミルトニアンを特定しました。キックはシステムを正確な基底状態結合エネルギーへと駆動することに成功し、速いアニーリング速度や変化する結合長においても収束を示しました。

意義と主張
本論文は、このプロトコルが、システム部分空間内で動作するコアとなるアルゴリズムを変更することなく、量子シミュレーションを加速させるモジュール型のアルゴリズム設計原理を提供すると主張しています。主な意義は以下の通りです。

• リソース効率: この手法は、単一のパラメータ最適化（オフラインで行われ、システムサイズに依存しない）のみを必要とし、連鎖する量子サブルーチンの複雑さに関わらず、一定数の限定された補助量子ビットを使用します。
• ハードウェア適合性: このアプローチは、短いコヒーレンス時間を持つノイズの多い量子ハードウェアにとって特に有用です。なぜなら、励起ギャップによるボトルネックによって本来禁止されるような、より速いアニーリング速度を可能にするからです。
• 普遍性: 本プロトコルは、量子センシング、最適化、機械学習、状態準備を含む、ハミルトニアン・エンコーディングに従うあらゆる量子アプリケーションに適用可能です。
• スケーラビリティ: 著者らは、最適なキック角がテストされたモデルにおいてシステムサイズに対して敏感ではないことを指摘しており、これはより大きなシステムへのスケーラビリティを示唆しています。

本研究は、これらの「補助的なもつれを伴うフロケ・キック」を、現在のおよび次世代のプログラム可能なデジタル・アナログ量子デバイスにおける量子ユーティリティを強化するための、実用的なプリミティブとして位置付けています。