我們現在還在用逐步逼近法跑能帶計算，如果把這塊嫁接過來，計算速度大概也能提升一到兩個數量級。”
說完他又搖了搖頭，語氣帶著感慨，“這孩子隨手寫的板書，比我帶的學生專門研究半年的課題還透徹，了不起啊。”
肖宿繼續推進。
他轉過身在黑板上方的一片空白處開始建立商空間上的能量泛函推導，手指在黑板上敲出節奏感極強的聲響。
“商空間降維之後，剩下的兩步分別是構建有效設計空間和進行凸最佳化求解。
這兩步在數學上都有現成的工具，構造凸性條件是一個典型的變分問題。
我們要證明在降維後的空間裡，目標效能函式是嚴格凸的，極小值存在且唯一。”
他沒有多想，自然而然地開始構造這個證明。
粉筆觸到黑板的那一刻，就像一支外科手術刀找到了最精確的下刀位置。
他的眼神專注而沉靜，所有的公式早已在腦子裡完成了排練。
從凸性條件的泛函構造，到極小值存在性的拓撲論證，每一步都行雲流水。
“在商空間上定義加權度量之後，極小值的存在性由該空間的緊緻性保證，唯一性則由嚴格凸性保證。”
他在黑板上流暢地寫出了商空間上的緊緻性判據，“這部分的數學我在質量間隙的幾何框架裡已經做過，把規範場換成材料引數，構造是一樣的。”
講解推進到變分不等式的正則化處理時，他已經完全沉浸在自己推導的節奏裡了。
從緊緻性判據到變分不等式的構造，從正則化懲罰項的設定到收斂性條件的推導，每一步都嚴絲合縫。
黑板上那些矩陣和對角線組成的圖案，在滿教室的學生眼中像是某種神聖的壁畫，大部分人已經徹底跟不上了，但是沒有一個人低頭玩手機。
他們說不清自己在看什麼，但是都本能地覺得臺上這個人正在自己眼前構造著某種非凡的東西。
終於，肖宿講完了一個小節，他把粉筆放回粉筆槽裡，拍了拍手上的粉筆灰，轉過身面對全班。
“這一節到這裡，內容比較簡單，大家應該都能跟上吧，有什麼問題嗎？”
教室裡一片死寂。
前排幾個剛剛還在瘋狂做筆記的學生同時停止了動作，像被人按了暫停鍵。
坐在第二排靠走道位置的一個研究生嘴巴張了張，又合上，其實很想說點什麼，但是又怕說出來會暴露自己已經跟丟了很久的事實。
第三排那個戴黑框眼鏡的男生把手舉到一半，在肖宿的目光掃過來的那一瞬間，又放了下去。
過了許久，肖宿剛要說下課，角落裡一個聲音怯怯地響了起來：
“肖教授，剛才您講到Nijenhuis張量為零時J可積，那個張量的定義……能不能再講一遍？我沒太跟的上。”
肖宿蹙眉看了他一眼，確定他不是在開玩笑之後，看著他說：“這個在教材第三章第二節有詳細的定義和推導，回去自己看看，先把定義學明白。”
那個學生張了張嘴，“哦”了一聲，紅著臉，迅速低下了頭。
