也谈谈Atiyah关于黎曼猜想的证明

640?wx_fmt=jpeg

来源:潇轩社

作者:叶扬波  著名数学家,美国爱荷华大学教授。作为数论学家,他在中国大陆出版有《迹公式与模形式》等专著。以下是他谈Atiyah关于黎曼猜想的证明的文章,观点专业而且独到,转载此文,希望大家能根据此文看到Atiyah证明黎曼猜想的基本思想与价值。


这几天大家都非常关心Atiyah证明黎曼猜想的事情。作为一名数论工作者,我自然也非常关心,而且反复阅读了Atiyah的两篇论文。现在所有的人都在说他的证明不对,我想要进一步弄清楚(1)他是用什么思路什么方法来研究黎曼猜想的,(2)他的所谓证明是否严格,(3)即使他的证明是错的,他的思路方法是否有可取之处。现在谈谈我的看法,以补充大家的热议。

 

问题(2)最容易回答,老先生的文章的确有许多漏洞。比如最关键的Todd函数T(s)他说在任意凸区域内是多项式,我觉得他应该说T(s)在凸区域内是局部多项式。他又说T(s)把直线Im(s)=1/2映射到自己,可是又说T(s)在这条直线上的极限为137.035999... 他说T(s)在这条直线上是单调增,可是他明明刚说过T(s)在凸区域1/4<Re(s)<3/4, |Im(s)|<a上是(局部)多项式。这样的逻辑混乱使得这个Todd函数是否存在都令人怀疑,尤其是T(s)的定义也是给的不明不白的。

 

更加致命的错误可能是用T(s)来证明黎曼猜想。老先生用T(s)和黎曼zeta函数

zeta(s)=1/1^s+1/2^s+1/3^s+...

作了一个复合函数,宣称该复合函数恒等于零,用这个矛盾推出了黎曼猜想成立。可是这个证明过程中没有用到zeta(s)的任何性质与定义,也就是说你可以把zeta(s)换成任何其他函数也能证明出来类似的定理。这就有点天方夜谭了。

 

Atiyah的证明是建立在实数域R上的von Neumann冯·卡门代数A和有理数域Q上的Hirzebruch代数A(Q)上的。这两个代数超级巨大,比如A是2x2复矩阵代数与自身的无穷张量积的弱闭包。2x2复矩阵有两个映射到复数域C,为矩阵映到其两个特征值。老爷子把这两个映射扩充到A的中心C(A)上,用这两个映射一来一回定义T(s)。可是矩阵代数的中心不是都由相同对角元素的对角矩阵组成的吗?这两个特征值是一样的对不对?就算两个特征值不一样,你凭什么说哪个是第一个哪个是第二个?尤其是还要来一个无穷张量积,全裹和到一块儿去了,这样定义出来的T(s)令人费解。

 

回到问题(1),大家已经看出来了,Atiyah的理论是建立在巨大无比的两个代数结构上的。这两个巨大的代数一个在R上,一个在Q上,它们之间的关系包含了所有的数论信息。而以这两个代数中的元素作为线性算子,它们的特征值为所谓的证明提供了核心的基础框架。不管证明对不对,上面这几句话概括了Atiyah的思路与方法。

 

那么问题(3)来了,到底Atiyah的思路与方法有没有可取之处?

 

近年来数论界对黎曼猜想的研究,公认的一个进展是发现黎曼zeta函数的非平凡零点与重原子能级有同样的统计分布。重原子能级是量子力学中Hamiltonian算子的特征值。这个发现一度被认为是自黎曼猜想之后人类对黎曼zeta函数的第二个重大发现。但是几年之后一位学者在德国的一家图书馆翻阅黎曼数学手稿,赫然发现黎曼在计算黎曼zeta函数零点的手稿的纸背,写有大量关于原子能级的计算。这一下真相大白,原来黎曼早就意识到了非平凡零点与重原子能级之间的可能联系。

 

从此数论学家们的目标就是要找到这样一个算子,使得它的特征值是黎曼zeta函数的非平凡零点。然后通过研究这个算子,就像对称算子特征值均为实数一样,证明所有非平凡零点的实部均为1/2,从而证明黎曼猜想。而这个思路在有限域上的函数域上已经被证明了。

 

从这个意义下来说,Atiyah的思路是对的。算子有了,特征值也出现了。是不是他用的von Neumann算子代数和Hirzebruch算子代数真的包含了大家梦寐以求可以用来证明黎曼猜想的那个算子,或者可以在其之上构建出一个,我想这未来的几年一定会研究辈出。大家翘首以待吧,或者最好亲身加入这个研究的行列。这条路如果最终能够走通,Atiyah的文章就是有历史意义的了。


