技术摘要：共填碎裂（Cofilling Shattering）：一种针对校验擦除的综合征-支撑层级结构

1. 问题陈述

本文解决了二进制线性码及其校验矩阵分析中的一个根本性空白。虽然标准的编码理论将核码 $C_A = \ker A$ 视为主要研究对象，但校验矩阵 $A: \mathbb{F}_2^n \to \mathbb{F}_2^m$ 的特定实现（即特定校验生成元的集合）所携带的操作信息，在行等价变换中往往被忽略了。

核心问题在于量化特定校验实现对校验坐标擦除的脆弱性。具体而言，作者提出了以下问题：必须擦除多少个校验坐标，才能释放出一个其中每个非零综合征（syndrome）都需要高权值错误（低权值原像）来实现的综合征子空间？

这区分了以下两种情况：

1. 仅基于秩的脆弱性（Rank-only vulnerability）： 释放任何 $q$ 维综合征子空间（由广义汉明重量控制）。
2. 局部敏感型脆弱性（Localization-sensitive vulnerability）： 释放一个其中所有非零元素都具有至少 $s$ 的余集领导者权值（最小原像权值）的子空间。

本文指出，定义相同代码的两组校验矩阵可能具有相同的广义覆盖半径和广起来汉明重量，但由于它们所代表的校验线性组合的具体形式不同，会表现出截然不同的对擦除的脆弱性。

2. 方法论与定义

2.1 共填碎裂层级（The Cofilling Shattering Hierarchy）

作者定义了一个新的不变量，即对于具有固定坐标基的二进制线性映射 $A$ 的 Shat$_{q,s}(A)$：
$$\text{Shat}_{q,s}(A) = \min \{ |\text{supp } U| : U \leq \text{im } A, \dim U = q, \lambda_A(y) \geq s \text{ 对于所有 } 0 \neq y \in U \}$$
其中：

• $\lambda_A(y) = \min \{ |x| : Ax = y \}$ 是综合征 $y$ 的余集领导者权值（最小变量权值）。
• $\text{supp } U$ 是子空间 $U$ 中所有向量支撑集的并集。
• $q$ 是释放的综合征子空间的维度。
• $s$ 是该子空间内每个非零综合征所需的最小局部化程度（难度）。

该量表示为了“碎裂”系统，必须擦除的最少校验坐标数，从而释放出一个包含“困难”综合征的 $q$ 维空间。

2.2 拓扑特化

该框架被特化为单纯复形 $X$ 的单纯共边界映射 $A = \delta_k$。

• 校验擦除： 删除一组顶面 $F \subseteq X(k+1)$ 对应于删除 $\delta_k$ 的行。
• 涌现上同调： 商空间 $H_k(X-F) / H_k(X)$ 与缩短后的顶共边界码 $C_{X}^{k+1}[F]$ 规范同构。
• 解释： 该层级衡量了删除最少数量的顶面，以创建一个 $q$ 维的新上同调类，且其中每个新类都有一个大小至少为 $s$ 的表示（填充/filling）。

2.3 图论解释

对于 $k=0$（图）的情况，该问题映射为寻找一种顶点标记方式，使得标签差异的边（割集）最小，同时受到标签仿射扩张和标签纤维大小（平衡多路割）的约束。

3. 主要贡献与结果

3.1 校验基依赖性（结果 R3）

本文的一个主要贡献是证明了 $\text{Shat}_{q,s}(A)$ 不是行变换（校验基的变化）的不变量，即使核码、秩和像码保持不变。

• 示例： 对于对重复码 $C_n = \{(x,x)\}$，标准实现 $H_0 = [I_n \mid I_n]$ 产生 $\text{Shat}_{q,s}(H_0) = N_2(q, s)$（具有维度 $q$ 和距离 $s$ 的二进制码的最短长度）。
• 然而，对于相同的代码，存在一个行等价矩阵 $H_1$，其满足 $\text{Shat}_{q,s}(H_1) = q$。
• 这证明了“校验集体分离度”至关重要：特定的基可以将一个困难的综合征子空间隐藏在极少的校验集之后，而另一种基则需要更多的校验集才能释放该子空间。

3.2 界限与阻碍（结果 R2, R4）

本文为 $\text{Shat}_{q,s}(A)$ 建立了若干下界：

• 码长界限： 如果 $\text{Shat}_{q,s}(A) < \infty$，则 $A$ 的秩必须满足 $r \geq N_2(q, s)$，其中 $N_2(q, s)$ 是二进制码的 Griesmer 界。
• 剖面-Griesmer 界限（Profile-Griesmer Bound）： $\text{Shat}_{q,s}(A) \geq \max \{ d_q(\text{im } A), G_q(\Sigma_A(s)) \}$，其中 $d_q$ 是第 $q$ 个广义汉明重量，$\Sigma_A(s)$ 是具有局部化 $s$ 的综合征之最小支撑的单调包络。
• 拓扑界限： 对于单纯复形，该层级受限于复形的扩张常数 $h_k(X)$ 和几何结构。

3.3 随机擦除与拟阵结构

作者分析了校验坐标的独立随机擦除：

• 秩增量： 涌现商空间的期望维度仅取决于校验矩阵的拟阵（Tutte 多项式的特化）。
• 局部化敏感性： 释放一个“困难”综合征子空间的概率取决于双变量碎裂枚举器 $W_X(a, b)$，该枚举器同时追踪支撑集大小和码字的最小原像权值。
• 尾部界限： 文中推导了在高维扩展器中产生大型局部缺陷概率的指数级尾部界限。

3.4 锐度与极值情况

• 单纯形边界： 对于单纯形的边界，本文提供了 $\text{Shat}_{q,s}$ 的精确公式，表明剖面-Griesmer 界限在无限参数族中均能达到。
• 图割： 图的情况被表述为“傅里叶平衡多路割”（Fourier-balanced multiway cut），将碎裂参数与谱间隙（Fiedler 特征值）和 Ky Fan 原理联系起来。

4. 意义与主张

本文声称引入了一种综合征-支撑层级结构，它耦合了两个此前截然不同的概念：

1. 广义汉明重量： 控制子码的支撑集。
2. 广义覆盖半径： 控制生成综合征。

与其他框架的关键区别：

• 不同于广义汉明重量（它是代码本身的性质），$\text{Shat}_{q,s}$ 是校验实现（check realization）的不变量。它捕捉了特定校验生成元的实际操作脆弱性。
• 不同于停止集（Stopping Sets）（涉及迭代译码中的变量擦除），这项工作关注的是校验擦除，并且对整个综合征子空间进行约束，而非仅仅针对单个基。
• 不同于广义覆盖半径（测量生成综合征所需的列数），这项工作测量的是一个其中每个元素都是“困难”的（具有高余集领导者权值）子空间的共同支撑集。

动机与应用：
该框架的动机在于研究高维扩展器和拓扑码（特别是 CSS 码）。在这些语境下，擦除校验（面）会释放逻辑算子（上同调类）。本文认为，理解这些释放出的类之“局部化”程度（其填充/filling 的分散程度）对于评估代码在特定校验失效下的韧性至关重要。

作者明确指出，“共填”（cofilling）一词是指最小原像坐标，而“碎裂”（shattering）是指失去共同的校验生成集，这与 VC 维无关。该工作提供了校验擦除与缩短码之间的精确字典，并证明了对于 $s \geq 2$，即使是完全相同的标记割码，其值也可能不同，这凸显了分析特定校验基而非仅仅分析代码等价类的必要性。