就告诉我它能延伸到无限大,我需要构造法。”
江临走上前,指着图上被他标记为四类的大块结构。
“这四类大块,我暂时叫它们一型(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里好几个人都不由自主地松了一大口气。
陈彦甚至感觉自己腿都软了一下。
能写进附录,不代表最终过关。
但至少说明,在顶尖专家的眼里,江临不是在异想天开地胡说八道。他的证明框架是正统的,符合现代数学分析标准的。
然而,邵明棠却没有轻易放过。
作为准晶领域的顶级学者,她见识过太多在微观上完美无缺,却在宏观组装上出大问题的模型。
“顶点局部强迫,确实能压制住自由度,暂时算你有明确的思路。” 邵明棠的目光透过屏幕,锐利地钉在江临身上, “但我关心另一件更重要的事。”
“什么?”江
江临走上前,指着图上被他标记为四类的大块结构。
“这四类大块,我暂时叫它们一型(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里好几个人都不由自主地松了一大口气。
陈彦甚至感觉自己腿都软了一下。
能写进附录,不代表最终过关。
但至少说明,在顶尖专家的眼里,江临不是在异想天开地胡说八道。他的证明框架是正统的,符合现代数学分析标准的。
然而,邵明棠却没有轻易放过。
作为准晶领域的顶级学者,她见识过太多在微观上完美无缺,却在宏观组装上出大问题的模型。
“顶点局部强迫,确实能压制住自由度,暂时算你有明确的思路。” 邵明棠的目光透过屏幕,锐利地钉在江临身上, “但我关心另一件更重要的事。”
“什么?”江