第223章 剩下的交給我了
李東自然不知道周啟峰家書房裡發生的事。
他這個寒假過得簡單到不能再簡單。
吃飯,睡覺,去研討室。
唯一的變化是研討室里的白板越來越多。
後來工作人員乾脆從其他教室推了十幾塊進來,沿牆一字排開。
他們三個人,三條線。
彭羅斯負責把零點對關聯的普適性從|a|1往|a|∈[0,4]擴。
楊勝果負責把陽光廳那天的遞歸濾過嵌入從gl?分歧≤2推廣到gl(n)分歧≤n。
李東自己負責最關鍵的一步,把零點對關聯的統計性質和局部分歧指數掛鉤,做出那個全新的「零點判據」。
三條線最終要交匯在一個共同的節點上。
原本預計要耗掉大半年的普適性擴展,被這套方法壓到了不到三周。
簡直像開了火箭一樣。 ……
一個下午。
彭羅斯在白板前寫了半天,把馬克筆一撂,轉過頭來。
「東。」
「二階濾過權重的跨層耦合項,我處理好了。」
李東抬起頭問道。
「嗯。」
「用你上次給我的那個標準套件。」
李東湊過去看了一眼,點了點頭。
「教授,乾淨。」
彭羅斯笑了。
那個問題原本是他自己掙扎了大半個月的東西。 現在用上他自己提的新方法,一下子推平了。
老爺子端起咖啡杯抿了一口,心情好得不行。
另一個白板前。
楊勝果盯著白板皺眉頭皺了快一個小時了。
「卡哪兒了楊老師?」李東走過去。
楊勝果嘆了口氣。
「推到第n?1層了。」
「按老辦法,每一層都要重新構造一次提升算子的相容性條件。」
(由於緩存原因,請用戶直接瀏覽器訪問看書就上 TW 看書網,精彩盡在𝐬𝐡𝐮.𝐭𝐰網站,觀看最快的章節更新)
「工作量往上指數漲。」
「我前兩天算到第五層就開始吃力了。」
李東想了想,從自己那迭東西里翻出一張表,丟給他。
「這個你先拿著用。」 楊勝果低頭看了一眼。
「……這是?」
「我那1023量級零點樣本跑出來的東西。」李東說。
「把分歧指數和對關聯收斂區間的對應關係整理成了一張數值表。」
「你把提升算子的階數估計放在這上面反向校準一下。」
「每一層不用再逐項構造,直接整體校驗就行。」
楊勝果拿著表看了兩分鐘。
然後抬起頭。
「小子。」
「你早點把這個給我不行嗎?」
李東眨了眨眼睛。
「我也是才整理出來的呀。」 「再早,表里的格子都是空的。」
楊勝果嘆了口氣,又忍不住笑了一下。
原本估計要花兩個月的遞推鏈條。
五天,寫完了。
……
但真正難的那一步,還是李東自己那邊。
零點判據里,必要性那一邊還好。
難的是充分性。
「f_π(a)在|a|∈[0,2/n]上收斂到gue預測值n|a|」,要直接推出「π滿足局部-整體相容性」,中間隔著一道很厚的牆。
這道牆,他和彭羅斯前前後後討論了十幾次,繞了好幾圈,都沒走通。
直到楊勝果那條線推到後半段。
他把自己遞歸提升算子在第k層和第k+1層之間的那個相容性差,寫成了一個特別乾淨的形式。 李東路過他那塊白板時,不小心看到了。
然後突然抬起頭。
「楊老師。」
楊勝果正在擦另一塊白板,聽見他叫,回過頭。
「嗯?」
「你這一行。」李東指了指白板,「恰好就是我充分性證明里要消掉的那一項的對偶。」
楊勝果愣了一下。
「不能這麼巧吧?」
李東沒答話。
他把筆從楊勝果手裡搶了過來,在白板空白處畫了一個對偶圖。
一條線是楊勝果的遞歸提升算子在層間的相容性差。
一條線是他自己充分性證明里那個遲遲消不掉的餘項。 兩條線畫完,接了起來。
兩個人對視了一眼。
彭羅斯站在旁邊沒說話,只是嘴角動了動。
這就是科研合作里最玄的那一下東西。
三條線本來是平行的。
如果三個人真合得來。
不用刻意去拚。
它們會自己找到彼此。
……
彭羅斯那條線已經寫到收尾。
楊勝果那條線也已經封到了gl(n)的最後一層。 李東自己那邊,充分性證明的牆也被推倒了……
三個人心裡大概都有數了。
這個課題走了八成了。
剩下的兩成只能李東一個人來干。
「教授。」
李東合上筆記本,看向彭羅斯。
「您這條線,差不多可以先停一下了。」
彭羅斯點了點頭。
「我自己也是這麼想的。」
「再往下寫,就開始侵入你們的那一段了。」
李東笑了笑。
「明天再陪楊老師把最後一層過一遍。」 「後面的事,就交給我了。」
彭羅斯舉了舉咖啡杯,沒說話。
研討室的燈亮到了凌晨兩點。
白板上的字擦了又寫,寫了又擦。
……
寒假就這麼結束了。
楊勝果也要回江城了。
走的那天,李東和彭羅斯一起把他送到了計程車上。
「楊老師,後面的事交給我了,你放心的去吧!」
楊勝果:……
雖然李東這玩意兒話說的不好聽。
但是他也知道後面他幫不上忙了。 這個課題里最大的那個框架,是李東的。
最關鍵的那把工具,也是李東的。
別人插手只會越幫越亂。
楊勝果把行李箱往後備箱一塞,笑著拍了拍李東的肩膀。
「小子,注意身體。」
「別一頭扎進去就不出來。」
李東咧嘴一笑。
「放心吧老師。」
「我可惜命了。」
楊勝果上了車,揮了揮手。
車開走的時候,李東一直站在路邊看著。
彭羅斯站在他旁邊,慢吞吞地說了一句。 「東。」
「老楊,是個很可愛的人。」
李東側過頭看了他一眼。
「教授,您也很可愛。」
彭羅斯老爺子哈哈大笑。
……
新學期的第一天。
燕大的學生陸陸續續地從全國各地回到了校園。
別的學校開學第一天,學生臉上多多少少能看見一點「假期還沒玩夠」的厭學情緒。
燕大沒有。
學生們走在五四路上你隨便都能聽見這種對話。
「我跟你說,我寒假把陶哲軒那本《分析》第二冊給啃完了。」 「你這速度有點慢啊,我室友寒假把整套hartshorne過了一遍。」
「你們那都不算什麼,我隔壁班一個哥們兒,寒假自學了三體問題的kam理論,回來直接找他導師商量要做一個數值課題。」
這種對話在燕大聽見,沒人會覺得裝。
大家都覺得:哦,正常。
他這個寒假過得簡單到不能再簡單。
吃飯,睡覺,去研討室。
唯一的變化是研討室里的白板越來越多。
後來工作人員乾脆從其他教室推了十幾塊進來,沿牆一字排開。
他們三個人,三條線。
彭羅斯負責把零點對關聯的普適性從|a|1往|a|∈[0,4]擴。
楊勝果負責把陽光廳那天的遞歸濾過嵌入從gl?分歧≤2推廣到gl(n)分歧≤n。
李東自己負責最關鍵的一步,把零點對關聯的統計性質和局部分歧指數掛鉤,做出那個全新的「零點判據」。
三條線最終要交匯在一個共同的節點上。
原本預計要耗掉大半年的普適性擴展,被這套方法壓到了不到三周。
簡直像開了火箭一樣。 ……
一個下午。
彭羅斯在白板前寫了半天,把馬克筆一撂,轉過頭來。
「東。」
「二階濾過權重的跨層耦合項,我處理好了。」
李東抬起頭問道。
「嗯。」
「用你上次給我的那個標準套件。」
李東湊過去看了一眼,點了點頭。
「教授,乾淨。」
彭羅斯笑了。
那個問題原本是他自己掙扎了大半個月的東西。 現在用上他自己提的新方法,一下子推平了。
老爺子端起咖啡杯抿了一口,心情好得不行。
另一個白板前。
楊勝果盯著白板皺眉頭皺了快一個小時了。
「卡哪兒了楊老師?」李東走過去。
楊勝果嘆了口氣。
「推到第n?1層了。」
「按老辦法,每一層都要重新構造一次提升算子的相容性條件。」
(由於緩存原因,請用戶直接瀏覽器訪問看書就上 TW 看書網,精彩盡在𝐬𝐡𝐮.𝐭𝐰網站,觀看最快的章節更新)
「工作量往上指數漲。」
「我前兩天算到第五層就開始吃力了。」
李東想了想,從自己那迭東西里翻出一張表,丟給他。
「這個你先拿著用。」 楊勝果低頭看了一眼。
「……這是?」
「我那1023量級零點樣本跑出來的東西。」李東說。
「把分歧指數和對關聯收斂區間的對應關係整理成了一張數值表。」
「你把提升算子的階數估計放在這上面反向校準一下。」
「每一層不用再逐項構造,直接整體校驗就行。」
楊勝果拿著表看了兩分鐘。
然後抬起頭。
「小子。」
「你早點把這個給我不行嗎?」
李東眨了眨眼睛。
「我也是才整理出來的呀。」 「再早,表里的格子都是空的。」
楊勝果嘆了口氣,又忍不住笑了一下。
原本估計要花兩個月的遞推鏈條。
五天,寫完了。
……
但真正難的那一步,還是李東自己那邊。
零點判據里,必要性那一邊還好。
難的是充分性。
「f_π(a)在|a|∈[0,2/n]上收斂到gue預測值n|a|」,要直接推出「π滿足局部-整體相容性」,中間隔著一道很厚的牆。
這道牆,他和彭羅斯前前後後討論了十幾次,繞了好幾圈,都沒走通。
直到楊勝果那條線推到後半段。
他把自己遞歸提升算子在第k層和第k+1層之間的那個相容性差,寫成了一個特別乾淨的形式。 李東路過他那塊白板時,不小心看到了。
然後突然抬起頭。
「楊老師。」
楊勝果正在擦另一塊白板,聽見他叫,回過頭。
「嗯?」
「你這一行。」李東指了指白板,「恰好就是我充分性證明里要消掉的那一項的對偶。」
楊勝果愣了一下。
「不能這麼巧吧?」
李東沒答話。
他把筆從楊勝果手裡搶了過來,在白板空白處畫了一個對偶圖。
一條線是楊勝果的遞歸提升算子在層間的相容性差。
一條線是他自己充分性證明里那個遲遲消不掉的餘項。 兩條線畫完,接了起來。
兩個人對視了一眼。
彭羅斯站在旁邊沒說話,只是嘴角動了動。
這就是科研合作里最玄的那一下東西。
三條線本來是平行的。
如果三個人真合得來。
不用刻意去拚。
它們會自己找到彼此。
……
彭羅斯那條線已經寫到收尾。
楊勝果那條線也已經封到了gl(n)的最後一層。 李東自己那邊,充分性證明的牆也被推倒了……
三個人心裡大概都有數了。
這個課題走了八成了。
剩下的兩成只能李東一個人來干。
「教授。」
李東合上筆記本,看向彭羅斯。
「您這條線,差不多可以先停一下了。」
彭羅斯點了點頭。
「我自己也是這麼想的。」
「再往下寫,就開始侵入你們的那一段了。」
李東笑了笑。
「明天再陪楊老師把最後一層過一遍。」 「後面的事,就交給我了。」
彭羅斯舉了舉咖啡杯,沒說話。
研討室的燈亮到了凌晨兩點。
白板上的字擦了又寫,寫了又擦。
……
寒假就這麼結束了。
楊勝果也要回江城了。
走的那天,李東和彭羅斯一起把他送到了計程車上。
「楊老師,後面的事交給我了,你放心的去吧!」
楊勝果:……
雖然李東這玩意兒話說的不好聽。
但是他也知道後面他幫不上忙了。 這個課題里最大的那個框架,是李東的。
最關鍵的那把工具,也是李東的。
別人插手只會越幫越亂。
楊勝果把行李箱往後備箱一塞,笑著拍了拍李東的肩膀。
「小子,注意身體。」
「別一頭扎進去就不出來。」
李東咧嘴一笑。
「放心吧老師。」
「我可惜命了。」
楊勝果上了車,揮了揮手。
車開走的時候,李東一直站在路邊看著。
彭羅斯站在他旁邊,慢吞吞地說了一句。 「東。」
「老楊,是個很可愛的人。」
李東側過頭看了他一眼。
「教授,您也很可愛。」
彭羅斯老爺子哈哈大笑。
……
新學期的第一天。
燕大的學生陸陸續續地從全國各地回到了校園。
別的學校開學第一天,學生臉上多多少少能看見一點「假期還沒玩夠」的厭學情緒。
燕大沒有。
學生們走在五四路上你隨便都能聽見這種對話。
「我跟你說,我寒假把陶哲軒那本《分析》第二冊給啃完了。」 「你這速度有點慢啊,我室友寒假把整套hartshorne過了一遍。」
「你們那都不算什麼,我隔壁班一個哥們兒,寒假自學了三體問題的kam理論,回來直接找他導師商量要做一個數值課題。」
這種對話在燕大聽見,沒人會覺得裝。
大家都覺得:哦,正常。