结果族 267：Positive-temperature Bose–Einstein condensation and exact quantum depletion · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
想象往一座不停扩建的体育馆里，按固定密度撒进越来越稀薄的氦原子，再微微加热。这篇论文证明：只要气体足够稀，不管馆有多大、温度在”零到密度平方”之间怎么取，总有固定比例的原子齐唱同一首歌——集体安顿在最平缓的那个量子态里，而且这个比例有一个不随密度、温度走低的保底数。
关键词卡片
看个具体例子
固定一个径向排斥势 v（比如小球形势阱），取密度 ρ=10⁻⁶、温度 T=10⁻¹²（恰为 ρ²）。定理说：只要盒子边长 L 足够大，落在常数轨道上的粒子占比至少是某个 c*(v)>0；换成 ρ=10⁻⁷、温度更低，这个保底数纹丝不动。下图里抛物线 T=ρ² 下方的整片”稀薄低温区”，处处适用同一张保单。
为什么值得关心
相互作用不随粒子数缩放、密度与温度先固定再让体积趋于无穷——这是最贴近实验的设定；而在此框架下，对整段稀薄区间一致的正温凝聚下界此前并无定理，本文补上了这个多年的缺口。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里那座不停扩建的体育馆，说的其实是一个有限盒子里的多粒子系统：对象是一群全同的、彼此排斥的粒子；操作是让它们在给定温度下达到热平衡，然后数一数有多少粒子最终安顿在同一个最平坦的状态里。盒子变大、粒子按固定密度同步增多，就是”扩建”的数学含义；”齐唱同一首歌”即宏观比例的粒子占据同一个单体态。
第二级台阶
用本科术语精确化：热平衡态由正则吉布斯态给出——哈密顿量的指数加权再归一化。从中计算单体密度矩阵：把除一个粒子外的所有自由度求迹后得到的算符，它刻画单个粒子”平均而言”处在哪些态上。凝聚分数就是该矩阵对常数轨道 u₀（盒内波幅处处相等的归一化函数）的期望值除以总粒子数；热力学极限指体积与粒子数按固定密度一起趋于无穷。
第三级台阶
定理在三维环面、固定相互作用的框架下陈述：势 v 有界可测、径向、有限力程、非负且不几乎处处为零——径向与有限力程保证几何构造（胞、骨架、绕行规则）可行，非负排除吸引塌缩并保住路径权重为正，”不恒为零”避免自由气体的退化。结论是：存在只依赖 v 的正常数，使得一切足够小的密度、一切介于零与密度平方之间的温度下，常数轨道凝聚分数有共同的正常数下界。势不随粒子数缩放、下界不随密度温度走低，正是它与 Gross–Pitaevskii 标度和 Sütő 定理的分界线。
对三维中任一固定的有界、径向、有限力程非负势 @@M@@v@@，论文证明稀薄玻色气体正则吉布斯态的常数轨道凝聚分数（condensate fraction）有统一正常数下界 @@M@@c_*(v)@@：它对所有足够小的密度及一切 @@M@@0\le T\le\rho^2@@ 的温度一致成立。这是在固定势、固定密度的热力学极限框架下，对整段稀薄区间一致的正温凝聚结果。
玻色–爱因斯坦凝聚（Bose–Einstein condensation）指平衡态中某个单体轨道宏观地占据有限比例的粒子；Penrose 与 Onsager（1956）把它严格化为单体密度矩阵（one-particle density matrix）出现宏观本征值。对有相互作用的气体，已有严格占据结果大多在 Gross–Pitaevskii 标度下（Lieb–Seiringer 2002 及 Deuchert–Seiringer 2020 的正温推广），相互作用随粒子数缩放；或者采取稀薄与体积联合变化的极限（Fournais 2021、Chong–Liang–Nam 2026、Junge 2026 的 Neumann 盒）。Sütő 的热力学极限定理则要求势的 Fourier 变换非负——球形方势阱这类基本势就不满足——且凝聚阈值依赖温度。另一方面，能量理论（Dyson、Lieb–Yngvason、Fournais–Solovej、Basti 等）只确定能量渐近，无法决定单体轨道占据，因为单体动能隙随体积增大趋于零。固定势、固定正密度下的正则系综（canonical ensemble）凝聚因此长期缺失。
设 @@M@@v\ge 0@@ 有界、可测、径向、有限力程且不几乎处处为零。在体积 @@M@@V=L^3@@ 的环面 @@M@@\Lambda_L@@ 上取哈密顿量 @@M@@H_{N,L}=-\sum_i\Delta_i+\sum_{i<j}v_L(x_i-x_j)@@（作用于对称波函数），温度 @@M@@T>0@@ 的态为正则吉布斯态 @@M@@\Gamma_{N,L,T}=e^{-H_{N,L}/T}/\Tr e^{-H_{N,L}/T}@@，@@M@@T=0@@ 时取基态；@@M@@u_0=V^{-1/2}@@ 为常数轨道（constant orbital）。主定理：存在 @@M@@\rho_*(v),c_*(v)>0@@，使得对每个 @@M@@0<\rho<\rho_*(v)@@ 有 @@M@@L_0(\rho,v)@@，凡 @@M@@L\ge L_0@@、@@M@@\rho/2\le N/L^3\le 2\rho@@、@@M@@0\le T\le\rho^2@@，就有
@@M@@D\frac{\langle u_0,\gamma^{(1)}_{N,L,T}u_0\rangle}{N}\ge c_*(v).@@
要点有三：势不随 @@M@@N@@ 缩放；密度与温度先固定、再让体积增大；体积阈值可以依赖密度，但凝聚下界 @@M@@c_*(v)@@ 不依赖——这正是”密度一致”（density-uniform）的含义。
整个证明是一场正路径测度的比较。Feynman–Kac 公式（Feynman–Kac formula）把配分函数写成闭路径集合上的正权重；把其中一条路径的一个配对端点换成独立积分的空间点，便得到总质量恰为凝聚分数 @@M@@q_0@@ 的正测度 @@M@@\mu@@。证明分两步：先构造一个测度 @@M@@\nu@@——只在长度 @@M@@\delta=s^2@@ 的短时间板块（slab）内改动路径，@@M@@s\asymp\rho^{-1/2}@@ 为胞边长——并证其质量至少为某固定正常数；再证密度 @@M@@f=\dd\nu/\dd\mu@@ 的二阶矩一致有界，Cauchy–Schwarz 立即给出 @@M@@q_0\ge c_*(v)@@。密度一致性来自尺度配合：稀释时每胞平均粒子数 @@M@@m\asymp\rho^{-1/2}@@ 变大（可挑选的粒子增多），而板块长度相对 @@M@@1/T@@ 在整个正温区间内始终很短。局部上，先用能量与熵估计得到占据尾部，并在更短尺度 @@M@@r=\zeta\rho^{-1/3}@@ 上分离大多数端点；一个粒子”合格”要求端点分离、路径在首末短时段内贴住端点、且满足整体禁闭与相互作用积分分数（score）界。相互作用桥并不独立，作者另做一个局部化的配分函数比较来控制其联合轨迹失败率，代价与受检胞体积成比例，从而”指定胞集不可用”是小概率事件。远程连接靠随机格点骨架（skeleton）：两条独立骨架的相遇（encounter）数具有有界指数矩，遇到不可用胞簇则沿确定性规则绕行。在所得简单路径上每胞选一个合格粒子，循环重排其起点，打开一端并按精确归一的相互作用律重采样选中的桥，即得 @@M@@\nu@@。二阶矩涉及两次独立的改路；若直接对原闭位形逐段估计，代价会与路径长度成正比而失控。绕过办法是引入”反向插入”（reverse insertion）提供基线，使远离相遇处的贡献精确抵消；只剩两个小量——两条分离桥相遇的相互作用代价 @@M@@O(r^{-1/2})@@、两次选中同一粒子的概率 @@M@@O(1/m)@@——都随 @@M@@\rho\to0@@ 消失。最棘手的是改路会改变哪些胞可用、哪些粒子合格，故两条路线不能视为与气体独立：作者用更严的胞测试、显式的路径列表以及全程保留的公共远端选择权重把这些约束钉死，最后对稀有连通分量取指数矩、对骨架用两个相遇矩求平均完成估计。收尾按”先固定只依赖 @@M@@v@@ 的截断、再缩小 @@M@@\rho_*@@、最后取 @@M@@L_0@@“的次序选定常数，得 @@M@@c_*(v)=\upsilon^2/(4C_v)@@；正温一致的界再经热核的正性改进（positivity improving，保证唯一玻色基态）与 Gibbs 态向投影子的迹范数收敛过渡到 @@M@@T=0@@。
本文暂无形式化证明。它与族内姊妹篇《Ground-state condensation in the dilute hard-sphere gas》互相支撑：后者明确把本文第 8.1 节的显式骨架律与两个相遇矩引理（不含任何物理参数）作为其”唯一外部输入”，而本文则把这套比较机制用于软势的正温吉布斯态。按 OpenAI 官方声明，未经形式化的结果可能存在问题，读者宜以社区核验为准。
问 1：证明里最要害、也最脆弱的一步在哪里？
（答：第二矩估计。改路测度对凝聚测度的密度 f 必须满足 ∫f²dμ ≤ C_v（一致于 ρ、L、N、T），Cauchy–Schwarz 才能给出凝聚分数 ≥ υ²/(4C_v)。两次独立改路会互相改变哪些胞可用、哪些粒子合格，作者靠”反向插入”让远离相遇处的贡献精确抵消，只剩 r^{-1/2} 与 1/m 两个随 ρ→0 消失的小量。任何一处抵消不净，常数就随密度失控。）
问 2：假设里”径向”与”非负且不恒为零”各挡住什么麻烦？
（答：结论节及骨架构造大量依赖径向与有限力程来列显式路径表、控制相互作用桥；非径向势论文未展开。非负保证 Feynman–Kac 权重为正，从而热核 positivity improving、唯一玻色基态与 T=0 过渡成立（结论节明确使用）；有吸引则稀薄气体可能塌缩，正测度比较失效。”不恒为零”排除自由气体这一退化情形。）
问 3：温度为什么卡在 0 ≤ T ≤ ρ²？
（答：稀释时每胞平均粒子数 m 随 ρ^{-1/2} 增大、而局部改动板块相对 1/T 在整个正温区间始终很短，尺度配合恰好覆盖到 T=ρ²；结论节强调体积阈值在该温区内无需再限温度。固定正温、ρ→0 的极限论文未讨论。）
问 4：与已有工作相比真正的新意是什么？
（答：Sütő 的热力学极限定理要求势的 Fourier 变换非负（方势阱即被排除）且阈值依赖温度；Lieb–Seiringer、Deuchert–Seiringer 一线在 GP 标度下让相互作用随 N 缩放。本文在固定势、固定密度的正则系综里，对整段稀薄区间给出一致的凝聚下界，补上的正是这个组合空白。）
问 5：这类 AI 生成证明最可能出错的模式是什么？
（答：典型风险是常数依赖次序。结论节专门规定”先固定只依赖 v 的截断、再缩 ρ_*、最后取 L₀”——若某截断暗中依赖 ρ 或 T，”密度一致”即名存实亡。其次是两条改路不独立的组合处理：可用性被改路自身改变，需要更严胞测试与公共远端权重钉死，这类长链组合论证最容易藏错且未被形式化。）
问 6：下游推论或谁会用它？
（答：族内姊妹篇《Ground-state condensation in the dilute hard-sphere gas》明确把本文第 8.1 节骨架律与两个相遇矩引理列为唯一外部输入；它也为固定势稀薄气体的能量理论补上单体轨道占据这一缺失环节。）
总评
这是固定势稀薄玻色气体正温凝聚多年缺口的真正填补，机制精巧；最大风险在于极长的路径比较组合论证未经形式化，第二矩抵消与常数次序任何一环失手都会全局坍塌。