结果族 361：Failure of integer-degree harmonic dimension comparison · 学科：Differential geometry · 验证状态：主结果已 Lean 形式化
在平地上，”无源无汇、平滑起伏”且增长不超过 k 次幂的函数只有调和多项式那么多，数目数得清。丘成桐曾猜测：凡是”里奇曲率非负”（不比平地更陡）的空间，这类函数的数目都不会超过平地。这篇论文造出一片 16 维的奇特地形，让同类函数的数目多得出格——猜想的整数版本被推翻。
关键词卡片
看个具体例子
欧氏空间的账本：在 @@M@@\mathbb R^3@@ 中增长 @@M@@\le k@@ 的调和函数恰好是次数 @@M@@\le k@@ 的调和多项式，维数为 @@M@@(k+1)^2@@——比如 @@M@@k=2@@ 时恰好 9 维。论文则在 @@M@@\mathbb R^{16}@@ 上构造出 @@M@@\operatorname{Ric}\ge 0@@ 的度量，使 @@M@@k=50000@@ 时维数严格超过欧氏计数 @@M@@\binom{16+49999}{49999}+\binom{16+49998}{49998}@@。诀窍是”轮流驻留”：让同一个调和函数在不同半径段以不同的增长率生长，个别段超过 k 也无妨，只要按对数半径平均后低于 k。
为什么值得关心
它说明仅凭”里奇非负”撑不起丘成桐的维数比较；反例在无穷远处没有唯一的切锥、渐近体积比严格小于 1，恰好点明以往正面定理里哪些假设是必不可少的。
已 Lean 形式化
第一级台阶
（入门导读把调和函数比作”无源稳态的温度分布”，把丘成桐猜想比作”里奇非负的空间里这类温度场的数目不会超过平地”。翻译成半数学语言：对象是某个空间上所有”处处不被加热也不被冷却”的函数，操作是给它们按”最大增长速度”分级后数每一级的个数；论文构造的空间则是把球面某个方向反复拉伸再放松、随半径不断切换拉伸方向的那种地形。）
第二级台阶
（用本科术语说：调和函数是满足拉普拉斯方程的函数；”增长不超过 k”指函数值被 C(1+d(o,x))^k 控制，其中 d 是到固定基点的距离；里奇曲率非负是比截面曲率非负更弱的平均弯曲条件。记满足这两条的实调和函数构成的空间维数为 h_k。在欧氏空间里这类函数恰是次数不超过 k 的调和多项式，维数有显式组合公式；丘成桐问的是任意里奇非负完备流形上 h_k 是否总不超过这个欧氏数。）
第三级台阶
（定理的语境：在某个偶数维 n≥8 的欧氏空间上，构造完备光滑度量，形如”径向平方项加半径平方乘以随对数半径变化的球面度量”，其中球面那部分是不断切换方向的 Berger 度量。假设各司其职：里奇非负靠”短脉冲切换方向、长驻留各向异性生长、径向正曲率尾巴压制负面项”的排程实现；原点附近欧氏保证光滑完备；切换复结构的”字映射”可逆性保证方向交换真能实现。结论是：存在整数 k，使该度量下增长不超过 k 的调和函数维数严格超过欧氏计数，且该度量渐近体积比严格介于 0 与 1、无穷远切锥不唯一——一并解释了以往正面定理为何失效。）
论文在 @@M@@\mathbb R^{16}@@（一般地，某个偶数维 @@M@@n\geq 8@@）上构造了 @@M@@\operatorname{Ric}\geq 0@@ 的完备光滑度量，使增长不超过 @@M@@k=50000@@ 的调和函数空间维数严格超过欧氏计数，对丘成桐整数阶调和维数比较问题给出否定回答。
设 @@M@@(M^n,g)@@ 是完备的里奇曲率非负（nonnegative Ricci curvature）流形，@@M@@h_k(M,g)@@ 记满足逐点增长条件 @@M@@|u(x)|\leq C_u(1+d_g(o,x))^k@@ 的实调和函数空间的维数。丘成桐（Yau）在其著名问题清单中问：是否恒有 @@M@@h_k(M,g)\leq h_k(\mathbb R^n,g_{\mathrm E})@@？在欧氏空间上，整数增长 @@M@@k@@ 的整体调和函数恰是次数至多 @@M@@k@@ 的调和多项式，故 @@M@@h_k(\mathbb R^n,g_{\mathrm E})=\binom{n+k-1}{k}+\binom{n+k-2}{k-1}@@。Li 与 Tam 证明了线性增长的最优界 @@M@@h_1\leq n+1@@；Colding 与 Minicozzi 证明了各阶的有限维性以及随次数增长的最优阶 @@M@@d^{n-1}@@，但固定整数点上的精确欧氏计数始终悬而未决。Donnelly 曾在维数至少 5 时对介于 1 与 2 之间的非整数次数构造反例，可是整数端点上欧氏计数更大，无法直接类推；Cai 与 Lai 则证明附加局部共形平坦假设后严格比较成立。本文在纯 Ricci 假设下否定整数形式的比较。
主定理：存在偶数 @@M@@n\geq 8@@ 与整数 @@M@@k\geq 2@@（附录的精确有限谱选取允许取 @@M@@n=16@@、@@M@@k=50000@@），以及 @@M@@\mathbb R^n@@ 上一个完备光滑度量 @@M@@g@@，使得 @@M@@\operatorname{Ric}_g\geq 0@@ 且
@@M@@Dh_k(\mathbb R^n,g)>h_k(\mathbb R^n,g_{\mathrm E})=\binom{n+k-1}{k}+\binom{n+k-2}{k-1}.@@
该度量在原点附近是欧氏的，渐近体积比（asymptotic volume ratio）严格介于 0 与 1 之间，在无穷远处的切锥（tangent cone at infinity）不唯一，且不是局部共形平坦（locally conformally flat）的。这些附属几何性质解释了为何此前依赖唯一切锥谱（Huang）或共形平坦（Cai–Lai）的比较定理在此均不适用。
度量取锥形式 @@M@@g=dr^2+r^2\gamma(\log r)@@，角度量 @@M@@\gamma(t)@@ 是奇数维球面 @@M@@S^m@@（@@M@@m=n-1@@）上体积归一化的 Berger 度量 @@M@@G(a,q,J)@@：把 Hopf 方向拉伸 @@M@@q@@ 倍再整体缩放 @@M@@a@@，并允许正交复结构 @@M@@J@@ 随时间切换。核心思想是”会动的 link”：固定度量锥上，角特征值 @@M@@\lambda@@ 只对应唯一的增长指数 @@M@@d@@（@@M@@d(d+m-1)=\lambda@@），而构造让同一个调和函数在多个增长率之间轮流驻留，使其按对数半径平均的增长率严格小于 @@M@@k@@——个别阶段可以超过 @@M@@k@@，只要平均值不超。
先算谱的账。Berger 度量下，@@M@@l@@ 次球面调和函数空间 @@M@@V_l@@ 上的特征值由 Hopf 荷 @@M@@(2b-l)^2@@ 决定，其除以 @@M@@l^2@@ 后依分布收敛于 @@M@@\mathrm{Beta}(1/2,(m-1)/2)@@ 分布。结合一个加权分位数不等式（充分大的奇数 @@M@@m@@ 满足 @@M@@(m-1)\mathcal J_m>2@@），可以选出方向组：每组的平均指数 @@M@@\overline d_l<k@@，而总数 @@M@@\sum M_l@@ 严格超过欧氏计数。
再实现方向交换。在接近圆球的短”脉冲”内切换 @@M@@J@@：迹自由（trace-free）的 Hopf 生成元平方生成直和 @@M@@\bigoplus_{2\leq l\leq L}\mathfrak{sl}(V_l)@@，故可用指数乘积（”字”，word map）同时在各个 @@M@@V_l@@ 中实现指定的带符号循环置换，且在字映射微分可逆的参数处取值。
几何排程上，第 @@M@@j@@ 个周期由长 @@M@@j^6@@ 的脉冲与长 @@M@@j^7@@ 的各向异性驻留组成，累计时刻 @@M@@t_j\sim j^8/8@@。径向尺度 @@M@@a@@ 的凹形尾巴 @@M@@a'/a=-\mu(1+t)^{-5/4}@@ 提供约 @@M@@j^{-10}@@ 阶的正径向曲率，压过脉冲各向异性带来的 @@M@@O(j^{-12})@@ 负面项；切向分量用 link 的严格 Ricci 下界控制；混合分量因 Hopf 场是等长 Killing 场而为零。曲率估计对一切允许的控制序列一致成立。
传输是技术核心。@@M@@V_l@@ 上的调和方程化为矩阵常微分方程，在原点处光滑的”中心正则”解由矩阵 Riccati 方程的解 @@M@@P_l@@（@@M@@Y'=P_lY@@）刻画，正障碍（barrier）保证 @@M@@P_l@@ 一致有界，且每个周期起点都重置到 @@M@@\theta_l I+O(j^{-2})@@。整个周期的值传输被精确分解为 @@M@@\mathcal T_{l,j}=s_{l,j}D_{l,j}\Pi_l@@：先分离出长驻留产生的大对角增长 @@M@@D_{l,j}@@（@@M@@\log(D_{l,j})_{ii}\sim j^7d_{l,i}@@），关键引理证明剩余误差乘子一致有界、不随驻留长度放大，最后用压缩映照逐周期把归一化传输精确调到目标循环 @@M@@\Pi_l@@。
最后把循环化为增长估计：置换 @@M@@\Pi_l@@ 让所选方向轮转，一整圈的增长贡献恰为均值加权和加上 @@M@@O(J^7)@@ 误差，故 @@M@@\log\|Y\|/t\to\overline d_l<k@@；又因每个周期相对 @@M@@t_j@@ 可忽略，该界在每个半径处成立。所选函数在球面上限制线性无关，于是维数 @@M@@\geq\sum M_l@@ 严格超过欧氏计数。
本篇在任务数据中标注为主结果已 Lean 形式化。同族的姊妹篇进一步把反例降到三维 @@M@@\mathbb R^3@@，对所有充分大的 @@M@@k@@ 给出至少 @@M@@(k+2)^2@@ 个独立调和函数（超过欧氏 @@M@@(k+1)^2@@），两篇共享”移动 Berger link＋周期排程＋精确传输”的同一骨架，谱盈余与控制方案互相印证。按 OpenAI 官方声明，未经形式化的结果可能存在问题；本篇主定理已属形式化验证范围，姊妹篇则尚待形式化，宜以社区核验为准。
问 1：证明里最脆弱的一步是哪里？
（答：是传输引理里”剩余误差乘子一致有界、不随驻留长度放大”那一步——整周期传输被分解为标量×对角增长×目标置换，若误差乘子随 j^7 驻留长度累积，末端的增长极限就不再是均值而失控。结论一节的求和收支也体现了同样的紧绷：一整圈误差 O(J^7) 恰好被主项 t_J≈J^8/8 碾压，余量只有一阶，任何一处指数记错（如 j^7 写成 j^8）都会翻车。）
问 2：为什么非要偶数维 n≥8、k 还是天文数字？
（答：谱盈余来自 l 次球面调和空间上 Hopf 荷分布除以 l² 依分布收敛到 Beta(1/2,(m-1)/2)，而加权分位数不等式 (m-1)J_m>2 只对充分大的奇数 m 成立，于是 m=n-1 得是大奇数、n 是大偶数；欧氏计数本身随 k 疯涨，要赢过它只能取很大的 k（正文选取 n=16、k=50000，精确有限选取放在附录）。论文未给出下界的有效估计。）
问 3：与 Donnelly 的非整数反例相比，真正的新意是什么？
（答：非整数次数端欧氏调和函数本来就少，Donnelly 多造几个就赢了；整数端欧氏计数是满额的多项式维数，”多造”行不通。新意是让同一个调和函数在多个增长率之间轮流驻留：单个半径段的增长可以超过 k，只要按对数半径平均低于 k——这需要”会动的 link”（复结构随时间切换），是固定锥或唯一切锥情形下不可能的机制。）
问 4：里奇非负这个条件在构造里是怎么守住的，能否放松？
（答：靠三重排程：脉冲长度 j^6、驻留长度 j^7、径向缩放尾巴 a’/a≈-μ(1+t)^{-5/4} 提供约 j^{-10} 的正径向曲率，恰好压过脉冲各向异性的 O(j^{-12}) 负项，切向分量由 link 的严格 Ricci 下界控制。这是精心设计的指数平衡，属于”恰好里奇非负”；论文没有讨论稍负里奇时结论如何变化。）
问 5：无穷远切锥不唯一是瑕疵还是必需？
（答：必需。命题（cone-consequences 一节）证明 D(M)——所有切锥的非负齐次调和次数的并集——包含一条半射线和 k 的邻域；若切锥唯一，Huang 型谱界与 Xu 的非唯一锥三球定理（要求比较次数在 D(M) 之外）就可能适用，比较也许成立。非唯一性正是反例绕开既有定理的通道。）
问 6：作为 AI 生成的证明，最可能出错的模式是什么？
（答：一类是”一致性常数的静默失效”：曲率估计号称对一切允许控制序列一致，但正障碍给出的 Riccati 解一致界若依赖具体序列，全局增长极限就不稳；另一类是字映射（word map）微分可逆点的存在性论证——在直和 ⊕sl(V_l) 中同时实现各度数的带符号循环，需要词映射在共享参数处非退化，这类代数步骤机器最易”顺手放过”。主定理虽已声明 Lean 形式化，附录的有限谱数值选取仍是最该人工复核的部分。）
问 7：这个反例留给丘成桐问题的是什么？
（答：线性增长情形 h_1≤n+1（Li–Tam）仍然成立；被否定的只是整数 k≥2 的纯 Ricci 比较。它划清了边界：要恢复比较，必须额外假设唯一切锥、局部共形平坦或渐近锥谱离散之一——反例度量恰好三者皆无。后续自然问题是三维、小 k、或固定 k 时能否构造，姊妹篇已在三维方向推进。）
总评
（这是对丘成桐问题整数形式的干净否定，机制新颖（移动 Berger link＋周期排程＋精确传输），并已形式化主结果，分量扎实；最大风险在浩大构造中无数一致性常数的衔接处，以及附录数值选取的有效性。）