652章 四步

趙天、小云、曾寒三人赴燕大人民醫院探望歐葉。

剛睡醒的歐葉將手稿交付給三位學生,如此這般,這般如此,她對學生們面授機宜。

歐葉整理出的關於強BSD猜想證明的脈絡很清晰了,這條證明脈絡採用了逆推倒逼的方式。

最後一步,欲證明強BSD猜想,即證明這句話:E(Q)是無窮集的充要條件是L(E,s)在s=1處的泰勒多項式具有如下形式,L(E,s)=c(s-1)^r+高階項,其中c≠0,r是E的秩。

倒數第二步,欲證明上面的這句話,則需對橢圓曲線上的有理點進行計數。

倒數第三步,欲對橢圓曲線上的有理點進行計數,則需先論證橢圓曲線上的秩。

倒數第四步,欲論證橢圓曲線上的秩,可考慮採取羣論的方法。

經過歐葉和她三個學生的不懈努力,目前這個團隊已做到了倒數第四步。

“其實,倒數第四步,也可以認爲是正數第一步,它耗時最長。如果我們用兩年時間做完倒數第四步,那麼後面的三步,可以在兩個月內完成……哈……哈欠……”歐葉雖然身體欠佳,但她的數學思路十分清晰。

歐葉剛睡醒,卻又哈欠連連,三個學生說到:“葉子姐你休息吧,我們知道該怎麼做了!你睡會兒,我們先走了。”

三位學生小心翼翼的裝好歐葉的手稿,這便離開人民醫院返回燕大。

數院一樓走廊盡頭的小房間,是三位學生的作戰室。

三人首先將歐葉的手稿整理爲可進行計算機驗證的電子數據模式。

這份工作大概需要三人連做三天,每人每天的工作時間不會少於12個小時。

歐葉的思路,三個學生非常清楚了。

歐葉從羣論出發,通過對典型的橢圓曲線的秩進行計算證明,得到了一個關於橢圓曲線的秩的假設。

這個假設是否可以成爲引理,需要驗證。

歐葉採取的手段很傳統,從典型例子上推斷出典型理論,再把典型理論放到全部例子中,以求證它的普適性。

蘋果從樹上落下,砸到牛頓的腦袋。牛頓推導出一個理論,蘋果受到了地球引力影響。這個理論只是對蘋果有效,還是具備普適性?這就是牛頓接下來要做的普適性論證工作,最終他證明了萬有引力定律。

牛頓是偉大的人類之光,但他論證偉大理論的手段同樣很傳統,從簡單到複雜,再由複雜迴歸簡單。

在歐葉設定的強BSD猜想的倒數第四步中,她完成了從簡單到複雜的理論構建,當然了,目前只能算是個假設。

從複雜迴歸簡單,最終證明橢圓曲線的秩的假設具備普適性或有條件限制的普適性,是一件工程量極大的工作。

這份工作將由趙天、小云、曾寒三位學生來完成。

例如,在素數p=5的條件下,橢圓曲線y^2=x^3-x共有七個解,爲(0,0)、(1,0)、(4,0)、(2,1)、(3,2)、(3,3)、(2,4)。

這很容易被計算出來,趙天、小云、曾寒三人中的任何一人通過手動計算,10分鐘之內可以得出正確的解。

但是橢圓曲線理論上有無窮多條,大凡涉及無窮多的驗算工程,人類手動計算是搞不定的,必須依靠計算機。

趙天、小云、曾寒將用三天時間把歐葉的手稿,處理爲可被計算機驗證的數據。

而基於歐葉的手稿,通過計算機對橢圓曲線進行驗證,那就不知道需要多少天了,可能是三天,也可能是三年、三十年。

好在歐葉的碩士導師龔長偉教授對於BSD猜想做出了一個重要的貢獻。

龔教授證明了Kolyvagin逆命題的相關定理,並與其他數學家聯合證明了,至少有三分之二的橢圓曲線滿足BSD猜想。

龔長偉教授等同於幫他的弟子歐葉排除了許多驗算條件,所以歐葉的三個學生只需驗證滿足Kolyvagin定理、Gross-Zagier定理、Shafarevich-Tate羣階數的橢圓曲線即可。

三個學生中最年長的趙天關切詢問他的師弟師妹:“馬上就要放暑假了,你倆回家的票買了嗎?”

小云搖搖頭:“反正我爸媽也不在家,我回去了也是無人餵養的單身狗,所以我決定,這個暑假留在首都勤工儉學。”

“小云,你爸媽去哪裡了?”趙天問到。

小云一邊整理歐葉的手稿一邊說:“我媽去德國做訪問學者,我爸去非洲幫助非洲朋友建設基礎設施,我要到明年春節才能見到爹媽。”

趙天知道,小云學妹的母親博士畢業於復旦,現任華東師範的教授。小云學妹的父親碩士畢業於水木大學,現任中建八局工程師。

小云學妹讀高中時能保送燕大數院,這不是她聰明不聰明的問題,而是基因遺傳。

“也好,也好,小云你暑假不回家,有啥需要儘管跟哥說。”趙天是帝都土著居民,籍貫密雲不老屯鎮半城子村。

既然是帝都居民,又是學長,趙天認爲他理應關照小云學妹。

小云點點頭道:“謝謝哥,咱抓緊處理數據吧。”

