凌晨五點,天色將明未明。
白板已經寫滿第四遍,前三輪推導被整片擦去,只在角落留了幾行“路標”。地上草稿紙堆成兩座小山。螢幕裡,高維流形的三維投影緩緩旋轉,曲率以顏色顯示——藍為平,紅為陡。按基準資料,應在背面捕捉到三個“曲率尖峰”,可眼前仍是一片混沌紫。
“又失敗了。”林晚照輕聲說。
“不是失敗,是接近。”程啟珩撐在桌沿,指著迭代日誌,“1432到1567步,損失降了37%。之後振盪,說明被區域性最優困住。”
正則係數、學習率、批大小、最佳化器……能調的都被嚐遍。曲線在某個臨界點前進半步、後退半步,像被無形的壁擋住。
“跳出框架。”程啟珩忽然起身,清出白板一角,改寫“前提”。
“我們一直用熱核先驗約束曲率變化率,但它隱含‘區域性均勻’假設。”他寫下標準高斯座標展開:
g_ij = δ_ij + (1/3)R_iklj x^k x^l + O(|x|^3)。
“若p附近存在微觀結構,高階項不可忽略,高斯展開就失靈。”
“你是說,區域性可能呈自相似?”林晚照眼睛一亮。
“未必到分形,但足以破壞‘無窮小平坦’。”他放下筆,“換幾何語言。”
短暫的靜默裡,黎明把百葉窗切成細長光條。
“用標架叢。”林晚照走到另一塊白板,“不在T_p區域性座標,改在F(上描述幾何。”
她畫出纖維叢示意。程啟珩順手接過筆:“在標架叢上,幾何由聯絡形式ω與曲率形式Ω刻畫,滿足嘉當結構方程:
dω = -Ω∧ω,
dΩ = Ω∧ω - ω∧Ω。
Ω不僅編碼曲率,還編碼曲率如何變化;且整體表述不依賴區域性座標。”
兩人對視,同步點頭。
“把曲率估計,改為在標架叢上尋找最優聯絡形式;嘉當方程作硬約束。”林晚照說。
“目標:資料匹配項 + 聯絡光滑正則。”程啟珩接話。
他們抱起各自的草稿本,埋頭演算。紙上沙沙,低聲對話在清晨的靜氣裡敲擊:
“需可積條件嗎?”
“不,近似解即可。”
“最佳化走黎曼梯度?”
“定製法,更穩。”
九點,陳濤推門進來,捧著兩杯咖啡,被滿牆新公式和新起的“第三座紙山”驚住。沒人回應他的問候。程啟珩隨手接過一杯,眼睛沒離開推導;林晚照甚至沒看一眼咖啡。
中午十二點,理論框架成形。林晚照把整理好的草稿推給程啟珩。
“這裡聯絡的引數化會受截面選擇影響。”程啟珩點筆,“要規範固定。”
”?侖庫或道朗“
”。何幾夠不“
”。範規升提平水“:聲齊人兩
。噹叮的手對逢棋像,拍對的間瞬
”。現實午下“
”。組模心核寫我“
”。斂收與定穩值數做我“
。生新一大是竟者導主而,奏節的者作合等平是那——青鐵臉,換契默的”了好“”置轉度維行21第“句一人兩著看遠志吳的口門。步腳輕放學同的過路。鳴齊盤鍵,起點兩
。轉側始開向風,”質本更言語叢維纖“”叢架標“呼驚人有,疑質人有,裡層樓。】型模eneguE構重似疑,轉軸連珩啟程+照晚林!播直場現【:帖新出冒壇論,點四
。大放代迭差誤,程方構結當嘉壞破會化散離:點難值數個一第上撞們他。心分人無,室驗實
”。構結何幾保——分微外散離改“,說珩啟程”。分差限有規常用能不“
。修場當,截攔場當 guB 小。對核學數做刻即人一另,碼式程行數一人一”。致一何幾驗你,積楔與d散離寫我“
。峰高紅四第出多面背且,晰清峰尖三——片一紫再不於終幕螢,點零。料資模規小跑法算演版首,點十。測初過案方散離,點八晚
。紅抹一那盯照晚林”。坦平判型模原,置位個這“
。久良默沉,比對出調珩啟程”。徵特何幾鍵關了型模麼要,了錯們我麼要“








