[论文解读] Gibbs measures based on 1D (an)harmonic oscillators as mean-field limits

Mathieu Lewin, Phan Thành Nam+1 more|arXiv (Cornell University)|Mar 28, 2017

Advanced Mathematical Physics Problems参考文献 34被引用 16

一句话总结

该论文证明了基于一维（非）谐振子与次谐振势的吉布斯测度，可作为多体玻色量子系统的平均场极限或大温度极限。通过引入约化密度矩阵的希尔伯特-施密特估计，作者克服了非迹类密度矩阵的挑战，并证明了极限密度矩阵相对于非线性薛定谔方程吉布斯测度的强收敛性。

ABSTRACT

We prove that Gibbs measures based on 1D defocusing nonlinear Schr{\\"o}dinger functionals with sub-harmonic trapping can be obtained as the mean-field/large temperature limit of the corresponding grand-canonical ensemble for many bosons. The limit measure is supported on Sobolev spaces of negative regularity and the corresponding density matrices are not trace-class. The general proof strategy is that of a previous paper of ours, but we have to complement it with Hilbert-Schmidt estimates on reduced density matrices.

研究动机与目标

• 将非线性吉布斯测度的平均场推导扩展至底层高斯测度不支撑于 $ L^2 $ 且约化密度矩阵非迹类的情形。
• 处理一维（非）谐振子的情形，其势能形式为 $ -\partial_x^2 + |x|^s $，$ s > 1 $，该情形处于迹类与威克正则化情形之间的中间区域。
• 发展一种新的分析框架，使得在标准迹类收敛失效时，仍能在较弱拓扑（特别是希尔伯特-施密特与局部迹类）下实现收敛。
• 完成 [34] 中启动的程序，通过克服平均场极限中非迹类约化密度矩阵带来的技术障碍。

提出的方法

• 将 [34] 中仅适用于迹类约化密度矩阵的平均场极限策略，推广至此类算子非迹类的情形。
• 对约化密度矩阵 $ \Gamma_n^{(k)} $ 引入希尔伯特-施密特估计，以控制在较弱拓扑下的收敛性。
• 利用分解式 $ \Gamma_n^{(k)} = P^{\otimes k} \Gamma_n^{(k)} + Q \otimes \mathbb{1}^{\otimes k-1} \Gamma_n^{(k)} $ 分离低能与高能分量的贡献。
• 通过将粒子数之和拆分为 $ \varepsilon_n m \leq M $ 与 $ \varepsilon_n m > M $ 两部分，并对 $ \varepsilon_n m $ 使用幂次界，估计 $ \varepsilon_n^k \Gamma_n^{(k)} $ 的迹。
• 利用 $ \varepsilon_n^k \Gamma_n^{(k)} $ 在迹类中的弱-* 收敛性，以及 $ \operatorname{Tr}[(\varepsilon_n \mathcal{N})^{\ell} \Gamma_n] $ 的一致有界性，控制余项。
• 取极限 $ P \to \mathbb{1} $ 与 $ M \to \infty $，得出 $ \varepsilon_n^k \Gamma_n^{(k)} $ 在迹类中强收敛于 $ \gamma^{(k)} $。

实验结果

研究问题

• RQ1 即使约化密度矩阵非迹类，能否将基于一维（非）谐振子、$ s > 1 $ 的吉布斯测度作为多体量子系统的平均场极限推导出来？
• RQ2 当标准迹类拓扑失效时，需要何种分析技术来控制收敛性？
• RQ3 是否可以将 [34] 中的平均场推导程序扩展至高斯测度位于 $ L^p $（$ p > 2 $）但非 $ L^2 $ 的情形？
• RQ4 希尔伯特-施密特估计如何用于弥合迹类与重整化区域之间在吉布斯测度推导中的差距？
• RQ5 当初始密度矩阵非迹类时，平均场极限下约化密度矩阵的强收敛性是否仍成立？

主要发现

• 极限吉布斯测度支撑于负正则性索伯列夫空间，表明其底层场具有较低的可积性与正则性。
• 极限测度的约化密度矩阵非迹类，这使得先前工作中使用的标准收敛技术失效。
• 尽管缺乏迹类结构，作者仍通过希尔伯特-施密特估计证明了对所有 $ k \geq 1 $，$ \varepsilon_n^k \Gamma_n^{(k)} $ 在迹类中强收敛于 $ \gamma^{(k)} $。
• 该收敛性适用于一维（非）谐振子与势能 $ -\partial_x^2 + |x|^s $（$ s > 1 $）的情形，包括谐振子情形 $ s = 2 $。
• 该方法通过利用势能的特定衰减性质，避免了重整化（如威克排序），使得相互作用测度在无需正则化的情况下定义良好。
• 证明表明 $ \limsup_{n\to\infty} \varepsilon_n^k \operatorname{Tr}[\Gamma_n^{(k)}] \leq \operatorname{Tr}[\gamma^{(k)}] $，且在极限下取等，确认了迹类中的收敛性。