[論文レビュー] Quantum Fluctuations and Rate of Convergence towards Mean Field Dynamics

Igor Rodnianski, Benjamin Schlein|ArXiv.org|Nov 20, 2007

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

ひとこと要約

本稿は、N体量子力学的ダイナミクスから非線形ハートリー方程式への平均場極限における収束速度について、定量的な境界を確立する。フォック空間表現と量子場理論の技法を用いて、N体系の1粒子密度行列がハートリー解への射影に $ O(N^{-1/2}) $ のレートで収束することを証明し、コherent状態とラゲール多項式の推定を用いて量子ゆらぎを明示的に制御する。

ABSTRACT

The nonlinear Hartree equation describes the macroscopic dynamics of initially factorized N-boson states, in the limit of large N. In this paper we provide estimates on the rate of convergence of the microscopic quantum mechanical evolution towards the limiting Hartree dynamics. More precisely, we prove bounds on the difference between the one-particle density associated with the solution of the N-body Schroedinger equation and the orthogonal projection onto the solution of the Hartree equation.

研究の動機と目的

• Nボソン系の時間発展が平均場極限において非線形ハートリー方程式にどの程度の速度で収束するかを厳密に定量化すること。
• 特にクーロンポテンシャルのような特異的相互作用を伴う場合に生じる多体系ダイナミクスに起因する量子ゆらぎを制御すること。
• k粒子準拠密度行列がハートリー解のテンソル積にトレースノルムで収束することを示し、Nを用いた明示的な誤差境界を確立すること。
• ハートリー発展の周囲のゆらぎダイナミクスを解析するため、coherent状態と時刻依存ボゴリューボフ変換を組み込んだフォック空間アプローチを構築すること。
• 大パラメータを持つラゲール多項式の漸近挙動を用いて、フォック空間展開の係数に対する鋭い推定を導出すること。

提案手法

• N体波動関数をcoherent状態を用いてフォック空間に表現し、粒子数セクターごとの展開を行う。
• 時刻依存ユニタリ変換 $ \mathcal{U}_N^{\theta}(t;0) $ を導入して平均場背景を除去し、問題をハートリー解の周囲のゆらぎダイナミクスに変換する。
• coherent状態表現を用いてゆらぎ場演算子を表現し、フォック空間展開における係数の時間発展方程式を導出する。
• 大パラメータを持つラゲール多項式 $ L_m^{(N-m-1)}(N) $ の推定を適用し、ゆらぎ状態の展開における係数 $ \mathcal{R}_m $ を有界化する。
• 初期状態における数演算子 $ \mathcal{N} $ の事前推定を用いて、ゆらぎダイナミクスの成長を制御し、初期状態における $ \mathcal{N}^5 $-有界性を活用する。
• 係数の有界性と準拠密度行列のトレースノルム収束を組み合わせることで、ゆらぎ場の $ L^2 $-ノルム推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 N体量子系のk粒子準拠密度行列がハートリー解の対応するテンソル積に収束する最適なレートは何か？
• RQ2 特にクーロンポテンシャルのような特異的相互作用を伴う場合に、平均場極限における量子ゆらぎを定量的にどのように制御できるか？
• RQ3 直交多項式、特に大パラメータを持つラゲール多項式が、ゆらぎ状態のフォック空間展開係数を推定する際に果たす役割は何か？
• RQ4 収束速度を $ O(N^{-1/2}) $ を超えて向上させることは可能か？また、フォック空間におけるゆらぎ場のノルムに対する鋭い境界は何か？
• RQ5 ゆらぎ場の時間発展は多体系シュレーディンガー力学に従ってどのように振る舞い、そのノルムに対してどのような境界を確立できるか？

主な発見

• 1粒子密度行列 $ \gamma_{N,t}^{(1)} $ は、時間に依存しない $ O(N^{-1/2}) $ の速度で $ |\varphi_t\rangle\langle\varphi_t| $ にトレースノルムで収束する。
• ゆらぎ状態のフォック空間展開における係数 $ \mathcal{A}_m = \mathcal{R}_m / (m!^{1/2} N^{m/2}) $ は $ |\mathcal{A}_m| \lesssim m^{-1/4} $ を満たし、和が収束し、減衰することが保証される。
• ゆらぎ場 $ f_N(x) $ の $ L^2 $-ノルムは $ \|f_N\|_{L^2} \leq C e^{Kt} $ で有界であり、$ K $ は $ N $ に依存しないため、時間経過に伴う制御された成長が示される。
• 係数の二乗和は $ \sum_{m=0}^\infty \frac{|\mathcal{A}_m|^2}{m+1} \leq \text{const} $ を満たし、これはゆらぎ場の $ L^2 $-有界性に不可欠である。
• ラゲール多項式の漸近推定から $ |L_m^{(N-m-1)}(N)| \lesssim m^{-1/4} (m!)^{-1/2} N^{m/2} $ が得られ、これが主要な係数有界性に繋がる。
• トレースノルム収束 $ \gamma_{N,t}^{(k)} \to |\varphi_t\rangle\langle\varphi_t|^{\otimes k} $ が明示的な誤差制御とともに確立され、任意の固定された $ k \geq 1 $ および $ t \in \mathbb{R} $ に対して有効である。