Multiple-time Quantum Imaginary Time Evolution

本論文は、複数の虚数時間ステップを活用することで、決定論的であり、アドホックなアンザッツに依存せず、かつ並列可能であることを維持しながら、標準的なQITEと比較して基底状態準備の忠実度を向上させ、測定オーバーヘッドを削減する、多重時間量子虚数時間発展（MT-QITE）アルゴリズムを導入するものである。

要約

あなたは、広大で霧に包まれた山脈の中で、最も低い地点を探そうとしていると想像してください。この最低地点は、物理系の「基底状態」——原子や粒子が最も安定した、エネルギーが最も低い構成——を表しています。この地点を見つけ出すことは、材料がどのように振る舞うか、化学反応がどのように起こるかを理解し、新しい薬を設計するために極めて重要です。

量子コンピューティングの世界には、**量子虚時間発展（QITE）**と呼ばれる手法があります。これは、常に下り坂を歩むハイカーのようなものです。時間を経るごとに、彼らは自然と最も深い谷（基底状態）へと落ち着いていきます。しかし、デ・カスティロ、グラナス、およびファン・ニューウェンブルグによる論文は、標準的なハイカーには大きな問題があることを指摘しています。それは、その道のりが「高価」であるということです。一歩踏み出すたびに、ハイカーは立ち止まり、地形を測定し、膨大な計算を行わなければなりません。この「測定予算」は、限られた燃料の供給のようなものです。もし燃料（測定回数）を使い果たしてしまえば、目的地に到達することはできません。

新しい解決策：「マルチタイム」ハイカー（MT-QITE）

著者らは、MT-QITE（マルチタイム量子虚時間発展）と呼ばれる新しいアルゴリズムを紹介しています。単一のハイカーが一度に一つのステップを踏むのではなく、複数のハイカーが協力し合ったり、あるいは単一のハイカーが同時に異なる歩幅を試したりして、最も効率的な経路を見つけ出すイメージです。

論文では、これらの改善点をシンプルな概念を用いて説明しています：

1. 「すべてを試す」戦略（変分的な柔軟性）
旧来の手法（QITE）では、ハイカーは旅の間中、特定の歩幅（タイムステップ）に固執しなければなりませんでした。もし歩幅が大きすぎれば、谷の底を通り過ぎてしまうかもしれません。もし小さすぎれば、旅には永遠に時間がかかってしまいます。

• MT-QITEの比喩： ハイカーは、実際に全行程を歩くことなく、同時にいくつかの異なる歩幅をテストできるようになりました。彼らは、同じ出発点から、小さな一歩、中くらいのステップ、そして大きなステップをとった場合の結果を「同時に」計算します。そして、単に、どのステップが最も低いエネルギーへと導くかを選び取ります。この柔軟性により、余計な燃料を浪費することなく、より優れた「最低地点」（高い忠実度）を見つけることができます。

2. 共有された地図（並列化）
旧来の手法は、リレーレースのようなものでした。第二走者は、第一走者が自分の区間をすべて走り終え、地図を更新するまでスタートできません。これは、ハイカーがステップごとに何度も立ち止まって地形を測定しなければならないことを意味していました。

• MT-QITEの比喩： MT-QITEは、チームの探検家たちが単一の高解像度地図を共有しているようなものです。彼らは皆、同じ参照点から出発するため、地形を一度だけ測定し、そのデータを使ってすべての異なる歩幅に対する最適な動きを同時に計算できます。これにより、測定のために立ち止まる頻度を減らすことができます。論文では、これにより測定回数（「燃料」）が、あるケースでは10分の1に削減されると主張しています。

3. 「対称性」によるショートカット
論文では、多くの物理系には対称性（鏡に映したような形など）があることが述べられています。もし山の左側が右側と同じ形をしていると分かっていれば、両側を測定する必要はありません。

