下严格的推导条件:

    v preserves level 1 boundaries

    v preserves level 2 boundaries

    ...

    v preserves level n boundaries

    江临画了一个占据半张纸的巨大tatile轮廓。

    “但是,第n层tatile的空间尺度,是随着n的增加而无界增大的。”

    “对于任意一个固定的非零的向量v,我们总能在无穷的层级中,找到一个足够大的n,使得向量v的长度|v|,远远小于第n层tatile的特征尺度。”

    “在这种悬殊的尺度差异下,平移一个微小的距离v,绝对不可能把第 n层那庞大的边界,整体送回到另一个第n层边界的位置上,它一定会发生不可调和的错位。”

    “因此,唯一能够满足保持所有无限层级边界重合的平移向量,只有一个。”

    江临在推导的末尾,写下最终的结论。

    v=0

    “所以,不存在任何非零的周期平移。”

    “这块砖,只能非周期地铺满平面。”

    证明结束。

    江临放下铅笔。

    长桌周遭落针可闻。

    阳光从窗外打进来,照在纸面上那几个粗糙的手绘图形和公式上。

    能铺满。

    局部边界产生强迫层级。

    无限层级的尺度差异反证周期性。

    三步逻辑,环环相扣,没有留下显眼的断口。

    在这张简陋的课桌上,完成了一个闭环。

    所有人心里都清楚,这并不是一篇可以直接发表的完整论文。

    它缺乏大量的形式化语言修饰。

    它还需要将那些手绘的图表转化为严谨的计算机辅助向量图。

    它需要补全表格中剩余那些显然不成立的局部邻域的冗长排除过程。

    它还需要明确这块砖在铺设时是否允许翻面(手性问题)。

    但它至少已经有了一副能经受第一轮审查的骨架。

    那个研二的学生咽了一口唾沫,声音有些发抖:“顾老师,这到底算什么?”

    顾南舟没有立刻回答他。

    他深吸了一口气,从口袋里摸出手机,打开相机。

    双手有些不自然地紧绷,对着江临画的那几张纸,以及那张折叠的表格,连续拍了十几张照片。

    拍完整体,他又将镜头对准了第一张纸上那个不起眼的,像帽子一样的十三边形单砖,单独拍了一张特写。

    做完这一切,顾南舟把手机扣在桌面上,目光盯着江临。

    “我需要确认几个边界条件。”顾南舟的声音前所未有地严肃,“这块砖,在实际拼贴的时候,需要人为添加颜色标记吗?”

    “不需要。”

    “需要边缘画箭头来指示方向吗?”

    “不需要。”

    “所有的强迫属性,仅仅依靠它自身的几何多边形边界?”

    “只靠几何边界。”江临回答。

    “铺设过程中,允许将单砖翻面使用吗?”顾南舟问到了最关键的技术细节之一。

    江临点头:“目前的证明版本,允许翻面,它包含左手性和右手性的混用。”

    顾南舟沉思了片刻:“允许翻面,这在单砖问题上已经足够惊人。至于不允许翻面的手性版本,那是另一层更强的要求,不能混在今天这个证明里。”

    说到这里,他停顿了几秒,眼神变得极为复杂。

    要理解顾南舟此刻的失态,得先知道这块砖背后,到底是个什么问题。

    事情要从“铺地砖”这样一件再普通不过的小事说起。

    拿一种形状的砖去铺满一面墙,一块地,这事谁都见过。

    正方形可以,长方形可以,正六边形也可以,蜂巢就是这么来的。

    它们的共同点是,铺出来的花纹,是重复的。

    你站在屋子这头看到的图案,和那头一模一样。

    把整张图往旁边挪一格,严丝合缝地又能盖回自己身上。

    这种挪一段距离就能和自己重合的性质,数学上叫周期性。

    几千年来,人类铺的所有地砖,墙砖,镶嵌画,几乎全是周期的。

    重复,是这件事最自然最省力的样子。

    直到有人提出一个古怪的问题。

    能不能找到一种铺法,它能铺满整个无限大的平面,却永远不重复?

    不是局部花点心思搞出一小块不规则,而是哪怕你把这张图无限延展出去,走到天涯海角,也绝对找不到两块可以完全对齐的区域。

    整张图,处处相似,却又处处不同,永远不会出现那种挪一下就重合的整齐。

    这种铺法,叫非周期铺砌。

    光是存在不存在这个问题,就已经够折磨人了。

    但真正让几代数学家睡不着觉的,不是这个问题本身,而是它一个更刁钻的变种。

    你可能会想,不重复有什么难的?

    我拿一堆形状各异的碎砖,胡乱往地上摆,东一块西一块,横七竖八,这不就铺出一片永不重复的乱图了吗?

    没错,这样确实不重复。

    但这是你不让它重复。

    是靠你这双手时时刻刻盯着,刻意避开,才勉强不重复。

    你手一松,或者换个不上心的人来铺,它随时会塌回那种整齐的,重复的样子。

    这种不重复,是脆弱的,是要人盯着的。

    数学家想要的,是另一种东西。

    他们想找到这样几种砖:它们的形状本身,就不允许重复。

    你拿着这几种砖,哪怕你存心想铺出一个重复的整齐的图案,你也办不到。

    每一次你试图让它对齐,让它重复,砖的边缘就会咬不上,留下填不平的缝。

    你越想让它规整,它越是把你逼回那条不重复的路上。

    不需要你盯着,不需要任何人盯着。

    规则不写在纸上,而是长在砖的边缘上。

    形状,就是命令。

    这,才是非周期铺砌问题真正的核心。

    而它最极端最让人头皮发麻的版本,就是那个所有人都绕不开的追问,

    到底最少要用几种这样形状的砖,才能办到非周期铺砌?

    这个问题,从1960年代王氏砖被提出算起,几代人围着它转。

    最早,要逼出一种永远无法周期重复的拼法,得用上两万多种形状不同的砖。

    后来一代代人往下压,几百种,几十种。

    直到1974年,彭罗斯石破天惊般,仅仅只是用两种砖做到了非周期铺砌。

    两种。

    一种胖菱形,一种瘦菱形。

    靠边缘的咬合规则,它们能铺满整个平面,却永远拼不出重复的花纹。

    这是已经写进每一本教科书的里程碑之作。

    从那以后,所有人都知道下一步该往哪走。

    不就是从两块,到一块吗?

    外行听到这儿,多半会觉得这是顺理成章的小进步。

    都做到两块了,再省掉一块能有多难。

    然而事实恰恰相反。

    这里藏着一个最反直觉的地方。

    砖的种类越少,反而越难,难到隔了半个世纪也没人找出来。

    道理其实不绕。

    两种砖之所以能锁死周期性,是因为它们互相制约。

    胖菱形和瘦菱形必须按规则交替咬合,谁也离不开谁,正是这种你管着我我管着你的张力,把整张图案逼得无法重复。

    可一旦只剩一种砖呢?

    它就只能自己管自己。

    一种形状,最怕的就是首尾相接,自我复制。

    你把它复制一份,平移一段距离,严丝合缝地接上去,周期就出现了。

    正方形会这样,正六边形会这样,地砖蜂巢,全是这样。

    绝大多数你能想到的形状,只要能铺满平面,就一定能周期铺。

    所以一块砖这个要求,本质上是在问一个近乎悖论的问题。

    能不能设计出一种形状,它能铺满整个无限平面,却被自己的几何边界死死卡住,无论怎么拼,谁来拼,都绝对拼不出哪怕一丁点儿的重复?

    它必须既合群到能填满每一寸空间,又孤僻到永远拒绝和自己的复制品对齐。

    这就像要打造一把钥匙,它能打开世界上每一扇门,却在物理上注定无法被任何一扇门复制。

    它得同时是万能的,又是独一无二的。

    要把这两种互相矛盾的属性,同时塞进一块砖的几道凹凸边界里,难就难在这儿。

    少了第二块砖来帮忙制约,所有的约束力,都得靠这一块砖自己的形状扛下来。

    正因如此,这一步,一隔就是半个世纪。

    顾南舟很清楚这半个世纪是什么概念。

    他读博的时候,导师就提过这个问题,说这是能让人耗尽一生的坑。

    他认识的几个同行,有人围着它转了二十年,发了一堆边角料的论文,最后喝多了才敢承认。

    我赌它存在,但我这辈子大概是看不到了。

    更多的人,连赌它存在都不敢说。

    因为这个问题连方向都是模糊的。

    没人知道那块砖到底存不存在。

    万一你花十年证明了它不存在,那也算有交代。

本章未完,请点击下一页继续阅读>>

章节目录