[論文レビュー] Kinetic Equations for Quantum Many-Particle Systems

Herbert Spohn|ArXiv.org|Jun 6, 2007

Cold Atom Physics and Bose-Einstein Condensates参考文献 25被引用数 13

ひとこと要約

本稿では、弱い結合極限における量子多体系の運動方程式を厳密に導出しており、運動量分布が摂動理論から得られる衝突項を有する非線形輸送方程式に従って進化することを示している。主な結果は、ユニタリティに基づく切り捨てられた摂動級数を用いて、任意の時間における運動方程式の極限の正当化を証明したことである。これはフェルミ粒子およびボーズ粒子、連続的および格子系の両方において有効である。

ABSTRACT

The current status of the derivation of kinetic equations from quantum many-particle dynamics is reviewed.

研究の動機と目的

• 量子多体系の運動方程式を、量子力学的ダイナミクスの第一原理から厳密に導出すること。
• 相互作用強度が √ε に比例する弱い相互作用領域における運動方程式の極限の有効性を確立すること。
• 時間スケールの分離を明確にすること：微視的スケール、運動方程式スケール（ε⁻¹t が固定）、長時間スケール（ε が固定、t → ∞）、特に運動方程式スケールに注目すること。
• 初期状態、特に準自由状態および空間的に一様な状態が運動方程式的挙動の出現に果たす役割を分析すること。
• 半古典的近似を用いて空間的に不均一な系へ運動方程式の枠組みを拡張し、流れ項と衝突項を含む完全な運動方程式を導出すること。

提案手法

• 弱い結合ハミルトニアン H = H₀ + √ε H_I を用い、H₀ を自由ハミルトニアン、H_I を相互作用項とし、ε → 0 の極限を考察する。
• 運動方程式時間スケール τ = ε⁻¹t を導入し、運動量分布の遅い変化と微視的ダイナミクスの速い変化を分離する。
• ウィグナー関数の時間発展に対する摂動論を適用し、n粒子相関関数の階層に注目する。
• フェ Feynman 図を用い、主要項の和を取ることで衝突演算子 C(W) を導出する。
• ユニタリティに基づく摂動級数の切り捨てを採用し、剰余項を制御し、運動方程式極限における収束を証明する。
• 空間的不均一性を半古典的近似により組み込み、W(k) を W(r,k) に置き換え、流れ項 −∇ₖω(k)·∇ᵣW(r,k) を導入する。

実験結果

リサーチクエスチョン

• RQ1 弱い結合極限における量子多体系の運動方程式は、基礎的な量子力学的ダイナミクスから厳密に導出可能か？
• RQ2 運動方程式的記述が有効となる正確な時間スケールは何か？また、相互作用強度 ε とどのように関係するか？
• RQ3 準自由でない初期状態はどのように進化するか？自由ダイナミクス下で、系はいつ頃準自由状態に近づくか？
• RQ4 空間的不均一性が運動方程式に与える役割は何か？また、半古典的近似はどのように正当化されるか？
• RQ5 運動方程式スケールを超えると何が起こるか？系は普遍的な拡散係数を有する拡散的挙動を示すか？

主な発見

• ユニタリティに基づく摂動級数の切り捨てを用いて、任意の時間における運動方程式極限を厳密に証明した。これは、収束半径が有限の既存の結果を拡張するものである。
• 弱い相互作用を有する格子上のフェルミ粒子に対して、運動量分布は W(k,t) = W(k) + tC(W)(k) に従い、θ = -1 のとき C(W) はボルツマン衝突演算子と一致する。
• 空間的に不均一な系では、運動方程式は ∂ₜW + ∇ₖω·∇ᵣW = C(W) の形を取り、C(W) はウィグナー関数の階層における衝突項から導出される。
• 運動方程式スケールを超えた時間では、解は W(r,k,t) ≈ ρ(r,t)δ(E − ω(k)) の形に近づき、ρ は拡散方程式 ∂ₜρ = Dₖᵢₙ(E)Δᵣρ に従う。
• 運動方程式スケールを超えた臨界時間領域は 0 < α < 10⁻³ で有効であり、時間スケーリング t ∼ ε⁻¹⁻ᵃ において、理論的予測 α_c = 1 を支持する。
• 本手法は、ランダムポテンシャル（アンドリュー・モデル）、タイトバインディング、フォノンバスタッチなど、さまざまなモデルに適用可能であり、運動方程式フレームワークの広範な適用可能性を示している。