第555章 他们渎职!(一万字)
第555章 他们渎职!(一万字) (第1/2页)【普林斯顿传来重磅:黎曼猜想关键一步获证,希尔伯特–波利亚算子被成功构造】
李东看着这个简报标题,然後点进去。
这篇简报,记者们把能想到的形容词全都用上了,说普林斯顿西奥多温斯洛教授已经成功的构造出希尔伯特—波利亚算子。
还说这篇论文已经挂出来整整两个星期,全世界的学者都在用放大镜核对这篇论文,到现在为止没有找出任何错误。
数学界欠了170多年的那笔账,终於看到了还账希望。
但这篇简报里并没有贴出这篇论文,所以具体是什麽情况,李东暂时也是不知道。
“温斯洛教授真用迹公式,把这个算子给找出来?”
李东有些诧异。
不过诧异归诧异,他暂时也不准备去仔细看这篇论文,因为他还得先把量子计算机那边的事给办了。
这才是他现在急需做事。
至於温斯洛教授这篇论文到底有没有问题,李东并不在意。
因为他知道自己的算子d肯定没问题。
高斯都出来让他继续了,怎麽可能有问题呢?
10多分锺以後,车停在了昌平一家新开的川菜馆门口。
李东下车的时候人都有点傻。
蓝旗营那家店总共才4张桌子,而这个分店不仅桌子有12张了,居然还装明档和排风。
甚至门口还挂了一块【总店1998】木牌。
随後李东就点一份回锅肉,一份水煮肉片,然後连续扒了三碗米饭,吃满头都是汗。
老张坐在他的对面说道。
“李东院士4天没正经吃饭了,头一顿别吃这麽急。”
“没事,张老师,我胃口好。”
李东嘴里还含着饭,所以口齿不清地说道。
吃完饭,结完账以後,李东就坐着老张车,向着研究所方向开去。
在车上,李东一直在想。
“算子d,我算是把它抓出来了,接下来就该让它谱去当能级骨架了,然後再把逻辑子空间镶嵌进谱间隙里,那那个偏移应该就能解决了。”
算子d本质其实就是一个自伴算子,黎曼zeta函数每一个非平凡零点都会严格地落在它谱上。
这条谱能级位置会被显式公式一条一条框出来,然後就能写进标定表里。
而且它们相邻能级天生就互斥,谱隙不塌,也不会简并。
隙宽还有严格的可证下界,完全能够算得出来这样的能级排布不知道是多少做物理人梦想。
通用容错量子计算机现在就卡在一条慢偏移上。
42k铁硒基天生就具有亚稳相。
用它来做成器件,临界电流就会随着时间慢慢的偏移,并且还是带着趋势。
所以只要这条偏移还在,纠错就没办法做大。
因为按阈值定理,它前提是,干扰得各管各,也不能随时间变化。
但偏移一旦带上趋势以後,就会把这个前提给打破。
而这样的排布正好可以把慢偏移隔离在纠错码逻辑子空间之外。
根据绝热定理,一个足够慢干扰是翻不过一道足够宽又永远不会塌能隙。
所以把逻辑子空间放进这样的谱系里面,就等於把它藏进墙後面。
慢偏移就只能在缝隙外打转了,根本就够不着它,也就没办法积累错误了。
这样逻辑错误率就能一路压下去了。
可要将这副骨架放在真的机器上。
那谱系就得按着器件实测偏移幅度去定宽窄,读取频段落在第几条能级之间。
而且还得按照那块42k铁硒基特性来排。
而最了解这块材料的特性人,就是李东。
再加上整机控制和标定框架,是他定下来。
所以这件事还真得李东亲自来弄。
不然就算他把算子d原理清清楚楚地告诉陆炳军他们,他们也做不来。
......
计算机学部测控室。
蒋维,杜文涛和几个研究员正站在大屏幕前,陆炳军也背着手站在那里。
“钝化固化进流程之後前两个批次跑完了吗?”
杜文涛点了点头。
“陆老已经跑完了,批间差压的比上一轮稍微好一些,就是偏移线还是老样子。”
“那四比特阵列那边呢?”
负责阵列的蒋维说道。
“高频重标定我们从来没停过,数据一直都留着呢。”
随後,陆炳军又问了一句。
“黑牛研究员那边有没有说什麽?”
蒋维摇了摇头。
“黑牛研究员说让我们再等等。”
“等等?”
陆炳军沉默了。
就在这时,测控室门被推开,李东走了进来。
“李所长。”
众人都纷纷跟他打招呼。
陆炳军也向他走了过来。
“李所长。”
“哦,陆老啊,你们在干嘛呢?”
“我在问他们联合标定数据。”
“行,那你们继续。”
李东点了点头。
“我就过来拷点东西。”
“这一个多月联合标定原始数据,还有钝化批次连续监测那几组偏移统计,全部给我导一份。”
陆炳军一听,有些奇怪。
“李所长,你要这些干嘛呀?”
“要知道那堆原始数据,我看着......”
他刚说一半,像是反应过来了什麽,立马问道。
“李所长,你有办法解决偏移了吗?”
李东笑着说道。
“差不多吧,现在还不确定,等我把东西做出来,再给你们详细说,现在我得抓紧时间。”
李东说着,就把杜文涛拿过来的一个u盘放进了包里。
“行了,你们忙啊。”
说完他转头就走,留下测控室里懵逼众人。
刚走出实验室,李东手机就响了起来。
是刘若传打过来的。
“喂,刘老师”
“喂,李东啊,你最近在干嘛呀?我怎麽电话也打不通,我还以为你把我拉黑。”
“没有没有,怎麽可能拉黑您呢?刘老师。”
“最近就是有点忙,所以没听到电话。”
刘若传也没有太在这个事上纠结,而是说道。
“你看到温斯洛教授那篇论文没有啊?”
“我看了一下新闻,还没仔细看呢。”
“你的心可真大呀。”
“现在数学界都为这事吵翻了,苏黎世联邦理工学院维克伦德教授好像发现了温斯洛教授那篇论文一个错误,你抽空看一下,我和田老师都想听听你的意见。”
“不对,现在整个数学圈都想听听你的意见。”
李东当年那篇零点对关联的论文,把临界线上zeta零点排布同随机矩阵特征值排布在统计上严格地对成了等价。
这就相当於在黎曼猜想上,把蒙哥马利悬了几十年的猜想,直接做成了定理。
所以要说黎曼猜想这条路上走在最前面的人,那肯定是有李东一个的。
至於刘若传嘴里那位安德斯维克伦德教授,他是苏黎世联邦理工学院的教授,也是做了半辈子谱理论和散射理论。
而解析数论论文,其实不在他专业里,可温斯洛这篇论文里最精彩的那一跳,又恰恰是用的散射相,因此撞在了他专业上。
挂断电话以後,李东在脑子里想了想,说实话,他对这个课题其实真的感兴趣。
毕竟自己也用过温斯洛教授的方法,但失败了。
所以他真想看看温斯洛是怎麽把这道坎迈过去的。
至於维克伦德质疑,还有其他教授反对,那也得等他先把论文看完,有个基本的判断後再说。
可李东也知道自己的毛病,这种论文一旦看进去,没个三五天根本他根本抽不出来
而计算机学部那边,大家还等着他呢。
所以孰轻孰重,李东还是分得清。
“嗯......就在路上简单看一看吧。”
李东一边往公寓走着,一边拿出手机搜出了那篇《黎曼zeta函数非平凡零点一个谱实现》。
前面的几章框架,他也就一目十行地简单地扫了过去。
主基数怎麽搭?几何侧论又是怎麽做的?初看下来没有什麽问题。
随後他就直接翻到了论文这是温斯洛最自豪的一步,也是李东当时没过去地方。
这里温斯洛没有强硬的去压散射相,而是造了一组会随谱参数移动的截断窗。
还配一个补偿泛函,让艾森斯坦级数搞出来的那些震荡,在截断族极限意义下,两两对消。
“牛逼呀!没去压散射相,而是把它给平均。”
李东一边走着,一边忍不住的夸了一句。
吓得迎面走过来的两个研究员一跳。
然後看见是李所长,又装作没事一样的离开了。
说实话,温斯洛这个想法,一般人是想不到的。
就算想到了,全世界能把这一步做出来的人,一只手也数得出来。
补偿泛函里每一项容许性,都得靠着对零点分布几十年的手感,一项一项去匹配。
补窗稍微移快一点,震荡就消不干净。
稍微移慢一点,尖点那边的艾森斯坦级数又压不住。
而温斯洛则是把每一项都配在了刚刚好那个位置上。
“不得不说,他真的很了解黎曼呀。”
“真想见见这个温斯洛教授啊。”
“等後面有机会的吧,彭罗斯应该认识他。”
一路上,李东就这麽把论文从第一页快速地翻到了最後一页,正好此时公寓楼也到。
他这麽粗略的看,肯定是找不出这个论文里有没有问题。
但刘若传和田刚那边还等着他的消息呢,而他又要解决量子计算机那边的问题。
所以他闭上眼,把这篇论文丢给了思维沙盘。
然後让它顺着整条证明链,一节一节往下推。
沙盘也从第一章推到最後一章,路上也没遇到什麽问题,最後出来了一个结论。
【链条闭合,前提已具备。】
李东点了点头,那就是没问题喽。
随後他又给刘若传发了条消息。
【刘老师,我觉得温斯洛教授论文没啥问题。】
......
接下来的三天,李东就没怎麽出过门
他的书桌上放着草稿纸,电脑上显示着四比特阵列,这一个多月攒下来的偏移数据。
【以刚性能级序列{λ?}为骨架,取相邻间隙可证下界δ?,令逻辑子空间支撑集压进(λ?+δ?/3,λ???—δ?/3)......略】
随着李东在草稿纸上推算,屏幕上那些偏移记录正在被逐条拟合成幅度谱。
定标,配码,校核,再定标,再配码,再校核。
这些偏移幅度谱顺着间隙在走,而间隙又压着码表在走。
最後码表再随着调度走,就这麽一环扣一环,李东丝毫不敢松懈。
第一天夜里,屏幕右下角,黑牛头上出现了一行字。
【主人,你已经28个小时没理过小黑了。】
【去去去,耕你的地去。】
小黑委屈巴巴地接着耕地去了。
第二天中午,老张把装着饭菜保温盒放在了门口,敲了两下门就下楼了。
而房间里,李东一边推导一边喃喃自语道。
“要是能把间隙定标做出来,那通用容错那边的问题应该就可以解决。”
他看着面前的草稿纸,然後又重新低下了头。
【取定标後的间隙族{i?},谱隙码下的逻辑错误率上界为......略】
......
太平洋对岸,普林斯顿。
自从论文挂上arxiv之後,西奥多温斯洛感觉这两个星期,是他啃黎曼猜想30多年来最热闹的两个星期。
不仅文卡特什从高等研究所那边来找他问补偿泛函里,那些项是照着什麽次序配进去的,甚至高尔斯也隔着太平洋,同他打了三个晚上的视频,翻来覆去的请教,谱隙下界在震荡消对之後,怎麽能立得住?
他的信箱里也收到很多从波恩,巴黎还有京城发来的邮件。
系里那些博士生更是排着队拿着论文守在他的办公室门口,就为了问一句,谱窗的参数应该怎麽取?
温斯洛很愿意跟他们讲,谱窗是怎麽起的头,补偿泛函数又是怎麽一项一项搞定的,甚至散射相那一跳,他又是怎麽构思。
这30多年攒下的那点心得,他一点都不私藏,恨不得掰开揉碎了,讲给每一个人听。
他只是希望他说的这些,能让大家对黎曼猜想重燃信心。
那天文卡特什在走廊里拍了拍他的肩膀。
“温斯洛教授,感谢您,数学界欠黎曼账,不能再这麽欠下去了。”
可就这两天,风向突然变了。
维克伦德教授在他论文下面,挂出一篇comment。
这篇comment针对他论文里【温斯洛教授,您论文很漂亮,那族移动的谱窗在极限下抵消散射相,每一步都成立,可这组谱窗最後收拢的时候,它必须要落在一个自伴极限对象上啊。】
【而你的论文从头到尾,我都找不到这个对象的存在。】
确实,他论文里关於这个极限相,他只写一句话。
【取极限,即得所求算子。】
他给出谱规律,他觉得这个算子肯定能推得出来,因此他没有去求证。
而前面两周,全世界的同行们也都是这样觉得的。
只有维克伦德发现了这个问题,毕竟他做了半辈子的散射理论,职业病让他在见到取极限三个字的时候,先问了一句,极限要落在哪?
於是他还真就试了试。
他照着取极限记得所求算子那句话,把谱窗足收拢极限一步一步的做了出来。
然後真的做出了一个对象。
而且前几万个零点同它谱也对得上
可这个对象他越看越眼熟,维克伦德在心里想到了一个词。
伪算子!
伪算子全名叫做伪微分算子。
它可以把一个真算子模仿到以假乱真地步。
谱上能对上一大段,散射数据也能对上。
但是有一点,它没有真算子该有自伴性。
伪算子这东西太偏了,做散射理论人也不见得都碰过。
可维克伦德碰过呀,他年轻的时候就是做散射共振。
那种平时躲在复平面里离实轴只差一点点,而且在数值里也同真特征值一模一样的冒牌货,他分辨过成千上万个。
就凭这个直觉,他把冯诺依曼亏指标拿了出来,对着这个对象算了一遍。
亏指标是专门用来验一个算子有没有自伴两个数(n?,n?)=(0,0)。
只有当这两个数都是0的时候,这个算子才是真的算子。
而维克伦德算出来的结果是,一个是0,一个并不是。
维克伦德把这一段推理连同亏指标计算也写在了comment里。
温斯洛教授看着屏幕上伪算子三个字,额头上都冒出了汗。
要是换做其他他任何一篇论文被人找出漏洞,他都会坦然接受,并且向那人道谢。
可是这一篇不行啊。
这是他30年来的心血,是他对黎曼猜想的坚持。
而且他也坚信自己没有错。
(本章未完,请点击下一页继续阅读)