李东回到35栋404寝室。
他也没耽搁,把自己那台移动工作站塞进双肩包,又顺手拿上电源适配器和几张用来打草稿的A4纸。
既然要正式开始撰写这篇关于黎曼Zeta函数非平凡零点算法的英文论文,寝室显然就不太合适了。
他背着包出了35栋宿舍楼,来到了元培书房。
相比于燕大那个常年人满为患的大图书馆,元培书房就要安静许多了。
而且这里校园网信号拉满,可直连燕大图书馆购买的所有中外文顶级数据库,查阅文献这些也很方便。
李东在书房里绕了一圈,找了个靠角落,带独立插座的位置坐下。
插上电源,开机。
李东最开始确实想过,要不要把这篇论文直接投给数学界的四大顶刊,比如《Annals of Mathematics》之类的。
但是他总觉得秦飞不太靠谱,所以他自己也去查了一下,然后就果断放弃了……………
数学四大顶刊的收录门槛是什么?
那是必须解决数学界公认的重大公开问题。
比如你直接把黎曼猜想给证明了,或者你在朗兰兹纲领的核心分支上取得了决定性的突破之类的。
而李东现在手里握着的虽然是黎曼手稿中遗留的神级降维算法,但它本质上依然是一个计算方法。
它并没有从根本上给出黎曼猜想的逻辑证明。
“纯数领域的期刊肯定行不通,方向不匹配,初审就会被编辑毙掉。”
李东最后将目光锁定在了一本由AMS主办的顶级期刊上。
《Mathematics of Computation》
简称Math.Comp。
这本期刊在计算数论和算法数学领域,也是天花板级别的!
当年许多打破零点计算世界纪录的重磅论文,都是在这本期刊上首发的。
确定了要投稿的期刊,李东便打开了TeXstudio编辑器……………
虽然黎曼的那套降维算法他已经在脑中推演得滚瓜烂熟了,而且还用C++完美的实现了它,但写学术论文毕竟不是写代码注释。
他需要将19世纪的数学手稿思维,与21世纪的现代计算机科学术语无缝融合。
各种英文的计算机专有名词、算法复杂度的标准表述,他都要查阅近几年的顶会文献,然后逐字的确认修改。
【标题:一种用于临界线上黎曼 Zeta函数多点求值的降维新算法】
【摘要:本文提出了一种用于计算黎曼Zeta函数的突破性优化算法。】
【与传统的 Odlyzko-Sch?nhage (OS)算法相比,本算法通过引入基于切比雪夫插值与非线性FFT网格展开的降维策略,成功将时间复杂度从传统的O(t^(1/2))进一步压缩......并在单机移动工作站环境下,仅用 4时完成了千
亿级非平凡零点的高效全量验证.......
李东敲击着键盘......
在论文的核心部分,他引用了多篇经典文献,其中自然也包括 Xavier Gourdon在2004年发表的那篇创下10^13次方个零点纪录的著名论文。
当然,引用的目的,是为了在后面的讨论中,优雅的展现降维打击。
【尽管OS算法及其后续变体显著提升了黎曼-西格尔公式求值效率,但其在处理极高阶区间时,仍不可避免的受制于内存碎片的指数级爆炸。】
【而本文提出的算法模型,通过底层数学逻辑的重构......彻底规避了这一算力瓶颈......】
时间一分一秒的流逝。
元培书房里的学生换了一拨又一拨,李东却始终没动过。
就在这时,一个穿着格子衬衫的男生,从李东的座位旁路过。
他是元培学院大三的学生,目前已经顺利拿到了数院基础数学方向的直博保研资格。
今天来元培书房,是为了查一些关于同调代数的文献。
路过李东这桌时,他眼角的余光不经意的扫到了李东那台移动工作站,以及屏幕上满屏的英文和数学符号。
“嚯,好家伙,这是在写毕业设计吗?”
“不对呀,高年级经常来的,我大多都见过,这是新生?”
学长心里暗自嘀咕了一句,脚步微微放慢了一些。
“FFT多点求值?算法复杂度分析?”
男生心中大概有数了。
广告位置下