量子力学の様々な構成方法 第4部 第6章 §4.6.6 ★★★ 影響汎関数は「基準の大きな閉じた系」から作られ、逆に Gauss 型の影響汎関数は振動子の熱浴で必ず実現することができる。重心と差に分けると、ξ の1次が古典の Langevin 方程式、Fourier 変換すると位相空間の Kramers 方程式になる
地図の上の位置
同値性の地図(第1部第1章)の「経路積分 × 密度行列」の橋は、開放系の時間発展を2つの構成の言葉で同時に書くものだった。この章で示したことを、3つの構成の対応として並べる。
| 基準(大きな閉じた系) | 密度行列(第4部第5章) | 経路積分(この章) |
| 状態 | 系と環境の ∣Ψ⟩ | 縮約 ρ^S | ρ(x,x′) を2本の経路の端で |
| 発展 | 全体のユニタリ U^ | CPTP 写像 Nt | ∫DxDx′eiΔS/ℏF[x,x′] |
| 環境の効果 | 環境の状態 ∣E[x]⟩ | Kraus 演算子 | 影響汎関数 F=⟨E[x′]∣E[x]⟩ |
| Markov のとき | 衝突模型・弱結合の極限 | Lindblad 方程式 | F が時間について局所的 |
| 記憶があるとき | そのまま書ける | 半群にならない | 核 ν, K に記憶が入る |
両向きの対応
基準 → 影響汎関数の向きは、第4.6.2節の導出そのものである。系と環境の全体を状態ベクトル(または混合なら浄化した状態ベクトル)で (D3) どおり発展させ、系の位置の完全系を挟んで環境を部分トレースすれば (4.6.6) になる。命題 4.6.1 の (v) は、その途中に現れる環境の状態の重なりを名指ししたものである。このとき写像 ρS(0)↦ρS(t) は第4部第5章の Stinespring 表示 TrE[U^(ρ^⊗ρ^E)U^†] と同じものなので、影響汎関数から作った時間発展はいつも CPTP である。
逆向き、すなわち与えられた影響汎関数を環境で実現できるかについては、Gauss 型の場合に次のことを言うことができる。(4.6.11) の形の F で、雑音の核と散逸の核が同じ J(ω)≥0 から (4.6.12) で作られているなら、(4.6.9) を満たす振動子の組(J を細かい δ 関数の和で近似する)を選べば、その振動子の熱浴がちょうどこの F を与える。2つの核が同じ J に由来すること、つまり ν の Fourier 成分が J(ω)coth(βℏω/2)、η の Fourier 成分が(虚数単位と符号を除いて)J(ω) で、両者の比が coth(βℏω/2) になっていることが揺動散逸定理で、これを破った F は熱平衡の環境では作ることができない。線形応答の範囲の環境(抵抗・電磁場の真空・フォノン)が、どれも振動子の熱浴で置き換えられるのはこのためである。Feynman and Vernon (1963) は線形の散逸系の効果を古典の揺らぐ力に置き換える議論を行い、電気回路では Johnson–Nyquist の雑音の関係になることを述べている。
古典の Langevin 方程式と位相空間
(4.6.19) は、学部の統計力学で習う Langevin 方程式
mx¨=−V′(x)−mγx˙+ζ(t),⟨ζ(s)ζ(u)⟩=2mγkBTδ(s−u)
と並べると、雑音の相関が ℏν(τ) に置き換わった形をしている。高温で ℏν→2mγkBTδ なので2つは一致し、『解析力学から様々な理論分野を組み立てる』第3部第9章の第2種の揺動散逸定理 ⟨ζζ⟩=kBTK が、量子では ℏν に変わることが分かる。一般の V では、(4.6.4) の ξ3 以上の項を捨てると同じ方程式になる。捨てた項は ℏ2V′′′ の桁の量子補正で、2次の系では厳密に 0 である。
近似の裏付け
型 B(極限) | 小さいもの 差の経路 ξ が小さい(ξ3V′′′ を捨てる。半古典の極限) | 証明 条件付き(2次の系と線形の熱浴では厳密。一般の V では ℏ2V′′′ の補正の評価は要確認) | 行き先 近似の数理 第7章
密度行列を ξ について Fourier 変換したものは、第5部(第5部第2章)の Wigner 関数 W(X,p)=2πℏ1∫ρ(X+2ξ,X−2ξ)e−ipξ/ℏdξ である。この変換で ξρ→iℏ∂pW、ξ∂ξρ→−∂p(pW) になるので、位置表示の (4.6.15) の2つの項(∂x−∂x′=2∂ξ)は
∂t∂W=−mp∂X∂W+V′(X)∂p∂W+γ∂p∂(pW)+mγkBT∂p2∂2W(V が2次のとき)(4.6.24)
になる。これは古典の位相空間の確率分布に対する Kramers の方程式と同じ形で、第4部第5章の橋の節の振動子の Fokker–Planck 方程式と並ぶ。Diósi の項は W の式に 16mkBTγℏ2∂X2W を足し、位置の方向にもわずかな拡散を入れる。
最後に虚時間との関係を述べる。系と熱浴の全体の熱平衡から系の縮約した分配関数を作ると、熱浴の振動子は虚時間の経路積分の中で Gauss 積分で消え、系の Euclid 作用に (x(τ)−x(τ′))2/(τ−τ′)2 の形の時間について非局所な項が加わる。第3部第7章(第3部第7章)の瞬間子をこの作用で求め直すと、Ohm 型の摩擦がトンネルの確率を下げることが分かる(Caldeira and Leggett 1983, Ann. Phys. 149, 374)。実時間の影響汎関数と虚時間の非局所の作用は、同じ振動子の熱浴を経路積分の中で積分したものの2つの姿である。
例題 4.6.7 量子の補正は摩擦によらない ★★
オリジナル命題 4.6.2 (c) の第2項 βℏ2/(12m) を、(i) 摩擦のない振動子の熱平衡 2mω0ℏcoth2βℏω0 の高温展開と、(ii) (4.6.19) の雑音のスペクトル ℏmγωcoth(βℏω/2) の高温展開から出し、なぜ γ によらないのかを説明せよ。
解答
(i) cothy=1/y+y/3+⋯ を y=βℏω0/2 で使うと 2mω0ℏ(βℏω02+6βℏω0)=mω02kBT+12mβℏ2。
(ii) 雑音のスペクトルは ℏmγω(βℏω2+6βℏω)=2mγkBT+6βℏ2mγω2 で、第1項は古典の白色雑音、第2項が量子の補正である。補正の雑音による ⟨x^2⟩ は ∫2πdω∣χ∣26βℏ2mγω2=6πβℏ2∫0∞ωImχdω=6πβℏ2⋅2mπ=12mβℏ2。
和則 ∫0∞ωImχdω=π/(2m) は χ の高周波の振る舞い χ→−1/(mω2) だけで決まり、高周波では粒子は慣性だけで応答して摩擦もばねも見ないので、γ にも ω0 にもよらない。この補正は第4部第4章の Wigner–Kirkwood の補正と同じ量で、熱浴と強く結合していても変わらない。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com