• MT-QITEの比喩： MT-QITEのチームは単一の地図を共有しているため、これらの対称性のショートカットを簡単に利用できます。地形の一部分を測定すれば、追加の測定を行うことなく、数学的に残りの部分を推論できるのです。旧来の手法では、ステップごとに「地図」が変わってしまうため、これをこれほど容易に行うことはできませんでした。

結果が示すもの

著者らは、この新手法を4つの異なる「山脈」（物理モデル）でテストしました：

• イジングモデル： 磁気スピンのモデル。
• ハイゼンベルクモデル： もう一つの磁気モデル。
• ハバードモデル： 材料中の電子のモデル。
• H4鎖： 4つの水素原子からなる小さな分子。

これらすべてのテストにおいて、MT-QITE法は旧来の手法よりもはるかに正確に「最も低い谷」（基底状態）を見つけ出しました。

• より高い精度： ケースによっては、新手法は10倍から100倍高い精度を実現しました。
• より少ない燃料： この精度を得るために、必要な測定回数は大幅に減少しました（約10分の1）。
• 推測の排除： 解の「形」（アンザッツ）をユーザーが事前に推測する必要がある他の手法とは異なり、MT-QITEは各ステップで最適な経路を自動的に導き出します。

結論

本論文は、MT-QITEが、量子系の基底状態を見つけるための、より効率的で決定的、かつ正確な方法であると結論付けています。この手法は、運（確率的な手法）や事前の推測（アンザッツ）に依存しません。単一の参照状態を用いて、複数の虚時間ステップを同時に「試す」ことを可能にすることで、計算リソースを大幅に節約しながら、より優れた結果をもたらします。

著者らは、これが現在は古典コンピュータ上でのシミュレーションであることを強調していますが、この手法は現在のノイズのある量子デバイスと、将来のエラー訂正量子コンピュータの両方で動作するように設計されています。彼らは、他の人々がテストできるよう、コードを公開しています。

技術概要

技術要約：多重時間量子虚時間発展法 (MT-QITE)

問題提起
量子虚時間発展 (QITE) は、非ユニタリな虚時間発展をユニタリな実時間発展 (RTE) で近似することにより、量子ハードウェア上で基底状態を準備するための決定論的かつアンザッツフリーな手法である。しかし、標準的なQITEは、特に一般的なハミルトニアンに対して、測定オーバーヘッドと計算コストに関する重大な課題に直面している。QITEの忠実度（フィデリティ）と効率は、局所ドメインおよびハミルトニアンの分割の定義に強く依存する。さらに、標準的なアルゴリズムは各トロッターステップごとに参照量子状態を更新するため、異なるハミルトニアン項の間で測定結果を再利用することができず、並列化が制限される。VQEのような変分法が存在するものの、それらはアドホックなアンザッツ選択に依存しているが、QITEは各ステップにおいてそのような仮定なしに進化演算子を最適に決定することを目指している。

手法
著者らは、標準的なQITEプロトコルのヒューリスティックな拡張である多重時間QITE (MT-QITE) アルゴリズムを導入している。核心となる革新は、ハミルトニアン分割内の異なる項に対して、時間ステップのサイズを分離することにある。

1. 多重時間アンザッツ: 全てのハミルトニアン項に単一の時間ステップ $\Delta \tau$ を適用する代わりに、MT-QITEは各分割項 ($\hat{h}[1], \hat{h}[2], \dots$) に対して個別の時間パラメータ ($t_1, t_2, \dots$) を割り当てる。進化した状態は以下のように定義される：
   $$|\Psi'(t_1, t_2)\rangle = \frac{e^{-t_2\hat{h}[2]}e^{-t_1\hat{h}[1]}|\Phi(0)\rangle}{\|e^{-t_2\hat{h}[2]}e^{-t_1\hat{h}[1]}|\Phi(0)\rangle\|}$$
   これにより追加の変分自由度が導入され、単一時間の制約を持つ標準的なQITEよりも効果的に基底エネルギーの上界を最小化することが可能になる。

