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