量子计算机、奥数AI……这是2020计算机、数学的重大突破

新闻 人工智能
国外知名科普网站Quanta Magazine,对2020年计算机、数学这两门学科的几项重大突破,进行了盘点。

 本文经AI新媒体量子位(公众号ID:QbitAI)授权转载,转载请联系出处。

数学和计算机的关系,一直是你中有我、我中有你。

计算机程序离不开数学,同时也给数学计算带来便利。

国外知名科普网站Quanta Magazine,对2020年计算机、数学这两门学科的几项重大突破,进行了盘点。

这里面,有困扰了数学家50余年的谜题破解,也有AI与数学结合的身影。

当然,两名数学家疫情隔离期间,破解陶哲轩挑战失败的百年数学问题,也榜上有名。

一起来看看。

TOP1:“量子纠缠”重大突破

今年,计算机领域最重要的突破,是MIP*=RE的证明。

它的证明,意味着利用量子逻辑来计算的量子计算机(而非利用0和1进行计算的经典计算机),可以从理论上验证大量问题的答案。

来自悉尼科技大学、加州理工学院、德克萨斯大学奥斯汀分校、和多伦多大学的五位计算机科学家,将研究成果联名发表在了一篇叫做《MIP * = RE》的论文上。

[[373418]]

这篇论文证明,由经典验证与多个量子理论验证相互作用而确定的语言类别MIP,等同于递归可枚举语言类RE。

也就是说,MIP*=RE多方交互式证明、加上量子纠缠的计算能力,给图灵停机问题提供了一个思路。

对于这篇论文的结论,物理学家在里面看到Tsirelson的物理问题的答案,数学家在里面得到了Connes嵌入猜想的答案。

作者之一的Henry Yuen说道:“如同盲人摸象一样,不同科学领域的人,领略到不同部分,虽然都是正确的,但是都还没搞清楚大象的原貌。”

80年代,计算机科学家发明了交互证明理论和概率可验证明(PCP),MIP* = RE则是经典的PCP定理,能够在量子纠缠的帮助下递归到无穷。

论文得出结论说,两台机器相互纠缠、相互验证,可以用于解决图灵停机问题。同时,还证明了Connes嵌入猜想是错误的。

量子计算机、奥数AI……这是2020计算机、数学的重大突破

他们还引用了经典的两个博弈互证游戏Bell / CHSH,两者无穷无尽的纠缠验证,会提高游戏的胜率。所以最终问题,还是怎么让这个纠缠验证的过程停止的问题。

此外,这篇论文的一作,是悉尼科技大学量子软件与信息中心季铮锋教授。

季铮锋曾于2007年,获得清华大学计算机科学与技术的博士学位。

[[373419]]

论文地址:
https://arxiv.org/abs/2001.04383

TOP2:破解“康威扭结”

今年6月,英国著名数学家约翰·康威(John Conway)因患新冠肺炎逝世,留下一个困扰数学界50年的难题“康威扭结”(Conway Knot)。

在他逝世一个月之后,德州大学奥斯汀分校的一位博士小姐姐Lisa Piccirillo,花了一周的时间将其解决了。

[[373420]]

多年来,数学家们发现了形形色色的扭结,这些结在拓扑学上可切,但并不是平滑可切。然而,这些扭结的交叉都大于12。

而在交叉点数小于12的扭结中,只有康威结的切片状态一直无法找到。

量子计算机、奥数AI……这是2020计算机、数学的重大突破

康威扭结是否平滑可切为何如此重要?

因为平滑可切的扭结,为数学家提供了一条探索四维空间奇特属性的途径

所以,康威扭结是否为平滑可切,成为了扭结理论重大突破的硬性标准。

Lisa认为,如果可以为康威扭结构造一个相同迹的扭结,那么也许可以更好地与可切不变性配合使用。

于是,她设法构造了一个复杂的扭结,它的迹与康威扭结相同。Lisa使用了一种叫做拉斯穆森S不变量(Rasmussen’s s-invariant)的工具。

结果显示她构造出来的扭结不是平滑可切的,因此推断出,康威扭结也不是平滑可切的。

量子计算机、奥数AI……这是2020计算机、数学的重大突破

“这是一个非常美丽的证明。”数学家们纷纷赞叹说。

阅读延伸:
https://mp.weixin.qq.com/s/4wGmSxKGFVEqW_wdWWVtog

TOP3:参加IMO的AI

数学已经有了数千年的发展历史,而人类的记忆力有限,即使是一流的数学家,也记不住全部的数学公式和定理。

于是很多数学科学家转向了“数学数字化”,将数千年累积的数学成果,建成一个数字图书馆。

在微软的一个名为Lean的软件程序上,数学家们建立了一个叫做Mathlib的数学基础数据库,这个数据库录入了数学专业大二学生应学到的所有知识。

他们将数学知识汇编成计算机语言,在庞大的数学公式定理库基础上,解决数学难题。

