第95章 接下来是体力活（2 / 9）
“江临，这一步看著是最没有技术含量的死板工作，但其实最容易埋雷。在非周期密铺的歷史上，很多看似精妙的构造不是栽在大定理的逻辑断裂上，而是卡在基础图元画不清楚，边界条件定义不乾净上。你说它能拼，別人按照你的参数在电脑里復画一遍，发现拼到第一万块的时候出现了10^-8毫米的缝隙。只要有缝隙，哪怕再小，你的证明就当场作废。”
林照野在旁边补了一句
二、四类大块標准图
“所谓的四类大块，现在还只是你手稿里的四个抽象代號。”顾南舟盯著纸面说，“接下来，它们要被具象化为標准图谱。每一类大块，究竟由多少块基础单砖组合而成？这其中，哪几块发生了手性翻转，哪几块进行了特定角度的旋转，它们內部的边界是如何严丝合缝对接的？”
陈彦在旁边听得头皮开始发麻。
这些事听上去，已经完全脱离了数学那种高屋建瓴的浪漫感，倒像是在编纂一本极其繁琐且容错率为零的宜家家具组装说明书。
可他作为博士生太清楚了，这正是现代数学证明里最折磨人的地方。
真正的灵感突破可能只发生在深夜灵光一闪的瞬间，但要把它转化为別人看得懂，查得清，不会產生任何歧义的学术资產，往往要耗费十倍，乃至百倍的枯燥时光。
“我提醒一句。”邵明棠忽然开口，打断了陈彦的思绪，“江临，你的標准图，千万不要画得好看。”
陈彦一愣，下意识看向这位素来以严谨著称的物理学家。
“漂亮没有任何学术价值，绝对的清晰才是唯一的標准。內部匹配规则要標出来，手性翻转的標记要极度醒目。哪条边必须和哪条边发生匹配，必须用不同顏色的线条或特定的箭头符號做严格约束。最重要的是，那些错误的拼法为什么错，必须在图旁给出反例说明。”
邵明棠说到这里，深深看了江临一眼。
“学术界没有那么多善意，读者不能靠猜，审稿人更没有义务替你猜。你的逻辑如果不嚼碎了餵到他嘴边，他就会在审稿意见里写下一句描述不清，缺乏严谨性，然后直接拒稿。”
顾南舟微微頷首，隨后写下第三行。
三、局部情形表
写完这几个字，他抬起头，眼神中带著一丝同情地看著江临。
“江临，这是所有工作里，最反人类，也是最累的一步。”
江临微微点头。
昨天他们在白板前爭论得最激烈的，也就是这张表。
“你昨天的破局思路非常精妙，把无限平面的铺法，通过强制匹配规则，压缩成了有限的局部情形组合。这个降维打击的思路绝对是对的。但这个思路到底能不能站住脚，最后全看你枚举的这张表，有没有哪怕一种遗漏。”
林照野立刻接过了话头：“每一个顶点，哪怕是最边缘的顶点，其附近所有的拼贴可能，都必须穷举列出。能继续往外拼延的，你要在表里清晰地说明它最终將归入哪一类super-tile。不能继续往下拼，註定无法延展的，你要证明它在哪一步走不下去，为什么走不下去。”
林照野用手指重重敲击著桌面，发出沉闷的响声。
“绝不能在论文里只写一句此路不通。你要写清楚，到底是哪个角度出现了干涉，哪两条边发生了拓扑重叠，是哪个微小的缺口，在穷尽了所有可用砖块的旋转与翻面后，依然无法被填补？”
他盯著江临，仿佛要看穿这个年轻人的承受底线。
“还有別忘了，顶点邻域的组合，在理论上看似是有限的，但真要在实际操作中去穷尽，它的状態空间是会发生指数级爆炸的。第一层的邻域你列完了，那第二层呢？第二层的每一种合法状態，又会向外衍生出第三层的一堆分支。如果靠手工去列，用人脑去硬扛，必然会发生遗漏。”
林照野说到这里，语气稍微放缓。
“这种级別的穷举表，普通的研究团队如果靠人力硬磨，动作快的话几个星期，慢的话两三个月是家常便饭。而在长达几个月的枯燥排查中，但凡你在某一天突然发现，最底层竟然漏掉了一种极其生僻的局部拼法。江临，那就意味著你上面堆砌的几千种衍生状態全部作废，整个证明链条断裂，前面几个月的心血全部重来。”
他看著江临那张依旧平静的脸。
“別觉得自己有了一个好的骨架，就轻视这种泥瓦匠的活儿。骨架终究只是骨架，而这张表，是把这具骨架钉牢在现实世界里的每一颗钢钉。”
坐在后排的陈彦，听到这里，胃部已经开始神经性地抽搐了。 ↑返回顶部↑
林照野在旁边补了一句
二、四类大块標准图
“所谓的四类大块，现在还只是你手稿里的四个抽象代號。”顾南舟盯著纸面说，“接下来，它们要被具象化为標准图谱。每一类大块，究竟由多少块基础单砖组合而成？这其中，哪几块发生了手性翻转，哪几块进行了特定角度的旋转，它们內部的边界是如何严丝合缝对接的？”
陈彦在旁边听得头皮开始发麻。
这些事听上去，已经完全脱离了数学那种高屋建瓴的浪漫感，倒像是在编纂一本极其繁琐且容错率为零的宜家家具组装说明书。
可他作为博士生太清楚了，这正是现代数学证明里最折磨人的地方。
真正的灵感突破可能只发生在深夜灵光一闪的瞬间，但要把它转化为別人看得懂，查得清，不会產生任何歧义的学术资產，往往要耗费十倍，乃至百倍的枯燥时光。
“我提醒一句。”邵明棠忽然开口，打断了陈彦的思绪，“江临，你的標准图，千万不要画得好看。”
陈彦一愣，下意识看向这位素来以严谨著称的物理学家。
“漂亮没有任何学术价值，绝对的清晰才是唯一的標准。內部匹配规则要標出来，手性翻转的標记要极度醒目。哪条边必须和哪条边发生匹配，必须用不同顏色的线条或特定的箭头符號做严格约束。最重要的是，那些错误的拼法为什么错，必须在图旁给出反例说明。”
邵明棠说到这里，深深看了江临一眼。
“学术界没有那么多善意，读者不能靠猜，审稿人更没有义务替你猜。你的逻辑如果不嚼碎了餵到他嘴边，他就会在审稿意见里写下一句描述不清，缺乏严谨性，然后直接拒稿。”
顾南舟微微頷首，隨后写下第三行。
三、局部情形表
写完这几个字，他抬起头，眼神中带著一丝同情地看著江临。
“江临，这是所有工作里，最反人类，也是最累的一步。”
江临微微点头。
昨天他们在白板前爭论得最激烈的，也就是这张表。
“你昨天的破局思路非常精妙，把无限平面的铺法，通过强制匹配规则，压缩成了有限的局部情形组合。这个降维打击的思路绝对是对的。但这个思路到底能不能站住脚，最后全看你枚举的这张表，有没有哪怕一种遗漏。”
林照野立刻接过了话头：“每一个顶点，哪怕是最边缘的顶点，其附近所有的拼贴可能，都必须穷举列出。能继续往外拼延的，你要在表里清晰地说明它最终將归入哪一类super-tile。不能继续往下拼，註定无法延展的，你要证明它在哪一步走不下去，为什么走不下去。”
林照野用手指重重敲击著桌面，发出沉闷的响声。
“绝不能在论文里只写一句此路不通。你要写清楚，到底是哪个角度出现了干涉，哪两条边发生了拓扑重叠，是哪个微小的缺口，在穷尽了所有可用砖块的旋转与翻面后，依然无法被填补？”
他盯著江临，仿佛要看穿这个年轻人的承受底线。
“还有別忘了，顶点邻域的组合，在理论上看似是有限的，但真要在实际操作中去穷尽，它的状態空间是会发生指数级爆炸的。第一层的邻域你列完了，那第二层呢？第二层的每一种合法状態，又会向外衍生出第三层的一堆分支。如果靠手工去列，用人脑去硬扛，必然会发生遗漏。”
林照野说到这里，语气稍微放缓。
“这种级別的穷举表，普通的研究团队如果靠人力硬磨，动作快的话几个星期，慢的话两三个月是家常便饭。而在长达几个月的枯燥排查中，但凡你在某一天突然发现，最底层竟然漏掉了一种极其生僻的局部拼法。江临，那就意味著你上面堆砌的几千种衍生状態全部作废，整个证明链条断裂，前面几个月的心血全部重来。”
他看著江临那张依旧平静的脸。
“別觉得自己有了一个好的骨架，就轻视这种泥瓦匠的活儿。骨架终究只是骨架，而这张表，是把这具骨架钉牢在现实世界里的每一颗钢钉。”
坐在后排的陈彦，听到这里，胃部已经开始神经性地抽搐了。 ↑返回顶部↑