文章提交注意事项:
请在发布文章时用HTML代码加上至少一条新闻来源的链接;原创性消息,可加入相关信息(如涉及公司的网址)的链接。有任何问题,邮件至:he.fang#zhiding.cn
注意:收到邮件乱码的用户请修改客户端的默认字体编码,从"简体中文(GB2312)"修改为"Unicode(UTF-8)"。
solidot新版网站常见问题,请点击这里查看。
Solidot 公告
投 票
热门评论
- 错别字 (1 points, 一般) by 陈少举 在 2024年11月02日23时42分 星期六 评论到 Linus Torvalds 用电动汽车取代了燃油汽车
- BaD kEyBoArD: tYpO (1 points, 一般) by lot 在 2024年09月25日21时26分 星期三 评论到 美国汽车召回愈五分之一是修复软件
- Guo farm accumulated wealth, the ants lost all the (1 points, 一般) by solidot1727141937 在 2024年09月24日09时39分 星期二 评论到 日本科学家用猫制作 iPS 细胞
- 但是又快又便宜 (1 points, 一般) by Craynic 在 2024年09月09日13时12分 星期一 评论到 澳大利亚政府研究发现 AI 在概述上的表现比人类差
- (1 points, 一般) by gashero 在 2024年09月04日12时41分 星期三 评论到 众多高校撤销外语专业
- 让他们贴支付宝或微信捐款的方式 (1 points, 一般) by solidot1725066425 在 2024年08月31日09时08分 星期六 评论到 KDE 将每年通过桌面通知请求一次捐赠
- 更现代? (1 points, 一般) by Craynic 在 2024年08月28日13时15分 星期三 评论到 微软撤回了弃用控制面板的声明
- 对延迟退休的错误理解 (1 points, 一般) by solidot1723550599 在 2024年08月13日20时09分 星期二 评论到 中国人 50 岁后还能健康工作多少年?
- (1 points, 一般) by solidot1723275683 在 2024年08月10日15时45分 星期六 评论到 甜味剂赤藻糖醇可能增加心血管疾病风险
- 不值得信任google (1 points, 一般) by solidot1722426862 在 2024年07月31日19时56分 星期三 评论到 Chrome 服务故障导致部分用户无法访问保存的密码
《自然》发表一篇流行病学研究论文警告称,科研人员开展的一项研究显示,气候与土地利用的变化或促进了病原体从蝙蝠溢出到其他动物。这项研究中,科研人员对采集自澳大利亚的数据开展的一项分析显示,食物短缺和自然生境丧失使得蝙蝠在人类居住地区持续存在,导致亨德拉(Hendra)病毒(一种新的人畜共患病)溢出到中间宿主——马。该研究表明,理解生境丧失、气候变化和溢出风险之间的关联,或有助于制定预防未来大流行的措施。据论文介绍,人畜共患病外溢是指一种病原体从动物传播至人类,一般需要通过某种中间宿主。亨德拉病毒便是其中一种,这是一种通过蝙蝠传播的病毒,主要感染大型果蝠(澳大利亚狐蝠)。亨德拉病毒不会导致蝙蝠死亡,但能传播给马,然后从马这个中间宿主再传给人类,导致严重或致命的疾病。之前有研究发现,土地利用变化或许与病毒从野生动物溢出到人类有关,但这项新研究为阐明其背后机制提供了翔实证据。
数学家张益唐在预印本平台 arXiv 上发表了备受瞩目的朗道-西格尔零点猜想论文。他并没有说自己证明了这一猜想,而是类似他在 2013 年发表的孪生素数猜想论文,改进了下界,并使用了一个数字 2022。有人开玩笑说这是他为什么在 2022 年发表的原因。他长达 111 页的论文也为后续改进提供了有用的工具。
1963 年数学家罗伊·克尔(Roy Kerr)发现了爱因斯坦广义相对论的一个精确解。今天称之为克尔黑洞/克尔度规的解描述了一旋转、球对称之质量庞大物体(如黑洞)周遭真空区域的时空几何。60 年来研究人员一直尝试从数学上证明克尔黑洞是稳定的。如果不稳定则意味着爱因斯坦的引力理论需要在基础层面进行修改。法国 Sorbonne 大学数学家 Jérémie Szeftel 和普林斯顿大学的 Sergiu Klainerman 在 2021 年发表了一篇 800 页的论文,今年 5 月 30 日与哥伦比亚大学的 Elena Giorgi 合作发表了一篇 912 页的论文,再加上三篇背景论文,总共约 2100 页,在数学上证明克尔黑洞是稳定的。最新成果被誉为广义相对论数学发展的一个里程碑。其中 2021 年的论文已被接受出版,但今年的论文尚未通过同行审议。
1994 年数学家 Peter Shor 想出了如何让量子计算机完成普通经典计算机无法做到的事情。这项工作表明,原则上,一台基于量子规则的机器可有效地将大数分解为质因数——对于经典计算机来说,这是一项非常困难的任务,大数质因数分解是今天大部分互联网安全系统的基础。乐观的情绪随之而来。那时研究人员认为,也许我们能发明出可以解决各种不同问题的量子算法。但进展并不顺利。卡内基梅隆大学的 Ryan O’Donnell 表示:“这有点令人失望。”“人们会说,‘这太棒了,我确信我们会找到各种别的惊人的算法。’没有。”科学家仅在一个被称为 NP 的标准集中发现了一个单一的、狭窄的问题类别可以显著加速,这意味着它们有了有效的可验证解决方案——例如因式分解。近三十年来,情况皆是如此。今年 4 月,研究人员发明了一种全新的问题,量子计算机应该能比经典计算机更快地(速度指数级提升)解决该问题。它涉及仅根据混乱的输出来计算复杂数学过程的输入。这个问题是独立的还是许多其他问题中的第一个尚待确定。
Maryna Viazovska 因在证明E8格在8维中提供了相同球体的最密集堆积法等方面的贡献而成为第二位获得菲尔兹奖的女性数学家。第一位是伊朗数学家 Maryam Mirzakhani,她在 2014 年获得菲尔兹奖,但在 2017 年因为乳腺癌早逝。由于战争,Viazovska 承认她最近几个月难以专注于数学研究。她目前生活在瑞士洛桑,担任洛桑联邦理工的数学教授,她的家人仍然生活在乌克兰。战争爆发之后,她的两个姐妹以及 9 岁侄女和 8 岁侄子踏上了前往瑞士洛桑之路。这条路走得缓慢而痛苦,她们首先等待两天恢复交通,作为难民在一个陌生人家中逗留了几天,在一个晚上跨过边境进入斯洛伐克,在红十字会帮助下抵达布达佩斯,最后登上前往日内瓦的航班,3 月 4 日到达洛桑,与 Viazovska 及其丈夫,13 岁的儿子和 2 岁女儿生活在一起。她的父母以及祖母仍然留在基辅。85 岁的祖母经历过二战拒绝离开,祖母在乌克兰生活了一辈子要死也要死在乌克兰。俄罗斯在 3 月轰炸了她父亲曾在苏联时代末期工作过的安东诺夫飞机厂。对生活在基辅的家人来说,幸运的是俄罗斯的战略重点之后转移到了乌东顿巴斯地区。但战争尚未结束。
每四年评选一次的菲尔兹奖宣布了 2022 年的四位得主:
美国普林斯顿高等研究院韩裔数学家许埈珥(39 岁),以表彰其将霍奇理论的思想引入组合学,证明了几何格的 Dowling–Wilson 猜想,证明了拟阵的 Heron–Rota–Welsh 猜想,发展了洛伦兹多项式,以及证明了强梅森猜想;牛津大学教授 James Maynard(35 岁),以表彰其对解析数论的贡献,在理解素数的结构和丢番图近似方面取得了重大进展;瑞士日内瓦大学/法国高等科学研究所教授 Hugo Duminil-Copin(36 岁),以表彰解决统计物理学中相变概率理论中长期存在的问题,尤其是在三维和四维方面;瑞士洛桑联邦理工学院的乌克兰籍数学家 Maryna Viazovska(37 岁)——她也是第二位获得菲尔兹奖的女性数学家,以表彰其证明E8格在8维中提供了相同球体的最密集堆积法,并对傅立叶分析中的相关极值问题和插值问题作出了进一步的贡献。
Google Cloud 开发大使 Emma Haruka Iwao 及其同事表示将π计算到了小数点后 100 万亿位。Iwao 和她的团队此前曾在 2019 年创下小数点后 31.4 万亿位数的计算精度记录。过海记录之后被打破了几次。Iwao 在博文中写道,尽可能多地计算出 π 的位数是一种衡量计算能力进步的方法。Iwao 的工作要展示 Google
Cloud 的能力,因此她会利用平台的强大功能执行这种计算也就不足为奇了。2019 年的计算花费了 121 天,最终计算出的位数是最近一次尝试的三分之一。这一次 Iwao 使用了“同样的工具和技术”,计算运行了 157 天 23 小时 31 分 7.651 秒,这意味着计算机的运行速度是原来的两倍多。总共处理了大约 82,000 TB的数据。Iwao 还指出,以每秒 1 个数字的速度大声读出所有 100 万亿个数字将需要花费超过 310 万年的时间。如果你想知道的话,π 在小数点后 100 万亿位上的数字是 0。
一计算机科学家团队针对计算机科学领域里最古老的问题之一——最大流(maximum flow)——提出了一种速度显著快得多的算法。最大流问题指的是如果网络中链路容量有限,有多少物质可通过网络从源头流到目的地。论文发表在预印本平台 arXiv 上。耶鲁大学的 Daniel Spielman 表示,新算法“快得离谱”。“我实际上倾向于认为……这个问题不会存在这么好的算法。”
自 1950 年代以来,我们一直在研究最大流问题,这个问题当时是为了研究苏联的铁路系统而制定的。加利福尼亚州山景城 Google 研究中心的 Edith Cohen 表示:“它可能比计算机科学的理论还要古老。”这个问题有很多应用:互联网数据流、航空公司调度,甚至是将求职者与空缺的岗位匹配。新论文同时解决了最大流和你可能希望实现的、这个问题的另一个更普遍的版本——成本最小化。多年来,这两个问题激发了算法技术领域的许多重大进步。新算法在“几乎线性”的时间内解决了两大问题,这意味着算法运行的时间大致与写下网络细节所花费的时间成正比。对于所有可能的网络,其他的算法解决这些问题的速度都无法接近这个速度。
目前这主要是理论上的进步,因为速度提升只适用于大型网络——远大于我们在现实世界中遇到的网络,这些网络的最大流量问题已经可以相当快地解决。但是该算法六位创造者之一、加拿大滑铁卢大学的 Richard Peng 预测,新算法的某些部分可能会在一年内得到实际应用。研究人员表示,未来几年计算机科学家可能会找到实际使用它的方法,甚至可能让它变得更快一点。
自 1950 年代以来,我们一直在研究最大流问题,这个问题当时是为了研究苏联的铁路系统而制定的。加利福尼亚州山景城 Google 研究中心的 Edith Cohen 表示:“它可能比计算机科学的理论还要古老。”这个问题有很多应用:互联网数据流、航空公司调度,甚至是将求职者与空缺的岗位匹配。新论文同时解决了最大流和你可能希望实现的、这个问题的另一个更普遍的版本——成本最小化。多年来,这两个问题激发了算法技术领域的许多重大进步。新算法在“几乎线性”的时间内解决了两大问题,这意味着算法运行的时间大致与写下网络细节所花费的时间成正比。对于所有可能的网络,其他的算法解决这些问题的速度都无法接近这个速度。
目前这主要是理论上的进步,因为速度提升只适用于大型网络——远大于我们在现实世界中遇到的网络,这些网络的最大流量问题已经可以相当快地解决。但是该算法六位创造者之一、加拿大滑铁卢大学的 Richard Peng 预测,新算法的某些部分可能会在一年内得到实际应用。研究人员表示,未来几年计算机科学家可能会找到实际使用它的方法,甚至可能让它变得更快一点。
作为算术的原子,素数在数轴上一直占据着特殊的地位。现在牛津大学 26 岁的研究生 Jared Duker Lichtman 解决了一个著名的猜想,确立了素数特殊性——在某种意义上说,甚至是优越性——来源的另一个方面。该猜想涉及原始集合——没有数字可以整除其他任何数字的序列。由于所有的素数都只能被 1 和它自身整除,所以所有素数的集合就是原始集合的一个例子。有 2个 、3 个或者 100 个素因子的数字集合也是如此。原始集合是数学家 Paul Erdős 在 1930 年代提出的。当时只是作为工具让他更容易证明起源于古希腊的某类数字(被称为完美数)。但是它们本身很快就成了人们感兴趣的对象——Erdős 在他的职业生涯中一次又一次地回到这些对象。尽管原始集合的定义很简单,但是它们确实是奇怪的野兽。只要问问原始集合可以达到多大,就能发现它的奇怪之处。设想一个最大为 1000 的所有整数的集合。从 501 到 1000 的所有数字——集合的一半——构成了一个原始集合,因为没有任何一个数字可以被其他的数字整除。原始集合可以以这种方式包含大段的数轴。但是其他的原始集合,例如所有素数的序列,就非常稀疏。
如果有一百万名计算机科学家共进晚餐,他们会拿到一张巨额账单。如果其中一人特别节俭并且想检查一下账单是否正确,核查过程很简单但会很乏味:他们必须检查账单,一行又一行将所有的单项价格加起来,确保总数等于账单总额。但在 1992 年,六位计算机科学家在两篇 论文中证明可以采用一条激进的捷径。总有一种方法可重新格式化任意长度的账单,只用几个查询可以对其进行检查。更重要的是,他们发现任何计算,甚至是任何数学证明都是如此,因为两者都有自己的收据:计算机或者数学家都必须采取的步骤记录。
这种非常简洁的格式被称为概率可检查证明(PCP)。PCP 已成为理论计算机科学中最重要的工具之一。它们最近甚至进入了实际应用,例如在加密货币中被用于将大批量交易汇总成更容易验证的较小形式。在创建 PCP 之前,计算机科学家已通过类似于晚餐账单检查的解确定了一整类问题——只要你有一个解,就很容易验证。但是对于其中许多问题,先找到一个解要花费的时间似乎长得不切实际。
计算机科学家将这类难以解决但能高效验证的问题命名为 NP。它为许多我们关心的实际问题以及更抽象的问题(例如寻找数学定理的证明)提供了一个概念性的家园。求解是一步一步地求证,建立起绝对确定的数学结论——就像逐项汇总账单证明总额一样。求解可能会很难,但是一旦你有了一个解,就可以直接进行检查。这类证明就完全属于 NP 的范畴。
这种非常简洁的格式被称为概率可检查证明(PCP)。PCP 已成为理论计算机科学中最重要的工具之一。它们最近甚至进入了实际应用,例如在加密货币中被用于将大批量交易汇总成更容易验证的较小形式。在创建 PCP 之前,计算机科学家已通过类似于晚餐账单检查的解确定了一整类问题——只要你有一个解,就很容易验证。但是对于其中许多问题,先找到一个解要花费的时间似乎长得不切实际。
计算机科学家将这类难以解决但能高效验证的问题命名为 NP。它为许多我们关心的实际问题以及更抽象的问题(例如寻找数学定理的证明)提供了一个概念性的家园。求解是一步一步地求证,建立起绝对确定的数学结论——就像逐项汇总账单证明总额一样。求解可能会很难,但是一旦你有了一个解,就可以直接进行检查。这类证明就完全属于 NP 的范畴。
Leslie Lamport 的名字可能不是家喻户晓,但作为计算机科学家,他比起那些名人不遑多让:排版程序 LaTeX 以及让 Google 和亚马逊云基础设施成为可能。他对一些问题给予了更多的关注,给它们起了独特的名字,比如面包店算法和拜占庭将军问题。这绝非偶然。这位 81 岁的计算机科学家对于人们如何使用和看待软件有着不同寻常的深入思考。2013 年,他赢得了被认为是计算领域诺贝尔奖的A.M.图灵奖,以表彰他在分布式系统方面的工作,此类系统由不同网络上的多个组件相互协调实现共同目标。互联网搜索、云计算和人工智能都涉及编排强大的计算机军团协同工作。当然这种协调也会给你带来更多的问题。Lamport曾说过:“分布式系统是这样一个系统:一台你甚至不知道其存在的计算机出现故障,就可能导致你自己的计算机无法使用。”
问题的最大来源之一是“并发系统”,其中多个计算操作发生在重叠的时间片中,导致模棱两可:哪台计算机的时钟是正确的?在 1978 年的一篇开创性论文中,Lamport 借鉴狭义相对论的见解,引入了“因果关系”概念解决这个问题。两个观察者可能在事件的顺序上存在分歧,但如果一个事件导致另一个事件,这就消除了分歧。并且发送或接收消息可以在多个进程之间建立因果关系。逻辑时钟——现在也称为 Lamport 时钟——提供了一种推理并发系统的标准方法。有了这个工具,计算机科学家接下来想知道他们如何能系统地使这些联网计算机变得更大,而不会增加错误。Lamport 提出了一个优雅的解决方案:Paxos,一种允许多台计算机执行复杂任务的“共识算法”。如果没有 Paxos 及其算法家族,现代计算就不可能存在。
问题的最大来源之一是“并发系统”,其中多个计算操作发生在重叠的时间片中,导致模棱两可:哪台计算机的时钟是正确的?在 1978 年的一篇开创性论文中,Lamport 借鉴狭义相对论的见解,引入了“因果关系”概念解决这个问题。两个观察者可能在事件的顺序上存在分歧,但如果一个事件导致另一个事件,这就消除了分歧。并且发送或接收消息可以在多个进程之间建立因果关系。逻辑时钟——现在也称为 Lamport 时钟——提供了一种推理并发系统的标准方法。有了这个工具,计算机科学家接下来想知道他们如何能系统地使这些联网计算机变得更大,而不会增加错误。Lamport 提出了一个优雅的解决方案:Paxos,一种允许多台计算机执行复杂任务的“共识算法”。如果没有 Paxos 及其算法家族,现代计算就不可能存在。
数学家 Jeff Kahn 和 Gil Kalai 在 2006 年首次提出“期望阈值”猜想时,他们自己都不相信。他们声称——对名为随机图的数学对象的广泛论断——似乎太强大、太包罗万象,也太大胆,所以不可能是真的。这更像是一种一厢情愿的想法,而不是数学真理。即便如此,没人能证明它是错误的,它很快成为该领域最重要的开放问题之一。15 年多时间过去了,斯坦福大学的一对年轻的数学家完成 了 Kahn 和 Kalai 认为不可能做到的事情:在几周前发布在网上的一份令人惊讶的简短预印本论文中,Jinyoung Park 和 Huy Tuan Pham 给出了对该猜想的完整证明。这一成果自动证明了数以百计更具体的陈述,每一种陈述都很难单独证明——且它对我们更广泛地理解随机图和数学集有更深层次的影响。Kahn-Kalai 猜想非常广泛——它是用集合及其元素的抽象语言写成的——但是可通过简单的例子理解它。首先,想象一张图:一组由线或边连接的点或者顶点。要制作随机图,请取出一枚偏币(biased coin)——一个落下来有 1%、30% 或者是 0 到 100 之间任意百分比概率正面朝上的硬币——然后针对给定的一对定点掷一次硬币。如果硬币落下来是正面朝上,就将这两个点用边线连接起来;如果硬币反面朝上,就不要这样做。对每一对可能的顶点都重复这个过程。
MIT 的一个机械工程师团队开发出“奥利奥表(Oreometer)”,测试将奥利奥饼干分成两片并保持饼干和里面的奶油夹心完好无损的最优方法。这是一项流变学的试验,流变学是对物质如何流动的研究。研究人员将这个特殊的试验称为“奥利奥学(Oreology)”。在试验中,流体是奶油夹心,一种被该团队归类为“糊状”的柔软固体,这意味着它不是很脆(不像饼干)并且相对柔软(就像面包)。研究团队构建了 Oreometer 测试如何分离不同类型的奥利奥饼干,特别关注两片饼干分开之后奶油夹心的分布。他们的研究报告发表在《流体物理学》上。
论文主要作者、MIT 机械工程师 Crystal Owens 表示:“我们最喜欢的扭转方式是在旋转的同时将奥利奥从一侧拉开,作为一种扭转剥离的方法,这是将饼干干净利落分开最可靠的途径。”“众所周知,剥离会导致粘合剂失效,如果你想从表面撕下贴纸又不想破坏贴纸本身的话。”研究人员们发现,奶油夹心通常会留在一边的饼干(“饼干1”)而不是另一边的饼干上,他们认为这是由于奥利奥的制造方式造成的。他们测试了普通的奥利奥和带有更多奶油夹心的 Double 和 Mega Stuf 品种,报告未提及奶油夹心含量与分开之后的饼干干净程度之间存在任何明显的相关性。他们开源了 Oreometer 的设计,因此任何人都可以造出自己的装置,并收集关于将奥利奥饼干分开或切开的数据。小朋友会感到自豪的。
论文主要作者、MIT 机械工程师 Crystal Owens 表示:“我们最喜欢的扭转方式是在旋转的同时将奥利奥从一侧拉开,作为一种扭转剥离的方法,这是将饼干干净利落分开最可靠的途径。”“众所周知,剥离会导致粘合剂失效,如果你想从表面撕下贴纸又不想破坏贴纸本身的话。”研究人员们发现,奶油夹心通常会留在一边的饼干(“饼干1”)而不是另一边的饼干上,他们认为这是由于奥利奥的制造方式造成的。他们测试了普通的奥利奥和带有更多奶油夹心的 Double 和 Mega Stuf 品种,报告未提及奶油夹心含量与分开之后的饼干干净程度之间存在任何明显的相关性。他们开源了 Oreometer 的设计,因此任何人都可以造出自己的装置,并收集关于将奥利奥饼干分开或切开的数据。小朋友会感到自豪的。
清华大学宣布,菲尔兹奖首位华人得主丘成桐从哈佛大学退休,受聘清华大学讲席教授。这意味着丘成桐将全职任教清华。丘成桐于 1949 年出生在广东汕头,几个月大时与全家移民香港,1966 年入读香港中文大学崇基学院数学系,三年内修毕四年课程,被加州伯克利破格录取为研究生,师从陈省身。丘成桐于 22 岁时取得博士学位,25 岁被聘为斯坦福大学教授。1976 年 27 岁的丘成桐证明了困扰数学界 22 年之久的卡拉比猜想,推动微分几何新时代的到来。1979 年他与学生 Richard Schoen 合作解决了爱因斯坦广义相对论中的正质量猜想。33 岁时丘成桐获得数学界最高奖菲尔兹奖,是首位获此殊荣的华人。
根据发表在《Scientific Reports》期刊上的一项动物行为研究,斑马拟丽鱼(慈鲷鱼的一种)和公式鱼能完成 1 到 5 以内加减 1 位的计算。科学家认为,研究结果表明,鱼的算术能力和其它脊椎动物及无脊椎动物的算术能力不相上下。研究人员发现,有 6 条斑马拟丽鱼和 3 条公式鱼通过训练记住了蓝色和加法以及黄色和减法的关系。平均而言,斑马拟丽鱼在28个回合、公式鱼在68个回合后能记住这些关系。鱼在这类任务中的表现一般都很好,但加法学起来比减法更快,而且斑马拟丽鱼的个体差异比公式鱼更大一些。在加法任务中,斑马拟丽鱼在 381 次测试中正确了 296 次(78%),公式鱼在 180 次测试中正确了 169 次(94%)。在减法任务中,斑马拟丽鱼在 381 次测试中正确了264次(69%),公式鱼在 180 次测试中正确了 161 次(89%)。研究人员认为,计算能力可以帮助这两个物种通过外观辨认其他个体,比如数一下鱼身体上的条纹或斑点。研
2022 年度阿贝尔奖授予了 81 岁的美国纽约数学家 Dennis P. Sullivan,以表彰他在拓扑学尤其是代数拓扑和拓扑动力系统上的突出贡献。阿贝尔奖奖金与诺贝尔奖相近。它与菲尔兹奖齐名,后者主要吸引年轻人从事数学研究,一起扩大数学的影响是设立阿贝尔奖的主要目的。Sullivan 博士听到这一消息之后说他 81 岁了,还有人记得他。他将得到大约 85 万美元奖金。Sullivan 博士的工作涉及到的是拓扑学中的流形。
我们经常认为乘法和除法是需要学校教授的计算。但一项大型研究表明,即使是在接受正规教育之前,儿童就具有直觉的算数能力。发表在《人类神经科学前沿》期刊上的新研究认为,这种进行近似计算的能力甚至延伸到了最“可怕”的基本数学问题——真正的除法,影响学生未来如何学习数学概念。研究的基础是近似数字系统(ANS),这种理论认为人类(甚至还有非人类灵长类动物)从小就有一种直觉式的能力,无需依赖语言或者符号,就能比较和估计大量的对象。例如在非符号系统中,儿童可以识别出 20 个点的一组大于 4 个点的一组——哪怕这 4 个点在纸上占据了更大的空间。做出更精确近似的能力——比如说比较 20 个点和 17 个点——会在成年期发展出来。
黎曼(Bernhard Riemann)提出关于素数分布的开创性猜想之后,162 年过去了。尽管尽了最大努力,数学家在证明黎曼猜想上取得的进展很小。但他们设法在一个相对简单的相关问题上取得了进展。在 9 月发表的一篇论文中,高等研究院的 Paul Nelson 解决了亚凸界问题(subconvexity problem),这是黎曼猜想的一种轻量级版本。证明本身是一项重大成就,让人们期待与素数相关的更大发现。Nelson 表示:“这是一个有点牵强的梦想,但是你可以非常乐观地希望,也许我们可以研究这样的问题来了解黎曼猜想是怎么回事。”黎曼假设和亚凸界问题很重要,因为素数是数学中最基本的——也是最神秘的对象。当你将它们放在数轴上时,其分布方式似乎没有规律。但在1859 年,黎曼设计了名为黎曼 zeta 函数的对象——一种无限和——它推动了一种革命性的方法,如果得到证明,它将揭开素数的隐藏结构。证明它几年前还被视为是科幻故事。
1779 年瑞士数学家欧拉(Leonhard Euler)提出了一个后来闻名遐迩的难题:有六个军团,每个军团都有六名军衔不同的军官。是否可以将这 36 名军官排成一个6×6的方队,让方队每行每列中的军官所属的军团和军衔都各不相同。
如果是五个军团和五种军衔,或者是七个军团和七种军衔,这个难题容易解决。在为 36 名军官的情况寻找解决方案无果之后,欧拉得出结论:“这种排列是不可能实现的,尽管无法给出严格的证明。”一个多世纪后,法国数学家 Gaston Tarry 证明,确实没有办法将欧拉的 36 名军官排列在一个 6×6 的方队中而不重复。1960 年,数学家使用计算机证明,只要军团和军衔数量是大于 2 的任何数字,解决方案就存在,但奇怪的是——6 除外。
2000 多年来,类似的谜题一直吸引着人们。世界各地的文化中都有“幻方”,即让每行和每列上所有数字相加的和都相等的数字方阵,以及“拉丁方阵(Latin squares)”,即每个符号在每行和每列中都出现一次。这些方阵被用于艺术和城市规划,也被人们娱乐。一种流行的拉丁方阵——数独——要求子方格中也没有重复的符号。欧拉的 36 名军官的谜题要求一个“正交的拉丁方阵”,其中两种属性——军衔和所属军团要同时满足拉丁方阵的规则。
尽管欧拉认为不存在这样的 6×6 方队,但游戏最近有了改变。在网上发布并提交给《物理评论快报》的一篇论文中,印度和波兰的一组量子物理学家证明,可以以符合欧拉标准的方式安排 36 名军官——只要这些军官拥有军衔和军团的量子混合。这是开发量子版本幻方和拉丁方阵工作的最新成果,这不仅是为了娱乐和游戏,还可以应用于量子通信和量子计算。
如果是五个军团和五种军衔,或者是七个军团和七种军衔,这个难题容易解决。在为 36 名军官的情况寻找解决方案无果之后,欧拉得出结论:“这种排列是不可能实现的,尽管无法给出严格的证明。”一个多世纪后,法国数学家 Gaston Tarry 证明,确实没有办法将欧拉的 36 名军官排列在一个 6×6 的方队中而不重复。1960 年,数学家使用计算机证明,只要军团和军衔数量是大于 2 的任何数字,解决方案就存在,但奇怪的是——6 除外。
2000 多年来,类似的谜题一直吸引着人们。世界各地的文化中都有“幻方”,即让每行和每列上所有数字相加的和都相等的数字方阵,以及“拉丁方阵(Latin squares)”,即每个符号在每行和每列中都出现一次。这些方阵被用于艺术和城市规划,也被人们娱乐。一种流行的拉丁方阵——数独——要求子方格中也没有重复的符号。欧拉的 36 名军官的谜题要求一个“正交的拉丁方阵”,其中两种属性——军衔和所属军团要同时满足拉丁方阵的规则。
尽管欧拉认为不存在这样的 6×6 方队,但游戏最近有了改变。在网上发布并提交给《物理评论快报》的一篇论文中,印度和波兰的一组量子物理学家证明,可以以符合欧拉标准的方式安排 36 名军官——只要这些军官拥有军衔和军团的量子混合。这是开发量子版本幻方和拉丁方阵工作的最新成果,这不仅是为了娱乐和游戏,还可以应用于量子通信和量子计算。
一项新证明驱散了数学家担心可能会笼罩数轴的阴云。它提供了另一套工具理解算术的基本结构单元——素数。在去年 3 月发表的一篇论文中,德国哥廷根大学的 Harald Helfgott 和加州理工学院的 Maksym Radziwiłł 提出了一个改进的解决方案,可以解决 Chowla 猜想的特定公式,Chowla 猜想是一个关于整数之间关系的问题。该猜想预测一个整数是否有偶数或奇数个素因数,并不影响后一个或前一个整数是否也有偶数或奇数个素因数。也就是说相邻的数字不会共有一些最基本的算术属性。
这种看似简单的探究与数学中关于素数本身的一些最深层次的未解难题交织在一起。加州大学洛杉矶分校的陶哲轩表示,证明 Chowla 猜想是回答那些更棘手问题的“某种热身或垫脚石”。然而几十年来,“热身”本身就成了一项几乎无可能完成的任务。几年前数学家取得了些许进展,陶哲轩当时证明了对数 Chowla 猜想,它是该问题的一个简单版本。虽然他使用的技术被誉为颇具创新性并令人兴奋的,但是它产生的结果不够精确,对在相关问题(包括素数问题)上取得更多进展没什么帮助。数学家盼望能有一个更强大、更广泛适用的证明。现在 Helfgot t和 Radziwiłł 实现了这一点。他们的解决方案将图论中的技术直接引入数论的核心,重新点燃了证明 Chowla 猜想的希望——最终引导数学家找到解决一些最难以捉摸问题所需要的思路。
这种看似简单的探究与数学中关于素数本身的一些最深层次的未解难题交织在一起。加州大学洛杉矶分校的陶哲轩表示,证明 Chowla 猜想是回答那些更棘手问题的“某种热身或垫脚石”。然而几十年来,“热身”本身就成了一项几乎无可能完成的任务。几年前数学家取得了些许进展,陶哲轩当时证明了对数 Chowla 猜想,它是该问题的一个简单版本。虽然他使用的技术被誉为颇具创新性并令人兴奋的,但是它产生的结果不够精确,对在相关问题(包括素数问题)上取得更多进展没什么帮助。数学家盼望能有一个更强大、更广泛适用的证明。现在 Helfgot t和 Radziwiłł 实现了这一点。他们的解决方案将图论中的技术直接引入数论的核心,重新点燃了证明 Chowla 猜想的希望——最终引导数学家找到解决一些最难以捉摸问题所需要的思路。