解析力学から様々な理論分野を組み立てる 第4部 第9章 §4.9.4 ★★★ Stokes の定理で Berry 位相は曲率 Ω n = ∇ × A n \bm{\Omega}_n=\nabla\times\bm{A}_n Ω n = ∇ × A n の面積分になる。曲率はゲージに依らず、縮退点に置いた単極子の磁場の形をとる
Stokes の定理と Berry 曲率
パラメータ空間が3次元のとき、閉曲線 C C C を縁とする面 S S S をとれば、Stokes の定理で
γ n ( C ) = ∮ C A n ⋅ d R = ∫ S Ω n ⋅ d S , Ω n ( R ) = ∇ R × A n ( R ) (4.9.18) \gamma_n(C)=\oint_C\bm{A}_n\cdot\mathrm{d}\bm{R}=\int_S\bm{\Omega}_n\cdot\mathrm{d}\bm{S},\qquad \bm{\Omega}_n(\bm{R})=\nabla_{\bm{R}}\times\bm{A}_n(\bm{R})\tag{4.9.18} γ n ( C ) = ∮ C A n ⋅ d R = ∫ S Ω n ⋅ d S , Ω n ( R ) = ∇ R × A n ( R ) ( 4.9.18 )
と書ける。Ω n \bm{\Omega}_n Ω n を Berry 曲率 と呼ぶ。ゲージ変換で A n → A n − ∇ χ \bm{A}_n\to\bm{A}_n-\nabla\chi A n → A n − ∇ χ としても ∇ × ∇ χ = 0 \nabla\times\nabla\chi=0 ∇ × ∇ χ = 0 なので、Ω n \bm{\Omega}_n Ω n はゲージに依らない。電磁気の言葉では、A n \bm{A}_n A n がベクトルポテンシャル、Ω n \bm{\Omega}_n Ω n が磁場、γ n ( C ) \gamma_n(C) γ n ( C ) が閉曲線を貫く磁束にあたる。Berry 位相が閉じた道でだけ意味を持つことと、Aharonov–Bohm の位相が閉じた道を貫く磁束で決まることは、同じ構造である(4.9.5 節)。
この「パラメータ空間の中の幾何学」は、数学ではファイバー束の接続とホロノミーにあたり、Berry の論文の直後に Simon(1983)がその対応を指摘した1 1 B. Simon (1983), Phys. Rev. Lett. 51 , 2167–2170. 。この章ではその言葉は使わず、ベクトル解析だけで進む。
固有状態を微分しない公式
Ω n \bm{\Omega}_n Ω n の成分を書くと Ω n , i = i ∑ j , k ϵ i j k ⟨ ∂ j n ∣ ∂ k n ⟩ \Omega_{n,i}=\mathrm{i}\sum_{j,k}\epsilon_{ijk}\langle \partial_jn | \partial_kn \rangle Ω n , i = i ∑ j , k ϵ ij k ⟨ ∂ j n ∣ ∂ k n ⟩ である(⟨ n ∣ ∂ j ∂ k n ⟩ \langle n | \partial_j\partial_kn \rangle ⟨ n ∣ ∂ j ∂ k n ⟩ は j , k j,k j , k について対称なので消える)。間に完全系 ∑ m ∣ m ⟩ ⟨ m ∣ \sum_m| m \rangle \langle m | ∑ m ∣ m ⟩ ⟨ m ∣ を挟む。m = n m=n m = n の項は ⟨ ∂ j n ∣ n ⟩ ⟨ n ∣ ∂ k n ⟩ = − ⟨ n ∣ ∂ j n ⟩ ⟨ n ∣ ∂ k n ⟩ \langle \partial_jn | n \rangle \langle n | \partial_kn \rangle =-\langle n | \partial_jn \rangle \langle n | \partial_kn \rangle ⟨ ∂ j n ∣ n ⟩ ⟨ n ∣ ∂ k n ⟩ = − ⟨ n ∣ ∂ j n ⟩ ⟨ n ∣ ∂ k n ⟩ で j , k j,k j , k について対称なので消え、m ≠ n m\neq n m = n の項に式 (4.9.10) の形 ⟨ m ∣ ∂ k n ⟩ = ⟨ m ∣ ∂ k H ^ ∣ n ⟩ / ( E n − E m ) \langle m | \partial_kn \rangle =\langle m | \partial_k\hat H | n \rangle /(E_n-E_m) ⟨ m ∣ ∂ k n ⟩ = ⟨ m ∣ ∂ k H ^ ∣ n ⟩ / ( E n − E m ) を使うと
Ω n ( R ) = − Im ∑ m ≠ n ⟨ n ∣ ∇ R H ^ ∣ m ⟩ × ⟨ m ∣ ∇ R H ^ ∣ n ⟩ ( E m − E n ) 2 (4.9.19) \bm{\Omega}_n(\bm{R})=-\operatorname{Im}\sum_{m\neq n}\frac{\langle n | \nabla_{\bm{R}}\hat H | m \rangle \times\langle m | \nabla_{\bm{R}}\hat H | n \rangle }{(E_m-E_n)^2}\tag{4.9.19} Ω n ( R ) = − Im m = n ∑ ( E m − E n ) 2 ⟨ n ∣ ∇ R H ^ ∣ m ⟩ × ⟨ m ∣ ∇ R H ^ ∣ n ⟩ ( 4.9.19 )
を得る(和の中の外積は純虚数で、i × ( 純虚数 ) = − Im ( ⋅ ) \mathrm{i}\times(\text{純虚数})=-\operatorname{Im}(\cdot) i × ( 純虚数 ) = − Im ( ⋅ ) を使った)。この形は固有状態の微分を含まないので、位相の選び方を気にせず計算することができる。分母の ( E m − E n ) 2 (E_m-E_n)^2 ( E m − E n ) 2 から、曲率は準位が近づく所で大きくなり、縮退点で発散する。また ∑ n Ω n = 0 \sum_n\bm{\Omega}_n=0 ∑ n Ω n = 0 が成り立つ(和の中の各対 ( n , m ) (n,m) ( n , m ) と ( m , n ) (m,n) ( m , n ) が打ち消す)。
スピン 1 2 \frac12 2 1 :縮退点の単極子
式 (4.9.5) では ∇ R H ^ = σ \nabla_{\bm{R}}\hat H=\bm{\sigma} ∇ R H ^ = σ 、E − − E + = − 2 R E_--E_+=-2R E − − E + = − 2 R なので、式 (4.9.19) から(または式 (4.9.15) の回転をとって)
Ω ± ( R ) = ∓ R 2 R 3 (4.9.20) \bm{\Omega}_\pm(\bm{R})=\mp\frac{\bm{R}}{2R^3}\tag{4.9.20} Ω ± ( R ) = ∓ 2 R 3 R ( 4.9.20 )
となる。これは原点に置いた「磁荷」∓ 1 2 \mp\frac12 ∓ 2 1 の単極子が作る磁場の形である。Ω + \bm{\Omega}_+ Ω + を、原点を中心とする球面で積分すると、立体角が 4 π 4\pi 4 π なので
∮ 球面 Ω + ⋅ d S = − 1 2 × 4 π = − 2 π (4.9.21) \oint_{\text{球面}}\bm{\Omega}_+\cdot\mathrm{d}\bm{S}=-\frac12\times4\pi=-2\pi\tag{4.9.21} ∮ 球面 Ω + ⋅ d S = − 2 1 × 4 π = − 2 π ( 4.9.21 )
で、2 π 2\pi 2 π で割ると整数 − 1 -1 − 1 になる。閉曲線 C C C で球面を北と南に分けると、北側の面で計算した γ + \gamma_+ γ + と南側の面で計算した γ + \gamma_+ γ + は、全体の流束 − 2 π -2\pi − 2 π だけ違う。両者は 2 π 2\pi 2 π を法として同じ位相を与えるので、Berry 位相が 2 π 2\pi 2 π を法として決まることと矛盾しない。
4.9.1 節で、球面全体で1価な ∣ + ⟩ | + \rangle ∣ + ⟩ の選び方が存在しないことを見た。これは、閉じた面を貫く流束が 0 0 0 でないことの言い換えである。もし球面全体で1価で滑らかな A + \bm{A}_+ A + があれば、Stokes の定理で閉じた面の流束は縁が無いので 0 0 0 になるはずである。流束が − 2 π -2\pi − 2 π である以上、A + \bm{A}_+ A + はどこかで特異点(Dirac の紐)を持つ。式 (4.9.15) の A + \bm{A}_+ A + は南極で ∣ A + ∣ ∝ 1 / sin θ \lvert \bm{A}_+\rvert \propto1/\sin\theta ∣ A + ∣ ∝ 1/ sin θ が発散し、紐は負の z z z 軸に沿っている。
閉じた面を貫く Berry 曲率の流束を 2 π 2\pi 2 π で割った整数を Chern 数 と呼ぶ。縮退点を囲む面では 0 0 0 でない整数になり、縮退点が無ければ連続変形で 0 0 0 に縮められるので 0 0 0 である。バンドの波数 k \bm{k} k をパラメータとする Berry 曲率と、Brillouin 域全体の Chern 数は、第4部第11章(第4部第11章 )で異常速度と Hall 伝導度を出すのに使う。
離散の公式
数値計算で Berry 位相を求めるときは、A n \bm{A}_n A n を経ずに、閉曲線の上の点 R 1 , … , R N \bm{R}_1,\dots,\bm{R}_N R 1 , … , R N で対角化した固有ベクトルを使う。隣り合う点の重なりは⟨ n ( R k ) ∣ n ( R k + 1 ) ⟩ = 1 + Δ R ⋅ ⟨ n ∣ ∇ n ⟩ + ⋯ = 1 − i A n ⋅ Δ R + ⋯ ≈ e − i A n ⋅ Δ R \langle n(\bm{R}_k) | n(\bm{R}_{k+1}) \rangle =1+\Delta\bm{R}\cdot\langle n | \nabla n \rangle +\cdots=1-\mathrm{i}\bm{A}_n\cdot\Delta\bm{R}+\cdots\approx\mathrm{e}^{-\mathrm{i}\bm{A}_n\cdot\Delta\bm{R}} ⟨ n ( R k ) ∣ n ( R k + 1 )⟩ = 1 + Δ R ⋅ ⟨ n ∣∇ n ⟩ + ⋯ = 1 − i A n ⋅ Δ R + ⋯ ≈ e − i A n ⋅ Δ R なので、
γ n ( C ) = − lim N → ∞ arg ∏ k = 1 N ⟨ n ( R k ) ∣ n ( R k + 1 ) ⟩ , R N + 1 = R 1 (4.9.22) \gamma_n(C)=-\lim_{N\to\infty}\arg\prod_{k=1}^{N}\langle n(\bm{R}_k) | n(\bm{R}_{k+1}) \rangle ,\qquad \bm{R}_{N+1}=\bm{R}_1\tag{4.9.22} γ n ( C ) = − N → ∞ lim arg k = 1 ∏ N ⟨ n ( R k ) ∣ n ( R k + 1 )⟩ , R N + 1 = R 1 ( 4.9.22 )
となる。積の中で各 ∣ n ( R k ) ⟩ | n(\bm{R}_k) \rangle ∣ n ( R k )⟩ はブラとケットに1回ずつ現れるので、それぞれの位相は打ち消し合い、対角化で出てきたでたらめな位相のまま使ってよい。有限の N N N でも積の偏角はゲージに依らない。
例題 4.9.4 3点で測る Berry 位相 ★★
オリジナル スピン 1 2 \frac12 2 1 の ∣ + ⟩ | + \rangle ∣ + ⟩ を、n \bm{n} n が x x x 軸、y y y 軸、z z z 軸の正の向きを順に指す3つの状態 ∣ x ⟩ | x \rangle ∣ x ⟩ , ∣ y ⟩ | y \rangle ∣ y ⟩ , ∣ z ⟩ | z \rangle ∣ z ⟩ に選ぶ。
(1) 3つの状態を書き、⟨ x ∣ y ⟩ ⟨ y ∣ z ⟩ ⟨ z ∣ x ⟩ \langle x | y \rangle \langle y | z \rangle \langle z | x \rangle ⟨ x ∣ y ⟩ ⟨ y ∣ z ⟩ ⟨ z ∣ x ⟩ を計算して、式 (4.9.22) の N = 3 N=3 N = 3 の値 − arg ( ⋅ ) -\arg(\cdot) − arg ( ⋅ ) を求めよ。
(2) 3点を大円の弧で結んだ球面三角形の立体角を求め、(1) が − 1 2 × -\frac12\times − 2 1 × (立体角)に等しいことを確かめよ。
(3) 各状態の位相を勝手に変えても (1) の値が変わらないことを示せ。極角 60 ∘ 60^\circ 6 0 ∘ の円の上に等間隔に4点をとって同じ積を数値で計算すると − 1.287 -1.287 − 1.287 になる。円の Berry 位相 − π / 2 = − 1.571 -\pi/2=-1.571 − π /2 = − 1.571 と大きさが違う理由を述べよ。
解答 (1) 式 (4.9.6) から ∣ x ⟩ = 1 2 ( 1 , 1 ) T | x \rangle =\frac{1}{\sqrt2}(1,1)^{\mathsf T} ∣ x ⟩ = 2 1 ( 1 , 1 ) T 、∣ y ⟩ = 1 2 ( 1 , i ) T | y \rangle =\frac{1}{\sqrt2}(1,\mathrm{i})^{\mathsf T} ∣ y ⟩ = 2 1 ( 1 , i ) T 、∣ z ⟩ = ( 1 , 0 ) T | z \rangle =(1,0)^{\mathsf T} ∣ z ⟩ = ( 1 , 0 ) T 。⟨ x ∣ y ⟩ = 1 2 ( 1 + i ) \langle x | y \rangle =\frac12(1+\mathrm{i}) ⟨ x ∣ y ⟩ = 2 1 ( 1 + i ) 、⟨ y ∣ z ⟩ = 1 2 \langle y | z \rangle =\frac{1}{\sqrt2} ⟨ y ∣ z ⟩ = 2 1 、⟨ z ∣ x ⟩ = 1 2 \langle z | x \rangle =\frac{1}{\sqrt2} ⟨ z ∣ x ⟩ = 2 1 なので積は 1 4 ( 1 + i ) \frac14(1+\mathrm{i}) 4 1 ( 1 + i ) 、偏角は π / 4 \pi/4 π /4 で、N = 3 N=3 N = 3 の値は − π / 4 -\pi/4 − π /4 である。
(2) 3つの座標軸の正の向きを結ぶ球面三角形は、球面を8等分した1つで、立体角は 4 π / 8 = π / 2 4\pi/8=\pi/2 4 π /8 = π /2 。x → y → z x\to y\to z x → y → z の順は外側から見て反時計回りで、(1) の − π / 4 = − 1 2 ⋅ π 2 -\pi/4=-\frac12\cdot\frac\pi2 − π /4 = − 2 1 ⋅ 2 π と一致する。スピン 1 2 \frac12 2 1 では、3点の積の偏角は大円で結んだ三角形の立体角のちょうど半分になり、N = 3 N=3 N = 3 でも近似でない。
(3) ∣ x ⟩ → e i a ∣ x ⟩ | x \rangle \to\mathrm{e}^{\mathrm{i} a}| x \rangle ∣ x ⟩ → e i a ∣ x ⟩ などと置き換えると、∣ x ⟩ | x \rangle ∣ x ⟩ は ⟨ x ∣ y ⟩ \langle x | y \rangle ⟨ x ∣ y ⟩ でブラ(e − i a \mathrm{e}^{-\mathrm{i} a} e − i a )、⟨ z ∣ x ⟩ \langle z | x \rangle ⟨ z ∣ x ⟩ でケット(e i a \mathrm{e}^{\mathrm{i} a} e i a )として現れ、積の中で打ち消す。∣ y ⟩ | y \rangle ∣ y ⟩ , ∣ z ⟩ | z \rangle ∣ z ⟩ も同じである。4点の積は、4点を大円の弧で結んだ球面四角形の立体角の − 1 2 -\frac12 − 2 1 倍を与える。極角 60 ∘ 60^\circ 6 0 ∘ の緯線は大円でないので、隣り合う2点を結ぶ大円の弧は緯線より北極側を通り、四角形の面積は緯線が囲む帽子の面積 π \pi π より小さい(2.574 2.574 2.574 )。点を増やすと大円の弧が緯線に近づき、積は − π / 2 -\pi/2 − π /2 に収束する(検算 verify_ch4-09.py)。
1 B. Simon (1983), Phys. Rev. Lett. 51 , 2167–2170.
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com