李东关於杨米尔斯存在性与质量间隙问题的论文发出来以後,顿时吸引了全球所有人的目光。
要是换做平时的话,第一时间关注这个事的,无非就是数学圈或者物理学圈。
但这一次,却加上了杠精圈。
因为李东发的这篇论文的时间实在太巧了。
大家前几天还在杠,数学家是不是不如a啦?不,甚至是顶尖的数学家都不如a啦。
毕竟7道千禧年难题,人类数学家只攻破了一个。
而a在这些某些的眼里已经攻破了一个半猜想了,甚至马上第二个、第三个也会跟着出来。
所以李东这篇论文的出现,就是在赤裸裸的打他们的脸。
华夏,南开大学数学科学院的一间男生寝室里。
此时寝室的灯已经熄了。
一个男生正在自己的床位上,刷着短视频。
这时,手机的顶部弹出了一条新华社的新闻。
【千禧年七大数学难题之一的,杨米尔斯存在性与质量间隙的问题,已被人类数学家菲尔兹奖、诺贝尔物理学奖李东院士攻克。】
男生的笑容僵住了,然後揉了揉眼睛,最後点进了这篇新闻里。
1分锺後……
安静的男生寝室里突然传出了一声吼叫。
“卧槽,牛逼呀!”
寝室里的其他人被这一声吓激灵。
“刘阳,你神经病吧?大半夜的不睡觉,你在这发什麽疯?”
“你们快看,李东,不,东神……东神他把杨米尔斯存在性与质量间隙的问题给解决了。”
原本那几个迷迷糊糊的室友,听到这话,立马坐了起来。
“卧槽,真的?”
“真的,新华社刚发的视频。”
“好好好。”
“上次在评论区给我杠a比数学家牛逼的逗比们,等着,你们的爸爸回来了。”
然後几人都翻身下床,有的拿手机,有的开电脑,就准备开始在新的战场里战斗。
然而当一切都准备就绪的时候,他们却找不到战场了。
整个网络上,除了新华社的视频以外,就没有任何的营销号、科普号来报道这件事情,顶多就是转发了一下新华社的那个视频。
“哎,不对呀!这些营销号还有科普博主,今天动作这麽慢吗?这麽大的新闻,不第一时间起来蹭热度?”
又过了10分锺,他们实在找不到战场了,其中一个室友提议道。
“要不咱们就在官媒下面去战斗?”
“你傻呀,在官媒下面战斗,我们的战斗力会被限制的。”
“哎,也是,那就再等等吧,那些营销号搞快一点啊。”
……
淩晨2点,天津nk区,一个建於上世纪90年代末的老小区里。
周旭是一个拥有120万粉丝,专门科普和杨先生相关知识的科普博主。
此时他正红着眼睛,看着眼前pmj上的论文。
他短视频的後台里,催更的消息已经到达了999的上限了。
但他一条都没有回复,因为此时的他三观有点崩溃。
他自认为对杨先生的所有研究都有着很深的理解。
虽然他不是做科研的,但宇称不守恒啊、非阿贝尔规范理论啊,他都能给他的观众科普的清清楚楚。
更别说是千禧年难题之一的杨米尔斯存在性与质量间隙的问题了。
可是现在眼前的这篇论文,他才刚看到第一页的规范协变分块消元变换的时候,就直接卡死了。
“这是啥啊?”
“为什麽把块内的场变量积掉以後,块边界的规范协变性还能保留下来啊?这个平行输运又是怎麽放进去的?”
这个新出现的数学工具,他别说没见过了,听都没听说过。
於是他连忙打开网页,开始在网上搜索。
然而却没有找到任何和这个新工具相关的条目。
然後他又试着把工具名拆开,把後面的变换去掉,又把前面的限定词带上。
这下倒是能搜出一些相关的东西了,他也能看懂。
可是网页上搜索的东西和这个新工具不是一回事,根本就没办法带入论文里。
最後他实在没办法了,就点开了pna的界面,将这个数学工具里关於块边界的定义和那一步积分复制了上去。
然後让pt告诉他这个数学工具到底是怎麽出现的?为什麽能让分块後的有效作用量保持规范不变性?这个数学工具真的成立吗?
随着pt开始思考,时间一分一秒地过去了。
半个小时後,a总算给出了答案。
【这个方法对块内场变量积分时,破坏了边界的规范协变性,所以规范协变分块消元变换法是错误的。】
周旭看着这个结果,整个人愣住了。
错误的?
他又看了看自己刚才给的条件,是不是给少了?
没少啊。
这个时候要是换做其他人写的论文,他可能都开始准备打假了。
但这是李东院士的论文啊,他怎麽可能会出错?
他皱着眉头想了想,最後又把这个问题换了一个问法。
他把问题的最後一句“是否成立”换成了“请逐步推导到这一步”。
这一次,a又开始了漫长的思考。
一个小时以後,周旭都快以为a被卡死了,它终於给出了回复。
【块边界保留的平行输运与边界收缩规范指标後,端点的规范变换因子相互抵消,因此……略】
【所以,这个数学工具成立。】
就在周旭以为a已经回复完了的时候,聊天窗口里又给出了a自己的判断。
【这一工具为非微扰规范场的多尺度分析提供了新的构造途径。】
【是数学史上最伟大的数学工具之一。】
周旭:???
不是,同样的一个数学工具,同样的a居然给出了两种截然相反的结果?
周旭看着两次回复,越看越觉对劲。
“难道说我第一次将这个数据给到a的时候,a其实并没有理解。”
“因为这个工具没有记录在它的知识库里?”
“而我第二次问它的时候,它已经将这个新工具学习了,而且加入了它的知识库?”
“并且还光明正大的给人类上课了?”
想到这里,周旭心里突然有一些不舒服。
总感觉好像人类的智慧被剽窃了一样。
不过他很快就压下了这样的念头,剽不剽窃的不重要,重要的是他现在是要把这篇论文给啃透,然後给读者科普赚钱啊。
所以他拿着a给出的答案,开始理解这篇论文里的规范协变分块消元变换。
半个小时以後,他终於看懂了这一步。
就在他高高兴兴开始看第一页的第二段的时候,又愣住了。
“反射正性相容拚接法?”
“不是,这又是啥工具呀?”
不过这一次,他没有耽搁太多的时间。
依然是依样画葫芦,把这一个数学的新工具扔给了a。
然而这一次,两个小时过去了,a依旧还在思考……
就在他都快等睡着的时候……
“滴~滴~”
也不知道是谁家的车堵在了老小区的门口。
周旭被汽车的喇叭声吵醒,朝着窗外看了一眼。
此时他才发现,阳光不知什麽时候已经照进了卧室里。
“哢嗒。”
邻居家老王的开门声,传进了卧室里。
“老婆,今晚我加班,就不回来吃饭了啊。”
接着就是脚步声下楼的声音。
最後是楼下早餐店拉开卷帘门的声音。
“老板,一杯豆浆,两笼小笼包。”
“好嘞。”
出门的人渐渐多了,招呼声、答应声从楼道一直传到了街边。
汽车还在按着喇叭,但喇叭声却慢慢的被越来越大的人声压了下去。
周旭再次看向了屏幕,a还在思考。
而且还看不见它思考的过程,他突然觉要是现在是个人在给他讲这个数学工具,那该是多好。
其实此时不光他在做着这种事,其他的一些科普博主,甚至还有一些大学教授,也在做着同样的事。
因为这些新的数学工具太陌生了。
他们连这些工具都看不懂,又怎麽能看懂这篇论文呢?
……
而此时,洛杉矶还是下午。
陶哲轩电脑屏幕上的论文依旧在第一页,只不过他此时已经看到了第一页的最末尾处。
这篇论文的第一页一共800多个单词,其中出现了13个全新的数学工具。
前面12个他花了8个小时,已经全部理解了。
但是第13个数学工具,却已经整整卡住他4个小时了。
“局域谱隙拚接法?”
局域谱隙的估计,他并不陌生。
可是在这篇论文里,如果他用传统的有界扰动估计,拚接的区域越多,误差就会越来越大,最後根本证明不了整体谱隙大於0。
而李东这里给出的新的局域谱隙拚接法,却能很好地控制这些误差,最後一个不随体积增大而消失的正下界。
陶哲轩又把这一步重新看了一遍,还是没弄明白为什麽边界上的误差可以这样估计。
他下意识地端起旁边的咖啡喝了一口,完全没有感觉到这杯咖啡已经凉透了。
又过了5分锺,他叹了口气,拿出电话打了出去。
“喂,布鲁诺教授吗?”
“ty,有什麽事吗?”
“你有在看李东教授的那篇论文吗?”
电话那头的布鲁诺沉默了,隔了好一会才说道。
“在看,现在看到第一页的第8个新数学工具了。”
“嗯,那稍微打断你一下,你觉接区域不断增加,那边界误差还能始终控制在局域激发能以下吗?”
随後,陶哲轩又将所需的条件简单地说了一遍。
“当然不行啊,我研究量子自旋系统这麽多年了,也遇到过这样的问题。”
“要是像你说的这样,那光凭各个区域内部的谱隙,是约束不了它们之间的相互作用的。”
“这样也就没办法保证这些相互作用带来的边界误差,会始终小於局域激发能了。”
说到这里,布鲁诺还反问了一句。
“ty,你怎麽会问这种常识性的问题呢?”
陶哲轩则是苦笑地说道。
“你看一下这篇论文第一页最後那个去除红外截断的地方,你就知道了。”
“李东教授在那里用了一种新的数学工具。”
“哦,好,我现在就看看。”
随後电话就挂断了。
大概半个小时後,陶哲轩的电话又响了起来。
“喂,ty。”
电话里传来布鲁诺教授激动的声音。
“李东教授简直就是个天才,这也是个天才的想法。”
“这个新的数学工具明显可以用到我的无阻挫量子自旋体系里呀。”
……
这一夜,众多同时看这篇论文的数学家们,开始疯狂地相互打电话。
戈登斯莱问戴维布里,弱关联项能不能按连通关联域重新归并?
因为他理解不了李东论文里的第14个新数学工具。
威廉施拉格也在问克里斯托弗索格,变系数波动方程的局部平滑估计,能不能采用论文里的频率分解?
因为他实在不能理解李东的第23个新数学工具里,频率分块的角宽为什麽要按照那个比例随局部曲率调整?
类似的求助,还在更多的地方接连发生着。
有人还在等着朋友的回电,新的电话就已经打了进来。
有人刚把这边的问题解释清楚,连草稿纸都还没来收,便接到同行的电话,追问自己有没有看懂。
“等一下,我把刚才那一页推导找出来。”
“你先别挂,我这里还有个问题。”
大家的疑问一个接着一个,旧的刚解决,新的又来了,电话接了又挂,挂了又响。
这一夜几乎成了数学界有史以来最为团结的一次。
李东的论文也在大家协力下,慢慢的推进着。
可是推着推着,大家就发现了一些不太对劲的地方。
要知道,杨米尔斯存在性与质量间隙的问题虽然一直都没有解决,但相关的研究却已经有了不少的关键性成果。
比如1978年,奥斯特瓦尔塞勒就证明了格点规范理论的反射正性。
所以对於杨米尔斯问题中的固定格距下的转移矩阵,直接采用这个证明就能够直接解决了呀。
可是李东却用反射正性相容拚接法,又重新做了一遍。
就这一步而言,原来的方法甚至比李东的新方法还要简洁一些。
而李东多出来的这几步,又确实是对的,所以这一步就有点像是弯路了。
mathvfl数学问答社区里,有人将这个问题提了出来。
【你们说,这些新的数学工具会不会是李东教授故意做出来的?】
【啊?那他为什麽要这样做呢?】
下面的回复越来越多,有人觉些工具可能是李东早就做了出来,只是借这篇论文一起发了而已。
也有人猜测李东这是为了统一整篇论文的证明方法,所以前面才多绕了几步。
这时,有人突然说了一句。
【你们说可不可能是因为前阵子有人在网上说,数学家比不上a,所以李东教授才故意创造这麽多数学新工具来解千禧年难题,来打这些人的脸吧?】
【放屁,你东教授怎麽可能是这麽狭隘一个人?】
【我倒是觉东教授是故意借着这次证明,来推动整个数学学科的发展。】
【你们是不知道,我的课题是算随机矩阵的平均特征值密度,原来只有极限公式。】
【而刚才我用李东教授的环方程余项递推法,把矩阵阶数有限时的近似误差上界也估计了出来。】
【哈?我还以为只有我一个人发现了,我之前在研究箭图表示,一直有几条生成元之间的关系式推不出来。】
【但是後来按照李东教授的迹关系式分次消元法算了遍,现在居然全部求出来了。】
这两个帖子让逛论坛的众多数学家纷纷反应了过来,然後开始翻找论文里的新工具,看看对自己现在的研究方向有没有什麽帮助。
结果这一找,他们就发现,这不是有一点点帮助,这他妈帮助大了好吗?
很多人用李东论文里的新工具,居然直接解决了当下他们自己的课题。
……
此时,加利福尼亚大学,戴维斯分校。
布鲁诺也看到了那两条回复,他先是愣了一下,随即也反应了过来。
他之前在电话里和陶哲轩说过,李东的局域谱隙拚接法是可以用在无错则量子自选体系里的。
可当时他只顾着讨论那一步了,竟然没有想过其他的新工具是不是也能拿来用。
於是他立刻打开了自己那份现在正在研究的长程自旋链的研究笔记,然後开始逐个对比论文里的新工具。
“这个要求有限程相互作用,用不了。”
“这个要求指数衰减也不行。”
当他看到论文里的嵌套对易子重求和公式的时候,突然停了下来。
“这个……好像可以。”
布鲁诺试着把这个公式用到了自己研究的长程自旋链上。
随後将哈密顿量和局部观测算符带入後。
那条一直没能够证明的局域扰动传播上界,竟然就这麽被他水灵灵的推出来了。
布鲁诺:???
要知道这个局域扰动传播的问题,可卡了他好几年了。
他嚐试过逐项估计对易子的范数,但也始终没能需要的上界。
如果此时李东在他面前的话,他一定会抱着李东狠狠的亲一口的。
当这样的事情越来越多的时候,数学圈彻底陷入了疯狂。
人们对李东开发出来的新工具的热情,甚至超过了解开杨米尔斯存在性与质量间隙问题。
甚至在mathvfl社区里,一篇名为《整理李东教授论文里的第48个新数学工具》的帖子,也被顶上了首页。
可是这个帖子在半小时後就被楼主编辑了标题,改为了第50个新数学工具。
随後又在一个小时内,分别变成了第57个、第58个、第59个……
一天後
这个帖子的数字终於定格在了68个新工具上。
此时,整个数学圈都是懵逼的。
一篇新论文,68个全新的数学工具。
没有一个是为了噱头做出来的,全都是真的能拿到其他领域解决实际问题的工具。
这别说前无古人了,几乎都可以断定为後无来者了。
甚至还有无聊的人开始去计算这些工具最近几天被引用的次数。
短短两天里,av预印本平台上新提交或者更新的86篇论文,已经出现了241处对这些工具的引用。
而此时,李东并不知道这些,他正在和一个男人,肩贴着肩,看着综合物理性测量系统的屏幕。
此时屏幕上的电阻曲线已经降到了测量下限。
而温度读数也停在了253开尔文上。