结果族 228：Continuum phase transitions for radial pair potentials · 学科：Probability and statistical mechanics · 验证状态：主结果已 Lean 形式化
水到 100°C 就沸腾：温度轻轻一变、性质突变，这就是相变。物理学家长期追问：如果粒子之间只有一条最朴素的”相处规则”——距离决定亲疏——也能造出这种突变吗？1984 年 Simon 把它列入著名难题清单，这篇论文在三维空间里造出了第一个严格的肯定答案。
关键词卡片
看个具体例子
论文构造的势形状如下：发散的排斥核、一段吸引区间、可积的长尾。主定理：存在公共临界逆温度 β_c∈(1/2,3/2)，在一整个密度开区间上，自由能的左导数在 β_c 处严格大于右导数——同一个”沸点”管一整段密度，而非只在孤立的密度点上。
为什么值得关心
肯定回答了悬置约四十年的 Simon 相变存在性问题，且不依赖多种粒子、硬核或多体相互作用；主定理已通过 Lean 形式化验证。
已 Lean 形式化。
第一级台阶
导读用”水到 100°C 沸腾”引入相变，并强调这里粒子只遵守一条最朴素的相处规则：距离决定亲疏——靠太近强烈排斥、中等距离互相吸引、远了近乎失联。翻译成半数学语言：对象是三维空间中大量全同粒子，唯一的输入是这条规则本身；要考察的量是”固定粒子密度后，单位体积的热力学自由能随温度变化的曲线”。问题：能否设计一条这样的规则，让这条曲线出现真正的折角——一个被严格定义的沸点——而且同一个沸点管住一整段密度，而非孤立的密度点。
第二级台阶
精确化：规则即径向二体势 @@M@@\Phi(x)=\phi(|x|)@@，”可容许”要求 (i) @@M@@r\downarrow0@@ 时 @@M@@\phi(r)\to+\infty@@（发散排斥核）、(ii) 某区间 @@M@@[r_1,r_2]@@ 上 @@M@@\phi\le-a@@（非平凡吸引）、(iii) 尾部可积 @@M@@\int_R^\infty r^2|\phi|\,dr<\infty@@、(iv) 稳定性 @@M@@U_N^\Phi\ge-BN@@。自由边界立方体里的正则配分函数 @@M@@Z_{\Lambda,N}^\Phi(\beta)@@ 取极限给出自由能 @@M@@f_\Phi(\beta,\rho)@@；相变定义为在固定 @@M@@\rho@@ 处左、右温度导数满足 @@M@@D_\beta^-f>D_\beta^+f@@。
第三级台阶
定理断言：存在一个可容许 @@M@@\phi@@（尾为 @@M@@\phi(r)=o(r^{-3})@@）、一个密度开区间 @@M@@I@@ 与同一个 @@M@@\beta_c\in(1/2,3/2)@@，使 @@M@@f_\Phi@@ 对一切 @@M@@\beta,\rho>0@@ 存在且有限，且对每个 @@M@@\rho\in I@@ 都有 @@M@@D_\beta^-f_\Phi(\beta_c,\rho)>D_\beta^+f_\Phi(\beta_c,\rho)@@。假设各司其职：发散核阻止粒子塌缩、支撑局部能量的二次下界（稳定性）；可积尾保证热力学极限与对偶成立；势在每个正距离处有限，则把以色列式硬核方案与本构造区分开。结论即 Simon 问题的肯定回答：单一粒子、纯二体径向势足以制造温度奇性。
在三维空间构造出一个稳定的径向二体势，其正则自由能在同一临界逆温度处发生严格向下的导数跳跃，且该奇性在一整个正密度开区间上同时成立——Simon 连续介质相变存在性问题在纯二体径向势类中获得肯定回答。
相变可表述为热力学自由能（thermodynamic free energy）失去正则性。格点气体（如 Ising 模型）的相变早已严格证明，但连续空间 @@M@@\mathbb{R}^3@@ 中的经典粒子若仅通过稳定的径向二体势（radial pair potential）相互作用，能否在固定密度处出现温度奇异性，是 Simon 1984 年数学物理问题清单中的著名难题。此前的严格结果各有妥协：Ruelle 的 Widom–Rowlinson 模型需要两种粒子，Israel 的凸构造带硬核，Lebowitz–Mazel–Presutti 的液气相变依赖四体排斥项，近年的 Kac 型与饱和相互作用结果则依赖固定盒子分割或多体能量。卡点在于：纯二体径向吸引容易把自由能”磨平”，要在同一密度坐标上保住两个不同的温度斜率极为困难。
论文构造了容许（admissible）的径向二体势 @@M@@\Phi(x)=\phi(|x|)@@：@@M@@\phi(r)\to+\infty@@（@@M@@r\downarrow 0@@，发散排斥核）、在某区间 @@M@@[r_1,r_2]@@ 上 @@M@@\phi\le -a@@（非平凡吸引）、尾部 @@M@@\phi(r)=o(r^{-3})@@ 且 @@M@@\int_R^\infty r^2|\phi|\,dr<\infty@@，并满足稳定性 @@M@@U_N^\Phi\ge -BN@@。主定理断言：存在密度开区间 @@M@@I\subset(0,\infty)@@ 与同一个 @@M@@\beta_c\in(1/2,3/2)@@，使自由边界条件下的正则自由能 @@M@@f_\Phi(\beta,\rho)@@ 对一切 @@M@@\beta>0@@、@@M@@\rho>0@@ 存在且有限，且对每个 @@M@@\rho\in I@@ 都有 @@M@@D_\beta^- f_\Phi(\beta_c,\rho)>D_\beta^+ f_\Phi(\beta_c,\rho)@@：一个势、一个临界温度、整段密度区间上的严格向下导数跳跃。论文明确说明这是”工程化”构造，不涉及 Lennard–Jones 势，也不鉴别共存态的物理身份。
证明分四步。第一步，造稳定的参考气体。核心想法是在高度 @@M@@t^2@@ 的排斥核里开一条半径 @@M@@e^{-t}@@ 的极窄”零能量壳”：粒子对落在壳内不付能量。几何上，@@M@@\mathbb{R}^3@@ 中不可能有五个点两两距离都落在壳内（对四条差向量作 Gram 矩阵扰动论证），结合 Motzkin–Straus 极值图定理，小格内的壳图至多 @@M@@3n^2/8@@ 条边，于是核能给出局域粒子数的二次下界——即 Ruelle 超稳定性（superstability）式控制。由此建立正则与巨正则热力学极限及其 Fenchel 对偶。
第二步，造三条竞争的压力分支。先让 @@M@@t\to\infty@@：裸核压力收敛到 @@M@@\max(0,\,ph,\,4ph-9p)@@，三支分别来自真空、单粒子与四面体四粒子团（@@M@@p@@ 为单位间距堆积密度的极限）。再加质量 @@M@@A=3/(2p)@@ 的理想长程吸引——它通过 Lebowitz–Penrose 型 Kac 极限在变分公式中贡献 @@M@@+\beta Ad^2/2@@ 的二次密度项——极限压力变为三个仿射分支的最大值，其斜率 @@M@@v_1=(0,0)@@、@@M@@v_2=(3p/4,p)@@、@@M@@v_3=(12p,4p)@@ 不共线，于 @@M@@\lambda_*=(1,-3/4)@@ 处相遇，重心 @@M@@g=(17p/4,\,5p/3)@@。
第三步是全文枢纽：均匀逼近本身会把角磨圆，故必须在每一步新吸引质量的同一尺度上工作。利用对吸引范围一致的局部占据矩估计与尾部连续性，物理 Kac 逼近的误差可压到 @@M@@a^2@@，而新吸引质量为 @@M@@a@@；对压力做 @@M@@a@@ 尺度的放缩分析，证明放缩后的变换收敛到 @@M@@\max_{(s,d)\in K}(xs+yd+\beta_0d^2/2)@@，其中正二次项严格禁止横跨三个密度组的混合支撑。由此得到”持久性引理”：存在邻近点，其子微分仍由三组分离斜率生成，并含公共斜率球 @@M@@\overline B(g,\gamma)@@。
第四步，合成一个势。关键是次序：先选定下一步质量 @@M@@\sigma_{n+1}@@，再选足够大的新范围 @@M@@R_n@@ 去逼近当前理想压力。质量可和给出单一容许势 @@M@@\Phi=\psi_t-t\sum_j\sigma_j w_{R_j}@@；支撑点 @@M@@\lambda_n@@ 收敛于 @@M@@\lambda_c@@，斜率球整体传递给物理压力 @@M@@Q_\infty@@。最后在斜率平面上取密度 @@M@@\rho\approx 5p/3@@ 的水平切片：两个支撑向量 @@M@@(g_1\pm\gamma/2,\rho)@@ 密度相同而温度斜率不同，由凹性，@@M@@H_\infty(\cdot,\rho)@@ 在 @@M@@\beta_c@@ 的左右导数之差至少 @@M@@\gamma@@；除以规范化因子即得自由能跳跃 @@M@@t\gamma/\beta_c@@。
本篇主结果已 Lean 形式化。姊妹篇给出有界连续核版本，以定量范围估计把尾部推进到 @@M@@|\phi(r)|\le Cr^{-3-1/32}@@；两篇共享”窄壳四粒子团 + 三分支支撑斜率”框架，互相印证构造的稳健性。按 OpenAI 官方声明，未经形式化的结果可能存在问题；本文主结果已形式化，但构造针对的是显式可积尾类，论文本身也强调不宣称 Lennard–Jones 势有相变。
问 1：别人也造过连续相变，这篇的真正新意是什么？
（答：此前的严格结果各有妥协：Ruelle 的 Widom–Rowlinson 要两种粒子，Israel 构造带硬核，Lebowitz–Mazel–Presutti 依赖四体排斥，近年 Kac 型与饱和相互作用结果依赖固定盒子分割或多体能量。本文首次用单一粒子种类、纯二体径向势在整段密度区间上造出同一临界温度的严格导数跳跃，且所有跨盒相互作用都保留。引言还点明：密度共存本身推不出固定密度处的温度折角——需要的是同一密度坐标、不同能量坐标的两个支撑斜率。）
问 2：证明里最脆弱的一步在哪里？
（答：第三步”持久性引理”是全文枢纽。均匀逼近本身会把角磨圆，所以不能先取极限再加扰动；必须让每一步物理 Kac 逼近的误差小于该步新吸引质量 @@M@@a@@ 的尺度，同时靠正二次密度项 @@M@@\beta Ad^2/2@@ 分离三组斜率。误差与扰动同阶竞争的地方，正是构造可能失败的地方。）
问 3：那条极窄的”零能量壳”为什么能保证稳定性？
（答：几何事实是 @@M@@\mathbb{R}^3@@ 中不可能有五个点两两距离都落在壳内（对四条差向量作 Gram 矩阵扰动论证）；结合 Motzkin–Straus 极值图定理，小格内的壳图至多 @@M@@3n^2/8@@ 条边，于是排斥核能量给出局域粒子数的二次下界——即 Ruelle 式超稳定性控制，热力学极限由此站立。）
问 4：尾部条件 @@M@@\phi(r)=o(r^{-3})@@ 够用吗？为什么不停在幂律余量？
（答：论文明言：构造只给出 @@M@@o(r^{-3})@@，不建立 @@M@@|\phi(r)|\le Cr^{-3-\varepsilon}@@ 的固定余量，因此不声称解决历史问题中要求幂律余量的那些表述。带定量范围估计、把尾部推到 @@M@@r^{-3-1/32}@@ 的有界连续版本由姊妹篇用不同势完成，两篇互为稳健性印证。）
问 5：合成单一势时，为什么必须”先定质量、后选范围”？
（答：第四步的次序设计是让无穷多个吸引分量可和成单个可容许势 @@M@@\Phi=\psi_t-t\sum_j\sigma_j w_{R_j}@@ 的关键：先固定下一步质量 @@M@@\sigma_{n+1}@@，再取足够大的范围 @@M@@R_n@@ 把当前理想压力逼近到所需精度。若次序反过来，范围的选取会反过来破坏可和性，斜率球无法传递到物理压力 @@M@@Q_\infty@@。）
问 6：AI 生成证明最可能出错的模式是什么？
（答：这类无穷阶段归纳构造的典型风险是”常数传递”——每一步逼近误差需压到下一步扰动量之下、斜率球半径 @@M@@\gamma@@ 需在无穷次传递后存活，任何一步把不等号方向或尺度比值弄错，跳跃量 @@M@@t\gamma/\beta_c>0@@ 就化为乌有。本文主定理已 Lean 形式化，这部分风险显著降低；未形式化的构造细节（几何壳论证、Kac 极限）仍建议人工复核。）
问 7：这个结果解决了 Simon 问题后，还留下什么？谁会接着用？
（答：论文明言这是工程化构造，不宣称 Lennard–Jones 势有相变，也不鉴别共存态的物理身份——液气固相的判定完全未展开。后续自然方向是把尾条件收紧到幂律余量、判断物理势类是否普遍有相变；平衡态统计力学的构造方法库（凸支撑斜率传递技术）也多了件新工具。）
总评
这是对悬置四十年的 Simon 连续介质相变存在性问题给出的第一个纯二体径向势肯定回答，且经 Lean 形式化背书，分量很重；最大风险在于结论依赖高度工程化的势——它证明”存在”而非”典型”，与物理真实势的距离仍是公开问题。