网易首页 > 网易号 > 正文 申请入驻

一道源于杂耍的数学猜想,55年后被证明了

0
分享至



一个曾经玩杂耍的人,给数学界留下了一道 55 年没能解开的题。罗纳德·格雷厄姆是美国数学学会的前主席,也是国际杂耍协会的前主席。他在 1971 年提出一个问题,题目是随便一组非零整数,能不能在重新排列它们的前提下,让所有部分和都保持不重复。用杂耍领域的话来说,假如每个球在空中的时间都不一样,那么你总能找到一种抛球顺序,让两个球不会在同一拍掉落下来。

此前,这个问题在有限世界里一直没被证明。而在最近,几位年轻的数学家用四篇论文把它解开了。

先来解释一下这个猜想在说什么:当把整数排在一根数轴上,接着把数轴绕到一个钟面上,数字到某个素数 p 之后就会开始循环。假如 p 是 7,那么 0、7、14 和所有 7 的倍数都等价,意思是你能够把两个正数相加得到零。格雷厄姆提出的问题是:假设从这个循环里挑出一组非零的数,是否能够重新排列它们,让所有部分的和都不一样。

假如数全是正数,答案显然是可以的,原因在于和会越来越大,因此不会重复。假设正负数都有,那么在普通整数世界里,答案也是已知且可以的。而格雷厄姆想知道的是,在钟表算术这种有限的世界里,答案是否还是可以的。

他的猜测是可以,他个人的直觉是,就算规则很死一般也能找到足够的灵活性,从而构造出特殊的结构。就好比数独或者拉丁方阵,虽然规则很多,但是总能找到合法的填法,而这个问题非常契合那些关于设计和对称结构的问题。


图 | 罗纳德·格雷厄姆(来源:资料图)

然而在几十年里,没人能够证明格雷厄姆的直觉成立。转机来自于几位当代年轻数学家,最近他们从不同方向的合围,把这个问题成功解决了。其中一篇论文由德国波恩大学的数学家丽莎·萨沃曼和美国芝加哥大学的范辉俊在 2026 年 2 月顺利发表,借此正式关上了这个问题。

这个问题的解决不是上述一篇论文完成的,前后一共涉及到四篇论文,来自几组不同的年轻数学家之手,他们各自处理了集合规模不同的情况,合在一起才把格雷厄姆猜想实现了完整证明。

这几位数学家各自处理了规模不一样的集合。牛津大学的阿尔普·穆耶塞尔以及他的前导师阿列克谢·波克罗夫斯基,处理的是集合几乎包含 p 之前所有数的情况。在这种情况下构造合法排序十分困难,不过从随机排列出发能够走完大部分路,领域内人士经常把这类问题叫大海捞针。

数学家们也许知道有很多好的排列存在,然而真的找一个出来很难。本次研究中,他们先是把几个特别挑选的数放到一边,接着把剩下的随机打乱,再去扫描有没有问题。假如发现一段区间加起来等于零,就会插入一个备用数字来改变它。

牛津大学的两位数学家诺亚·克拉维茨以及本杰明·贝德特处理的是另一个极端的集合很小的情况,比如集合里有 100 个数,而 p 是 10 亿。他们在 2024 年 9 月发表了证明成果的论文。同样在牛津大学任职的穆耶塞尔看到之后联系了他们,随后几个人又联合起来,把穆耶塞尔原来的方法推广到了更多情况之中。克拉维茨原本认为这是一个不太可能的组合,因为他和穆耶塞尔尽管都在牛津大学工作,但其实来自组合数学里两个通常不合作的领域。

不过中间还留着一个缺口。在集合规模中等的时候,譬如集合里的数大约是 p 的一半,之前的方法都不起作用,在当时看起来这个问题可能要再次搁置很久。

前面提到的波恩大学数学家萨沃曼和芝加哥大学数学家范辉俊是十年前在美国斯坦福大学认识的老朋友。2025 年 9 月的时候,一场在德国举行的会议让他们得以有机会重新共用一块黑板来研究数学问题。会议之后,范辉俊跟着萨沃曼去了波恩待了三天。由于他们在前述会上听到了两个关于格雷厄姆猜想的报告,了解到大家都试图填补缺口但却没成功,但这反而让他们被吸引了。

萨沃曼读高中时在国际数学奥林匹克竞赛里见过一个密切相关的问题,并且她当时做对了这道题。到高中毕业的时候,她已经四次拿到这项赛事的金牌。其认为有一种推测是,当年出题的人可能正是格雷厄姆的妻子、美籍华人数学家金芳蓉,要知道后者经常从格雷厄姆的谜题里找灵感。

