[論文レビュー] Bose Gases at Positive Temperature and Non-Linear Gibbs Measures

Mathieu Lewin, Phan Thành Nam+1 more|arXiv (Cornell University)|Feb 16, 2016

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

ひとこと要約

本稿は、正の温度における大規模ボソン系のグランドカノニカル状態と、平均場エネルギー汎関数から導かれる非線形ギブス測度の間の厳密な関係を確立する。大温度・弱い相互作用の極限（T → ∞, λ = 1/T）において、平衡状態は非線形平均場自由エネルギー汎関数の最小化子に集中する古典的測度に収束し、ボーズ＝アインシュタイン凝縮の半古典的記述を提供する。

ABSTRACT

We summarize recent results on positive temperature equilibrium states of large bosonic systems. The emphasis will be on the connection between bosonic grand-canonical thermal states and the (semi-) classical Gibbs measures on one-body quantum states built using the corresponding mean-field energy functionals. An illustrative comparison with the case of "distinguishable" particles (boltzons) is provided.

研究の動機と目的

• 相互作用を有するボソンの正の温度における量子的グランドカノニカル状態と、古典的非線形ギブス測度との間の厳密な接続を確立すること。
• 大温度・弱い結合領域における自由エネルギー汎関数の平均場極限を導出すること。
• 多体量子状態が平均場汎関数の最小化子に支持される古典的測度に収束することを示すこと。
• ボソン系と「ボルツォン」（区別可能な粒子）系の対比を通じて、凝縮に及ぼすボーズ統計の役割を強調すること。
• 基底状態を超えたボーズ＝アインシュタイン凝縮の理解のための半古典的フレームワークを提供すること。

提案手法

• トラップポテンシャルと2体相互作用を有する第二量子化ハミルトニアンを用いたグランドカノニカル状態の形式的導出。
• 温度T → ∞、λ = 1/Tの極限における自由エネルギー汎関数の分析、化学ポテンシャルνを固定した状態で。
• de Finettiの定理を応用し、極限におけるN体密度行列を単一粒子状態への混合として表現すること。
• 相対エントロピーの下界性と加法性を用いて、多体エントロピーを単一粒子エントロピーの下界で抑え込むこと。
• 量子de Finetti型結果を活用し、平均エントロピーが縮約密度行列のアフィン汎関数として表現されることを示すこと。
• 変分比較と測度濃縮を用いて、多体自由エネルギーが平均場自由エネルギーに収束することを確立すること。

実験結果

リサーチクエスチョン

• RQ1 大規模ボソン系の正の温度における平衡状態は、平均場的・大温度極限においてどのように振る舞うか？
• RQ2 量子ギブス状態は、1体状態上での古典的非線形ギブス測度によって近似可能か？
• RQ3 ボーズ統計は、正の温度における凝縮の出現にどのように寄与するか？
• RQ4 熱力学的極限において、多体系の自由エネルギーはどのように平均場汎関数に収束するか？
• RQ5 1体状態空間上の極限測度の構造はいかなるものか？

主な発見

• T → ∞、λ = 1/Tの極限において、多体ギブス状態Γ_N,Tは1体密度行列空間上の非線形ギブス測度μに収束する。
• 極限測度μは、平均場自由エネルギー汎関数F^mf[γ] = E^mf[γ] + T S[γ]の最小化子に集中する。
• 平均場自由エネルギーF^mfは、1粒子あたりの多体自由エネルギーの極限として得られ、エントロピーの境界とde Finetti表現を用いて収束が確立された。
• N体状態の収束は、自由エネルギーのliminfが極限測度上の平均場汎関数の積分で下から抑え込まれることを示すことによって証明された。
• 極限測度μは一意的であり、F^mfの最小化子に支持されるため、平衡状態の鋭い半古典的記述が得られた。
• 本手法により、相互作用を有するボソン系の正の温度における平均場近似が、基底状態の分析を超えて、厳密に裏付けられた。