结果族 267：Positive-temperature Bose–Einstein condensation and exact quantum depletion · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
把一堆台球装进越来越大的箱子。台球绝对刚硬——任何两个都不许重叠。零温时系统躺在能量最低处，而最低态可能不止一个，写下来还允许是复数。论文证明：只要球足够稀，每一个基态里都有固定比例的球站进同一条”整齐队列”，比例有个对一切稀度通用的保底数。
关键词卡片
看个具体例子
取 a=1、ρ=10⁻⁶，则气体参数 ρa³=10⁻⁶，远低于阈值 ε₀。让体积与粒子数按此密度膨胀，再任挑一个（哪怕复值的）基态：定理保证它在极限中的常数轨道占比至少 c₀>0——一个与 ρa³ 无关的绝对常数。无论队列怎么扭曲变形，总有固定比例的人站得笔直。
为什么值得关心
它正面回答了 Solovej 2025 年综述列出的公开问题——固定密度硬球气的基态凝聚，让 Bogoliubov 理论”零模被宏观占据”的前提第一次在真硬核、零温、固定密度的设定下有了定理背书。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”台球装箱”说的是：对象是一群刚性粒子，两两不许重叠——重叠处波函数直接为零；操作是在零温下取能量最低的态。麻烦在于最低态可能不止一个，甚至允许写成复数值，所以定理必须对”每一个”基态同时成立，而不是只挑一个好用的。”整齐队列”即宏观比例的粒子占据同一个最平坦的单体态。
第二级台阶
用本科术语精确化：硬球哈密顿量不是写成一个式子，而是定义在允许位形集（任何两球心距离超过排斥距 a 的位形）上的狄利克雷型——波函数在禁区边界取零，能量即梯度平方的积分；再限制到置换对称函数以体现玻色统计。基态是该型式最小的本征函数。凝聚分数取 Penrose–Onsager 意义：先对除一个粒子外的坐标积分得到单体密度矩阵，再取常数轨道上的期望除以 N；稀薄程度由气体参数 ρa³ 度量，热力学极限指 N、L 按固定密度 ρ 同步趋于无穷。
第三级台阶
定理在固定排斥距、固定密度的框架下陈述：存在绝对常数 ε₀ 与 c₀，凡 ρa³<ε₀，对任意满足 N→∞、N/L³→ρ 的序列以及任意归一化复值玻色基态，常数轨道占据的下极限不小于 c₀。三个假设各司其职：硬核狄利克雷条件给出真排斥；对称性是玻色凝聚的前提；稀薄性保证换算后每胞平均粒子数足够大，使局部替换有充足”人选”。结论对一切基态、一切足够小的气体参数一致——这正是它比”存在某个凝聚基态”强得多的地方。
对三维硬球（hard sphere）玻色气体，在固定排斥距离 @@M@@a@@ 与固定密度 @@M@@\rho@@（气体参数 @@M@@\rho a^3@@ 足够小）下取热力学极限，论文证明每一个基态——允许复值波函数、允许基态空间简并——的常数轨道凝聚分数都不低于绝对常数 @@M@@c_0>0@@。这回答了 Solovej 2025 年综述列为主要公开问题的固定密度基态凝聚。
Bogoliubov（1947）的弱相互作用玻色气体理论以零模被宏观占据为前提；Lee–Huang–Yang（1957）进而预测硬球气的量子耗尽（depletion）分数为 @@M@@\sqrt{\rho a^3}@@ 量级。能量侧的理论已相当完善：从 Dyson（1957）、Lieb–Yngvason（1998）到 Fournais–Solovej 的 Lee–Huang–Yang 下界与 Basti 等人的匹配上界。但能量渐近不决定单体轨道占据——单体谱隙随体积消失，Lieb–Yngvason 当年就明确把占据问题与能量定理分开。已有的占据结果要么在 Gross–Pitaevskii 标度下（Lieb–Seiringer 2002；Deuchert–Seiringer 2020），要么让稀薄程度与体积联合变化（Fournais 2021；Chong–Liang–Nam 2026；Junge 2026）；Sütő 的热力学极限定理需要 Fourier 变换非负等条件，恰恰排除真正的硬核。Solovej 的 2025 年综述（第 5 节）把固定密度的基态凝聚列为主要公开问题，本文在稀薄区域给出了肯定回答。
硬球哈密顿量由允许位形集 @@M@@\Omega_{N,L,a}=\{d_L(x_i,x_j)>a,\ i<j\}@@ 上的 Dirichlet 型 @@M@@q_{N,L,a}[f]=\sum_i\int_{\Omega}|\nabla_i f|^2@@（限制于置换对称函数）定义，波函数在禁位形处取零；@@M@@a@@ 即散射长度（scattering length，外域零能散射解为 @@M@@1-a/|x|@@）。凝聚量度取 Penrose–Onsager 意义下的常数轨道占据
@@M@@DB(\Psi)=\frac{\langle\varphi_{0,L},\Gamma^{(1)}_\Psi\varphi_{0,L}\rangle}{N}=\frac{1}{L^3}\int\Bigl|\int\Psi(x,Y)\,\dd x\Bigr|^2\dd Y.@@
主定理：存在绝对常数 @@M@@\varepsilon_0,c_0>0@@，凡 @@M@@\rho a^3<\varepsilon_0@@，对任意满足 @@M@@N_k\to\infty@@、@@M@@L_k\to\infty@@、@@M@@N_k/L_k^3\to\rho@@ 的序列及任意归一化玻色基态本征向量 @@M@@\Psi_k@@（可复值），有 @@M@@\liminf_{k\to\infty}B(\Psi_k)\ge c_0@@。同一 @@M@@c_0@@ 对所有足够小的固定气体参数（gas parameter）通用；推论经凸性把结论推广到基态子空间上的任意混合态。论文只证正分数下界：不估计最优耗尽，也不证分数随 @@M@@\rho a^3\to0@@ 趋于 1。
先取模 @@M@@\Phi=|\Psi|@@：@@M@@\Phi@@ 仍是基态函数，且在允许位形集的每个连通分支上 @@M@@\Psi=e^{i\vartheta_C}\Phi@@。证明先给 @@M@@B(\Phi)@@ 一个一致下界，再用相位转移恢复 @@M@@B(\Psi)@@。第一步换长度单位，使每个单位胞平均含 @@M@@D@@ 个粒子、排斥距 @@M@@r=\alpha/D@@（@@M@@\alpha@@ 落在固定窗口），则气体参数 @@M@@Dr^3=\rho a^3=\alpha^3/D^2@@，”稀释”恰等价于 @@M@@D@@ 变大。局部上，动能不等式与归一化的粒子插入估计表明”粒子过少或近邻过多”的胞联合概率很小；以 @@M@@\Phi^2@@ 为位置边际的精确被杀布朗运动（killed Brownian motion）平稳律提供一批可整体替换的短轨迹。再把可动标号分成约与 @@M@@D@@ 成正比的不交群，逐群冻结其余轨迹：胞”可用”当且仅当足够多剩余标号替换成功，未暴露部分的律是带个体截断、再以互相硬避让为条件的精确条件乘积律——归一化始终精确保留。远程上，对相距可比盒径的胞对，在保留的正概率环境中抽取随机格点路线：骨架（skeleton）律与两个相遇矩估计全部引自姊妹篇《A density-uniform condensate bound for dilute Bose gases》，是全文唯一外部输入；遇到不可用胞簇沿好的外壳绕行（Kesten 边界连通定理的 Timár 形式）。沿路线每个出发胞选一个标号并构造两份拷贝：第二份里每条选中轨迹的中点右移一胞；去掉第一份的初始标记与第二份的终端标记后，两份剩下完全相同的 @@M@@N-1@@ 个中点”浴”（bath）。这一构造给出连接两个位置测度的公共有限测度，其平方根重叠（affinity，@@M@@\mathsf H(P,Q)=\int\sqrt{pq}@@）经精确恒等式 @@M@@B(\Phi)=V^{-2}\sum_{v,w}\mathsf H(P_{vw},Q_{vw})@@ 直接进入占据。二阶矩的核心是”远离即抵消”引理：两条独立路线的似然乘积中，彼此远离部分的相互作用归一因子精确相消，代价只由相遇数与共享标号承担——相遇数为 @@M@@J_R@@ 时代价如 @@M@@(1-\chi_D)^{-4J_R}@@；而两路线在同一公共胞选中同一标号的概率至多 @@M@@2/M@@，配合相遇数的退火指数矩界得到一致常数。每群亲和至少 @@M@@1/(4C_2)@@，群数与 @@M@@D@@ 成正比恰好补偿单个标记的 @@M@@1/D@@ 归一因子，最终 @@M@@B(\Phi)\ge c_*=\upsilon_0\ell/(32MGC_{\rm path})@@（@@M@@\upsilon_0=1/2000@@）。相位部分：用小闭立方体覆盖禁域球并填充连通簇的有界洞，剩余点经开的允许一粒子切片连通、故共享同一相位；小簇填弃体积小，大簇会迫使许多近邻粒子而被联合空间估计排除；弃去体积分数 @@M@@\delta_{\rm geom}@@ 足够小时 @@M@@B(\Psi)\ge B(\Phi)-4\sqrt{\delta_{\rm geom}}\ge c_*/2@@。收尾取 @@M@@K_k=\lfloor\sqrt{aN_k/(\alpha_0 L_k)}\rfloor@@ 换回原单位，使 @@M@@\alpha_k\to\alpha_0@@、@@M@@D_k@@ 落入紧区间，完成任意热力学序列的论证。
本文暂无形式化证明。它与族内《A density-uniform condensate bound for dilute Bose gases》构成姊妹篇：后者提供不含物理参数的骨架与相遇矩引擎，本文补上硬核能量估计、障碍适配、条件归一化计算与相位论证；两文共享”路径改测 + 二阶矩”的方法骨架，结论互相印证——一篇管软势正温，一篇管硬球基态。按 OpenAI 官方声明，未经形式化的结果可能存在问题，宜以社区核验为准。
问 1：证明中最关键也最脆弱的一步是什么？
| （答：模–相分裂后的”相位转移”。证明先对模 Φ= | Ψ | 证 B(Φ)≥c_，再靠弃去体积小（δ_geom≤c_²/64）经引理得 B(Ψ)≥B(Φ)−4√δ_geom≥c_*/2。相位论证要求保留点落在允许切片的同一连通分支——共享同一相位；若几何估计中弃去体积失控，整个从实到复的过渡就断了。模那侧的”远离即抵消”引理同样要害：两条独立路线的似然乘积里相遇数代价如 (1−χ_D)^{−4J_R}，配共享标号概率 ≤2/M 才能收敛。） |
问 2：哪个假设去掉会让定理垮掉？
（答：稀薄性 ρa³<ε₀ 是结构性的——结论节换算 D_k→α₀^{3/2}/√(ρa³)，气体参数不小则每胞平均粒子数 D 不够大，局部替换无足够合格标号，1/D 归一因子无法被群数补偿。复值基态的允许性是难点而非假设的放松；去掉置换对称性（改费米子）则常数轨道占据最多 O(1)，定理表述本身就失效。）
问 3：与已有工作相比真正的新意是什么？
（答：它正面回答 Solovej 2025 年综述第 5 节列出的公开问题：固定密度硬球气的基态凝聚。此前占据结果要么在 GP 标度（Lieb–Seiringer 2002），要么稀薄与体积联合变化（Fournais 2021 等）；Sütő 需要 Fourier 变换非负，恰好排除硬核。本文是真硬核、零温、固定密度下的首个这类定理。）
问 4：这类 AI 生成证明最可能出错的模式？
（答：常数次序与精确归一化。结论节列了一长串先固定后放大的选择（γ=1/12、R=30、3θ<ℓ/2、−4log(1−χ_D)≤κ/2 等），任何一处依赖关系写错，”绝对常数”就会暗中依赖气体参数；硬避让条件乘积律的归一化若只算到渐近阶而非精确恒等式，affinity 恒等式 B(Φ)=V^{−2}ΣH(P_vw,Q_vw) 就不成立。）
问 5：骨架律引自姊妹篇，依赖安全吗？
（答：这是全文唯一外部输入——骨架律与两个相遇矩引理取自《A density-uniform condensate bound for dilute Bose gases》第 8.1 节，不含物理参数。两文共享”路径改测+二阶矩”骨架但物理设定不同（软势正温 vs 硬球零温），结论互相印证；若姊妹篇出错，本文的远程连接步骤随之失效。）
问 6：下游谁会用到，用到什么程度？
（答：它给 Bogoliubov 理论”零模宏观占据”的前提第一次在真硬核、零温、固定密度下提供定理背书；凸性推论还覆盖基态子空间上的任意混合态。但论文只证正分数下界，明确不求最优耗尽、不证分数随 ρa³→0 趋于 1——Lee–Huang–Yang 的 √(ρa³) 精确耗尽仍是公开问题。）
总评
这是 Solovej 公开问题在稀薄区域的完整解答，方法上是路径测度比较的一次高难度硬核改造；最大风险在极长的组合链与对姊妹篇引理的依赖，均未经形式化核验。