[論文レビュー] Scaling limits of bosonic ground states, from many-body to nonlinear Schr{ö}dinger

Nicolas Rougerie|arXiv (Cornell University)|Feb 7, 2020

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

ひとこと要約

本稿は、多数のボソン系における非線形シュレーディンガー方程式の数学的導出を確立し、粒子数が非常に大きい熱力学的極限において、相互作用をもつボソンの基底状態がボーズ・アインシュタイン凝縮に収束することを示している。量子de Finetti定理、クリーン状態、モーメント推定を用いて、非線形関数の最小化による有効記述の厳密な裏付けを与え、多体系量子力学と平均場理論を結ぶ。

ABSTRACT

How and why may an interacting system of many particles be described assuming that all particles are independent and identically distributed ? This question is at least as old as statistical mechanics itself. Its quantum version has been rejuvenated by the birth of cold atoms physics. In particular the experimental creation of Bose-Einstein condensates directly asks the following variant: why and how can a large assembly of very cold interacting bosons (quantum particles deprived of the Pauli exclusion principle) all populate the same quantum state ? In this text I review the various mathematical techniques allowing to prove that the lowest energy state of a bosonic system forms, in a reasonable macroscopic limit of large particle number, a Bose-Einstein condensate. This means that indeed in the relevant limit all particles approximately behave as if independent and identically distributed, according to a law determined by minimizing a non-linear Schr{ö}dinger energy functional. This is a particular instance of the justification of the mean-field approximation in statistical mechanics, starting from the basic many-body Schr{ö}dinger Hamiltonian.

研究の動機と目的

• 大規模な相互作用をもつボソン系においてボーズ・アインシュタイン凝縮がどのように出現するかを数学的に正当化すること。
• 熱力学的極限における多体系シュレーディンガーハミルトニアンと非線形シュレーディンガーエネルギー関数との間のギャップを埋めること。
• 厳密な解析的手法を用いて、量子多体系における平均場近似の有効性を確立すること。
• 希釈およびGross-Pitaevskii領域を含むボソン系におけるスケーリング極限の包括的レビューを提供すること。

提案手法

• 大N極限におけるN体ボソン状態の漸近的構造を特徴付けるために、量子de Finetti定理を応用すること。
• 多体系基底状態の近似とc数最小化子への収束を分析するために、クリーン状態形式を用いること。
• 相関を制御し、希釈極限におけるエネルギー評価を導くために、モーメント推定と局在化技術を用いること。
• 捕獲されていないおよび相互作用をもつ系を取り扱うために、半古典的および情報理論的バージョンのde Finetti定理を適応すること。
• エネルギーと相関構造の推定に、Jastrow-Dyson状態およびBogoliubov型状態などの試行状態を用いること。
• 多体系ハミルトニアンのスペクトル的性質を分析するために、Feynman-Kac公式とTrotter積公式を応用すること。

実験結果

リサーチクエスチョン

• RQ1 N体相互作用ボソン系の基底状態が、大N極限においていつボーズ・アインシュタイン凝縮に収束するか。
• RQ2 非線形シュレーディンガーエネルギー関数が、多体系量子系の有効記述としてどのように厳密に導出可能か。
• RQ3 希釈およびGross-Pitaevskii領域において、相関とペア相互作用を制御するためにどのような数学的技法が有効か。
• RQ4 クリーン状態とde Finetti定理が、真の多体系基底状態に対してどのような意味で有効な近似を提供するか。
• RQ5 粒子数と相互作用強度のスケーリング極限が、ボソン系における平均場挙動の出現にどのように寄与するか。

主な発見

• 大規模な相互作用ボソン系の基底状態は弱収束し、非線形シュレーディンガーエネルギー関数の最小化子に収束する。これにより、平均場近似の有効性が裏付けられる。
• 量子de Finetti定理は、N体状態が大N極限において漸近的に積状態となることを数学的に保証するフレームワークを提供する。
• モーメント推定と局在化技術により、反発的または引力的相互作用が存在する場合でも、希釈極限における鋭いエネルギー評価が可能となる。
• Gross-Pitaevskii領域では、散乱長がエネルギー補正の主要項を支配し、基底状態エネルギーは均一希釈ガスの熱力学的極限と一致する。
• クリーン状態法は、エネルギーと相関構造の主要項を正確に再現でき、平均場近似への応用の有効性を検証する。
• Jastrow-Dyson状態およびBogoliubov型試行状態の使用により、予測された非線形シュレーディンガー挙動と一致する厳密なエネルギー推定が可能となる。