第289章探讨
第289章探讨 (第2/3页)
个网格上。
看了足足有两分钟。
酒馆里有人在大声说笑，点唱机换了一首更吵闹的歌。
但这几个人站的地方，却安静得有些反常。
阿伦的眉头一点一点地皱了起来，眼底的黑眼圈似乎都因为这种高强度的和思考而变得更深了。
他喝了一口啤酒，咽下去。
「陈。」
阿伦开了口，语气里完全没有了刚才聊长岛别墅信托时的那种随意和懒散。
「你把我们的脚手架偷走了，但你把上面的钢筋全抽了？」
阿伦伸出空着的左手，指着黑板上那几个白色的节点。
「这里，这里，还有这里。」
他的手指在几个代数节点之间滑动。
「你切碎了连续空间，这没问题，我们在处理量子涨落的时候也经常这麽干。」
阿伦转过头，看着陈拙，眼神里带着一种内行的疑惑。
「但是你的积分符号呢？」
阿伦的手指点在其中一个节点上。
「你在这个节点上挂着的这个群映射，是什麽东西？」
他又指了指旁边一个带有下标的代数簇符号。
「你没有在这里定义规范场，也没有引力子的张量，你用什麽来填满这个点？」
面对这位物理博後的接连发问，陈拙没有显得局促。
他靠在旁边的柱子上，一只手拿着那支万宝龙钢笔。
「阿贝尔簇。」
陈拙顺着阿伦的手指看过去，语气平缓地给出一个纯代数领域的名词。
「我不需要用物理量去填满它。」
陈拙看着黑板上的网格。
「把流形打碎之後，如果去计算节点上的能量和自旋，计算量依然会绕回偏微分方程的死胡同，所以我把物理外壳全剥了。」
陈拙走上前一步。
他拿过刚才放在黑板槽里的那半截粉笔。
他在两个节点之间画了一条连线。
「我只保留了位置关系。」
陈拙的声音不大，但字字清晰。
「我用代数几何里的映射，把这两个碎片锁在一起。」
陈拙把粉笔放回去，拍了拍手上的灰。
「只要能证明这个代数关系在网格收缩时成立，霍奇猜想里的那个断裂处，就能在离散状态下被修补。」
阿伦听着陈拙的话，重新转回视线，盯着那条连线。
大卫站在一旁，若有所思地点了点头。
「纯逻辑的锚定。」
大卫轻声说了一句。
「确实是代数几何的路子。」
但黑板前并没有因为这句话而平静下来。
这只是一场刚刚开始的。
他们是搞计算机拓扑算法的，对物理符号不敏感，但对矩阵和张量有着近乎本能的直觉。
山姆的眼睛微微眯着。
他在脑子里，把陈拙写下的那些数学符号，一行一行地翻译成算法逻辑和数据结构。
时间一分一秒地过去。
酒馆里依然喧闹，有人在吧台那边打碎了一个玻璃杯，引来一阵带着醉意的口哨声。
黑板前的这几个人却像是在另一个世界里。
五分钟後。
阿伦仰起头，把杯子里的最後一口黑啤喝乾。
他把空杯子随手放在旁边的窗台上，发出一声清脆的声音。
「想法很聪明。」
阿伦转过身，看着陈拙。
眼神变得锐利起来。
他走上前，从粉笔槽里拿起一小截红色的粉笔。
这是刚才不知道谁涂鸦剩下的。
阿伦拿着红粉笔，在陈拙画的那个四方网格的最外圈，重重地画了一个大圈。
「你用代数映射锁住了节点，试图绕开连续空间的计算量，在静态下，这个草图看起来很完美。」
阿伦的粉笔尖停在网格的中心。
「但是，陈。」
阿伦的声音在嘈杂的背景音里，显得异常冷酷。
「你要证明霍奇猜想，你就必须让这个离散的网格去逼近连续的极限。」
阿伦手腕发力。
红色的粉笔在黑板上画出了几个指向中心的箭头。
「你要让网格的间距，趋近於零。」
陈拙看着那些红色的箭头，眼神没有波动，他静静地听着。
「这就是问题所在。」
阿伦用粉笔在其中一个节点上用力敲了两下。
「你为了绕开计算量，把物理外壳剥得太乾净了，你扔掉了规范场里的自旋，扔掉了能量守恒提供的张力。」
阿伦看着陈拙的眼睛。
「在物理学上，没
（本章未完，请点击下一页继续阅读）