浙大哈佛剑桥学者联手破解数学界几十年的谜题,成果登上数学顶刊

全世界只有3.14 % 的人关注了

爆炸吧知识

转自:量子位
作者:边策 萧箫

当两个看似“无关”的数学领域发生碰撞,会发生什么?

浙江大学研究员、中科大数学系2003级校友叶和溪,与来自剑桥大学、哈佛大学的两位学者一起,将动力系统应用到数论中,解开了困扰数学家长达数十年的难题。

研究成果发表在数学界顶级期刊《数学年刊》(Annals of Mathematics)上,该学术期刊为双月刊,近两年每年仅发表三十多篇学术论文。

这也是浙大40多年来首次在该期刊上发表成果。

叶和溪结合动力系统方法,证明了数论中一个非常重要的问题。

动力系统,主要研究空间中所有点随时间变化的情况。这门学科最著名的便是“蝴蝶效应”中的洛伦茨吸引子。

△洛伦茨吸引子

然而数论,研究的却是整数的性质。

这两个看起来风马牛不相及的领域,被数学家们巧妙地被结合到一起。

它们是怎么联系起来的,首先还得从两个方程说起。

两个方程

  • 1、y²=x³+ax+b

  • 2、f(z)=z²+c

第一个方程表示椭圆曲线,当a和b不断变化时,椭圆曲线形状各不相同,就像是从曲线中挤出一个“气泡”。

椭圆曲线是数论中的重要工具,数学家证明费马大定理就用到了它。

在椭圆曲线上,你甚至可以对两个点做加法

假设有两个点P、Q,那么PQ连线与曲线的第三个交点R对x轴的镜像点,就是P+Q。R的镜像点记为-R,即-R=P+Q。

因为椭圆曲线是上下对称的,所以P+Q也一定在椭圆曲线上。

那么P点和它自己相加(P+P)怎么计算?

想象一下Q点越来越靠近P点,最后PQ两点的连线就变成P点处的切线,所以P+P就是这个切线与椭圆曲线交点的镜像点。

如果P点反复加上自己,经过有限次加法后(P+P+……+P)又回到P点,那么P就叫做“挠点”(torsion point)。

再看第二个方程数学公式: f(z)=z^2+c,它不是二次曲线,而是与另一门数学分支动力系统有关。

z在这里不是实数,而是实数+虚数。如果我们画出一个平面坐标,横坐标代表它的实数部分,纵坐标代表它的虚数部分,z就是一个点。

我们把z、f(z)两个点画在这个平面上,再把f(z)带入方程得到f(f(z)),然后再得到f(f(f(z)))……

如此“无限套娃”操作,把所有的点都画出来,可以得到以下图形。

有些人可能已经发现,这不就是分形吗,怎么和椭圆曲线联系起来了?

上面的图形范围有限,说明某些z值在经过无限套娃后,还是有限的数值。

假设c=-1,z的初始值为2,那么得到的数字组合是2、3、8、63……,这组数会一直增大;如果z的初始值是0,那么接来下的数分别是-1、0、-1、0……,会一直循环下去。

对于第二种情况,无限次迭代后的每个点都在有限范围内,这些有限范围内的点组成的集合,就是“朱利亚集合”(Julia set)。

在动力系统中,像-1、0、-1、0……这样,不仅范围有限,还能够回到起点的一组点,称为“有限轨道点”(finite orbit point)。

这样,椭圆曲线就和动力系统联系起来了,有限轨道点便是椭圆曲线上挠点的模拟。

叶和溪的导师DeMarco说:“椭圆曲线上的挠点与某个动力系统的有限轨道点相同,这就是我们在论文中反复使用的内容。”

证明数学猜想

但这三位数学家研究的问题——Manin-Mumford猜想——比上面复杂得多。

Manin-Mumford猜想是比椭圆曲线更复杂的曲线,例如y^2 = x^6 + x^4 + x^2 −1,每个不同参数的曲线都与一个几何体关联。

Manin-Mumford猜想于1983年被Raynaud证明,即亏格(genus)大于1的任意光滑代数曲线上至多只有有限个挠点。

对于封闭的有向曲面而言,亏格就是曲面的“洞”数量。

椭圆曲线对应的几何体是亏格为1的“甜甜圈”。

