Observable-targeted variational quantum simulation of Hamiltonian dynamics

技術要約：ハミルトニアン力学の観測量標的型変分量子シミュレーション

問題提起
標準的な変分量子シミュレーション（VQS）は、変分状態の微分と正確なハミルトニアン微分の間の距離を最小化するように回路パラメータを更新することで（通常はマクラクランの変分原理を用いて）、完全な量子状態の進化を再現することを目指している。しかし、多くの実用的なアプリケーションでは、完全な状態全体ではなく、少数の特定の観測量の期待値のみが必要とされる。標準的なVQSでは、変分更新は状態の全接線空間に対して精度を分配し、すべての方向を等しく扱う。有限の測定予算の下では、このアプローチは、ターゲットとなる観測量に大きく影響しない方向の変分行列を推定するためにリソースを浪費し、結果として目的の量に対する精度が最適ではなくなる可能性がある。

手法
著者らは、完全な状態ではなく、選択された一連の観測量（「辞書」）の進化を特異的に再現するように回路パラメータを更新する、観測量標的型VQS手法を提案している。

1. 誤差恒等式と観測量の選択：
   本手法は、最終的なターゲット観測量 $\langle A \rangle$ の誤差を、ターゲットとなる観測量を時間を遡って伝播させたものによって重み付けされた、変分ダイナミクスとハミルトニアンダイナミクスの間の累積された不一致（残差）に関連付ける、厳密な誤差恒等式（定理1）に基づいている。この恒等式は、ターゲットとなる軌道（演算子の集合 $\{e^{iHs}Ae^{-iHs}\}$）を近似する辞書となる観測量を選択することを動機付けている。著者らは、ターゲットとなる観測量 $A$ とハミルトニアン $H$ の繰り返し交換子（ハイゼンベルク・クライロフ空間）を用いて、この辞書を体系的に構築することを提案している。

2. 変分更新：
   ヒルベルト・シュミットノルムにおける状態の残差を最小化する代わりに（標準的なマクラクランVQSのように）、ターゲットとなる辞書観測量の運動方程式における不一致を最小化する。これは以下の最小二乗問題として定式化される：
   $$\min_u \| G(\theta)u - b(\theta) \|^2_2$$
   ここで、$G$ は辞書観測量の回路パラメータに関する微分をエンコードし、$b$ はそれらのハミルトニアン微分（交換子 $i[H, O_a]$ の期待値）をエンコードする。

3. 測定効率：
   パウリ観測量および各パラメータが単一のパウリ回転に対応する回路の場合、必要な係数（$G$ および $b$）は、元の回路とパラメータシフト回路を用いたパウリ測定のみを使用して推定できる。これにより、標準的なVQS実装で通常必要とされる補助量子ビットや制御操作（アダマールテスト）を排除できる。

主な貢献

• 理論的枠組み： ターゲットとなる観測量の誤差を残差ダイナミクスに結びつける厳密な誤差恒等式の導出を提供し、変分更新を特定の観測量に集中させることの厳密な正当性を与えた。
• アルゴリズム構成： ターゲットとなる軌道を近似するために、入れ子の交換子を用いて観測量辞書を構築する体系的な手順を提示した。
• 実装効率： パウリベースの回路において、標的型手法は補助量子ビットや制御操作を回避でき、標準的なアダマールテスト実装と比較して回路の深さと測定オーバーヘッドを削減できることを示した。
• 数値的ベンチマーク： 6量子ビットのスピン、フェルミオン（フェルミ・ハバード）、および分子（LiH）モデルにおける有限の測定統計下での包括的な比較。

結果
著者らは、同一のアンサンブルを用い、測定予算（速度評価あたりのショット数）およびタイムステップサイズを一致させた上で、標的型手法と標準的なマクラクランVQSを比較した。性能指標は、ターゲット誤差が規定の許容範囲を超えた時点のメディアン時間 $T_\epsilon$ である。

• 性能向上： テストされたすべてのモデル（混合場イジング、XXZ、無秩序ハイゼンバーグ、XY、フェルミ・ハバード、およびLiH）において、標的型手法は許容誤差内でのメディアン到達時間を延長した。
• 定量的な改善： 到達可能時間の比率（標的型 / マクラクラン）は、1.06から4.22の範囲であった。
  • 最大の改善（係数4.22）は、ショット予算が $10^7$ の場合のXY鎖で観察された。
  • $10^6$ ショットにおけるフェルミ・ハバードモデルでは、メディアン時間は3.81倍増加した。
  • LiH分子モデルでは、標的型手法は顕著な利点を示し、高ショット予算において、シミュレーション限界（$T=3$）まで85%の軌跡が許容範囲内に留まったのに対し、マクラクランのメディアンは1.23であった。
• 測定のトレードオフ： 辞書が大きい場合、標的型手法はより多くの係数を推定する必要があるが、著者らは $K \ll p$ （$K$ は辞書サイズ、$p$ はパラメータ数）の場合、標準的なVQSのフルグラム行列よりも少ない係数で済む可能性があると指摘している。LiHの場合、測定設定の数は増えたものの、標的型アプローチは優れた精度をもたらした。

意義と主張
本論文は、変分更新をターゲットとなる観測量に向けることで、タイムステップあたりの測定コストを増やすことなく、精度の高いシミュレーション期間を延長できると主張している。利用可能な精度を、予測すべき特定の量に集中させることで、特定の観測量に対する有限の測定ノイズの影響を軽減できる。

著者らは、このアプローチが回路の深さが制約され、測定リソースが限られている近未来の量子プロセッサにおいて特に重要であると強調している。彼らは、測定されるべき観測量は「シミュレーション開始前に利用可能な情報」であり、変分法はその情報を破棄するのではなく、活用すべきであると結論づけている。本研究は、一般的な状態シミュレーションの問題を解決しようとするものではなく、観測量特有のダイナミクスに対する実用的な最適化を提示するものである。