等到三天访问结束的时候,萨沃曼和范辉俊已经产生了一个破解方案,方案的核心是一种叫反集中的方法。反集中指的是某个事件发生的概率特别低,然而这种证明的细节非常复杂。前面提到的牛津大学数学家克拉维茨告诉媒体,他们当时知道反集中方法可能会成功,只是没有胆量去尝试。

后来,萨沃曼和范辉俊用前人的办法把数随机重新排列,接着再想办法修补问题,也就是修补那些加起来等于零的序列。通过此他们发现有三类坏事件会导致修补失败,零和序列出现在了排列末尾,这时没有别的数可以换进来,很多零和序列靠得太近了,以至于来不及一一修补。修补完毕一个坏序列,可能在后面又造出来一个新的零和序列。

他们用反集中证明了这三类坏事件各自发生的概率足够低,然后他们使用傅里叶分析证明了当人们把随机的一组数加起来时,没有一个和会以特别容易的方式出现。这时再把这两个洞察合起来,借此估算每个坏事件的发生概率,最后的结果证明出现坏事件的总概率是低于 100% 的,至此这就已经足够证明猜想了。

几个月之后,他们发表了长达 27 页的证明论文,通过此他们不仅一起证明了满意的重排总是存在,还证明一个随机排列经过调整之后,至少有 90% 的情况下能够消除所有坏事件。

四篇论文合在一起之后,证明了格雷厄姆猜想对任意规模的集合都是成立的。但是它们都假设 p 非常大,尽管没人算出确切数值,不过大概是 10 的 100 次方这个量级。

对于数学家来说这不算什么问题,因为重点是你得在钟表算术(一种有限的数字系统)的设定里工作。但是如果你想用这个结果去编排一场真正的杂耍,那这时就不行了,因为要对应这么大的 p,杂耍动作得长到离谱。

而此次证明确认了这样一件事,那就是即使在这些奇怪、有限的数字设定里,也总会有一些漂亮的结构存在。人们总是能够找到某种灵活性,把集合里的数进行重新洗牌,从而避免重复出现同一个部分和。格雷厄姆已于 2020 年去世,享年 84 岁。他在生前没能等到问题的答案,但他的问题在 2026 年被一群年轻的数学家接着解开了。

参考资料:

https://www.quantamagazine.org/mathematicians-harness-randomness-to-crack-a-55-year-old-conjecture-20260928/?utm_source=chatgpt.com

注:封面/首图由 AI 辅助生成

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
为什么古人说出门在外,宁可野宿荒坟,不可夜居古庙?

为什么古人说出门在外,宁可野宿荒坟,不可夜居古庙?

长风文史
2026-10-02 23:14:10
卢宇光称俄军失守乌东重镇利曼!乌克兰持续向东挺进

卢宇光称俄军失守乌东重镇利曼!乌克兰持续向东挺进

项鹏飞
2026-10-03 20:11:28
狂轰9小时!基辅命脉全瘫,北约东翼告急,普京霸气嘲讽“小丑”

狂轰9小时!基辅命脉全瘫,北约东翼告急,普京霸气嘲讽“小丑”

涵豆说娱
2026-10-01 10:50:53
普通家庭炒股亏了60万,房子亏了100多万,元气大伤,这辈子都翻不了身了

普通家庭炒股亏了60万,房子亏了100多万,元气大伤,这辈子都翻不了身了

房产有点意思
2026-10-04 22:01:15
笑麻了!总算知道考公务员为啥要体检了,评论区真是太逆天了

笑麻了!总算知道考公务员为啥要体检了,评论区真是太逆天了

另子维爱读史
2026-10-03 20:35:26
江西小伙内蒙旅游误入蒙族婚宴,随礼2888,走前被新娘妹妹拦住

江西小伙内蒙旅游误入蒙族婚宴,随礼2888,走前被新娘妹妹拦住

故事秘栈
2025-06-21 18:56:16
闹大了!标价25元剪发,剪完被加收10元!江门一理发店国庆临时加价还出言嘲讽顾客,被全网声讨

闹大了!标价25元剪发,剪完被加收10元!江门一理发店国庆临时加价还出言嘲讽顾客,被全网声讨

火山詩话
2026-10-04 08:53:17
台湾企业金峰卤肉饭在上海开设首店赚钱,结果被广大网民举报挺独

台湾企业金峰卤肉饭在上海开设首店赚钱,结果被广大网民举报挺独