叶和溪等人将Manin-Mumford猜想又推进了一步,他与Holly Krieger、Laura DeMarco一起,结合动力系统证明了,在亏格为2的情况下,光滑代数曲线挠点数量不仅有限,而且具有一致上界。

与椭圆曲线不同的是,Manin-Mumford猜想中的复杂曲线不具备允许做加法的结构。

但是它们对应的几何体却都可以做加法,而且像椭圆曲线一样具有挠点。

他们给出了待求的特定曲线簇的解的形状:像是两个甜甜圈的表面(亏格为2)。

其中,每个“甜甜圈”代表一个椭圆曲线。

而要证明挠点数量的上限,就需要计算出椭圆曲线上挠点之间的相交点数量

然而这两条椭圆曲线上的挠点不可能直接比较,因为它们不一定重叠。

几位学者想出了一种方法:比较它们是否在“甜甜圈”上各自处于相同的相对位置。

他们将两条椭圆曲线的解各自绘制在一张平面图上,以此来比较挠点的位置。

接下来,只需要计算这些点重叠的次数,就能给Manin-Mumford猜想一个明确的上界了。

这里,便是动力系统需要发挥作用的地方。

他们利用动力系统,证明了这些点只能重合特定的次数,而且这一次数确实存在——即Manin-Mumford猜想的上界确实存在。

对于他们的证明,来自加拿大约克大学的助理教授Patrick Ingram表示:

他们成功证明了一个特殊问题。此前,这个问题一直被归类于数论中,没人认为它与动力系统有关。这确实引起了极大的轰动。


与导师旧友一同解决重要猜想

事实上,猜想证明背后的三位学者,彼此也是导师与旧友的关系。

这其中,叶和溪与论文作者Holly Krieger,都曾经是Laura DeMarco的学生。

△Holly Krieger

2013年,他们在后者的指导下,获得了伊利诺伊大学芝加哥分校的博士学位。

在这之后,Laura DeMarco如今已是哈佛大学教授,而Holly Krieger也已经成为一名剑桥大学的数学讲师。

△Laura DeMarco

叶和溪则选择了回国,成为浙江大学的数学系研究员。

但这期间,他们并未停止共同研究的步伐。

2017年,叶和溪就曾与Laura DeMarco、Holly Krieger一起,研究了动力系统中有界高度的问题,成果于2019年发表。

而在2019年,继证明Manin-Mumford一致猜想之后,他们也对动力系统中的另一个问题进行了深入探讨,并采用了类似的研究方法。

目前,这篇文章以预印本的形式发表。

2020年4月15日,他们证明的Manin-Mumford一致猜想,最终成功刊登在《数学年刊》上。



中科大03级数学人才“井喷

在这次研究中做出不少贡献、来自浙江大学的研究员叶和溪,高中曾就读于福建省建瓯第一中学。

2003年,叶和溪进入中国科学技术大学数学系学习。

△ 图源:公众号@中国科大本科招生

本科毕业后,叶和溪选择出国深造,研究方向就是数学中的动力系统。

2013年,他在导师Laura DeMarco的指导下,完成了博士学位,毕业于伊利诺伊大学芝加哥分校。

在这之后,他曾经先后在多伦多大学、英属哥伦比亚大学从事博士后研究工作。

完成学术研究后,叶和溪于2016年回国任教。

与叶和溪一同入学的中科大数学系校友,也是人才辈出。

其中,至少5位学者的研究,再世界“四大数学顶刊”上发表过论文。

叶和溪同班同学郏浩、刘博、申述、张享文,也都已经在《数学发明》上各发表一篇论文。

还有许多与叶和溪、刘博一样学成归来的学子,如鲁汪涛、马杰、熊涛、张振、仲杏惠等中科大校友,毅然决然地放弃了国外的条件,回到国内继续从事数学研究。

△ 图源:公众号@中国科大本科招生

对于2003级学子在数学上取得的成就,中国科学院院士、南开大学陈省身数学研究所张伟平由衷地表示自豪:

事实证明,科大的学生不管考第几,到哪里都是一块好料。在同一个班就有这么多杰出的人才涌现,殊为罕见。

文转自量子位

作者:边策 萧箫

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

参考链接:

[1]