未来智能实验室是人工智能学家与科学院相关机构联合成立的人工智能,互联网和脑科学交叉研究机构。


未来智能实验室的主要工作包括:建立AI智能系统智商评测体系,开展世界人工智能智商评测;开展互联网(城市)云脑研究计划,构建互联网(城市)云脑技术和企业图谱,为提升企业,行业与城市的智能水平服务。

  如果您对实验室的研究感兴趣,欢迎加入未来智能实验室线上平台。扫描以下二维码或点击本文左下角“阅读原文”

640?wx_fmt=jpeg

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/494126.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

大型Javascript应用架构的模式(译文)

附上翻译好的word文件 http://files.cnblogs.com/lizhug/Patterns_For_Large-Scale_JavaScript_Application_Architecture.zip 作者&#xff1a;Addy Osmani 技术评审&#xff1a;Andree Hansson 翻译&#xff1a;李珠刚 珠刚参上 今天我们将要探讨一系列用于大型Javascri…

Animation Property Animation 使用

本篇主要讲Animation 和 Property Animation的使用&#xff0c;最后会讲QQ管家桌面火箭作为例子&#xff1a; 在Android中开发动效有两套框架可以使用&#xff0c;分别为 Animation 和 Property Animation&#xff1b; 相对来说&#xff0c;Animator比Animation要强大太多&…

华为云力推“普惠AI”,EI智能体正在落地行业

来源&#xff1a;北京物联网智能技术应用协会云计算和人工智能是什么关系&#xff1f;一般认为&#xff0c;云计算是人工智能的基础之一。而华为云则认为&#xff0c;要推动人工智能的落地&#xff0c;拥有“算法、算力和数据”还是不足够的&#xff0c;还需要“行业智慧”&…

Android中mesure过程详解

我们在编写layout的xml文件时会碰到layout_width和layout_height两个属性&#xff0c;对于这两个属性我们有三种选择&#xff1a;赋值成具体的数值&#xff0c;match_parent或者wrap_content&#xff0c;而measure过程就是用来处理match_parent或者wrap_content&#xff0c;假如…

黑科技揭秘 | 阿里云“天空物联网”连接范围如何达到700平方公里

来源&#xff1a;阿里云还记得前不久在2018杭州云栖大会上&#xff0c;由飞在天上的飞艇、地下基站共同搭建的阿里云“天空物联网”吗&#xff1f;它实现从地面40000米高空到地下20米的覆盖&#xff0c;并持续为大会服务。体现了持续加码的阿里巴巴物联网战略。在飞艇背后&…

JAVA-用栈机制实现单词逆序排列

