A fresh look at the Peierls-Onsager substitution

技術要約：Peierls-Onsager置換への新たな視点

問題提起
本論文は、外部磁場が存在する状況下での、有限個のブロッホ固有値族に対するPeierls-Onsager置換の数学的な厳密な定式化に取り組んでいる。核心となる問題は、磁気摂動（$H_0$で記述される非摂動ハミルトニアン）を受ける周期ポテンシャル中の量子粒子のダイナミクスを近似することである。

既存の文献は、主に以下の2つの制限的な仮定に依存してきた：

1. 大域的スペクトルギャップ： 孤立したブロッホ族が、残りのスペクトルから大域的なギャップによって分離されていること。
2. 緩やかな変化： 磁場が、緩やかに変化する摂動（多くの場合、小さなパラメータ$\epsilon$によって制御される定数または弱い揺らぎを持つもの）であること。

さらに、局在化した合成ワニエ関数（自明なベクトル束構造を意味する）の存在がしばしば要求されてきた。

さらに、これまでの厳密な結果は、主に特定のシュレディンガー演算子（$-\Delta + W$）および一定の磁場に限定されていた。本論文は、以下の対象へとこれらの結果を一般化することを目的としている：

• 緩やかな変化の仮定を必要としない、長距離の磁場。
• 関連するブロッホ副束が非自明である（局在化したワニエ関数が存在しない）演算子。
• 広範な周期的な楕円型擬微分演算子のクラス。
• スペクトルギャップが大域的ではなく、局所的である場合（孤立した族がブリルアンゾーン内で局所的にのみ他のスペクトルから分離されている場合）。

手法
著者らは、**磁気擬微分解析（magnetic pseudo-differential calculus）およびヒルベルト空間上のパーセバル・フレーム（Parseval frames）**の理論に基づいた枠組みを採用している。その手法は、以下の主要な技術的ステップを通じて進行する：

1. 非摂動分解とベクトル束：

   • 非摂動ハミルトニアン$H_0$は、ブロッホ・フロケ理論を通じて、双対トーラス$T^*$によってインデックス付けされたファイバー演算子へと分解される。
   • 孤立したブロッホ族$\mathcal{B}$は、局所的なスペクトルギャップ条件によって定義される。
   • 局在化した合成ワニエ関数の存在（ブロッホ束が非自明な場合に存在しない可能性がある）に依存する代わりに、著者らは、孤立した族に関連する部分空間$P_B L^2(X)$のためのパーセバル・フレーム$\Psi_B$を構築する。この構成は、コンパクト多様体（双対トーラス）上の有限ランクのベクトル束の埋め込み定理を利用し、ブロッホ束の切断を有限次元空間$\mathbb{C}^{n_B}$へと写像するものである。

2. 磁気摂動と「準射影」：

   • 摂動ハミルトニアン$H_\epsilon$は、磁気ベクトルポテンシャル$A_\epsilon$を用いて定義される。
   • 著者らは、摂動されたフレーム$\tilde{\Psi}^\epsilon_B$を構築するために、「不均一なザック並進（inhomogeneous Zak translations）」を導入する。
   • 「準射影（quasi-projection）」演算子$\tilde{Q}^\epsilon_B$は、この摂動されたフレームから構成される有限ランクの積分演算子の極限として定義される。非摂動の場合とは異なり、$\tilde{Q}^\epsilon_B$は厳密な直交射影ではないが、\tilde{Q}^\epsilon_B^2 = \tilde{Q}^\epsilon_B + O(\epsilon)を満たす。

3. スペクトル射影とフレーム補正：

   • 著者らは、正則関数解析を用いて、$\tilde{Q}^\epsilon_B$の1の近傍にあるスペクトル島へのスペクトル射影として、厳密な直交射影$P^\epsilon_B$を定義する。
   • 補正演算子$\Theta^\epsilon_B$は、準フレーム$\tilde{\Psi}^\epsilon_B$を、部分空間$L^\epsilon_B = P^\epsilon_B L^2(X)$のための真のパーセバル・フレーム$\Psi^\epsilon_B$へと変換するために構築される。この手順は、この文脈において直接適用できない標準的なグラム・シュミットの直交化を置き換えるものである。

