第189章 散散心


  第189章 散散心

  老圖書館三樓的角落,一連幾天都維持著同一種狀態。

  桌子上堆著十幾本俄文和英文期刊,旁邊是兩摞已經寫滿的A4草稿紙。

  陳拙坐在靠窗的位置,手裡拿著一支筆。

  窗外的天色有些陰沉,風吹過老樟樹的樹冠,發出沙沙的響聲,幾片枯黃的葉子打著旋落在窗台上。

  陳拙往後靠了靠,脊背貼著有些掉漆的椅子。

  他已經在這裡坐了整整六天。

  更多內容請訪問s🌶️to55.co💫m

  自從那天從物理院的地下實驗室出來,他基本就斷絕了社交,每天除了回宿舍睡覺,就是坐在這裡。

  面前的草稿紙上,畫滿了各種試圖優化網格的拓撲結構圖。

  他試過很多種方法。

  試過把非核心區域的網格放大,試過引入更複雜的懲罰函數來合併節點,甚至試過在矩陣里加入時間維度的權重。

  但所有的推導,走到最後一步,全都是死胡同。

  機器跑出的結果是不會騙人的。

  四千萬個節點,就像是一座壓在頭頂的大山,只要你還承認這四千萬個節點的存在,無論你怎麼優化算法,在進行多階矩陣相乘的時候,計算量依然是一個天文數字。

  現在的微機和伺服器,根本跨不過這道坎。

  陳拙放下筆,端起旁邊的水杯喝了一口。

  他看著滿桌子的廢稿,沒有煩躁地去抓頭髮,也沒有把紙揉成一團砸在牆上O

  他只是很客觀地在心裡給自己下了一個結論。

  這條路到頭了。

  在切割這個物理框架內,他已經窮盡了自己現階段數學能給出的所有解法。

  陳拙把筆帽蓋好,把桌上的草稿紙一張張收攏,疊齊,他把那些借來的期刊按照索書號的順序整理好,抱在懷裡,站起身。

  他換個環境透透氣。

  他抱著書,穿過一排排高大的書架,走下樓梯。

  出了圖書館,剛下過雨,外面的空氣有些濕冷,陳拙順著校園裡的小路,不緊不慢地走著。

  他沒打算回宿舍,而是拐了個彎,朝著數院的紅磚小樓走去。

  數院二樓。

  走廊里很安靜,陳拙走到走廊盡頭,推開了李建明辦公室的門。

  一股濃郁的鐵觀音香味,混合著印表機運作的時候的味道迎面撲來。

  辦公室里有點亂。

  李建明坐在他那張寬大的辦公桌後面,鼻樑上架著老花鏡,身子微微前傾,右手握著滑鼠,正在電腦屏幕上一下一下地點擊著。

  「刷新,還是沒有。」

  李建明小聲嘟囔了一句。

  辦公桌對面的小沙發旁,吳濤正蹲在地上,看著那台老式的惠普印表機往外吐紙,他手裡拿著一個訂書機,嘴裡咬著一根筆帽。

  聽到推門聲,兩人同時抬起頭。

  「陳拙?」

  吳濤把嘴裡的筆帽拿下來,順手把剛列印出來的一頁紙放在茶几上。

  「稀客啊,你不是在物理院那邊給他們搞那個什麼風洞項目嗎?」

  陳拙走進來,把懷裡的幾本期刊放在旁邊的空椅子上。

  「遇到點瓶頸,出來走走。」

  陳拙說著,走到飲水機旁,熟門熟路地給自己泡了一杯茶。

  李建明把視線從屏幕上收回來,摘下老花鏡扔在桌子上,端起自己的紫砂壺喝了一口。

  「瓶頸?你那個什麼降維矩陣不管用了?」李建明笑著問。

  「管用,但是被硬體卡死了。

  陳拙端著茶杯,走到沙發邊坐下。

  他看了一眼茶几上那一摞厚厚的列印紙,上面全是密密麻麻的英文和數學公式。

  「在弄畢業論文?」陳拙問吳濤。

  吳濤嘆了口氣,一屁股坐在地毯上,揉了揉發酸的脖子。

  「對啊,趕十一月份的冬季批次答辯。」

  吳濤指了指那堆紙。

  「內容早寫完了,這幾天全在折騰排版,學校的格式要求太死板,圖表稍微偏一點就得重打。」

  「頂刊那邊有消息了?」陳拙看向李建明。

  提到這個,李建明原本有些疲憊的臉上立刻浮現出掩飾不住的笑意。

  「《數學年刊》上次來信說,審稿意見已經匯總完了,沒有原則性的大修,估計正式的過稿郵件也就是這幾天的事。」

  李建明指了指電腦。

  「我這天天掛著郵箱等呢。」

  吳濤在旁邊補充道。

  「只要這篇《數學年刊》的正式接收函一到,我這博士答辯就是走個過場,院裡連優秀畢業生的名額都給我預留好了。」

  陳拙看著吳濤眼角掩飾不住的興奮,又看看李建明那種老懷大慰的神情。

  辦公室里的氣氛很熱烈,帶著一種即將到達終點線前的亢奮和期待。

  陳拙低頭喝了一口茶。

  「挺好。」

  陳拙放下杯子,聲音不疾不徐。

  他看著吳濤亂糟糟的頭髮,嘴角微微揚了揚。

  「不過師兄,答辯之前你最好去理個髮,你現在的髮型,加上你論文裡那些同調群的推導,盲審專家可能會覺得你精神狀態不太穩定。」

  吳濤摸了摸自己快蓋住耳朵的頭髮,愣了一下,隨即笑罵道。

  「你這話說的,我這叫學者的不羈好吧。」

  李建明靠在椅背上,看著陳拙。

  他太了解這個學生了。

  陳拙平時雖然隨和,但絕不會在工作時間無緣無故跑來閒聊。

  「說說吧,物理院那邊出什麼事了?」李建明問。

  陳拙收起笑容,往後靠了靠。

  「高鐵車頭的氣動模擬。」

  陳拙也不隱瞞,直接把情況說了一遍。

  「他們把模型從二維切面升到了三維全尺寸,我那套矩陣套進去,網格切了四千多萬個。」

  李建明微微皺了皺眉。

  他雖然不搞物理,但四千萬個節點的高階矩陣乘法意味著什麼,他心裡很清楚。

  「四千萬?機房那幾台破機子沒冒煙?」

  「藍屏了。」陳拙語氣平淡。

  「三天三夜,進度條百分之一。

  「,吳濤在旁邊停下了整理紙張的手,有些咋舌。

  「四千萬個網格,你們物理院也是真敢幹,這不就是拿針去挑泰山嗎?」

  「沒辦法。」

  陳拙看著茶杯里豎起來的茶葉。

  「流體力學的連續方程解不動,要模擬風滑過車頭曲面的連續過程,不用網格切割,連個初始邊界都找不到。」

  陳拙停頓了一下,聲音低了下去。

  「我在圖書館想了一個星期,想優化算法,想把網格數量砍掉一半,但邏輯上走不通。」

  李建明端著紫砂壺,沒急著說話。

  他看著陳拙那種雖然平靜但明顯陷入死結的狀態。

  在李建明眼裡,陳拙是個天才,但天才也有被具體的物理形狀困住的時候。

  李建明搖了搖頭,發出一聲輕笑。

  「搞物理的,或者說搞工程的,都有一個通病。」

  李建明用壺蓋撇了撇浮茶,慢條斯理地說。

  陳拙抬起頭看著他。

  「什麼通病?」

  「死腦筋。」

  李建明把紫砂壺放在桌子上,發出清脆的磕碰聲。

  「你們的眼睛裡,永遠盯著那個具體的,看得見摸得著的物理形狀。」

  李建明指了指桌子上的一個地球儀,又指了指旁邊的筆筒。

  「不管是高鐵的車頭,還是飛機的機翼,你們總是想著怎麼去描繪它的長寬高,怎麼去計算它表面的每一個坑窪。」

  李建明靠在椅子上,雙手交叉放在肚子上,帶著一種屬於純數學家的傲慢。

  「在純數學的眼睛裡,形狀,是最沒有意義的表象。」

  陳拙沒有插話,安靜地聽著。

  吳濤也盤腿坐在地上,看著自己的導師。

  「你們切了四千萬個網格,為了什麼?為了去逼近那個車頭曲面的真實幾何特徵。」

  李建明看著陳拙。

  「但你有沒有想過,那個車頭,不管它設計得多麼流線型,它在拓撲學的空間裡,和一個長條形的麵包有什麼本質區別?」

  「沒有區別。」陳拙回答。

  「對啊,既然沒有區別,你為什麼非要被它的幾何形狀給綁架?」

  李建明站起身,走到白板前,白板上還留著吳濤推導論文的一些殘跡。

  他拿起記號筆,在白板上畫了一個很不規則的閉合曲線,像個被捏扁的麵團。

  「搞物理的,會拿尺子去量這個麵團的周長,會切網格去算它的受力面積。」

  接著,李建明在這個麵團旁邊,寫下了一個抽象的代數符號。

  「但搞數學的,會去找它的同構映射。」

  李建明用筆尖重重地點了點那個代數符號。

  「只要我能在代數空間裡,找到一組多項式,或者一個理想環,只要它的代數性質和這個麵團的幾何性質是同構的。」

  李建明轉過身,看著陳拙的眼睛。

  「那這個麵團長什麼樣,就不重要了,你完全可以把這個麵團扔進垃圾桶,只帶著這幾個字母組成的代數方程去計算。」

  李建明把記號筆扔回筆筒里,拍了拍手。

  「這就是代數,代數,就是抽離了一切物理表象之後的本質。」

  辦公室里很安靜。

  吳濤撓了撓頭,覺得導師這番話有點強詞奪理。

  「老師,陳拙他們是要算具體的風阻數據的,你把高鐵車頭抽象成幾個字母,那怎麼給出工程參數?」

  「那我就不管了。」

  李建明擺擺手,坐回椅子上。

  「我只是個教數學的老頭子,我只負責告訴他,純數學裡有工具,至於怎麼把這把刀用到物理的案板上,那是他自己的事。」

  陳拙坐在沙發上,一直沒有動。

  他手裡的茶杯還在冒著熱氣。

  李建明的話,就像是一陣風,吹散了他腦子裡堆積了一個星期的那些厚重的網格。

  形狀是不重要的表象。

  同構映射。

  代數關係。

  這些概念在純數學裡是常識。

  但在過去的一個月里,陳拙被張淵他們的工程需求裹挾著,一頭扎進了網格和節點的泥潭裡,完全忘記了自己最大的武器是什麼。

  陳拙把茶杯放在茶几上,站起身。

  「茶不錯。」

  陳拙看著李建明。

  李建明笑了笑,重新拿起滑鼠,點了一下郵箱的刷新鍵。

  「去吧,既然網格的路走不通,就跳出來。」

  李建明頭也沒抬。

  「別丟了你數學上的底子。」

  陳拙點點頭。

  「師兄,答辯順利。」

  陳拙路過吳濤身邊時,順手拍了拍他的肩膀。

  吳濤舉起手裡的訂書機揮了揮。

  「借你吉言。」

  推開門,走到走廊上。

  外面的風似乎更冷了一些,但陳拙覺得腦子異常清醒。

  李建明的話像是一顆種子,已經在他腦海的某個深處生了根。

  但他還差一點東西。

  差一個能把這種高度抽象的純數理論,和現實世界裡的工程數據縫合起來的物理錨點。

  陳拙回到宿舍的時候,天已經快黑了。

  宿舍門虛掩著。

  推開門,一股很濃的金屬摩擦味和機油味混在一起。

  王大勇背對著門,坐在自己的書桌前。

  他桌子上鋪著好幾張看過的舊報紙,報紙中央放著一塊拳頭大小的銀白色鋁合金配件。

  王大勇手裡握著一把粗糙的半圓銼刀,正在一點一點地打磨著那個金屬塊的邊緣。

  「呲~呲~」

  金屬銼刀和鋁塊摩擦的聲音很有節奏,細微的銀色粉末隨著他的動作,簌簌地掉在舊報紙上。

  陳拙走進宿舍,隨手關上門。

  他走到自己的椅子前坐下,擰開桌子上的礦泉水瓶,喝了一口水。

  他的目光沒有焦點,只是安靜地落在王大勇的後背上。

  王大勇幹得很專注,他每銼幾下,就會停下來,把金屬塊拿起來,湊近檯燈的光源,眯起眼睛仔細看一看邊緣的弧度。

  看了幾秒,又放下,換個角度繼續銼。

  「呲~呲~」

  聲音單調而重複。

  陳拙看了一會兒。

  「大勇。」

  陳拙開了口。

  王大勇手裡的動作沒停,頭也沒回。

  「啊?回來了?吃飯沒?」王大勇問。

  「沒吃。」

  陳拙擰上瓶蓋。

  「你這是在弄作業?」

  「是啊。」

  王大勇停下銼刀,用掛在脖子上的毛巾擦了擦臉上的汗。

  「要交個純手工打磨的配件,要求精度還挺高,得弄出一個平滑的曲面,這鋁塊軟得很,銼刀稍微下重一點,就報廢了。」

  陳拙靠在椅背上。

  「你怎麼知道你銼得對不對?」陳拙問。

  王大勇轉過身,手裡還拿著那個鋁塊。

  「比對著圖紙來唄。」

  「你每一毫米都拿卡尺去量?」陳拙看著他。

  王大勇笑了一聲,把手裡的銼刀放在桌子上。

  「那怎麼可能,我又不是數控工具機,我要是一毫米一毫米去量,這個月我都交不了差。」

  王大勇伸手從桌子上雜亂的工具堆里,抽出一張沾上了不少油的A4列印紙。

  他把紙遞給陳拙。

  「喏,你看,圖紙就這麼一張。」

  陳拙伸手接過圖紙。

  紙張很薄,上面並沒有陳拙想像中那種密密麻麻的尺寸標註網格,也沒有成百上千個坐標點位。

  那上面,只是用黑色的線條,畫了一條拋物線。

  而在這條曲線的旁邊,安靜地印著一行極短的代數方程式:

  y=a 2+b+c

  圖紙的右下角,標著一個公差範圍。

  「你看。」

  王大勇走過來,指著紙上的那條曲線。

  「設計師也沒有在圖紙上給我畫出幾千個點讓我去對,圖紙上就畫了一條線,給了一個二次方程。」

  王大勇端起桌子上的杯子,咕咚咕咚喝了半杯子水。

  「我幹活的時候,腦子裡就想著這個方程的大致走勢,只要保證起點和終點在這個坐標系的公差範圍內,我順著手感往下走,中間的弧度自然而然就出來了,它是個整體,不是點。」

  宿舍里很安靜。

  陳拙坐在椅子上,手裡拿著那張沾著油污的圖紙。

  他的視線壓在那個極短的代數方程上。

  一行只有幾個字母的方程式。

  沒有冗餘的網格。

  沒有無休止的坐標節點。

  就憑這幾個簡單的符號,它就在這個二維平面上,完美地,精確地定義了這條拋物線的所有形態。

  李建明下午在辦公室里畫的那個麵團,和眼前圖紙上的這條拋物線,在陳拙的腦子裡砰地一聲撞在了一起。

  設計師沒有畫點。

  因為不需要點。

  方程本身,就是形狀。

  陳拙的呼吸猛地停頓了一瞬,瞳孔微微收縮。

  腦海深處那一層厚厚的,名為物理網格的迷霧,在這一刻被這行簡單的二次方程徹底攪動。

  他回想起物理院機房裡那四千萬個網格。

  回想起那台藍屏死機的伺服器。

  如果一根複雜的拋物線,可以用一行極其簡單的代數方程式來完美表達全貌。

  那麼,一個龐大的,三維的高鐵車頭曲面呢?

  車頭再複雜,它的表面,本質上依然是一個連續的幾何流形。

  我為什麼非要聽從物理學的直覺,把這個流暢的整體切成幾千萬個支離破碎的網格點?

  我為什麼非要讓計算機去算風吹過這幾千萬個碎片時的邊界條件?

  這太蠢了。

  這簡直是在用算盤去解微積分。

  陳拙的手指微微用力,把那張圖紙捏出了一點皺。

  如果我徹底放棄網格呢?

  就像圖紙上的這行方程一樣。

  如果我能找到一種最底層的數學語言,把整個高鐵車頭的三維幾何形狀,一個字不落地直接翻譯成幾組純粹的代數多項式。

  不去算風。

  不去算網格。

  直接把物理學上的流體形狀,映射為數學上的代數環。

  把無窮無盡的算力窮舉,直接降維成對幾行代數方程組的求解!

  代數幾何。

  在純數領域裡,用多項式去定義和研究幾何空間。

  陳拙的眼睛越來越亮,眼底的平靜被徹底打破,取而代之的是一種看到新世界大門被推開時的狂熱。

  網格是死的。

  代數是活的。

  只要能把流形轉化為代數簇。

  伺服器就不需要去數沙子了,它只需要解方程。

  陳拙猛地站了起來。

  椅子向後滑,在地面上刮出刺耳的摩擦聲。

  王大勇被嚇了一跳,手裡剛拿起來的銼刀差點掉地上。

  「怎麼了?你這是?」

  陳拙把那張圖紙平平整整地放在王大勇的桌子上。

  「大勇,謝謝你的圖紙。」

  陳拙的聲音聽起來很穩,但語速比平時快了些。

  他轉身走到自己的書桌前,拉開抽屜,從裡面拿出一個本。

  他沒有坐下。

  就這麼站在桌前,擰開筆帽。

  他翻開第一頁,筆尖重重地落在潔白的紙面上。

  沒有寫任何與納維—斯托克斯方程有關的符號。

  沒有畫任何網格。

  他寫下了第一個關於代數群的定義式。

  接著,是嘗試將三維空間拓撲結構向複流形映射的基礎推導。

  筆尖在紙上快速划動。

  王大勇看著陳拙。

  他從來沒見過陳拙這種狀態,哪怕是以前期末複習,陳拙也總是端著一杯水,不緊不慢地翻書。

  但現在,陳拙就像是一個在黑暗裡摸索了很久,終於抓到了一根引線的瘋子。

  王大勇咽了口唾沫,很識趣地沒有再出聲打擾,他拿起銼刀,儘量放輕了動作,繼續對付手裡那塊鋁合金。

  宿舍里的燈散發著蒼白的光。

  陳拙寫得很快。

  一行行陌生的代數符號,一個個試圖統合代數與幾何邊界的張量。

  他的腦子在高速運轉,將李建明的純數理論,王大勇的工程圖紙,以及這幾天在圖書館裡的拓撲學概念,強行揉捏,縫合。

  寫了整整十頁紙。

  筆尖的速度漸漸慢了下來。

  最後,陳拙停下筆。

  他甩了甩有些發酸的手腕,低頭看著本子上寫滿的推導過程。

  很粗糙。

  極其粗糙。

  代數理想與幾何流形之間的同構轉換,在數學邏輯上還有巨大的斷層,邊界條件的約束更是漏洞百出。

  這離一個完備的,能拿到檯面上論證的數學定理,還差得十萬八千里。

  但這已經足夠了。

  方向是對的。

  這扇沉重的大門,已經被他硬生生地撬開了一條縫,只要順著這條縫走下去,那堵名為算力的高牆,就不攻自破。

  陳拙合上本子,把它塞進雙肩包里。

  陳拙轉身走向宿舍門。

  「去哪?」王大勇看著他,「食堂都關門了。」

  「去物理院。」

  陳拙拉開門,回頭看了王大勇一眼。

  燈光下,他臉上的那種狂熱已經收斂了起來,又恢復了平時那種溫和的樣子O

  他嘴角微微上揚。

  「去給他們送新工具。」

  說完,陳拙邁步走出了宿舍。

  走廊里的穿堂風吹過來,帶著秋天的涼意,但他覺得渾身都在發燙。

  。


章節目錄