结果族 222：Perceptron free energies and microscopic jamming exponents · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
往行李箱里塞衣服，塞到刚刚好、再也塞不进任何一件的那一刻，衣服之间会留下许多极小的缝、产生许多极轻的互相挤压。这篇论文研究的正是高维版”塞满那一刻”（堵塞）：它严格证明了塞满的临界点存在，还算出了那些小缝和小挤压力到底有多”小”——精确到小数点后六位的两个指数。
关键词卡片
看个具体例子
定理的数字版：间隙分布 @@M@@G_J(u)=u^{1-\gamma}@@，力分布 @@M@@F_J(s)=s^{1+\theta}@@，其中 @@M@@\gamma\approx0.4126933@@，@@M@@\theta\approx0.4231075@@，且 @@M@@\gamma=\dfrac{1}{2+\theta}@@。代入感受一下：把缝的上限 @@M@@u@@ 缩小 100 倍，缝那么小的概率只降约 15 倍（@@M@@100^{1-\gamma}\approx15@@），而不是 100 倍——缝”消失得异常慢”，这正是堵塞的奇异标志。
为什么值得关心
物理学家靠数值模拟猜了十年的这两个指数，本文第一次从微观模型出发严格证明，还附上带数学误差界的计算机辅助证书。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”行李箱塞满”可换成半数学说法：对象是高维球面上长度固定的构型，以及一大批随机线性不等式约束（每条要求某个投影不低于 −1）；操作是对违反的约束按超出量平方计罚，得到一个总能量。要问两件事：约束条数与维度之比超过哪个临界值后塞不下了；以及从”刚好塞不进”一侧逼近临界点时，还差一点贴上的那些约束（缝）与已经贴上的约束之间的挤压力，各自按什么规律分布。
第二级台阶
用本科术语：构型取在球面 S_N={‖x‖²=N} 上，间隙定义为 h_μ(x)=1+(Ax)_μ/√N，势取 V(z)=½(−1−z)₊²，能量 H_N=ΣV((Ax)_μ/√N) 在逆温度 β 下定义 Gibbs 测度；依次取 N→∞、β→∞、密度 α 从不可满足侧降到阈值，得到间隙累积分布 G_J 与归一到均值 1 的力累积分布 F_J。
第三级台阶
主定理在此语境下断言：存在有限临界密度 α_c，可满足概率在其两侧分别趋于 1 与 0；上述有序极限都存在，且对高斯坐标与方差 1±ε 的混合坐标一致（ε 足够小）；极限间隙律在零处有质量 1/α_c 的接触原子，乘以约束密度恰是每个自由度一个接触——即等静性。结论的核心是两个小尺度幂律 G_J(u)=u^{1−γ+o(1)}、F_J(s)=s^{1+θ+o(1)}，指数满足 γ=(2+θ)^{-1}，数值区间由附带的计算机辅助证书给出。margin 取 −1 与二次惩罚固定了普适类，而”从 UNSAT 侧逼近”的极限次序挡住了不同逼近方向可能给出的不同答案。
在 margin 为 @@M@@-1@@、二次惩罚的球面感知机中，本文严格证明了精确可行性阈值、等静性（isostaticity）与极限间隙/力分布，并定出堵塞指数 @@M@@\gamma=(2+\theta)^{-1}@@，@@M@@0.4126930<\gamma<0.4126934@@、@@M@@0.4231063<\theta<0.4231088@@，附带计算机辅助的有限数值证书。
堵塞（jamming）把随机约束系统可行性的消失与小间隙、弱力的奇异分布联系起来。Franz–Parisi（2016）指出负 margin 球面感知机代表高维球的堵塞普适类，并预言等静性与间隙、力指数；Charbonneau–Kurchan–Parisi–Urbani–Zamponi（2014）的全副本对称破缺（full replica-symmetry breaking）硬球解给出指数的数值来源；Franz–Parisi–Sevelev–Urbani–Zamponi（2017）从不可满足侧导出零温标度；Parisi–Zamponi（2026）在假定全 RSB 剖面存在且标度展开匹配的前提下解析证明了指数关系。数学上的空白是：此前没有工作从微观模型出发同时证明阈值存在、识别极限间隙与力分布并选定指数——Stojnic 与 Montanari–Zhong–Zhou 只有单侧或仅到首阶的可行性界。
模型：@@M@@x\in\mathbb S_N=\{x:\|x\|^2=N\}@@，@@M@@A@@ 为 @@M@@M\times N@@ 随机矩阵，坐标独立、可为标准高斯或方差 @@M@@1\pm\varepsilon@@ 的等权混合 @@M@@\nu_\varepsilon@@；势 @@M@@V(z)=\frac12(-1-z)_+^2@@，能量 @@M@@H_N(x)=\sum_{\mu=1}^M V\big((Ax)_\mu/\sqrt N\big)@@。@@M@@H_N\equiv0@@ 即 @@M@@Ax\ge-\mathbf1@@：margin @@M@@-1@@ 的球面存储问题。间隙律 @@M@@G_J@@ 与归一化力律 @@M@@F_J@@ 的极限依次取 @@M@@N\to\infty@@、逆温度 @@M@@\beta\to\infty@@、密度 @@M@@\alpha\downarrow\alpha_c@@（自 UNSAT 侧），小截断与零点最后取。
定理：(i) 存在 @@M@@\alpha_c\in(0,\infty)@@，可满足概率在固定 @@M@@\alpha<\alpha_c@@ 下趋于 1、在 @@M@@\alpha>\alpha_c@@ 下趋于 0；(ii) 上述有序极限全部存在，且对一切足够小的固定 @@M@@\varepsilon@@ 与坐标律 @@M@@\nu_\varepsilon@@ 无关；(iii) @@M@@F_J@@ 是均值 1 概率律的分布函数、零处无原子，且当 @@M@@u\downarrow0@@、@@M@@s\downarrow0@@ 时
@@M@@DG_J(u)=u^{1-\gamma+o(1)},\qquad F_J(s)=s^{1+\theta+o(1)},\qquad \gamma=\frac1{2+\theta}.@@
极限间隙律在零处有质量 @@M@@1/\alpha_c@@ 的接触原子，乘以约束密度恰为每个自由度一个接触，即等静性。
先建立高斯压强的变分公式：Guerra 插值给上界，Aizenman–Sims–Starr 块空腔（Chen 的球面实现）给下界，行泛函的凹性提供插值符号。再对单行指数加小扰动 @@M@@d\psi@@：若上界在 @@M@@d=0@@ 处对两种符号都触及压强，经验行律被钉死，判别测试族进而识别它。随后用 Lindeberg 光滑函数替换比较高斯与混合坐标，对质量集中在少数坐标的构型补充熵论证，得到混合 universality。可行性方面，在略高密度先证最小能量次指数小，删去固定比例的行并在目标密度处精确修复剩余约束，得到阈值以下的精确可满足性。
第三步过零温与临阈值：引入敏感性剖面 @@M@@\chi:[0,1)\to(0,1]@@（布朗时间 @@M@@t@@ 的函数）与表示残差力的非负布朗鞅（Brownian martingale），在同一个 Wiener 空间上用联合凸性与唯一性论证识别临界剖面；强端点收敛与小截断估计保证接触质量与力的归一化在层层取极限后存活。
最后处理临界奇异性与指数选择。端点机制给出：令 @@M@@\tau=1-t@@、@@M@@w(t)=\int_t^1\chi(v)^{-2}\,dv@@，间隙与残差力的特征尺度分别是 @@M@@\sqrt\tau@@ 与 @@M@@\sqrt{w(t)}@@，而这两个尺度之下的概率质量都与 @@M@@\chi(t)@@ 同阶，即 @@M@@G_J(\sqrt\tau)\asymp\chi(t)@@、@@M@@F_J(c_f\sqrt{w(t)})\asymp\chi(t)@@。于是若 @@M@@\chi(1-\tau)=\tau^{a+o(1)}@@，两个累积幂必为 @@M@@2a@@ 与 @@M@@2a/(1-2a)@@。对对数平移端点时间后的所有可能极限解，先用量化壁垒将其困在紧区域内，再用严格压缩（contraction）迫使敏感性斜率取唯一的标量根 @@M@@a_*@@：@@M@@a_*@@ 由定态参考解 @@M@@M_a@@（满足 @@M@@-1\le M_a'\le0@@、@@M@@M_a''>0@@ 的二阶方程的唯一解）与算子 @@M@@\mathcal H_a=-\frac12\frac{d^2}{dz^2}+\frac12(B_a^2+B_a')@@ 的最低特征值方程 @@M@@\lambda(a)=a@@ 刻画，落在 @@M@@(0.2936533,0.2936535)@@。根的括界由有限数值证书加数学误差界验证，最终 @@M@@\gamma=1-2a_*@@、@@M@@\theta=\frac{2a_*}{1-2a_*}-1@@。
按任务标注本文主结果未形式化；指数区间属计算机辅助证明：解析蕴含与有限证书的误差界在文中分开证明，解析部分（压缩与刚性命题）依赖证书节验证的有限不等式。它与族内两篇自由能论文共享 Guerra 插值与空腔机架，压强公式部分互为支撑。OpenAI 官方声明”未经形式化的结果可能有问题”，数值证书部分尤待独立复算核验。
问 1：全文最关键、也最脆弱的一步在哪里？
（答：指数的选定，即”Selection of the critical similarity profile”一节：所有可能的临界标度极限先被量化壁垒困进紧区域，再由严格压缩（contraction and rigidity）迫使敏感性斜率取唯一标量根 a_*，满足谱方程 λ(a)=a。若任何一环松动，物理上无处不在的平稳标度假设就不能唯一钉死指数——这正是 Parisi–Zamponi（2026）必须假定全 RSB 剖面存在并匹配、而本文要自己构造的原因。）
问 2：为什么极限必须按 N→∞、β→∞、α↓α_c 的次序依次取？
（答：定理只对这种”有序极限”（且从 UNSAT 侧）陈述：弱临界极限不必自动保持接触质量与力的归一化，论文专门用强端点收敛与小截断估计让它们在层层取极限后存活（”Contacts, atoms, and the prescribed order of limits”小节）。交换次序是否给出同一对指数，论文未讨论。）
问 3：能量趋于零就直接等于可满足，为什么还要单独修复（repair）？
（答：因为能量次指数小不排除处处严格为正。证明先在略高密度证最小能量次指数小，再删去固定比例的约束行并在目标密度处精确修复剩余约束（”Repair after deleting constraints”），才得到阈值以下的精确 SAT——这是把”基态能量极限”与”锐利阈值”分开的精细环节。）
问 4：universality 只对高斯与方差 1±ε 混合两种坐标律证明，是不是回避了难题？
（答：论文如实承认：Lindeberg 光滑替换加上针对少数坐标集中的熵论证只覆盖这两类（定理 (ii) 中 ε 足够小）。一般坐标律下的 universality 未证明；但其价值在于排除了”指数依赖高斯细节”的可能，对普适类主张是实质支撑。）
问 5：与已有工作相比真正的新意是什么？
（答：Stojnic（2013）只有单侧不可满足界，Montanari–Zhong–Zhou（2024）只在 margin→−∞ 时给到首阶的可行/不可行区域；本文首次从微观模型同时证明 margin −1 的锐利阈值、极限间隙/力律的识别与指数选定，且指数区间带数学误差界的有限证书，而非仅数值模拟。）
问 6：作为 AI 生成证明，最可能出错的模式是什么？
（答：双重风险。解析侧，压缩/刚性论证与端点机制中常数与量阶的咬合极密；数值侧，证书节用整数多项式、内 shooting 与浮点括界（cert 节各小节）验证 λ(a)=a 的根括界，解析引理与有限验证接口处的逻辑闭环一处断裂即全盘皆输。论文附了可复现脚本（cert:execution），这是正确姿态但仍待独立复算。）
问 7：谁会用这个结果？
（答：玻璃与堵塞社区：等静性与 γ、θ 正是 CKPUZ 硬球全 RSB 解预言的普适指数，本文给了微观证明的锚点；Wyart 型力学稳定性论证的饱和预言也由此获得平衡态版本。球面存储容量阈值本身亦是感知机理论的经典缺口。）
总评
这是把十年物理数值升格为带证书定理的工作，锐利阈值加微观律识别的完整度前所未有；最大风险在于”严格压缩选根 + 计算机证书”这条混合证明链尚未经独立复核，指数小数点后六位的自信完全押在证书实现无误上。