[論文レビュー] De Finetti theorems, mean-field limits and Bose-Einstein condensation

Nicolas Rougerie|arXiv (Cornell University)|Jun 17, 2015

Random Matrices and Applications被引用数 5

ひとこと要約

本稿は、量子多体系における平均場近似とde Finetti定理を結びつける厳密な数学的枠組みを確立し、大規模なボーズ系の基底状態が有効なハーツリーまたは非線形シュレーディンガー機能の最小化子に収束することを示している。主な貢献は、有限次元フォック空間における量子de Finetti定理とBerezin-Lieb不等式に裏打ちされた、縮重密度行列の弱収束に基づくボーズ＝アインシュタイン凝縮の定量的導出である。

ABSTRACT

These notes deal with the mean-field approximation for equilibrium states of N-body systems in classical and quantum statistical mechanics. A general strategy for the justification of effective models based on statistical independence assumptions is presented in details. The main tools are structure theorems {à} la de Finetti, describing the large N limits of admissible states for these systems. These rely on the symmetry under exchange of particles, due to their indiscernability. Emphasis is put on quantum aspects, in particular the mean-field approximation for the ground states of large bosonic systems, in relation with the Bose-Einstein condensation phenomenon. Topics covered in details include: the structure of reduced density matrices for large bosonic systems, Fock-space localization methods, derivation of effective energy functionals of Hartree or non-linear Schr{ö}dinger type, starting from the many-body Schr{ö}dinger Hamiltonian.

研究の動機と目的

• de Finetti型定理を用いて、量子統計力学における平均場近似を数学的に厳密に正当化すること。
• 大N極限における多体シュレーディンガーハミルトニアンから、ハーツリーおよびグロス＝ピタエフスキー機能のような有効エネルギー関数を導出すること。
• 大規模なボーズ系における対称性と統計的独立性の結果として、ボーズ＝アインシュタイン凝縮の出現を確立すること。
• 有限次元フォック空間への局在化とBerezin-Lieb不等式を用いて、平均場領域における縮重密度行列の積状態への収束を定量的に評価すること。

提案手法

• 対称的ボーズ状態のN→∞極限を、同分布独立な積状態の混合として特徴付けるために、量子de Finetti定理を用いる。
• 弱い量子de Finetti定理を適用し、縮重密度行列が制限測度で重み付けられた純粋状態の積分に収束することを示す。
• フォック空間への局在化技術を用いて、試行状態を用いた下界と上界により、多体状態のエントロピーとエネルギーを制御する。
• Berezin-Lieb不等式を用いて、単粒子ヒルベルト空間の単位球面上の測度を用いて、多体密度行列のフォン・ノイマンエントロピーを推定する。
• 多体自由エネルギーと平均場自由エネルギー関数の差に対して定量的評価を導出し、有限次元系では誤差項がO(d/N)に比例することを示す。
• 測度の弱収束とFatouの補題、および最小化子の一意性を組み合わせて、縮重密度行列の完全な系列の収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、対称性と統計的独立性を用いて、大規模ボーズ系の平均場極限を第一原理から厳密に導出できるか？
• RQ2 量子de Finetti定理とハーツリー型有効理論の出現との間には、どのような明確な関係があるか？
• RQ3 大規模ボーズ系の縮重密度行列は、どのような意味で純粋積状態の混合に収束するのか？
• RQ4 ボーズ＝アインシュタイン凝縮現象は、多体量子状態のN→∞極限として、どのように数学的に特徴付けられるか？
• RQ5 多体自由エネルギーとその平均場近似との収束に対して、どのような定量的誤差境界を確立できるか？

主な発見

• 大規模な対称的ボーズ系の縮重密度行列は、弱収束により純粋積状態の混合に収束し、その極限測度は古典的平均場自由エネルギー関数を最小化する。
• 多体自由エネルギーは、単粒子ヒルベルト空間の次元dに対してO(d/N)の誤差で平均場自由エネルギー関数に収束する。
• de Finetti分解における極限測度は一意的であり、古典的自由エネルギー関数の最小化子に対応しており、完全な系列の収束を保証する。
• 多体状態のエントロピーは、単位球面上の測度の相対エントロピーを含む下界と上界で抑えられ、Berezin-Lieb不等式を用いて定量的制御が可能になる。
• 多体状態のエネルギーは、Nに一様に依存するO(d/N)の誤差項を伴い、平均場エネルギーで近似可能である。
• グロス＝ピタエフスキー関数の導出は、縮重密度行列の収束とエネルギー推定を通じて、多体ハミルトニアンの極限として確立される。