https://www.quantamagazine.org/with-arithmetic-dynamics-mathematicians-unlock-new-insights-20210222/ 
[2] http://www.math.zju.edu.cn/2020/0422/c38119a2087975/page.htm
[3] https://mp.weixin.qq.com/s/m0iFwivlfmSDKdfltR_Flw 
[4] 

https://docs.google.com/viewer?a=v&pid=sites&srcid=ZGVmYXVsdGRvbWFpbnx5ZWhleGltYXRofGd4OjQ3ZjkzYjc5YjcwNTYxOTA 
[5] https://arxiv.org/abs/1511.06081

点这里????关注我,记得标星~


本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/292455.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

pythontemp_python 临时文件夹 的 tempfile模块学习

python的临时文件夹的tempfile模块学习应用程序经常要保存一些临时的信息,这些信息不是特别重要,没有必要写在配置文件 里,但又不能没有,这时候就可以把这些信息写到临时文件里。其实很 多程序在运行的时候,都会产生一…

Hibernate 参数设置一览表

Hibernate 参数设置一览表属性名用途hibernate.dialect一个Hibernate Dialect类名允许Hibernate针对特定的关系数据库生成优化的SQL. 取值 full.classname.of.Dialect hibernate.show_sql输出所有SQL语句到控制台. 有一个另外的选择是把org.hibernate.SQL这个log category设为d…

jsp将鼠标放到那显示信息

将下面的代码&#xff0c;粘贴复制到jsp<body></body>中<A href"#" οnmοuseοver"document.getElementById(aaa).style.display" οnmοuseοut"document.getElementById(aaa).style.displaynone">鼠标移动到这我就出来了&l…

Monkey测试实例

Monkey是Android中的一个命令行工具&#xff0c;可以运行在模拟器里或实际设备中。它向系统发送伪随机的用户事件流(如按键输入、触摸屏输入、手势输入等)&#xff0c;实现对正在开发的应用程序进行压力测试。Monkey测试是一种为了测试软件的稳定性、健壮性的快速有效的方法。1…

.NET Core Runtime vs .NET Framework Runtime

在我从 .NET Framework 到 .NET Core 的过渡期间&#xff0c;有一件事情让我很长时间都感到困惑&#xff0c;那就是 Runtime 运行时&#xff0c; 实际上 Runtime 在 .NET Framework 和 .NET Core 中具有不同的含义。.NET Framework 运行时的历史 当有人问我们&#xff0c;什么是…

linux下ctrl 常用组合键

Ctrlc 结束正在运行的程序 Ctrld 结束输入或退出shell Ctrls 暂停屏幕输出【锁住终端】 Ctrlq 恢复屏幕输出【解锁终端】 Ctrll 清屏&#xff0c;【是字母L的小写】等同于Clear Ctrla 切换到命令行开始 Ctrle 切换到命令行末尾 Ctrlu 清除剪切光标之前的内容 Ctrlk 清除剪切光标…

“玻璃大王”曹德旺捐资100亿办大学!幼年失学的他要打造理工科研究型大学...

全世界只有3.14 % 的人关注了爆炸吧知识本文转自募格学术整理自&#xff1a;量子位&#xff08;作者贾浩楠、鱼羊&#xff09;、青塔等100亿投资&#xff0c;福建省迎来第一个“新型大学”。办学资金&#xff0c;来自生长于福建&#xff0c;在福建发家致富的“玻璃大王”曹德旺…

python进程join的用法_python 进程介绍 进程简单使用 join 验证空间隔离

