索科洛夫的邀請函
參觀完計算機網絡實驗室已是傍晚。
邁克領著考察團穿過MIT那條著名的無盡走廊。
一條貫穿整棟主樓的長廊，兩側是教室、實驗室和教授辦公室，牆壁上貼著各種學術海報和講座通知。
走廊的盡頭是MIT的大穹頂，穹頂下的石柱被夕陽染成暖黃色。
施瓦茨早已等在穹頂下。
他已經把那份初步測試報告仔細歸檔，此刻手裡抱著一個印有MIT徽標的文件夾。
他看著陸沉走上石階。
「你們的加密模塊測試報告我已經讓實驗室整理好了一正式版明天早上送到你們駐地，」他停頓了一下，灰藍色的眼睛在那副舊眼鏡後面閃著一種審視而珍重的光，「你說得對，有些東西，不是硬體能解決的，是數學。」
他轉過身，帶著他們穿過穹頂大廳，走進一間燈光明亮的會議室。
長條桌上已經擺好了名牌和議程。
MIT數學系和計算機系的幾位教授陸續走進來，其中就有邁克提到的沙利文頭髮灰白、穿著舊毛衣的老教授，握手時掌心乾燥有力，打量了陸沉兩秒，然後微笑著說
了一句：「何—周引理，漂亮的工作。」
1
1
11
那天晚上的學術交流持續了三個小時。
1
MIT方面做了兩個報告——關於分布式計算和關於網絡資訊理論的數學邊界問題。
考察團這邊，孫處長讓陸沉代表課題組做了關於中國信息基礎設施數學地基的簡要報告。
陸沉再次走上講台，這一次他沒有帶便簽本，而是把施瓦茨實驗室列印出來的那份MIT測試數據放在了投影儀旁邊，又把薩納克教授交給他的手稿複印件平鋪在講台上。
「今天下午，在貴校的計算機網絡實驗室里，我們課題組的並行S盒生成算法在你們的原型機上跑通了，這是我們課題組的工作首次在完全獨立於國內銀河—環境的硬體平台上得到驗證，你們得到的結果和我們在BJ的運行數據一致。」
他從測試數據表講到下午剛建立的含動態鏈路容量的極限環條件，又講到這一結果與普林斯頓薩納克教授對極值組合與譜理論交叉框架的期望之間的內在聯繫。
101看書 海量好書在 101 看書網，101𝙠𝙠𝙨.𝙘𝙤𝙢等你尋 全手打無錯站
MIT的教授們安靜地聽著，沒有人打斷。
報告結束後，施瓦茨站起來，扶了扶眼鏡，說了兩句話。
第一句是：「你下午提出的那個微分不等式穩定性判據，我已經讓邁克布置下去，把它加到網絡實驗室下一階段的理論框架驗證計劃里了。」
第二句是：「等你INFOCOM的論文正式提交，我建議你在致謝里寫上MIT的這個下午這不是客氣，是學術記錄的完整性，你寫下的那個判據，是在我們的白板上誕生的。」
沙利文教授一直坐在會議室後排安靜地聽著，這時開口了。
他說話慢條斯理，和施瓦茨形成鮮明對比。
「我的方向和施瓦茨不同——我做的是分布式計算，但你們的何—周引理在安全協議驗證上的應用讓我想到了一個我自己領域裡卡了很久的問題。」
他在餐巾紙上畫了一個簡圖一個分布式系統的數據一致性維護問題，本質上是一個組合極值問題。
「你的課題組裡，有人做過這方面的推廣嗎？」
「組合極值方向是由我們課題組的程鋒在主導，他目前正在新西伯利亞科學城，在EIbrus—1上做並行驗證，」陸沉接過餐巾紙看了一眼，「但您畫的這個問題和他在超圖色數邊界的下界估計之間有結構同構性我回去以後可以先把初步思路整理出來發給您。」
沙利文點了點頭，把那張餐巾紙折好放進口袋裡。
「我等你的信。」
深夜，回到波士頓郊外的酒店。
窗外查爾斯河的河面在冬夜裡泛著細碎的冷光，對岸波士頓大學的燈光星星點點。
陸沉坐在書桌前，面前攤著三樣東西：下午與施瓦茨教授討論後修改過的那份具有動態鏈路容量的極限環穩定性判據的完整推導：薩納克教授的手稿複印件：何巍和程鋒從新西伯利亞傳回來的EIbrus—1第一輪並行驗證報告。
他把便簽本翻到畫滿橋的那一頁，在普林斯頓節點旁邊用鉛筆又畫了一個新的節點波士頓。
從他踏入波士頓南站的那一刻起，到現在深夜獨坐，一系列看似零散的際遇漸漸在他腦中連接成一條清晰的線。
他在新節點下方畫了一個小圓圈，裡面寫上舊金山，然後從波士頓畫出一條箭頭，穿過普林斯頓、華盛頓，一直延伸向那個還未抵達的終點。
這一次，他沒有給所有的問題都寫出完整的答案。
他只是把每一頁都寫得滿滿當當，留足了伏筆和推導方向。
然後他走到窗前，看著查爾斯河對岸星星點點的燈火，想一明天，考察團飛往此行的最後一站。
那裡是1992年INF0C0M的舉辦地，也是霍夫曼兩度試圖招攬他時都提到過的地方。
在那裡，他的課題組將第一次在一個國際學術會議上擁有自己的正式席位。
飛機從波士頓起飛，向西橫穿整個美國大陸。
陸沉坐在靠窗的位置，看著舷窗外的風景從新英格蘭的灰色雪原漸漸變成中西部的棋盤狀農田，再變成落基山脈的皚皚雪峰。
飛越內華達沙漠時，雲層散開了，露出底下廣袤無人的赭紅色土地，像一塊被烈日烤乾的陶片。
然後，太平洋出現了。
舊金山在舷窗外徐徐鋪開—藍色的海灣，紅色的金門大橋，白色的城市像一堆積木嵌在山海之間。
飛機在聖弗朗西斯科國際機場降落時，已是傍晚。
考察團入住的酒店在聯合廣場附近，是一棟老式建築，房間窗戶外能遠遠望見金門大橋的兩座橋塔被夕陽染成橘紅色。
INF0C0M1992的會場設在舊金山聯合廣場的希爾頓酒店，離駐地步行只需五分鐘。
註冊台前人山人海，來自全球各地的學者排著長隊領取胸牌和會議資料。
會議主席是個圓臉微胖的美國教授，戴著厚厚的眼鏡，說話帶著中西部口音。
他看到陸沉的胸牌時愣了一下，大概是沒見過這麼年輕的參會者。
但他很快就恢復了專業態度，遞給陸沉一個資料袋，裡面裝著會議日程、論文集摘要和一張舊金山市區地圖。
「你的論文安排在明天下午的網絡理論基礎分論壇，每位發言人二十分鐘，提問十分鐘。」
會議主席翻了翻日程表。
「我注意到你是獨立作者，沒有合作單位，這在INFOCOM挺少見的。」
「我的合作單位在BJ。」陸沉說。
會議主席點了點頭，沒有多問。
他把一份審稿意見複印件遞給陸沉。
「三位審稿人的意見都在裡面，兩篇強烈接受，一篇接受，對於第一次投稿INF0COM
的作者來說，這個成績非常罕見。」
陸沉接過審稿意見翻開來。
三位審稿人的評語都很長。
第一位用優雅來形容那個微分不等式穩定性判據的構造，第二位建議在數值實驗部分增加更多實測數據的對比，第三位只寫了一句話「這是我今年審過的最短、最有說服力的穩定性判據，建議接收，不需要修改。」
落款處是一個陸沉不認識的名字，但後面跟著的單位讓他手指停了一瞬：MIT計算機科學實驗室。
是施瓦茨實驗室的人。
分論壇在一個中型會議室舉行，大約能容納一百人，但過道里加了好幾排摺疊椅還坐不下，來晚的人只能站在後面。
除了網絡領域的學者，陸沉注意到第一排坐著幾個胸前佩戴NSF胸針的人，其中一位在翻閱論文集時專門折了陸沉那篇論文的頁碼。
霍夫曼不在其中，但那份胸針的存在本身就是一種無聲的關注。
陸沉是分論壇第三個發言的。
前兩位分別來自斯坦福和貝爾實驗室，講的都是路由算法的新進展，用的工具集中在概率分析和排隊論。
輪到陸沉時，會議主持人在介紹時稍微多花了幾秒鐘，大概是在斟酌措辭，最後只是簡單地念出了論文標題和作者。
陸沉走上講台，把便簽本放在發言台上。
「今天下午我要講的工作，本質上是一個數學問題一分布式反饋環路的相位延遲如何導致路由振盪，以及如何用微分不等式給出穩定性判據。」
他翻到便簽本上在MIT白板上畫下的那個簡化反饋環路模型，翻到施瓦茨教授寫下邊界條件推導的那一頁，又翻到那個被審稿人評為優雅的李雅普諾夫函數構造。
他沒有逐行推導公式那些公式都在論文裡，在座的人都可以自己讀。
他講的是這條思路從何而來。
「去年七月，我的課題組在BJ用一台386微機做交換網絡仿真，跑到一萬個節點時，我們的計算機屏幕上出現了一種奇怪的振盪一流量在兩條路徑之間來回波動，像鐘擺一樣穩定不下來，大家以為是程序出了問題，花了整整一通宵，最後發現程序沒有錯，錯的是那個數學模型本身——它對路由振盪的描述不夠完整。」
他從一萬個節點的模擬振盪講起，像在講一幅地圖的繪製過程。
講到關鍵處，他在白板上重新推導了那個微分不等式判據的證明思路，但沒有展開全部細節細節留給論文，思路留給同行。
提問環節的第一個問題是貝爾實驗室的一位研究人員提出的，關於判據在實際網絡設備中的可部署性。
第二個問題來自斯坦福的那位發言人，關於微分不等式中李雅普諾夫函數的選取是否有通用準則。
第三個提問者從後排站起來一灰藍色眼睛，舊毛衣，頭髮比去年更白了一些。
是沙利文。
「你的論文裡提到，這個判據的底層數學結構和你課題組之前做的工作有關，」沙利文沒有問技術細節，而是指向了更深處，「你課題組之前做的工作，何—周引理、圖蘭構造性算法、譜方法數值實驗————和今天這個微分不等式判據之間，是不是共用了一個更底層的框架？薩納克管它叫新語言，施瓦茨管它叫數學地基，我想聽你自己怎麼稱呼它。」
會議室的空氣驟然安靜。
這不是一個技術問題，這是一個關於數學哲學的問題。
陸沉沉默了幾秒，手指輕輕觸到便簽本的封面。
「我把它叫作橋，不是一個統一的公式，不是一套包羅萬象的理論，而是由許多橋樑組成的網絡，有的橋把代數連到組合，有的橋把拓撲連到分析，有的橋把圖論連到編碼，每一座橋都有自己的起點和終點，但所有的橋都跨越著同一個東西。
數學內部那些被人為割裂開的河流，這個微分不等式判據，是在這張網上的一個新的
交叉節點，它從網絡工程的實際數據出發，左邊連著圖論，右邊連著分析，跨過去之後看到的風景是同一個。」
報告結束後照例散場，但陸沉的座位成了一個小型討論中心。
貝爾實驗室那位研究人員擠過來，遞上一張名片，說他們正在研發的下一代光交換設備可能會用到這個判據，想跟課題組建立技術交流。
斯坦福的發言人站在旁邊等了很久，等貝爾實驗室的人離開後，他遞過來一份自己的預印本，說他做排隊論做了十幾年，看到微分不等式在路由振盪中的應用，忽然覺得應該重新審視自己手頭的一個老問題。
沙利文是最後一個走過來的。
他沒有名片，沒有預印本，只是從舊毛衣口袋裡掏出一張折得整整齊齊的餐巾紙就是他在MIT餐廳里畫分布式系統數據一致性問題上那張。
餐巾紙上，他的原圖旁邊多了一圈新的批註，密密麻麻寫滿了他在過去這段時間裡自己推出來的補充思路。
「你們的程鋒把初步回答傳回給我了，這是我根據他的框架繼續往下推的，回去以後帶給程鋒，這裡面有幾個開放問題他可能會比我推得更快。」
他頓了頓，看著陸沉，灰藍色的眼睛裡有一種很深的靜。
「我做了三十年分布式計算，從來沒有想過極值圖論能幫到我，你們的課題組讓我看
到了自己這個領域的另一面，謝謝。」
晚上，舊金山下起了小雨。
雨點打在聯合廣場棕櫚樹的葉子上，發出細密的沙沙聲。
考察團在酒店附近的中餐館聚餐，孫處長特意多點了一道清蒸石斑魚。
席間，他從公文包里取出一份傳真，是張國忠輾轉通過大使館發來的。
何巍從新西伯利亞傳來的第二階段進展報告：圖蘭構造性算法在EIbrus—1上的大規模並行驗證已經完成，在EIbrus—1的向量化並行環境下調用何—周引理進行並行加密解算，運行時間從銀河—1上的十幾個小時降到了四十分鐘。
索科洛夫已經給課題組寄出了正式的長期合作邀請函，建議設立中蘇並行算法聯合驗證機制，將課題組的並行S盒與EIbrus的向量化環境進行常態化適配。
孫處長把傳真遞給陸沉。
「回去以後，把這次訪美的成果和何巍他們的進展合在一起，寫一份綜合報告，這份報告會直接送到國務院信息化工作領導小組的辦公桌上。」
陸沉接過傳真，認真看完。