环境就报错的玩具代码。你必须提供极其干净、封装良好的源码，让大洋彼岸的任何一个审稿人，能在他们自己的服务器上，独立编译、独立运行，并最终跑出和你一模一样的验证结论。”
“听陆老师说，你自己写过很复杂的抓取搜索器。有这方面的代码经验，你应该比很多只会推公式的纯数学学生对算法更敏感。但作为前辈，我要给你一点忠告，永远不要迷信程序。”
“程序不是能够明辨是非的裁判，它本质上只是一个算力惊人，但毫无主观判断力的勤快书记员。如果你的底层规则写错了一个参数，哪怕只是正负号反了，它也会把这个错误的规则执行得极其完美，并在几秒钟内给你生成一份由几万行代码构成的错误报告。”
江临微微点头。
林照野在一旁感叹道：“光是把这套计算机辅助核验的框架搭起来，调通边界条件，优化算法复杂度，最后再将其整理成符合学术规范，能够被文献引用的伪代码形式……江临，你信不信，哪怕是国内顶尖高校计算机系出身的博士生，专门干这个，两三个月都未必能拿得出一个没有bug 的版本。很多纯数学的课题组走到这一步，往往会陷入停滞，最后不得不去隔壁院系专门拉一个算法大佬进来挂名合作。”
五、骨架唯一性
顾南舟写完这五个字，斟酌了一下，换了个相对通俗的说法。
因为这个概念太反直觉。
“简单来说，这就是昨天邵教授在黑板前逼你确立的那条铁律。当我们把成千上万块微小的单砖拼成一整片汪洋大海之后，如果我们在宏观尺度上往回收，我们能不能从这片混乱的纹理中，唯一且确定地反向看出上一层的Super-tile在哪里？”
顾南舟看着江临的眼睛：“你昨天用村庄和主干道来比喻这种层级关系，非常直观，这个比喻甚至可以在论文的Introduction部分保留，用来引导读者。但一旦进入核心证明章节，这个比喻就必须被彻底抛弃，变成无懈可击的形式化证明。”
“这一步，绝不能有半点含糊。”邵明棠严肃地说，“如果你在这里糊弄过去了，那么你后面构建的所有越来越大，趋于无穷的层级结构就全部成了空中楼阁。因为审稿人会质问你，你划分的这些层级，到底是你为了证明方便，凭着主观意愿强行画上去的辅助线？还是这些砖块内部的几何规律，无可奈何地逼着你只能这么划分？”
顾南舟说到这里，语气变得有些无奈。
“要把这件事用学术语言写得干干净净，你要引入复杂的等价类，你要处理在不同Super-tile边界交接带上，那些归属模糊的单砖。你要用严格的形式化语言定义，为什么在宏观尺度上，可以合法地忽略这些边界扰动，同时还要证明这种忽略，绝对不会影响整体骨架的唯一性。”
“而为了兜底不影响这三个字，”顾南舟苦笑着摇摇头，“你需要引入边界估计理论，需要进行复杂的局部密度比较分析，还要创造一整套全新符号系统去严密封死所有的逻辑漏洞。”
“所以别说创新了，光是把这套已经想明白的逻辑写干净，一个训练有素的博士生全力以赴，至少需要两到三个星期。”林照野叹了口气，“如果在推导过程中卡在某个特殊的边界奇点上，卡上一个月，甚至几个月，都是圈子里的常态。”
六、周期带排除
陈彦听到这五个字，下意识地挺直了脊背。
这就是昨天讨论中，那个如同幽灵一般的长条形偷偷重复的陷阱。
“这个问题，最容易被外行，甚至是半吊子同行忽视。”邵明棠说，“外行只要看到整张大地图没有出现完全相同的重复区块，就觉得大功告成了。但做我们这一行的都知道，最阴险的敌人往往潜伏在局部。整张无限大的平面确实没有整体重复，但在其内部，可能隐藏着一条只有几块砖宽，却无限延伸的狭窄走廊。而这条走廊里的图案，竟然在进行着微观的周期性循环。”
邵明棠敲了敲桌子。
“只要存在这样一条周期带，哪怕整个平面再怎么混乱，你的证明和这块砖的物理应用，都会变得极其肮脏，甚至被彻底推翻。”
“关于这个，我会通过提取边界序列来解决。”
江临终于开口。
“把那条可能存在的一维边界，通过几何特征编码成一维抽象的符号序列，然后写出它对应的替代矩阵。通过计算这个矩阵，求解其特征值 λ。只要能证明其最大的膨胀因子λ是一个代数无理数，那么根据数论性质，这个序列在物理学和数学上，就绝对不容许存在任何有理周期。”
陈彦在一旁听得一愣。
这种硬核的代数手段，直接把一个几何问题降维打击成了线性代数和数论问题，漂亮得简直像一件艺术品。
“思路绝对是对的，工具也选得极其精准。”邵明棠看着江临的眼神满是欣赏，“但江临，你要明白，口头上的天才论证，和落在白纸黑字上的无懈可击之间，横亘着一道天堑。”
“最繁琐的地方在于，你必须在论文里用整整一节的篇幅，去单独证明一件事。你从二维几何边界上肉眼读出来的那串凹凸不平的物理特征，和你在纸上用代数推导出来的那个抽象的替代序列，在数学本质上是完全等价的同一个东西。”
“审稿人会毫不留情地质问你，你凭什么说边界上的凹凸就一定对应你纸上的符号？在极端的拓扑扭曲下，会不会发生读漏的情况？在遇到手性翻转时，方向会不会读错？一块砖翻面之后，会不会导致你读出两套截然不同，甚至相互矛盾的序列？”
邵明棠说到这里，语气变得沉重，带着历经沧桑的感慨。
“江临，我做了二十年准晶材料研究，见过太多惊才绝艳的天才。他们在整体非周期的大框架上证得漂漂亮亮，意气风发，觉得大奖在向自己招手。可最后呢？往往就是在最细微的某个方向的半周期带上栽了跟头。一个微小的反例被同行揪出来，所有的宏大殿堂瞬间崩塌，前功尽弃。”
七、主定理
顾南舟写下了最后的三个字，长长地呼出一口气，仿佛卸下了一座大山。
“这最后一步，也是收官之战。关于这个，你脑子里其实已经有核心的逻辑链条了。”林照野看着江临，目光中透着期许，“你的核心逻辑是，如果整张铺法在经历了一个平移操作后依然保持不变，那么从它内部提取出来的每一层宏观骨架，也必须随之保持不变。而随着层级划分得越来越大，一个固定的有限平移量，在数学逻辑上，根本不可能同时保住所有趋于无限大的层级。因此，产生矛盾。原假设不成立。从而得证整体的非周期性。”
“这是天才的直觉。”林照野点点头，但话锋一转，“但回到我们今天的主题，你要把这段极具文学美感的推演，转化为哪怕是带着放大镜的审稿人，也钻不进任何空子的逻辑长句。”
“这件事最难的地方，从来不是想明白，而是写明白。”
当这句话落下时，c216讨论室里再次安静了好一会。
陈彦坐在角落里，心里忽然泛起酸楚。
他读博三年，脱了无数的头发，熬了无数通宵，对这句话的感受太深了。
想明白，那是在洗澡时，在走路时突然迸发的荷尔蒙，是多巴胺狂欢的起点。
写明白，那是一字一句地雕琢，是不断推翻重来的自我否定，是漫长而痛苦的折磨。
而让别人承认你写明白了，那则是面对同行质疑，面对无理刁难，在学术修罗场里厮杀的下一层折磨。
……
顾南舟放下笔，看着纸上密密麻麻的七项主任务。
而这，还是仅仅只是第一轮宏观拆解出来的主干。
如果顺着每一项继续往下剥，底下还能再像树根一样，裂生出十几项乃至于几十项让人窒息的细分小任务。
他把这张承载着千钧重量的A4纸推到江临面前。
“江临，这不是一天两天，甚至不是一两个星期能搞定的活儿。”
“正常来说，如果在研究所，这种量级的工作交由一个成熟的课题组来推进。”
顾南舟一边说，一边盘算。
“我会分配一个最细心的博士生专门负责画图和坐标，安排一个博士生死磕局部状态表，拉一个计算机系的算法高手专门负责辅助核验代码。我则亲自操刀证明主干文字，林教授帮忙镇守局部枚举的逻辑底线，邵教授负责把关替代系统和周期带的物理意义。我们六个人，全职工作。”
他顿了顿，给出了一个自认为中肯的数字。
“即使这样，保守估计，我们要拿到第一版能看得过去的初稿，也需要一个月起步。”
林照野在旁边微微一笑：“一个月？顾教授，你未免太乐观了，你当这是在解本科生的课后习题吗？”
顾南舟转头看他。
“如果你能保证图形一次都不用改。枚举表跑满全场不爆内存，验证程序一行代码都不用调试一次跑通，逻辑证明没有任何推倒重来……”
林照野竖起一根手指。
“那的确只需一个月。”
他接着竖起第二根手指。
“但凡在推进中间，我们发现底层的局部状态表漏掉了一处哪怕最微小的情形，整座大厦推倒重来，那就是两个月。”
他竖起第三根手指。
“如果骨架唯一性那部分的数学语言始终写不干净，被边界扰动卡住了脖子，全组人对着白板发呆，耗上三个月，也是圈子里的家常便饭。”
“如果周期带那一节，特征值推导出了问题，”邵明棠淡淡地补上了最后一刀，“卡上半年甚至一年，最后不得不放弃发表，这种惨剧在学术界一点都不稀奇。”
陈彦在旁边听得眼前阵阵发黑。
半年。
这还不是
“听陆老师说，你自己写过很复杂的抓取搜索器。有这方面的代码经验，你应该比很多只会推公式的纯数学学生对算法更敏感。但作为前辈，我要给你一点忠告，永远不要迷信程序。”
“程序不是能够明辨是非的裁判，它本质上只是一个算力惊人，但毫无主观判断力的勤快书记员。如果你的底层规则写错了一个参数，哪怕只是正负号反了，它也会把这个错误的规则执行得极其完美，并在几秒钟内给你生成一份由几万行代码构成的错误报告。”
江临微微点头。
林照野在一旁感叹道：“光是把这套计算机辅助核验的框架搭起来，调通边界条件，优化算法复杂度，最后再将其整理成符合学术规范，能够被文献引用的伪代码形式……江临，你信不信，哪怕是国内顶尖高校计算机系出身的博士生，专门干这个，两三个月都未必能拿得出一个没有bug 的版本。很多纯数学的课题组走到这一步，往往会陷入停滞，最后不得不去隔壁院系专门拉一个算法大佬进来挂名合作。”
五、骨架唯一性
顾南舟写完这五个字，斟酌了一下，换了个相对通俗的说法。
因为这个概念太反直觉。
“简单来说，这就是昨天邵教授在黑板前逼你确立的那条铁律。当我们把成千上万块微小的单砖拼成一整片汪洋大海之后，如果我们在宏观尺度上往回收，我们能不能从这片混乱的纹理中，唯一且确定地反向看出上一层的Super-tile在哪里？”
顾南舟看着江临的眼睛：“你昨天用村庄和主干道来比喻这种层级关系，非常直观，这个比喻甚至可以在论文的Introduction部分保留，用来引导读者。但一旦进入核心证明章节，这个比喻就必须被彻底抛弃，变成无懈可击的形式化证明。”
“这一步，绝不能有半点含糊。”邵明棠严肃地说，“如果你在这里糊弄过去了，那么你后面构建的所有越来越大，趋于无穷的层级结构就全部成了空中楼阁。因为审稿人会质问你，你划分的这些层级，到底是你为了证明方便，凭着主观意愿强行画上去的辅助线？还是这些砖块内部的几何规律，无可奈何地逼着你只能这么划分？”
顾南舟说到这里，语气变得有些无奈。
“要把这件事用学术语言写得干干净净，你要引入复杂的等价类，你要处理在不同Super-tile边界交接带上，那些归属模糊的单砖。你要用严格的形式化语言定义，为什么在宏观尺度上，可以合法地忽略这些边界扰动，同时还要证明这种忽略，绝对不会影响整体骨架的唯一性。”
“而为了兜底不影响这三个字，”顾南舟苦笑着摇摇头，“你需要引入边界估计理论，需要进行复杂的局部密度比较分析，还要创造一整套全新符号系统去严密封死所有的逻辑漏洞。”
“所以别说创新了，光是把这套已经想明白的逻辑写干净，一个训练有素的博士生全力以赴，至少需要两到三个星期。”林照野叹了口气，“如果在推导过程中卡在某个特殊的边界奇点上，卡上一个月，甚至几个月，都是圈子里的常态。”
六、周期带排除
陈彦听到这五个字，下意识地挺直了脊背。
这就是昨天讨论中，那个如同幽灵一般的长条形偷偷重复的陷阱。
“这个问题，最容易被外行，甚至是半吊子同行忽视。”邵明棠说，“外行只要看到整张大地图没有出现完全相同的重复区块，就觉得大功告成了。但做我们这一行的都知道，最阴险的敌人往往潜伏在局部。整张无限大的平面确实没有整体重复，但在其内部，可能隐藏着一条只有几块砖宽，却无限延伸的狭窄走廊。而这条走廊里的图案，竟然在进行着微观的周期性循环。”
邵明棠敲了敲桌子。
“只要存在这样一条周期带，哪怕整个平面再怎么混乱，你的证明和这块砖的物理应用，都会变得极其肮脏，甚至被彻底推翻。”
“关于这个，我会通过提取边界序列来解决。”
江临终于开口。
“把那条可能存在的一维边界，通过几何特征编码成一维抽象的符号序列，然后写出它对应的替代矩阵。通过计算这个矩阵，求解其特征值 λ。只要能证明其最大的膨胀因子λ是一个代数无理数，那么根据数论性质，这个序列在物理学和数学上，就绝对不容许存在任何有理周期。”
陈彦在一旁听得一愣。
这种硬核的代数手段，直接把一个几何问题降维打击成了线性代数和数论问题，漂亮得简直像一件艺术品。
“思路绝对是对的，工具也选得极其精准。”邵明棠看着江临的眼神满是欣赏，“但江临，你要明白，口头上的天才论证，和落在白纸黑字上的无懈可击之间，横亘着一道天堑。”
“最繁琐的地方在于，你必须在论文里用整整一节的篇幅，去单独证明一件事。你从二维几何边界上肉眼读出来的那串凹凸不平的物理特征，和你在纸上用代数推导出来的那个抽象的替代序列，在数学本质上是完全等价的同一个东西。”
“审稿人会毫不留情地质问你，你凭什么说边界上的凹凸就一定对应你纸上的符号？在极端的拓扑扭曲下，会不会发生读漏的情况？在遇到手性翻转时，方向会不会读错？一块砖翻面之后，会不会导致你读出两套截然不同，甚至相互矛盾的序列？”
邵明棠说到这里，语气变得沉重，带着历经沧桑的感慨。
“江临，我做了二十年准晶材料研究，见过太多惊才绝艳的天才。他们在整体非周期的大框架上证得漂漂亮亮，意气风发，觉得大奖在向自己招手。可最后呢？往往就是在最细微的某个方向的半周期带上栽了跟头。一个微小的反例被同行揪出来，所有的宏大殿堂瞬间崩塌，前功尽弃。”
七、主定理
顾南舟写下了最后的三个字，长长地呼出一口气，仿佛卸下了一座大山。
“这最后一步，也是收官之战。关于这个，你脑子里其实已经有核心的逻辑链条了。”林照野看着江临，目光中透着期许，“你的核心逻辑是，如果整张铺法在经历了一个平移操作后依然保持不变，那么从它内部提取出来的每一层宏观骨架，也必须随之保持不变。而随着层级划分得越来越大，一个固定的有限平移量，在数学逻辑上，根本不可能同时保住所有趋于无限大的层级。因此，产生矛盾。原假设不成立。从而得证整体的非周期性。”
“这是天才的直觉。”林照野点点头，但话锋一转，“但回到我们今天的主题，你要把这段极具文学美感的推演，转化为哪怕是带着放大镜的审稿人，也钻不进任何空子的逻辑长句。”
“这件事最难的地方，从来不是想明白，而是写明白。”
当这句话落下时，c216讨论室里再次安静了好一会。
陈彦坐在角落里，心里忽然泛起酸楚。
他读博三年，脱了无数的头发，熬了无数通宵，对这句话的感受太深了。
想明白，那是在洗澡时，在走路时突然迸发的荷尔蒙，是多巴胺狂欢的起点。
写明白，那是一字一句地雕琢，是不断推翻重来的自我否定，是漫长而痛苦的折磨。
而让别人承认你写明白了，那则是面对同行质疑，面对无理刁难，在学术修罗场里厮杀的下一层折磨。
……
顾南舟放下笔，看着纸上密密麻麻的七项主任务。
而这，还是仅仅只是第一轮宏观拆解出来的主干。
如果顺着每一项继续往下剥，底下还能再像树根一样，裂生出十几项乃至于几十项让人窒息的细分小任务。
他把这张承载着千钧重量的A4纸推到江临面前。
“江临，这不是一天两天，甚至不是一两个星期能搞定的活儿。”
“正常来说，如果在研究所，这种量级的工作交由一个成熟的课题组来推进。”
顾南舟一边说，一边盘算。
“我会分配一个最细心的博士生专门负责画图和坐标，安排一个博士生死磕局部状态表，拉一个计算机系的算法高手专门负责辅助核验代码。我则亲自操刀证明主干文字，林教授帮忙镇守局部枚举的逻辑底线，邵教授负责把关替代系统和周期带的物理意义。我们六个人，全职工作。”
他顿了顿，给出了一个自认为中肯的数字。
“即使这样，保守估计，我们要拿到第一版能看得过去的初稿，也需要一个月起步。”
林照野在旁边微微一笑：“一个月？顾教授，你未免太乐观了，你当这是在解本科生的课后习题吗？”
顾南舟转头看他。
“如果你能保证图形一次都不用改。枚举表跑满全场不爆内存，验证程序一行代码都不用调试一次跑通，逻辑证明没有任何推倒重来……”
林照野竖起一根手指。
“那的确只需一个月。”
他接着竖起第二根手指。
“但凡在推进中间，我们发现底层的局部状态表漏掉了一处哪怕最微小的情形，整座大厦推倒重来，那就是两个月。”
他竖起第三根手指。
“如果骨架唯一性那部分的数学语言始终写不干净，被边界扰动卡住了脖子，全组人对着白板发呆，耗上三个月，也是圈子里的家常便饭。”
“如果周期带那一节，特征值推导出了问题，”邵明棠淡淡地补上了最后一刀，“卡上半年甚至一年，最后不得不放弃发表，这种惨剧在学术界一点都不稀奇。”
陈彦在旁边听得眼前阵阵发黑。
半年。
这还不是