Worldline-Susceptibility Scheduling for Quantum Annealing Beyond Local-Adiabatic Evolution

技術要約：量子アニーリングにおけるワールドライン感受性に基づくスケジューリング

問題提起
量子アニーリング（QA）の性能は、進化経路に沿って総実行時間をどのように分配するかを決定するアニーリング・スケジュールに決定的に依存している。ローランド–サーフ（Roland–Cerf）の局所断熱スケジュールは、理論的には最適（瞬時スペクトルギャップ $\Delta(s)^{-2}$ に反比例して時間を割り当てる）であるが、大規模な最適化問題に対しては実用的に不可能である。このスケジュールを構築するには、瞬時の低エネルギー・スペクトルの完全な知識が必要であり、指数関数的に増大するハミルトニアンの繰り返し的な対角化を必要とする。したがって、厳密なスペクトル情報を用いずに、アニールの臨界領域を特定できる、計算コストの低いサロゲート（代理指標）が必要とされている。

手法
著者らは、シミュレーテッド量子アニーリング（SQA）中に測定されるワールドライン磁化感受性（$\chi_m$）に基づくサロゲート・スケジューリング・フレームワークを提案している。その手法は以下の通りである：

1. SQAシミュレーション： 量子アニーリングのプロセスを、鈴木–トロッター分解を用いて、等価な古典統計力学系へと写像する。これにより、横磁場イジングモデルは、$M$ 個の結合されたレプリカ（トロッター・スライス）を持つ $(d+1)$ 次元の古典系へと変換される。
2. 観測量の測定： 平衡配置を古典モンテカルロ法を用いてサンプリングする。これらの配置から、ワールドライン磁化 $m$ が計算され、揺動散逸定理を通じてその感受性 $\chi_m$ が導出される：$\chi_m = NM(\langle m^2 \rangle - \langle |m| \rangle^2)$。
3. サロゲートの構築： 測定された感受性 $\chi_m(s)$ は、逆二乗スペクトルギャップのプロキシ（代理指標）として機能する。時間配分ウェイト $w(s) = \chi_m(s) + \chi_0$ （ここで $\chi_0$ は正則化定数）が定義される。累積時間配分関数 $\tau(s)$ はこのウェイトを積分することで構築され、最終的なスケジュール $s(t)$ は $\tau(s)$ の逆関数によって得られる。
4. 検証： 本フレームワークはオープンソースの Qanneal ソフトウェアに実装されており、シャーロットン–カークパトリック（SK）スピングラスのインスタンスに対する厳密対角化（ED）の結果と比較することで、サロゲート・スケジュールの妥当性を検証している。性能は、線形、厳密なローランド–サーフ、および提案されたサロゲート・スケジュールのそれぞれについて、時間依存シュレディンガー方程式を解くことで得られる最終的な基底状態確率（$P_{GS}$）によって定量化される。

主な結果
本研究は、ワールドライン感受性に基づくスケジュールが、従来の線形アニーリング、さらには直感に反して、かなりの割合のSKインスタンスにおいて厳密なローランド–サーフ・スケジュールをも上回る性能を示すことを実証している。

• 臨界領域の特定： ワールドライン感受性のピークは、詳細なギャップのプロファイルを定量的に再現せずとも、スペクトルギャップが最小となる広い領域を確実に特定する。
• 優れた有限時間性能： 代表的なインスタンス（$n=10$ および $n=12$）において、提案されたサロゲート・スケジュールは、様々な総アニーリング時間において、厳密なローランド–サーフ・スケジュールよりも高い基底状態確率をもたらす。
• 失敗モードの発見： 著者らは、厳密な局所断熱スケジュールが性能を低下させる原因となる、2つの明確な有限時間失敗モードを特定した：
  1. 境界ギャップ・トラップ（Boundary-Gap Trap）： 最小ギャップがアニールの終端（$s \approx 1$）で発生する場合、ローランド–サーフ・スケジュールは、横磁場による駆動が事実上消失した領域に実行時間の大部分を割り当てる。これにより、量子揺らぎが抑制されているため、追加された時間は動的に効果を失う。感受性ベースのスケジュールは、量子揺らぎが依然として活性であるより広いクロスオーバー領域に時間を集中させることで、これを回避する。
  2. 振動的不安定性（Oscillatory Instability）： 最小ギャップが内部に存在する場合、厳密なスケジュールはギャップの周囲に極めて鋭く実行時間を集中させるため、コヒーレントな多準位干渉を誘発する。これにより、成功確率と総アニーリング時間の間に非単調な振動依存性が生じるが、より滑らかな感受性ベースのスケジュールはこれを回避する。
• 統計的堅牢性： 無秩序の実現およびシステムサイズ（$n=10$ から $n=20$）にわたる大規模な数値実験により、サロゲート・スケジュールの優位性が特定のインスタンスによるアーティファクトではなく、一般的な特徴であることが確認された。システムサイズが増大するにつれ、境界ギャップを持つインスタンスの割合が増加し、厳密なローランド–サーフ・スケジュールの性能が相対的にさらに低下する。

意義と主張
本論文は、現実的な有限時間条件下では、スケジューリングにおける「正確さ」よりも「堅牢性（ロバストネス）」の方が重要であると論じている。著者らは以下のことを主張している：

• 安価な平衡観測量（具体的にはSQAからのワールドライン感受性）は、スペクトルギャップに基づく戦略の有効なサロゲートとなり得る。
• 厳密な局所断熱条件は、漸近極限においては理論的に最適であるが、有限時間領域においては「境界ギャップ・トラップ」や「振動的不安定性」により、逆効果となる可能性がある。
• 提案された手法は、厳密なスペクトル計算の計算不可能な複雑さを回避し、スケジュールの最適化に向けたスケーラブルな道筋を提供しており、厳密対角化の手が及ばない規模の問題にも適用可能である。

本研究は、SQA、感受性測定、およびスケジュール構築のための統一されたプラットフォームとして、オープンソースの Qanneal フレームワークに実装されており、量子アニーリング力学における再現可能な研究を促進している。