克雷西 发自 凹非寺
量子位 | 公众号 QbitAI
赵宇飞高材生、哥伦比亚大学助理造就 Mehtaab Sawhney（索尼），又为数学界孝顺了一项紧迫效果——
与牛津大学造就 Ben Green（格林）一都，解说了一项对于 素数漫衍的新规章。
要害是解说顶用到了与 Gowers范数关联的手艺，而Gowers范数一运转是拿来商讨等差数列的，看上去和素数规章风牛马不相及。
致使作家索尼我方也示意， “动作一个‘局外东说念主’，险些不成能判断出这些事情是关联的”。
是以，这项商讨不仅在素数限度是一项紧迫使命，也揭开了高尔斯范数的应用潜能。
多伦多大学造就 John Friedlander评价说，索尼和格林的这项商讨标明高尔斯范数不错动作新限度的纷乱器具。
张开剩余89%最早和陶哲轩一同将素数和Gowers范数斟酌到一都的数学家 Tamar Ziegler（ 都格勒） ，也对索尼和格林的商讨给以了高度评价：
看到我前一段时辰预见的东西有了出东说念主预见的新应用，让我以为很原理原理。
看到我前一段时辰预见的东西有了出东说念主预见的新应用，让我以为很原理原理。
2018年，Friedlander和好意思国罗格斯大学的Iwaniec冷漠了“ 高斯素数猜想” （Gaussian primes conjecture）：
存在无限多个素数p、q，使得p²+4q²亦然素数。
存在无限多个素数p、q，使得p²+4q²亦然素数。
（Friedlander和Iwaniec的相助不错记挂到上个世纪，1997年他们一同解说了a²+b⁴不错构成大都个素数）
格林和索尼不仅解说了这一猜想，还将其施行到了更多的情况——
对于安闲n≡0或n≡4(mod 6)的正整数n，均存在无限多个素数p和q使得p²+nq²亦然素数。
对于安闲n≡0或n≡4(mod 6)的正整数n，均存在无限多个素数p和q使得p²+nq²亦然素数。
同期，格林和索尼还为这些素数的数目给出了渐近公式：
其中∧(n)是von Mangoldt函数，用于检测n是否为素数或素数的幂，N>1，W为权函数，κ_n是一个与n斟酌的常数：
显明，安闲条款的素数数目不成能通过径直想象获得。
于是，格林和索尼遴荐先将要解说的论断弱化，也即是先放宽一下拘谨条款——先将p和q的界限放宽到“幼稚素数”。
举个例子，要是咱们要找出1-200之间的“幼稚素数”，不错找到与2、3、5、7这几个小素数同期互素 （最大公因数为1）的数，这些数字即为1-200之间的“幼稚素数”。
（这些“幼稚素数”当中，本色上不是素数的数，算上1也唯有5个。）
格林和索尼解说，通过对两个“幼稚素数”进行普通并将它们相加，不错获得无限多个素数。
接下来，他们就 需要解说使用“幼稚素数”构建的迫临，和使用实在素数构建的迫临“饱和相似”。
其中就触及了最要害的手艺打破——Gowers范数的使用。
Gowers范数是一种测量函数“伪立时性”的器具，2001年由 数学家蒂莫西·高尔斯（Timothy Gowers）冷漠。
2018年，陶哲轩和塔玛尔·都格勒 （Tamar Ziegler）找到了一种将高尔斯范数与 “Type I和”与“Type II和”之间斟酌起来的要津。
具体到这项商讨，作家最初通过 筛法将问题简化为“Type I和”（左）与“Type II和”（右）的揣测：
筛法的中枢想想是，通过对这两类和的揣测，过滤掉不安闲素数条款的数，从而聚集分析那些可能使p²+nq²为素数的数值。
其中，“Type I和”聚焦于单个变量的局部漫衍，匡助惩办低阶孝顺；“Type II和”则和顺双变量交互，惩办高阶漫衍。
进一口头，作家将问题 升沉到二次虚数域Q(√(-n))，并期骗数域中的渴望解析、范数漫衍以及素渴望的性质来商讨指标数列的素数性。
具体来说，在整数环Z中，商讨x²+ ny²是否为素数，等价于在Q(√(-n))等分析主渴望x+y√(-n)是否为素渴望。
接下来就轮到Gowers范数登场了。
为了纵容“Type II和”，论文界说了函数f(x)和f’(y)，其中∧_Cramér(x) 是von Mangoldt函数的低复杂度雷同：
作家通过引入勾通定理和逆定理，使用Gowers范数分析f(x)和f’(y)的伪立时性，从而解说了它们在大部分情况下对二次型x²+ ny²的孝顺是可控的。
也即是说，作家通过筛法和Gowers范数，解说了要害的中间扫尾—— x, y的组合漫衍是均匀的。
最终的抒发式中，主项源泉于数域中范数N(x+ y√(-n))的漫衍，期骗数域的素渴望定理，不错获得主项。
“Type I和”与“Type II和”带来的过错项，差别不错通过筛法分析和Gowers范数的均匀性假定来纵容。
两者连结后，过错项对主项的影响是次级的。
将主项和过错项连结，最终得出指标公式：
结缘于Gowers范数
这项商讨的两位作家——格林和索尼，提及来亦然颇有分缘。
格林是 牛津大学数学造就、陶哲轩的长久相助者，同期仍是英国皇家学会Fellow。
索尼一运转在宾夕法尼亚大学读想象机，然后在 2017年转到MIT主修数学，成为了赵宇飞的学生，之后又在赵宇飞辖下读博，并于本年6月毕业。
本岁首索尼成为了克莱商讨员，当今索尼在哥伦比亚大学担任教职。
让两东说念主走到一都的，粗豪恰是此次商讨顶用到的Gowers范数。
Gowers范数是1998年菲尔兹奖得主、英国数学家蒂莫西·高尔斯 （Timothy Gowers）在解说 塞迈雷迪定理时冷漠的。
塞迈雷迪定理与等差数列关联：
若一个整数集A具有正的当然密度，则对淘气的正整数k，都不错在A中找出一个包含k项的等差数列。
所谓具有正派然密度，即是当n趋于无限时，A与1,2,…,n这个数列的交聚集元素个数与n的比值大于0。
若一个整数集A具有正的当然密度，则对淘气的正整数k，都不错在A中找出一个包含k项的等差数列。
所谓具有正派然密度，即是当n趋于无限时，A与1,2,…,n这个数列的交聚集元素个数与n的比值大于0。
到了2017年， 陶哲轩和格林一都给出了k=4时的新上界。
2022年，正在陶哲轩那边读研二的 James Leng（小冷）运转商讨起了高尔斯的表面，并引起了索尼和他的师弟 Ashwin Sah（小萨）的提防。
最终，。
与此次索尼和格林的商讨通常，三东说念主在其中也 使用了Gowers范数的逆定理，何况这项逆定理的发现者恰是索尼、小冷和小萨。
趁便提一句，打从本科起，索尼和小萨即是互相的科研搭子，关系密切到索尼主页列出的70篇论文里，有60篇都带小萨的名字。
而导师赵宇飞在本科时对他俩的评价即是：
（MIT）的本科生商讨有着悠久的历史和传统，但在论文的质料和数目上，都够不上Ashwin Sah和Mehtaab Sawhney的水平。
（MIT）的本科生商讨有着悠久的历史和传统，但在论文的质料和数目上，都够不上Ashwin Sah和Mehtaab Sawhney的水平。
说回索尼本东说念主，本年七月，索尼和格林终于在爱丁堡的一次会议上会面。
索尼说我方一直荒谬欣悬赏林，并示意格林20年前解说的一项始创性效果恰是让他遴荐这个主题的原因之一。
格林也对这位年青的数学家印象长远，称索尼是一位隆起的数学家，并“以某种表情知说念一切”。
于是，两东说念主决定相助，并将眼神聚焦在了此次的“高斯素数猜想”。
到牛津造访一周后，索尼和格林对其解说有了想路，并于本年10月份发布了论文预印本。
尔后，两东说念主又连续相助，冷漠并解说了 Furstenberg-Sárközy定理的校正界限。
论文地址：
https://arxiv.org/abs/2410.04189
参考连结：
— 完— 世界杯体育
发布于：北京市