[论文解读] Upper bound for the ground state energy of a dilute Bose gas of hard spheres

Giulia Basti, Serena Cenatiempo+4 more|Zurich Open Repository and Archive (University of Zurich)|Dec 8, 2022

Cold Atom Physics and Bose-Einstein Condensates被引用 5

一句话总结

本文在热力学极限下为稀薄硬球玻色气体的基态能量每粒子建立了新的上界。通过使用一种带有精心选择的相关函数的Bijl-Dingle-Jastrow型试探波函数，作者证明了Lee-Huang-Yang公式的主导修正项为 $\rho\mathfrak{a}(\rho\mathfrak{a}^3)^{1/2}$ 阶，确认了Lee、Huang与Yang预测的次主导项，并优于以往的上界估计。

ABSTRACT

We consider a gas of bosons interacting through a hard-sphere potential with radius $\frak{a}$ in the thermodynamic limit. We derive a simple upper bound for the ground state energy per particle at low density. Our bound captures the leading term $4πρ\frak{a}$ and shows that corrections are smaller than $C ρ\frak{a} (ρ\frak{a}^3)^{1/2}$, for a sufficiently large constant $C > 0$. In combination with a known lower bound, our result implies that the first sub-leading term to the ground state energy is, in fact, of the order $ρ\frak{a} (ρ\frak{a}^3)^{1/2}$, in agreement with the Lee-Huang-Yang prediction.

研究动机与目标

• 推导稀薄硬球玻色气体在热力学极限下基态能量的精确上界。
• 确认Lee、Huang与Yang在Lee-Huang-Yang基态能量公式中预测的次主导修正项。
• 在现有上界 $\rho\mathfrak{a}(\rho\mathfrak{a}^3)^{1/3}$ 的基础上，将误差界改进至 $\rho\mathfrak{a}(\rho\mathfrak{a}^3)^{1/2}$ 阶。
• 通过基于Neumann问题的相关函数构造的试探波函数，提供一种简洁而严谨的证明。

提出的方法

• 构建一种Bijl-Dingle-Jastrow型试探波函数，其相关函数 $f_\ell$ 为在半径为 $\ell$ 的球面上满足Neumann边界值问题的解。
• 相关函数 $f\_\ell$ 在 $|x| = \ell$ 处归一化为1，并在 $|x| < \mathfrak{a}$ 时为零，以实现硬球排斥作用。
• 通过簇展开方法估算能量，利用组合与 $L^1$ 型估计控制连通图和环状图的贡献。
• 应用截断过程以去除可约（环状）图，依赖于相关函数满足 $\int \nabla u\,dx = 0$ 的性质。
• 通过选择 $\ell = c(\rho\mathfrak{a})^{-1/2}$ 并将展开迭代至足够高阶 $M$，确保级数收敛。
• 最终通过平衡两项 $\rho\mathfrak{a}(\rho\mathfrak{a}\ell^2)^{M-1}$ 与 $\rho\mathfrak{a}(\rho\mathfrak{a}^2\ell)$ 得到所需误差量级的上界。

实验结果

研究问题

• RQ1 稀薄硬球玻色气体基态能量的首个次主导修正项的正确阶数是什么？
• RQ2 一个简单的试探波函数是否能在热力学极限下捕捉到Lee-Huang-Yang修正项？
• RQ3 是否存在某个常数 $C>0$，使得基态能量上界误差小于 $C\rho\mathfrak{a}(\rho\mathfrak{a}^3)^{1/2}$？
• RQ4 相关函数的选择与簇展开技术如何影响能量上界中的误差估计？

主要发现

• 当 $\rho\mathfrak{a}^3$ 较小时，每粒子基态能量的上界为 $4\pi\rho\mathfrak{a}\left[1 + C(\rho\mathfrak{a}^3)^{1/2}\right]$，其中 $C>0$ 为足够大的常数。
• 能量的主导修正项被证明为 $\rho\mathfrak{a}(\rho\mathfrak{a}^3)^{1/2}$ 阶，与Lee-Huang-Yang的预测一致。
• 误差界优于先前估计的 $\rho\mathfrak{a}(\rho\mathfrak{a}^3)^{1/3}$ 阶，表明对次主导修正项的控制更加紧密。
• 该证明依赖于一种新颖的簇展开方法应用，结合精心设计的试探波函数与图解消去技术。
• 结合已知的下界结果，该研究证实了能量展开中首个次主导项确实为 $\rho\mathfrak{a}(\rho\mathfrak{a}^3)^{1/2}$ 阶。