[論文レビュー] Derivation of Hartree's theory for generic mean-field Bose systems

Mathieu Lewin, Phan Thành Nam+1 more|arXiv (Cornell University)|Mar 5, 2013

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

ひとこと要約

本稿では、粒子が無限遠に逃げ出す場合でさえも、弱い量子デ・フィネッティ定理と幾何的局在化技術を導入することで、一般の平均場ボーズ系におけるハートリー理論の妥当性を確立している。大N極限において、特定の相互作用形に依存せず、閉じたボソン系やボソン星を含む系をカバーする中で、基底状態エネルギーがハートリー汎関数に収束することを証明している。

ABSTRACT

In this paper we provide a novel strategy to prove the validity of Hartree's theory for the ground state energy of bosonic quantum systems in the mean-field regime. For the well-known case of trapped Bose gases, this can be shown using the strong quantum de Finetti theorem, which gives the structure of infinite hierarchies of k-particles density matrices. Here we deal with the case where some particles are allowed to escape to infinity, leading to a lack of compactness. Our approach is based on two ingredients: (1) a weak version of the quantum de Finetti theorem, and (2) geometric techniques for many-body systems. Our strategy does not rely on any special property of the interaction between the particles. In particular, our results cover those of Benguria-Lieb and Lieb-Yau for, respectively, bosonic atoms and boson stars.

研究の動機と目的

• 大規模なボソン系の基底状態エネルギーに対するハートリー理論が、平均場領域で有効な近似であることを正当化すること。
• 粒子が無限遠に逃げ出す場合に生じるコンパクト性の欠如という問題に取り組み、標準的な量子デ・フィネッティ定理が成立しなくなる状況を扱うこと。
• 特別な対称性や減衰性を仮定しない任意の相互作用ポテンシャルに適用可能な一般枠組みを構築すること。
• 従来の閉じたボソン系やボソン星に関する結果を、より広い非閉じた系のクラスへと拡張すること。
• 相互作用および系の幾何的構造に関する最小限の仮定の下で、ハートリー理論を統一的に導出すること。

提案手法

• 粒子が無限遠に逃げ出す非コンパクト系を扱うために、量子デ・フィネッティ定理の弱い形を導入する。
• トラップポテンシャルが存在しない状況でも、多数体状態の振る舞いを制御するための幾何的局在化技術を用いる。
• 弱-*収束を用いてN体密度行列の極限を解析し、ヒルベルト空間の単位球上にデ・フィネッティ測度を構成する。
• ボソン状態の対称性を活用して、デ・フィネッティ測度が純粋状態（ランク1射影）に台を持つことを保証する。
• トレースクラスの双対性を適用し、密度行列の弱極限と状態の正規部を関連づけ、有効なハートリー汎関数の構成を可能にする。
• 変分的推定とエネルギー評価を通じて、多数体基底状態エネルギーがハートリー汎関数に収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 粒子が束縛されておらずコンパクト性が失われる状況下でも、平均場ボーズ系に対してハートリー理論を厳密に導出できるか？
• RQ2 粒子が逃げ出す非トラップ系を扱うために、強い量子デ・フィネッティ定理に代わる何らかの代替が必要となるか？
• RQ3 トラップポテンシャルが存在しない状況で、幾何的手法をどのようにしてエネルギーを制御するために用いることができるか？
• RQ4 導出プロセスが二体相互作用ポテンシャルの具体的な形にどれほど依存するか？
• RQ5 同じ手法が、閉じた系と非閉じた系の両方におけるハートリー理論の導出を統一的に可能にするか？

主な発見

• トラップポテンシャルが存在しない状況下でも、N体ハミルトニアンの基底状態エネルギーは、大N極限においてハートリー汎関数の下界に収束する。
• 弱い量子デ・フィネッティ定理により、純粋状態に台を持つデ・フィネッティ測度の構成が可能となり、ハートリーエネルギー汎関数の導出が可能になる。
• 二体相互作用 $w$ の具体的な形に依存しないため、ボソン星や閉じた原子系を含む広範な系に適用可能である。
• 幾何的局在化技術により、粒子が無限遠に逃げ出す場合でもエネルギーが制御されることを保証し、コンパクト性の欠如を克服する。
• ベンギア＝リーブおよびリーブ＝ヨウの先行研究を一般化し、単一の解析的枠組みでそれらの設定を統一する。
• n体密度行列が弱-*位相で $|u\rangle\langle u|^{\otimes n}$ の積状態に収束することが確立され、極限状態 $u$ はハートリー汎関数を最小化する。