他用笔敲了敲那条粗线。
“但是,不管这几块破石头归谁,这条划分两个村子的大路依然切切实实地横在那里。这条宏观的边界线在哪儿,不会因为这几块微观石头的归属爭议而发生任何位移。”
这个比喻虽然土,但在代数几何的语境下,极其精准。
邵明棠立刻听懂了,眼中多了些许讚赏。
她把江临的通俗语言重新收束回严谨的学术表达:“所以你要证的,是合成的拓扑骨架这个动作本身是唯一確定的,不管你从哪一块局部边界砖下手往回收,哪怕微观有歧义,收出来的宏观层级图都是同构的。至於个別边缘砖归左归右,这在极限的无穷大尺度下,测度为零,无所谓。”
江临点头:“对。”
邵明棠追问確认:“而不是要求每一块单砖的归属映射都是单射?”
“对,要求单射是强人所难,也是不必要的过度证明。”江临斩钉截铁地答道。
邵明棠靠回椅背,长长地出了一口气:“这个说法比你刚才那句乾巴巴的反证更要紧,也更具洞察力。”
林照野在另一边重重地点了点头: “合成骨架唯一性是地基中的地基,地基不稳,你后面那一套反证全塌。但只要骨架唯一,周期性反证就有了立足之地。这一步必须单独拿出来,单列一个章节写清楚。”
顾南舟立刻拿起笔,在备忘录上飞快地记下。
【核心关键】:证明合成骨架唯一,而非底层单砖归属唯一。需引入等价类的概念进行严密表述。
站在旁边的陆知行,虽然隔行如隔山,听得一知半解,但他听懂了这句话背后的科学哲学意味。
江临没有硬拗。
面对大佬的质疑,没有试图用华丽的辞藻去掩饰模型中的微小瑕疵。
他大方地承认有局部的二义性,然后將討论的维度拉高,把要证的核心目標,换成了一个更宏大,更准確,也更站得住脚的骨架同构。
这才像是在真正地做顶尖研究。
做研究,不是把问题包装得完美无瑕,一点瑕疵都没有。
而是敢於把瑕疵血淋淋地摊到桌面上,然后用无懈可击的逻辑证明:它不致命。
解决了合成唯一性的危机,审查进入深水区。
邵明棠推了推黑框眼镜,继续拋出问题:“这块单砖,铺砌时允许翻面吗?”
在非周期铺砌中,如果必须依赖图块的镜像翻转才能完成铺满,这被称为弱非周期。
如果仅靠平移和旋转就能铺满,像传说中的吸血鬼砖那样,那就是纯正的强非周期。
江临如实回答:“目前构造出的版本允许翻面,需要用到自身的镜像。”
“那就把它用粗体黑字写在第一页第一行。”邵明棠严肃地嘱咐,“允许翻面,和不许翻面,在群论中是两个完全不同的对称群命题。不许翻面那个更强,也更难。千万別让人误会你狂妄到顺手把更强的命题也给解决了,那会引来全方位的学术围剿。”
“明白。”江临点头受教。
“还有,允许翻面之后,”邵明棠的语速突然慢了下来,仿佛在黑暗中摸索著某种隱蔽的陷阱,“整张图在整体上没有周期性,我先信你。但是有没有一种病態的可能:在无限的平面上,沿著某一个特定的方向向量 v,存在一条宽度有限但长度无限的带子,而这条带子內部的图案,是周期重复的?”
这句话一出,会议室里的空气仿佛降到了冰点。
这让顾南舟立刻想到了非周期铺砌里常见的长条带隱患。
很多非周期铺砌在整体上確实不重复,但如果你只截取其中一条狭长的带子,你会发现它像一条无尽的履带一样,在某个维度上偷偷地重复著。
江临立刻反问:“您的意思是,整体是非周期,但在某个隱蔽的方向上藏著半周期的平移不变带?”
邵明棠的眉头猛地跳动了一下。
她显然没想到,江临不仅能瞬间听懂她隱晦的表述,甚至接话接得这么快,一句话就把她心中最深的担忧总结到了拓扑学的点子上。
“对,整张图找不到二维平移对称,不代表它在一维方向上乾净。”邵明棠沉声道,“万一有这么一条周期带潜伏在里面,你后面的全面反证法就会被切出一个致命的缺口,將来的结晶学应用也得打个巨大的问號。”
江临陷入沉思。
这一次,他沉默了足足十几秒。
整个c216鸦雀无声,都在等他。
然后,江临抬起头,直视著屏幕:“这一块,我现在只有脑海中的直觉思路,还没有写成严密的数学文字。”
顾南舟心中一紧,猛地看向他。
江临没有慌乱,继续说道:“我们用反证法,假设真有这么一条宽度为w的无限周期带。那么,这条带子两侧的边界轮廓,也必须跟著发生周期性重复,否则它就无法与外界咬合。”
“可是,请各位回想刚才的替代规则。”
江临指著那张替代图。
“我们这四类大块,每往上合成一阶,边界上记录的那串几何凹凸標记,就会被按比例拉长。同时,由於高阶大块的组合规则,中间还会硬性插进新的標记。”
江临停顿了一下,用了一个精妙的跨学科比喻。
“各位可以把这条边界上的凹凸標记,想像成一串由特定生成语法生成的密码序列。”
“每往上走一层,就照著同一套非线性的替代规则,把这串密码展开、加长、插入新符號,这在符號动力学中极其常见。”
“一串这样依靠递归和非整数膨胀係数生成出来的密码序列,要想在整体上保持周期性重复,等於要求它在某个固定的平移间隔t上完全对齐。”
江临的语气逐渐变得锋利。
“但是,这部分不能靠一句直觉。我需要把边界標记序列单独抽出来,用替代矩阵和符號动力系统去证明它没有最终周期。”
“所以,这串密码序列不可能具备周期性。进而反推,那条所谓的半周期带,在这个体系下根本没有生存的空间。”
邵明棠震惊地看著屏幕里的江临。
这个孩子,竟是极其自然地借用了符號动力学和一维替换序列的思维来解决二维拓扑问题。
不过她还是迅速就反应了过来,直言不讳道:“但这只是非常漂亮的口头论证。”
“是,这是物理直觉和代数猜想。”江临毫无避讳地承认,“我需要单独开闢一节,把那串边界密码的非周期性,严格利用矩阵的特徵值和替代规则,一行一行地推演一遍。”
林照野在左边屏幕重重地拍了一下手:“很好!”
陈彦在旁边被嚇了一跳。
这也叫很好?
江临明明说没写完啊,怎么就很好?
林照野透过屏幕瞪了陈彦一眼,像是猜透了他的心思。
“他说还没写完,比他刚才为了强撑面子张口就说显然不存在要好一万倍。数学最怕的就是傲慢的显然,知道哪里有漏洞,知道用什么工具去补,这就是最顶级的科研素养。”
陈彦立刻冷汗涔涔地闭上了嘴。
顾南舟在备忘录上重重地补上一行: 【待办重中之重】:半周期带(蠕虫)问题排除。思路成立(基於符號动力学与替代矩阵特徵值),急需补全代数推演文字。
现在,来到了验证的最后一关。
也就是整个非周期单砖理论的最终王冠——周期性反证。
林照野深吸了一口气,语气变得前所未有的肃穆:“江临,你刚才在讲覆盖的时候说,越往上的超大块体量越大,层级趋於无穷。所以任何一个固定的平移向量t,不可能保住所有层级的结构。直觉上,对,因为有限装不下无限。但是,在严格的证明里,你不能跳这么快。”
“为什么?”江临虚心请教,这是他在纯数论证中相对薄弱的环节。
“因为你还欠缺逻辑链上极其关键的一环。”林照野像一把解剖刀,精准地切中要害,“你得先证明一个引理:假设存在一个平移向量t能让整张铺满的图与自身完全重合,那么,这个平移t,必须同时无条件地保住每一层大块的宏观骨架。”
林照野的话语掷地有声。
“否则,审稿人会冷笑著反问你:它凭什么不能只保住底层那些微观小砖的平移对称,而在宏观上却把大块的边界打得稀巴烂?谁规定微观周期必须导致宏观周期?”
江临瞬间听懂了这个逻辑断层。
他点了点头,眼中闪过一丝明悟:“所以前面邵教授逼著我承认並確立的那条合成骨架唯一性,其实是这里的必要前提?”
“对,完全正確。”林照野眼中露出炙热的光芒。
江临脑海中的碎片迅速拼合,他用最朴素但逻辑绝对咬合的话语梳理道: “如果整张无限大的铺法,在经过向量t平移之后,跟原来一模一样。”
“那么,由於合成骨架唯一性,从这张铺满的图里,按照局部强迫规则往回读取,逆向生成的层级骨架图,在经过平移之后,也必须是一模一样的同构图。”
“因为,这套骨架结构,不是我作为观察者主观额外画上去的辅助线。”
“它是这块砖自身的几何属性所逼迫出来的,是从底层的图景里唯一合法读取出来的內秉结构。”
“前面既然证了合成唯一,就从数学上保证了这件事。平移既然不动整张底图,就必然也无法撼动它的骨架树。”
“一旦骨架树必须跟著平移对称,而骨架的尺度又是隨层级n膨胀到无穷大的。一个有限的平移向量t,去试图平移一个尺度大於它的骨架,必然產生错位矛盾。证毕!”
邵明棠在视频那头,忍不住轻轻鼓起了掌:“这句话的逻辑,闭环了。”
林照野摘下厚厚的眼镜,擦了擦眼角激动的泪花:“通是通了,但还得落成无懈可击的文字证明。”
“我会写成形式化的语言。”江临郑重承诺。
顾南舟在备忘录上记下最后一行: 【终极定理依赖】:周期反证法成立的根基在於 -> 层级骨架可被唯一读出(合成唯一性)。逻辑链条闭环。
整个c216討论室,已经完全进入了白热化的审查状態。
没有人在意时间,没有人在意疲惫。
没有人再问江临是不是高三。
也没有人再纠结,一个高三学生为什么能画出全世界顶尖大脑找了六十年的东西。
因为这些世俗的社会学的问题,现在都必须在这个伟大的数学构造面前让路。
现在唯一真正的问题只有,这块临时被称为江的十三边形单砖,能不能活过这严酷的第一轮绞杀。
半个小时的死寂沉默与各自验算后。
林照野重新戴上眼镜,用力揉了揉被屏幕蓝光刺痛的眼睛,沉声宣判:“这张局部情形穷举表,我还要一行一行地亲自覆核。光靠人工看,我不能给百分之百的打包票。这种证明,按现在的惯例,得把有限的组合情形交给计算机逐一核验,人来定规则,机器来跑遍,才敢在论文里写无漏项。但是……”
他话锋一转,语气中带著压抑不住的震颤。
“就现在的逻辑审查来看,我绞尽脑汁,也没能找到一个能当场否掉它的反例。至少在逻辑直觉上,它立得住。”
邵明棠接著林照野的话说:“合成唯一性,和那条半周期履带的排除,都还需要补充大量的数学分析引理,但这条证明的路线已经不再是空中楼阁。”
顾南舟双手撑在桌面上,盯著视频里的两位泰斗:“所以,最终结论?”
林照野沉默了几秒,像是在下达一项歷史性的判决:“先按一个具备极高潜力的候选构造来处理。”
邵明棠补了一句,分量极重:“至少,在非周期铺砌领域,它已经是近三十年来,唯一一个值得启动大规模正式覆核的纯单砖候选者。”
顾南舟紧绷的肩膀,终於鬆懈了下来。
“那么接下来,所有流程要彻底钉死。”陆知行突然插话,他的声音冷静得可怕。
所有人齐刷刷地看向这位物理学院的教授。
陆知行虽然不懂全套证明,但他太懂学术界的残酷了。
他看著顾南舟,一条一条地陈述著: “第一,原稿即刻物理封存,任何人不得再在上面添一笔。”
顾南舟郑重点头。
“第二,所有扫描件高清照片,必须本地只读备份,校內邮箱留痕,加密压缩包,多方邮件时间戳。”
陈彦立刻犹如接到军令般,疯狂敲击电脑键盘,开始打包整理加密文件夹。
“第三,今天在这个房间,在这个视频会议里的所有人,作为第一轮见证人。无论最终成败,今日的谈话必须形成备忘录。”
“第四,也是最重要的一点。贡献边界要写得清清楚楚,明明白白。这个极其反直觉的构造是谁提出的,核心的反证法路线是谁给的?后续如果需要计算机团队核验局部情形表是谁负责,谁负责將粗糙的想法转化为形式化的数学引理?绝对不能有半点含糊,不能出现任何人试图窃取或稀释核心贡献的可能。”
顾南舟深深地看了陆知行一眼。
不愧是青年pi,对学术成果的归属权,流程的合法记录,潜在的风险控制,有著近乎本能的敏感。
“我完全同意,这是保护江临,也是保护我们自己。”
林照野在屏幕里大声说:“这个必须做,绝不能含糊。”
邵明棠的目光柔和了一些,看著江临:“尤其江临的身份太特殊了,高三学生。如果这东西真的成了,国际上一定会有人怀疑是某位大佬借他的名字发表的。所以,原始记录的每一分每一秒,都要写得像法庭证物一样清楚。”
身份特殊这四个字,让正在打包文件的陈彦,又忍不住用看了江临一眼。
高三。
还有特么的一个多月高考。
却在这里,在黑板上,画出了一块可能足以登上顶刊,惊动整个离散几何界的非周期单砖。
这三个极其魔幻的事实强行拼合在一起,还是让他觉得自己的脑干有点隱隱作痛。
顾南舟把那几张薄薄的原稿纸,重新放进那个黑色的硬壳文件夹里。
“从现在开始,这块砖的形状,在法理上固定了。”
他转过头,看著江临,语气严肃得像是在举行某种仪式。
“江临,听我说。今晚回去,不要再改哪怕一条边的长度,不要再调哪怕一度的夹角。”
江临平静地点头:“明白。”
“做数学证明,最怕一边证,一边改对象。”顾南舟语重心长地告诫,“今天这块砖,就是今天这块砖。无论它最后是被证实还是被证偽,它都定型了。哪怕明天早上你洗脸的时候,脑子里灵光一闪,想到了一块更漂亮的十一边形的砖,那也是另一块。得另开新档案,另算。”
江临点头。
他明白,这是在固定证明对象。
陆知行挺直腰板,像一个公证员一样宣告:“我,江大物理学院陆知行,作为现场见证人,在此確认,目前这份代號为江的候选构造,以及今晚这一轮所有的逻辑推演说明,完全是由江临本人,在这里,当著我们的面,独立当场提出並完成的。”
顾南舟看向陈彦。
陈彦猛地站直:“我,数学系博士生陈彦,也全程在场作证。”
林照野在视频里推了推眼镜:“我这边会立刻用南大官方邮箱发一封加密邮件给你,確认我在这个时间点,收到了第一版包含原始思路的扫描材料。”
邵明棠点头:“中科院这边同样处理,时间戳为证。”
顾南舟坐回电脑前,双手放在键盘上,新建了一个文件夹。
他在命名时犹豫了一下,最终选择了极度的克制。
候选_江_2022_05_01
他敲击回车,停了一下,看向江临解释:“內部通讯,先这么叫它。”
江临没有任何意见,一个代號而已。
顾南舟熟练地將高解析度扫描件,陈彦按顾南舟要求拍摄的现场记录照片,局部情形的穷举表,视频会议的截屏画面,以及一份长长的参与人名单与分工说明,一股脑地拖进文件夹。
然后,他打开江大的校园邮箱系统,开始撰写內部备忘录邮件。
收件人列表里,依次填入:顾南舟,陆知行,林照野,邵明棠,陈彦。
最后,他向江临要了邮箱地址,加上了江临。
邮件標题:【保密/留痕】候选单砖“江”——第一轮內部验证记录与共识
正文,顾南舟写得字斟句酌,极其简短干练。
今日(2022年5月1日)晚间,於江大数学学院c216討论室,针对江临提出的“候选单砖江”(暂定名),进行了第一轮小范围內部验证会议。
初步结论:经南大林照野教授,中科院邵明棠教授及本人初步审查,未发现可立即在拓扑或代数上击穿该构造的明显障碍。该构造及其附带的强制替代规则,具备极高的进一步形式化证明与计算机辅助覆核的学术价值。
待补核心工作——
合成骨架的唯一性(依赖等价类划分),需写成正式的数学引理;
半周期带(康威蠕虫)的排除论证(基於符號动力学与特徵值),需补全代数推演;
局部情形表,必须儘快引入计算机辅助穷举核验程序,確保无漏项。
当前状態界定: 严肃候选构造。
鑑於潜在的巨大影响,当前阶段严格保密,暂不向外界及其他非核心人员公开。
顾南舟写到最后一行,指尖在键盘上悬停了一下。
他回想起陆知行的警告,重重地敲击键盘,补上了最核心的免责与归属声明。
【特此声明】: 附件中包含的原始多边形构造、单砖边界形状、四类超图块的递推分解体系,以及利用局部强迫与合成唯一性进行周期反证的核心证明路线图,均由江临本人独立构思,並於今日现场完整提出,其余参与人员仅提供审查与形式化建议。
陆知行一直站在顾南舟身后盯著屏幕。
当他看到这加粗的最后一句时,终於放心地点了点头。
顾南舟深吸一口气,滑鼠移动,点击发送。
嗖——
进度条闪过。
几秒钟后。
陆知行放在桌上的手机震动了一下。
陈彦电脑屏幕的右下角,滴的一声弹出了邮件到达的绿色提示框。
视频里的林照野低下头看了看另一块屏幕,抬头说:“南大確认收到。”
邵明棠紧接著说:“中科院確认收到,附件完好。”
江临校服口袋里的那台旧手机,屏幕也幽幽地亮了一下。
一封包含著几个多达几十兆高清附件的邮件,一个精確到秒的网络时间戳。
一块在无数数学家的梦境中飘荡了六十年,本不该存在的怪异十三边形砖,从滑鼠点击发送的这一刻起,终於在这个物质的现实世界里,打下了它的第一层可追溯的优先权锚点。
它变成了物理学和数学共同见证的存在,不再只是江临脑海中的一个孤灵。
顾南舟合上电脑屏幕,转头看向江临。
他眼中的炙热尚未完全褪去,但语气已经带上了对待同级別学者的平视和商量。
“江临,明天,你如果有时间,再来一趟江大。我们需要趁热打铁,把你脑子里的那些关於符號动力学反证的思路,一点点抠出来,落成白纸黑字的latex论文格式。”
江临掏出手机,按亮屏幕看了一眼时间,说:“我儘量。”
这三个字一出,一旁的陈彦差点没当场绷住。
儘量?
臥槽!
这可是一个极大概率牵动全球离散几何,晶体学,凝聚態物理整个铺砌领域的大地震级別的候选单砖啊。
无数大佬如果是发现者,恨不得今晚就不睡了,直接睡在实验室里直到论文发表。
而现在,明天能不能接著审查这个可能改变歷史的构造,还要看一个高三学生有没有空?
荒诞。
简直荒诞到让人极度想发笑。
可是放眼整个c216,看著白板上那满墙的几何推演,没有任何一个人发笑。
陆知行看了看手錶,已经快十点了。
他走到江临身边,语气温和地说:“太晚了,我开车送你回去。”
江临把东西收进书包里,背上,摇了摇头说: “不用了陆老师,我骑车来的。”
陈彦看著他这一连串动作,收笔、合本、背包,熟练得就像刚上完一节晚自习的普通学生。
这个画面,和几分钟前那块砖之间的落差,让他憋了一路的那句话终於没忍住。
“你……”他张了张嘴,发现自己居然不知道该问什么才对,最后憋出来的是,“你不会是明天还得去江城七中上课吧?”
“这倒没有,最近我请了一段长假。”
c216再次陷入了那种熟悉的落针可闻。
视频那头,林照野再次摘下那厚厚的眼镜,用手捂住脸,肩膀止不住地耸动,终於低低地笑出了一声。
那笑声里,夹杂著对岁月的感慨,对天才的艷羡,以及对数学这个奇妙领域的无限敬畏。
邵明棠看著屏幕里背著书包的清瘦少年,眼神变得复杂而温柔,她轻声说:“路上注意安全,江临。”
“谢谢邵教授,谢谢各位教授,各位老师,谢谢。”
“路上小心,明天见。”
“好,明天见。”
江临转身,推门离开了c216。
走廊里的灯光很普通,是那种常见的冷白色声控灯,隨著他的脚步声一盏盏亮起。
从数学学院大楼的玻璃窗看出去,外面的天色已经完全黑透了,城市的霓虹灯在江面上倒映出斑斕的光晕。
江临走下台阶,来到车棚,推出自己的自行车,跨上车座,双脚踩动踏板,沿著法国梧桐形成的林荫大道,骑出了校门。
初夏的晚风迎面吹来,带著一丝水汽,吹拂过他校服的衣摆,猎猎作响。