结果族 228：Continuum phase transitions for radial pair potentials · 学科：Probability and statistical mechanics · 验证状态：主结果已 Lean 形式化
姊妹篇造出了能产生相变的粒子”相处规则”，但还可以挑剔：它对远处衰减速度只要求”比 r^-3 快”。这篇论文交出更严的施工——规则处处有界、连续，远处衰减快于 r^-3.03，满足该问题历史上最苛刻的表述。
关键词卡片
| 幂律衰减（algebraic decay）：尾部满足 | φ(r) | ≤ C·r^(-3-1/32)，比三维临界幂 3 固定多出 1/32 的余量。 |
看个具体例子
尾部界限代入数字（取 @@M@@C=1@@）：@@M@@r=10@@ 时 @@M@@| arphi(r)|\le 10^{-3.03}pprox 9.3 imes10^{-4}@@；@@M@@r=100@@ 时 @@M@@\le 10^{-6.03}@@——随 @@M@@r@@ 增大，比 @@M@@r^{-3}@@ 逐渐多省出一个固定的幂，这正是”固定余量”的含义。主定理（数字版）：存在 @@M@@eta_c\in[7/8,\,9/8]@@ 与以 @@M@@5
ho/3@@ 为中心的密度开区间，自由能的左右导数在 @@M@@eta_c@@ 处严格跳降，跳幅至少 @@M@@t\gamma/eta_c@@。与姊妹篇的无穷排斥核不同，这里的核高度有限、原点处也连续——”手感”上更像真实分子之间的作用力。
为什么值得关心
把 Simon 问题的肯定回答推进到”固定幂律余量 + 有界核”的势类，离物理上合理的相互作用更近一步，且主定理已形式化。
已 Lean 形式化。
第一级台阶
导读把姊妹篇的结果比作”能产生相变的相处规则”，但指出还可以更挑剔：那条规则对远处的衰减只要求”比 @@M@@r^{-3}@@ 快”，而且近处竖着无穷高的排斥墙。本篇交出更严的施工——同一条距离规则，但处处有界、处处连续，远处衰减比临界幂 @@M@@r^{-3}@@ 固定多出一小块余量。对象仍是三维空间里的全同粒子与一条距离规则；要保证的仍是”固定密度下自由能的温度曲线出现折角”，只是验收标准提了一档。
第二级台阶
精确化：构造有界连续的径向二体势 @@M@@\phi:[0,\infty)\to\mathbb{R}@@，要求稳定（对一切有限组态 @@M@@\sum_{i<j}\phi(|x_i-x_j|)\ge-BN@@）且尾部满足幂律界 @@M@@|\phi(r)|\le Cr^{-3-1/32}@@（@@M@@r\ge1@@）。以单位间距堆积常数 @@M@@p@@（大盒中最密等距点集的极限密度）为参照，正则配分函数 @@M@@Z^\phi_{L,N}(\beta)@@ 的热力学极限给出自由能 @@M@@f(\beta,\rho)@@；相变即在某固定 @@M@@\rho@@ 处左、右温度导数满足 @@M@@f'_-(\beta_c,\rho)>f'_+(\beta_c,\rho)@@。
第三级台阶
定理断言：存在这样的 @@M@@\phi@@、以 @@M@@5p/3@@ 为中心的密度开区间 @@M@@I@@ 与共同临界逆温 @@M@@\beta_c\in[7/8,9/8]@@，使 @@M@@f(\beta,\rho)@@ 对一切 @@M@@\beta>0@@ 存在有限，且对每个 @@M@@\rho\in I@@ 都有严格导数跳跃。假设各挡一种麻烦：有界核靠”窄壳零能量平台 + 五点不能同处壳内”的几何（配 Motzkin–Straus 定理）撑起超稳定性；幂律余量则来自迭代日程 @@M@@R_{n+1}=R_n^2@@、@@M@@a_n=R_n^{-1/16}@@ 之下 @@M@@\sum_n a_nR_n^{1/32}<\infty@@ 的算术。结论满足 Simon 问题历史上最苛刻的表述：有界核、固定幂律余量、单一势、同一临界温度管整段密度。
构造出三维中一个有界、连续、稳定的径向二体势，尾部满足 @@M@@|\phi(r)|\le Cr^{-3-1/32}@@，其正则自由能在同一临界逆温度、一整个正密度开区间上出现严格导数跳跃，把 Simon 连续介质相变问题要求的势类推进到固定幂律余量。
连续介质中单一粒子种类、纯径向二体势能否产生相变，是 Simon 1984 年问题清单中的公开难题（背景详见姊妹篇解读）。本文在此之上处理一个更精细的限制：该问题的历史表述常要求尾部满足带固定余量的幂律界 @@M@@|\phi(r)|\le Cr^{-3-\varepsilon}@@，而姊妹篇只得到 @@M@@o(r^{-3})@@，未给出任何固定 @@M@@\varepsilon>0@@。要拿到幂律余量，各步吸引的质量与其作用范围必须定量耦合，且每次”以真实有限程吸引逼近理想均场变换”的误差必须显式可和——均匀收敛本身会磨平角点，这正是技术难点所在。
主定理：存在有界连续函数 @@M@@\phi:[0,\infty)\to\mathbb{R}@@，稳定（@@M@@U\ge -BN@@，@@M@@B=t^2/2@@），且对一切 @@M@@r\ge1@@ 满足 @@M@@|\phi(r)|\le Cr^{-3-1/32}@@。存在以 @@M@@5p/3@@（@@M@@p@@ 为单位间距堆积密度的极限）为中心的密度开区间 @@M@@I@@ 与共同临界逆温度 @@M@@\beta_c\in[7/8,9/8]@@，使正则自由能 @@M@@f(\beta,\rho)@@（自由边界条件正则系综的热力学极限）对一切 @@M@@\beta>0@@ 存在且有限，且对每个 @@M@@\rho\in I@@，@@M@@f'_-(\beta_c,\rho)>f'_+(\beta_c,\rho)@@，跳跃量至少 @@M@@t\gamma/\beta_c@@。与姊妹篇不同，此势的核有界——在原点连续、取值不超过 @@M@@t^2@@，每个非负距离处势值有限。
证明分三块。第一块，稳定族与理想吸引的代数。核 @@M@@\psi_t@@ 在 @@M@@e^{-t}@@ 量级的窄壳与 @@M@@1+1/t@@ 之外为零，中间高度至多 @@M@@t^2@@；”五点不能同处壳内”的 Gram 论证加 Motzkin–Straus 定理给出对一切吸引范围一致的二次占据下界（超稳定性）。理想吸引以位移形式定义：@@M@@(T_aQ)(\beta,h)=\sup_u\{Q(\beta,h+\beta au)-\beta au^2/2\}@@。配方表明”活动位移” @@M@@u@@ 恰为最大化密度；且在活动点 @@M@@x_u@@ 处压力满足抛物线上界，@@M@@Q@@ 在该处的任何支撑其密度坐标必等于 @@M@@u@@。由此得到 @@M@@\partial(T_aQ)@@ 的精确公式——活动分支生成元的凸包，这是后续控制子微分的基本工具。
第二块是关键新估计——定量范围比较：若参考相互作用范围不超过 @@M@@R_0@@，则 @@M@@\|Q_{\varphi_0-taw_R}-T_aQ_{\varphi_0}\|\le C\sqrt{R_0/R}@@，常数对一切先前范围与任意小的质量 @@M@@a@@ 一致。取边长 @@M@@s\asymp\sqrt{R_0R}@@ 的盒子：删除跨盒参考项代价 @@M@@O(R_0/s)@@，新核行和逼近其单位积分至 @@M@@O(s/R)@@，两者平衡给出 @@M@@\sqrt{R_0/R}@@。上界用盒上确界的乘积控制；下界在盒内放置独立的参考巨正则系综并用 Jensen 不等式，一次配方使论证完全不要求盒均密度收敛到位移 @@M@@u@@——因此在共存参数处也成立。
第三块，迭代与收官。裸核压力同样趋于 @@M@@\max(0,ph,4ph-9p)@@，首个质量 @@M@@A=3/(2p)@@ 的吸引后得到三条不共线斜率 @@M@@v_1=(0,0)@@、@@M@@v_2=(3p/4,p)@@、@@M@@v_3=(12p,4p)@@ 的仿射分支，重心 @@M@@g=(17p/4,5p/3)@@。一步保持引理：压力误差 @@M@@\delta@@ 加质量 @@M@@a@@ 的吸引，斜率组膨胀 @@M@@O(\delta/a+a)@@、参数域损耗 @@M@@O(a)@@；其中”公共密度带” @@M@@|d-u|<p/8@@ 防止不同密度组的斜率混合。取日程 @@M@@R_n=R_1^{2^{n-1}}@@（逐次平方）、@@M@@a_n=R_n^{-1/16}@@：逼近误差为 @@M@@O(R_n^{-1/4})@@，与下一质量之比为 @@M@@O(R_n^{-1/8})@@，皆随 @@M@@R_1\to\infty@@ 可和；同一日程还保证 @@M@@\sum_n a_nR_n^{1/32}<\infty@@，这正是尾部 @@M@@r^{-3-1/32}@@ 界的来源。极限势的压力在 @@M@@\lambda_c@@ 处含斜率球 @@M@@\overline B(g,\gamma)@@，密度 @@M@@5p/3@@ 附近的水平切片给出两个同密度、异温度斜率的支撑向量，经 Fenchel 对偶转化为 @@M@@f(\cdot,\rho)@@ 的导数跳跃。
本篇主结果已 Lean 形式化。与姊妹篇（发散核、@@M@@o(r^{-3})@@ 尾）共享”窄壳四粒子团 + 三分支支撑斜率 + 斜率球传递”框架；本文补上有界核构造与定量范围估计，两篇各自独立包含全部所需证明，互相支撑。按 OpenAI 官方声明，未经形式化的结果可能存在问题；本文核心定理已形式化，但仍属”工程化”存在性结果，论文不鉴别共存态的常规流体相身份。
问 1：相对姊妹篇，这篇的真正增量是什么？难在哪里？
（答：姊妹篇只得到 @@M@@o(r^{-3})@@ 的尾且带发散核；本文给出固定幂律余量 @@M@@|\phi(r)|\le Cr^{-3-1/32}@@ 加有界连续核，正是 Simon 问题历史表述中最苛刻的势类。难点在于：要拿到幂律余量，各步吸引质量 @@M@@a_n@@ 与作用范围 @@M@@R_n@@ 必须定量耦合，且每次”以真实有限程吸引逼近理想均场变换”的误差必须显式可和——不能只靠定性的均匀收敛。）
问 2：证明里最脆弱的一步是什么？
（答：定量范围比较 @@M@@\|Q_{\varphi_0-taw_R}-T_aQ_{\varphi_0}\|\le C\sqrt{R_0/R}@@ 是全文发动机，常数须对一切先前范围与小质量一致。其证明取边长 @@M@@\asymp\sqrt{R_0R}@@ 的盒子：删除跨盒参考项代价 @@M@@O(R_0/s)@@、新核行和逼近单位积分误差 @@M@@O(s/R)@@，二者平衡恰给 @@M@@\sqrt{R_0/R}@@——盒子尺寸选错半个量级，可和性就断了。）
问 3：为什么”均匀收敛保不住角点”，一步保持引理怎么救？
（答：凸函数的一致逼近本身会把折角磨圆。补救来自理想变换 @@M@@(T_aQ)(\beta,h)=\sup_u\{Q(\beta,h+\beta au)-\beta au^2/2\}@@ 的结构：最大化位移 @@M@@u@@ 处参考压力满足抛物线上界，把附近的支撑斜率锁进单一密度带 @@M@@|d-u|<p/8@@，从而只落在三条分离斜率组之一；压力误差 @@M@@\delta@@ 只损耗 @@M@@O(\delta/a+a)@@ 的斜率。）
问 4：去掉无穷排斥墙后，稳定性靠什么撑住？
（答：核 @@M@@\psi_t@@ 在 @@M@@e^{-t}@@ 量级窄壳内置零能量平台、壳外高度 @@M@@t^2@@；四个粒子可构成六条边全在壳内的四面体，五个则不行（Gram 论证）。结合 Motzkin–Straus 加权图极大定理，小盒内壳图至多 @@M@@3n^2/8@@ 条边，给出局部粒子数的二次能量下界——Ruelle 式超稳定性在核有界时依然成立。）
问 5：尾部指数 @@M@@1/32@@ 是怎么算出来的，能改进吗？
（答：日程 @@M@@R_{n+1}=R_n^2@@、@@M@@a_n=R_n^{-1/16}@@ 下，范围误差为 @@M@@O(R_n^{-1/4})@@、与下一质量之比 @@M@@O(R_n^{-1/8})@@，皆可和；同一日程给出 @@M@@\sum_n a_nR_n^{1/32}<\infty@@，逐点拼装即得 @@M@@r^{-3-1/32}@@。这套指数算术是自洽的但极不优化——论文并未讨论更大幅度余量或指数最优性。）
问 6：AI 生成证明最可能出错的模式是什么？
（答：此类迭代的经典风险是指数与常数的一致性：@@M@@1/16@@、@@M@@1/4@@、@@M@@1/8@@、@@M@@1/32@@ 必须在无穷步内同时自洽，任何一处把可和要求写错，尾界或斜率球之一即失效。好消息是主定理已 Lean 形式化，逐字核验过的部分风险大降；未形式化的范围比较与密度带论证仍是人工复核重点。）
问 7：这个结果的边界在哪里，谁会接着用？
（答：论文明言这是工程化的存在性结果，不鉴别共存态的常规流体相身份，也不断言 Lennard–Jones 类物理势有相变；对无限程构造的依赖意味着与有限程真实相互作用的距离仍是公开问题。后续自然的方向是把幂律余量推向任意 @@M@@\varepsilon@@、或问固定有限程势类的相变存在性。）
总评
这是把 Simon 问题的肯定回答推到”有界核 + 固定幂律余量”最苛刻表述的工作，定量范围估计是实打实的新技术，且经 Lean 形式化背书；最大风险仍是工程化构造离物理势类遥远，且迭代日程的指数算术虽已形式化、其未形式化的周边估计仍需社区消化。