时间:2024-12-25 22:09:42 来源:网络整理编辑:纪晓君
陶哲轩最新力作,在“自然数倒数之和是否为有理数”问题上取得一系列进展。其中最引人瞩目的一项成果,就是证明了一个非常反直觉的猜想,居、然、是、对、的:一位Topos研究所的数学物理学家JohnCarlo
陶哲轩最新力作,在“自然数倒数之和是否为有理数”问题上取得一系列进展。
其中最引人瞩目的一项成果,就是证明了一个非常反直觉的猜想,居、然、是、对、的:
一位Topos研究所的数学物理学家John Carlos Baez在评论区毫不掩饰自己的惊叹:
为啥说这个结论非常反直觉?
可以理解成,要使一个级数的和是有理数本来就很难,再加上任意有理数t的偏移量,还让级数保持有理性,难度就又加几个数量级了。
数学家Kenneth Stolarsky或许也是如上所想的,所以提出了相反的Stolarsky猜想。
现在,陶哲轩的结论相当于证明了Stolarsky猜想是不成立的。
果然,数学的神奇之处就在于,有时看似不可能的事情实际上是可能的,只是解决方案可能超出了我们的直观认知。
那么,陶哲轩的方法是怎么颠覆直觉的?
从论文提交历史可以看到,这项研究原本只有Vjekoslav Kovač一个作者,研究的是两个特定级数的有理性问题。
陶哲轩加入后,帮助Kovač扩展到了对整个Ahmes级数的研究。
原本只有6页的短论文,也扩展成了28页长篇论证……
除了论文之外,陶哲轩还在个人博客上解释了他们的思路。
不是直接尝试构造这个级数,而是把问题转化为研究一种集合,再使用“迭代逼近”方法,逐步解决。
先来解释一下什么是Ahmes级数。
Ahmes级数是满足如下形式的无穷级数,其中ak是一个严格递增的自然数序列。
由于大多数实数都是无理数,人们也会期望这样的级数“通常”也是无理的,但很难确定一个特定级数的无理性。
首先,此前数学界已知道,如果aₖ的增长速度比C^(2^k)更快(对任意常数C),那么对应的Ahmes级数一定是无理数。
也就是存在一个明确的“增长速度分界线”,超过这个速度,级数必然无理。但接近这个速度时,仍可能找到有理的例子。
接下来,论文中表明了如果满足aₖ₊₁=O(aₖ²),意味着aₖ₊₁比aₖ²增长得慢得多。
那么可以找到一个可比较的级数bₖ,和aₖ是渐进关系,且∑(1/bₖ)是有理数。
这部分解决了Erdős问题#263:序列aₖ =2^2^k是否符合这个性质,是否所有增长速度不超过指数级的级数都有这个性质。
因为条件aₖ₊₁=O(aₖ²)不足以覆盖aₖ =2^2^k的情况,这个条件也不适用于所有指数级或更慢增长的序列。
也就是aₖ₊₁=O(aₖ²)作为问题的分界线,“差一点”就能完整的解决了看广告赚钱span>。
在这之后,陶哲轩展示了一个新的变体结论:
如果级数aₖ满足:aₖ₊₁=O(aₖ)(即下一项不会比当前项增长太快) 且∑(1/aₖ)收敛。
那么可以找到bₖ,使得:bₖ=aₖ+O(1)(即bₖ与aₖ只差一个有界的常数) 且∑(1/bₖ)是有理数。
这又和Erdős问题#264相关:
其中aₖ=2k时的情况被完全解决了,因为2k是指数增长。
问题中的第二部分,关于aₖ=k!的情况,超出了当前方法的能力范围。
新的分界线被定位到了指数增长。
就像这样……一步一步迭代逼近,就到了Erdős问题#266,也是更高维度的变体。
陶哲轩避免了任何数论难题,主要依赖有理数集的可数稠密性。(具体论证过程略)
最终,Stolarsky猜想被转化为一个无限维的问题。
陶哲轩让维度数d随k增长,但增长的速度要保持够慢,这样既保证收敛又保证稠密性。
前面提到,陶哲轩给出结论的的这个问题,是Erdős问题#266。
由沃尔夫数学奖获得者、匈牙利数学家Paul Erdős(1913年3月26日-1996年9月20日)提出。
不过,这个问题的相关起源最早能追溯到古埃及时期——
古代埃及人在进行分数运算时,只使用分子是1的分数。因此这种分数也叫做埃及分数,或者叫单分子分数。
他们把所有复杂分数,都表示成单分子分数的和,例如3/4,一定要表示成3/4=1/2+1/4。
故而很长一段时间(大概几千年吧),数学史家都坚持认为古埃及人不会使用分数;现代数学家们也一度认为埃及人之所以未能把算术和代数发展到较高水平,其分数运算之繁杂(就是非要把真分数分解成单分子分数)也是原因之一。
等到数学家们发现里面隐含了何等丰富的内容,已经是两千多年后的后话了。
OK,让我们回到Erdős问题和Erdős本人。
Erdős被誉为20世纪最富有创造力的数学家和数学猜想提出者之一,21岁时就被授予数学博士学位,论文导师也是冯·诺伊曼的恩师利波特·费杰尔(Léopold Féjér)。
Erdős一辈子合作了超过500位数学家,毕生发表了约1525篇数学论文,数量之多,至今无人能及。
他穷其一生,致力于并提出了离散数学、图论、数论、数学分析、逼近理论、集合论和概率理论中的问题,其中大部分工作集中在离散数学领域,解决了该领域许多以前未解决的难题。
83岁时,因心脏病突发,Erdős去世在华沙的一个数学会议上。
如他所愿,他的墓志铭上写道:我终于不再变笨了(Végre nem butulok tovább)。
*看广告赚钱*****
值得一提的是,Erdős问题#266不是陶哲轩解决的第一个Erdős相关问题。
2015年9月,陶哲轩在arXiv上挂了一篇论文《The Erdős discrepancy problem》,宣布证明了Paul Erdős在20世纪30年代提出的数论猜想“埃尔德什差异问题”存在。
埃尔德什差异问题于1932年被Erdős提出,此前困扰了学术界80多年。
与许多数论难题一样,埃尔德什差异问题描述起来很简单,但证明难度却很大。
通俗点阐述它:
有意思的是,为了证实这个曾经的猜想,陶哲轩经过了多年手动计算和计算机尝试,还加入过一个专门研究它的小分队合力专研(虽然当时失败了)。
最终,破题的灵感来自德国数学家尤威·斯特罗斯基在陶博客下的评论,暗示陶研究的另一个问题可能与埃尔德什差异问题有关。
“起初,我认为这种联系只是表面的。”但陶哲轩很快意识到将新思路和已有的结果结合在一起,很可能得到问题的证明。
这件事在当年当月,登上了Nature,题为《数学天才解决了一个大师级谜题》。
更有意思的是,Erdős和陶哲轩的缘分,能追溯到更更更早。
1985年,72岁的Erdős去澳大利亚讲学。
在阿德莱德大学(8岁起,中学生陶哲轩用1/3的时间在该校学习数学、物理课程)的安排下,时年10岁的小陶哲轩拜见了Erdős。
Erdős认真阅读了陶哲轩写的论文,并鼓励他说:“你是很棒的孩子,继续努力!”
后来,Erdős还写了推荐信,推荐陶哲轩到普林斯顿大学攻读博士学位。
2010年,英国卫报评选了两千多年来“世界十大数学天才”,认为他们的革命性发现改变着我们的世界——Erdős和陶哲轩都榜上有名。
这两位数学大家还有一张非常经典的合影:
2013年,Erdős诞辰100周年之际,陶哲轩在自己的博客上分享了一张当年和Erdős的珍贵合影,以表怀念和感激。
But!
虽然#266被陶给出了结论,但Paul Erdős还留下了很多问题没被解决,这些问题通常是他在与其他数学家的合作中提出的,也有些是他独自思考后形成的。
这些问题涵盖了数论、组合数学、图论、概率论等多个数学领域。
目前,860个问题中,还有580个问题等着被探索(去掉#266也还有579个)。这些问题分别设置了0-10000美元的奖金。
这些灿烂又迷人的遗产,直到今天仍激励着每一位数学家,推动数学的进步,也让后来者从中获得新的视角和灵感。
论文地址:
https://arxiv.org/abs/2406.17593v3参考看广告赚钱链接:
[1]https://mathstodon.xyz/@tao/113559149269764165揭秘自媒体赚钱秘诀:仅需掌握这一逆向思维技巧!2024-12-25 22:06
《魔法坏女巫》遭遇滑铁卢,水土不服引热议一张决生死的诊断书,1997年鸡东县“1·1”入室杀人案侦破始末2024-12-25 22:02
网络短剧无备案不播出,“王妈们”要凉了?唐艺昕全家出游,1米8的张若昀蜷成一团陪女儿压跷跷板,宠女狂魔2024-12-25 21:54
同为富豪刘銮雄的儿女待遇却不同:刘秀盈辛苦创业,刘秀桦成名媛技术运维人员救星!工业设备跨系统远控神器,主机不用装软件!2024-12-25 21:12
《破·地狱》高口碑名副其实吗?心理学家这样说店面贴广告被罚后续:整个处理细节曝光,国务院有文件,女子认罚2024-12-25 21:07
《雄狮少年2》等九部电影进入版权保护预警名单2012年,林立果“未婚妻”回林家老宅,跪在林总铜像前,泣不成声2024-12-25 20:57
影音体验逆天了!联想小新Pad Pro 127配置公布好团圆:江家巧摔下楼梯,江宏斌说出妹妹争强好胜的原因2024-12-25 20:48
“兼职话务员”,大学生把自己送进看守所,被采取刑事强制措施治愈生活志:清晨被优雅唤醒的墨绿色早安2024-12-25 19:58
福本莉子、八木勇征主演!漫改电影《隔壁的星光》希特勒自己指定的接班人,最后背叛了他,却活到了93岁2024-12-25 19:46
20名在校大学生被送上法庭,前途尽毁,网友:给孩子们一个机会吧我曾经两次看月亮 可结局都一样2024-12-25 19:45
雁峰公安雷霆出击,挽损11万元2024-12-25 22:06
潜入深海迷宫《原子之心》DLC3再发新预告《再见爱人4》当李行亮说自己有病时,他对麦琳的态度已经暴露了2024-12-25 21:30
行业贪腐速通指南:从血赚,到入狱2024-12-25 21:23
《好东西》连续24天票房日冠《破·地狱》表现佳 分娩镇痛推广“痛点”在哪儿?(健康生育观)2024-12-25 20:59
小米SU7火了流量惊人,有人建议雷军接广告赚钱!福布斯:雷军财富1281亿,中国富豪榜上位列第7名R级大片《角斗士2》,竟然“篡改”历史?2024-12-25 20:48
涉案104200元!提供银行卡给诈骗犯罪走账 江西一大学生获刑跟美国“唱反调”,3次延期,印度确定金星计划,要证明生命存在2024-12-25 20:31
买个助听器需要多少钱?这款骨传导助听器性价比超高 2024-12-25 20:12
安博通新注册《安博通网络流量安全审计系统V31》项目的软件著作权我曾经两次看月亮 可结局都一样2024-12-25 19:56
大模型创业之困:小模型难赚钱,大模型太烧钱,去年投融资金额缩水七成2024-12-25 19:47
招未成年少女有偿陪侍 36名KTV经营者获刑罚好想念冬天 可冬天啥时候来2024-12-25 19:46