第99章 星星之火
世界协调时零点，arxiv放出了当天的更新列表。
对全世界的数学工作者来说，这是一个再普通不过的时刻。
伺服器位於康奈尔大学的庞大机器，像一台不知疲倦的学术吞吐泵，將全球各地在过去二十四小时內提交的智慧结晶、心血、亦或是狂想，无差別地倾泻在网际网路上。
每天这个时候，几百篇新预印本会被批量推送上线，按学科分类，整整齐齐地排进各自的列表里。
代数几何、数论、偏微分方程、组合数学……
每一个分类下面，都是一长串当天上传的標题，作者，和那串以年月开头的编號。
绝大多数论文，会在这个列表里待上一天，被全世界各地的几十个人扫一眼摘要，也许有两三个人会点开pdf下载，然后沉下去。
等待它们的是不知道有没有尽头的审稿周期，或者乾脆在学术的汪洋大海中无人问津。
这就是学术世界的日常。
平静，海量，毫不起眼，却又暗流涌动。
在整个数学分类下，当天新增论文超过百篇。
math.co，组合数学分类下，也排著一长串新標题。
英国，沃里克。
当地时间凌晨一点零七分，马库斯·霍尔特原本已经合上电脑，准备睡觉。
他今年四十六岁，是沃里克大学的数学教授。
他的研究方向是离散几何，如果用更精確的学术语言来界定，他做的是平面铺砌与非周期代换系统。
这个方向冷门艰深，极度考验研究者对几何拓扑的直觉。
全世界真正將身家性命压在这个方向上的核心研究者，满打满算不超过一百五十人。
他们大多彼此认识，甚至清楚每个人手头正在攻克的子课题。
但睡前扫一眼 arxiv 更新列表，是霍尔特十几年雷打不动的习惯。
大多数时候，更新列表上只是一些熟悉领域里的小改进，某个问题的推广，某个模型的技术修补。
並不会给他带来惊喜。
霍尔特端著一杯刚泡好的洋甘菊茶，靠在书房那把有些褪色的皮质靠背椅上，用右手拇指在ipad的屏幕上机械地往下划。
图著色问题在稀疏图上的算法边界，跳过。
关於某些特殊超图组合恆等式的代数证明，跳过。
一种新型多面体拉姆齐数估计，扫一眼摘要，存下来回头让博士生看看。
下一篇。
an aperiodic monotile via local forcing.
霍尔特的拇指悬停在屏幕上方，第一反应绝不是兴奋。
相反，涌上心头的是几乎刻进dna里的职业性疲惫，甚至伴隨了轻微的烦躁。
因为非周期单砖这五个字，在他这个圈子里，是一个特殊的存在。
它就像是物理学界的永动机，或者数论界的哥德巴赫猜想，自带一种致命的魔力，吸引著无数飞蛾扑火。
正因为它有名，正因为它在几何直观上显得如此通俗易懂，所以每隔一段时间，霍尔特的邮箱里，arxiv的列表上，就会冒出一个声称解决了它的勇士。
绝大多数是民间数学爱好者。
有人寄来自以为能铺满平面的手绘怪形状，附上一封长达十几页，充满感嘆號和狂热情绪的信件。
有人把彭罗斯铺砌改了改边缘线，换个顏色，就宣布自己顛覆了凝聚態物理和结晶学。
有人的证明通篇充斥著显然，容易看出，不难想到，却在最基础的拓扑定义上漏洞百出。
霍尔特记得，几年前，有一个自称退休工程师的人甚至把一份这样的手稿，同时寄给了圈里好几个人，据说连九十多岁的彭罗斯本人都收到了一份。
结果那东西，连第一页的欧氏空间等距变换群的定义都没撑过去。
他见过太多了。
多到养成了一种条件反射，看到单砖加非周期再加一个查无背景的名字，他基本可以断定，这又是一篇可以三秒钟扫完，然后永远丟进垃圾桶的东西。
他嘆了口气，端起茶杯喝了一口，拇指准备划过。
但他没有。
因为標题里的最后两个词，像一根极细的针，轻轻扎了一下他的视神经。
local forcing
这个词太冷太具体了。
这不太像民科或者业余爱好者喜欢用的词。
民科的论文，標题往往很长很满，带著生怕世界不知道其伟大的抑制不住的兴奋。
比如——《关於一类全新的非周期铺砌的革命性发现及其对晶体学的深远意义》，诸如此类。
而这一篇，只有六个词。
an aperiodic monotile via local forcing.
霍尔特鬼使神差地轻触了屏幕。
平板加载出pdf。
点开详情页，他的目光习惯性地先扫向作者和单位。
jiangcheng no.7 high school， china
霍尔特的眉头立刻皱了起来。
高中？
中国高中？
单作者？
这几个信息元素叠加在一起，在数学界的语境下，几乎相当於把不要浪费时间这六个字打在了屏幕上。
在高度专业化的现代数学中，一个署名单位是中国普通高中的作者，单枪匹马解决一个困扰学界半个世纪的几何难题？
概率无限趋近於零。
如果不是刚才扫了一眼摘要，霍尔特绝对会立刻关掉这个页面。
摘要也很短。
没有革命性的，没有突破，没有任何一个试图说服读者它有多重要的形容词。
它只是平静地陈述：本文构造了一个单连通多边形，证明它能够铺满平面，且任何这样的铺砌都不具有平移周期性。
克制而精准，是极其標准的现代数学学术语言。
霍尔特往下翻，直接跳过引言，来到了第一张图。
图 1：tile j 的几何构造
屏幕上出现了一个十三边形。
霍尔特端著茶杯的手，瞬间悬停在半空，茶水因为细微的颤抖而在杯壁上盪起一圈涟漪。
他做了二十多年的铺砌研究，对各种几何形状有著一种近乎野兽般的直觉和嗅觉。
眼前这个东西，轮廓极度不规则，到处是突兀的凹角和凸角，像一顶被人粗暴压扁又用力拧过一把的怪帽子。
太丑了。
但让霍尔特瞳孔微缩的是，它不是民科会画出来的那种丑。
民科画的丑，往往是隨意的，没有內在逻辑的，为了凑拼图而强行扭曲边缘的丑。
而眼前的这个十三边形的丑，带著一种令人心悸的必然性。
它不像是一个凭审美画出来的图形，反倒看著像是一组极度严苛的数学方程互相倾轧妥协后，被死死约束出来的解。
它的每一个角，似乎都卡在某个特定的角度上。
它的每一条边，似乎都和別的边有著说不清的对应关係。
这说明，这个形状底层嵌在一个非常经典的六角形/三角形网格之中。
霍尔特本能地放下茶杯，坐直了身体，两指在屏幕上放大，仔细审视那条看似突兀的凹边。
“不对劲。”
他低声喃喃自语，点开pdf侧栏，跳到第三节。
第一页开头孤零零地印著两行英文。
this section does not prove uniqueness of individual tile assignments.
it proves recognizability of the hierarchical skeleton under finite boundary ambiguity.
霍尔特盯著这两行英文看了足足一分钟。
之前的疲惫和漫不经心一扫而空，取而代之的是一种猎人看到未知猛兽足跡时的战慄。
这句话太专业了。
甚至可以说，太知道爱因斯坦问题的命门和痛处了。
在过去几十年无数宣告失败的单砖候选证明中，百分之九十的人都死在一个地方。
他们天真地以为，只要证明了每一块底层的砖都能唯一地归入某个上一层的大块，证明就完成了。
然而，在无限延伸的平面上，由於非周期性，边界上总会存在某些模稜两可的拼接方式。
真正要证明的，不是每一块底层砖都能绝对唯一地归入上一层大块，而是在有限边界歧义之外，层级骨架能不能被局部规则稳定读出。
这个来自中国高中的傢伙，不仅知道这个陷阱，甚至主动把刀尖对准了这里。
霍尔特已经变凉的花草茶推到书桌边缘，重新打开pdf的侧边栏，深吸了一口气，直接跳到整个证明最核心也是最容易暴毙的章节。
04_no_periodic_strip.pdf
如果这篇稿子是某个高级別的恶作剧，或者存在某个隱蔽的致命错误，百分之九十九会在这里露馅。
霍尔特先看读法约定。
然后看翻面处理。
再看短重复片段。
很快，他看到一张表。
s-3，s-4，s-5，s-6，s-7。
这些是局部看起来，似乎有可能顺著某个轴线进行周期延展的边界片段。
作者根本没有把这些危险的局部组合藏起来，或者用一句容易证明其不成立糊弄过去。
相反，他像一个冷酷的外科医生，把这些可能导致理论崩溃的毒瘤一个个切开，单独编號。
他列出了这些片段的初始形態，翻面读法约束，然后最关键的是，他推演了这些片段在进行第三次代换后的分裂情况。
霍尔特的手指在屏幕上停住，低声感嘆了一句：“interesting...”
继续翻附录。
一个小时之后，霍尔特靠回椅背，只觉得一阵难以名状的电流从尾椎骨窜上后脑。
他看了看电脑右下角的时间，凌晨一点四十五分。
他思索片刻，打开邮箱客户端，新建了一封邮件。
在收件人栏里，他谨慎地敲下了第一个名字：craig kaplan。
停顿了一下。
滑铁卢大学的那帮人是做计算几何、铺砌和可视化的顶级专家。
对这种基於代换规则的复杂构造，kaplan的团队拥有世界上最敏锐的代码直觉。
如果存在低级错误，他们写个脚本跑一下就能发现。
於是，他又输入了第二个名字：chaim goodman-strauss。
阿肯色大学的几何学家。
如果这篇稿子的层级替代结构存在拓扑学上的幻觉，那种级別的老狐狸几乎不可能看不出来。
他原本还想再加几个名字。
想了想，又刪掉了一半。
离散几何的圈子太小了。
小到一封带有可能解决单砖问题暗示的邮件一旦扩散出去，半天之內就能传遍全球所有真正关心这个问题的人，甚至引来媒体的无端骚扰。
在还没有真正看清，没有做哪怕一次基础覆核之前，霍尔特不想製造无谓的学术噪音。
最后，他的邮件標题写得极短，不带任何標点符號。
you need to look at this.
正文更是简练到了极点。
i am not saying it is correct.
but it is not the usual nonsense. look at section 4， specifically the treatment of the s-5 ambiguity.
点击发送后，霍尔特没有去睡觉，而是重新回到pdf第一页，拿起触控笔，在那个丑陋的十三边形旁边，重重地画了一个圈。
这一次，他开始逐字逐句地，用审视数学真理的严苛目光，认真阅读。
书房的窗外，是英国深夜浓重的黑暗。
但在学术网际网路的神经元里，一个巨大的信號已经开始沿著光缆飞速传递。
几个小时后，加拿大，滑铁卢市。
craig kaplan刚刚起床。
作为一个长期浸淫在penrose铺砌、伊斯兰几何纹样和计算机替代系统中的专家，他每天的第一件事就是煮咖啡，然后查阅邮箱。
当他看到来自马库斯·霍尔特半夜发来的邮件时，咖啡壶正发出咕嚕咕嚕的沸腾声。
“you need to look at this.”
看到这个標题，kaplan挑了挑眉毛。
他太了解霍尔特了，那个典型的英国老派学者，绝不会轻易在邮件里用这种带有命令式的迫切语气。
他端著咖啡，点开了邮件里的arxiv连结。
看標题，看摘要，看图 1 的形状。
然后，他的目光落在了作者单位上：jiangcheng no.7 high school。
kaplan 盯著屏幕足足愣了十秒钟，然后扑哧一声笑了出来。
“马库斯昨晚是不是喝多了？”
他本能地想要关掉页面，但处於对霍尔特学术信誉的尊重，他忍住了。
把页面拉到了霍尔特邮件中特別指出的第四节。
几分钟后，kaplan脸上的笑意完全消失了。
他放下马克杯，立刻唤醒了旁边的两台高性能工作站。
……
同一时间，德国，柏林。
一个计算几何与组合算法实验室里。
年轻的博士后研究员克劳斯正在跑一个smt求解器。
他没有看证明文本。
他是被同门师兄在群里@起来的。
“用de bruijn网格法，测试这块砖的局部可延展性。”克劳斯一边咬著冷掉的三明治，一边敲击键盘。
他要做的，是让超级计算机来判断，给定一个由tile j拼成的半径为r的圆盘区域，是否必然存在一种方法將其扩展到无穷大，並且在扩展过程中强制打破平移周期性。
这是局部强迫理论在计算学上的终极试金石。
屏幕上的终端窗口疯狂滚动著数据。
状態空间呈指数级爆炸，但克劳斯写出了极好的剪枝算法，去掉了那些在论文s表格中已经被证实为死路的分支。
半小时后，计算结束。
终端输出了绿色的字符：no periodic patches found up to r=10.
surviving branches match substitution data.
克劳斯手里的三明治掉在了桌子上。
他在那个只有七八个顶级算法研究者的私密小群里发了一张截图。
下面附带了几句话。
i expected nonsense.
this is not nonsense.
at least the local forcing table is not collapsing.
this deserves a real proof check.
……
欧洲，北美，日本……
在这看似风平浪静的几个小时內，火苗开始在学术圈极其隱秘的深处，沿著最顶尖的几个大脑迅速蔓延。
没有人在社交媒体上大呼小叫，真正懂行的人都在沉默地下载pdf，沉默地写代码验证，沉默地在草稿纸上推演s-5表格的拓扑死路。
下午两点。一个名叫tiling & tessellation的硬核学术论坛上，终於有人忍不住贴出了tile j的图。
帖子標题非常谨慎：another einstein claim? (tile j， on arxiv today)
最开始的十几个回復，充满了学术界常见的刻薄和冷嘲热讽。
“high school? seriously? ”
“等有人验证了代换系统再叫醒我。”
“轮廓太隨意了，不像是有深刻代数性质的东西。”
可是，仅仅过了四十分钟，风向变了。
一个顶著滑铁卢大学ip的帐號（很多人猜测是kaplan实验室的人）回復了一句。
等等，这个代换结构看起来是真的，我刚用他们的坐標重新生成了前四层超大块，没有重叠。
又过了一会儿，一位在法国cnrs工作的学者贴出了论文里那四类超图块的矩阵截图。
他配文道。
局部规则极其丑陋。它受到令人难以置信的约束。这通常是个好兆头。虚假的证明往往看起来太完美太对称了。而这个，看著像现实。
论坛里原本喧闹的冷嘲热讽开始迅速安静下来。
真正懂一点的人，已经闭嘴去啃那份主文档、补充证明和代码核验包了。
不懂的人，还在盯著那块怪异的十三边形图案，爭论它到底像什么。
有人说像被踩扁的风箏。
有人说像坏掉的箭头。
有人说像一只被数学家严刑拷打过的螃蟹。
tile j的第一批外號，就在这种既惊愕又荒诞的气氛中，乱七八糟地诞生了。
江城大学，数学科学学院，c216室。
下午三点。
顾南舟的邮箱开始像拉响了防空警报一样，连续不断地弹出新邮件提示。
作为江城大学数学院的领军人物之一，他清楚地知道，现在发生的一切，意味著什么。
第一封来自美国，罗格斯大学。
语气礼貌，但问题像手术刀一样锋利。
“顾教授，请问作者江临真的是一名高中教师吗？”
“该构造是否经过您团队的独立核查，引理 3.2 中是否存在隱式假设？”
第二封来自欧洲，法兰西学院。
一位脾气古怪但极具权威的布尔巴基学派的老几何学家发来的。
他的邮件比代码还短。
“有补充代码吗，我们想重现局部状態表，我怀疑s-4情况的完备性。”
第三封来自日本，京都大学数理解析研究所。
对方问得极细，显然是把论文生吞活剥了一遍。
“在04节中，s-5的短重复似乎依赖於特定的读法约定。如果对右边界应用手性反射，拓扑同胚是否仍然成立，是否有详细的展开说明？”
第四封来自一个没有任何机构后缀的陌生gmail地址，只有乾巴巴的一句。
“请確认这不是一场恶作剧。”
……
伦敦时间下午两点，北京时间晚上十点。
拥有两万多名学术界关注者的，马库斯·霍尔特的个人推特帐號上，出现了一条极其简短的动態。
我暂时还没准备好为完整的拓扑证明背书，但tile j预印本值得严肃且严谨的关注，其代换规则在计算上是稳健的。
没有感嘆號，没有夸张的表情包配图，没有任何情绪化的形容词，甚至连可能解决了单砖问题这种推测都没有提。
但对於懂行的人来说，这句话的分量重於泰山。
因为它是一个极其明確的信號。
意思是：学术界的大佬已经亲自下场跑过数据了。
这篇来自中国高中的论文，已经正式脱离了民科胡扯的范畴，拿到了进入神圣学术殿堂进行最终审判的入场券。
大家可以开始花时间去推敲它了。
半小时后，这条推特的截图被人转进了国內几个核心的纯数微信群。
又过了十几分钟，知乎上出现了一个匿名提问，並迅速被打上了热榜標籤。
提问：如何评价马库斯·霍尔特称 arxiv最新上线的tile j论文值得严肃对待？
底下第一条高赞回復，带著一种抑制不住的惊疑不定。
“谢邀，刚在数学群里看到截图，整个人都是懵的。查了一下作者单位，jiangcheng no.7 high school。真的假的，不是同名同姓的某位大佬恶搞？”
第二条回復更加专业且谨慎。
“別急著吹，霍尔特教授的话很严谨，只是说计算稳健，没说拓扑证明对了。如果真的是单砖，那就不是普通大新闻，而是非周期铺砌方向最具终结意味的成果，是可以直接写进数学史教科书。如果是假新闻或者营销號炒作，这种反噬能毁了一个人。所以我的建议是，先等同行覆核。”
但无论大家如何谨慎，火苗已经不可阻挡地从学术圈边缘开始往大眾视野漫延。
对全世界的数学工作者来说，这是一个再普通不过的时刻。
伺服器位於康奈尔大学的庞大机器，像一台不知疲倦的学术吞吐泵，將全球各地在过去二十四小时內提交的智慧结晶、心血、亦或是狂想，无差別地倾泻在网际网路上。
每天这个时候，几百篇新预印本会被批量推送上线，按学科分类，整整齐齐地排进各自的列表里。
代数几何、数论、偏微分方程、组合数学……
每一个分类下面，都是一长串当天上传的標题，作者，和那串以年月开头的编號。
绝大多数论文，会在这个列表里待上一天，被全世界各地的几十个人扫一眼摘要，也许有两三个人会点开pdf下载，然后沉下去。
等待它们的是不知道有没有尽头的审稿周期，或者乾脆在学术的汪洋大海中无人问津。
这就是学术世界的日常。
平静，海量，毫不起眼，却又暗流涌动。
在整个数学分类下，当天新增论文超过百篇。
math.co，组合数学分类下，也排著一长串新標题。
英国，沃里克。
当地时间凌晨一点零七分，马库斯·霍尔特原本已经合上电脑，准备睡觉。
他今年四十六岁，是沃里克大学的数学教授。
他的研究方向是离散几何，如果用更精確的学术语言来界定，他做的是平面铺砌与非周期代换系统。
这个方向冷门艰深，极度考验研究者对几何拓扑的直觉。
全世界真正將身家性命压在这个方向上的核心研究者，满打满算不超过一百五十人。
他们大多彼此认识，甚至清楚每个人手头正在攻克的子课题。
但睡前扫一眼 arxiv 更新列表，是霍尔特十几年雷打不动的习惯。
大多数时候，更新列表上只是一些熟悉领域里的小改进，某个问题的推广，某个模型的技术修补。
並不会给他带来惊喜。
霍尔特端著一杯刚泡好的洋甘菊茶，靠在书房那把有些褪色的皮质靠背椅上，用右手拇指在ipad的屏幕上机械地往下划。
图著色问题在稀疏图上的算法边界，跳过。
关於某些特殊超图组合恆等式的代数证明，跳过。
一种新型多面体拉姆齐数估计，扫一眼摘要，存下来回头让博士生看看。
下一篇。
an aperiodic monotile via local forcing.
霍尔特的拇指悬停在屏幕上方，第一反应绝不是兴奋。
相反，涌上心头的是几乎刻进dna里的职业性疲惫，甚至伴隨了轻微的烦躁。
因为非周期单砖这五个字，在他这个圈子里，是一个特殊的存在。
它就像是物理学界的永动机，或者数论界的哥德巴赫猜想，自带一种致命的魔力，吸引著无数飞蛾扑火。
正因为它有名，正因为它在几何直观上显得如此通俗易懂，所以每隔一段时间，霍尔特的邮箱里，arxiv的列表上，就会冒出一个声称解决了它的勇士。
绝大多数是民间数学爱好者。
有人寄来自以为能铺满平面的手绘怪形状，附上一封长达十几页，充满感嘆號和狂热情绪的信件。
有人把彭罗斯铺砌改了改边缘线，换个顏色，就宣布自己顛覆了凝聚態物理和结晶学。
有人的证明通篇充斥著显然，容易看出，不难想到，却在最基础的拓扑定义上漏洞百出。
霍尔特记得，几年前，有一个自称退休工程师的人甚至把一份这样的手稿，同时寄给了圈里好几个人，据说连九十多岁的彭罗斯本人都收到了一份。
结果那东西，连第一页的欧氏空间等距变换群的定义都没撑过去。
他见过太多了。
多到养成了一种条件反射，看到单砖加非周期再加一个查无背景的名字，他基本可以断定，这又是一篇可以三秒钟扫完，然后永远丟进垃圾桶的东西。
他嘆了口气，端起茶杯喝了一口，拇指准备划过。
但他没有。
因为標题里的最后两个词，像一根极细的针，轻轻扎了一下他的视神经。
local forcing
这个词太冷太具体了。
这不太像民科或者业余爱好者喜欢用的词。
民科的论文，標题往往很长很满，带著生怕世界不知道其伟大的抑制不住的兴奋。
比如——《关於一类全新的非周期铺砌的革命性发现及其对晶体学的深远意义》，诸如此类。
而这一篇，只有六个词。
an aperiodic monotile via local forcing.
霍尔特鬼使神差地轻触了屏幕。
平板加载出pdf。
点开详情页，他的目光习惯性地先扫向作者和单位。
jiangcheng no.7 high school， china
霍尔特的眉头立刻皱了起来。
高中？
中国高中？
单作者？
这几个信息元素叠加在一起，在数学界的语境下，几乎相当於把不要浪费时间这六个字打在了屏幕上。
在高度专业化的现代数学中，一个署名单位是中国普通高中的作者，单枪匹马解决一个困扰学界半个世纪的几何难题？
概率无限趋近於零。
如果不是刚才扫了一眼摘要，霍尔特绝对会立刻关掉这个页面。
摘要也很短。
没有革命性的，没有突破，没有任何一个试图说服读者它有多重要的形容词。
它只是平静地陈述：本文构造了一个单连通多边形，证明它能够铺满平面，且任何这样的铺砌都不具有平移周期性。
克制而精准，是极其標准的现代数学学术语言。
霍尔特往下翻，直接跳过引言，来到了第一张图。
图 1：tile j 的几何构造
屏幕上出现了一个十三边形。
霍尔特端著茶杯的手，瞬间悬停在半空，茶水因为细微的颤抖而在杯壁上盪起一圈涟漪。
他做了二十多年的铺砌研究，对各种几何形状有著一种近乎野兽般的直觉和嗅觉。
眼前这个东西，轮廓极度不规则，到处是突兀的凹角和凸角，像一顶被人粗暴压扁又用力拧过一把的怪帽子。
太丑了。
但让霍尔特瞳孔微缩的是，它不是民科会画出来的那种丑。
民科画的丑，往往是隨意的，没有內在逻辑的，为了凑拼图而强行扭曲边缘的丑。
而眼前的这个十三边形的丑，带著一种令人心悸的必然性。
它不像是一个凭审美画出来的图形，反倒看著像是一组极度严苛的数学方程互相倾轧妥协后，被死死约束出来的解。
它的每一个角，似乎都卡在某个特定的角度上。
它的每一条边，似乎都和別的边有著说不清的对应关係。
这说明，这个形状底层嵌在一个非常经典的六角形/三角形网格之中。
霍尔特本能地放下茶杯，坐直了身体，两指在屏幕上放大，仔细审视那条看似突兀的凹边。
“不对劲。”
他低声喃喃自语，点开pdf侧栏，跳到第三节。
第一页开头孤零零地印著两行英文。
this section does not prove uniqueness of individual tile assignments.
it proves recognizability of the hierarchical skeleton under finite boundary ambiguity.
霍尔特盯著这两行英文看了足足一分钟。
之前的疲惫和漫不经心一扫而空，取而代之的是一种猎人看到未知猛兽足跡时的战慄。
这句话太专业了。
甚至可以说，太知道爱因斯坦问题的命门和痛处了。
在过去几十年无数宣告失败的单砖候选证明中，百分之九十的人都死在一个地方。
他们天真地以为，只要证明了每一块底层的砖都能唯一地归入某个上一层的大块，证明就完成了。
然而，在无限延伸的平面上，由於非周期性，边界上总会存在某些模稜两可的拼接方式。
真正要证明的，不是每一块底层砖都能绝对唯一地归入上一层大块，而是在有限边界歧义之外，层级骨架能不能被局部规则稳定读出。
这个来自中国高中的傢伙，不仅知道这个陷阱，甚至主动把刀尖对准了这里。
霍尔特已经变凉的花草茶推到书桌边缘，重新打开pdf的侧边栏，深吸了一口气，直接跳到整个证明最核心也是最容易暴毙的章节。
04_no_periodic_strip.pdf
如果这篇稿子是某个高级別的恶作剧，或者存在某个隱蔽的致命错误，百分之九十九会在这里露馅。
霍尔特先看读法约定。
然后看翻面处理。
再看短重复片段。
很快，他看到一张表。
s-3，s-4，s-5，s-6，s-7。
这些是局部看起来，似乎有可能顺著某个轴线进行周期延展的边界片段。
作者根本没有把这些危险的局部组合藏起来，或者用一句容易证明其不成立糊弄过去。
相反，他像一个冷酷的外科医生，把这些可能导致理论崩溃的毒瘤一个个切开，单独编號。
他列出了这些片段的初始形態，翻面读法约束，然后最关键的是，他推演了这些片段在进行第三次代换后的分裂情况。
霍尔特的手指在屏幕上停住，低声感嘆了一句：“interesting...”
继续翻附录。
一个小时之后，霍尔特靠回椅背，只觉得一阵难以名状的电流从尾椎骨窜上后脑。
他看了看电脑右下角的时间，凌晨一点四十五分。
他思索片刻，打开邮箱客户端，新建了一封邮件。
在收件人栏里，他谨慎地敲下了第一个名字：craig kaplan。
停顿了一下。
滑铁卢大学的那帮人是做计算几何、铺砌和可视化的顶级专家。
对这种基於代换规则的复杂构造，kaplan的团队拥有世界上最敏锐的代码直觉。
如果存在低级错误，他们写个脚本跑一下就能发现。
於是，他又输入了第二个名字：chaim goodman-strauss。
阿肯色大学的几何学家。
如果这篇稿子的层级替代结构存在拓扑学上的幻觉，那种级別的老狐狸几乎不可能看不出来。
他原本还想再加几个名字。
想了想，又刪掉了一半。
离散几何的圈子太小了。
小到一封带有可能解决单砖问题暗示的邮件一旦扩散出去，半天之內就能传遍全球所有真正关心这个问题的人，甚至引来媒体的无端骚扰。
在还没有真正看清，没有做哪怕一次基础覆核之前，霍尔特不想製造无谓的学术噪音。
最后，他的邮件標题写得极短，不带任何標点符號。
you need to look at this.
正文更是简练到了极点。
i am not saying it is correct.
but it is not the usual nonsense. look at section 4， specifically the treatment of the s-5 ambiguity.
点击发送后，霍尔特没有去睡觉，而是重新回到pdf第一页，拿起触控笔，在那个丑陋的十三边形旁边，重重地画了一个圈。
这一次，他开始逐字逐句地，用审视数学真理的严苛目光，认真阅读。
书房的窗外，是英国深夜浓重的黑暗。
但在学术网际网路的神经元里，一个巨大的信號已经开始沿著光缆飞速传递。
几个小时后，加拿大，滑铁卢市。
craig kaplan刚刚起床。
作为一个长期浸淫在penrose铺砌、伊斯兰几何纹样和计算机替代系统中的专家，他每天的第一件事就是煮咖啡，然后查阅邮箱。
当他看到来自马库斯·霍尔特半夜发来的邮件时，咖啡壶正发出咕嚕咕嚕的沸腾声。
“you need to look at this.”
看到这个標题，kaplan挑了挑眉毛。
他太了解霍尔特了，那个典型的英国老派学者，绝不会轻易在邮件里用这种带有命令式的迫切语气。
他端著咖啡，点开了邮件里的arxiv连结。
看標题，看摘要，看图 1 的形状。
然后，他的目光落在了作者单位上：jiangcheng no.7 high school。
kaplan 盯著屏幕足足愣了十秒钟，然后扑哧一声笑了出来。
“马库斯昨晚是不是喝多了？”
他本能地想要关掉页面，但处於对霍尔特学术信誉的尊重，他忍住了。
把页面拉到了霍尔特邮件中特別指出的第四节。
几分钟后，kaplan脸上的笑意完全消失了。
他放下马克杯，立刻唤醒了旁边的两台高性能工作站。
……
同一时间，德国，柏林。
一个计算几何与组合算法实验室里。
年轻的博士后研究员克劳斯正在跑一个smt求解器。
他没有看证明文本。
他是被同门师兄在群里@起来的。
“用de bruijn网格法，测试这块砖的局部可延展性。”克劳斯一边咬著冷掉的三明治，一边敲击键盘。
他要做的，是让超级计算机来判断，给定一个由tile j拼成的半径为r的圆盘区域，是否必然存在一种方法將其扩展到无穷大，並且在扩展过程中强制打破平移周期性。
这是局部强迫理论在计算学上的终极试金石。
屏幕上的终端窗口疯狂滚动著数据。
状態空间呈指数级爆炸，但克劳斯写出了极好的剪枝算法，去掉了那些在论文s表格中已经被证实为死路的分支。
半小时后，计算结束。
终端输出了绿色的字符：no periodic patches found up to r=10.
surviving branches match substitution data.
克劳斯手里的三明治掉在了桌子上。
他在那个只有七八个顶级算法研究者的私密小群里发了一张截图。
下面附带了几句话。
i expected nonsense.
this is not nonsense.
at least the local forcing table is not collapsing.
this deserves a real proof check.
……
欧洲，北美，日本……
在这看似风平浪静的几个小时內，火苗开始在学术圈极其隱秘的深处，沿著最顶尖的几个大脑迅速蔓延。
没有人在社交媒体上大呼小叫，真正懂行的人都在沉默地下载pdf，沉默地写代码验证，沉默地在草稿纸上推演s-5表格的拓扑死路。
下午两点。一个名叫tiling & tessellation的硬核学术论坛上，终於有人忍不住贴出了tile j的图。
帖子標题非常谨慎：another einstein claim? (tile j， on arxiv today)
最开始的十几个回復，充满了学术界常见的刻薄和冷嘲热讽。
“high school? seriously? ”
“等有人验证了代换系统再叫醒我。”
“轮廓太隨意了，不像是有深刻代数性质的东西。”
可是，仅仅过了四十分钟，风向变了。
一个顶著滑铁卢大学ip的帐號（很多人猜测是kaplan实验室的人）回復了一句。
等等，这个代换结构看起来是真的，我刚用他们的坐標重新生成了前四层超大块，没有重叠。
又过了一会儿，一位在法国cnrs工作的学者贴出了论文里那四类超图块的矩阵截图。
他配文道。
局部规则极其丑陋。它受到令人难以置信的约束。这通常是个好兆头。虚假的证明往往看起来太完美太对称了。而这个，看著像现实。
论坛里原本喧闹的冷嘲热讽开始迅速安静下来。
真正懂一点的人，已经闭嘴去啃那份主文档、补充证明和代码核验包了。
不懂的人，还在盯著那块怪异的十三边形图案，爭论它到底像什么。
有人说像被踩扁的风箏。
有人说像坏掉的箭头。
有人说像一只被数学家严刑拷打过的螃蟹。
tile j的第一批外號，就在这种既惊愕又荒诞的气氛中，乱七八糟地诞生了。
江城大学，数学科学学院，c216室。
下午三点。
顾南舟的邮箱开始像拉响了防空警报一样，连续不断地弹出新邮件提示。
作为江城大学数学院的领军人物之一，他清楚地知道，现在发生的一切，意味著什么。
第一封来自美国，罗格斯大学。
语气礼貌，但问题像手术刀一样锋利。
“顾教授，请问作者江临真的是一名高中教师吗？”
“该构造是否经过您团队的独立核查，引理 3.2 中是否存在隱式假设？”
第二封来自欧洲，法兰西学院。
一位脾气古怪但极具权威的布尔巴基学派的老几何学家发来的。
他的邮件比代码还短。
“有补充代码吗，我们想重现局部状態表，我怀疑s-4情况的完备性。”
第三封来自日本，京都大学数理解析研究所。
对方问得极细，显然是把论文生吞活剥了一遍。
“在04节中，s-5的短重复似乎依赖於特定的读法约定。如果对右边界应用手性反射，拓扑同胚是否仍然成立，是否有详细的展开说明？”
第四封来自一个没有任何机构后缀的陌生gmail地址，只有乾巴巴的一句。
“请確认这不是一场恶作剧。”
……
伦敦时间下午两点，北京时间晚上十点。
拥有两万多名学术界关注者的，马库斯·霍尔特的个人推特帐號上，出现了一条极其简短的动態。
我暂时还没准备好为完整的拓扑证明背书，但tile j预印本值得严肃且严谨的关注，其代换规则在计算上是稳健的。
没有感嘆號，没有夸张的表情包配图，没有任何情绪化的形容词，甚至连可能解决了单砖问题这种推测都没有提。
但对於懂行的人来说，这句话的分量重於泰山。
因为它是一个极其明確的信號。
意思是：学术界的大佬已经亲自下场跑过数据了。
这篇来自中国高中的论文，已经正式脱离了民科胡扯的范畴，拿到了进入神圣学术殿堂进行最终审判的入场券。
大家可以开始花时间去推敲它了。
半小时后，这条推特的截图被人转进了国內几个核心的纯数微信群。
又过了十几分钟，知乎上出现了一个匿名提问，並迅速被打上了热榜標籤。
提问：如何评价马库斯·霍尔特称 arxiv最新上线的tile j论文值得严肃对待？
底下第一条高赞回復，带著一种抑制不住的惊疑不定。
“谢邀，刚在数学群里看到截图，整个人都是懵的。查了一下作者单位，jiangcheng no.7 high school。真的假的，不是同名同姓的某位大佬恶搞？”
第二条回復更加专业且谨慎。
“別急著吹，霍尔特教授的话很严谨，只是说计算稳健，没说拓扑证明对了。如果真的是单砖，那就不是普通大新闻，而是非周期铺砌方向最具终结意味的成果，是可以直接写进数学史教科书。如果是假新闻或者营销號炒作，这种反噬能毁了一个人。所以我的建议是，先等同行覆核。”
但无论大家如何谨慎，火苗已经不可阻挡地从学术圈边缘开始往大眾视野漫延。