[論文レビュー] A simple derivation of mean field limits for quantum systems

Peter Pickl|arXiv (Cornell University)|Jul 26, 2009

Spectroscopy and Quantum Chemical Studies参考文献 10被引用数 6

ひとこと要約

本稿では、『良い』粒子と『悪い』粒子の偏りのある数え上げを導入することで、量子多体系における平均場極限を導出する新規で簡素化された手法を提示する。この手法により、より緊密なバインディングが得られ、一般の初期状態およびグロス＝ピタエフケィ方程式へと拡張可能であり、初期状態で多数の粒子が凝縮状態にあった場合、時間発展演算子のもとでもその凝縮状態が維持されることを証明する。これにより、1粒子密度行列の純粋状態への収束が保証される。

ABSTRACT

We shall present a new strategy for handling mean field limits of quantum mechanical systems. The new method is simple and effective. It is simple, because it translates the idea behind the mean field description of a many particle quantum system directly into a mathematical algorithm. It is effective because the strategy yields with lesser effort better results than previously achieved. As an instructional example we treat a simple model for the time dependent Hartree equation which we derive under more general conditions than what has been considered so far. Other mean field scalings leading e.g. to the Gross-Pitaevskii equation can also be treated.

研究の動機と目的

• ボーズ＝アインシュタイン凝縮に特に焦点を当て、量子系における平均場極限を導出するより単純かつ効果的な手法の開発。
• 従来の階層的アプローチやフェインマン図に基づく手法の限界を克服し、物理的直感を数学的アルゴリズムに直接的に翻訳する。
• 従来の仮定を超えて、非積状態の初期状態に対しても時間依存ハートリー方程式の導出を一般化する。
• より広い条件下で、グロス＝ピタエフケィ方程式を含む他の平均場方程式への応用を拡張する。
• トレースノルムにおいて、1粒子密度行列の純粋状態への収束を厳密に確立する。

提案手法

• 凝縮状態 φ^t にない粒子の相対的数を追跡するための偏りのある数え上げ測度 α(t) を導入し、α ≈ 0 は大多数の粒子が良い状態にあることを示す。
• 凝縮状態へ射影する作用素 p_j^φ とその直交補空間への射影作用素 q_j^φ を定義する。
• シュレーディンガー発展演算子における、N体波動関数を積状態で近似する際の誤差を、作用素ノルムおよびトレースクラスの推定によりバインディングする。
• ハーディーの不等式およびヤングの不等式を用いて、ポテンシャル v_N^β に伴う相互作用項を制御する。特に、スケーリング v_N^β(x) = N^{-1+3β}v(N^βx) の下で有効である。
• α_N(Ψ_N, φ) に対する微分不等式を導出し、α_N(0) ≈ 0 ならばすべての t に対して α_N(t) ≈ 0 であることを示す。これにより、凝縮状態の保存が保証される。
• 縮約1粒子密度行列 μ_1^Ψ_N を用いて、積状態に限らない一般の対称初期状態への一般化を実現する。

実験結果

リサーチクエスチョン

• RQ1 BBGKY階層やフェインマン図の数え上げに依存せずに、量子系における平均場極限を導出するより単純かつより頑健な手法を開発可能か？
• RQ2 ボーズ＝アインシュタイン凝縮の時間発展演算子が、近似的に単粒子波動関数の積状態のままであるのはどのような条件下か？
• RQ3 より広い初期条件のもとで、縮約1粒子密度行列の純粋状態への収束をどのように厳密に確立できるか？
• RQ4 本手法を、より広い一般性とより緊密な誤差バインディングを備えたグロス＝ピタエフケィ方程式の導出に拡張可能か？
• RQ5 粒子のもつれが平均場極限において果たす役割は何か？そして、そのもつれはどのように定量化され、制御可能か？

主な発見

• 初期状態で α_N(Ψ_N^0, φ^0) ≈ 0 ならば、すべての t に対して α_N(Ψ_N^t, φ^t) ≈ 0 であることが証明され、積状態構造が時間発展演算子のもとでも維持されることを保証する。
• N → ∞ のとき、縮約1粒子密度行列 μ_1^Ψ_N はトレースノルムにおいて |φ^t⟩⟨φ^t| に収束し、平均場極限が確認される。
• 従来の手法よりも誤差バインディングがより緊密で、導出作業の負荷も少ない。特に時間依存ハートリー方程式に対して顕著である。
• 偏りのある数え上げ測度によりもつれ粒子の数を制御することで、積状態に限らない一般の初期状態に対しても本手法が適用可能である。
• グロス＝ピタエフケィ方程式の導出が、非積状態の初期状態やより一般的な相互作用スケーリングに対しても拡張可能である。
• 誤差推定は O(α_N + N^{-1}) のスケーリングを示し、収束速度が初期状態における悪い粒子の割合と系のサイズに依存することを示している。