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

一道源于杂耍的数学猜想,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-15 00:33:01
GDP会骗人,但所得税不会:31个省份人均所得税收入排行榜

GDP会骗人,但所得税不会:31个省份人均所得税收入排行榜

坠入二次元的海洋
2026-10-06 07:56:08
哈哈哈王嘉尔问奔驰要车,奔驰用他的梗怼他

哈哈哈王嘉尔问奔驰要车,奔驰用他的梗怼他

乡野小珥
2026-10-11 01:40:33
缅甸获救者多是男性,难道女性不会上当?只因她们出逃希望很渺茫

缅甸获救者多是男性,难道女性不会上当?只因她们出逃希望很渺茫

冰语历史
2026-10-18 16:16:12
胡塞打出关键战果:亚丁“总统府”首次遭袭,政府军快到头了?

胡塞打出关键战果:亚丁“总统府”首次遭袭,政府军快到头了?

书写传奇
2026-10-18 16:41:05
美女图片1464

美女图片1464

喜欢历史的阿繁
2026-10-18 16:51:57
再无中俄印三角,中国“大三角战略”已成,未来世界格局清晰可见

再无中俄印三角,中国“大三角战略”已成,未来世界格局清晰可见

让心灵得以栖息
2026-10-18 07:01:19
港珠澳大桥收支出炉:运行近8年,总投资近1269亿,如今回本了吗?

港珠澳大桥收支出炉:运行近8年,总投资近1269亿,如今回本了吗?

抽象派大师
2026-08-26 20:04:57
1949年李讷在课堂上指出老师错误,老师恼羞成怒:把你爸爸叫来

1949年李讷在课堂上指出老师错误,老师恼羞成怒:把你爸爸叫来

萧竹轻语
2025-08-04 11:45:40
我的生命里不能随便人闯入,唯独你例外

我的生命里不能随便人闯入,唯独你例外

疾跑的小蜗牛
2026-10-18 16:46:42
38岁福原爱中国行大变样,与邓亚萍同框,疑和前夫江宏杰为女庆生

38岁福原爱中国行大变样,与邓亚萍同框,疑和前夫江宏杰为女庆生

梁猕爱玩车
2026-10-16 17:51:37
美国如今有多少中国人?终于统计出来了,数据令很多国人不敢相信

美国如今有多少中国人?终于统计出来了,数据令很多国人不敢相信

冰语历史
2026-10-18 14:26:05
重庆江北机场越忙越亏?不是没生意,是成本太重了

重庆江北机场越忙越亏?不是没生意,是成本太重了

宝哥精彩赛事
2026-10-18 11:07:49
为什么有钱后一定要低调?网友:我爸8000万身家,几年负债1000万

为什么有钱后一定要低调?网友:我爸8000万身家,几年负债1000万

夜深爱杂谈
2026-08-30 20:56:54
美专家意见罕见一致:待中国两岸统一,美国或只剩下1条可行之路

美专家意见罕见一致:待中国两岸统一,美国或只剩下1条可行之路

福建睿平
2026-06-17 11:44:17
0-2翻车!0-2爆冷!武网决赛:黑马争冠,斯瓦泰克输球原因揭晓

0-2翻车!0-2爆冷!武网决赛:黑马争冠,斯瓦泰克输球原因揭晓

大秦壁虎白话体育
2026-10-18 00:03:29
足坛一夜动态:曼城创129年神迹,拜仁造6-1惨案,巴萨豪取11连胜

足坛一夜动态:曼城创129年神迹,拜仁造6-1惨案,巴萨豪取11连胜

钉钉陌上花开
2026-10-18 02:43:48
9条保命天机!没福报根本刷不到,关键时刻真能逢凶化吉

9条保命天机!没福报根本刷不到,关键时刻真能逢凶化吉

匹夫来搞笑
2026-10-18 14:52:02
西交大学生周凯旋被判死刑,行刑前拒见家属,孤身赴死!

西交大学生周凯旋被判死刑,行刑前拒见家属,孤身赴死!

华人星光
2026-05-23 10:51:12
高市狂不了了,日本天皇发出警告,接班人已浮现,对华态度不简单

高市狂不了了,日本天皇发出警告,接班人已浮现,对华态度不简单

青烟小先生
2026-06-17 17:00:13
2026-10-18 17:51:00
DeepTech深科技 incentive-icons
DeepTech深科技
麻省理工科技评论独家合作
17378文章数 515234关注度
往期回顾 全部

教育要闻

课博会⑧|2026普通高中五大学科高考命题分析 及试卷命制底层逻辑暨教学技法研讨会

头条要闻

法国骚乱爆发数小时前 马克龙夫妇被拍到在演唱会跳舞

头条要闻

法国骚乱爆发数小时前 马克龙夫妇被拍到在演唱会跳舞

体育要闻

升级版杨瀚森再闯难关:当上开拓者第三中锋还得拼

娱乐要闻

郭麒麟被传领证,女方戳破谣言

财经要闻

马斯克:美债问题只能靠AI和机器人解决

科技要闻

王江舟院士:6G到底是不是骗局 是不是收割

汽车要闻

星瑞L PLUS限时售价10.97万元起 开启智混3L时代

态度原创

房产
健康
教育
数码
时尚

房产要闻

利好密集落地+现房好房断档,广州楼市买入窗口,正在倒计时!

看着很健康的人,怎么会突然猝死?

教育要闻

5大重磅动作!刚刚,京城顶流中学亮出“新底牌”

数码要闻

大屏追番更震撼!海信电视小墨E5S Pro带你沉浸式入局《凡人》修仙宇宙

重阳寻香:一炉香,一枚囊,她们以手传香

无障碍浏览 进入关怀版