就是IO那一段还没学到。 之前的PUCH,POP,STRING和CHAR的关系搞得懂了。 学到一个定位STRING当中CHAR的转换函数。 char String.charAt(x) 1 import java.io.*;2 3 4 class stackString5 {6 private int maxSize;7 private char[] stackX;8 private int top;9 …

Android自定义实现FlowLayout

实现FlowLayout 何为FlowLayout&#xff0c;如果对Java的Swing比较熟悉的话一定不会陌生&#xff0c;就是控件根据ViewGroup的宽&#xff0c;自动的往右添加&#xff0c;如果当前行剩余空间不足&#xff0c;则自动添加到下一行。有点所有的控件都往左飘的感觉&#xff0c;第一…

【重磅】马斯克遇终极麻烦:被起诉欺诈罪 或丢掉CEO职位 特斯拉暴跌约13%

参考&#xff1a;CNBC、Bloomberg编译&#xff1a;网易智能编辑&#xff1a;丁广胜参与&#xff1a;小小美国当地时间周四&#xff0c;法庭的文件显示特斯拉电动汽车公司首席执行官伊隆马斯克(Elon Musk)已被美国证券交易委员会(SEC)以欺诈罪起诉。与特斯拉关系密切的消息人士透…

《麻省理工科技评论》:2018年18大科技趋势,2017年7大失败技术

来源&#xff1a;科技周摘要&#xff1a;2018 年伊始&#xff0c;许多科技大势仍在继续&#xff0c;正如比尔盖茨所说&#xff0c;“大多数人高估了某种技术的短期价值&#xff0c;低估了其长期价值。”同样&#xff0c;大多数的年度预测会高估了一年内一些事件发生的可能性&am…

Android实现支持缩放平移图片

本文主要用到了以下知识点 MatrixGestureDetector 能够捕捉到长按、双击ScaleGestureDetector 用于检测缩放的手势 自由的缩放 需求&#xff1a;当图片加载时&#xff0c;将图片在屏幕中居中&#xff1b;图片宽或高大于屏幕的&#xff0c;缩小至屏幕大小&#xff1b;自由对图…

放麦子

题意&#xff1a; 国际象棋&#xff0c;一共64个方格&#xff0c;第一个格子里放一粒麦子&#xff0c;第二个放2粒&#xff0c;第三个放4粒&#xff0c;第四个放8粒。。。。。&#xff08;后面的数字是前面的两倍&#xff09; 求放满64个格子&#xff0c;一共需要多少粒麦子。 …

Material Design风格登录注册

本文实现了以下功能 完整的代码和样例托管在Github当接口锁定时&#xff0c;防止后退按钮显示在登录Activity 上。自定义 ProgressDialog来显示加载的状态。符合材料设计规范。悬浮标签&#xff08;floating labels&#xff09;&#xff08;来自设计支持库&#xff09;用户表单…

英特尔反驳质疑:芯片供应充足、10nm量产没问题

来源&#xff1a;华尔街见闻摘要&#xff1a;英特尔称2018年会将资本支出增加10亿美元&#xff0c;至总额创纪录的150亿美元&#xff1b;CEO称&#xff0c;个人电脑需求意外回升&#xff0c;但有足够供应满足市场&#xff0c;有望达成全年营收目标&#xff0c;股价涨近4%。竞争…

RecyclerView拖拽排序和滑动删除实现

效果图 如何实现 那么是如何实现的呢&#xff1f;主要就要使用到ItemTouchHelper &#xff0c;ItemTouchHelper 一个帮助开发人员处理拖拽和滑动删除的实现类&#xff0c;它能够让你非常容易实现侧滑删除、拖拽的功能。 实现的代码非常简单我们只需要两步&#xff1a; 实例化…

马斯克刚刚宣布辞去特斯拉董事会职务,仍然担任CEO

来源&#xff1a;大数据文摘编译&#xff1a;蒋宝尚据悉&#xff0c;当地时间周六&#xff0c;马斯克辞去特斯拉董事会主席一职&#xff0c;并且支付2000万美元罚款。以表示对美国证券交易委员会(SEC)指控的回应。SEC的指控来源于马斯克8月7日的一篇推文。推文中&#xff0c;他…

JavaScript 实现 GriwView 单列全选

在 GridView 里有一系列的 Checkbox &#xff0c;要实现对其全选或全不选。开始在网上找了&#xff0c;但是参考的代码会全选 GridView 里所有的 Checkbox &#xff0c;而我要的是单列全选。如图&#xff1a; 审核和权限是要分开的。 我自己写了 JavaScript 代码&#xff0c;贴…

自然语言处理(NLP)前沿进展报告

来源&#xff1a;专知摘要&#xff1a;2018年9 月 9 日-14 日&#xff0c;DeepMind主办的Deep Learning Indaba 2018 大会在南非斯泰伦博斯举行。会上&#xff0c;斯坦陵布什大学Herman Kamper和AYLIEN的Sebastian Ruder等专家做了《自然语言处理前言进展》的报告。报告首先探讨…

Android下利用Bitmap切割图片

在自己自定义的一个组件中由于需要用图片显示数字编号&#xff0c;而当前图片就只有一张&#xff0c;上面有0-9是个数字&#xff0c;于是不得不考虑将其中一个个的数字切割下来&#xff0c;需要显示什么数字&#xff0c;只需要组合一下就好了。 下面是程序的关键代码&#xff…

两种不同的人工智能观:工程观点和科学观点

来源&#xff1a;人机与认知实验室作者按&#xff1a;人工智能是作为工程还是科学&#xff0c;这个问题是一个很严肃的问题&#xff0c;如果从工程技术角度来看人工智能&#xff0c;那么认知科学尤其是认知心理学、神经生理学对人类这样的生物智能的原理性认识&#xff0c;就不…

BaseActivity与BaseFragment的封装

这篇博客主要是从BaseActivity与BaseFragment的封装开始&#xff0c;总结我们在实战开发中关于Fragment的注意事项以及心得体会。 先看以下效果图&#xff1a; 这里模拟的是用户登录模块&#xff0c;你可能会说&#xff0c;很普通的效果嘛&#xff0c;这有啥。嘿嘿&#xff0c…