第一百二十九章 數學家的前仆後繼
第129章 數學家的前仆後繼
美國在下一代網絡設備的加密模塊中引入課題組的部分算法，中國則獲得美方交換節點硬體架構的部分技術資料。
窗外，華盛頓的夜空被城市的燈光染成淡橘色。
他把便簽本翻到畫滿橋的那一頁，拿起筆，在BJ和海德堡兩個節點旁邊，又畫了一個新的節點。
節點裡面寫了三個字——華盛頓。
從這個新節點出發，他往三個方向畫了三條線：一條連著對NIST計算機實驗室網絡層數學架構的觀察筆記，一條連著中美學者的交流紀要，一條連著與霍夫曼這次無聲交鋒後的新判斷。
三條線都還是虛線，但每一個終點都留著位置，等著在接下來普林斯頓和矽谷的行程中被填滿。
臨睡前，他給家裡寫了一張明信片。
正面是華盛頓的夜景，國會山的圓頂亮著燈，在深藍色的夜空里像一個發光的貝殼。
背面他寫了幾行字，字跡很輕但每一筆都交代得清楚「爸媽，姐：我在美國一切都好，昨天在國家科學基金會做了報告，把咱們課題組的地圖給美國人看了，他們看懂了，月底回國。」
最後他拿起酒店電話，撥通了一個跨洋號碼。
長途電話的滋滋電流聲時斷時續，過了好久才響起一個熟悉的聲音。
「新西伯利亞科學城，這裡是計算中心。」
「找何巍，」陸沉說。
過了一會兒，聽筒里傳來何巍的聲音，隔著幾千公里顯得有些發悶，語速比平時更快。
「索科洛夫老師今天帶我們進了機房，EIbrus—1的實機比圖紙上看起來更大，足足占了兩層樓，」他的聲音忽然亮起來，「程鋒的圖蘭算法正在做指令級並行優化，目前進展順利，索科洛夫說，在他見過的並行算法裡，這個框架的原創性非常高。」
「你們那邊順利就好，告訴索科洛夫老師，他的第一個用戶雖然不是我本人，但我派了兩隻手過去，普林斯頓那邊，薩納克的學生戴維已經來探過路了一邀請函應該在去新西伯利亞的飛機上就到了。」
掛斷電話前，何巍沉默了一瞬，然後說：「陸沉，這趟回去，咱們那本課題本要寫新的一卷了。」
「新西伯利亞的雪還在下嗎？」
「下了兩天兩夜了，索科洛夫說這是西伯利亞冬天最冷的時候，河面上的冰能開卡
車。」電話那頭傳來很輕的笑聲，然後是一聲關門聲，大概是何巍走回了機房。
陸沉把話筒輕輕擱回座機上，把那本便簽本往前翻。
最早是父親陸慶國那個獨自蹲在碼頭江邊的背影，後來一頁一頁翻過莫斯科、BJ、海德堡和新西伯利亞。
然後他翻到錢學森畫藍圈的那一頁，在藍圈外面添了一個新的節點一舊金山。
全網首發更新 找好書上 TW 看書網，𝓈𝒽𝓊.𝓉𝓌超方便
那裡是這次美國之行的最後一站，也是中美青年學者數學交流會的正式會場，霍夫曼為他預留的主場。
他合上便簽本。
窗外，華盛頓的夜空下，波托馬克河在黑暗中安靜地流淌。
從華盛頓到普林斯頓，考察團選擇乘坐火車。
孫處長說，坐火車能看看美國的腹地。
周大校沒有反對，只是把軍大衣疊整齊了放在行李架上，說這火車比國內的軟臥還寬敞。
陸沉坐在靠窗的位置，看著窗外飛掠而過的景色—二月的賓夕法尼亞，原野是灰褐
色的。
收割後的玉米地里殘留著一排排整齊的秸稈茬子，在薄薄的積雪下露出枯黃的發梢。
紅色的穀倉偶爾從地平線上冒出來，像一枚枚棋子擺在灰綠色棋盤上。
鐵路道口的警示燈一閃一閃，鈴聲叮噹叮噹地穿過車窗，路上等著過鐵道的美國農民把手插在工裝褲口袋裡，嘴裡呵出的白氣一團一團散在風裡。
他在腦中過著即將見到的人。
普林斯頓高等研究院，彼得·薩納克。
前世的陸沉讀過他的論文—一解析數論和組合數學的大家，1980年代在拉姆齊理論上做出過突破性工作，後來轉向隨機矩陣和量子混沌。
這個人有一個特點：他看數學問題從不走尋常路。
別人用代數方法推組合問題，他用解析數論的圍道積分：別人用概率方法證明存在性，他用隨機矩陣的譜分布給出構造性框架。
索科洛夫在1979年的綜述里引用過薩納克的一個工作，霍夫曼說薩納克看到複合圖框架的簡報後親自托他轉告那句話「如果這個框架能繼續完善，它可能成為極值組合與代數拓撲交叉領域的新語言。」
現在他要去見這個說新語言的人。
火車減速進站時，透過車窗看到了戴維。
他站在月台上，粗呢西裝外面套了件羽絨馬甲，手裡舉著一張巴掌大的紙牌，上面用馬克筆寫著「CHINA DELEGATION」。
看到陸沉下車，他老遠就揮手，紙牌差點被風吹跑。
他旁邊站著一個頭髮花白的老人，穿一件深藍色的衝鋒衣，拉鏈拉到下巴底，腳上是一雙舊得發白的徒步鞋，站在一群西裝革履的接站人中間格格不入。
彼得·薩納克。
他比陸沉想像中更高也更瘦，顴骨突出，眼窩很深，灰藍色的眼睛在深凹的眼眶裡顯得格外亮，像冬天湖面上沒有凍結的兩小塊水域。
「Welcome to Princeton.」薩納克的聲音不高，但每個字都很清晰，像他的論文一樣不浪費任何詞彙，「戴維跟我說，你在NSF的白板上畫了一張圖，他說那張圖讓他想起了我1990年在國際數學家大會上聽過的某個報告—不是內容像，是畫法像，那個報告也是用線把代數、幾何、分析連在一起，作報告的人六十多歲。」
他看著陸沉。
「你十二歲，所以我想親眼看看那張圖。」
這是陸沉第一次踏進普林斯頓高等研究院。
這裡的建築和陸沉想像中完全不同——不是宏偉的殿堂，而是一組掩映在古樹間的低矮紅磚樓。
幾棟樓圍著一個安靜的庭院，二月樹葉落盡了，光禿禿的橡樹和楓樹把枝條伸向鉛灰色的天空，地上鋪著去年秋天留下的落葉，被雪水浸得發黑。
富爾德樓的大廳很安靜，牆上掛著歷屆教授的黑白照片愛因斯坦、哥德爾、馮·諾依曼、外爾、奧本海默。
他們從黑白照片裡沉默地看著這個從BJ來的少年，目光穿過幾十年的時光，落在同一塊磨得發亮的大理石地面上。
薩納克的辦公室在二樓，窗外是一棵老橡樹的枝丫，樹幹上有一個松鼠窩，松鼠不在家，大概是去別處覓食了。
辦公室不大，但堆滿了東西—書架上橫七豎八地塞著論文預印本和期刊，有些紙張已經泛黃：桌面上攤著幾頁寫了一半的手稿，旁邊放著一杯冷透了的咖啡。
牆上掛著一塊黑板，黑板上畫著幾個拉姆齊圖的結構，旁邊標註了譜方法的推導。
薩納克把桌上的手稿推到一邊，騰出一塊空地。
他沒有寒暄，沒有客套，從抽屜里拿出一張紙，展開是陸沉去年在海德堡黑板上現場構造的那個複合圖問題的詳細描述，霍夫曼在簡報里收錄的那個版本。
薩納克在紙上用紅筆做了密密麻麻的批註，像用手術刀解剖一隻青蛙，每一根筋腱都被他挑出來做了記號。
「這個框架的核心，是把極值圖論、代數拓撲和矩陣譜理論整合成一個統一的方法，」薩納克指著紅筆圈出的一處，「這裡，你用了單純復形的同調群來刻畫極圖結構，思路是對的，但你只用了同調群的維數，我一直在想—如果用同調群上的譜序列，能不能把極值估計再往前推一步？」
陸沉翻開便簽本，翻到吳老畫下代數拓撲·同倫群節點的那一頁。
隔頁上，錢學森畫的藍圈微微褪色，墨跡淡了一點，但首尾相接的那一筆仍然嚴絲合縫。
他把便簽本放在桌上。
「薩納克教授，同調群的譜序列我們已經開始考慮了，但有一個坎還沒邁過去——把譜序列的收斂性和圖蘭極值結構的穩定性聯繫起來，需要的不是單純的代數拓撲，還需要一個中間構造。」
薩納克盯著那張圖看了很久。
窗外橡樹的枯枝被風吹得敲在窗玻璃上，發出乾燥的嗒嗒聲。
然後他站起來走到黑板前面，拿起粉筆畫了一個圓個和錢學森畫得幾乎一模一樣大的圓，但在圓的外面又加了一個更大的圈。
「你說的中間構造，我想了幾個月，」他指著兩個圓圈之間的環形區域，「極值組合和代數拓撲之間，缺的不是技巧，是一層膜，這層膜就是隨機矩陣的譜分布，拉姆齊圖在隨機擾動下的特徵值分布，和你們的圖蘭極值結構在連續變形下的同調群變化，是同一個數學現象在兩種語言裡的表達。」
粉筆在黑板上快速移動，他的推導速度極快，每一步都跳了好幾個台階，只在最關鍵的轉折處停下來寫一個公式。
陸沉跟得很緊，前世的論文閱讀和重生後的課題積累在這一刻匯成了同一條流——薩納克在隨機矩陣的譜分布里看到的是量子混沌和能級間距，他在同一個公式里看到的是極值圖在隨機擾動下的穩定性邊界。
兩個人從黑板的兩端同時往中間推，推到某個交叉點時，薩納克忽然停下來，看著陸沉剛補上的一行公式。
「這一步，你怎麼想到的？」
「從群表示論的角度，我們把圖的鄰接矩陣特徵值分布和同調群的貝蒂數聯繫起來，中間需要一座橋—群表示的正交關係恰好能提供這座橋，何巍在這個方向上打過一個引理。」
薩納克沉默了一瞬，然後走到辦公桌前，從抽屜里拿出一份手稿。
手稿很厚，稿紙邊角毛糙，上面是他的筆跡——和寫在複合圖簡報上的批註一樣細密而鋒利。
他翻到中間一頁，上面是兩個並排的圖：左邊是一個拉姆齊圖的譜分布，右邊是一個復形同調群的貝蒂數圖表。
他在兩個圖之間畫了一個箭頭，箭頭上方打了一個問號。
「這個問號，我畫了將近一年，」他把手稿放在陸沉面前，「你剛才的推導，在這個問號上畫了一條線。」
他退後一步，靠在辦公桌邊沿，抱起雙臂看著黑板。
「在我見過的搞數學的人里，有兩種人，一種人看到一個難題，會說這不可能」：
另一種人看到同一個難題，會說這需要新語言」，你屬於後者。」
他走到黑板前，拿起粉筆在剛才那兩個圓圈的環形區域裡寫下一個新的引理編號引理7，旁邊標註：極值組合與代數拓撲之間的譜橋樑。
「這個引理，你回去以後能完成嗎？」
陸沉看著黑板上那個編號。
「一個引理不夠，從譜序列收斂性到隨機矩陣譜分布，跨度太長，拆成三個引理引理7a處理單純復形到拉普拉斯矩陣的映射，引理7b處理隨機擾動下的譜穩定性，引理7c
做極值估計。」
他在便簽本上把三個引理的結構畫出來，然後撕下這一頁遞給薩納克。
薩納克接過便簽紙，低頭看了很久，然後把它夾進那份手稿的問號那一頁。
他的手指在紙頁邊緣停了一下，像在把什麼東西輕輕按實。
「你知道你剛才做了什麼嗎？」他把手稿放回抽屜里，「你用三分鐘，畫出了我花了十一個月沒畫完的東西。」
中午，薩納克請陸沉和戴維在研究院的小餐廳吃飯。
小餐廳在富爾德樓一樓，窗外是庭院裡幾棵光禿禿的橡樹。
二月陽光從鉛灰色雲層的縫隙里漏下來，在桌布上投下淡淡的光斑。
薩納克切開一塊煎三文魚，刀叉使得很慢，像是在用解剖數學問題的精度處理食物。
吃了幾口之後他放下刀叉，擦了擦嘴角。
「1990年國際數學家大會，我聽到你關於圖蘭定理擴展形式的證明時，我就覺得這個方向不對—不是說你不對，是說整個極值圖論這幾十年的路數不對，所有人都在用概率方法、存在性證明，沒有人試圖把構造性框架建立起來，你去年在海德堡做的那份證明算是把路給打了個樣，你的課題組這一年來乾的活一把圖蘭構造性算法和編碼理論連接起來，把群表示論和組合數學打通—每一步都踩在同一個方向上，這個方向，我們錯過了一代人。」
他把餐巾放在桌上。
「我二十四歲那年證明了拉姆齊數的一個下界，用的是純組合方法，埃爾德什看到以後給我寫了封信，只有一句話你找到了正確的路，但你一個人走不遠。
我當時不太明白他的意思，後來我才知道，他說的是：真正的大框架，是世代工程，一個人只能開個頭，要好幾代數學家前赴後繼地接過來推下去。」
他端起水杯看著窗外光禿禿的橡樹，枯枝在風裡輕輕搖晃。
「但你不一樣，你不是一個人，你的課題組有七八個人，最大的比你大十幾歲，但你們一起把這東西推到了這一步，你們用一年時間走完了我們這一代用十年才走完的路。」
美國在下一代網絡設備的加密模塊中引入課題組的部分算法，中國則獲得美方交換節點硬體架構的部分技術資料。
窗外，華盛頓的夜空被城市的燈光染成淡橘色。
他把便簽本翻到畫滿橋的那一頁，拿起筆，在BJ和海德堡兩個節點旁邊，又畫了一個新的節點。
節點裡面寫了三個字——華盛頓。
從這個新節點出發，他往三個方向畫了三條線：一條連著對NIST計算機實驗室網絡層數學架構的觀察筆記，一條連著中美學者的交流紀要，一條連著與霍夫曼這次無聲交鋒後的新判斷。
三條線都還是虛線，但每一個終點都留著位置，等著在接下來普林斯頓和矽谷的行程中被填滿。
臨睡前，他給家裡寫了一張明信片。
正面是華盛頓的夜景，國會山的圓頂亮著燈，在深藍色的夜空里像一個發光的貝殼。
背面他寫了幾行字，字跡很輕但每一筆都交代得清楚「爸媽，姐：我在美國一切都好，昨天在國家科學基金會做了報告，把咱們課題組的地圖給美國人看了，他們看懂了，月底回國。」
最後他拿起酒店電話，撥通了一個跨洋號碼。
長途電話的滋滋電流聲時斷時續，過了好久才響起一個熟悉的聲音。
「新西伯利亞科學城，這裡是計算中心。」
「找何巍，」陸沉說。
過了一會兒，聽筒里傳來何巍的聲音，隔著幾千公里顯得有些發悶，語速比平時更快。
「索科洛夫老師今天帶我們進了機房，EIbrus—1的實機比圖紙上看起來更大，足足占了兩層樓，」他的聲音忽然亮起來，「程鋒的圖蘭算法正在做指令級並行優化，目前進展順利，索科洛夫說，在他見過的並行算法裡，這個框架的原創性非常高。」
「你們那邊順利就好，告訴索科洛夫老師，他的第一個用戶雖然不是我本人，但我派了兩隻手過去，普林斯頓那邊，薩納克的學生戴維已經來探過路了一邀請函應該在去新西伯利亞的飛機上就到了。」
掛斷電話前，何巍沉默了一瞬，然後說：「陸沉，這趟回去，咱們那本課題本要寫新的一卷了。」
「新西伯利亞的雪還在下嗎？」
「下了兩天兩夜了，索科洛夫說這是西伯利亞冬天最冷的時候，河面上的冰能開卡
車。」電話那頭傳來很輕的笑聲，然後是一聲關門聲，大概是何巍走回了機房。
陸沉把話筒輕輕擱回座機上，把那本便簽本往前翻。
最早是父親陸慶國那個獨自蹲在碼頭江邊的背影，後來一頁一頁翻過莫斯科、BJ、海德堡和新西伯利亞。
然後他翻到錢學森畫藍圈的那一頁，在藍圈外面添了一個新的節點一舊金山。
全網首發更新 找好書上 TW 看書網，𝓈𝒽𝓊.𝓉𝓌超方便
那裡是這次美國之行的最後一站，也是中美青年學者數學交流會的正式會場，霍夫曼為他預留的主場。
他合上便簽本。
窗外，華盛頓的夜空下，波托馬克河在黑暗中安靜地流淌。
從華盛頓到普林斯頓，考察團選擇乘坐火車。
孫處長說，坐火車能看看美國的腹地。
周大校沒有反對，只是把軍大衣疊整齊了放在行李架上，說這火車比國內的軟臥還寬敞。
陸沉坐在靠窗的位置，看著窗外飛掠而過的景色—二月的賓夕法尼亞，原野是灰褐
色的。
收割後的玉米地里殘留著一排排整齊的秸稈茬子，在薄薄的積雪下露出枯黃的發梢。
紅色的穀倉偶爾從地平線上冒出來，像一枚枚棋子擺在灰綠色棋盤上。
鐵路道口的警示燈一閃一閃，鈴聲叮噹叮噹地穿過車窗，路上等著過鐵道的美國農民把手插在工裝褲口袋裡，嘴裡呵出的白氣一團一團散在風裡。
他在腦中過著即將見到的人。
普林斯頓高等研究院，彼得·薩納克。
前世的陸沉讀過他的論文—一解析數論和組合數學的大家，1980年代在拉姆齊理論上做出過突破性工作，後來轉向隨機矩陣和量子混沌。
這個人有一個特點：他看數學問題從不走尋常路。
別人用代數方法推組合問題，他用解析數論的圍道積分：別人用概率方法證明存在性，他用隨機矩陣的譜分布給出構造性框架。
索科洛夫在1979年的綜述里引用過薩納克的一個工作，霍夫曼說薩納克看到複合圖框架的簡報後親自托他轉告那句話「如果這個框架能繼續完善，它可能成為極值組合與代數拓撲交叉領域的新語言。」
現在他要去見這個說新語言的人。
火車減速進站時，透過車窗看到了戴維。
他站在月台上，粗呢西裝外面套了件羽絨馬甲，手裡舉著一張巴掌大的紙牌，上面用馬克筆寫著「CHINA DELEGATION」。
看到陸沉下車，他老遠就揮手，紙牌差點被風吹跑。
他旁邊站著一個頭髮花白的老人，穿一件深藍色的衝鋒衣，拉鏈拉到下巴底，腳上是一雙舊得發白的徒步鞋，站在一群西裝革履的接站人中間格格不入。
彼得·薩納克。
他比陸沉想像中更高也更瘦，顴骨突出，眼窩很深，灰藍色的眼睛在深凹的眼眶裡顯得格外亮，像冬天湖面上沒有凍結的兩小塊水域。
「Welcome to Princeton.」薩納克的聲音不高，但每個字都很清晰，像他的論文一樣不浪費任何詞彙，「戴維跟我說，你在NSF的白板上畫了一張圖，他說那張圖讓他想起了我1990年在國際數學家大會上聽過的某個報告—不是內容像，是畫法像，那個報告也是用線把代數、幾何、分析連在一起，作報告的人六十多歲。」
他看著陸沉。
「你十二歲，所以我想親眼看看那張圖。」
這是陸沉第一次踏進普林斯頓高等研究院。
這裡的建築和陸沉想像中完全不同——不是宏偉的殿堂，而是一組掩映在古樹間的低矮紅磚樓。
幾棟樓圍著一個安靜的庭院，二月樹葉落盡了，光禿禿的橡樹和楓樹把枝條伸向鉛灰色的天空，地上鋪著去年秋天留下的落葉，被雪水浸得發黑。
富爾德樓的大廳很安靜，牆上掛著歷屆教授的黑白照片愛因斯坦、哥德爾、馮·諾依曼、外爾、奧本海默。
他們從黑白照片裡沉默地看著這個從BJ來的少年，目光穿過幾十年的時光，落在同一塊磨得發亮的大理石地面上。
薩納克的辦公室在二樓，窗外是一棵老橡樹的枝丫，樹幹上有一個松鼠窩，松鼠不在家，大概是去別處覓食了。
辦公室不大，但堆滿了東西—書架上橫七豎八地塞著論文預印本和期刊，有些紙張已經泛黃：桌面上攤著幾頁寫了一半的手稿，旁邊放著一杯冷透了的咖啡。
牆上掛著一塊黑板，黑板上畫著幾個拉姆齊圖的結構，旁邊標註了譜方法的推導。
薩納克把桌上的手稿推到一邊，騰出一塊空地。
他沒有寒暄，沒有客套，從抽屜里拿出一張紙，展開是陸沉去年在海德堡黑板上現場構造的那個複合圖問題的詳細描述，霍夫曼在簡報里收錄的那個版本。
薩納克在紙上用紅筆做了密密麻麻的批註，像用手術刀解剖一隻青蛙，每一根筋腱都被他挑出來做了記號。
「這個框架的核心，是把極值圖論、代數拓撲和矩陣譜理論整合成一個統一的方法，」薩納克指著紅筆圈出的一處，「這裡，你用了單純復形的同調群來刻畫極圖結構，思路是對的，但你只用了同調群的維數，我一直在想—如果用同調群上的譜序列，能不能把極值估計再往前推一步？」
陸沉翻開便簽本，翻到吳老畫下代數拓撲·同倫群節點的那一頁。
隔頁上，錢學森畫的藍圈微微褪色，墨跡淡了一點，但首尾相接的那一筆仍然嚴絲合縫。
他把便簽本放在桌上。
「薩納克教授，同調群的譜序列我們已經開始考慮了，但有一個坎還沒邁過去——把譜序列的收斂性和圖蘭極值結構的穩定性聯繫起來，需要的不是單純的代數拓撲，還需要一個中間構造。」
薩納克盯著那張圖看了很久。
窗外橡樹的枯枝被風吹得敲在窗玻璃上，發出乾燥的嗒嗒聲。
然後他站起來走到黑板前面，拿起粉筆畫了一個圓個和錢學森畫得幾乎一模一樣大的圓，但在圓的外面又加了一個更大的圈。
「你說的中間構造，我想了幾個月，」他指著兩個圓圈之間的環形區域，「極值組合和代數拓撲之間，缺的不是技巧，是一層膜，這層膜就是隨機矩陣的譜分布，拉姆齊圖在隨機擾動下的特徵值分布，和你們的圖蘭極值結構在連續變形下的同調群變化，是同一個數學現象在兩種語言裡的表達。」
粉筆在黑板上快速移動，他的推導速度極快，每一步都跳了好幾個台階，只在最關鍵的轉折處停下來寫一個公式。
陸沉跟得很緊，前世的論文閱讀和重生後的課題積累在這一刻匯成了同一條流——薩納克在隨機矩陣的譜分布里看到的是量子混沌和能級間距，他在同一個公式里看到的是極值圖在隨機擾動下的穩定性邊界。
兩個人從黑板的兩端同時往中間推，推到某個交叉點時，薩納克忽然停下來，看著陸沉剛補上的一行公式。
「這一步，你怎麼想到的？」
「從群表示論的角度，我們把圖的鄰接矩陣特徵值分布和同調群的貝蒂數聯繫起來，中間需要一座橋—群表示的正交關係恰好能提供這座橋，何巍在這個方向上打過一個引理。」
薩納克沉默了一瞬，然後走到辦公桌前，從抽屜里拿出一份手稿。
手稿很厚，稿紙邊角毛糙，上面是他的筆跡——和寫在複合圖簡報上的批註一樣細密而鋒利。
他翻到中間一頁，上面是兩個並排的圖：左邊是一個拉姆齊圖的譜分布，右邊是一個復形同調群的貝蒂數圖表。
他在兩個圖之間畫了一個箭頭，箭頭上方打了一個問號。
「這個問號，我畫了將近一年，」他把手稿放在陸沉面前，「你剛才的推導，在這個問號上畫了一條線。」
他退後一步，靠在辦公桌邊沿，抱起雙臂看著黑板。
「在我見過的搞數學的人里，有兩種人，一種人看到一個難題，會說這不可能」：
另一種人看到同一個難題，會說這需要新語言」，你屬於後者。」
他走到黑板前，拿起粉筆在剛才那兩個圓圈的環形區域裡寫下一個新的引理編號引理7，旁邊標註：極值組合與代數拓撲之間的譜橋樑。
「這個引理，你回去以後能完成嗎？」
陸沉看著黑板上那個編號。
「一個引理不夠，從譜序列收斂性到隨機矩陣譜分布，跨度太長，拆成三個引理引理7a處理單純復形到拉普拉斯矩陣的映射，引理7b處理隨機擾動下的譜穩定性，引理7c
做極值估計。」
他在便簽本上把三個引理的結構畫出來，然後撕下這一頁遞給薩納克。
薩納克接過便簽紙，低頭看了很久，然後把它夾進那份手稿的問號那一頁。
他的手指在紙頁邊緣停了一下，像在把什麼東西輕輕按實。
「你知道你剛才做了什麼嗎？」他把手稿放回抽屜里，「你用三分鐘，畫出了我花了十一個月沒畫完的東西。」
中午，薩納克請陸沉和戴維在研究院的小餐廳吃飯。
小餐廳在富爾德樓一樓，窗外是庭院裡幾棵光禿禿的橡樹。
二月陽光從鉛灰色雲層的縫隙里漏下來，在桌布上投下淡淡的光斑。
薩納克切開一塊煎三文魚，刀叉使得很慢，像是在用解剖數學問題的精度處理食物。
吃了幾口之後他放下刀叉，擦了擦嘴角。
「1990年國際數學家大會，我聽到你關於圖蘭定理擴展形式的證明時，我就覺得這個方向不對—不是說你不對，是說整個極值圖論這幾十年的路數不對，所有人都在用概率方法、存在性證明，沒有人試圖把構造性框架建立起來，你去年在海德堡做的那份證明算是把路給打了個樣，你的課題組這一年來乾的活一把圖蘭構造性算法和編碼理論連接起來，把群表示論和組合數學打通—每一步都踩在同一個方向上，這個方向，我們錯過了一代人。」
他把餐巾放在桌上。
「我二十四歲那年證明了拉姆齊數的一個下界，用的是純組合方法，埃爾德什看到以後給我寫了封信，只有一句話你找到了正確的路，但你一個人走不遠。
我當時不太明白他的意思，後來我才知道，他說的是：真正的大框架，是世代工程，一個人只能開個頭，要好幾代數學家前赴後繼地接過來推下去。」
他端起水杯看著窗外光禿禿的橡樹，枯枝在風裡輕輕搖晃。
「但你不一樣，你不是一個人，你的課題組有七八個人，最大的比你大十幾歲，但你們一起把這東西推到了這一步，你們用一年時間走完了我們這一代用十年才走完的路。」