小乐数学科普:第9个戴德金数被发现:科学家解决数学中长期存在的问题
德国帕德博恩大学和荷语区鲁汶大学(KU Leuven)的科学家用一个42位的数字创造了历史,用所谓的第九个戴德金数解开了几十年的数学之谜。
作者:帕德博恩大学(Paderborn大学) 2023-6-26
译者:zzllrr小乐(数学科普微信公众号)2023-6-28
自1991年以来,世界各地的专家一直在寻找这个数值。帕德博恩的科学家们在位于那里的Noctua超级计算机的帮助下得出了确切的数列。研究结果将于9月在挪威举行的布尔函数及其应用国际研讨会(BFA,Boolean Functions and their Applications)上公布。
始于Lennart Van Hirtum(上图)的硕士论文项目(当时他是荷语区鲁汶大学的计算机科学学生,现在是帕德博恩大学的研究助理),已经取得了巨大的成功。科学家们加入了一个杰出的团体。该数列的早期数字是由数学家理查德·戴德金(Richard Dedekind)在1897年定义问题时自己发现的,后来由兰道夫·丘奇(Randolph Church)和摩根·沃德(Morgan Ward)等早期计算机科学大师发现。“32年来,D(9)的计算是一个公开的挑战,是否有可能计算出这个数字是值得怀疑的,”Van Hirtum说。
戴德金数列中的前一个数字,即第8个戴德金数,是在1991年使用当时最强大的超级计算机Cray 2发现的。“因此,我们似乎可以想象,现在应该可以在大型超级计算机上计算第 9 个数字,”Van Hirtum 说,描述了这个雄心勃勃的项目的动机,他最初与他在荷语区鲁汶大学的硕士论文导师共同实施。
沙粒、国际象棋和超级计算机
戴德金数的主要主题是所谓的单调布尔函数(monotone Boolean functions)。Van Hirtum解释说:“基本上,你可以将二维、三维和无限维的单调布尔函数视为具有n维立方体的游戏。在一个角上平衡立方体,然后将剩余的每个角着色为白色或红色。只有一条规则:切勿在红色角上方放置白角。这创造了一种垂直的红白相交。
该图显示了0、1、2和3维的所有可能截面。可以制作的这些彩色2维、3维、n维截面的数量被定义为戴德金数(Dedekind数)。
“游戏的目的是计算有多少不同的切割。它们的数量就是戴德金数。即使看起来不像,但这些数字在这个过程中会很快变得巨大:第 8 个戴德金数字已经有 23 位数字(56130437228687557907788)。
相对较大的数字 - 但无比容易计算 - 数字是从关于国际象棋游戏发明的传说中知道的。“根据这个传说,国际象棋游戏的发明者只要求国王在棋盘的每个方格上提供几粒米作为奖励:第一个方格一粒,第二个方格两粒,第三个方格四粒,接下来的每个方格上两倍。国王很快意识到这个要求是不可能实现的,因为全世界都不存在这么多大米。
“整个棋盘上的米粒数将有20位数字 - 这是一个难以想象的数量,但仍然少于D(8)。当你意识到这些数量级时,很明显需要一种有效的计算方法和一台非常快的计算机来找到D(9),”Van Hirtum说。
里程碑:年变成月
为了计算D(9),科学家们使用了硕士论文导师Patrick De Causmaecker开发的一种技术,称为P系数公式(P-coefficient formula)。它提供了一种计算戴德金数的方法,不是通过计数,而是通过非常大的求和。这使得 D(8) 在普通笔记本电脑上只需八分钟即可解码。但是,“D(8)需要八分钟的东西变成了D(9)的数十万年。即使你专门使用大型超级计算机来完成这项任务,完成计算仍然需要很多年,”Van Hirtum指出。
主要问题是这个公式中的项数增长得非常快。“在我们的案例中,通过利用公式中的对称性,我们能够将项的数量减少到'仅仅’5.5x10¹⁸——数量巨大。相比之下,地球上的沙粒数量约为7.5x10¹⁸,这没什么好轻视的,因为对于现代超级计算机来说,5.5x10¹⁸操作非常易于管理,”这位计算机科学家说。
问题:在普通处理器上计算这些项的速度很慢,而且使用 GPU 作为目前许多 AI 应用程序最快的硬件加速器技术对于该算法来说效率不高。
解决方案:使用高度专业化和并行的算术单元(即所谓的FPGA - Field Programmable Gate Array 现场可编程门阵列)的特定应用硬件。Van Hirtum为硬件加速器开发了初始原型,并开始寻找具有必要FPGA卡的超级计算机。在这个过程中,他注意到了帕德博恩大学“帕德博恩并行计算中心(PC2)”的Noctua 2计算机,该计算机拥有世界上最强大的FPGA系统之一。
PC2负责人Christian Plessl博士教授解释说:“当Lennart Van Hirtum和Patrick De Causmaeker与我们联系时,我们立即意识到我们希望支持这个大胆的创新计划项目。用FPGA解决困难的组合问题是一个很有前途的应用领域,Noctua 2是全球为数不多的实验可行的超级计算机之一。极高的可靠性和稳定性要求也对我们的基础设施提出了挑战和考验。FPGA专家咨询团队与Lennart密切合作,根据我们的环境调整和优化应用。
经过几年的开发,该程序在超级计算机上运行了大约五个月。然后时间到了:8月9日,科学家们发现了第9个戴德金数:286386577668298411128469151667598498812366。
至此,戴德金数D(n)前几个( 0 ≤ n ≤ 9)确切值已知为:
D(0)=2
D(1)=3
D(2)=6
D(3)=20
D(4)=168
D(5)=7581
D(6)=7828354
D(7)=2414682040998
D(8)=56130437228687557907788
D(9)=286386577668298411128469151667598498812366
(OEIS 中的序列 A000372 /A000372)
如今,在戴德金项目开始三年后,Van Hirtum正在帕德博恩并行计算中心担任NHR研究生院的研究员,在他的博士学位中开发下一代硬件工具。NHR(national es hochleistungs rechnen 德国国家高性能计算)研究生院是NHR中心的联合研究生院。他将于6月27日下午2点在帕德博恩大学O2演讲厅与Patrick De Causmaecker一起报告他的非凡成功。
参考资料:
/en/event-item/9-dedekind-zahl-entdeckt-wissenschaftler-der-unis-paderborn-leuven-loesen-langbekanntes-problem-der-mathematik-1
/news/2023-06-ninth-dedekind-scientists-long-known-problem.html
/A000372
/wiki/Dedekind_number
让数学
更加
易学易练,
易教易研,
易赏易玩,
易见易得,
易传易及。
笑翻,龙抬头过了,迎来萌娃剃头图鉴大赏!
“正月闲到抠脚,二月忙到飞起”说的就是理发店前两天“二月二龙抬头”老育家门口的理发店简直比菜市场还热闹想必大家也都带孩子理发去了吧于是乎大街上、公园里、幼儿园内……纷纷上演了一场宝宝发型大SHOW有的可爱、有的帅气今天特地搜罗来大伙儿一起看看01萌娃剃头图鉴大赏别看宝宝还小,第一次剃头还是很乖的任人摆布还乐开了花视频来源:小虎崽鹏鹏诺哈网2023-07-27 13:06:520000If I were in your shoes,不要理解为“如果我在你的鞋子里”,其实它是一种比喻
无论是哪种语言,比喻或修辞手段(afigureofspeech)都是语言艺术的升华,是最富有诗意的语言形式之一,是为了提高其有效性而对常用词语的偏离,是语言的信息功能和美学功能的有机结合。若能在实际应用中使用比喻的手法,则得到的将会是意想不到的效果。比喻通常强调、修饰或澄清书面和口头形式的语言。我们也可以在文学作品中看到它的用法,甚至可以在广告、海报、标语、报纸、杂志、动画片等中看到它。诺哈网2023-07-29 12:16:2400002023中考地理专题中国的河流和自然灾害
2023中考地理必背专题中国的河流和自然灾害第一部分。#中考地理#中考地理复习#地理会考知识点#初中会考地理生物#初中地理怎么学诺哈网2023-08-16 10:37:080000浅谈留学中介的服务模式:传统制留学、导师制留学、双师制留学
最近看到新浪教育金牌教师的活动,有很多留学机构、留学团队参赛获奖了,突然就有些感慨。《重磅:“2018新浪五星金牌教师评选”获奖名单公布》0000