近期,一个数十年来未解决的数学难题首次取得了进展。
推动这项进展的是来自加州大学洛杉矶分校的研究生JamesLeng和麻省理工学院数学研究生AshwinSah、哥伦比亚大学助理教授MehtaabSawhney。其中JamesLeng师从著名数学家陶哲轩,AshwinSah师从离散数学大牛赵宇飞。
论文地址:https://arxiv.org/pdf/2402.17995
要了解这项研究取得的突破,需要从算术级数说起。
等差数列的前n项和称为一个等差级数,也称为算术级数。1936年,数学家PaulErdős和PálTurán猜想:如果一个集合由整数的非零分数组成(即使是0.00000001%),那么它一定包含任意长的算术级数。唯一可以避免算术级数的集合是那些包含整数「可忽略不计」部分的集合。例如,集合{2,4,8,16,…},其中每个数字都是前一个数字的两倍,它沿着数轴分散,没有级数。
1975年,数学家EndreSzemerédi证明了这个猜想。他的工作催生了数学家至今仍在探索的多种研究方向。
数学家们在有限数集(从1到某个数N之间的所有整数)的情况下建立了Szemerédi的结果。在不可避免地包含一个被禁止的级数之前,集合中可以使用的部分占初始池的多少?随着N的变化,这个占比会如何变化?
例如,令N为20,那么可以写下这20个数字中的多少个,同时仍然避免长度为5个或更多数字的级数?事实证明,答案是初始池的16%到80%。
Szemerédi是第一个证明随着N的增长,这个占比必须缩小到零的人,后来数学家们一直试图量化该情况发生的速度。
去年,两位计算机科学家的突破性工作几乎解决了三项级数的问题,例如{6,11,16}。但当你试图避免四项或更多项的算术级数时,问题就变得更加困难。这是因为较长的级数反映了经典数学方法难以揭示的潜在结构。
三项算术级数中的数字x、y和z始终满足简单方程x–2y+z=0(以级数{10,20,30}为例:10–2*(20)+30=0),证明一个集合是否包含满足这种条件的数字相对容易。而四项级数中的数字还必须满足更复杂的方程x^2–3y^2+3z^2–w^2=0,具有五项或更多项的级数必须满足更复杂的方程。这意味着包含此类级数的集合会表现出更微妙的模式。数学家也更难证明这种模式是否存在。
20世纪90年代末,数学家TimothyGowers提出了一种克服这一障碍的理论。后来他被授予菲尔兹奖,这是数学界的最高荣誉,部分原因是因为这项工作。2001年,他将自己的方法应用于Szemerédi定理,证明了最大集合大小的更好界限,避免了任何给定长度的算术级数。
2022年,当时正读加州大学洛杉矶分校研究生二年级的JamesLeng开始理解Gowers的理论。他没有考虑Szemerédi定理。相反,他希望回答与Gowers的方法相关的问题。
然而,努力探索了一年多,他一无所获。
一直在思考相关问题的Sah和Sawhney了解了Leng的工作,他们很感兴趣,Sawhney甚至说道:「我很惊讶竟然可以这样思考」。
Sah和Sawhney意识到Leng的研究可能有助于他们在Szemerédi定理上取得进一步进展。几个月之内,三位年轻的数学家就想出了如何在没有五项级数的情况下获得更好的集合大小上限。然后,他们将工作扩展到任意长度的级数,这标志着自Gowers证明以来23年来该问题的首次取得进展。
表示
,没有k项算术级数的最大子集的大小。Leng、Sah和Sawhney证明,对于k≥5,存在c_k>0使得
研究团队
论文一作JamesLeng是加州大学洛杉矶分校(UCLA)的数学研究生,本科毕业于加州大学伯克利分校。他师从著名数学家陶哲轩。
JamesLeng的研究兴趣包括算术组合学、动力系统和傅里叶分析等等。他的研究还曾得到NSF研究生奖学金的支持。
JamesLeng
AshwinSah从小就喜欢数学,他在竞赛中接触到了高等数学并表现优异。2016年夏天,16岁的Sah夺得国际奥林匹克数学竞赛(IMO)的金牌,次年他进入MIT求学。
AshwinSah
在MIT读书期间,有两个人对Sah的数学发展起到重要作用。第一个是离散数学大牛赵宇飞(YufeiZhao)教授,他也是Sah的研究生导师。
第二个就是MehtaabSawhney,他们在课堂上相遇并成为朋友。后来,二人一起做研究,共同探讨离散数学领域内的多个主题,如图论、概率论和随机矩阵的属性。2017年底,AshwinSah和MehtaabSawhney在(MIT)读本科时相识。从那时起,两人一起编写了令人难以置信的57个数学证明,其中许多在各个领域产生了深远的影响。
MehtaabSawhney
MehtaabSawhney现在是哥伦比亚大学助理教授。他的研究兴趣包括组合学、概率和理论计算机科学等等。
参考链接:https://www.quantamagazine.org/grad-students-find-inevitable-patterns-in-big-sets-of-numbers-20240805/
未经允许不得转载:头条资讯网_今日热点_娱乐才是你关心的时事 » 数十年来首次取得进展,陶哲轩高徒、赵宇飞高徒突破组合数学难题