果妈聊娱乐
2026-10-04 14:10:17
民调:近半德国人认为默克尔比默茨出色

民调:近半德国人认为默克尔比默茨出色

澎湃新闻
2026-10-05 00:17:09
你见过最不讲卫生的女生是怎样的?网友:下回不准描述这么细致了

你见过最不讲卫生的女生是怎样的?网友:下回不准描述这么细致了

夜深爱杂谈
2026-09-14 20:38:40
莱巴金娜:美网后几乎没睡觉!中网出局利好郑钦文,孙心然战高芙

莱巴金娜:美网后几乎没睡觉!中网出局利好郑钦文,孙心然战高芙

排球黄金眼
2026-10-04 00:53:45
公司欠薪、丈夫降薪!月均5500 极限节流,维持四口人在上海生活,一张家庭账单流出引热议

公司欠薪、丈夫降薪!月均5500 极限节流,维持四口人在上海生活,一张家庭账单流出引热议

火山詩话
2026-10-03 17:30:19
广州不缺商场,但为何万象城开业火成这样?

广州不缺商场,但为何万象城开业火成这样?

羊城网
2026-10-04 13:39:35
再也瞒不下去了!德国专家曾指出,中美之所以尚未爆发冲突,不是因为美国没本事,而是美国可能已经察觉到了形势的严峻

再也瞒不下去了!德国专家曾指出,中美之所以尚未爆发冲突,不是因为美国没本事,而是美国可能已经察觉到了形势的严峻

z千年历史老号
2026-09-14 17:23:40
女性最佳“绝经期”已公布,妇科主任提醒:越接近这个年龄越好!

女性最佳“绝经期”已公布,妇科主任提醒:越接近这个年龄越好!

路医生健康科普
2026-10-03 10:30:08
杭州大扫H后,商k女会去哪了?

杭州大扫H后,商k女会去哪了?

新动察
2026-10-04 13:42:49
杀疯了!森林狼拿下两项联盟第一,首发身高+后场三分,下赛季妥妥的超级黑马!

杀疯了!森林狼拿下两项联盟第一,首发身高+后场三分,下赛季妥妥的超级黑马!

梦忆之浅
2026-10-04 01:13:10
心理学上说:你跟伴侣倾诉委屈时,对方的第一反应不是心疼你、理解你,反而不断回避你、指责你、反驳你,你们其实并没有在沟通

心理学上说:你跟伴侣倾诉委屈时,对方的第一反应不是心疼你、理解你,反而不断回避你、指责你、反驳你,你们其实并没有在沟通

心理观察局
2026-09-07 06:23:08
你的真实存款会瞒着身边亲近的人吗?网友:不要说不要说,一万也不要说

你的真实存款会瞒着身边亲近的人吗?网友:不要说不要说,一万也不要说

解读热点事件
2026-10-04 00:17:47
炸裂!捐精有多乱,双方直接在宾馆完成怀孕过程,一次八百到几万

炸裂!捐精有多乱,双方直接在宾馆完成怀孕过程,一次八百到几万

就一点
2026-06-02 15:45:51
2026-10-05 00:55:00
DeepTech深科技 incentive-icons
DeepTech深科技
麻省理工科技评论独家合作
17338文章数 515226关注度
往期回顾 全部

教育要闻

家长注意:节假日期间,南京多所学校体育场对外开放!

头条要闻

外军机群高速冲向解放军轰-6K 飞行员霸气应对

头条要闻

外军机群高速冲向解放军轰-6K 飞行员霸气应对

体育要闻

32胜0负!德约2-1逆转头号种子兹维列夫 第7次晋级中网四强

娱乐要闻

高晓松悄悄复出:官媒没给他留体面

财经要闻

OpenAI前安全部门员工:公司文化已崩坏

科技要闻

苹果确认:iPhone 18 Pro Max有问题

汽车要闻

方程豹9月热销破4万 首款皮卡鲨鱼将于四季度上市

态度原创

家居
房产
健康
数码
军事航空

家居要闻

2026建博会(广州) 公装联探展交流活动

房产要闻

保利大爆发,冲到榜一!海南楼市前三季度,热销榜出炉!

刷酸祛痘,为什么有人翻车?

数码要闻

雷柏VT2/2s MAX V2版鼠标开启预约:PAW 3955 Ultimate传感器+ Nordic 54LM20主控,329元

军事要闻

驻冲绳美军士兵抢劫杀人 日本向美国提出抗议

无障碍浏览 进入关怀版