结果族 267：Positive-temperature Bose–Einstein condensation and exact quantum depletion · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
即使在绝对零度，舞池也挤不满：粒子间的碰撞会把一小撮粒子”挤”出集体舞，散在场边各跳各的——这就是量子损耗。Bogoliubov 在 1947 年就算出了被挤出的比例和它们的动量分布；这篇论文第一次对真实硬球气体的精确基态证明：两样都严格吻合那近八十年前的预言。
关键词卡片
@@M@@|k|\sim\sqrt{8\pi\rho a}@@ 分布的标准形状。看个具体例子
数字版定理：损耗占比 @@M@@=\frac{8}{3\sqrt\pi}\sqrt{\rho a^3}+o(\sqrt{\rho a^3})@@，且动量分布收敛到总质量 @@M@@\frac{8}{3\sqrt\pi}@@ 的 Bogoliubov 测度。代入 @@M@@\rho a^3=8\times10^{-6}@@：系数 @@M@@\frac{8}{3\sqrt\pi}\approx 1.5045@@，@@M@@\sqrt{8\times10^{-6}}\approx 0.00283@@，损耗占比 @@M@@\approx 0.43\%@@——一百万个粒子里约 4300 个在场外。它们并非乱跑：场外粒子偏爱动量约 @@M@@\sqrt{8\pi\rho a}@@ 的档位，动量越高份额越小，整条分布曲线就是预言中的剖面。
为什么值得关心
能量定律不等于占据定律：热力学极限下长波粒子的动能任意小，能谱展开给不出轨道占据。本文同时锁定损耗总量与完整动量分布，对纯态与混合基态一律成立，补上了 Lee–Huang–Yang 时代以来占据侧的缺口。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”舞池挤不满”的比喻对应：对象是绝对零度下硬球玻色气体的精确基态——大多数粒子跳的集体舞，操作是清点被碰撞挤出舞池的那一小撮粒子。定理证明两件事都与 Bogoliubov 近八十年前的预言严格吻合：被挤出的比例是多少，以及它们在场边各自跳的”动量档位”如何分布。
第二级台阶
用本科语言：零温基态中不在凝聚体内的粒子占比称为量子损耗；对硬球，散射长度 a 就是球半径。极限按迭代顺序取：先固定密度 ρ 做热力学极限（体积与粒子数同增），再做稀薄极限 ρ→0。动量分布 n(k) 记各动量平面波的占据数；Bogoliubov 剖面 g(t) 是损耗粒子的标准动量形状，特征标度是 √(8πρa)——逆 healing length。
第三级台阶
定理 1.1 的语境：在环面上取精确硬球哈密顿量的基态密度矩阵（纯态与混合态一律允许），结论对一切基态一致。”精确硬球”区别于近似方程，”迭代极限”区别于散射长度随盒子缩小的单盒设定，而”控制占据的一切热力学聚积值”意味着不要求占据极限本身存在——这是对状态复杂性的诚实处理。结论说：按 √(8πρa) 缩放的动量占据测度收敛到总质量 8/(3√π) 的 Bogoliubov 测度；取 f≡1 立得损耗定律 1−B=(8/(3√π))√(ρa³)+o(√(ρa³))。
对三维硬球玻色气体的精确多体基态证明了完整的 Bogoliubov 动量分布：先取固定密度的热力学极限、再取稀薄极限，非零动量占据在标度 @@M@@\sqrt{8\pi\rho a}@@ 下收敛到 Bogoliubov 剖面，总质量 @@M@@\frac{8}{3\sqrt\pi}@@，给出损耗定律 @@M@@\frac{8}{3\sqrt\pi}\sqrt{\rho a^3}+o(\sqrt{\rho a^3})@@，对一切基态一致。
即使处在零温，相互作用也会把粒子”挤出”凝聚体，被挤出的部分称为量子损耗（quantum depletion）。Bogoliubov 1947 年的准粒子（quasiparticle）理论与 Lee–Huang–Yang 1957 年的硬球赝势计算预言：稀薄三维气体的损耗占比为 @@M@@\frac{8}{3\sqrt\pi}\sqrt{\rho a^3}@@，且损耗粒子按确定的动量剖面分布。能量侧的严格理论已推进到 Lee–Huang–Yang 阶（Dyson、Lieb–Yngvason、Yau–Yin、Fournais–Solovej，直到硬球的精确系数），但能量与占据是两回事：普通热力学极限下长波粒子的动能任意小，能谱展开不能自动给出轨道占据。此前的占据与损耗结果或处于散射长度量级 @@M@@N^{-1}@@ 的单盒设定（Boccato–Brennecke–Cenatiempo–Schlein；Brennecke–Lee–Nam），或盒子尺寸与稀薄度耦合增长（Fournais、Junge），或针对近似方程”simple equation”（Carlen–Jauslin–Lieb、Jauslin）。对精确硬球基态、在”先热力学后稀薄”的迭代极限下同时确定损耗总量及其动量分布，是本文完成的任务。
在环面 @@M@@\Lambda_L=(\mathbb R/L\mathbb Z)^3@@ 上取硬球哈密顿量（对硬球，排除距离 @@M@@a@@ 同时就是散射长度）。设 @@M@@\mathcal G_{N,L,a}@@ 为最低玻色子本征空间上的迹一正算子集合，@@M@@n_{\Gamma,L}(k)@@ 为动量 @@M@@k@@ 平面波的占据数，@@M@@B_{N,L,a}(\Gamma)@@ 为常值轨道 @@M@@u_{0,L}@@ 的占据占比，@@M@@\eta=\rho a^3@@。定理 1.1：对每个 @@M@@a>0@@、每个有界连续实函数 @@M@@f@@ 与 @@M@@\eps>0@@，存在 @@M@@\rho_0>0@@，使得固定 @@M@@0<\rho<\rho_0@@ 后，沿一切 @@M@@N_j/L_j^3\to\rho@@ 的序列有
@@M@@D\limsup_{j\to\infty}\ \sup_{\Gamma\in\mathcal G_{N_j,L_j,a}}\left|\frac{1}{N_j\sqrt\eta}\sum_{k\ne0}f\!\left(\frac{k}{\sqrt{8\pi\rho a}}\right)n_{\Gamma,L_j}(k)-\int_{\mathbb R^3}f\,\dd\nu_{\rm Bog}\right|\le\eps,@@
其中 @@M@@\nu_{\rm Bog}(\dd t)=\frac{(8\pi)^{3/2}}{(2\pi)^3}g(t)\dd t@@，@@M@@g(t)=\frac{|t|^2+1}{2\sqrt{|t|^4+2|t|^2}}-\frac12@@，是总质量为 @@M@@\frac{8}{3\sqrt\pi}@@ 的有限正测度。取 @@M@@f=1@@ 得推论 1.2：在同样迭代极限下，@@M@@1-B_{N,L,a}(\Gamma)=\frac{8}{3\sqrt\pi}\sqrt{\rho a^3}+o(\sqrt{\rho a^3})@@，对一切纯态与混合基态一致。定理控制占据的一切热力学聚积值而不要求固定正密度下占据极限存在，并确定损耗粒子在动量标度 @@M@@\sqrt{8\pi\rho a}@@（逆 healing length）上的分布。
核心是精确拆分恒等式 @@M@@1-B=\langle\Psi,(1-P_\ell)_1\Psi\rangle+\|(P_\ell-P_0)_1\Psi\|^2@@：把损耗分成”尺度 @@M@@\ell@@ 盒内变化”与”盒间平均值变化”两块，@@M@@P_\ell@@ 是投影到逐盒常值函数、@@M@@P_0@@ 投影到全局常值。第一块用能量控制，但普通能量下界只给标量自由能；本文从 Fournais–Junge–Girardot–Morin–Olivieri–Triay 的中间算子估计中保留一个度量 Bogoliubov 激发数目的正算子项，配合硬球 Lee–Huang–Yang 阶能量上界（Basti–Brooks–Cenatiempo–Olgiati–Schlein），提取出对盒内局域激发一致的单体算子估计，连复值、动量非对角的算子都覆盖。第二块能量无能为力，改用删除测度（Palm 型测度）：@@M@@s_v(Y')^2=\frac{V}{|v|}\int_v\Phi(y,Y')^2\dd y@@ 是”按在盒 @@M@@v@@ 中的出现权重选出一个粒子并积掉其位置”后的浴分布，比较远盒的 @@M@@s_v@@ 即控制波函数的空间变化。比较通过粒子链运输删除：把两份构型耦合，一份删首粒子、另一份删末粒子后剩余构型完全相同；短 Brown 桥在保住精确硬球约束下实现重排，条件桥律的归一化在似然比中相消；长链两端附近的路径保持不变，以消除端点相互作用的误差；随机路线（Benjamini–Pemantle–Peres 的指数交尾路径，辅以 Kesten 外边界绕行）使该误差小于损耗标度。随后用三个估计接通投影：相邻小盒的四阶矩比较、小盒上的占据估计、远盒的二阶矩比较，把第二块压到 @@M@@o(\sqrt{\rho a^3})@@；实部虚部分解把结论推广到任意基向量。最后识别动量分布：平移算子的期望恰是占据测度的 Fourier 变换，于是把平移限制在大盒内、并对盒分划的全体平移取平均——只有少数平移会把点与其平移像分进不同盒子；用局域激发投影夹住平移算子，使切割误差正比于损耗密度而非总粒子密度（这一替换在所选尺度下不可或缺）；局域单体估计随即给出 Bogoliubov 剖面的 Fourier 变换，配合总损耗的界得紧性，从而对一切有界连续 @@M@@f@@ 收敛；混合态由凸性得到。
本篇暂无形式化证明，结论以社区核验为准。删除能量与空间计数等输入取自同族姊妹篇——硬球基态凝聚定理，它给出常值轨道的一致正占据与计数矩估计——本篇在其上建立损耗与动量分布；同族有界势姊妹篇把同一框架推广到固定有界位势，三篇在尺度层级与路径技术上互洽互持。按 OpenAI 官方声明，未经形式化的结果可能存在问题。
问 1：证明的骨架是什么，最脆弱的一环在哪？
（答：骨架是拆分恒等式 1−B=⟨Ψ,(1−P_ℓ)₁Ψ⟩+‖(P_ℓ−P_0)₁Ψ‖²：把损耗分成”尺度 ℓ 盒内变化”与”盒间平均值变化”两块。第一块由能量控制——从 Fournais–Junge 等的中间算子估计中保留一个度量 Bogoliubov 激发数的正算子项，提取盒内局域激发的单体算子估计；第二块能量无能为力，只能靠 Palm 删除测度与粒子链运输，这是最脆弱的一环。）
问 2：能量侧早已到 Lee–Huang–Yang 阶，为什么占据仍要另起炉灶？
（答：能量不等于占据：普通热力学极限下长波粒子的动能任意小，能谱展开无法自动给出单一轨道的占据数。损耗定律的系数 8/(3√π) 出现在占据侧，须直接控制一阶密度矩阵与动量占据，这正是本文的战场。）
问 3：与此前占据/损耗结果相比，真正的新意是什么？
（答：此前结果或处于散射长度 ~N^{-1} 的单盒 GP 标度（Boccato–Brennecke–Cenatiempo–Schlein、Brennecke–Lee–Nam），或盒子尺寸与稀薄度耦合增长（Fournais、Junge），或针对近似”simple equation”（Carlen–Jauslin–Lieb）；本文对精确硬球基态、在”先热力学后稀薄”的迭代极限下同时给出损耗总量与完整动量分布，且对纯态与混合基态一致。）
问 4：为什么迭代极限（先热力学、后稀薄）不能换成单盒设定？
（答：定理控制的是占据测度的一切热力学聚积值而不假设固定正密度下占据极限存在——硬球基态可能简并，占据极限未必唯一；迭代极限正是为了让”所有聚积值有同一稀薄渐近”这一陈述成立。单盒 GP 设定回答的是不同的问题（凝聚体结构随 N 的标度），两者不可互相推出。）
问 5：动量分布的识别那步妙在哪里？
（答：平移算子的期望恰是占据测度的 Fourier 变换；把平移限制在大盒内并对盒分划的全体平移取平均——只有少数平移会把点与其平移像切进不同盒子——再用局域激发投影夹住平移算子，使切割误差正比于损耗密度而非总粒子密度。论文明言这一替换在所选尺度下不可或缺，否则误差会淹没 √(ρa³) 的信号。）
问 6：这类 AI 生成证明最可能的出错模式？
（答：常数失配风险集中在粒子链运输：两份构型一份删首粒子、一份删末粒子后须完全相同，短 Brown 桥在保住精确硬核约束下重排，条件桥律的归一化须在似然比中精确相消；随机路线（Benjamini–Pemantle–Peres 指数交尾路径加 Kesten 外边界绕行）的误差须严格小于损耗标度。任何一处常数高估一个 ρ 的幂次，o(√(ρa³)) 即失效。）
问 7：谁会用到它？
（答：冷原子与稀薄 BEC 实验——损耗分数与动量分布都是可观测量，本文为其提供精确硬核层面的严格锚点；严格理论侧与同族有界势姊妹篇及基态凝聚篇互持，构成硬球气体占据理论的完整一环。）
总评
在教科书式的迭代极限下对精确硬球基态同时锁定 Bogoliubov 损耗定律与完整动量剖面，补上 Lee–Huang–Yang 以来占据侧的缺口，分量很重；最大风险在删除测度运输与切割误差替换的常数纪律，未形式化前须逐节核验。