Lean做题的方法跟象棋、围棋AI的算法相同,都是遵循决策树,直到算法找到最优解。

[[373423]]

目前,Lean正在筹划参加下一届的IMO(国际奥数竞赛),比赛结果尚未可知,也有不少人持悲观结果态度。

但是AI做复杂的数学题,是有特别成功案例的。

来自斯坦福大学、卡内基梅隆大学、罗彻斯特理工学院的几位计算机研究者,通过AI的方式,仅用40台电脑、30分钟就解决了困扰数学家90年之久的凯勒猜想。

阅读延伸:
https://mp.weixin.qq.com/s/bDD6-KAwLWPFAdV8khfIRw

那么,这一年在数学和计算领域还有什么新的突破呢?

几何学进展

内接方形问题

疫情期间,两位被封闭在家的科学家Andrew Lobb和Joshua Greene觉得百无聊赖。

于是他们动了动手指,解决了一个困扰百年的数学问题,这个数学难题,连陶哲轩都挑战失败了。

这个问题是:任何简单闭合环路,是否总能在其上找到四个点形成一个任意长宽比矩形?

这个问题也叫做内接方形问题,源自1911年。德国数学家Otto Toeplitz预测称,任何简单闭合曲线,都包含四个可以连接形成正方形的点。

量子计算机、奥数AI……这是2020计算机、数学的重大突破

这句话听起来很简单,但从古至今,多少数学家费尽脑汁都没有证明出来。

1977年,数学家Herbert Vaughan使用莫比乌斯带解这个内接矩形问题,取得了突破性的进展。

他证明,在三维空间的任何闭合环路中,都至少存在这样四个点,能够构成一个矩形。

天才数学家陶哲轩,使用积分方法,解决了特定情况下的内接方形问题。

他用积分方法证明,在曲线由两个常数小于 1 的 Lipschitz 图形组成的这种特殊情况下,该曲线一定存在四个能组成正方形的点。

但是两者都未证明:是否任意长宽比的矩形(包括正方形)都能存在。

在Andrew Lobb和Joshua Greene的方法中,他们将莫比乌斯带嵌入四维辛空间中,证明了莫比乌斯带可以嵌入到四维辛空间中而不相交。

这意味着每一个封闭的光滑曲线必须包含四个点的集合,这四个点可以连接在一起形成所有长宽比的矩形。

延伸阅读:
https://mp.weixin.qq.com/s/E-I_3C-3m0KTI1XjYaKWcA

十二面体的新发现

数学家花了2000多年的时间,来研究正四、六、八、十二、二十面体,这些特殊形状也叫做柏拉图多面体。多年来,数学家仍对对它们知之甚少。

关于柏拉图多面体一直有个思考,假设从柏拉图立体的一个角出发,是否存在一条直线路径,不用经过其他角,就可以回到原来的角?

[[373425]]

对于等边三角形或者正方形组成的四面体、立方体、八面体、二十面体,科学家得出的具体结论是:不存在。必须经过其他角,否则永远回不到出发点。

然而正十二面体是由五边形组成,是否也符合这个定理?

Jayadev Athreya,David Aulicino和Patrick Hooper在《实验数学》杂志上发表了关于十二面体的研究。

[[373426]]

他们认为,由于正十二面体由五边形组成,五边形和正十二面体又有几何上的联系,前者的高度对称性可以用于阐明后者的结构。

因此,研究者能够识别十二面体回到出发点所有直线路径,并根据十二面体的隐藏对称性对这些路径进行分类。

正十二面体存在无数条这样的直线路径,这些路径还可以划分为31个自然族。

论文地址:
https://www.tandfonline.com/doi/abs/10.1080/10586458.2020.1712564

数学思想的升华

升级Langlands数学桥

17世纪法国数学家提出了“费马最后的定理”。断言,当整数n>2时,关于x,y,z的方程x2+y2=z2没有正整数解。

1995年,它被英国数学家安德鲁·威尔斯(Andrew Wiles)证明,经历了300多年。

威尔斯同时提出了数学桥的概念。意思是,这个等式就是两个数学领域之间的桥梁,连接好这座桥,就解开了这个不定式。

然而这只是Langlands项目的一小部分。Langlands项目由加拿大数学家罗伯特·兰兰兹(Robert Langlands)提出,旨在研究数论几何之间联系的网络猜想,被看作是现代数学研究的最大项目。

[[373427]]

△加拿大数学家Robert Langlands

数学家们将这个方法扩展到有理数系数和椭圆曲线之间的联系。最近,还覆盖到了简单的无理数系数。但是涉及到了虚数,或者更高的指数,例如4或5,他们方法也不奏效了。

于是,芝加哥大学的Frank Calegari和Facebook的科学家David Geraghty为了克服上述障碍,在网上发布论文,是关于怎么建立一个更加通用的不定式的桥梁,并提出了三个猜想。

为了证实这三个猜想,数学家们迅速举办了一个秘密的研讨会,整理成了有10个人署名的论文。

