陆知行的话让c216安静了一下。
顾南舟看着他,又看了一眼江临。
直到这时候,他的大脑才像是从亢奋的数学推演中被强行拽回现实,开始意识到一个荒谬的细节。
过去整整一个小时,c216讨论室里所有人的注意力,全都犹如被磁石吸附一般,钉在那几张草稿纸上。
他们验算边缘,检查顶点,穷举局部拓扑结构,甚至在脑海中疯狂构建着二维平面上的层级结构。
那是纯粹的数学世界,在那个世界里,没有年龄,没有学历,只有逻辑。
但他们还没有真正确认江临的身份。
“陆教授,我再确认一句,江临现在是你们物理学院的硕士,还是博士?”
陆知行沉默了一瞬。
他太清楚这句话对顾南舟,对整个数学界意味着什么。他直视着顾南舟的眼睛,说:“都不是。”
顾南舟怔了一下,随即眉头紧锁,脑海中闪过江大拔尖人才培养计划的名单:“本科生,少年班的?”
“也不是。”
陆知行的回答依旧简短,但每一个字都像是一把重锤。
陈彦下意识抬起头,眼神中充满了迷茫和震惊。
顾南舟的目光一点点落回江临身上。
陆知行深吸了一口气,终于将那个足以撕裂常识的答案说了出来:“他是江城七中的高中生,还有一个多月高考。”
这句话落下去,c216像被人按下了静音键。
陈彦的嘴唇动了动,似乎想笑,但面部肌肉完全不听使唤,最终只是低声重复了一遍:“高中生?”
这算什么?
一个正在复习五年高考三年模拟的高三学生,跑到江大数学系的专业读书班上,随手画出了一块可能解决离散几何领域长达六十年悬而未决的爱因斯坦难题的非周期单砖?
顾南舟的第一反应不是质疑。
因为如果是质疑,他在看到那张局部邻域表的时候就已经质疑过了。
他的反应是重新看江临的脸。
刚才他一直在看纸,看边,看角,看那张用代数拓扑学语言隐晦表达的表格。
直到这一刻,他才真正注意到,坐在这间讨论室里旁听,只用普通中华铅笔画出那块十三边形的学生,脸上果然还带着少年人未完全褪去的轮廓。
果然,天才出少年吗?
还是说,数学的上帝今天决定在江大开一个荒诞的玩笑?
顾南舟深吸一口气,强行压下胸腔里翻滚的巨浪,理智告诉他,现在不是震惊的时候。
他转过身,对周遭还在围观看热闹,同样被震得大脑宕机的学生说:“同学们,今天读书班已经结束,内容大家回去自己再消化消化。关于这张图,这块多边形的事,出门之后别提。在没有经过严格的形式化验证之前,这还只是一个思想实验。”
学生们面面相觑,但导师既然已经叫散,且语气中带着不容置疑的威严,他们也只能陆续收拾书包离开。
有人走到门口,又忍不住回头看了一眼那个似乎对周遭一切震惊都无动于衷的少年,欲言又止,终究没说什么。
很快,略显宽敞的教室里只剩下顾南舟、陈彦、江临和陆知行四个人。
顾南舟转过身,眼神已经恢复了作为江大数学系中坚力量的冷静。
他说:“身份的事放一边,先验砖。”
验砖这两个字说出来以后,屋里那种漂浮在半空中令人眩晕的震惊才终于落回地面,找到了重力的支点。
对。
先验砖。
不管是高三生、本科生,还是菲尔兹奖得主。
数学不看身份证,不查户口本。
它只看你的逻辑链条是否闭合,只看你有没有把问题彻彻底底地解决。
顾南舟拿出手机。
南大那边的信息一条接着一条地弹出来。
【顾南舟,我认真问你,你是不是在预印本网站上看到个未发表的粗糙构造,自己没核对就激动了?】
在这个圈子里,越是惊人的消息,越要先假设它是假的。
自从1961年王浩提出王氏砖并猜测任何可以铺满平面的图块集都可以周期性铺满以来,这个领域见证了太多次的希望与幻灭。
1966年,Robert berger证明了王浩的猜测是错的,并给出了第一组非周期图块,但那需要块砖。
后来,Robinson将其降到了6块。
再后来,罗杰·彭罗斯用飞镖和风筝将其降到了着名的2块。
几十年来,全世界的顶尖大脑都在寻找那一块砖。
一块能够且仅能以非周期方式铺满无限二维平面的单一连通图块。
Socolar和taylor在2010年找到过一块,但那块砖是不连通的,或者需要复杂的匹配规则,在纯粹的几何拓扑上并不完美。
现在,有人说找到了一块纯粹的,没有任何附加匹配规则的单一多边形?
对方发来这条信息,不是在质疑顾南舟的眼光,而是在替他兜底。
万一是误判,现在收手还来得及,不至于惊动上面那条线,召开正式研讨会之后再尴尬收场。
顾南舟手指飞快地在屏幕上敲击,回了四个字。
【现场画的。】
那头沉默了几秒,仿佛能顺着电波感受到对方倒吸凉气的声音。
【你的学生?】
顾南舟看了一眼江临。
【不是,隔壁物理学院青年pI带来的挂名学生。】
说话间,陈彦已经将会议室的投影连上,又满头大汗地跑去隔壁教研室借来了一台高精度扫描仪。
他小心翼翼地,仿佛对待孤本一般,把江临刚才画的几张纸一页一页扫进电脑。
陈彦看着屏幕,手都在抖。
文件名被顾南舟临时要求命名为:预核_江_扫描件.pdf。
“现在它还只是候选构造,在完整证明和复核完成之前,不要把它称作定理,也不要对外说已经解决。”顾南舟对江临解释了一句临时命名的问题,语气中带着保护的意味。
陆知行表示没问题,他懂这些规矩。
江临更是不会说什么。
他连个大学生都不是,关于预印本,候选构造这些学术圈的规矩和潜规则,他是不怎么清楚的。
他只是站在那里,看着自己脑海中推演了无数遍的几何结构被放大在幕布上。
十几分钟后,加密视频会议接通。
投影幕布被均分为左右两块。
左边出现一个五十岁左右的男人,头发花白,戴着厚厚的无框眼镜,背景是堆满了外文期刊、打印纸和各种多面体模型的办公室。
顾南舟沉声介绍:“江临,陆教授,这位是林照野教授,南大数学系,做离散几何与组合拓扑的权威。”
右边是一个四十多岁的女人,一头干练的短发,戴着黑框眼镜。
她身后的白板上还残留着几组准晶衍射图和密密麻麻的投影关系。
“邵明棠教授,中科院理论物理所,做准晶和非周期材料结构的专家。”
这是顾南舟先前通过短信紧急邀请的两位离散领域的绝对专家。
原本这种级别的非正式会面极难凑齐,但这二位大佬在经过初步沟通、看了顾南舟拍过去的一个残缺局部图后,已经等不及今晚的常规通话了。
他们推掉了晚上的会议,只想尽快看一看这个传说中的单砖。
两个人上线后,顾南舟极其简练地介绍了一下江临与陆知行。
视频两头彼此之间都没有任何多余的寒暄。
到了他们这个级别,废话是对时间的亵渎。
林照野看着屏幕,五分钟后,他缓缓开口:“这就是你说的那块,本不该存在于二维平面的砖?”
顾南舟点点头:“候选,目前只是候选。”
林照野点点头:“好,先按候选看看,边缘角度是不是全都是π/6的整数倍?”
江临站在桌边,语气很平:“是的,所有角都落在同一套30°辅助网格上,边长也只取有限几类比例。真正要验证的,不是视觉像不像,而是这套有限角型能不能封闭成完整的局部状态表。”
“原稿现在在谁手里?”邵明棠插话道。
顾南舟把手按在那个硬壳文件夹上:“在这里,陆知行教授也在场作证。”
邵明棠的语气不容置疑:“先别公开,不要发微信群,不要发朋友圈,不要在任何社交媒体上留痕,更不要让刚才那些学生拍照外传。如果这东西是真的,这就是本世纪几何学最大的突破之一。如果是假的,提前走漏风声会让江大数学系沦为国际笑柄。”
顾南舟看了一眼陈彦。
陈彦立刻像触电一样把手机反扣在桌上,屏幕朝下,甚至举起双手示意:“明白,绝对保密。”
林照野推了推眼镜,身子前倾,仿佛要从屏幕里钻出来:“开始吧,先别急着说它能不能抵御周期性,咱们一步一步来。第一步,先证明它不是你信手涂鸦画出来的死胡同。”
顾南舟敲击键盘,把江临刚才画的几块由单砖组合而成的拼接图放大。
林照野盯着那些齿轮般咬合的边缘,问了一个最根本的问题:“它能不能铺满?”
在数学上,铺满意味着覆盖整个R2平面,且没有任何缝隙,也没有任何重叠。
“能。”
江临站在桌边,神色依旧没有起伏。
“怎么铺?”林照野追问,眼神极具压迫感,“你不能给我看一个局部的漂亮图案,就告诉我它能延伸到无限大,我需要构造法。”
江临走上前,指着图上被他标记为四类的大块结构。
“这四类大块,我暂时叫它们一型(h)、二型(t)、三型(p)、四型(F)。它们本质上是由不同数量、不同朝向的同一种单砖拼出来的超图块。而铺满平面的核心在于,每一类大块,又可以继续由更小的,按照严格比例缩放的一型、二型、三型、四型构成。”
林照野眉头微皱,脑海中迅速构建代数关系:“意思是,大砖由小砖拼,小砖又能组成更大的大砖?一个递归的替换系统?”
“对,它的膨胀系数并非简单的整数。”江临回答,“这意味着它在进行高阶合成时,边界会产生极其复杂的非线性咬合。”
林照野没有立刻说好。
他太有经验了,很快就指出了其中的陷阱:“一层套一层,能无限放大,在代数上成立,但不等于它在几何拓扑上能盖住整张无限大的平面。你可能只是构造了一个不断膨胀的孤岛,而在孤岛之外,存在它无法触及的真空。”
江临点头,显然他早就思考过这个问题:“对,无限放大只是证明了对于任意给定的正整数n,第n阶超图块是存在的,且可以由基础单砖无缝拼接。但为了覆盖 R2,还要保证后一层(第n+1阶)在几何上完全包容前一层(第n阶),且这种包容的尺度度量随着n→∞发散到无穷。”
“所以呢?”邵明棠在视频那头插话。
“所以,我们可以利用拓扑学上的紧致性原理。”
江临看着屏幕上的白板图,语速不疾不徐。
“在这个构造规则下,在二维平面上随便取任意一个坐标点p(x,y),随着层级n的增加,第n阶大块的边界会以指数级向外扩张。这个点p早晚会落进某一个n阶大块的内部。没有任何一个实数域上的点能逃脱这个极限的覆盖。这样,整张平面才算被彻底盖满,不会出现越长越偏,把远处漏掉的病态拓扑结构。”
林照野盯着那张错综复杂的替代图看了足足十分钟。
大脑疯狂运转,试图在这套递归逻辑中寻找漏洞,但他发现,至少在直觉上,这个年轻人给出的覆盖闭环是自洽的。
“这一步,先记着。我暂时接受你的覆盖存在性。”林照野说,语气依然严厉,“但是,能给出一种无限铺法,绝不等于它不能退化成周期铺法。很多图块既能非周期铺,也能周期铺,我们要的是强制非周期。”
邵明棠接过话茬,直击要害:“也不等于所有铺法都会乖乖按你这套层级结构长。也许在宇宙的某个角落,这块砖能以一种你完全没想到的,不符合这四类大块规则的方式,周期性地排满平面。”
顾南舟站在一旁,没有替江临说话,陆知行也没有。
这时候没人该替他说话,也不能替他说话。
在纯粹理性的审判庭上,只有逻辑本身才是最好的辩护律师。
江临自己点了点头,仿佛一切都在他的计算之中:“所以,第二步是强迫。”
林照野眯起眼睛:“说白一点,不要掉书袋。”
江临想了想,放弃了使用复杂的图灵机状态转换比喻,换了一个最底层的说法。
“第一步,是我告诉你,这块砖可以这样铺。这只是存在性。”
“第二步,是我要证明,你不管愿不愿意,一旦你把这块砖放在桌子上,开始向外拼接,最后它都会通过局部边界的凹凸咬合,被迫且只能被迫形成我给出的那四类大块的宏观结构。”
林照野终于开始颔首:“继续。”
江临把那张密密麻麻的局部邻域表推到扫描仪旁边,陈彦手忙脚乱地配合,将页面在投影上放大。
屏幕上出现一张极其繁复的表格。
每一行,都是一种局部拼接的几何构型。
左边:某个特定凹口或凸角周围,根据内角要求,可能接入的其他单砖的姿态。
中间:标注该组合是否在纯几何上合法(无重叠、无缝隙)。
右边:标注该合法组合在向外延展时,最后会被迫归入哪一类大块,或者在哪一步彻底走进死胡同。
林照野看了一眼表格的行数,一针见血地直接发问:“你怎么知道你列全了?”
非周期铺砌的证明中,最怕的就是穷举遗漏。
如果你漏掉了一种合法的拼法,而那种拼法恰好能导向一个平凡的周期结构,那么前面所有的宏观大厦都会在瞬间坍塌。
江临回答得毫不犹豫:“我没有去列无限平面。”
“什么意思?”林照野眉头皱得更深。
“无限平面的铺法是一个不可数集,列不完。”江临说,“但我列的,是顶点周围那一圈的局部情形。”
他拿起铅笔,在白纸上画了一个极其锐利的凹口。
“这块单砖能贡献的角,全都是30°的整数倍。我们在平面上绕着任意一个顶点转一圈,总和必然是 360°,正好是十二个 30°扇形。”
江临的笔尖在纸上点出十二个刻度。
“所以,围着一个顶点,所有可能拼上的单砖角度组合,是一个严密的有限集合。这是一个简单的组合数学问题,不是无穷多种。”
他又迅速画出几种接法,齿轮般的边缘在纸上咬合。
“有的组合,局部完全接得上。”
“但有的组合,看起来在这个顶点处接上了,只要你再往外逼迫一步,补一圈砖,就会在次级邻域冒出一个形状极其诡异的缺口,一个面积不足以塞进哪怕半块单砖的死穴。”
他在那个假想的缺口上画了一个重重的叉。
“这种,就是死胡同。它在局部第一层欺骗了你,但在第二层就会因为几何空间的排他性而崩溃。”
林照野一边入神地听着,一边在脑海里验算江临所说的十二个扇形的组合数。
江临继续输出他的逻辑:“所以,我们要验的不是整张无限平面,而是所有可能出现的顶点局部情形(有限集)。每一种合法的局部情形往外长一步,要么它会顺理成章地变成那四类大块的内部核心,要么它就会立刻死掉,没有任何中间态。”
他顿了一下,补充了一个计算机科学的概念。 “这跟搜索器算法中剪枝砍掉死路的逻辑是同一件事。”
林照野没有听过江临个人的那个什么搜索器,但他懂计算复杂性理论。
“也就是说,你利用了顶点的离散角度限制,把无限的铺法空间,压缩成了一张有限的可计算的局部情形状态表?”
“对。”江临回答。
“有限表理论上可行,但最怕两件事。一是由于人工计算失误导致的漏项,二是误判死路。你以为它死了,但其实通过翻转或平移另一块砖,它能活过来。”
邵明棠第一次针对技术细节开口。
江临点头,表示同意这种苛刻的怀疑:“所以,表里标记的每一条死路,我都写清楚了它具体死在哪一步,死在哪个角度的冲突上。”
陈彦咽了口唾沫,移动鼠标,把表格的第十七行放大。
那一行旁边画着一个极度扭曲的凹口,一个突兀的凸边,以及一个猩红的红叉。
林照野死死盯着屏幕上的第十七行:“这一行,问题到底出在哪?”
江临只看了一眼那熟悉的拓扑图: “它满足内角和等于360°,局部看,它的确是合法的。”
“哦?”林照野挑眉。
“它在第一个顶点上确实能完美闭合,所有多边形的角凑得齐。”江临在白纸上重新手绘那种接法,线条流畅得不可思议,“所以,如果只看这中心的一个点,你挑不出任何毛病,算法在这个节点会返回true。”
说着,江临的笔锋一转,开始沿着外围补第二圈。
“但是,当我们基于这个合法的核心延展一步,外部边界的约束力开始发挥作用。这里会逼出一个被几条边框死的空间。”
他重重地圈出左上角的一个尖角,然后用笔尖敲了敲那个空间。
“由于周围砖块的刚性结构,这个留出来的角被卡死在了150°,但它的边缘轮廓却要求填入一个带有90°和60°凸起的形状。我们这块砖,无论怎么旋转,都无法同时满足这两种约束,再没有任何一块砖能补进去。”
陈彦在旁边听得冷汗直冒,下意识脱口而出:“所以,它不是当场出现矛盾,它是延展一步甚至两步之后,才暴露出拓扑上的不可调和性?”
“对。”江临看了一眼陈彦,“这也是为什么很多单砖在初步测试时看起来能铺平,但很快就会崩溃。所以不能只验一个绝对孤立的顶点,要看它作为整体的局部邻域往外长一圈,会向外界逼出什么强制条件。”
视频那头,林照野的手指在桌面上轻轻敲击着,发出哒哒哒的声音。
每一声都像是敲在陈彦和顾南舟的心脏上。
长达十秒的思考后,林照野缓缓开口:“这个解释,逻辑严密,能写进论文的附录作为核心引理。”
这句话一出,c216里好几个人都不由自主地松了一大口气。
陈彦甚至感觉自己腿都软了一下。
能写进附录,不代表最终过关。
但至少说明,在顶尖专家的眼里,江临不是在异想天开地胡说八道。他的证明框架是正统的,符合现代数学分析标准的。
然而,邵明棠却没有轻易放过。
作为准晶领域的顶级学者,她见识过太多在微观上完美无缺,却在宏观组装上出大问题的模型。
“顶点局部强迫,确实能压制住自由度,暂时算你有明确的思路。” 邵明棠的目光透过屏幕,锐利地钉在江临身上, “但我关心另一件更重要的事。”
“什么?”江临抬起头。
“你说所有铺法都会被迫分成这四类大块,可是,这只是展开’过程。如果反过来,把一个已经铺好的平面往回收,做逆向的合成,这个分法,唯一吗?”
这句话一出来,刚刚还在敲桌子的林照野,眼神微微一变。
这确实是一个大问题。
把铺好的海量小砖往回收,合并成上一层的大块,这个动作在非周期铺砌的数学语言里叫做合成或逆替代。
如果同一片区域的几块单砖,一会儿能被划分合成一型大块的一部分,一会儿又能在逻辑上被解释为二型大块的一部分,那所谓的严格层级就彻底模糊了。
层级一模糊,就意味着它失去了唯一的代数编码。
后面利用层级无限放大来反证周期性存在的基石,就会轰然倒塌。
然而江临没有立刻顺着邵明棠的话说唯一。
他极其冷静地陈述了一个事实:“底层边界上的每一块砖归到哪一类大块,不完全唯一。”
陈彦猛地抬头,心跳骤停。
不唯一?
那不是全完了?
林照野也危险地眯起了眼睛,似乎在评估这个年轻人是不是在玩火。
邵明棠的声音提高了一度:“没有唯一性,你的层级树就会出现分叉,周期性反证根本无从谈起,你后继的证明还怎么走?”
“因为我要的本来就不是每一块底层小砖的归属绝对唯一。”
江临拿起笔,在投影出来的其中一条极其蜿蜒的大块边界上,画了两排交错的小砖。
“看这里。”他指着屏幕,“在两个大块交界的边缘带,确实存在少数几块砖,它们既可以被划进左边的大块,也可以被划进右边的大块,这在局部上产生了多义性。”
“但这仅仅只是在边界线上极其有限的来回游离。”
江临用粗黑的马克笔,直接在那两排小砖的中央,粗暴地画出了一条贯穿前后的宏观边界线,一条属于更高阶超图块的骨架线。
“它永远无法渗透进大块的核心。它绝对不会改变更高一层的拓扑骨架。”
为了让纯理论更加具象,江临用了一个直白的比喻。
“就像两个村子之间的一条土路,路边散落的几块石头,你可以说是左边村子的,也可以为了占便宜吵架说是右边村子的。局部上,归属权模糊。”
他用笔敲了敲那条粗线。
“但是,不管这几块破石头归谁,这条划分两个村子的大路依然切切实实地横在那里。这条宏观的边界线在哪儿,不会因为这几块微观石头的归属争议而发生任何位移。”
这个比喻虽然土,但在代数几何的语境下,极其精准。
邵明棠立刻听懂了,眼中多了些许赞赏。
她把江临的通俗语言重新收束回严谨的学术表达:“所以你要证的,是合成的拓扑骨架这个动作本身是唯一确定的,不管你从哪一块局部边界砖下手往回收,哪怕微观有歧义,收出来的宏观层级图都是同构的。至于个别边缘砖归左归右,这在极限的无穷大尺度下,测度为零,无所谓。”
江临点头:“对。”
邵明棠追问确认:“而不是要求每一块单砖的归属映射都是单射?”
“对,要求单射是强人所难,也是不必要的过度证明。”江临斩钉截铁地答道。
邵明棠靠回椅背,长长地出了一口气:“这个说法比你刚才那句干巴巴的反证更要紧,也更具洞察力。”
林照野在另一边重重地点了点头: “合成骨架唯一性是地基中的地基,地基不稳,你后面那一套反证全塌。但只要骨架唯一,周期性反证就有了立足之地。这一步必须单独拿出来,单列一个章节写清楚。”
顾南舟立刻拿起笔,在备忘录上飞快地记下。
【核心关键】:证明合成骨架唯一,而非底层单砖归属唯一。需引入等价类的概念进行严密表述。
站在旁边的陆知行,虽然隔行如隔山,听得一知半解,但他听懂了这句话背后的科学哲学意味。
江临没有硬拗。
面对大佬的质疑,没有试图用华丽的辞藻去掩饰模型中的微小瑕疵。
他大方地承认有局部的二义性,然后将讨论的维度拉高,把要证的核心目标,换成了一个更宏大,更准确,也更站得住脚的骨架同构。
这才像是在真正地做顶尖研究。
做研究,不是把问题包装得完美无瑕,一点瑕疵都没有。
而是敢于把瑕疵血淋淋地摊到桌面上,然后用无懈可击的逻辑证明:它不致命。
解决了合成唯一性的危机,审查进入深水区。
邵明棠推了推黑框眼镜,继续抛出问题:“这块单砖,铺砌时允许翻面吗?”
在非周期铺砌中,如果必须依赖图块的镜像翻转才能完成铺满,这被称为弱非周期。
如果仅靠平移和旋转就能铺满,像传说中的吸血鬼砖那样,那就是纯正的强非周期。
江临如实回答:“目前构造出的版本允许翻面,需要用到自身的镜像。”
“那就把它用粗体黑字写在第一页第一行。”邵明棠严肃地嘱咐,“允许翻面,和不许翻面,在群论中是两个完全不同的对称群命题。不许翻面那个更强,也更难。千万别让人误会你狂妄到顺手把更强的命题也给解决了,那会引来全方位的学术围剿。”
“明白。”江临点头受教。
“还有,允许翻面之后,”邵明棠的语速突然慢了下来,仿佛在黑暗中摸索着某种隐蔽的陷阱,“整张图在整体上没有周期性,我先信你。但是有没有一种病态的可能:在无限的平面上,沿着某一个特定的方向向量 v,存在一条宽度有限但长度无限的带子,而这条带子内部的图案,是周期重复的?”
这句话一出,会议室里的空气仿佛降到了冰点。
这让顾南舟立刻想到了非周期铺砌里常见的长条带隐患。
很多非周期铺砌在整体上确实不重复,但如果你只截取其中一条狭长的带子,你会发现它像一条无尽的履带一样,在某个维度上偷偷地重复着。
江临立刻反问:“您的意思是,整体是非周期,但在某个隐蔽的方向上藏着半周期的平移不变带?”
邵明棠的眉头猛地跳动了一下。
她显然没想到,江临不仅能瞬间听懂她隐晦的表述,甚至接话接得这么快,一句话就把她心中最深的担忧总结到了拓扑学的点子上。
“对,整张图找不到二维平移对称,不代表它在一维方向上干净。”邵明棠沉声道,“万一有这么一条周期带潜伏在里面,你后面的全面反证法就会被切出一个致命的缺口,将来的结晶学应用也得打个巨大的问号。”
江临陷入沉思。
这一次,他沉默了足足十几秒。
整个c216鸦雀无声,都在等他。
然后,江临抬起头,直视着屏幕:“这一块,我现在只有脑海中的直觉思路,还没有写成严密的数学文字。”
顾南舟心中一紧,猛地看向他。
江临没有慌乱,继续说道:“我们用反证法,假设真有这么一条宽度为w的无限周期带。那么,这条带子两侧的边界轮廓,也必须跟着发生周期性重复,否则它就无法与外界咬合。”
“可是,请各位回想刚才的替代规则。”
江临指着那张替代图。
“我们这四类大块,每往上合成一阶,边界上记录的那串几何凹凸标记,就会被按比例拉长。同时,由于高阶大块的组合规则,中间还会硬性插进新的标记。”
江临停顿了一下,用了一个精妙的跨学科比喻。
“各位可以把这条边界上的凹凸标记,想象成一串由特定生成语法生成的密码序列。”
“每往上走一层,就照着同一套非线性的替代规则,把这串密码展开、加长、插入新符号,这在符号动力学中极其常见。”
“一串这样依靠递归和非整数膨胀系数生成出来的密码序列,要想在整体上保持周期性重复,等于要求它在某个固定的平移间隔t上完全对齐。”
江临的语气逐渐变得锋利。
“但是,这部分不能靠一句直觉。我需要把边界标记序列单独抽出来,用替代矩阵和符号动力系统去证明它没有最终周期。”
“所以,这串密码序列不可能具备周期性。进而反推,那条所谓的半周期带,在这个体系下根本没有生存的空间。”
邵明棠震惊地看着屏幕里的江临。
这个孩子,竟是极其自然地借用了符号动力学和一维替换序列的思维来解决二维拓扑问题。
不过她还是迅速就反应了过来,直言不讳道:“但这只是非常漂亮的口头论证。”
“是,这是物理直觉和代数猜想。”江临毫无避讳地承认,“我需要单独开辟一节,把那串边界密码的非周期性,严格利用矩阵的特征值和替代规则,一行一行地推演一遍。”
林照野在左边屏幕重重地拍了一下手:“很好!”
陈彦在旁边被吓了一跳。
这也叫很好?
江临明明说没写完啊,怎么就很好?
林照野透过屏幕瞪了陈彦一眼,像是猜透了他的心思。
“他说还没写完,比他刚才为了强撑面子张口就说显然不存在要好一万倍。数学最怕的就是傲慢的显然,知道哪里有漏洞,知道用什么工具去补,这就是最顶级的科研素养。”
陈彦立刻冷汗涔涔地闭上了嘴。
顾南舟在备忘录上重重地补上一行: 【待办重中之重】:半周期带(蠕虫)问题排除。思路成立(基于符号动力学与替代矩阵特征值),急需补全代数推演文字。
现在,来到了验证的最后一关。
也就是整个非周期单砖理论的最终王冠——周期性反证。
林照野深吸了一口气,语气变得前所未有的肃穆:“江临,你刚才在讲覆盖的时候说,越往上的超大块体量越大,层级趋于无穷。所以任何一个固定的平移向量t,不可能保住所有层级的结构。直觉上,对,因为有限装不下无限。但是,在严格的证明里,你不能跳这么快。”
“为什么?”江临虚心请教,这是他在纯数论证中相对薄弱的环节。
“因为你还欠缺逻辑链上极其关键的一环。”林照野像一把解剖刀,精准地切中要害,“你得先证明一个引理:假设存在一个平移向量t能让整张铺满的图与自身完全重合,那么,这个平移t,必须同时无条件地保住每一层大块的宏观骨架。”
林照野的话语掷地有声。
“否则,审稿人会冷笑着反问你:它凭什么不能只保住底层那些微观小砖的平移对称,而在宏观上却把大块的边界打得稀巴烂?谁规定微观周期必须导致宏观周期?”
江临瞬间听懂了这个逻辑断层。
他点了点头,眼中闪过一丝明悟:“所以前面邵教授逼着我承认并确立的那条合成骨架唯一性,其实是这里的必要前提?”
“对,完全正确。”林照野眼中露出炙热的光芒。
江临脑海中的碎片迅速拼合,他用最朴素但逻辑绝对咬合的话语梳理道: “如果整张无限大的铺法,在经过向量t平移之后,跟原来一模一样。”
“那么,由于合成骨架唯一性,从这张铺满的图里,按照局部强迫规则往回读取,逆向生成的层级骨架图,在经过平移之后,也必须是一模一样的同构图。”
“因为,这套骨架结构,不是我作为观察者主观额外画上去的辅助线。”
“它是这块砖自身的几何属性所逼迫出来的,是从底层的图景里唯一合法读取出来的内秉结构。”
“前面既然证了合成唯一,就从数学上保证了这件事。平移既然不动整张底图,就必然也无法撼动它的骨架树。”
“一旦骨架树必须跟着平移对称,而骨架的尺度又是随层级n膨胀到无穷大的。一个有限的平移向量t,去试图平移一个尺度大于它的骨架,必然产生错位矛盾。证毕!”
邵明棠在视频那头,忍不住轻轻鼓起了掌:“这句话的逻辑,闭环了。”
林照野摘下厚厚的眼镜,擦了擦眼角激动的泪花:“通是通了,但还得落成无懈可击的文字证明。”
“我会写成形式化的语言。”江临郑重承诺。
顾南舟在备忘录上记下最后一行: 【终极定理依赖】:周期反证法成立的根基在于 -> 层级骨架可被唯一读出(合成唯一性)。逻辑链条闭环。
整个c216讨论室,已经完全进入了白热化的审查状态。
没有人在意时间,没有人在意疲惫。
没有人再问江临是不是高三。
也没有人再纠结,一个高三学生为什么能画出全世界顶尖大脑找了六十年的东西。
因为这些世俗的社会学的问题,现在都必须在这个伟大的数学构造面前让路。
现在唯一真正的问题只有,这块临时被称为江的十三边形单砖,能不能活过这严酷的第一轮绞杀。
半个小时的死寂沉默与各自验算后。
林照野重新戴上眼镜,用力揉了揉被屏幕蓝光刺痛的眼睛,沉声宣判:“这张局部情形穷举表,我还要一行一行地亲自复核。光靠人工看,我不能给百分之百的打包票。这种证明,按现在的惯例,得把有限的组合情形交给计算机逐一核验,人来定规则,机器来跑遍,才敢在论文里写无漏项。但是……”
他话锋一转,语气中带着压抑不住的震颤。
“就现在的逻辑审查来看,我绞尽脑汁,也没能找到一个能当场否掉它的反例。至少在逻辑直觉上,它立得住。”
邵明棠接着林照野的话说:“合成唯一性,和那条半周期履带的排除,都还需要补充大量的数学分析引理,但这条证明的路线已经不再是空中楼阁。”
顾南舟双手撑在桌面上,盯着视频里的两位泰斗:“所以,最终结论?”
林照野沉默了几秒,像是在下达一项历史性的判决:“先按一个具备极高潜力的候选构造来处理。”
邵明棠补了一句,分量极重:“至少,在非周期铺砌领域,它已经是近三十年来,唯一一个值得启动大规模正式复核的纯单砖候选者。”
顾南舟紧绷的肩膀,终于松懈了下来。
“那么接下来,所有流程要彻底钉死。”陆知行突然插话,他的声音冷静得可怕。
所有人齐刷刷地看向这位物理学院的教授。
陆知行虽然不懂全套证明,但他太懂学术界的残酷了。
他看着顾南舟,一条一条地陈述着: “第一,原稿即刻物理封存,任何人不得再在上面添一笔。”
顾南舟郑重点头。
“第二,所有扫描件高清照片,必须本地只读备份,校内邮箱留痕,加密压缩包,多方邮件时间戳。”
陈彦立刻犹如接到军令般,疯狂敲击电脑键盘,开始打包整理加密文件夹。
“第三,今天在这个房间,在这个视频会议里的所有人,作为第一轮见证人。无论最终成败,今日的谈话必须形成备忘录。”
“第四,也是最重要的一点。贡献边界要写得清清楚楚,明明白白。这个极其反直觉的构造是谁提出的,核心的反证法路线是谁给的?后续如果需要计算机团队核验局部情形表是谁负责,谁负责将粗糙的想法转化为形式化的数学引理?绝对不能有半点含糊,不能出现任何人试图窃取或稀释核心贡献的可能。”
顾南舟深深地看了陆知行一眼。
不愧是青年pI,对学术成果的归属权,流程的合法记录,潜在的风险控制,有着近乎本能的敏感。
“我完全同意,这是保护江临,也是保护我们自己。”
林照野在屏幕里大声说:“这个必须做,绝不能含糊。”
邵明棠的目光柔和了一些,看着江临:“尤其江临的身份太特殊了,高三学生。如果这东西真的成了,国际上一定会有人怀疑是某位大佬借他的名字发表的。所以,原始记录的每一分每一秒,都要写得像法庭证物一样清楚。”
身份特殊这四个字,让正在打包文件的陈彦,又忍不住用看了江临一眼。
高三。
还有特么的一个多月高考。
却在这里,在黑板上,画出了一块可能足以登上顶刊,惊动整个离散几何界的非周期单砖。
这三个极其魔幻的事实强行拼合在一起,还是让他觉得自己的脑干有点隐隐作痛。
顾南舟把那几张薄薄的原稿纸,重新放进那个黑色的硬壳文件夹里。
“从现在开始,这块砖的形状,在法理上固定了。”
他转过头,看着江临,语气严肃得像是在举行某种仪式。
“江临,听我说。今晚回去,不要再改哪怕一条边的长度,不要再调哪怕一度的夹角。”
江临平静地点头:“明白。”
“做数学证明,最怕一边证,一边改对象。”顾南舟语重心长地告诫,“今天这块砖,就是今天这块砖。无论它最后是被证实还是被证伪,它都定型了。哪怕明天早上你洗脸的时候,脑子里灵光一闪,想到了一块更漂亮的十一边形的砖,那也是另一块。得另开新档案,另算。”
江临点头。
他明白,这是在固定证明对象。
陆知行挺直腰板,像一个公证员一样宣告:“我,江大物理学院陆知行,作为现场见证人,在此确认,目前这份代号为江的候选构造,以及今晚这一轮所有的逻辑推演说明,完全是由江临本人,在这里,当着我们的面,独立当场提出并完成的。”
顾南舟看向陈彦。
陈彦猛地站直:“我,数学系博士生陈彦,也全程在场作证。”
林照野在视频里推了推眼镜:“我这边会立刻用南大官方邮箱发一封加密邮件给你,确认我在这个时间点,收到了第一版包含原始思路的扫描材料。”
邵明棠点头:“中科院这边同样处理,时间戳为证。”
顾南舟坐回电脑前,双手放在键盘上,新建了一个文件夹。
他在命名时犹豫了一下,最终选择了极度的克制。
候选_江_2022_05_01
他敲击回车,停了一下,看向江临解释:“内部通讯,先这么叫它。”
江临没有任何意见,一个代号而已。
顾南舟熟练地将高分辨率扫描件,陈彦按顾南舟要求拍摄的现场记录照片,局部情形的穷举表,视频会议的截屏画面,以及一份长长的参与人名单与分工说明,一股脑地拖进文件夹。
然后,他打开江大的校园邮箱系统,开始撰写内部备忘录邮件。
收件人列表里,依次填入:顾南舟,陆知行,林照野,邵明棠,陈彦。
最后,他向江临要了邮箱地址,加上了江临。
邮件标题:【保密/留痕】候选单砖“江”——第一轮内部验证记录与共识
正文,顾南舟写得字斟句酌,极其简短干练。
今日(2022年5月1日)晚间,于江大数学学院c216讨论室,针对江临提出的“候选单砖江”(暂定名),进行了第一轮小范围内部验证会议。
初步结论:经南大林照野教授,中科院邵明棠教授及本人初步审查,未发现可立即在拓扑或代数上击穿该构造的明显障碍。该构造及其附带的强制替代规则,具备极高的进一步形式化证明与计算机辅助复核的学术价值。
待补核心工作——
合成骨架的唯一性(依赖等价类划分),需写成正式的数学引理;
半周期带(康威蠕虫)的排除论证(基于符号动力学与特征值),需补全代数推演;
局部情形表,必须尽快引入计算机辅助穷举核验程序,确保无漏项。
当前状态界定: 严肃候选构造。
鉴于潜在的巨大影响,当前阶段严格保密,暂不向外界及其他非核心人员公开。
顾南舟写到最后一行,指尖在键盘上悬停了一下。
他回想起陆知行的警告,重重地敲击键盘,补上了最核心的免责与归属声明。
【特此声明】: 附件中包含的原始多边形构造、单砖边界形状、四类超图块的递推分解体系,以及利用局部强迫与合成唯一性进行周期反证的核心证明路线图,均由江临本人独立构思,并于今日现场完整提出,其余参与人员仅提供审查与形式化建议。
陆知行一直站在顾南舟身后盯着屏幕。
当他看到这加粗的最后一句时,终于放心地点了点头。
顾南舟深吸一口气,鼠标移动,点击发送。
嗖——
进度条闪过。
几秒钟后。
陆知行放在桌上的手机震动了一下。
陈彦电脑屏幕的右下角,滴的一声弹出了邮件到达的绿色提示框。
视频里的林照野低下头看了看另一块屏幕,抬头说:“南大确认收到。”
邵明棠紧接着说:“中科院确认收到,附件完好。”
江临校服口袋里的那台旧手机,屏幕也幽幽地亮了一下。
一封包含着几个多达几十兆高清附件的邮件,一个精确到秒的网络时间戳。
一块在无数数学家的梦境中飘荡了六十年,本不该存在的怪异十三边形砖,从鼠标点击发送的这一刻起,终于在这个物质的现实世界里,打下了它的第一层可追溯的优先权锚点。
它变成了物理学和数学共同见证的存在,不再只是江临脑海中的一个孤灵。
顾南舟合上电脑屏幕,转头看向江临。
他眼中的炙热尚未完全褪去,但语气已经带上了对待同级别学者的平视和商量。
“江临,明天,你如果有时间,再来一趟江大。我们需要趁热打铁,把你脑子里的那些关于符号动力学反证的思路,一点点抠出来,落成白纸黑字的Latex论文格式。”
江临掏出手机,按亮屏幕看了一眼时间,说:“我尽量。”
这三个字一出,一旁的陈彦差点没当场绷住。
尽量?
卧槽!
这可是一个极大概率牵动全球离散几何,晶体学,凝聚态物理整个铺砌领域的大地震级别的候选单砖啊。
无数大佬如果是发现者,恨不得今晚就不睡了,直接睡在实验室里直到论文发表。
而现在,明天能不能接着审查这个可能改变历史的构造,还要看一个高三学生有没有空?
荒诞。
简直荒诞到让人极度想发笑。
可是放眼整个c216,看着白板上那满墙的几何推演,没有任何一个人发笑。
陆知行看了看手表,已经快十点了。
他走到江临身边,语气温和地说:“太晚了,我开车送你回去。”
江临把东西收进书包里,背上,摇了摇头说: “不用了陆老师,我骑车来的。”
陈彦看着他这一连串动作,收笔、合本、背包,熟练得就像刚上完一节晚自习的普通学生。
这个画面,和几分钟前那块砖之间的落差,让他憋了一路的那句话终于没忍住。
“你……”他张了张嘴,发现自己居然不知道该问什么才对,最后憋出来的是,“你不会是明天还得去江城七中上课吧?”
“这倒没有,最近我请了一段长假。”
c216再次陷入了那种熟悉的落针可闻。
视频那头,林照野再次摘下那厚厚的眼镜,用手捂住脸,肩膀止不住地耸动,终于低低地笑出了一声。
那笑声里,夹杂着对岁月的感慨,对天才的艳羡,以及对数学这个奇妙领域的无限敬畏。
邵明棠看着屏幕里背着书包的清瘦少年,眼神变得复杂而温柔,她轻声说:“路上注意安全,江临。”
“谢谢邵教授,谢谢各位教授,各位老师,谢谢。”
“路上小心,明天见。”
“好,明天见。”
江临转身,推门离开了c216。
走廊里的灯光很普通,是那种常见的冷白色声控灯,随着他的脚步声一盏盏亮起。
从数学学院大楼的玻璃窗看出去,外面的天色已经完全黑透了,城市的霓虹灯在江面上倒映出斑斓的光晕。
江临走下台阶,来到车棚,推出自己的自行车,跨上车座,双脚踩动踏板,沿着法国梧桐形成的林荫大道,骑出了校门。
初夏的晚风迎面吹来,带着一丝水汽,吹拂过他校服的衣摆,猎猎作响。