把一组点之间的连接逐渐放宽，围出的洞会怎样变化？如果原先有十六个洞，下一步还有一个，很容易以为，至少有一个旧洞保存了下来。格物的研究员在一张首尾相接的方格网上证明，实际情况可以完全不同：十六个旧洞全部消失，而新的洞恰在同一步出现。要读懂这次看似平常的数量变化，关键不在数洞，而在辨认前后的洞有没有延续关系。
数洞为什么还不够
假如只有一圈散点，你怎样判断它们勾勒的是一个环？一种办法是给定一个距离门槛，把足够近的点连接起来。门槛太小时，点各自孤立；放宽一些，连线可能围出闭环；再放宽，环内也可能被填满。仅凭一个门槛下的形状，很难知道哪些结构能在尺度变化中保持下来。
拓扑数据分析中的持久同调，正是研究这种延续的工具。它记录某种洞在哪个尺度出现，在哪个尺度被填掉，也追踪前一尺度的结构到了后一尺度是否仍然存在。这里变化的是观察和连接点的尺度，点本身并没有运动。
数洞与追踪洞，本来就是两件不同的事。不过，在某些特别规则的模型中，两者会不会恰好能互相替代？2025年，Henry Adams、Adenike Yeside Adetowubo、Hector Barriga-Acosta、Ziqin Feng和John Sterling研究了一类周期方格网，并提出一个具体问题：对于其中的三维洞，跨尺度保留下来的独立信息，是否总能达到前后洞数所允许的最大值？原论文的第8.9问给出了这一设想。
这会带来一种诱人的简化。假设前一尺度有十六个独立的洞，后一尺度只有一个，最多只能保留一个独立的旧洞。如果这个“尽可能多地保留”的性质成立，只要知道每个尺度的洞数，就能推出任意两个尺度之间保留了多少信息，无须再追踪它们之间的关系。
格物的研究员给出的反例，恰好落在十六变一的情形：实际保留的数量是零。要明白这为什么可能，先得看看这张网如何构造出洞。
平面上的点，为什么会有三维洞
想象一张八行八列的方格网，里面有六十四个点。走出右边界，就从左边界回来；走出上边界，就从下边界回来。这样的对边相接方式称为环面。纸上看起来相隔很远的两个边缘点，实际上可能是邻居。
两点的距离，是沿横竖方向行走所需的最少步数，允许跨越边界绕回。它不是纸面上的直线距离。例如，最左下角的点到最右侧、向上一格的点，只要两步：先向左跨过边界，再向上走。
接下来选择一个尺度，也就是距离门槛。若两点距离不超过门槛，就添一条边；若三个点两两都满足条件，就把它们之间的三角面也填上；若四个点两两满足条件，就填入整个四面体。更多点也遵循同一规则，加入相应的高维实心单纯形。单纯形可以看成线段、三角形、四面体向更高维的推广。这整套结构叫作Vietoris–Rips复形，下文简称Rips复形。
重要的是，新增的并不只是连线。一个三角形的三条边可以围出一维洞；三角面填进去，这个洞就消失了。许多三角面能拼成一个闭合的空心球壳，形成二维的闭合结构；若里面已有实体把它填满，它就不再代表一个二维洞。同样的规则继续往高维延伸，就得到三维洞：一个没有边界的三维结构，却不能由复形内的四维部分填满。
数学中的“几维”，这里按照围出洞的闭合结构来数。因此，日常说的空心球壳对应二维洞，而本文的三维洞还要再高一维。它不是甜甜圈中央那个肉眼可见的孔。
为什么一张二维网格也能产生这种结构？因为网格只提供点和距离；新构造出来的复形，维数由哪些点两两足够近决定，并不受纸面维数限制。把它画在平面上，会使许多边和面重叠，但这些画面上的交叉并不改变它的抽象连接关系。
同调给出了严格的计数办法：可以用复形中已有的填充互相转换的闭合结构，归为同一类；能由已有部分填满的，归为零。彼此不能组合替代的独立类有多少，就称为相应维数的贝蒂数。本文接下来简称它们为“独立的洞”。数值结果采用模二运算：同一块面或同一个高维单纯形出现两次，就互相抵消。这是论文反例所采用的计数约定。
尺度增大时，旧的边、面和更高维部分都保留，新部分不断加入。因此，每个旧的闭合结构仍能在新复形中找到；但它可能已经被新部分填满，也可能和其他旧结构变得等价。真正延续下来的独立类数，称为这一跨尺度映射的秩。它比“还有几个旧洞”的说法更准确，因为独立类的选择并不唯一。
十六条生命线，在同一处结束
在这张八乘八的周期网格上，把尺度从三步增加到四步，第三贝蒂数从十六降为一。格物的研究员证明，这次变化的映射秩为零：旧的十六个独立类，无论怎样组合，到了新尺度都已能被填满。
与此同时，尺度四确实有一个非零的三维类。它无法由任何旧类延续而来，只能是新生的。
条形码把这件事画得很清楚。每根横条代表一个独立类从出生到死亡的尺度区间；读某个尺度上有多少根条穿过，就得到那一尺度的洞数。若要知道从一个尺度到另一个尺度保留了多少独立信息，则要数同时覆盖两个尺度的条。
这个结果不仅来自一张条形码。论文用两条计算路径核查最小反例：一条计算持久同调；另一条直接检查闭合结构与填充之间的矩阵关系，采用精确的模二运算，也得到秩零。格物的研究员还检查了边长小于八的方形环面网格，确认在这一模型族中，它是最小反例。这里的“最小”限于方形环面网格，并不涉及所有点集。
不过，数值只能告诉我们发生了什么。解释为什么所有旧洞必定消失，需要找到它们原先藏在哪里。
从八行八列，找到所有旧洞
先只取网格的一行。由于左右相接，这一行是均匀分布在圆周上的八个点，距离沿圆周按最短步数计算。对这一行单独按相同规则构造Rips复形。
尺度为三时，每个点和其余点中除正对面那个以外的所有点连接。圆周看似只有一维，但把所有两两相连的点组都填成单纯形后，得到的复形在同伦意义下是一个三维球面。这里的同伦意义，可以粗略理解为允许连续形变和收缩后，保留相同的拓扑结构。它恰好贡献一个独立的三维类。
这不是把普通圆圈的中心掏空，而是长距离连线和高维填充共同形成的结构。关于这种圆周Rips复形的分类，早先已有数学定理可用。
八行各有一个这样的类，八列也各有一个。此前的结构定理已经给出了整个复形的洞数；格物的研究员进一步沿着它的分解，找到了这些洞的具体来源。分解从一个没有三维类的核心开始，再把圆周截面逐个接回去。接合处只有点或圆圈的拓扑结构，不会在拼接时额外产生或抵消三维类。因此，这十六个具体截面中的类，在整个复形中彼此独立，而且足以组合出所有三维类。这里的关键是“所有”：不会再有一个旧类藏在横行、竖列之外，逃过下一步分析。
现在把尺度升到四。圆周上任意两点的最短距离都不超过四，连正对面的点也相连了。于是，这八个点的每一个子集都满足填充条件，整个复形成为一个实心的七维单纯形。它可以整体收缩到一点，任何正维数的洞都不再存在。
于是，每个旧类都能在自己所在的那一行或那一列中被填掉。这些截面又都包含在整个新复形中，所以局部完成的填充，在整体中当然仍然有效。十六个旧类既然已经穷尽全部来源，它们全被填掉，就意味着整个映射为零。
新生的那个洞则不同。任何单行或单列都已经没有三维洞，因此它不能由某一条圆周截面单独贡献；它必须涉及网格两个方向共同形成的整体结构。本文证明了它的存在与新生，却没有给出整个新复形都能变形成三维球面的证明。洞数为一，还不足以作出那样的判断。
再大的网格，会留下什么
这不是六十四个点的一次巧合。令网格每边有个点，考察尺度从到的变化；其中是至少为三的整数，是每边点数。尺度上的全部三维类，仍分别由横行和竖列承载，共有个。
圆周复形的已知分类说明，当尺度与圆周点数的比值严格介于三分之一和五分之二之间时，它具有三维球面的同伦类型。上述截面在起始尺度都落在这个范围内。当从三取到七，下一尺度的比值达到或跨过五分之二，截面的三维类便全部消失。因此，八、十一、十四、十七、二十这五种边长，都出现了相同的“旧类全部死亡”。论文的模二计算又确认，五种情况的目标尺度都恰有一个三维类，于是它们都构成反例。
从起，下一尺度仍未越过五分之二，情形变了：截面里的三维类能够延续。但它们在整个网格中也不再全部独立。
原因可以从距离看出来。把同一个源截面平移到相邻一行，两份对应结构之间多出的距离至多是一步，恰好被尺度增加的一步容纳。对于原来同一个单纯形，它在两行上的所有顶点放在一起，都能在新尺度中填成单纯形。这让两行所代表的类在新复形中变得相同。逐行比较，所有横行的像合成一个独立方向；竖列也一样。
横行与竖列的这两个方向却不会合并。把整个网格分别投影到横坐标圆周和纵坐标圆周，一个投影能保留横向类而把纵向类压成一点，另一个投影反过来。这两种检测区分了它们。因此，格物的研究员证明：对于所有，跨过这一步的映射秩恰好为二。
秩为二是否已经尽可能大，还要问目标尺度究竟有多少类。对于和，此前发表的模二计算给出目标洞数为三，于是又多了两个反例；这两项较大的计算，论文引用已有结果，没有重新运行。对更大的网格，论文还研究了采用有理数系数时的新类，但这不能直接代替模二情形的答案。模二目标洞数的普遍规律，仍未在本文中确定。
起点的问题因此有了明确答案：即使点排得如此整齐，前后洞数也不能代替跨尺度的延续关系。十六变一，可以意味着旧结构彻底消失、新结构同时产生；更多旧类也可以只留下横、竖两个独立方向。持久同调所追踪的，正是洞数表中看不见的这段经历。
研究依据：随附论文《Non-maximal persistence in Vietoris–Rips complexes of torus grids》（2026年8月25日），重点为第3—4、6、8节及附录B。背景问题与此前结构定理见Adams等人的《Vietoris–Rips complexes of torus grids》。配图均为本文据论文内容原创绘制；图2重绘论文报告的精确区间，图1、图3为模型示意，封面为视觉比喻。