解析力学から様々な理論分野を組み立てる 第4部 第9章 §4.9.6 ★★ 授業の断熱近似は位相 γ n \gamma_n γ n を「付け替えれば消せる」として落とす。閉じた道ではそれができず、Born–Oppenheimer 近似の核の方程式にはベクトルポテンシャル ℏ A n \hbar\bm{A}_n ℏ A n が入る
授業の断熱近似
学部の量子力学の授業では、時間に依る Hamiltonian H ^ ( t ) \hat H(t) H ^ ( t ) の固有状態 ψ n ( t ) \psi_n(t) ψ n ( t ) で Ψ ( t ) = ∑ n c n ( t ) e − i η n ( t ) ψ n ( t ) \Psi(t)=\sum_nc_n(t)\mathrm{e}^{-\mathrm{i}\eta_n(t)}\psi_n(t) Ψ ( t ) = ∑ n c n ( t ) e − i η n ( t ) ψ n ( t ) と展開し、
c ˙ m = − c m ⟨ ψ m ∣ ∂ ψ m ∂ t ⟩ − ∑ n ≠ m c n ⟨ ψ m ∣ ∂ t H ^ ∣ ψ n ⟩ E n − E m e i ( η m − η n ) \dot c_m=-c_m\Bigl\langle\psi_m\Bigm|\frac{\partial \psi_m}{\partial t}\Bigr\rangle-\sum_{n\neq m}c_n\frac{\langle \psi_m | \partial_t\hat H | \psi_n \rangle }{E_n-E_m}\,\mathrm{e}^{\mathrm{i}(\eta_m-\eta_n)} c ˙ m = − c m ⟨ ψ m ∂ t ∂ ψ m ⟩ − n = m ∑ c n E n − E m ⟨ ψ m ∣ ∂ t H ^ ∣ ψ n ⟩ e i ( η m − η n )
を導いて、第2項を落とすことで断熱近似を述べる。この式は式 (4.9.8) と式 (4.9.10) を合わせたものと同じである。第1項については「ψ m ( t ) \psi_m(t) ψ m ( t ) の位相を時刻ごとに選び直せば ⟨ ψ m ∣ ∂ t ψ m ⟩ = 0 \langle \psi_m | \partial_t\psi_m \rangle =0 ⟨ ψ m ∣ ∂ t ψ m ⟩ = 0 にできる」として、Ψ ( t ) ≈ e − i η n ( t ) ψ n ( t ) \Psi(t)\approx\mathrm{e}^{-\mathrm{i}\eta_n(t)}\psi_n(t) Ψ ( t ) ≈ e − i η n ( t ) ψ n ( t ) を答えとすることが多い。
この扱いは開いた道では正しい。位相を ⟨ ψ n ∣ ∂ t ψ n ⟩ = 0 \langle \psi_n | \partial_t\psi_n \rangle =0 ⟨ ψ n ∣ ∂ t ψ n ⟩ = 0 となるように選ぶこと(平行移動のゲージ)は、χ ( t ) = γ n ( t ) \chi(t)=\gamma_n(t) χ ( t ) = γ n ( t ) のゲージ変換で γ n \gamma_n γ n を固有状態の側へ吸収することにあたる。しかし閉じた道では、平行移動で運んだ ψ n ( T ) \psi_n(T) ψ n ( T ) が出発点の ψ n ( 0 ) \psi_n(0) ψ n ( 0 ) と一致する保証は無く、一致させようとすると e i γ n ( C ) \mathrm{e}^{\mathrm{i}\gamma_n(C)} e i γ n ( C ) の食い違いが残る。1価性(同じ H ^ \hat H H ^ には同じ固有状態)と平行移動を両方満たす選び方は、γ n ( C ) = 0 \gamma_n(C)=0 γ n ( C ) = 0 (2 π 2\pi 2 π を法として)の場合にしか存在しない。
1984年まで Berry 位相が見過ごされていた一因は、ここにある。もう1つの理由は、Hamiltonian が実数の行列のとき固有状態を実数にとれて、⟨ n ∣ ∂ n ⟩ \langle n | \partial n \rangle ⟨ n ∣ ∂ n ⟩ が実数かつ純虚数、つまり 0 0 0 になることである。このときでも、固有状態を実数のまま閉じた道に沿って連続に運ぶと、出発点に戻ったとき符号が反転していることがある。符号の反転は Berry 位相 π \pi π にあたる。実数の Hamiltonian の Berry 位相は 0 0 0 か π \pi π に限られ、π \pi π になるのは道が縮退点を囲むときである。
授業の Born–Oppenheimer 近似
分子の授業では、原子核の位置 R \bm{R} R を止めて電子の Schrödinger 方程式を解き、得られた E n ( R ) E_n(\bm{R}) E n ( R ) をポテンシャルとして原子核の Schrödinger 方程式
[ P ^ 2 2 M + E n ( R ) ] χ ( R ) = E χ ( R ) (4.9.26) \Bigl[\frac{\hat{\bm{P}}^2}{2M}+E_n(\bm{R})\Bigr]\chi(\bm{R})=E\chi(\bm{R})\tag{4.9.26} [ 2 M P ^ 2 + E n ( R ) ] χ ( R ) = E χ ( R ) ( 4.9.26 )
を解く(P ^ = − i ℏ ∇ R \hat{\bm{P}}=-\mathrm{i}\hbar\nabla_{\bm{R}} P ^ = − i ℏ ∇ R )。この章の言葉では、原子核の位置が電子の Hamiltonian のパラメータ R \bm{R} R である。違いは、パラメータが外から決まった時刻の関数でなく、原子核自身の量子力学の変数になっていることである。全体の波動関数を Ψ = χ ( R ) ∣ n ( R ) ⟩ \Psi=\chi(\bm{R})| n(\bm{R}) \rangle Ψ = χ ( R ) ∣ n ( R )⟩ と置き、電子の状態 ∣ n ( R ) ⟩ | n(\bm{R}) \rangle ∣ n ( R )⟩ に射影して原子核の方程式を作ると、
[ ( P ^ − ℏ A n ( R ) ) 2 2 M + E n ( R ) + ℏ 2 2 M ( ⟨ ∇ R n ∣ ∇ R n ⟩ − ∣ A n ∣ 2 ) ] χ ( R ) = E χ ( R ) (4.9.27) \Bigl[\frac{(\hat{\bm{P}}-\hbar\bm{A}_n(\bm{R}))^2}{2M}+E_n(\bm{R})+\frac{\hbar^2}{2M}\Bigl(\langle \nabla_{\bm{R}}n | \nabla_{\bm{R}}n \rangle -\lvert \bm{A}_n\rvert ^2\Bigr)\Bigr]\chi(\bm{R})=E\chi(\bm{R})\tag{4.9.27} [ 2 M ( P ^ − ℏ A n ( R ) ) 2 + E n ( R ) + 2 M ℏ 2 ( ⟨ ∇ R n ∣ ∇ R n ⟩ − ∣ A n ∣ 2 ) ] χ ( R ) = E χ ( R ) ( 4.9.27 )
になる(ほかの電子状態へ移る項は落とした)。P ^ \hat{\bm{P}} P ^ が ∣ n ( R ) ⟩ | n(\bm{R}) \rangle ∣ n ( R )⟩ にも当たることで、P ^ ( χ ∣ n ⟩ ) \hat{\bm{P}}\bigl(\chi| n \rangle \bigr) P ^ ( χ ∣ n ⟩ ) を ⟨ n ∣ \langle n | ⟨ n ∣ に射影すると ( P ^ − ℏ A n ) χ (\hat{\bm{P}}-\hbar\bm{A}_n)\chi ( P ^ − ℏ A n ) χ が出る。原子核は Berry 接続をベクトルポテンシャルとする「磁場」の中を運動し、電荷 q q q の位置に ℏ \hbar ℏ が入る。第2部第2章(第2部第2章 )の最小結合 p − q A \bm{p}-q\bm{A} p − q A と同じ形である。この形は Mead と Truhlar(1979)が分子の問題で明示した1 1 C. A. Mead and D. G. Truhlar (1979), J. Chem. Phys. 70 , 2284–2296. 。
授業の式 (4.9.26) は、A n \bm{A}_n A n の項と、式 (4.9.27) の最後の小さなスカラーの項を落としたものである。固有状態を実数にとれるとき A n \bm{A}_n A n は局所的には 0 0 0 だが、原子核の道が電子の準位の交差点(円錐交差)を囲むと、上で見た符号の反転が起き、原子核の波動関数 χ \chi χ に「1周で符号が反転する」という境界条件が課される2 2 H. C. Longuet-Higgins, U. Öpik, M. H. L. Pryce and R. A. Sack (1958), Proc. R. Soc. Lond. A 244 , 1–16. 。これを落とすと、原子核の回転の準位を誤る。図 4.9.3 は総合問題の模型(円周の上を回る原子核と2準位の電子)で、厳密な準位と、2つの近似の準位を比べたものである。
図 4.9.3 円周の上を回る原子核(慣性モーメント I I I )と、交差点を囲む2準位の電子の模型(総合問題)の低い準位。左は授業の Born–Oppenheimer 近似の m 2 + 1 4 m^2+\frac14 m 2 + 4 1 、中央は Berry 位相 π \pi π を入れた ( m + 1 2 ) 2 + 1 4 (m+\frac12)^2+\frac14 ( m + 2 1 ) 2 + 4 1 (実線)、右は電子と原子核を合わせた Hamiltonian の数値対角化(点線、κ = 50 ℏ 2 / ( 2 I ) \kappa=50\hbar^2/(2I) κ = 50 ℏ 2 / ( 2 I ) )。右の数字は縮退の数。厳密な準位はすべて2重に縮退し、中央の近似と 0.03 0.03 0.03 以下の差で合う
近似の裏付け
型 B(極限) | 小さいもの ℏ 2 / ( M g ℓ 2 ) → 0 \hbar^2/(M g\,\ell^2)\to0 ℏ 2 / ( M g ℓ 2 ) → 0 (原子核の運動のエネルギーの尺度が電子の準位の間隔 g g g より小さい。ℓ \ell ℓ は原子核の運動の長さの尺度) | 証明 要確認(ギャップが閉じる交差点の近くでは前提が破れる。原子核の波動関数が交差点から離れていることが要るが、その誤差評価を原論文で確かめていない) | 行き先 近似の数理 第7章
例題 4.9.7 実数の Hamiltonian と符号の反転 ★★
オリジナル 実数の 2 × 2 2\times2 2 × 2 行列 H ^ ( X , Z ) = X σ x + Z σ z \hat H(X,Z)=X\sigma_x+Z\sigma_z H ^ ( X , Z ) = X σ x + Z σ z を考える。パラメータは平面 ( X , Z ) (X,Z) ( X , Z ) の点で、X = ρ sin φ X=\rho\sin\varphi X = ρ sin φ , Z = ρ cos φ Z=\rho\cos\varphi Z = ρ cos φ と書く。
(1) 低い方の固有値と、実数の固有ベクトル ( − sin φ 2 , cos φ 2 ) T (-\sin\frac\varphi2,\ \cos\frac\varphi2)^{\mathsf T} ( − sin 2 φ , cos 2 φ ) T を確かめよ。φ \varphi φ を 0 0 0 から 2 π 2\pi 2 π まで連続に変えると何が起きるか。
(2) 原点を囲む円の Berry 位相を、(1) と、式 (4.9.16) の立体角の両方から求めよ。
(3) 中心 ( X , Z ) = ( 2 , 0 ) (X,Z)=(2,0) ( X , Z ) = ( 2 , 0 ) 、半径 1 1 1 の円(原点を囲まない)を1周すると、Berry 位相はいくらか。
解答 (1) H ^ = ρ ( cos φ sin φ sin φ − cos φ ) \hat H=\rho\begin{pmatrix}\cos\varphi&\sin\varphi\\ \sin\varphi&-\cos\varphi\end{pmatrix} H ^ = ρ ( cos φ sin φ sin φ − cos φ ) の固有値は ± ρ \pm\rho ± ρ 。v = ( − sin φ 2 , cos φ 2 ) T v=(-\sin\frac\varphi2,\cos\frac\varphi2)^{\mathsf T} v = ( − sin 2 φ , cos 2 φ ) T に掛けると、第1成分は ρ ( − cos φ sin φ 2 + sin φ cos φ 2 ) = ρ sin φ 2 \rho(-\cos\varphi\sin\frac\varphi2+\sin\varphi\cos\frac\varphi2)=\rho\sin\frac\varphi2 ρ ( − cos φ sin 2 φ + sin φ cos 2 φ ) = ρ sin 2 φ 、第2成分は ρ ( − sin φ sin φ 2 − cos φ cos φ 2 ) = − ρ cos φ 2 \rho(-\sin\varphi\sin\frac\varphi2-\cos\varphi\cos\frac\varphi2)=-\rho\cos\frac\varphi2 ρ ( − sin φ sin 2 φ − cos φ cos 2 φ ) = − ρ cos 2 φ で、H ^ v = − ρ v \hat Hv=-\rho v H ^ v = − ρ v 。φ → φ + 2 π \varphi\to\varphi+2\pi φ → φ + 2 π で v → − v v\to-v v → − v となり、連続に運んだ実数の固有ベクトルは1周で符号が反転する。
(2) v v v は実数で ⟨ v ∣ ∂ φ v ⟩ = 0 \langle v | \partial_\varphi v \rangle =0 ⟨ v ∣ ∂ φ v ⟩ = 0 なので、v v v をそのまま使うと Berry 接続は 0 0 0 だが、v v v は1価でない。1価な e i φ / 2 v \mathrm{e}^{\mathrm{i}\varphi/2}v e i φ /2 v に取り替えると A φ = i ⋅ i 2 = − 1 2 A_\varphi=\mathrm{i}\cdot\frac{\mathrm{i}}2=-\frac12 A φ = i ⋅ 2 i = − 2 1 で、γ = − π ≡ π \gamma=-\pi\equiv\pi γ = − π ≡ π 。立体角で見ると、R = ( X , 0 , Z ) \bm{R}=(X,0,Z) R = ( X , 0 , Z ) は単位球面の x z xz x z 面の大円を描き、北側の立体角は半球の 2 π 2\pi 2 π 、低い方の状態は ∣ − ⟩ | - \rangle ∣ − ⟩ なので γ − = + 1 2 ⋅ 2 π = π \gamma_-=+\frac12\cdot2\pi=\pi γ − = + 2 1 ⋅ 2 π = π で一致する。
(3) 円の内側に縮退点が無いので、Berry 曲率の流束は 0 0 0 で γ = 0 \gamma=0 γ = 0 。実際、固有ベクトルの角 φ \varphi φ は arctan \arctan arctan の範囲で行って戻るだけで 2 π 2\pi 2 π 回らず、符号の反転は起きない。離散の公式 (4.9.22) で数値計算すると、原点を囲む円で π \pi π 、囲まない円で 0 0 0 になる(検算 verify_ch4-09.py)。
1 C. A. Mead and D. G. Truhlar (1979), J. Chem. Phys. 70 , 2284–2296.
2 H. C. Longuet-Higgins, U. Öpik, M. H. L. Pryce and R. A. Sack (1958), Proc. R. Soc. Lond. A 244 , 1–16.
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com