Certification failure in variational-principle observables

技術要約：変分原理に基づく観測量の認証失敗

問題提起
古典および量子コンピューティングの両方で広く用いられる変分アルゴリズムは、ある根本的な仮定に基づいている。それは、「エネルギーが真の基底状態エネルギー $E_0$ に対して微小な解像度 $\epsilon$ 以内に収束した状態は、必ずその状態自体も良好な近似であり、したがってその観測量の期待値も良好に収束しているはずである」という仮定である。本論文はこの仮定に異を唱え、エネルギーが良好に収束していても、観測量の期待値が正しく近似されていることを「保証（認証）」するものではないことを実証する。著者は、準縮退した低次スペクトルを持つ系や、スペクトルギャップが小さい系においては、観測量の誤差がエネルギー誤差よりも数桁大きくなる可能性があると主張している。この現象は「非線形誤差増幅」と呼ばれ、変分エネルギーが状態誤差の2次関数であるのに対し、ほとんどの観測量の期待値は1次関数であるために発生する。したがって、エネルギーのみでは観測量の忠実度を保証することはできず、特に結合解離、相転移、開殻分子系といった物理的に重要な領域において顕著となる。

手法および理論的枠組み
本論文は、エネルギー制約 $E_0 \le \text{Tr}(H\rho) \le E_0 + \epsilon$ を満たすすべての密度行列 $M_\epsilon$ の集合における、観測量 $O$ の期待値の誤差の上限として定義される認証半径 $\delta_O(M_\epsilon)$ を定義することで、認証が失敗する条件を定式化している。

著者は、スペクトル分解と線形応答理論を用いて、演算子のノルム $\|O\|_\infty$ のみに依存する既存の弱い境界を改善し、この半径に対する厳密な上界および下界を導出している。

1. 誤差の分解： 観測量の誤差は、2つの項（$\epsilon$ に線形にスケールする「ポピュレーション（占有）」項と、$\sqrt{\epsilon}$ にスケールする「コヒーレンス（干渉）」項）に分解される。
2. 感受性の役割： 微小な $\epsilon$ において支配的なのはコヒーレンス項であり、これは観測量の静的感受率 $\chi_O$ に依存する。著者は、主要項として、認証半径が $\sqrt{2\epsilon\chi_O}$ に比例してスケールすることを示す。
3. 定理1および定理2：
   • 定理1 は、認証半径の上限を提供し、それがスペクトルギャップ、低次スペクトルギャップ、および遷移行列要素（$\chi_O$ にエンコードされる）によって支配されることを示している。
   • 定理2 は、これと一致する下限を提供し、感受性がゼロでない場合、半径が実際に $\sqrt{2\epsilon\chi_O}$ に比例することを証明している。
4. 対称性の考慮： 論文では、対称性がどのように認証性を回復させるかを分析している。観測量が保存量である場合、あるいはアンザッツ（ansatz）が特定の対称セクター（例：パリティやスピン）に限定されている場合、コヒーレンス項が消失するか、あるいは有効なギャップが増大し、それによって認証半径が減少する。

数値的研究
この失敗メカニズムの普遍性を実証するために、著者は3つの異なる系とアルゴリズムにこの枠組みを適用している。

1. 横磁場イジング鎖における変分量子固有値ソルバー (VQE):

   • 系: $L=12$ サイトの開いた鎖。横磁場 $h$ を下げて、基底状態と第1励起状態（パリティ二重項）の間のギャップを閉じている。
   • 観察: パリティを保存しないハードウェア効率的なアンザッツは、エネルギー精度が高いにもかかわらず、ギャップが小さいときに大きな磁化誤差（$|M| \approx 0.98$）を持つ破れた対称状態に収束する。逆に、パリティを保存するアンザッツは、$M=0$ を与え、対称性による保護により認証半径はゼロとなる。
   • メカニズム: パリティギャップの消失によるコヒーレンス項に起因する失敗。

2. 弱結合水素鎖における密度行列繰り込み群 (DMRG):

   • 系: 距離 $d$ で隔てられた2つの $H_5$ チェーン。$d$ が増加するにつれ、シングレット・トリプレット・ギャップが指数関数的に閉じる。
   • 観察: 標準的な $S_z$ 保存 DMRG（トリプレットの混合を許容するもの）は、化学的精度でのエネルギーを得ているにもかかわらず、全スピン $\langle S^2 \rangle$ を捉えることに失敗し、$\langle S^2 \rangle = 1$ となる破れた対称状態に落ち着く。一方、スピン適合（$SU(2)$）DMRGはシングレットセクターに留まり、正しい $\langle S^2 \rangle = 0$ を与える。
   • メカニズム: 観測量がハミルトニアンと可換であるが、アンザッツが見ている有効なギャップが小さなシングレット・トリプレット分裂であるため、ポピュレーション項（$\epsilon$ に線形）に起因する失敗。

3. リチウムフルオライド (LiF) におけるクライロフ量子対角化 (KQD):

   • 系: イオン的・共有結合的な回避交差にある LiF。電場を用いて、2つの最低状態間のギャップを調整している。
   • 観察: ギャップが閉じる共鳴線上では、双極子モーメント $\mu$ は認証不能となる。フィデリティが 0.995 と高い状態であっても、1.7 デバイの双極子誤差が生じ得る。逆に、ギャップが開いた状態にデチューンされた線上では、双極子は正確である。
   • メカニズム: 近接した縮退状態間の大きな遷移双極子モーメントによるコヒーレンス項に起因する失敗。

主要な貢献と結果

• 認証失敗の定式化: 本論文は、静的感受率と遷移行列要素を取り入れることで、従来の境界を厳密にタイトにし、$\sqrt{2\epsilon\chi_O}$ のスケーリングを明示的に導出することで、認証失敗を数学的に定式化した。
• 非線形増幅の特定: 小さなエネルギー誤差が非線形に大きな観測量誤差へと増幅されるメカニズムを特定した。これは、静的感受率と低次スペクトルの構造に依存する。
• 救済策としての対称性: 対称性の制約（パリティ、スピンセクター）が、有効なスペクトルギャップを増大させたり、コヒーレンス項を排除したりすることで、一種の「保護」メカニズムとして機能し、認証性を回復させることを明らかにした。
• 漸近的含意: 著者は漸近限界についても議論しており、有効な誤差 $\epsilon_{eff}$ が閉じるスペクトルギャップよりも速く減少しないアルゴリズム（例：$\epsilon_{eff} \lesssim L^{-z}$）においては、熱力学的極限における認証失敗は避けられないことを示唆している。

意義と主張
本論文は、「変分結果の認証可能性」はアルゴリズムや系のエネルギーに普遍的に備わっている性質ではなく、測定される特定の観測量とその感受性に本質的に結びついていると主張している。著者は、エネルギーにおける「化学的精度」の達成は、小さなスペクトルギャップを持つ系における観測量の正確な予測を保証するには不十分であると断言している。

その意義は、検証の負担をシフトさせる点にある。エネルギー収束を状態の質の代用とするのではなく、実務者はスペクトルギャップと観測量の感受率を明示的に考慮しなければならない。本論文は、追加の制約（対称性の適応など）やギャップ構造に関する具体的な知識がない限り、良好に収束したエネルギーのベンチマークは、観測量の期待値の正しさを保証できないという結論を下している。これは、エネルギーの収束が計算の成功を示す唯一の指標として扱われることが多い分子シミュレーションにおける標準的な慣行に挑戦するものである。