在這三天的交流會里,許青舟來講收穫巨大。
比如見到數學家卡塔琳。哈里根。
以前他看的那本《極小模型的奇點理論》就是這位寫的。
老先生六十多歲,精神卻相當健碩,交流的過程中謙和嚴謹,兩人現場計算,想要驗證黎曼ζ函式的極點與代數簇的奇點是否存在某種對偶性。
當然,沒什麼結果。
只能期待後續研究。
另外,他還和新生代幾何學家皮埃爾一起就格羅滕迪克「遠阿貝爾幾何」視角探討黎曼猜想與幾何結構的深層聯絡,尋找是否有幾何化的表達。
也和陶哲軒討論了複分析部分的最佳化,最後還有物理學家威騰一起討論量子演算法。
而國外和夏國在學術交流的形式上,確實有鮮明的對比。
沒有複雜的儀式,幾分鐘就進入正題,以學術效率為核心,省略冗餘環節。
並且,這次來的可以說全都是大牛。
沒辦法,實在是黎曼猜想太重要了。
在數學領域,超過半世紀都沒被解決的猜想不僅僅只有黎曼猜想,比如困擾人們三個半世紀的費馬大定理,哥德巴赫猜想自提出之後到現在為止已經超過兩個半世紀,但依舊懸而未決。
黎曼猜想的歷史和他們相比顯得短暫。
但如果以與其它數學命題,甚至是物理學領域的各個學科的聯絡上講,黎曼猜想可以說是一騎絕塵。
一旦猜想成立,所有依賴猜想中零點分佈的命題,素數定理的誤差項最佳化,質數密度漸近於(rac{1}{ln x}))的誤差項可被大幅改進,例如從( O(x^{1/2+epsilon}))壓縮到( O(x^{1/2}ln x))。
另外,還有素數間隔估計,這些都會自動成立。
在例項上,就和密碼學相關。現代公鑰加密(如RSA)依賴大素數分解的困難性,而黎曼猜想被證明後,素數分佈的確定性規律可能催生更高效的素數生成或分解演算法。
總之,許青舟這幾天確實忙,但收穫頗多。
有意思的是,在大會里,他在證明黎曼猜想過程中使用的零點圍捕工具,成了許氏圍捕,而創新引入的物理工具的方式,則是許氏變換。
「幹活了。」
許青舟收回思緒,提筆繼續昨天的計算,目前正考慮黎曼定理在整數中的運用。
「設ω(n)是正整數n的不同素因子的個數,特別地,ω(1)= 0。。讓Fk(n)=1,ω(n)= k,0,ω(n) 6= k這樣就可以定義出一個素數分佈函式。」
六月,京都和波士頓的天氣其實沒多大區別。
燕東園。
「終於回來了。」
許青舟推著兩個大行李箱進門。
空氣中帶著絲絲塵埃的氣息,一年時間,除了房東賈阿姨會過來檢查一下水電,給房子通通風,其它時間完全處於閒置狀態。
。包肩雙白著提瑤宋
」。包提我,箱李行拿來該應你得覺我「:花校宋的亮漂旁著頭轉,氣完歇,下坐,來出子凳個兩把紙舟青許
」。小氣力,生是我「
。況的間房查檢著轉周四,撇瑤宋
」。「
。吧麼什裝想越麼什缺越是就能可這,子弱裝歡喜就花校宋,對以言無舟青許
」。生衛掃打,著坐別「
。巾和把掃拿去,下放包揹把瑤宋
」~嘞得「
。地掃把拖著拿,好晾上臺到拿絮棉的裡袋空真把先舟青許
。來出取單床的來回帶箱李行把,室臥拾收就瑤宋
。強店酒去比總方地的悉住但,累然雖,遍一了掃打外外裡裡把,午上個整了兒活忙人倆
。邊那月岱李去西東著拿也瑤宋,邊那授教鍾志顧去禮著拎舟青許,覺一睡單簡午中
)完章本(








