如何科学地吃"朗道-西格尔零点猜想"的大瓜?

2022年11月15日22:54:06 科学 1177

本文约1800字,公式有点多,大家凑合看吧

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

最近科学界又双叒叕出了个超级大新闻,美国加州大学圣巴巴拉分校数学系张益唐教授宣布在关于朗道-西格尔零点猜想这一数学难题上取得重要进展。

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

张益唐

虽然我们大部分人可能都不知道朗道(注意:此朗道非苏联大物理学家朗道,而是德国数学家朗道)和西格尔到底是谁。但是近期遍布网络的如此巨大的学术新闻,不知道大家有没有兴趣准备好瓜子板凳呢?

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

黎曼ζ函数

首先,这里要先引入一个黎曼ζ(ζ读作zeta)函数,最初这个函数长这样

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

比如说

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

无穷个分数相加居然能和圆周率扯上关系,是不是还挺神奇的?

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

但是当s=1时,

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

这不就是大名鼎鼎的调和级数吗?相信大家在大一的高等数学都学过了,显然这个级数是发散的,也就是这个级数等于无穷大,它的证明也很简单。

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

这样看来,只要s≤1,黎曼ζ函数就全都是无穷大了,这还怎么玩?


为了解决这个无穷大问题,黎曼给这个函数做了个巧妙的解析延拓,将黎曼ζ函数的定义域s成功扩展到了全部复数,

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

比如说,

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

而按我们最初的那个函数,

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

于是便有了很多人经常说的,


如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

所以说,1+2+3+4+‧‧‧=-1/12这一结论是错误的,因为最初那个函数的不能比1小,又怎么能取-1呢。

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

朗道-西格尔零点猜想

针对上面的黎曼ζ函数,黎曼提出了黎曼猜想:黎曼ζ函数的所有非平凡零点都在实部等于1/2的直线上。

所谓“非平凡”,简单可以理解为就是黎曼ζ函数的非实数解。

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

黎曼猜想一旦正确,则我们能够准确计算素数分布,而且人们已经在黎曼猜想正确的基础上建立了很多定理。


但是,人们还不满足,为了计算等差数列中的素数分布,人们进一步对黎曼ζ函数进行了推广。


如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

此时,黎曼ζ函数的分子1被换成了更一般的函数,黎曼ζ函数就变成了狄利克雷L函数,


如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

这个函数也可解析延拓为整个复平面上的函数。针对狄利克雷L函数,同样存在一个广义黎曼猜想:狄利克雷L函数的所有非平凡零点都在实部等于1/2的直线上。黎曼猜想仅仅是广义黎曼猜想的一种特殊情况。


如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

朗道-西格尔零点猜想则是说:狄利克雷L函数可能存在一些零点不在实部等于1/2的直线上,而是处于1附近。

显然,如果朗道-西格尔零点猜想正确,那么广义黎曼猜想就会被推翻,从而威胁到黎曼猜想的正确性(个人认为不一定推翻黎曼猜想,毕竟共性不代表个性,学数学的可以科普一下),并一步威胁到很多数学定理的正确性。

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

所以说,在数学家的心里,朗道-西格尔零点最好还是不存在吧,毕竟数学家也不希望自己之前的工作被推翻对吧。


如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

张益唐的论文写了些啥

事实上,张益唐的论文也确实是奔着证明朗道-西格尔零点不存在去的。

目前,张益唐关于朗道-西格尔零点猜想的论文已经可以在互联网上下载,足足有111页之多。而且不像我们平时的学术论文,这111页没有任何图像和表格,全部都是公式推导,非常干货,感兴趣的朋友可以拿过来看看。

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

张益唐论文首页

张益唐把自己的主要结论总结成了两个定理。


如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

证明朗道-西格尔零点不存在的最终要求是证明


如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

而张益唐的论文只是证明了


如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

同时论文指出,尽管可以将公式中的指数−2022替换为一个更大的负数值,但是按照论文目前的方法,指数应该还无法达到最终的-1。

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

英文好的同志肯定能看懂

也就是说,这次的论文并没能完全证明朗道-西格尔零点不存在,只不过是在证明朗道-西格尔零点不存在的路上迈出了一大步而已。

想要达到最终的-1,还需后人继续努力呀!


如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

总结

可能很多人抱着吃瓜的心态进来,面对文章的公式都只能快速滑到底部。对此,我直接整理了本篇文章的关键点:


1.朗道-西格尔零点猜想的内容是,狄利克雷L函数可能存在一些零点不在实部等于1/2的直线上,而是处于1附近。