一、多道程序设计技术(详情参考&#xff1a;https://www.cnblogs.com/clschao/articles/9613464.html)所谓多道程序设计技术&#xff0c;就是指允许多个程序同时进入内存并运行。即同时把多个程序放入内存&#xff0c;并允许它们交替在CPU中运行&#xff0c;它们共享系统中的各…

北京易维清的自荐

北京易维清是什么东西呢&#xff0c;是一家以asp.net、winform、MVC源代码生成器为主打产品&#xff0c;同时兼顾信息管理系统项目开发的信息技术公司&#xff0c;更多信息可以访问www.evkchina.com 不过这里不是北京易维清的广告也不是产品说明书&#xff0c;广告什么的都是浮…

PHP的学习--PHP的闭包

php的闭包&#xff08;Closure&#xff09;也就是匿名函数&#xff0c;是PHP5.3引入的。 闭包的语法很简单&#xff0c;需要注意的关键字就只有use&#xff0c;use是连接闭包和外界变量。 $a function() use($b) {} 简单例子如下&#xff1a; function callback($fun) { $fun(…

JAVA配置Tomcat

1.下载tomcat&#xff0c;我jdk是1.8的&#xff0c;网上查了一下&#xff0c;说要安装tomcat8及以上的tomcat 尝试点击&#xff0c;弹出&#xff0c; 2.配置环境 3.安装通过cmd安装 4.点击开启服务 5.输入localhost:8080查看 6.还可以通过tomcat8w.exe来启动窗口&#xff0c;开…

如何使用 C# 判断一个文件是否为程序集

程序集是经由编译器编译得到的&#xff0c;供 CLR 进一步编译执行的那个中间产物。它一般表现为 .dll 或者是 .exe 的格式&#xff0c;但是要注意&#xff0c;它们跟普通意义上的 WIN32 可执行程序是完全不同的东西&#xff0c;程序集必须依靠 CLR 才能顺利执行。程序集是 .NET…

Android之手机文件夹目录详解

android系统的手机文件夹目录详解一、文件夹1./acct/系统回收站&#xff0c;删除的系统文件。2./cache/缓存3./data/用户的所有程序相关数据app/所有用户安装的apk文件app-private/data/每一个应用的数据com.xx.appname/每一个应用的数据都存放在本目录下的一个以包名为命名的文…

女孩看男孩VS男孩看女孩

1 这波猫粮我吃了&#xff01;2 论一只狗子的自娱自乐精神&#xff01;3 分享一个 “想死你了”的拥抱&#xff01;4 老师&#xff1a;下课铃不代表这节课上完了5 谁怕谁啊&#xff01;6 好像很有道理的样子7 将它们展开会是什么&#xff1f;你点的每个赞&#xff0c;我都认真当…

利用js对table动态增加和删除行(附带table样式,鼠标滑过和点击样式)

看了一下午各种大牛关于js动态画表的文章&#xff0c;自己也手痒写了一个。附带了一些table的样式&#xff0c;鼠标滑过和选择的样式。有用的拿去参考&#xff0c;有意见和想法的也随时欢饮交流&#xff0c;本人只是用firefox和IE11测试可用。下面是htm代码&#xff1a;<bod…

Struts 2.x No result defined for action 异常

这是我跑struts2的第一个例子&#xff0c;跑的也够郁闷的&#xff0c;这个问题烦了我几个钟。。。 2011-5-10 10:10:17 com.opensymphony.xwork2.util.logging.commons.CommonsLogger warn警告: Could not find action or resultNo result defined for action com.augur.action…

python 文件写入多个参数_pandas 把数据写入txt文件每行固定写入一定数量的值方法...

我遇到的情况是&#xff1a;把数据按一定的时间段提出。比如提出每天6:00-8:00的每个数据&#xff0c;可以这样做&#xff1a;# -*-coding: utf-8 -*-import pandas as pdimport datetime#读取csv文件dfpd.read_csv(A_220DoWVC.csv)#求ave_time这一列的平均值aveTimedf[ave_tim…

使用建造者模式创建模拟数据

前言在写测试用例时&#xff0c;我们经常需要创建模拟数据&#xff0c;在C#中常用的方式是使用nuget包Bogus。Bogus可以按照一定规则生成随机数据&#xff0c;示例代码如下&#xff1a;public class User {public string Name { get; set; }public int Age { get; set; }public…

字符串之将整数字符串转成整数值

题目: 字符串之将整形字符串转成整数值,并且属于32位整数范围 例如: str = "123" 返回 123 str = "012" 不符合书写习惯,所以返回0 str = "A12" 返回0 str = " 0" 返回 0 str = "214783647" 返回 2147836…

JMeter学习(六)集合点

JMeter也有像LR中的集合点&#xff0c;本篇就来介绍下JMeter的集合点如何去实现。 JMeter里面的集合点通过添加定时器来完成。 注意&#xff1a;集合点的位置一定要在Sample之前. 集合点&#xff1a;简单来理解一下&#xff0c;虽然我们的“性能测试”理解为“多用户并发测试”…