结果族 361：Failure of integer-degree harmonic dimension comparison · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
上一篇在 16 维空间推翻了丘成桐的调和函数计数猜想，这一篇把战线拉回我们生活的三维：即使把空间造得与标准平直空间”几乎一模一样”（整体差别可以小于千分之一），增长温和的调和函数仍能比平地多出近一倍。地形几乎平坦，”无源温度场”的数目照样超员——这是对直觉的漂亮一击。
关键词卡片
看个具体例子
代入具体数字：取体积比 @@M@@v=0.9@@、超出倍数 @@M@@c=2@@（满足 @@M@@4/9\lt v\lt1@@、@@M@@1\lt c\lt 9v/4=2.025@@）。定理给出阈值 @@M@@k_0@@，使得每个 @@M@@k\ge k_0@@ 都有 @@M@@\mathbb R^3@@ 上 @@M@@\operatorname{Ric}\ge0@@、渐近体积比恰为 0.9 的度量 @@M@@g_k@@，满足 @@M@@h_k(\mathbb R^3,g_k)\ge 2(k+1)^2@@，而欧氏计数只有 @@M@@(k+1)^2@@。更惊人的是推论：这些度量还能取到与欧氏度量全局 @@M@@(1+\varepsilon)@@-双 Lipschitz 逼近——”超出”可以在度量几乎欧氏时发生。
为什么值得关心
三维、近乎欧氏仍有超出，说明截面曲率非负、唯一切锥、共形平坦这些附加条件在以往正面定理里一个也省不掉；反例的度量还随 k 变化，堵死了”固定度量”的侥幸。
暂无形式化证明（AI 结果待核验）
第一级台阶
（入门导读的画像是”几乎与平地一模一样的地形上，无源温度场照样超员”。翻成半数学语言：对象是一个三维空间连同度量——即规定每处”距离怎么算”的规则——它被允许造得与标准欧氏空间相差任意小；操作是数一数”增长不超过 k 次幂的无源稳态函数”有多少个线性无关的。论文的机关藏在球面上：让不同方向上的振动频率随半径缓慢演化，两条频率线相遇时互换位置，像铁路扳道岔一样把一组函数轮流送往不同的增长率。）
第二级台阶
（用本科术语说：调和函数是满足拉普拉斯方程的光滑函数；”增长至多 k”指被 C(1+d(o,x))^k 控制，d 是到原点的度量距离；这些函数构成线性空间，记其维数为 h_k。欧氏空间中 h_k 恰等于 (k+1)²。里奇曲率非负是度量”平均不比欧氏弯”的条件；渐近体积比是大球体积与同半径欧氏球之比的极限；两个度量全局双 Lipschitz 逼近，指它们给出彼此有界的距离，是”几乎相同”的严格说法。）
第三级台阶
（定理陈述在完备光滑度量 g 上，形如”径向平方加径向因子乘以随对数半径演化的球面度量”。参数 4/9<v<1 指定渐近体积比，它一方面经径向因子换算限制频率均值、保证时间平均增长率能压到 k 以下；倍数 1<c<9v/4 是计数可行性的上限。假设分工：里奇非负靠凹形径向尾巴的正曲率压过角度量演化带来的损失；原点附近欧氏保证光滑；”度量可以随 k 变”则免除了一次构造服务所有增长级的奢望。结论：对充分大的每个整数 k，该度量下 h_k 至少为 c(k+1)²，严格超过欧氏计数；推论还允许这些度量与欧氏度量任意接近地双 Lipschitz 逼近——超员可以在”几乎平坦”时发生。）
对任意体积比 @@M@@4/9<v<1@@ 与倍数 @@M@@1<c<9v/4@@，所有充分大的整数 @@M@@k@@ 都允许 @@M@@\mathbb R^3@@ 上一个 @@M@@\operatorname{Ric}\geq 0@@ 的完备光滑度量，使增长不超过 @@M@@k@@ 的调和函数至少有 @@M@@c(k+1)^2@@ 个，超过欧氏计数 @@M@@(k+1)^2@@——在三维否定丘成桐整数阶维数比较。
对里奇曲率非负（nonnegative Ricci curvature）的完备流形，丘成桐（Yau）问：增长不超过整数 @@M@@k@@ 的调和函数空间维数 @@M@@h_k@@ 是否总不超过欧氏值？在 @@M@@\mathbb R^3@@ 上欧氏计数为 @@M@@h_k=\sum_{l=0}^k(2l+1)=(k+1)^2@@。此前三维的肯定结果都带附加假设：Cai–Lai 需要局部共形平坦；Lin–Wang–Xu 证明了非负截面曲率加正渐近体积比下的三维整数界；Huang 的谱计数公式需要唯一的无穷远切锥（tangent cone at infinity）；Xu 的三球定理则要求比较指数避开锥谱并集。Donnelly 的反例只落在 1 与 2 之间的非整数次数；本族姊妹篇虽在偶数维 @@M@@n\geq 8@@ 给出整数反例，但三维谱结构完全不同，需要新方法。本文证明：在纯 Ricci 假设下，三维的整数比较也失败。
主定理：对每个 @@M@@v\in(4/9,1)@@ 与 @@M@@c\in(1,9v/4)@@，存在阈值 @@M@@k_0(v,c)@@，使得每个整数 @@M@@k\geq k_0@@ 都有 @@M@@\mathbb R^3@@ 上完备光滑度量 @@M@@g_k@@，在原点附近欧氏、@@M@@\operatorname{Ric}_{g_k}\geq0@@（紧集外严格为正）、渐近体积比（asymptotic volume ratio）@@M@@\operatorname{AVR}(g_k)=v@@，且
@@M@@Dh_k(\mathbb R^3,g_k)\geq c(k+1)^2>(k+1)^2=h_k(\mathbb R^3,g_{\mathrm E}).@@
该度量在无穷远处有不可数多个两两非等距的切锥，且存在趋于无穷的点列，其含径向方向的截面曲率（sectional curvature）为负——因此 Lin–Wang–Xu 的截面曲率假设确实不被满足。度量可随 @@M@@k@@ 而变。推论：对每个 @@M@@\varepsilon>0@@ 与 @@M@@1<c<9/4@@，这些度量可取到与欧氏度量全局 @@M@@(1+\epsilon)@@-双 Lipschitz（bi-Lipschitz）逼近，体积比可任意接近 1——超出因子可以在度量”几乎欧氏”时发生。
度量写成 @@M@@g=dr^2+f(r)^2H_z(\log r)@@：角度量是球面 @@M@@S^2@@ 上一族保持面积形式的度量的路径（用 Moser 体积形式方法取坐标），相位以速度 @@M@@\eta(t)=t^{-3/4}@@ 缓慢推进，径向因子满足 @@M@@f(r)/r\to a=\sqrt v@@。关键在于为什么必须”动”：本文每个极限 link 的 Gauss 曲率都大于 1，满足 Lin–Wang–Xu 的固定球面特征值比较，所以任何冻结的 link 都不可能有太多低频；出路是让同一个调和函数在不同半径遇到不同频率，用时间平均换空间。
先做角向程序。构造近圆的周期路径，其低谱除有限个”线性分裂的二重交叉”（isolated linearly split double crossing）外都单重。在交叉处有两种跟随方式：按大小重排，或让光滑特征线（eigenline）穿过相等点——后者恰好交换两个相邻位置。把一串交换串联，就把一条长能带在前 @@M@@p=(M+1)^2@@ 个位置（@@M@@M=\lfloor\vartheta k\rfloor@@，@@M@@\sqrt c<\vartheta<3a/2@@）里循环。能带从 @@M@@L=\lfloor\sqrt k\rfloor@@ 之上开始；在一个标签周期内每条线遍历能带的所有位置，直接计数给出平均频率渐近 @@M@@2\vartheta k/3@@，乘以径向因子 @@M@@a^{-1}@@ 后由 @@M@@2\vartheta\sqrt{C_*}/(3a)<1@@ 保证均值严格小于 @@M@@k@@。角向的存在性依赖共形一阶变差在二维特征空间上给出两个迹自由方向（基于 Colin de Verdière 与 Greilhuber–Kepplinger 的对称平方乘法性质）、对一切多重 stratum 的避开论证，以及”保持指定二重的变差必分裂其余特征值”（否则两特征函数有公共节点域，与特征值不同矛盾）。
再把程序几何实现。凹形径向尾巴 @@M@@f''\sim-(C/r)(\log r)^{-3/2}@@ 提供约 @@M@@\eta^2@@ 阶的正径向 Ricci；混合块约 @@M@@\eta@@，但因切向块有固定正下界 @@M@@r^2\operatorname{Ric}^T\geq\tau I@@，Schur 补中的损失是二次的，取足够大的 @@M@@C@@ 即可一致保证 @@M@@\operatorname{Ric}\geq 0@@。体积比恒为 @@M@@a^2=v@@，与控制序列无关。
然后是精确调和延拓。整球 Dirichlet 内传映射（把外球边值映为整球调和延拓在内球的迹）保正、保均值、@@M@@L^2@@ 压缩；两套”冻结”估计分别把前 @@M@@p@@ 个模与高模尾部分离、并在有限移动框架上探测每个交叉控制的一阶符号效应。外部谱隙给出前 @@M@@p@@ 模之上范数 @@M@@O(\delta_j)@@ 的不变图（invariant graph），诱导的外传矩阵为 @@M@@A_j=\operatorname{diag}(\alpha_i(j))+O(\delta_j)@@，而交叉控制以固定符号改变相应非对角元。要使不变线精确跟随延续特征线，就解一族标量递推：在交叉两侧分别前向、后向稳定传播，其在切口处的失配 @@M@@D_\nu@@ 是正权和，且控制取 @@M@@z_\nu=\pm1@@ 时符号相反；有限维 Brouwer 不动点加对角极限同时选定全部控制，使所有失配为零。
最后把循环变成增长：所造 @@M@@p@@ 条线的对数增长等于所选锥频率的积分，相位平均（分部积分）给出严格小于 @@M@@k@@ 的指数，@@M@@L^2@@ 到上确界的内部椭圆估计再把球面界转为逐点增长界，得到 @@M@@p\geq c(k+1)^2@@ 个独立的整体调和函数。
任务数据标注本篇暂无形式化证明。同族姊妹篇（偶数维 Berger-link 版本，主结果已 Lean 形式化）证明了同构想的可行性，但本文明确声明其证明不使用姊妹篇任何定理：三维角向特征空间本身在动，必须额外控制向无穷多个高阶模的泄漏，技术路线独立。按 OpenAI 官方声明，未经形式化的结果可能存在问题；本篇结论宜以社区核验为准，其与姊妹篇在族内互为印证而非逻辑依赖。
问 1：为什么”冻结”的球面度量不行，必须让角度量随半径演化？
（答：这是构造的灵魂。本文每个极限 link 的 Gauss 曲率都大于 1，恰好落入 Lin–Wang–Xu 固定球面特征值比较的适用范围，任何静止角度量都不可能供养超额的低频调和函数。出路是时间平均换空间：让同一调和函数在不同半径段遇到不同频率，个别段增长超过 k，只要按对数半径平均低于 k——与姊妹篇的”轮流驻留”同思想，但在三维换了实现方式。）
问 2：证明中最脆弱的一环在哪里？
（答：匹配步骤——要让 p 条不变线精确跟随延续特征线，需解一族标量递推，在交叉两侧分别前向、后向稳定传播，再用有限维 Brouwer 不动点同时选定全部正负控制使失配为零。失配是正权和、控制取 ±1 时符号相反，这是唯一保证解存在的支点；此外三维的角向特征空间本身在动，向无穷多高阶模的泄漏靠外部谱隙给出的 O(δ_j) 不变图压制，这层”泄漏控制”是姊妹篇里没有的三维专属风险。）
问 3：与偶数维姊妹篇相比，真正的新意是什么？
（答：不是把维度降下来那么简单。姊妹篇用 Berger 度量族与字映射实现方向交换，谱是刚性的；三维球面谱结构完全不同，本文改用”线性分裂的二重交叉”——让光滑特征线穿过相等点以交换相邻位置——串联成循环，且明确声明不使用姊妹篇任何定理。能带计数给出平均频率渐近 2θk/3、乘径向因子 a^{-1} 后由 2θ√C*/(3a)<1 压过 k，这套账是新的。）
问 4：参数窗口 4/9<v<1、1<c<9v/4 是什么挡住了边界？
（答：v>4/9 经 a=√v 限制径向缩放，保证均值频率能压到 k 以下；c<9v/4 是角向程序在一串交换循环里能捕获的位置数上限。论文未讨论 v≤4/9 或 c 更大时结论是否失败，也未给出 k_0(v,c) 的有效估计。另注意度量随 k 变：单个固定度量对所有大 k 同时超员的问题仍未解决。）
问 5：哪个假设最容易被误读为可以去掉？
（答：非负截面曲率。定理度量存在趋于无穷的点列，其含径向方向的截面曲率为负——即 Lin–Wang–Xu 的 K≥0 假设被实质破坏而非碰巧绕开；同时无穷远切锥不可数多且两两非等距，Huang 的唯一切锥谱公式也不适用。这说明以往正面定理的附加假设一个也省不掉。）
问 6：作为未形式化的 AI 证明，最可能出错的模式是什么？
（答：谱摄动代数。角向存在性依赖”共形一阶变差在二维特征空间上给出两个迹自由方向”（引 Colin de Verdière 与 Greilhuber–Kepplinger 的乘法性质）、多重 stratum 的避开论证、以及”保持指定二重的变差必分裂其余特征值——否则两特征函数有公共节点域”这类反证短打。每一步都是经典工具的精细拼接，恰是语言模型容易”看似引用、实则错位”的地方；Brouwer 维数匹配与失配符号分析也值得逐行核。）
问 7：谁会用到它，下一步是什么？
（答：里奇比较几何与丘成桐问题清单的读者。它把整数比较的失效范围从高维推到物理维度，并给出”几乎欧氏仍超员”的定量形态；自然后续是固定单一度量对无穷多 k 同时超员、把超出倍数推向窗口边界、以及 AVR≤4/9 的情形——论文均未展开。）
总评
（三维、近欧氏、固定倍数超出，是对丘成桐整数比较最有冲击力的一击，技术独创性高于姊妹篇；但它未形式化，且依赖一长串谱摄动与不动点论证的严丝合缝，可信度须等社区逐环验证。）