李東回到35棟404寢室。
他也沒耽擱,把自己那臺移動工作站塞進雙肩包,又順手拿上電源介面卡和幾張用來打草稿的a4紙。
既然要正式開始撰寫這篇關於黎曼zeta函式非平凡零點演算法的英文論文,寢室顯然就不太合適了。
他背著包出了35棟宿舍樓,來到了元培書房。
相比於燕大那個常年人滿為患的大圖書館,元培書房就要安靜許多了。
而且這裡校園網訊號拉滿,可直連燕大圖書館購買的所有中外文頂級資料庫,查閱文獻這些也很方便。
李東在書房裡繞了一圈,找了個靠角落,帶獨立插座的位置坐下。
插上電源,開機。
李東最開始確實想過,要不要把這篇論文直接投給數學界的四大頂刊,比如《》之類的。
但是他總覺得秦飛不太靠譜,所以他自己也去查了一下,然後就果斷放棄了……
數學四大頂刊的收錄門檻是甚麼?
那是必須解決數學界公認的重大公開問題。
比如你直接把黎曼猜想給證明了,或者你在朗蘭茲綱領的核心分支上取得了決定性的突破之類的。
而李東現在手裡握著的雖然是黎曼手稿中遺留的神級降維演算法,但它本質上依然是一個計算方法。
它並沒有從根本上給出黎曼猜想的邏輯證明。
“純數領域的期刊肯定行不通,方向不匹配,初審就會被編輯斃掉。”
李東最後將目光鎖定在了一本由as主辦的頂級期刊上。
《》。
簡稱athp。
這本期刊在計算數論和演算法數學領域,也是天花板級別的!
當年許多打破零點計算世界紀錄的重磅論文,都是在這本期刊上首發的。
確定了要投稿的期刊,李東便開啟了tetudio編輯器……
雖然黎曼的那套降維演算法他已經在腦中推演得滾瓜爛熟了,而且還用c++完美的實現了它,但寫學術論文畢竟不是寫程式碼註釋。
他需要將19世紀的數學手稿思維,與21世紀的現代電腦科學術語無縫融合。
各種英文的計算機專有名詞、演算法複雜度的標準表述,他都要查閱近幾年的頂會文獻,然後逐字的確認修改。
【標題:一種用於臨界線上黎曼zeta函式多點求值的降維新演算法】
【摘要:本文提出了一種用於計算黎曼zeta函式的突破性最佳化演算法。】
【與傳統的(os)演算法相比,本演算法透過引入基於切比雪夫插值與非線性fft網格展開的降維策略,成功將時間複雜度從傳統的o(t(1/2))進一步壓縮……並在單機移動工作站環境下,僅用48小時完成了千億級非平凡零點的高效全量驗證……】
李東敲擊著鍵盤……
在論文的核心部分,他引用了多篇經典文獻,其中自然也包括在2004年發表的那篇創下1013次方個零點紀錄的著名論文。
當然,引用的目的,是為了在後面的討論中,優雅的展現降維打擊。
【儘管os演算法及其後續變體顯著提升了黎曼-西格爾公式的求值效率,但其在處理極高階區間時,仍不可避免的受制於記憶體碎片的指數級爆炸。】
【而本文提出的演算法模型,透過底層數學邏輯的重構……徹底規避了這一算力瓶頸……】
時間一分一秒的流逝。
元培書房裡的學生換了一撥又一撥,李東卻始終沒動過。
就在這時,一個穿著格子襯衫的男生,從李東的座位旁路過。
他是元培學院大三的學生,目前已經順利拿到了數院基礎數學方向的直博保研資格。
今天來元培書房,是為了查一些關於同調代數的文獻。
路過李東這桌時,他眼角的餘光不經意的掃到了李東那臺移動工作站,以及螢幕上滿屏的英文和數學符號。
“謔,好傢伙,這是在寫畢業設計嗎?”
“不對呀,高年級經常來的,我大多都見過,這是新生?”
學長心裡暗自嘀咕了一句,腳步微微放慢了一些。
“fft多點求值?演算法複雜度分析?”
男生心中大概有數了。
在燕大數院,一直有著一條心照不宣的領域門檻。
搞代數幾何、拓撲等純粹數學的,深耕的是基礎理論的無人區。
而搞計算數論的,不僅要吃透解析數論的硬核理論,還要啃得動大規模數值計算的硬骨頭,是純數與計算交叉的頂尖賽道,沒點真本事根本碰不了。
“謔,這學弟居然在啃黎曼ζ函式零點計算?”
然而,當他看清了文件頁首處李東標註的擬投期刊名稱——《athp》時。
他的腳步直接頓住了,他很清楚這本期刊的分量。
作為as主辦的計算數論天花板,別說一個大一新生了,就算是燕大數院裡正兒八經的副教授、青年千人,想在上面發一
篇一作論文。
那也得經歷漫長而痛苦的大修小修,還不一定能過。
想當年他曾仗著競賽金牌的底子心高氣傲,直到在導師手底下搬了兩年磚,被頂刊審稿人拒稿拒到懷疑人生,才深刻明白頂刊的門檻到底有多高。
“這學弟……怕是沒遭受過學術的毒打吧?”
學長心裡嘀咕了一句後就放輕腳步默默走開了,並沒有出聲去打擾李東。
等他查完文獻回到宿舍,剛推開門就對著正在敲程式碼的室友忍不住開口。
“你們敢信?我剛才在元培書房,碰到個學弟,在寫投《athp》的論文,主題是黎曼ζ函式的零點計算演算法。”
室友一下子就樂了。
“有啥大驚小怪的,我上次還看見有個學弟在證明黎曼猜想呢……”
而李東,根本沒注意到身後路過的學長。
他在敲下一長串的誤差分析邊界條件後,突然冒出個想法……
“這套演算法在我的工作站上,單機跑幾天就能突破千億級……”
“那如果,我把它部署到真正的超算叢集上呢?”
李東心裡癢癢的。
“這套降維演算法到底能跑到多少個零點?能不能一舉突破1014甚至1015次方的歷史極限?”
他太想知道這套演算法的真正極限在哪裡了!
而且,他的潛意識裡一直有一個疑問。
“高斯留言說,讓我提升許可權……”
“難道僅僅靠著把黎曼手稿裡的這套演算法跑出更高的量級就能提升許可權?”
李東眉頭微皺。
“總感覺沒那麼簡單。”
就在他滿腦子胡思亂想的時候。
“同學,不好意思打擾一下。”
一個溫和的聲音在耳邊響起。
李東回過神,看到一個戴著紅袖章的學長正站在他桌旁。
元培書房的日常管理和閉館清場,都是由學院的學生助理勤工儉學輪流負責的。
“同學,已經晚上十點了,書房馬上就要閉館清場了。”
管理員學長指了指牆上的鐘表,好心的提醒道。
李東愣了一下,看了一眼螢幕右下角的時間。
“。”
“嘶——都這麼晚了?”
他感覺自己好像才坐下來沒多久。
“哦,不好意思啊學長,我沒注意時間,我馬上就收拾!”
李東活動了一下痠痛的脖子。
去通宵?
算了吧,這篇論文的核心骨架和演算法論證部分基本已經搞定了,剩下的排版和潤色,明天再繼續也趕趟。
“謝謝學長,我不熬夜了,這就回寢室。”