2. 共有参照状態: 各ハミルトニアン項を処理した後に量子状態を更新する標準的なQITEとは異なり、MT-QITEはトロッターステップ全体に対して固定された参照状態 $|\Phi\rangle$ を使用する。これにより、同一の測定セットを用いて複数の時間ステップサイズに対する線形方程式系を解くことが可能になる。

3. 並列化と対称性: ステップ中の全ハミルトニアン項にわたって参照状態が一定であるため、このルーチンは並列化が可能である。さらに、ハミルトニアンが対称性（例：サイト反転）を持つ場合、アルゴリズムは量子状態を再評価することなく対称な項に対して測定結果を再利用でき、これにより測定予算を大幅に削減できる。

4. 量子化学への再定式化: 本論文では、量子化学ハミルトニアンに特化したQITE方程式の再定式化を提示している。一般的なパウリ文字列ではなく、反エルミート演算子（UCCSDなどのもの）を利用することで、粒子数とスピンの保存を保証している。このアプローチにより、必要な線形系の次元を約8分の1に削減し、互いに可換な集合を介して最大64個のパウリ文字列を同時に測定することを可能にする。

主な結果
著者らは、ノイズのない古典的エミュレーションを用いて、4つの物理系に対してオリジナルのQITEアルゴリズム（最適化された時間ステップを使用）と比較したベンチマークを行った。

• XXZハイゼンベルクモデル (8量子ビット): 相転移点 ($J=1$) において、MT-QITEは10トロッターステップ後、QITEと比較して基底状態の忠実度を1桁向上させた。また、測定予算を10分の1に削減しながら、小数点第5位までの正確な忠実度に到達した。
• 横磁場イジングモデル (6量子ビット): 困難な相転移領域において、MT-QITEは忠実度を2桁以上向上させた。3項分割によるサイト反転対称性を活用することで、測定予算が大幅に削減された。
• フェルミオン・ハバードモデル: 様々な反発強度 ($U$) に対し、MT-QKEは忠実度と測定回数の両面で10ステップ後も一貫してQITEを上回り、強い電子相関がある領域でも堅牢性を示すことを実証した。
• H4鎖 (量子化学): 8量子ビットを用いたUCCGSDアンザッツにおいて、3項分割を用いたMT-QITEは、標準的なQITEや非分割のMT-QITEが収束に失敗した引き伸ばされた幾何構造を含む、広範な原子間距離（0.60–1.20 Å）において化学的精度を達成した。注目すべきは、非局所的な相互作用を持つハミルトニアンを分割することが計算上の優位性をもたらした点である。

意義と主張
本論文は、MT-QITEが、既存のQITEアルゴリズムと比較して、決定論的な性質とアンザッツへの依存性を維持しつつ、得られる基底状態の忠実度と測定オーバーヘッドの両方を大幅に改善することを主張している。

著者らが強調する主な貢献は以下の通りである：

• 決定論的な改善: MT-QITEは、確率的ITE (PITE) のような確率的なオーバーヘッドや、Double-Bracket QITEのような指数関数的なゲート深度を伴うことなく、より高い忠実度への決定論的な経路を提供する。
• 並列可能性: 固定された参照状態戦略により、異なるハミルトニアン項に対してRTEパラメータ決定を並列実行することが可能となり、これは標準的なQITEにはない特徴である。
• 非局所的システムにおける効率性: 直感に反して、著者らは（H4鎖に見られるような）非局所的な相互作用を持つハミルトニアンを分割することが、線形系のサイズを縮小し、多重時間の変分自由度を活用することで、計算上の利点をもたらすことを示している。
• 適用可能性: このアルゴリズムは、NISQデバイスおよび将来の誤り耐性量子コンピュータの両方に適しており、デジタル量子シミュレーションにおけるレイテンシと測定コストを削減する手段を提供する。

著者らは、MT-QITEが、他のアプローチに見られる近似や確率的なサブルーチンを回避し、一定の回路深さで高忠実度の基底状態準備を必要とするシナリオにおいて理想的な候補であることを結論付けている。