[論文レビュー] The Ground State of the Bose Gas

Elliott H. Lieb, Robert Seiringer+2 more|ArXiv.org|Apr 11, 2002

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

ひとこと要約

本稿は、散乱長 $a$ が関与する $2\pi\hbar^2 a\rho/m$ という公式によって、三次元の希釈ボーズガスの一次的基底状態エネルギーをきめ細かく確立した。40年以上にわたり未解決であった問題を解消し、新規の多体技法を用いて、従来は予想されていたが証明されていなかった公式を確認するとともに、閉じ込められたボーズ粒子におけるグロス＝ピタエフスキー方程式および荷電ボーズガスに対するフォルドイ理論の有効性を裏付けた。

ABSTRACT

Now that the low temperature properties of quantum-mechanical many-body systems (bosons) at low density, $ρ$, can be examined experimentally it is appropriate to revisit some of the formulas deduced by many authors 4-5 decades ago. For systems with repulsive (i.e. positive) interaction potentials the experimental low temperature state and the ground state are effectively synonymous -- and this fact is used in all modeling. In such cases, the leading term in the energy/particle is $2π\hbar^2 a ρ/m$ where $a$ is the scattering length of the two-body potential. Owing to the delicate and peculiar nature of bosonic correlations (such as the strange $N^{7/5}$ law for charged bosons), four decades of research failed to establish this plausible formula rigorously. The only previous lower bound for the energy was found by Dyson in 1957, but it was 14 times too small. The correct asymptotic formula has recently been obtained by us and this work will be presented. The reason behind the mathematical difficulties will be emphasized. A different formula, postulated as late as 1971 by Schick, holds in two-dimensions and this, too, will be shown to be correct. With the aid of the methodology developed to prove the lower bound for the homogeneous gas, two other problems have been successfully addressed. One is the proof by us that the Gross-Pitaevskii equation correctly describes the ground state in the `traps' actually used in the experiments. For this system it is also possible to prove complete Bose condensation, as we have shown. Another topic is a proof that Foldy's 1961 theory of a high density Bose gas of charged particles correctly describes its ground state energy.

研究の動機と目的

• 三次元の希釈で斥力的なボーズガスの一次的基底状態エネルギーの公式を、40年以上にわたり物理的直感に支えられていたが、数学的証明がなされなかった問題を、きめ細かく確立すること。
• 1957年にダイソンが示した下界が14倍も小さかったという長年の数学的困難を克服し、希釈ボーズガスのエネルギーに対する正しい下界を証明すること。
• 実験的に関連するトラップ内のボーズ粒子におけるグロス＝ピタエフスキー方程式が、正しい有効理論として正当化されることを示し、このような系における完全なボーズ＝アインシュタイン凝縮の存在を数学的に証明すること。
• 1961年にフォルドイが提唱した、中性子背景を有する高密度ボーズガスの理論が、熱力学的極限において正しく、基底状態エネルギーを記述することを厳密に確認すること。
• 複雑な多体量子系に適用可能な一般化された数学的アプローチを構築し、量子多体理論におけるより広範な応用を可能にすること。

提案手法

• 散乱長と密度の寄与をフーリエ変換を用いて取り入れた、相互作用ポテンシャルのフーリエ変換を介して、エネルギー関数を解析する運動量空間表現を導入し、適切に構築された試行状態を用いたバリエーショナル法により、ダイソンの以前の下界を改善した、きめ細かな新しい下界を導出する。
• クーパー対理論の改良版をハミルトニアンに適用し、準粒子演算子の二次形式を最小化することで、エネルギーの下界を求めるために演算子不等式を用いる。
• 特にトラップされたボーズ粒子およびゼリー媒質（Jelliumモデル）の文脈において、第二量子化とコherent状態技術を組み合わせて多体ハミルトニアンを扱う。
• ハミルトニアンの運動量空間表現を導入し、得られたエネルギー関数を解析し、相互作用ポテンシャルのフーリエ変換を通じて散乱長と密度効果を組み込む。
• 希釈極限における体系的な展開を実行し、相互作用ポテンシャルを弱くかつ長距離的とみなして扱い、散乱長を主要パラメータとして扱う。
• 正規順序化と交換子推定を用いて量子ゆらぎを制御し、熱力学的極限における有効エネルギー関数を導出する。

実験結果

リサーチクエスチョン

• RQ1 三次元の希釈ボーズガスで、斥力的相互作用を有する系の基底状態エネルギー（粒子あたり）の正しい漸近的公式は何か？
• RQ2 グロス＝ピタエフスキー方程式は、希釈極限におけるトラップされたボーズ粒子の有効理論として、数学的に正当化可能か？
• RQ3 完全なボーズ＝アインシュタイン凝縮は、希釈トラップボーズガスで発生するのか？ そして、それを数学的に証明できるか？
• RQ4 1961年にフォルドイが提唱した、中性子背景を有する高密度荷電ボーズガス（ゼリー媒質モデル）の理論は、熱力学的極限において正しいか？
• RQ5 ボーズ系に生じる非自明な相関を考慮すると、一次的エネルギー公式を厳密に導出するための数学的技法は何か？

主な発見

• 三次元における一次的基底状態エネルギー（粒子あたり）が、$2\pi\hbar^2 a\rho/m$ に厳密に一致することが証明され、長年にわたり物理的に予想されてきた公式が裏付けられた。
• 既知の上界と一致する下界が確立されたため、1950年代から未解決であった問題が解決された。
• グロス＝ピタエフスキー方程式が、希釈極限におけるトラップボーズ粒子の基底状態を正確に記述することを数学的に示し、実験的ボーズ＝アインシュタイン凝縮のモデル化における有効性が裏付けられた。
• 希釈トラップボーズガスにおいて完全なボーズ＝アインシュタイン凝縮が発生することを証明し、熱力学的極限において凝縮分率が1に近づくことが示された。
• 荷電ボーズガスのゼリー媒質モデルにおけるフォルドイの1961年理論が、熱力学的極限において正しく、基底状態エネルギーを記述することを厳密に確認した。エネルギーは三次元において $\rho^{5/3}$ のスケーリングに従う。
• 特にボーズ＝アインシュタイン理論を改善した境界を用いた数学的枠組みが開発され、強い相関を持つ量子多体系を解析する強固な手法が得られ、より広範な応用が期待される。