李东回到35栋404寝室。
他也没耽搁,把自己那台移动工作站塞进双肩包,又顺手拿上电源适配器和几张用来打草稿的A4纸。
既然要正式开始撰写这篇关於黎曼Zeta函数非平凡零点算法的英文论文,寝室显然就不太合适了。
他背着包出了35栋宿舍楼,来到了元培书房。
相比於燕大那个常年人满为患的大图书馆,元培书房就要安静许多了。
而且这里校园网信号拉满,可直连燕大图书馆购买的所有中外文顶级资料库,查阅文献这些也很方便。
李东在书房里绕了一圈,找了个靠角落,带独立插座的位置坐下。
插上电源,开机。
李东最开始确实想过,要不要把这篇论文直接投给数学界的四大顶刊,比如《Annals
ofMathematics》之类的。
但是他总觉得秦飞不太靠谱,所以他自己也去查了一下,然後就果断放弃了————
数学四大顶刊的收录门槛是什麽?
那是必须解决数学界公认的重大公开问题。
比如你直接把黎曼猜想给证明了,或者你在朗兰兹纲领的核心分支上取得了决定性的突破之类的。
而李东现在手里握着的虽然是黎曼手稿中遗留的神级降维算法,但它本质上依然是一个计算方法。
它并没有从根本上给出黎曼猜想的逻辑证明。
「纯数领域的期刊肯定行不通,方向不匹配,初审就会被编辑毙掉。」
李东最後将目光锁定在了一本由AMS主办的顶级期刊上。
《Mathematics of Computation》。
简称
这本期刊在计算数论和算法数学领域,也是天花板级别的!
当年许多打破零点计算世界纪录的重磅论文,都是在这本期刊上首发的。
确定了要投稿的期刊,李东便打开了TeXstudio编辑器————
虽然黎曼的那套降维算法他已经在脑中推演得滚瓜烂熟了,而且还用C++完美的实现了它,但写学术论文毕竟不是写代码注释。
他需要将19世纪的数学手稿思维,与21世纪的现代计算机科学术语无缝融合。
各种英文的计算机专有名词、算法复杂度的标准表述,他都要查阅近几年的顶会文献,然後逐字的确认修改。
【标题:一种用於临界线上黎曼Zeta函数多点求值的降维新算法】
【摘要:本文提出了一种用於计算黎曼Zeta函数的突破性优化算法。】
【与传统的Odlyzko—Schonhage(OS)算法相比,本算法通过引入基於切比雪夫插值与非线性FFT网格展开的降维策略,成功将时间复杂度从传统的0(t^(1/2))进一步压缩————并在单机移动工作站环境下,仅用48小时完成了千亿级非平凡零点的高效全量验证————】
李东敲击着键盘————
在论文的核心部分,他引用了多篇经典文献,其中自然也包括XavierGourdon在2004年发表的那篇创下10^13次方个零点纪录的着名论文。
当然,引用的目的,是为了在後面的讨论中,优雅的展现降维打击。
【尽管0S算法及其後续变体显着提升了黎曼—西格尔公式的求值效率,但其在处理极高阶区间时,仍不可避免的受制於内存碎片的指数级爆炸。】
【而本文提出的算法模型,通过底层数学逻辑的重构————彻底规避了这一算力瓶颈————】
时间一分一秒的流逝。
元培书房里的学生换了一拨又一拨,李东却始终没动过。
就在这时,一个穿着格子衬衫的男生,从李东的座位旁路过。
他是元培学院大三的学生,目前已经顺利拿到了数院基础数学方向的直博保研资格。
今天来元培书房,是为了查一些关於同调代数的文献。
路过李东这桌时,他眼角的余光不经意的扫到了李东那台移动工作站,以及屏幕上满屏的英文和数学符号。
「嚯,好家夥,这是在写毕业设计吗?」
「不对呀,高年级经常来的,我大多都见过,这是新生?」
学长心里暗自嘀咕了一句,脚步微微放慢了一些。
「FFT多点求值?算法复杂度分析?」
男生心中大概有数了。
在燕大数院,一直有着一条心照不宣的领域门槛。
搞代数几何、拓扑等纯粹数学的,深耕的是基础理论的无人区。
而搞计算数论的,不仅要吃透解析数论的硬核理论,还要啃得动大规模数值计算的硬骨头,是纯数与计算交叉的顶尖赛道,没点真本事根本碰不了。
「嚯,这学弟居然在啃黎曼ζ函数零点计算?」
然而,当他看清了文档页眉处李东标注的拟投期刊名称—《.》时。
他的脚步直接顿住了,他很清楚这本期刊的分量。
作为AMS主办的计算数论天花板,别说一个大一新生了,就算是燕大数院里正儿八经的副教授、青年千人,想在上面发一篇一作论文。
那也得经历漫长而痛苦的大修小修,还不一定能过。
想当年他曾仗着竞赛金牌的底子心高气傲,直到在导师手底下搬了两年砖,被顶刊审稿人拒稿拒到怀疑人生,才深刻明白顶刊的门槛到底有多高。
「这学弟————怕是没遭受过学术的毒打吧?」
学长心里嘀咕了一句後就放轻脚步默默走开了,并没有出声去打扰李东。
等他查完文献回到宿舍,刚推开门就对着正在敲代码的室友忍不住开口。
「你们敢信?我刚才在元培书房,碰到个学弟,在写投《.》的论文,主题是黎曼ζ函数的零点计算算法。」
室友一下子就乐了。
「有啥大惊小怪的,我上次还看见有个学弟在证明黎曼猜想呢————
」
而李东,根本没注意到身後路过的学长。
他在敲下一长串的误差分析边界条件後,突然冒出个想法————
「这套算法在我的工作站上,单机跑几天就能突破千亿级————」
「那如果,我把它部署到真正的超算集群上呢?」
李东心里痒痒的。
「这套降维算法到底能跑到多少个零点?能不能一举突破10^14甚至10^15次方的历史极限?」
他太想知道这套算法的真正极限在哪里了!
而且,他的潜意识里一直有一个疑问。
「高斯留言说,让我提升权限————」
「难道仅仅靠着把黎曼手稿里的这套算法跑出更高的量级就能提升权限?」
李东眉头微皱。
「总感觉没那麽简单。」
就在他满脑子胡思乱想的时候。
「同学,不好意思打扰一下。」
一个温和的声音在耳边响起。
李东回过神,看到一个戴着红袖章的学长正站在他桌旁。
元培书房的日常管理和闭馆清场,都是由学院的学生助理勤工俭学轮流负责的。
「同学,已经晚上十点了,书房马上就要闭馆清场了。」
管理员学长指了指墙上的钟表,好心的提醒道。
「如果你还需要连夜赶论文的话,可以把东西收拾一下,去燕大图书馆的24小时阅览室,那边的区域是通宵开放的,WiFi也能连得上。」
李东愣了一下,看了一眼屏幕右下角的时间。
"22:05。"
「嘶—都这麽晚了?」
他感觉自己好像才坐下来没多久。
「哦,不好意思啊学长,我没注意时间,我马上就收拾!」
李东活动了一下酸痛的脖子。
去通宵?
算了吧,这篇论文的核心骨架和算法论证部分基本已经搞定了,剩下的排版和润色,明天再继续也赶趟。
「谢谢学长,我不熬夜了,这就回寝室。」
>