[論文レビュー] Progressive diagonalization and applications

Pierre Duclos, Ovadia Lev+2 more|ArXiv.org|May 6, 2004

Spectral Theory in Mathematical Physics参考文献 11被引用数 4

ひとこと要約

本稿では、有界でない摂動を伴う周期的に駆動される量子系のスペクトル的性質を分析するための新規手法である段階的対角化（progressive diagonalization）を導入する。時間に依存するハミルトニアンの瞬時固有基底にシュレーディンガー方程式を変換することで、未摂動ハミルトニアンに有界でない degeneracy が存在する場合でも、正の測度の周波数に対してフロケハミルトニアンが純粋点スペクトルを保つことを証明した。これは、d次元量子トップやδ相互作用を有するパルス励起回転子を含む、より広いクラスの量子系へ、従来の結果を拡張するものである。

ABSTRACT

We give a partial review of what is known so far on stability of periodically driven quantum systems versus regularity of the bounded driven force. In particular we emphasize the fact that unbounded degeneracies of the unperturbed Hamiltonian are allowed. Then we give a detailed description of an extension to some unbounded driven forces. This is done by representing the Schroedinger equation in the instantaneous basis of the time dependent Hamiltonian with a method that we call progressive diagonalization.

研究の動機と目的

• 周期的駆動量子系のスペクトル安定性結果を、有界摂動に限らず、有界でない摂動へと拡張すること。
• 従来のKAM型解析で除外されていた、未摂動ハミルトニアンのスペクトルにおける有界でない簡約性の課題に対処すること。
• フロケハミルトニアンが純粋点スペクトルを保つ条件を確立し、系の動的安定性を保証すること。
• d次元量子トップやδ相互作用を有するパルス励起回転子のような量子系の解析に、厳密なフレームワークを提供すること。
• 時間に依存するユニタリ変換を導入し、未摂動演算子の固有基底に沿ってハミルトニアンを対角化することで、KAM法を一般化すること。

提案手法

• 未摂動演算子 $ H_0 $ の固有基底において、時間に依存するハミルトニアンを段階的に対角化する新しい技術、すなわち段階的対角化（P.D.M.）を導入し、非対角項を重指数的に減少させる。
• シュレーディンガー方程式を $ H_0 + V(t) $ の時間に依存する基底で表現し、$ K = -i\frac{d}{dt} \bigotimes 1 + 1 \bigotimes H_0 + V $ を $ G(t) $ と新たな摂動 $ G(t) - i\frac{d}{dt}J(t)^*J(t) $ を含む形に変換する。
• ブロック対角化手順を用いて、時間に依存するユニタリ行列 $ J(t) $ を構成し、$ H_0 + V(t) = J(t)(H_0 + G(t))J(t)^* $ を満たすようにする。これにより、新たな摂動が有界であることを保証する。
• 変換された演算子 $ K_0 + \tilde{V} $ に主定理を適用し、$ \tilde{V} $ が有界でかつ重み付きノルム条件 $ \norm{\tilde{V}}_r < \text{threshold} $ を満たすようにすることで、純粋点スペクトルを保証する。
• 非対角部 $ V_s $ の大きさを $ \norm{V}_{r - \frac{1}{2} - \frac{1}{2^s}}^{2^{s-1}} $ の形で繰り返しユニタリ変換により減少させ、反復的対角化プロセスの収束を確立する。この過程で、重指数的減衰を達成する。
• d次元量子系に対して収束を保証するため、$ \norm{\frac{M_m M_n}{|E_m - E_n|^^\tau}}^^\tau < \forall \tau > 2d - 1 $ を満たす増大するギャップ条件を用いる。

実験結果

リサーチクエスチョン

• RQ1 未摂動ハミルトニアンに有界でない簡約性が存在する場合、周期的駆動量子系のスペクトル安定性を有界摂動を超えて拡張できるか。
• RQ2 駆動ポテンシャルが有界でない場合、フロケハミルトニアンが純粋点スペクトルを保つ条件は何か。
• RQ3 時間に依存するハミルトニアン $ H_0 + V(t) $ の瞬時固有基底に変換することで、KAM型手法を有界でない摂動に対応可能か。
• RQ4 時間に依存するポテンシャル $ V(t) $ に必要な最小の正則性および減衰条件は何か。これにより、正の測度の周波数に対して純粋点スペクトルが保証される。
• RQ5 適切な周波数および結合定数条件下で、d次元量子トップモデルは純粋点スペクトルを示すか。

主な発見

• 主定理により、$ r > \tau + \frac{1}{2} $ かつ $ \norm{V}_r $ が十分に小さいとき、すべての $ \rho \notin \rho_{\text{bad}} $ に対して $ K $ が純粋点スペクトルを持つことが保証される。$ \frac{|\rho_\text{good}|}{|\rho_0|} \to 1 $ が $ \norm{V}_r \to 0 $ のとき成り立ち、正の測度の周波数に対してスペクトル安定性が保証される。
• d次元量子トップに対しては、$ \tau > 2d - 1 $ のときギャップ条件が満たされ、$ s > 2d + \frac{1}{2} $ かつ $ u \neq 4 $ のとき定理が適用可能となり、絶対連続スペクトルの不在が保証される。
• δ相互作用を有するパルス励起回転子に対しては、$ f \notin C^s $ かつ $ s > 7/2 $、かつ結合定数 $ g $ が十分に小さいとき、この手法によりフロケ演算子が純粋点スペクトルを有することを証明した。これにより動的安定性が保証される。
• 本手法により、$ n \to \infty $ のとき $ M_n \to \infty $ となる有界でない簡約性を扱えるようになった。これは従来の標準的KAM型定理では除外されていたため、適用範囲が著しく拡張された。
• 変換 $ J(t) $ により、新たな摂動 $ G(t) - i\frac{d}{dt}J(t)^*J(t) $ が有界のまま保たれ、有界でない $ V $ に対しても主定理の適用が可能になる。
• 証明により、残余摂動が重指数的に減少することが示された：$ V_s = \bigO(\norm{V}_{r - \tau - 1/2}^{2^{s-1}}) $。これにより、反復的対角化プロセスの収束が確認された。