[論文レビュー] The free energy of dilute Bose gases at low temperatures

Florian Haberberger, Christian Hainzl+3 more|arXiv (Cornell University)|Apr 5, 2023

Cold Atom Physics and Bose-Einstein Condensates被引用数 6

ひとこと要約

本稿は、低温における希釈ボーズガスの自由エネルギーの下界を厳密に確立し、励起スペクトルを修正した場合のリー＝フアン＝ヤンの自由エネルギー式を確認した。ボゴリューボフ型の近似と熱力学的極限におけるきめ細やかな推計を用いて、リー、フアン、ヤンが予測した一次および二次の補正項が自由エネルギー密度に一致することを証明した。温度依存の補正は修正された分散関係から生じる。

ABSTRACT

We consider a low density Bose gas interacting through a repulsive potential in the thermodynamic limit. We justify, as a rigorous lower bound, a Lee--Huang--Yang type formula for the free energy at suitably low temperatures, where the modified excitation spectrum leads to a second order correction of the same order as the Lee--Huang--Yang correction to the ground state energy.

研究の動機と目的

• 低温における希釈ボーズガスの自由エネルギーに対するリー＝フアン＝ヤンの式を厳密に正当化すること。
• 既知の基底状態エネルギーの下界を有限温度に拡張し、熱的補正を組み込むこと。
• 相互作用によって生じる修正された励起スペクトルを考慮し、基底状態エネルギーと同程度の二次補正項が自由エネルギーに現れることを示すこと。
• 反発的で、径対称的で、コンパクトに台を持つポテンシャル（散乱長が正）に対して、熱力学的極限で結果を確立すること。
• 上界が一致する可能性のある枠組みを提供し、ハードスフィア相互作用への拡張を可能とすること。

提案手法

• ギブズの変分原理と分配関数の定義を用いて、自由エネルギーの下界を導出する。
• ハミルトニアンに対してボゴリューボフ型の近似を適用し、凝縮モードと励起モードを分離する。
• 系を小さなボックスに格子分割することで相関を制御し、自由エネルギーを推定する。
• 離散的な運動量に関する和を連続積分で近似するための対数の和積分比較を用い、誤差の上限を求める。
• 非凝縮モードおよび高運動量励起の寄与を制御するための局在化と切断の議論を実施する。
• コーシー＝シュワルツの不等式と指数的減衰推計を用いて、粒子数の揺らぎに依存する対数項の差を制御する。

実験結果

リサーチクエスチョン

• RQ1 有限温度における希釈ボーズガスの自由エネルギーに対するリー＝フアン＝ヤンの式が、下界として厳密に正当化可能か。
• RQ2 相互作用によって生じる修正された励起スペクトルが、基底状態エネルギーと同程度の二次補正項を自由エネルギーに与えるか。
• RQ3 反発的相互作用に対して、温度依存補正を含む自由エネルギー式が多体シュレーディンガー方程式から導出可能か。
• RQ4 この下界が成り立つ温度および密度の範囲は何か。また、基底状態極限と比べてどのように異なるか。
• RQ5 この手法はハードスフィア相互作用へ拡張可能か。また、一致する上界を得るための改良は可能か。

主な発見

• 自由エネルギー密度は、リー＝フアン＝ヤンの式と一致する下界を満たし、二次補正項 $ \frac{128}{15\sqrt{\pi}}\sqrt{\rho\mathfrak{a}^3} $ を含む。
• 温度依存補正は $ \frac{T^{5/2}}{(2\pi)^3} \int_{\mathbb{R}^3} \log\left(1 - e^{-\sqrt{p^4 + \frac{16\pi\rho\mathfrak{a}}{T}p^2}}\right) dp $ で与えられ、修正された分散関係を反映している。
• 結果は $ T \leq \rho\mathfrak{a}(\rho\mathfrak{a}^3)^{-\nu} $ で成り立ち、$ \nu = 1/5000 $ である。これは基底状態極限および低温領域をカバーする。
• 誤差項は $ C(\rho\mathfrak{a})^{5/2}(\rho\mathfrak{a}^3)^\nu $ で有界であり、希釈極限 $ \rho\mathfrak{a}^3 \to 0 $ で消える。
• この手法により、フーナイス＝ソロベイの基底状態エネルギー下界が有限温度に拡張され、同じ二次補正項が得られる。
• 証明はポテンシャルが単調減少でなくても成立する。径対称的で、局所的比較条件を満たしていればよい。