趙天轉而詢問小學弟:“你呢曾寒,你這個暑假應該要回家吧?”

曾寒專心處理數據並未擡頭:“我不回家,留校。”

“爲什麼呢?難道你爸媽也出國了?”

“不爲什麼,反正就是留校。”

曾寒十五歲保送燕大,今年也纔剛剛滿18歲。曾寒的父母都是博士,他的爺爺奶奶、外公外婆都是高級知識分子,他父母兩個家族一共有六位博士、七位碩士,在職的正教授、研究員有五位,兩個家族的成員三十五歲時的人均標準是副教授、副研究員。

出身於知識分子世家的曾寒能在15歲時保送燕大,同樣不是他聰明不聰明的問題,而是基因遺傳。

相比於名門世家的兩位學弟學妹,出身於密雲不老屯鎮半城子村的趙天算是個勵志型學長。

趙天常掛在嘴邊的話是:“我不是天才,我沒參加過奧數競賽。那年,我瞎幾把考,考上了首都四中,三年後又瞎幾把考,考上了燕大。讀本科時我瞎幾把浪,績點4.0,保送燕大數院研究生。”

這是趙天的真心話,他覺得跟學弟學妹相比,他就是個普通人。而小云、曾寒纔是那種真正意義上的天才。

嘎吱,小屋子的門開了。

進來一男子,他身材不高,精神抖擻,髮際線較高,眼神中閃爍智慧光芒,一看就不是凡人。

“周老師,你怎麼來了?”三位學生頗爲意外。

來人是周雨安,他與沈奇、歐葉並稱爲“燕大數院XX屆三傑”。

周雨安、沈奇、歐葉同一年入學燕大數院,他們仨是同班同學,三人先後赴普林斯頓數學系完成博士學業。他們那屆的數院本科生,亦被認爲是燕大史上最強的一屆。

燕大數院的後來者,是否能超越XX屆的沈、歐、週三傑?

目前看來是比較困難的。

單單沈奇一個人取得的成就,便幾乎不可超越。別說超越了,就連複製也很難。

IMO金牌選手、拉馬努金獎獲得者、沈奇科研中心數學室室長周雨安,他在燕大學數學的學生心中,是僅次於沈奇的二號男神。

周老師的編制不在數院,他忽然駕到數院,來到三位學生面前,必然是有什麼事情。

262章 重點培養對象(三更求月票)174章 你們感受到樂趣了嗎505 章 空着吧,別這麼形式化625章 在技術上尋求突破,在基礎理論上找到真因,在病理上攻克難題444章 囍292章 有希望有挑戰334章 合作愉快407章 有趣的靈魂259章 還是方程122章 瘋狂48小時691章 人類是渺小的,同時也是宏大的393章 穩定高於一切(三更求月票)629章 橢圓曲線的秩425章 婚假(三更謝仲二哥盟主)017章 拿圓珠筆的手,微微顫抖256章 很驚喜很意外138章 救我150章 美滋滋(四更求月票)544章 專訪242章 初心300章 國際數學家大會616章 黑洞信息悖論之我見675章 向堅守崗位無私奉獻的中國科學家致敬673章 女生棒棒噠021章 臥槽,有個人431章 老婆的溫暖(三更求月票)221章 實際上我並不懂數學586章 我大膽猜測272章 再次引爆全場336章 遇見更好的自己353章 大事413章 你是我師傅069章 作圖078章 暗中觀察713章 功德圓滿704章 有點不一樣680章 原來如此!456章 奶粉錢411章 黑洞508章 精品課669章 你是觸手怪嗎?(萬更求月票)099章 從前,我沒得選109章 不用謝我196章 幫個忙403章 掉頭髮的罪魁禍首162章 狀態不錯532章 論道超弦484章 你不可能做到讓每一個人滿意625章 在技術上尋求突破,在基礎理論上找到真因,在病理上攻克難題237章 生活還得繼續301章 國際數學家大會(2)199章 處對象或者結婚說白了就是看緣分383章 事業強底氣足220章 原來如此(四更求月票)551章 愛恨交加062章 平凡416章 準姑爺201章 在一起!在一起!302章 全套238章 分歧194章 一物降一物344章 低調545章 M理論……直播?691章 人類是渺小的,同時也是宏大的559章 爸爸的爸爸是爺爺090章 光學和量子論304章 中國人的菲爾茲獎(四更)674章 蛻變(三更求訂閱)510章 招生212章 確認過論文,就是你240章 不,不可能462章 哦原來是醬紫的(三更求月票)058章 【真】學霸368章 現象級310章 功臣547章 弦論和超弦理論的前世今生422章 增選院士大名單(三更求月票)171章 現在最流行的設定206章 追隨你的軌跡432章 結構性調整028章 歐拉七橋的變種?155章 大佬饒命310章 功臣692章 我同意486章 大哥的想法441章 諾獎發佈會(第三更)179章 一份薄禮366章 做點貢獻316章 懂了007章 我就看看,不說話610章 上帝能做的事情,化學家也能做567章 再見吧朋友143章 爲我所用391章 啓動物理室工作011章 取得進步380章 階段性成果(三更求月票)642章 可以,不可以676章 地表最強爹548章 請看大屏幕!313章 拜訪高等研究所