4. 有効ハミルトニアンと行列表示：

   • 低減されたハミルトニアン$H^\epsilon_B = P^\epsilon_B H_\epsilon P^\epsilon_B$を解析する。
   • パーセバル・フレーム$\Psi^\epsilon_B$を用いることで、著者らは演算子$H^\epsilon_B$を、$\ell^2(\Gamma) \otimes \mathbb{C}^{n_B}$上で作用する無限行列$M^\epsilon_B[H^\epsilon_B]$へと写像する。
   • 行列要素は、磁気位相因子（ウィルソン・ループ）と、非摂動のブロッホ準位から導かれるシンボルを含む、Peierls-Onsager置換に関連していることが示される。

主要な結果
主要定理（Theorem 2.18）は、摂動磁場$B = \epsilon B_\epsilon$（ここで$B_\epsilon$は正則な長距離場である）について、以下のことを確立している：

1. 準不変部分空間の存在： 直交射影$P^\epsilon_B$が存在し、交換子$[H_\epsilon, P^\epsilon_B]$は$O(\epsilon)$のオーダーである。この射影のシンボルは、$\epsilon \to 0$のとき非摂動射影のシンボルに収束する。
2. スペクトルおよび動力学的近似：
   • 低減されたハミルトニアン$H^\epsilon_B$のスペクトルは、特定のエネルギー窓内において、フルハミルトニアン$H_\epsilon$のスペクトルを$O(\epsilon^2)$の誤差で近似する。
   • $P^\epsilon_B$の範囲内に初期に支持された状態の時間発展は、$H^\epsilon_B$の下での発展によって近似される（具体的には$C[\epsilon + (1+|t|)^3 \epsilon^2]$の誤差を持つ）。
3. 行列表示（Peierls-Onsager置換）：
   • 低減されたハミルトニアンを無限行列へと写す単射な$C^*$-代数同型が存在する。
   • 行列要素$[M^\epsilon_B[H^\epsilon_B]]_{\alpha, \beta}$は、次のように与えられる：
     $$\tilde{\Lambda}_\epsilon(\alpha, \beta) [\mathring{m}_B[\hat{H}_B]]_{\alpha-\beta} + O(\epsilon)$$
     ここで、$\tilde{\Lambda}_\epsilon$は磁気位相因子（Peierls位相）を表し、$\mathring{m}_B$は非摂動のブロッホ準位から導かれる数列である。これは、長距離場の文脈における行列値シンボルとしての置換$\xi \to \xi - A(x)$を厳密に正当化する。

より精緻な結果（Theorem 2.22）は、磁場が非ゼロの定数成分と弱い揺らぎを持つ場合に提供され、有効ハミルトニアンに関するより詳細な記述を提示している。

意義と主張
本論文は、以前よりも著しく広範な物理的および数学的シナリオに対して、厳密なPeierls-Onsager近似を拡張できると主張している：

• 緩やかな変化の仮定の除去： 結果は、Space-Adiabatic Perturbation Theory (SAPT) のアプローチにおける主要な制限を克服し、緩やかに変化する必要のない、正則な長距離磁場に対しても成立する。
• 大域的ギャップの不要性： 近似は局所的なスペクトルギャップ条件の下で有効であり、孤立した族の外側でのバンド交差を許容する。
• トポロジカルな一般性： 構成は、局在化した合成ワニエ関数の存在（すなわち、非自明なブロッホ束）を必要としない（非自明なブロッホ束を扱うことができる）。
• 一般的な演算子： フレームワークは、標準的なシュレディンガー演算子だけでなく、広範な周期的な楕円型擬微分演算子に適用可能である。
• 次元性： パーセバル・フレームおよび磁気フレームの構成は、任意の次元$d \geq 2$において有効である。

著者らは、磁気擬微分解析と抽象的なフレーム理論を利用することで、初期の厳密な研究を自然に拡張し、断熱極限や自明な束の仮定を回避していることを強調している。誤差制御は精密であり、スペクトル誤差（$O(\epsilon^2)$）と動力学誤差（$O(\epsilon)$）を区別している。