← 返回 PaperDaily
大模型与智能体
Wilf猜想未解之谜：新证明给出型上界，Kaplan旧分类被翻案
Wilf猜想悬了46年，是数论与半群理论交界处最倔强的钉子户之一。这篇论文没把它彻底拔掉，却用两个"缺陷"把Wilf数拆成精确恒等式，还把猜想归约成一个不含导子c和n的漂亮不等式——顺手纠正了Kaplan分类中漏掉的一大族反例。想感受纯数学里"拆解+归约"的功力，这篇值得细读。
龙哥读论文
发布于 2026-08-17 00:20:15
阅读 5
查看原文
原论文信息如下：
先从一个接地气的场景说起。假如一台自动售货机只收几种特定面值的硬币，比如3元、5元和7元。那么顾客投入的金额只要是这几个数字的非负整数组合，机器就认账。问题是：从某个金额开始，是不是所有整数金额都能被凑出来？答案是肯定的——只要这些面值的最大公约数是1。这种"从某一点开始所有整数都能被凑出来"的集合，数学上就叫数值半群（numerical semigroup）
1978年，数学家Wilf在研究"换零钱问题"时提出了一个极为简洁的猜想：对任何不等于自然数集本身的数值半群S，都有e(S)·n(S) ≥ c(S) "最少面值种数"乘以"分水岭左侧的可凑金额数"，至少不小于"分水岭的位置"
这个猜想看起来人畜无害，却整整46年没有被完全证明。数学家们只能在一些特殊条件下"啃"下来：比如嵌入维数e≤3时成立，导子c≤2m时成立，2e≥m时成立，甚至有人用计算机验证了亏格不超过100的所有情况。但这些零散的胜利拼不出完整的证明。Wilf猜想之所以难，在于它同时牵涉半群的三个基本量：嵌入维数e、导子c和"左侧元素数"n，这三者之间的深层约束关系始终没有被彻底看透。
一个困扰数学家46年的猜想：Wilf猜想是什么？
先把问题摆上桌。一个数值半群 S，本质就是一组从某个数开始“全覆盖”的整数集合：它包含0，任意两个元素相加还在集合里，而且补集只有有限多个“缺口”。这N多个缺口里最大的那个叫Frobenius数 F，通常记作 F(S)；F+1 就是导子 c(S)，意思是所有不小于c的整数都在S里。c之前S里的元素个数记作 n(S)，缺口总数则叫亏格 g(S)。显然 n+g=c，这个关系式后面会反复用到。
每个数值半群都有唯一一组“最小生成元”，个数叫嵌入维数 e(S)，最小的那个生成元叫多重性 m(S)。1978年，Wilf在研究“换零钱”一类组合问题时提出了一个看起来简单到不像话的猜想：只要 S 不是整个自然数集，就有
图1：Wilf猜想的核心不等式：e(S)·n(S) ≥ c(S)
直观翻译：最少面值种数 e，乘以“分水岭”左侧可凑出的金额数量 n，至少要不小于“分水岭”的位置 c。换句话说，左侧那些能凑出来的数，得“撑得起”整个半团的覆盖范围。如果连这都做不到，说明这套生成元体系存在某种结构性冗余。
图2：Wilf数定义为 W(S) = e(S)·n(S) − c(S)，猜想即要求 W(S) ≥ 0。
46年来，这个不等式没有被完全证明，但各路大神已经在很多特殊范围内把它拿下了：嵌入维数 e≤3 时成立；导子 c≤2m 时成立；亏格不超过100的所有数值半群被计算机验证；多重性 m≤19 也被穷举确认。仅靠已知结果，已经能覆盖“绝大多数按亏格排序”的半群，但那个最一般的证明仍然缺席。
为什么这么难？关键在于三个量 e、n、c 之间缺少一个足够紧的桥。经典的Fröberg–Gottlieb–Häggkvist不等式给出 c ≤ (t+1)n，其中 t 是半群的“型”（type），即伪Frobenius数的个数。这个不等式本身很强，但它只有在型 t 不太大时才能推出Wilf猜想，具体条件就是 t ≤ e−1，论文称之为FGH范围：
图3：FGH范围条件：t(S) ≤ e(S) − 1。在此范围内经典不等式直接给出Wilf猜想。
一旦跳出FGH范围，也就是 t ≥ e 时，经典路线立刻失效。此前的文献里甚至找不到一条定理是“把 t ≥ e 当作前提条件”来证明Wilf猜想的。这篇论文干的，就是正面突破这个空白区。
缺陷分解：Wilf数的精确恒等式如何揭示问题本质？ FGH不等式的证明，本质上是用 t 个伪Frobenius数去“覆盖”所有的缺口。这个覆盖过程天然存在两类浪费：一是某些伪Frobenius数太小，盖不住导子左侧的全部半群元素；二是某些缺口被多个伪Frobenius数重复覆盖。论文把这两类浪费分别量化，得到两个非负的“缺陷量”。
先定义单个计数函数。对每个整数 x，记 ν_S(x) 为“支配 x 的伪Frobenius数的个数”，也就是满足 f−x∈S 的伪Frobenius数 f 的个数：
图4：ν_S(x) 表示集合 { f ∈ PF(S) : f−x ∈ S } 的大小，即有多少个伪Frobenius数能“覆住”x。
接下来定义三个大项。Λ(S) 统计每个伪Frobenius数左侧 S 的元素数之和；σ(S) 叫“支配缺陷”，衡量伪Frobenius数没能覆盖住 L(S) 的那部分损失；Θ(S) 叫“冗余缺陷”，衡量多个伪Frobenius数重复覆盖同一个缺口的浪费：
图5：Λ(S) 为伪Frobenius数左侧元素总数；σ(S) 为支配缺陷；Θ(S) 为冗余缺陷。三者均非负。
图6：亏格 g(S) 等于 Λ(S) − Θ(S)，这是论文的第一个关键恒等式。
把 c = n + g 代进去，Wilf数立刻被“解剖”成三大块：
图7：Wilf数分解恒等式 W(S) = (e − t − 1)·n + σ(S) + Θ(S)，其中 σ、Θ ≥ 0。
这个分解式的意义非同小可。原来的FGH证明是“把两个非负量直接丢掉”，丢掉之后得到不等式 c ≤ (t+1)n。现在论文把丢掉的东西一个不落地捡了回来，于是得到的是一个恒等式，而不是不等式。这意味着任何关于Wilf数的研究，从此都可以从“算账”变成“精算”：只要弄清 σ 和 Θ 各自的行为，就能精确控制 W。
回到直觉层面。σ=0 等价于每个伪Frobenius数都比 L(S) 里的所有元素大，这时伪Frobenius数“完全压制”了左侧集合；Θ=0 则等价于伪Frobenius数对缺口的覆盖恰好两两不交，形成完美划分。两个缺陷一个管“够不够高”，一个管“有没有重叠”，方向完全正交。这种把一坨抽象结构拆成两个正交指标的思路，本身就是数学里很漂亮的手法。
Apéry偏序集：型的上界如何建立？ 有了精确分解，下一步要回答一个更硬核的问题：在一个具体半群里，型 t 到底能有多大？论文给出的答案是“别慌，t 被 e−1 加一个修正项牢牢按住了”。
工具是Apéry集。固定 S 里的一个非零元素 s，定义 Ap(S,s) = { u∈S : u−s∉S }。直观地说，Apéry集是 S 中那些“减去 s 之后就不在 S 里”的元素。它非常有用：Ap(S,s) 恰好包含 s 个元素，每个模 s 的同余类里恰有一个，而且这些元素就是“同余类的锚点”。
在 Ap(S,s) 上可以定义一个偏序：a ⪯ b 当且仅当 b−a∈S。把0排除后得到一个有限偏序集 Q_s(S)。论文的核心观察是：这个偏序集的极值元素恰好对应代数对象的两组经典量——它的极小元素对应 S 的“原语生成元”（除了s本身之外的那些最小生成元），极大元素对应伪Frobenius数平移到 s 之后的位置：
图8：对任意基点的Apéry偏序集，极小元素为满足条件的原语元素，极大元素为 PF(S)+s。
特别地，当基点取多重性 m 时，极小元素的个数正好是 e−1，极大元素的个数正好是 t：
图9：以多重性 m 为基点时，极小元素数为 e(S)−1，极大元素数为 t(S)。型的大小由此被嵌入一个偏序集的计数问题。
偏序集里有个再基本不过的事实：极小元素的个数不能太少，因为每个极大元素都至少得“挂”在一个极小元素下面。把每个极小元素“管辖”的极大元素数加起来，自然会给出极大元素总数 t 的一个上界：
图10：型 t(S) 被每个极小元素对应的伪Frobenius数计数之和所界定。
接下来论文做了一件很精明的操作：把“支配计数”换算成“冗余缺陷”的加权。关键观察是 ν_S 沿着某些递减链具有单调性，这让每个“多余的重叠”都可以被“归位”到Apéry集的某个元素脚下。定义一个加权项 Ξ(S)：
图11：Ξ(S) 对每个非零Apéry元素按 ⌊w/m⌋ 加权，累积其对应的支配冗余。
t(S) ≤ Σ p∈P\{m} ν_S(p−m) ≤ e(S) − 1 + Ξ(S) ≤ e(S) − 1 + Θ(S) 这里有个很妙的副产品：既然 t ≥ e 是 FGH 范围之外的定义性条件，那么由上面的链可以推出，一旦 t ≥ e，冗余缺陷 Θ(S) 就至少是 t+1−e。换句话说，半群如果“型过大”，必然伴随着大量重复覆盖的“冗余结构”。这个结论给此前完全未知的 t ≥ e 领域提供了一个结构性入口。
论文还给了个具体例子展示这条界的松紧。某个半群的 Apery 集为 {0,10,12,13,20,23,24,25,26}，其中 m=9，嵌入维数 e=4，型 t=5。此时主定理链变成：
图12：一个具体半群上的数值验证：5 ≤ 7 ≤ 7 ≤ 13，表明型上界链各环节的松紧程度不同。
可以看到，e−1+Ξ=7 是紧的（中间两段相等），而最后一段到 e−1+Θ=13 反而宽松了许多。这说明 Ξ(S) 比 Θ(S) 更能刻画冗余结构的真实强度。
归约与分类：Wilf猜想如何被简化？ 有了型上界和精确分解，接下来的操作堪称“乾坤大挪移”：把 Wilf 猜想整个归约成一个不含导子 c、也不含 n 的纯冗余缺陷不等式。
做法是这样的。回想分解式 W = (e−t−1)n + σ + Θ。在 t ≥ e 时，e−t−1 是负数，所以 σ 得足够大才能把负项补回来。但 σ 的定义是“伪Frobenius数没能覆盖住的元素数”，它天然就被那些小的伪Frobenius数给撑住了。论文证明，只需要取 d = t+1−e 个最小的伪Frobenius数，就能把负项完全吸收：
图13：W(S) ≥ Θ(S) − Σᵢ λ_S(fᵢ)，其中求和只取前 d 个伪Frobenius数。
于是 Wilf 猜想就被归约为下面这个干净得不讲道理的猜想：
图14：归约后的猜想：Θ(S) ≥ Σᵢ λ_S(fᵢ)。它不含导子 c，也不含 n，只和伪Frobenius数及冗余缺陷有关。
换句话说，原来那个牵涉 e、n、c 三个量的不等式，被压缩成了一条只跟“型”和“重叠度”有关的单条不等式。如果这条不等式成立，Wilf 猜想就成立。论文把这个归约后的猜想用计算机在亏格不超过35的所有数值半群上做了验证，结果全部通过。
除了归约，本文还顺手解决了两个与“Wilf数等于0”相关的分类问题。第一个问题是Moscariello和Sammartano在2021年提出的：Wilf数等于0的半群，是不是只有两类——二元生成的对称半群，以及下面的 T_{m,k} 一族？
图15：T_{m,k} = {0, m, 2m, …, (k−1)m} ∪ [km, ∞)，是一族Wilf数为0的数值半群。
图16：T_{m,k} 的各参数：m(T)=m，c=km，n=k，e=m，t=m−1，W=0。注意 t = e−1，正好落在FGH范围的边界上。
本文的定理1.3在完整的FGH范围（e ≥ t+1）内回答了这个问题：Wilf数等于0当且仅当 e=2，或者 S=T_{m,k}（m≥3, k≥1）。特别地，这个分类不需要对多重性或导子加任何限制，覆盖面非常广。证明的路线也很有意思：先用分解式推出 W=0 且 e≥t+1 时必有 e=t+1 且 σ=Θ=0，于是问题归结为“两个缺陷同时为零”的半群分类——而这正是Singhal曾经做过的等号分类。
第二个问题则是个“打脸现场”。Kaplan在2007年证明了 c≤2m 时Wilf猜想成立，顺带断言这个范围内 W=0 只有两种可能：⟨m, m+1, …, 2m−1⟩ 和 ⟨3,4⟩。但本文的定理1.4指出，这个分类漏掉了整整一个无限族：
图17：c≤2m 时 W(S)=0 的完整分类：S=T_{m,1} 或 T_{m,2}（m≥2），或 S=⟨3,4⟩。Kaplan漏掉了 T_{m,2} 整个族。
最小的漏网之鱼是 T_{3,2} = ⟨3,7,8⟩ = {0,3}∪[6,∞)，它满足 m=3，F=5<6=2m，n=2，e=3，W=0。也就是说，c≤2m 范围内存在无限多个 W=0 但既不是 ⟨m,m+1,…,2m−1⟩ 也不是 ⟨3,4⟩ 的半群。论文还专门指出了Kaplan证明中到底哪一步出的问题，并把证明化归到一个关于“阶为2的完美加法基”的初等引理。这种“考古式纠错”在纯数学里算得上相当解气。
计算验证与开放问题：哪些猜想仍待攻克？ 纯数学论文最怕“拍脑袋定理”。本文在计算验证上做得相当扎实，给出了三个不同量级的穷举结果。
第一，主定理中 Ξ(S) 对 Θ(S) 的细化不是白给的：在亏格不超过31的全部 23,663,125 个数值半群中，只有 24,094 个半群 Ξ 的确比 Θ 更紧。也就是说，绝大多数情况下两个量几乎一样好，但确实存在一小撮“冗余分布很散”的极端例子。
第二，归约后的目标不等式 Θ(S) ≥ Σλ(fᵢ) 在亏格不超过35的全部 171,202,689 个数值半群上验证通过，无一反例。这个规模已经相当可观，给归约猜想提供了很强的计算证据。
第三，从分解式还能提炼出另一个均匀的不等式：σ(S)+Θ(S) ≥ (t+1−e)n(S)：
图18：σ(S)+Θ(S) ≥ (t(S)+1−e(S))·n(S)，这是分解式推出的另一个结构性下界。
跟主定理链一对比就能发现，这个不等式把“型过大”和“n 也很大”联系了起来。虽然它仍然不足以单独推出Wilf猜想，但已经是一条真正把两个缺陷量同时纳入考量的结构性约束。
论文明确指出，自己并没有证明Wilf猜想，型上界也没有覆盖FGH范围之外的新案例——它给出的 t 下界只是保证了冗余缺陷足够大，而Wilf猜想需要的是“再大 n 倍”。作者很诚实地把剩余问题列了出来，其中最值得关注的有三个。第一个是4.9猜想：用 σ(S) 替换 Ξ(S) 时，型上界同样成立。第二个是5.2猜想：即归约后的那条 Θ(S) ≥ Σλ(fᵢ) 是否对一切 t ≥ e 的半群成立。第三个是7.6猜想：定理1.3中的条件 e ≥ t+1 是否可以整个删掉，让分类覆盖所有半群。尤其最后一个问题很诱人——如果能去掉FGH范围限制，那么“Wilf数等于0”的完整分类就彻底解决了。
龙迷三问 这篇论文到底在解决什么问题？ 针对数值半群Wilf猜想，本文给出型的上界t≤e−1+Θ，导出更强亏格界，并把Wilf猜想归约为不含导子c和n的纯不等式；同时修正Kaplan漏掉无穷多例子的等号分类，在FGH范围回答Moscariello-Sammartano问这篇工作最值得看的点是什么？ 论文通过计算验证了所有亏格≤35的171,202,689个数值半群，确认了Conjecture 5.2和Conjecture 4.9在该范围内成立，并验证了定理6.3、6.4、7.3的分类结果这篇工作的边界或风险在哪里？ 优点：建立了型t与嵌入维数e之间的精确上界，给出了Wilf数的缺陷分解恒等式，将Wilf猜想归约为不含全局不变量c和n的纯不等式，并纠正了Kaplan分类中缺失的无穷族。缺点：未完全证明Wilf猜想，Conjecture 5.2和4.9仍为开放问题，且定理6.4的FGH范围假设无法移除如果你还有哪些想要了解的，欢迎在评论区留言或者讨论~
龙哥点评 论文创新性分数： ★★★☆☆
将经典FGH论证的丢弃项“捡回来”得到精确恒等式，并通过Apéry偏序集的极值计数建立型上界，思路新颖扎实，属于对已知框架的实质性深化而非全新范式。实验合理度： ★★★★☆
三个穷举验证（亏格≤31、≤35的亿级半群）规模充足，但部分验证结论只在有限亏格范围内成立，对一般情形的外推需谨慎。学术研究价值： ★★★★☆
给出了一个长期缺失的型上界，并把Wilf猜想归约为一条不含导子的纯缺陷不等式，还修正了Kaplan分类中的错误，对半群理论社区有明确价值。稳定性： ★★★★★
全部结论为数学定理或大规模穷举验证，无随机性、无数据噪声，结果稳定可靠。适应性以及泛化能力： ★★★☆☆
型上界适用于所有数值半群，普适性好；但分类定理只在特定范围（FGH范围、c≤2m）成立，整体框架尚未完全推广到一般情形。硬件需求及成本： ★★★★★
纯理论数学论文，证明无需计算资源；文中验证用普通服务器即可完成，成本极低。复现难度： ★★★★★
论文写作细致，关键引理证明完整，并提供了Zenodo上的开源验证代码，复现门槛很低。产品化成熟度： ★★☆☆☆
纯基础数学研究，暂无直接产品形态；但其对数值半群结构的新刻画在编码理论、组合计数等应用方向上有潜在参考价值。可能的问题： 论文未能证明Wilf猜想本身，核心归约后的不等式仍属猜想；型上界给出的 t 下界离Wilf猜想所需强度还差一个 n 的因子；第7章的纠错依赖初等引理，对原分类错误的机制解释可以更深入。
[1] Marashdeh M F. An Upper Bound for the Type of a Numerical Semigroup, and a Reduction of Wilf's Conjecture. arXiv:2608.12531v1, 2026. [2] Wilf H S. A Circle-Of-Lights Algorithm for the "Money-Changing Problem". Amer. Math. Monthly, 1978. [3] Fröberg R, Gottlieb C, Häggkvist R. On Numerical Semigroups. Semigroup Forum, 1987. [4] Kaplan N. Counting Numerical Semigroups by Genus and Some Cases of the Wilf Conjecture. arXiv:0706.3937, 2007. [5] Moscariello A, Sammartano A. On a Conjecture of Wilf. arXiv:2106.02367, 2021. [6] Singhal S. An Equality in the Fröberg–Gottlieb–Häggkvist Inequality. arXiv, 2023. [7] 论文开源验证代码：https://doi.org/10.5281/zenodo.21908585 *本文仅代表个人理解及观点，不构成任何论文审核或者项目落地推荐意见，具体以相关组织评审结果为准。欢迎就论文内容交流探讨，理性发言哦～ 想了解更多原文细节的小伙伴，可以点击 "阅读原文"， 查看更多原论文细节哦！
Wilf猜想还没解完，但你的灵感也许就是下一块拼图！🔥
欢迎加入龙哥读论文粉丝群，
扫描下方二维码或者添加龙哥助手微信号加群 ：kangjinlonghelper。
一定要备注：研究方向+地点+学校/公司+昵称（如 数学+上海+清华+龙哥） ，根据格式备注，可更快被通过且邀请进群。
『龙哥读论文』微信群目前包含：图像处理、大模型及智能体、自动驾驶及机器人、AI医疗及AI金融5个群，纯数学爱好者也欢迎来碰撞火花！💡
*本文仅代表个人理解及观点，不构成任何论文审核或者项目落地推荐意见，具体以相关组织评审结果为准。欢迎就论文内容交流探讨，理性发言哦～ 想了解更多原文细节的小伙伴，可以点击 "阅读原文"， 查看更多原论文细节哦！
