档案库 · 内容与影视 · 技术决策 · 2018–2023
Jared Duker Lichtman的副业项目解决了Erdős原始集猜想
一名26岁的牛津博士生用基础论证证明了质数使原始集的'Erdős和'最大化。
Jared Duker Lichtman
当时的题目
Erdős proved in 1935 that for any primitive set — integers where no member divides another — the sum of 1/(n log n) over members is always finite, and he conjectured that the primes, whose sum is about 1.64, attain the maximum. The conjecture survived decades of partial results; the best general bound, found in 2019 by Lichtman and his Dartmouth adviser Carl Pomerance, was only about 1.78, and mathematicians called the full statement beyond reach.
它是怎么成立的
Paul Erdős在20世纪30年代引入了原始集：大于1的整数集合，其中没有成员整除另一个，质数是典型例子。他证明了对于任何这样的集合，其成员的1/(n log n)之和总是有限的——即'Erdős和'——并猜想质数（其和约为1.64）达到最大值。数十年的工作证实了特例，但最好的通用上界（由Jared Duker Lichtman和他的达特茅斯导师Carl Pomerance在2019年发现）仍接近1.78，数学家将完整猜想描述为无法触及。
Lichtman当时是牛津大学的26岁博士生，自2018年起将此问题作为副业。他的洞察是按素数因子大小拆分论证：早先的方法将小素数因子的数字推到1.64以下，而对于大素数因子的数字，他为每个数字附加几个倍数序列，让多余序列'像杂草一样生长并占据空间'。重叠序列将Mertens定理的密度输入降至1以下；对该下降的精确界限将最坏情况推到1.64以下。他于2022年2月将完整证明发布到arXiv。
反应既惊讶又钦佩。他的牛津导师James Maynard称突然完成是'完全震惊'；同事指出证明没有使用该领域一直期待的复杂理论，只有'一些真正聪明的想法'。Quanta Magazine的报道于2022年6月6日发布，在Hacker News上获得506分和102条评论，论文后来发表在《数学论坛，Pi》上（2023年）。该工作巩固了质数在原始集中的特殊性：它们的Erdős和至高无上。
妙在哪
- 将问题作为副业使其成熟了四年，而无需将其押在职业上——是'常伴'而非截止日期。
- 按素数因子大小的案例分析将一个看似不可能的问题变成两半，每一半都可用已有的想法解决。
- 为每个数字关联几个重叠的倍数序列改变了密度核算，这最终使界限降至1.64以下。
- 保持基础意味着证明不需要新理论，因此可以立即检查和欣赏。
做出来什么
The proof settled Erdős's primitive set conjecture, showing the primes genuinely maximize the Erdős sum. Quanta Magazine profiled the result on 6 June 2022, and the story drew 506 points and 102 comments on Hacker News, where readers compared the arc to George Dantzig solving famous problems he mistook for homework; Maynard called the sudden completion 'a complete shock'. The paper, posted on 4 February 2022, was later published in Forum of Mathematics, Pi (2023).
可以借走的
成功的举措是案例分析，而非新理论：让几个重叠的倍数序列挤占接近质数的数字的密度，基础想法就能完成界限。
后来
Lichtman于2022年2月4日将证明发布在arXiv上，Quanta在2022年6月报道；故事的Hacker News帖子——506分和102条评论——将结果传播到数论之外，评论者将其与George Dantzig解决他误认为是家庭作业的开放问题相比较。该论文随后发表在《数学论坛，Pi》上（2023年），这是该领域的顶级期刊之一。该猜想现在已被解决：在所有没有成员整除另一个的整数集中，质数是极端情况，其Erdős和约为1.64是最大值。
资料来源
- Graduate Student's Side Project Proves Prime Number Conjecture
- Graduate Student's Side Project Proves Prime Number Conjecture
发现哪里写错了？告诉我们。
轮到你了
你刚读完一个点子。把你手上的题目说出来，看看谁接过同样的题。
免费账号 · 3 次免费提问 · 不用绑卡