2.张益唐还没有完全解决朗道-西格尔零点猜想,所以大家不用失望,还是有机会自己解决的。


3.张益唐的论文长达111页,全部都是公式推导,论文的正确性还有待学术界检验,有实力的朋友可以试着当一回审稿人,说不定就能发现问题呢,对吧。

如何科学地吃"朗道-西格尔零点猜想"的大瓜? - 天天要闻

希望上面的碎碎念能让大家在下次聊到黎曼猜想和朗道-西格尔零点猜想的时候,成功地拿出自己数学大佬的气质。


转载内容仅代表作者观点

不代表中科院物理所立场

如需转载请联系原公众号


来源:柚知识

编辑:圆周π小姐



科学分类资讯推荐

我国首款航天大模型 让卫星管理更聪明 - 天天要闻

我国首款航天大模型 让卫星管理更聪明

随着天上的卫星组网越来越多,这些卫星如何更加智能、高效地管理成为行业面临的一个问题。我国首个航天大模型,正在助力卫星管理更聪明。航天大模型“华山”,首次将大语言模型应用在航天领域的产品上,运用AI帮助用户完成航天器智能操控、轨道计算与分析、指令代码生成等航天器在轨管理工作。通过数据学习,它可以快速且智...
大熊猫“荷风”“兰韵”正式亮相奥地利美泉宫动物园 - 天天要闻

大熊猫“荷风”“兰韵”正式亮相奥地利美泉宫动物园

当地时间5月14日,来自中国大熊猫保护研究中心的大熊猫“荷风”和“兰韵”正式亮相奥地利维也纳美泉宫动物园。当天,美泉宫动物园为“荷风”和“兰韵”举行了盛大的欢迎仪式。奥地利总统亚历山大·范德贝伦发表致辞。现场观众热情高涨,众多儿童欢呼雀跃,
资深研究员亲授AI实操秘籍,助力医学研究设计效率翻倍! - 天天要闻

资深研究员亲授AI实操秘籍,助力医学研究设计效率翻倍!

我们都知道医学研究方案设计耗时又耗力?面对复杂的实验逻辑和文献海量信息,如何快速产出高质量方案呢?我想这一直是大家迫切想要解决问题吧!那今天刷到这篇文章的朋友们有福了,本文结合梅斯医学资深研究员张磊博士直播干货,手把手教你用AI拆解研究目标、优化实验设计,文末还附赠工具试用入口!【研究方案设计的前置知...
我国科学家率先“看见”固体氢的最精细结构 - 天天要闻

我国科学家率先“看见”固体氢的最精细结构

常温常压下,氢以气体状态存在。高压下,氢结晶为固体。而超高压下固体氢的原子排列方式一直是未解之谜。14日,国际权威学术期刊《自然》发表一项重大突破:由中国科学家领衔的国际团队用X射线纳米探针首次“看见”固体氢的复杂晶体结构。这是目前世界上固
早读|“天数天算”,AI迈向太空 - 天天要闻

早读|“天数天算”,AI迈向太空

早上好!上观新闻‘早读’来啦!2025年5月15日 星期四 农历四月十八上海多云到阴,下午起局部地区有短时小雨,22~29℃§今日关注“天数天算”,AI迈向太空※ 5月14日12时12分,国星宇航在酒泉卫星发射中心使用长征二号丁运载火箭,成功将太空计算星座021任务12颗卫星发射升空。卫星顺利进入预定轨道,标志着全球首个太空计...
与总书记交流的上海人工智能实验室年轻人,在探索什么前沿领域? - 天天要闻

与总书记交流的上海人工智能实验室年轻人,在探索什么前沿领域?

人工智能是年轻的事业,也是年轻人的事业。4月29日,是上海人工智能实验室青年科研团队终生难忘的一天。他们在“模速空间”参加一场以“下一代智能体的自主进化”为主题的沙龙时,与习近平总书记作了面对面交流。这些年轻人在探索什么前沿领域?他们身处的科研环境如何?记者来到毗邻“模速空间”的上海人工智能实验室,采...
生命,居然也可以悬在边界上,不活不死…… - 天天要闻

生命,居然也可以悬在边界上,不活不死……

17 世纪末,一位自学成才的科学家安东尼·范·列文虎克(Antonie van Leeuwenhoek)展开了一项让他重新思考“生命是什么”以及“生命的边界在哪里”的探索。这段旅程不仅颠覆了他自己的世界观,也在科学和哲学界激起了波澜,影响至