再訪中國天眼：FAST 真的是 Goldberg (30,0) 嗎？
從一個漂亮的數字猜想，到重新檢驗真實工程幾何
去年來到中國天眼 FAST，我曾經做過一個很有趣的幾何推測。
FAST 的反射面由數千個單元組成，而它本身又是一個巨大的球冠結構。 當時我用球冠面積比例與反射面板數反推，發現如果把 FAST 想成從一個完整 Goldberg 多面體截取下來的球冠，那麼
竟然可以得到非常接近實際面板數的結果。
這個數字吻合得太漂亮了。
但一年後再次來到 FAST，我開始覺得：事情可能沒有那麼簡單。
一、從「面板數」回到真正的結構
Goldberg 多面體可以用一個向量
描述，其三角細分數由
決定。
去年我主要從 FAST 的 4450 個反射單元反推 T，因此得到接近 (31,1) 的結果。
但問題是：
它是一個球冠，而且到了邊界還必須和巨大環梁結構連接。 實際工程中，邊緣也不是純粹的理想三角網格。 這次在現場，我就很清楚看到一圈四邊形過渡結構。
因此，直接用「4450 個面板」回推完整 Goldberg sphere， 雖然數字漂亮，卻未必能代表真正的幾何生成方式。
二、博物館模型給了一個重要提示
這次在 FAST 旁的天文體驗館，我特別仔細看了展示模型。
模型所呈現的幾何，非常接近
也就是典型的 Class-I geodesic subdivision。
一開始我還有點懷疑：博物館模型會不會只是為了展示方便而簡化？
但進一步查閱 FAST 的工程資料後，事情開始變得有意思。
三、第一個線索：五重對稱
FAST 的索網並不是任意生成的三角網格，而是採用具有明確 五重旋轉對稱的 geodesic mesh。
也就是整個結構可以分成五個等價區域：
這與 icosahedral / Goldberg 幾何的五重對稱非常自然地吻合。
而 G = (30,0) 正是一個高度對稱、非手性的 Class-I 結構。
相比之下，(30,1) 或 (31,1) 都屬於帶有 lattice rotation 的 chiral Goldberg 類型。
如果工程設計本身強調五重高對稱，那麼 (30,0) 顯然比 (30,1) 或 (31,1) 更自然。
四、第二個線索：31 層，意味著 30 個分割間距
更有意思的是，一篇 FAST 結構建模論文指出：
如果把中心算作第一層，外緣算作第三十一層， 那麼真正的徑向 subdivision intervals 就是
這個「30」非常關鍵。
因為它不是從面板總數猜出來的，而是直接出現在 FAST 索網本身的幾何分層中。
開始變成一個有工程根據的結論。
五、第三個線索：150 = 5 × 30
FAST 的索網邊界共有約 150 個主要連接。
這個關係非常漂亮。
如果整個結構有五重對稱，而每個 72° sector 在邊界上有 30 個 subdivision， 那麼總數剛好就是
於是三件原本彼此獨立的資訊開始互相咬合：
五重對稱
30 個徑向分割間距
150 個邊界連接
這正是 (30,0)-type geodesic mesh 最自然的結構圖像。
六、現場看到的五邊形
Goldberg 多面體最有趣的一點，是它無論大小如何，都會有 12 個五重缺陷。
如果用 dual picture 來看，就是 12 個五邊形。
這次現場我很容易辨認出最底部的一個五重中心， 但其他位置因為距離太遠，很難看清楚。
理論上，如果球冠以一條五重軸為中心，那麼從底部往外， 應該還會遇到一圈五個等價的五重位置。
不過 FAST 邊界已經經過工程重構，所以即使理想母體中存在這些位置， 實際結構也未必還保留成漂亮的標準 pentagonal defect。
七、四邊形，其實非常重要
這次我在 FAST 邊緣還看到一圈很明顯的四邊形單元。
這不是「破壞了 Goldberg 幾何」，反而是很有意思的工程證據。
因為理想 geodesic triangular mesh 到了球冠邊界後， 必須接到 500 米口徑的環梁。
↓
quadrilateral transition layer
↓
ring beam
也就是說，FAST 並不是把一個數學 Goldberg sphere 原封不動搬到山谷裡， 而是：
這才是真正有意思的地方。
八、那麼去年推導出的 (31,1) 呢？
現在回頭看，(31,1) 並不是一個毫無意義的「錯誤」。
它是一個非常漂亮的 numerical coincidence。
因為
用完整 Goldberg sphere 的面數乘上 FAST 球冠面積比例， 恰好會得到非常接近 4450 的數字。
問題只是：4450 並不是一個純粹、完整、均勻 Goldberg triangulation 的 face count。
它已經混合了：
- 球冠截取
- 中心工程修正
- 邊界重構
- 四邊形過渡
- 實際反射面單元設計
所以用 4450 直接反推 (m,n)，可能過度理想化了。
九、一年後，我反而更喜歡這個答案
去年我的問題是：
今年重新看，我覺得更好的問題應該是：
目前所有證據都指向：
five-fold geodesic mesh
而
是目前最合理的 Goldberg reference model。
但真正建成的 FAST，並不是一個教科書中的完美 Goldberg polyhedron。
+ structural mechanics
+ boundary engineering
+ active control
共同完成了一個巨大科學裝置。
十、結語：比找到答案更有趣的，是修正答案
我很喜歡這次重新思考 FAST 的過程。
去年從一組數字出發，找到 (31,1) 這個非常漂亮的猜想。
今年重新站在 FAST 前面，看著真實的索網、中心五重結構、 邊界四邊形，再回到工程論文中重新檢驗， 答案慢慢轉向 (30,0)。
這其實就是科學最正常的樣子。
↓
猜想
↓
檢驗
↓
修正
有時候，一個被修正的漂亮答案，比一開始就「答對」，更有意思。
—— 金子的 AI 筆記
Comments
Post a Comment