虽然这篇论文的研究成果在数学领域的Langlands项目中取得了巨大的突破,但是对于指数大于6,或者2个变量以上的不定式,仍旧没有解决办法。

所以,Langlands项目还有拓展空间

数学论文地址:
https://arxiv.org/abs/1812.09999

多项式与幂级数

物理学中的排斥力,在数学中也存在。

多伦多大学的 Vesselin Dimitrov,就证明了它们的存在,并且获得了实验结果。

一般情况下,多项式的根数与其次数值一样多。所以X2 - 4具有两个根,而X 5 - 7 X 3 + 2 X 2 - 4 X - 9有五个根。

数学家很想知道多项式的根与根之间有什么联系。

这里引入一个分圆多项式,所谓的分圆多项式就是不可约的多项式,数学家发现其根遵循特定的几何方式,根都分布在一个圆内,取名叫做“团结之根”。

量子计算机、奥数AI……这是2020计算机、数学的重大突破

但是实际上,大多数都是非分圆多项式。

数学家预测,每个非分圆多项式必定有一个根在圆外。

他们猜想这个是由于“排斥力”,就像物理中的电子一样,它们最小的根落在圆内,像磁铁一样拥有排斥力,将其他根排斥到圆外。

但是长期以来,数学家们没能证明这个理论。

Dimitrov做到了,他将多项式的根的大小的问题转换成幂级数。幂级数就像多项式,有无限个解。

他从一个非分圆多项式入手,找到它的根,并把这些根取不同的幂,再将它们相乘,然后取这个积的平方根。最后,根据这个平方根,构建出一个具有多项式本质属性的幂级数。

Dimitrov证明了幂级数的系数必然是整数,如果它的Hankel determinants也很大,那么,非分圆多项式的一个初始根必然也很大。于是,就证明了多项式的根与幂级数之间的联系。

其他数学家评论说:“他的方法很精妙,间接证明了关于排斥力的猜想。”

参考链接:
https://www.quantamagazine.org/new-math-measures-the-repulsive-force-within-polynomials-20200514/

Duffin-Schaeffer猜想被证

来自牛津大学的青年数学家詹姆斯·梅纳德(James Maynard)攻下了困扰大家80年的数学难题——Duffin-Schaeffer猜想。

Duffin-Shaeffer猜想是度量丢番图逼近中的一个重要猜想,由物理学家Richard Duffin和数学家Albert Schaeffer在1941年提出。

众所周知,大部分的实数都是π、√2这样的无理数,它们是无法用分数来表示的。

这个猜想假设 f:N→R≥0是具有正值的实值函数,只有当级数:

量子计算机、奥数AI……这是2020计算机、数学的重大突破

是发散的(q>0,φ(q)为欧拉函数,表示比q小且与q互质的正整数的个数),对于无理数 α 而言,就存在无穷多个有理数,满足不等式 | α-(p/q) |< f(q)/q。

这个证明过程困扰数学家数年,James Maynard和蒙特利尔大学的Dimitris Koukoulopoulos将它攻破了。

在他们的证明中,他们用分母创建了一个图:把分母绘制成图上的点,如果两个点有许多共同的质因数,就用线将两点连接起来。

量子计算机、奥数AI……这是2020计算机、数学的重大突破

这样一来,图的结构就编码了每个分母所近似的无理数之间的重叠。原本这种重合度是难以直接测定的。

由此,他们证明了Duffin-Schaeffer猜想的正确性

阅读延伸:
https://mp.weixin.qq.com/s/vsjFvYZBfYdGf7NM4TgRqg

以上就是Quanta Magazine评选出来的,今年计算机-数学领域最重要的几项研究进展。

你认为这里面,哪些研究更有学术价值?

又或者说,是否还有没上榜单的,但同样是今年重大的研究突破?

 

责任编辑:张燕妮 来源: 量子位
相关推荐

2010-10-19 13:36:23

自旋计算机

2012-06-20 10:40:36

量子计算机

2021-01-27 14:18:17

量子计算传统计算量子机器

2021-04-19 14:22:38

量子计算芯片超算

2018-10-08 14:10:46

2021-05-27 08:30:00

计算机互联网 技术

2012-02-29 10:02:59

IBM量子计算机超级计算机

2020-10-20 10:20:39

人工智能AI

2021-12-24 12:16:56

量子计算机分子模拟保护数据

2023-06-27 11:42:16

量子计算机超级计算机

2017-11-21 18:03:00

2021-07-02 10:00:04

量子计算技术钢铁

2014-06-17 09:35:14

量子计算机永不出错

2022-04-11 10:51:57

计算机晶体科学

2020-04-16 14:55:02

量子计算机Intel技术

2022-05-26 15:10:31

量子计算机

2019-04-15 10:35:27

量子计算机芯片超算

2023-07-13 11:48:18

量子技术量子计算机

2020-01-13 07:58:30

Google 开源技术

2013-04-03 10:28:24

超算量子计算机
点赞
收藏

51CTO技术栈公众号