世界协调时零点，arxiv放出了当天的更新列表。
对全世界的数学工作者来说，这是一个再普通不过的时刻。
服务器位于康奈尔大学的庞大机器，像一台不知疲倦的学术吞吐泵，将全球各地在过去二十四小时内提交的智慧结晶、心血、亦或是狂想，无差别地倾泻在互联网上。
每天这个时候，几百篇新预印本会被批量推送上线，按学科分类，整整齐齐地排进各自的列表里。
代数几何、数论、偏微分方程、组合数学……
每一个分类下面，都是一长串当天上传的标题，作者，和那串以年月开头的编号。
绝大多数论文，会在这个列表里待上一天，被全世界各地的几十个人扫一眼摘要，也许有两三个人会点开pdF下载，然后沉下去。
等待它们的是不知道有没有尽头的审稿周期，或者干脆在学术的汪洋大海中无人问津。
这就是学术世界的日常。
平静，海量，毫不起眼，却又暗流涌动。
在整个数学分类下，当天新增论文超过百篇。
th.co，组合数学分类下，也排着一长串新标题。
英国，沃里克。
当地时间凌晨一点零七分，马库斯·霍尔特原本已经合上电脑，准备睡觉。
他今年四十六岁，是沃里克大学的数学教授。
他的研究方向是离散几何，如果用更精确的学术语言来界定，他做的是平面铺砌与非周期代换系统。
这个方向冷门艰深，极度考验研究者对几何拓扑的直觉。
全世界真正将身家性命压在这个方向上的核心研究者，满打满算不超过一百五十人。
他们大多彼此认识，甚至清楚每个人手头正在攻克的子课题。
但睡前扫一眼 arxiv 更新列表，是霍尔特十几年雷打不动的习惯。
大多数时候，更新列表上只是一些熟悉领域里的小改进，某个问题的推广，某个模型的技术修补。
并不会给他带来惊喜。
霍尔特端着一杯刚泡好的洋甘菊茶，靠在书房那把有些褪色的皮质靠背椅上，用右手拇指在ipad的屏幕上机械地往下划。
图着色问题在稀疏图上的算法边界，跳过。
关于某些特殊超图组合恒等式的代数证明，跳过。
一种新型多面体拉姆齐数估计，扫一眼摘要，存下来回头让博士生看看。
下一篇。
An Aperiodic notile via Local Forcing.
霍尔特的拇指悬停在屏幕上方，第一反应绝不是兴奋。
相反，涌上心头的是几乎刻进dNA里的职业性疲惫，甚至伴随了轻微的烦躁。
因为非周期单砖这五个字，在他这个圈子里，是一个特殊的存在。
它就像是物理学界的永动机，或者数论界的哥德巴赫猜想，自带一种致命的魔力，吸引着无数飞蛾扑火。
正因为它有名，正因为它在几何直观上显得如此通俗易懂，所以每隔一段时间，霍尔特的邮箱里，arxiv的列表上，就会冒出一个声称解决了它的勇士。
绝大多数是民间数学爱好者。
有人寄来自以为能铺满平面的手绘怪形状，附上一封长达十几页，充满感叹号和狂热情绪的信件。
有人把彭罗斯铺砌改了改边缘线，换个颜色，就宣布自己颠覆了凝聚态物理和结晶学。
有人的证明通篇充斥着显然，容易看出，不难想到，却在最基础的拓扑定义上漏洞百出。
霍尔特记得，几年前，有一个自称退休工程师的人甚至把一份这样的手稿，同时寄给了圈里好几个人，据说连九十多岁的彭罗斯本人都收到了一份。
结果那东西，连第一页的欧氏空间等距变换群的定义都没撑过去。
他见过太多了。
多到养成了一种条件反射，看到单砖加非周期再加一个查无背景的名字，他基本可以断定，这又是一篇可以三秒钟扫完，然后永远丢进垃圾桶的东西。
他叹了口气，端起茶杯喝了一口，拇指准备划过。
但他没有。
因为标题里的最后两个词，像一根极细的针，轻轻扎了一下他的视神经。
Local Forcing
这个词太冷太具体了。
这不太像民科或者业余爱好者喜欢用的词。
民科的论文，标题往往很长很满，带着生怕世界不知道其伟大的抑制不住的兴奋。
比如——《关于一类全新的非周期铺砌的革命性发现及其对晶体学的深远意义》，诸如此类。
而这一篇，只有六个词。
An Aperiodic notile via Local Forcing.
霍尔特鬼使神差地轻触了屏幕。
平板加载出pdF。
点开详情页，他的目光习惯性地先扫向作者和单位。
Jiangcheng No.7 high School， china
霍尔特的眉头立刻皱了起来。
高中？
中国高中？
单作者？
这几个信息元素叠加在一起，在数学界的语境下，几乎相当于把不要浪费时间这六个字打在了屏幕上。
在高度专业化的现代数学中，一个署名单位是中国普通高中的作者，单枪匹马解决一个困扰学界半个世纪的几何难题？
概率无限趋近于零。
如果不是刚才扫了一眼摘要，霍尔特绝对会立刻关掉这个页面。
摘要也很短。
没有革命性的，没有突破，没有任何一个试图说服读者它有多重要的形容词。
它只是平静地陈述：本文构造了一个单连通多边形，证明它能够铺满平面，且任何这样的铺砌都不具有平移周期性。
克制而精准，是极其标准的现代数学学术语言。
霍尔特往下翻，直接跳过引言，来到了第一张图。
图 1：tile J 的几何构造
屏幕上出现了一个十三边形。
霍尔特端着茶杯的手，瞬间悬停在半空，茶水因为细微的颤抖而在杯壁上荡起一圈涟漪。
他做了二十多年的铺砌研究，对各种几何形状有着一种近乎野兽般的直觉和嗅觉。
眼前这个东西，轮廓极度不规则，到处是突兀的凹角和凸角，像一顶被人粗暴压扁又用力拧过一把的怪帽子。
太丑了。
但让霍尔特瞳孔微缩的是，它不是民科会画出来的那种丑。
民科画的丑，往往是随意的，没有内在逻辑的，为了凑拼图而强行扭曲边缘的丑。
而眼前的这个十三边形的丑，带着一种令人心悸的必然性。
它不像是一个凭审美画出来的图形，反倒看着像是一组极度严苛的数学方程互相倾轧妥协后，被死死约束出来的解。
它的每一个角，似乎都卡在某个特定的角度上。
它的每一条边，似乎都和别的边有着说不清的对应关系。
这说明，这个形状底层嵌在一个非常经典的六角形/三角形网格之中。
霍尔特本能地放下茶杯，坐直了身体，两指在屏幕上放大，仔细审视那条看似突兀的凹边。
“不对劲。”
他低声喃喃自语，点开pdF侧栏，跳到第三节。
第一页开头孤零零地印着两行英文。
this section does not prove uniqueness of individual tile assignnts.
It proves recognizability of the hierarchical skeleton under finite boundary aiguity.
霍尔特盯着这两行英文看了足足一分钟。
之前的疲惫和漫不经心一扫而空，取而代之的是一种猎人看到未知猛兽足迹时的战栗。
这句话太专业了。
甚至可以说，太知道爱因斯坦问题的命门和痛处了。
在过去几十年无数宣告失败的单砖候选证明中，百分之九十的人都死在一个地方。
他们天真地以为，只要证明了每一块底层的砖都能唯一地归入某个上一层的大块，证明就完成了。
然而，在无限延伸的平面上，由于非周期性，边界上总会存在某些模棱两可的拼接方式。
真正要证明的，不是每一块底层砖都能绝对唯一地归入上一层大块，而是在有限边界歧义之外，层级骨架能不能被局部规则稳定读出。
这个来自中国高中的家伙，不仅知道这个陷阱，甚至主动把刀尖对准了这里。
霍尔特已经变凉的花草茶推到书桌边缘，重新打开pdF的侧边栏，深吸了一口气，直接跳到整个证明最核心也是最容易暴毙的章节。
04_no_periodic_strip.pdf
如果这篇稿子是某个高级别的恶作剧，或者存在某个隐蔽的致命错误，百分之九十九会在这里露馅。
霍尔特先看读法约定。
然后看翻面处理。
再看短重复片段。
很快，他看到一张表。
S-3，S-4，S-5，S-6，S-7。
这些是局部看起来，似乎有可能顺着某个轴线进行周期延展的
对全世界的数学工作者来说，这是一个再普通不过的时刻。
服务器位于康奈尔大学的庞大机器，像一台不知疲倦的学术吞吐泵，将全球各地在过去二十四小时内提交的智慧结晶、心血、亦或是狂想，无差别地倾泻在互联网上。
每天这个时候，几百篇新预印本会被批量推送上线，按学科分类，整整齐齐地排进各自的列表里。
代数几何、数论、偏微分方程、组合数学……
每一个分类下面，都是一长串当天上传的标题，作者，和那串以年月开头的编号。
绝大多数论文，会在这个列表里待上一天，被全世界各地的几十个人扫一眼摘要，也许有两三个人会点开pdF下载，然后沉下去。
等待它们的是不知道有没有尽头的审稿周期，或者干脆在学术的汪洋大海中无人问津。
这就是学术世界的日常。
平静，海量，毫不起眼，却又暗流涌动。
在整个数学分类下，当天新增论文超过百篇。
th.co，组合数学分类下，也排着一长串新标题。
英国，沃里克。
当地时间凌晨一点零七分，马库斯·霍尔特原本已经合上电脑，准备睡觉。
他今年四十六岁，是沃里克大学的数学教授。
他的研究方向是离散几何，如果用更精确的学术语言来界定，他做的是平面铺砌与非周期代换系统。
这个方向冷门艰深，极度考验研究者对几何拓扑的直觉。
全世界真正将身家性命压在这个方向上的核心研究者，满打满算不超过一百五十人。
他们大多彼此认识，甚至清楚每个人手头正在攻克的子课题。
但睡前扫一眼 arxiv 更新列表，是霍尔特十几年雷打不动的习惯。
大多数时候，更新列表上只是一些熟悉领域里的小改进，某个问题的推广，某个模型的技术修补。
并不会给他带来惊喜。
霍尔特端着一杯刚泡好的洋甘菊茶，靠在书房那把有些褪色的皮质靠背椅上，用右手拇指在ipad的屏幕上机械地往下划。
图着色问题在稀疏图上的算法边界，跳过。
关于某些特殊超图组合恒等式的代数证明，跳过。
一种新型多面体拉姆齐数估计，扫一眼摘要，存下来回头让博士生看看。
下一篇。
An Aperiodic notile via Local Forcing.
霍尔特的拇指悬停在屏幕上方，第一反应绝不是兴奋。
相反，涌上心头的是几乎刻进dNA里的职业性疲惫，甚至伴随了轻微的烦躁。
因为非周期单砖这五个字，在他这个圈子里，是一个特殊的存在。
它就像是物理学界的永动机，或者数论界的哥德巴赫猜想，自带一种致命的魔力，吸引着无数飞蛾扑火。
正因为它有名，正因为它在几何直观上显得如此通俗易懂，所以每隔一段时间，霍尔特的邮箱里，arxiv的列表上，就会冒出一个声称解决了它的勇士。
绝大多数是民间数学爱好者。
有人寄来自以为能铺满平面的手绘怪形状，附上一封长达十几页，充满感叹号和狂热情绪的信件。
有人把彭罗斯铺砌改了改边缘线，换个颜色，就宣布自己颠覆了凝聚态物理和结晶学。
有人的证明通篇充斥着显然，容易看出，不难想到，却在最基础的拓扑定义上漏洞百出。
霍尔特记得，几年前，有一个自称退休工程师的人甚至把一份这样的手稿，同时寄给了圈里好几个人，据说连九十多岁的彭罗斯本人都收到了一份。
结果那东西，连第一页的欧氏空间等距变换群的定义都没撑过去。
他见过太多了。
多到养成了一种条件反射，看到单砖加非周期再加一个查无背景的名字，他基本可以断定，这又是一篇可以三秒钟扫完，然后永远丢进垃圾桶的东西。
他叹了口气，端起茶杯喝了一口，拇指准备划过。
但他没有。
因为标题里的最后两个词，像一根极细的针，轻轻扎了一下他的视神经。
Local Forcing
这个词太冷太具体了。
这不太像民科或者业余爱好者喜欢用的词。
民科的论文，标题往往很长很满，带着生怕世界不知道其伟大的抑制不住的兴奋。
比如——《关于一类全新的非周期铺砌的革命性发现及其对晶体学的深远意义》，诸如此类。
而这一篇，只有六个词。
An Aperiodic notile via Local Forcing.
霍尔特鬼使神差地轻触了屏幕。
平板加载出pdF。
点开详情页，他的目光习惯性地先扫向作者和单位。
Jiangcheng No.7 high School， china
霍尔特的眉头立刻皱了起来。
高中？
中国高中？
单作者？
这几个信息元素叠加在一起，在数学界的语境下，几乎相当于把不要浪费时间这六个字打在了屏幕上。
在高度专业化的现代数学中，一个署名单位是中国普通高中的作者，单枪匹马解决一个困扰学界半个世纪的几何难题？
概率无限趋近于零。
如果不是刚才扫了一眼摘要，霍尔特绝对会立刻关掉这个页面。
摘要也很短。
没有革命性的，没有突破，没有任何一个试图说服读者它有多重要的形容词。
它只是平静地陈述：本文构造了一个单连通多边形，证明它能够铺满平面，且任何这样的铺砌都不具有平移周期性。
克制而精准，是极其标准的现代数学学术语言。
霍尔特往下翻，直接跳过引言，来到了第一张图。
图 1：tile J 的几何构造
屏幕上出现了一个十三边形。
霍尔特端着茶杯的手，瞬间悬停在半空，茶水因为细微的颤抖而在杯壁上荡起一圈涟漪。
他做了二十多年的铺砌研究，对各种几何形状有着一种近乎野兽般的直觉和嗅觉。
眼前这个东西，轮廓极度不规则，到处是突兀的凹角和凸角，像一顶被人粗暴压扁又用力拧过一把的怪帽子。
太丑了。
但让霍尔特瞳孔微缩的是，它不是民科会画出来的那种丑。
民科画的丑，往往是随意的，没有内在逻辑的，为了凑拼图而强行扭曲边缘的丑。
而眼前的这个十三边形的丑，带着一种令人心悸的必然性。
它不像是一个凭审美画出来的图形，反倒看着像是一组极度严苛的数学方程互相倾轧妥协后，被死死约束出来的解。
它的每一个角，似乎都卡在某个特定的角度上。
它的每一条边，似乎都和别的边有着说不清的对应关系。
这说明，这个形状底层嵌在一个非常经典的六角形/三角形网格之中。
霍尔特本能地放下茶杯，坐直了身体，两指在屏幕上放大，仔细审视那条看似突兀的凹边。
“不对劲。”
他低声喃喃自语，点开pdF侧栏，跳到第三节。
第一页开头孤零零地印着两行英文。
this section does not prove uniqueness of individual tile assignnts.
It proves recognizability of the hierarchical skeleton under finite boundary aiguity.
霍尔特盯着这两行英文看了足足一分钟。
之前的疲惫和漫不经心一扫而空，取而代之的是一种猎人看到未知猛兽足迹时的战栗。
这句话太专业了。
甚至可以说，太知道爱因斯坦问题的命门和痛处了。
在过去几十年无数宣告失败的单砖候选证明中，百分之九十的人都死在一个地方。
他们天真地以为，只要证明了每一块底层的砖都能唯一地归入某个上一层的大块，证明就完成了。
然而，在无限延伸的平面上，由于非周期性，边界上总会存在某些模棱两可的拼接方式。
真正要证明的，不是每一块底层砖都能绝对唯一地归入上一层大块，而是在有限边界歧义之外，层级骨架能不能被局部规则稳定读出。
这个来自中国高中的家伙，不仅知道这个陷阱，甚至主动把刀尖对准了这里。
霍尔特已经变凉的花草茶推到书桌边缘，重新打开pdF的侧边栏，深吸了一口气，直接跳到整个证明最核心也是最容易暴毙的章节。
04_no_periodic_strip.pdf
如果这篇稿子是某个高级别的恶作剧，或者存在某个隐蔽的致命错误，百分之九十九会在这里露馅。
霍尔特先看读法约定。
然后看翻面处理。
再看短重复片段。
很快，他看到一张表。
S-3，S-4，S-5，S-6，S-7。
这些是局部看起来，似乎有可能顺着某个轴线进行周期延展的