The Quantum Adiabatic Theorem for Non-Hermitian Dynamics

技術要約：非エルミート力学における量子断熱定理

問題の定義
量子断熱定理は量子力学の基礎となるものであり、緩やかに変化するハミルトニアンに支配される系は、その瞬間の固有空間内に留まり続けると主張する。しかし、標準的な定式化はハミルトニアンのエルミート性に強く依存しており、これはユニタリ発展と直交スペクトル射影を保証するものである。非エルミート・ハミルトニアン（開いた量子系やPT対称系を記述する）の場合、標準的な内積に関する発展はユニタリではなく、スペクトル構造も単純な方法では保存されない。したがって、標準的なレゾルベント・射影技法や断熱推定を直接適用することはできない。これまでの研究では、双直交法や複素スケーリングを用いて開いた系や特定の非エルミート的なケースに対処してきたが、実数スペクトルを持つ有限次元の非エルミート・シュレディンガー力学に対する一般的な作用素論的枠組みは、まだ十分に確立されていない。

手法
著者らは、時間依存のダイソン写像を通じて、非エルミート力学とよく理解されているエルミート断熱理論を橋渡しする枠組みを開発している。その手法は、主に以下の3つの段階で進行する。

1. 動的に適合した計量の構成：
   非エルミート・ハミルトニアン $\hat{H}_T(s)$ が、実数かつ交差しないスペクトルを持ち、対角化可能であると仮定する。著者らは、時間依存の計量作用素 $\hat{\Theta}_T(s)$ を構築する。この作用素は、発展作用素 $\hat{U}_T(s)$ と厳密に正な初期計量 $\hat{\Theta}_T(0)$ を通じて定義され、関係式 $\hat{H}_T^*(s)\hat{\Theta}_T(s) - \hat{\Theta}_T(s)\hat{H}_T(s) = \frac{i}{T}\frac{d}{ds}\hat{\Theta}_T(s)$ を満たす。この計量の正の平方根 $\hat{\eta}_T(s) = \hat{\Theta}_T(s)^{1/2}$ が、時間依存のダイソン写像として機能する。

2. エルミートな対応物へのダイソン変換：
   ダイソン写像は、元の非エルミート状態 $|\psi(s)\rangle$ を、変換された状態 $|\phi(s)\rangle = \hat{\eta}_T(s)|\psi(s)\rangle$ へと変換する。この変換により、ダイソン変換されたハミルトニアン $\bar{H}_T(s)$ が得られる：
   $$\bar{H}_T(s) = \hat{\eta}_T(s)\hat{H}_T(s)\hat{\eta}_T^{-1}(s) + \frac{i}{T}\dot{\hat{\eta}}_T(s)\hat{\eta}_T^{-1}(s)$$
   著者らは、$\bar{H}_T(s)$ がエルミートであることを証明する。もしこの変換されたハミルトニアンが標準的な断熱仮定（滑らかさ、スペクトルギャップ、固有値の非交差）を満たすならば、変換された系に対して定量的なエルミート断熱定理を適用することができる。

3. プルバックと射影の比較：
   エルミート系に対して導出された断熱推定は、元の非エルミート表現へと「プルバック（引き戻し）」される。これには、2種類の射影の比較が含まれる：

• ダイソン・プルバック射影 $\Pi_j(s)$：これは、元の表現におけるエルミートな対応物の瞬時固有空間に対応する。
• 元のスペクトル射影 $\hat{P}_j(s)$：これは、非エルミート・ハミルトニアンの固有スペクトル射影である。

著者らは、エルミートな対応物を、元の作用素の相似変換の摂動として扱う。輪郭積分によるレゾルベント推定を用いることで、$\Pi_j(s)$ と $\hat{P}_j(s)$ の差に関する明示的な境界を導出する。これにより、最終的な誤差推定を、元の非エルミート・ハミルトニアンのスペクトル部分空間に直接関連付けて表現することが可能となる。

主要な貢献と結果
本論文は、有限次元の非エルミート・シュレディンガー力学の一クラスに対して、定量的な断熱推定を確立している。主要な結果（定理12）は、非エルミート・ハミルトニアンのスペクトル部分空間内の初期状態に対する、厳密な発展と断熱発展の間の偏差の上限を与える。

最終的な誤差境界は、2つの明確な寄与から構成される：

1. プルバックされたエルミート断熱誤差： これは、変換されたハミルトニアン $\bar{H}_T(s)$ に標準的な断熱定理を適用した際に生じる項である。これは、スペクトルギャップと変換されたハミルトニアンの微分に依存し、全発展時間 $T$ の逆数でスケールされる。
2. 射影比較誤差： これは、ダイソン・プルバックされたスペクトル射影と、真の非エルミート・ハミルトニアンのスペクトル射影との間の不一致を定量化するものである。これは、ダイソン補正項 $B_T(s)$ のノルムと、相似変換された作用素のレゾルベント境界を用いて導出される。

本論文は、特定の条件（対角化可能性、実数スペクトル、非交差固有値、および輪郭レゾルベント条件を満たすための十分大きな $T$）の下で、系が $O(1/T)$ の誤差で断熱挙動を示すことを実証している。

例証
仮説と誤差境界の構造を検証するために、著者らは二準位非エルミートモデルを提示している。この例において：

• 元のハミルトニアンは、時間依存の係数を持つ非エルミートなものである。
• ダイソン写像は明示的に構成され、かつ時間依存である。
• エルミートな対応物は非一定である。
• プルバックされたエルミート断熱誤差と射影比較誤差の両方が非ゼロであり、かつ明示的に計算可能であることが示されており、最終的な推定がこれら両方の偏差の源泉を捉えていることが確認される。

意義と範囲
本論文は、実数スペクトルを持つ非エルミート系に対して、定量的な量子断熱定理を拡張する厳密な作用素論的枠組みを提供すると主張している。その意義は以下の点にある：

• 再定式化： 動的に適合した計量を通じて、問題をエルミート表現へと写像することにより、非ユニタリな力学に対する断熱メカニズムを再定式化している。
• 明示的な境界： 変換された表現だけでなく、元の非エルミート・ハミルトニアンのスペクトル部分空間に直接適用可能な、明示的な誤差境界を提供している。
• 誤差の分解： 断熱誤差を、固有のエルミート断熱誤差と、元の系の非ユニタリな性質によって導入される誤差（射影の不一致）へと明確に分離している。

著者らは制限事項についても述べている。解析は有限次元系に限定されており、計量作用素の構成は発展作用素の正確な知識に依存しているため、この枠組みは、任意のモデルに対してダイソン写像を決定するための独立した構成的手順を現時点では提供していない。本研究は、無限次元設定への拡張や、ダイソン写像のための構成的基準の開発に向けた布石となるものである。