结果族 222：Perceptron free energies and microscopic jamming exponents · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
还是那个”旋钮裁判”，但这次旋钮可以任意转动，只要求整体长度固定——像一个只能转、不能伸缩的指针。考卷也不再是纯随机噪点：出题的”透镜”会把某些方向放大、某些方向缩小，只是不带任何特定的坐标轴偏好。这篇论文算出了这种一般考卷下，指针系统自由能的精确极限公式。
关键词卡片
看个具体例子
公式像做预算：设透镜有三档放大率 @@M@@s_1>s_2>s_3@@，各占输出比例 @@M@@v_j=\alpha p_j@@。先把指针固定的长度平方按份额 @@M@@\rho_1+\rho_2+\rho_3=N@@ 分给三档（大档多分还是小档多分，取决于奖惩规则 @@M@@f@@），再在各档内取角压强，最后在所有分配方案里取最优——这就是自由能的值。
为什么值得关心
自由能公式从”独立高斯考卷”推广到任意紧谱、无离群值的随机矩阵——机器学习中带谱结构的随机特征正属此类。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”指针与透镜”可以重说：对象是一个总长度固定、方向任意的指针（权重向量），以及一台对各方向放大率不同、但对坐标系选择完全中立的随机透镜（无序矩阵）；操作是把指针经透镜变换后，对每个输出坐标施加同一个有界奖惩，再统计所有方向的加权体积。要问的是：维度趋于无穷、透镜档位数按比例增长时，对数加权体积平均每维收敛到什么。
第二级台阶
用标准语言：构型取球面 {x:‖x‖²=N} 上的均匀测度，压强 F_N=(1/N)log∫exp{Σf((Ax)_r)}dσ_N，其中 f 有界连续，A 的分布在左右正交乘法下不变。这类矩阵由奇异值与 Haar 随机奇异基刻画：经验奇异值分布收敛到紧支撑测度 ν。关键中间量是角压强——在若干相互正交的 Haar 子空间中、按各块分到的半径取球面测度后，单模式奖惩的对数配分。
第三级台阶
主定理假设奇异谱紧支撑且无离群值（最大奇异值到支撑的距离趋于零），这保证了能用有限个正比例的谱块一致逼近整个谱，而个别巨大奇异值会破坏这种逼近。结论是：压强依概率与均值收敛到确定性值，等于”输入平方范数在各谱块间的分配 ρ 取上确界”的显式泛函——分配项是相对熵 ½Σv_i log(ρ_i/v_i)，块内是角压强在半径 s_j²ρ_j/α 处的值，再让谱网格加细取极限。定理不要求 ν 有密度、连通支撑或自由概率正则性，公式完整保留了谱信息。
本文把球面感知机自由能的严格变分公式推广到双正交不变（bi-orthogonally invariant）、奇异谱紧支撑且无离群值的随机矩阵：极限由 Haar 子空间上的角压强与输入范数在谱块间的最优分配显式给出，谱可为任意紧分布。
球面感知机问：在球 @@M@@\{x:\|x\|^2=N\}@@ 上，线性测量 @@M@@(Ax)_r@@ 经有界势 @@M@@f@@ 加权后的配分函数有多大？Gardner 与 Gardner–Derrida 开创存储体积研究；Shcherbina–Tirozzi 严格证明了非负 margin 硬约束的副本对称体积公式；Györgyi–Reimann 与 Montanari–Zhou 给出有限温度交叠路径变分公式的物理推导；Kabashima 与 Shinzato–Kabashima 研究过带预定奇异谱的相关模式推断模型。但一般势下的严格极限公式此前只对独立高斯模式成立（族内姊妹篇）。推广到固定奇异值加 Haar 奇异基的矩阵有两个障碍：矩阵元素不再独立，个别测量的标量协方差不再决定模型；用高斯张成替代正交子空间会引入改变熵的辅助向量。
定理：设 @@M@@A_N@@ 的分布左右正交不变，经验奇异值分布依概率收敛到紧支撑测度 @@M@@\nu@@ 且最大离群距离趋于零，则压强
@@M@@DF_N(A,f)=\frac1N\log\int_{\|x\|^2=N}\exp\Big\{\sum_{r=1}^M f\big((Ax)_r\big)\Big\}\,d\sigma_N(x)@@
依概率与均值收敛到确定性值 @@M@@F_{\alpha,\nu}(f)@@，且 @@M@@f=\beta\phi@@ 覆盖正逆温度。其值等于谱网格加细的极限
@@M@@D\sup_{\substack{\rho_i>0\\ \sum_i\rho_i=1}}\Big\{\frac12\sum_i v_i\log\frac{\rho_i}{v_i}+\alpha P_p^f\big((s_j^2\rho_j/\alpha)_j\big)\Big\},@@
其中 @@M@@v_j=\alpha p_j@@ 是各奇异值块占输出的比例（@@M@@\alpha<1@@ 时补输入零空间块 @@M@@v_0=1-\alpha@@），@@M@@\rho_i@@ 是输入平方范数的块间分配，@@M@@P_p^f(a)@@ 是互相正交的 Haar 子空间 @@M@@E_j@@ 中半径平方 @@M@@Ma_j@@ 球测度下的角压强（angular pressure）。角压强又由带投影见证（witness）的高斯模型显式计算：嵌套 Haar 旗上的单侧距离检验以小正指数 @@M@@\theta@@ 积分，@@M@@\theta@@ 只在取大维数极限之后才趋于零，再经软罚对偶化为矩阵路径的变分泛函 @@M@@\mathcal G_{\theta,p}@@。
第一步角化。把 @@M@@Ax@@ 按奇异值块分解并条件于每块分到的范数，剩余自由度是各 Haar 子空间中的方向。关键的结构事实是加权壳比较（majorization 引理）：按 @@M@@a_j/p_j@@ 排序后，把平方范数向更早的块搬运不会增加极限加权壳体积；证明靠 Haar 子空间的随机细分传递加权体积，即使势把质量集中也成立。这保证单侧投影检验能恢复角压强，而无需势的凹性。
第二步高斯公式。对 Stiefel 列模型（外列为物理向量、内列为见证列），幂配分函数 @@M@@\mathcal Z_{M,\theta}@@ 的压强收敛到矩阵路径变分泛函：单模式值 @@M@@V_D(q)@@ 是沿矩阵协方差路径 @@M@@q@@ 的高斯递归，熵 @@M@@S_\theta(q)@@ 带敏感性/精度（susceptibility/precision）行列式，并在共享水平 @@M@@\theta@@ 处发生活动空间的维数切换。上界实现 Mourrat 富化超解接触点方法，插值参数是模式数与矩阵协方差增量；经标量化核与标签交叠的联合 Ghirlanda–Guerra 恒等式、Dovbysh–Sudakov 表示与 Panchenko 超度量性，以及消去反对称部分的齐次抽头论证，得到 Loewner 序下非降、在 @@M@@\theta@@ 处钉住共享坐标的矩阵分位路径。熵的可达性由一个典范对偶引理给出：最优高斯乘子的倾斜协方差恰为变分最小子，核心是跨冻结水平成立的逆恒等式（Schur 补计算）。
第三步下界与同步。恢复两个独立模式以识别作用在新坐标上的场协方差；高斯计算预言新坐标的交叠路径，空间旋转不变性预言原系统的交叠路径，在厚壳上比较两条分布律迫使二者一致（向量自旋同步，synchronization），从而识别熵并完成下界。
最后取径向与谱极限，把有限谱近似推进到一般紧谱；附录放宽到任意维数序列，并在附加假设下处理连续次二次与有界 Borel 势。
按任务标注，本文主结果未形式化，请以社区核验为准。文中说明与族内标量球面论文共享方法机架但”不引用其任何定理”，两篇互为独立印证；定理需要紧谱、无离群值与有界连续势，附录解释了这些条件为何不可省。OpenAI 官方声明”未经形式化的结果可能有问题”，宜以批判眼光复核。
问 1：证明里最关键也最脆弱的一步是什么？
（答：无凹性条件下的加权壳比较（majorization 引理，Haar flags 一节）：按每维目标平方范数排序后，向更早谱块搬运范数不会增加极限加权壳体积。它靠 Haar 子空间的随机细分”搬运加权体积”成立，即使势把质量集中也成立——正是它让单侧投影检验能恢复角压强而不需势凹。此引理若有洞，角化归即失去根基。）
问 2：无离群值假设为什么不能去掉？
（答：主定理用它保证谱能用有限个正极限比例的块在算子范数下逼近（定理陈述中 max dist(s_{N,r},supp ν)→0）；出现离群值时会产生比例趋零却影响不可忽略的块，逼近论证失效。论文附录”Examples delimiting the hypotheses”专门给出反例说明谱与激活条件为何不可省。）
问 3：为什么不用高斯张成直接替代正交子空间？
（答：论文在引言点明第二障碍：高斯张成引入的辅助向量会改变熵，从而改变要求的压强。替代方案是对嵌套 Haar 子空间做单侧距离检验，把见证列以小正指数 θ 积分，θ 只在大维数极限之后才趋于零——作者强调这”绝不是副本数的解析延拓”。）
问 4：与 Kabashima、Shinzato–Kabashima 等前人相比，新意到底在哪？
（答：前人只有 replica 对称或一步破缺的物理推导，或 Shcherbina–Tirozzi 非负 margin 硬约束的 RS 体积公式；本文给出一般有界连续势下的严格极限定理，变分对象是完整矩阵路径（Loewner 序非降、共享坐标钉住的分位路径），谱可为任意紧分布、无密度或自由概率正则性要求。与族内标量论文共享机架但”不引用其任何定理”，互为独立印证。）
问 5：作为 AI 生成证明，最可能出错的模式是什么？
（答：多重富化构造的簿记：Stiefel 框架分裂、每次副本访问（含同一级联叶多次）保留独立残差噪声、共享水平 θ 处活动空间维数切换，以及典范对偶引理里跨冻结水平的 Schur 补逆恒等式——任一处指标或归一化错位，上下界的”看似匹配”就会是假象。结果未形式化，宜优先独立复核这几节。）
问 6：角压强为什么必须单独定义成随机量再证收敛？
（答：因为 Haar 子空间本身随机，角压强先对固定子空间定义（定理 2.4 里 E_j 在积分中固定），再证依概率、在紧集上一致收敛到确定性连续函数——这一步把”随机透镜的方向”平均掉，只留谱信息，是公式分离谱与方向两要素的技术前提。）
问 7：谁会用这个结果？
（答：带谱结构的随机特征与推断社区：旋转不变感知机的自由能计算此前被用于 Rademacher 复杂度研究（Abbara–Aubin–Krzakala–Zdeborová），相关模式推断（Kabashima 框架）的严格化也直接受益；对一般紧谱无离群值矩阵的显式公式提供了脱离独立高斯假设的基准。）
总评
本文把感知机自由能从独立高斯模式推广到任意紧谱双正交不变矩阵，谱信息的显式保留是实质贡献；最大风险在 Haar 几何与级联富化两套精密机械的接缝处，且尚未经机器验证或独立复核。