基于空间群的拓扑码

论文信息

标题: Topological Codes Based on Space Groups

作者: Chong-Yuan Xu, Ze-Chuan Liu, Yong Xu

发布日期: 2026-06-18

arXiv ID: 2606.20548v1

PDF 链接: 下载 PDF

3 分钟速览

研究问题：如何构造超越纯平移不变性的拓扑量子纠错码，并使其与可重构原子阵列等硬件约束自然协同。
核心方法：利用晶体学空间群（平移与点群操作的半直积）代替纯平移群生成 CSS 码的校验矩阵，再通过不变多项式环上的模提升将点群操作视为局部运算，并用交换代数（Buchsbaum–Eisenbud 判据、模 Gröbner 基）判定拓扑序和计算任意子扇区。
关键结果：提出一类新的空间群码，其中反射码在 “折叠晶格” 下具有比纯平移码更小的局域性（见表 1），并能利用声光偏转器的并行运动显著降低综合征提取的时间开销。
主要局限：当前构造主要限制在二维空间群；解码算法尚未开发；更高维、多层及多块 CSS 推广有待进一步研究。
适合读者：从事量子纠错、拓扑序、量子计算硬件协同设计的研究者，尤其是关注超越表面码的 LDPC 码及中性原子平台实现的人员。

论文背景和研究动机

拓扑码，特别是表面码，是实现容错量子计算的自然途径。它们将逻辑信息编码在全局同调扇区中，并通过对局域噪声的鲁棒性指数级压低错误率。然而，传统表面码一个码块通常只能编码一个逻辑量子比特，导致极高的物理量子比特开销。近期，双变量循环码（BB 码）等基于平移不变的有限尺寸拓扑码，将开销降低到表面码的十分之一左右，极大地缓解了这一困难。

与此同时，量子纠错码与量子计算平台的 “协同设计” 日益重要。以可重构原子阵列为代表的中性原子平台，利用声光偏转器移动原子，摆脱了固定耦合范围的限制，但原子运动消耗相干时间。因此，若稳定子码的校验算子与移动模型对齐，便能大幅节省综合征提取时间。已有的工作大多集中在具有平移对称性的 BB 码或基于仿射置换矩阵的 Kasai 型码上；而平移不变性本身强烈限制了设计空间，Kasai 型码又未必承载拓扑序。

论文指出，当前存在一个理论缺口：需要更广阔的设计空间来容纳更多拓扑码，同时兼顾硬件的运动约束。这一动机直接引出了本文的核心构造——空间群码。

核心方法和技术细节

传统拓扑码的代数构造通常假设平移不变性，使得校验矩阵可表示为 Laurent 多项式环上的模同态。本文的核心突破在于引入点群操作，构造基于空间群 $G=T\rtimes P$ （平移 $T$ 与有限点群 $P$ 的半直积）的 CSS 码，称为空间群码。

从群代模板到 CSS 码

论文首先给出一个通用框架：对一个集合 $A$ 及其置换群，选择群代数 $\mathbb{F}_2[S_n]$ 中的元素 $f_X, h_X, f_Z, h_Z$ ，构造校验矩阵

H_X = (\Gamma(f_X) \mid \Gamma(h_X)), \quad H_Z = (\Gamma(f_Z) \mid \Gamma(h_Z)),

其中 $\Gamma$ 是群作用于 $A$ 的矩阵表示。定理 III.2 证明，若群表示忠实，则 CSS 对易条件等价于群代数中的方程

f_X f_Z^T + h_X h_Z^T = 0.

这一构造将码的设计转化为群代数中的代数约束。

模提升与拓扑条件

当将 $A$ 取为无穷晶格，并使用空间群 $G$ 时，直接沿用纯平移的模链复形会遇到问题：点群操作（如反射）在 Laurent 多项式环上不是模同态。为此，论文发展了一套关键的不变环模提升技术。首先构造多项式不变子环 $\mathcal{R}\subseteq \mathcal{R}_0^P$ ，例如对于二维反射，取 $u=x+x^{-1}, v=y+y^{-1}$ 为生成元。利用交换代数中的有限生成性和 Quillen–Suslin 定理（定理 IV.5），证明 $\mathcal{R}_0$ 是 $\mathcal{R}$ 上的一个有限秩自由模。反射和平移在此自由模上成为 $\mathcal{R}$ -模同态，表示为 $\mathcal{R}$ 上的矩阵 $\Lambda$ 。由此，校验映射提升为自由模之间的映射 $\Lambda_X, \Lambda_Z$ 。

代数拓扑序的条件化为 “中间正合性”：

\operatorname{im}(\Lambda_X^T)=\ker(\Lambda_Z),\quad \operatorname{im}(\Lambda_Z^T)=\ker(\Lambda_X).

论文应用 Buchsbaum–Eisenbud 判据，将其转化为秩条件与 $n\times n$ 子式理想的 grade 条件。在多项式环这一 Cohen–Macaulay 唯一分解整环上，grade≥2 等价于所有 $n\times n$ 子式的最大公因子为 1（定理 IV.7）。这提供了一套可计算的拓扑序代数判据。

任意子与逻辑量子比特计数

对于无限系统，任意子种类由商模 $\operatorname{coker}(\Lambda_X)$ 和 $\operatorname{coker}(\Lambda_Z)$ 决定，其 $\mathbb{F}_2$ 维数之和即为逻辑量子比特数。通过模 Gröbner 基，可计算标准模单项式求得维数。对于有限尺寸的周期晶格，引入周期边界理想 $I_L$ ，其拉回子模由矩阵 $M_L$ 表示，则有限系统逻辑量子比特数为

k_L = \dim_{\mathbb{F}_2}\frac{\mathcal{R}^n}{\operatorname{im}M_L + \operatorname{im}\Lambda_X} + \dim_{\mathbb{F}_2}\frac{\mathcal{R}^n}{\operatorname{im}M_L + \operatorname{im}\Lambda_Z}.

该公式同样可由模 Gröbner 基算法高效计算。

创新点和贡献

超越平移的拓扑码族：首次系统性地将点群对称性纳入拓扑稳定子码的构造，得到空间群码。BB 码是其特例（ $P$ 为平凡群）。
代数拓扑判定框架：利用不变环上的模同态和 Buchsbaum–Eisenbud 判据，给出了检验拓扑序的代数准则，并延伸出任意子计数的 Gröbner 基方法。
折叠局域性与硬件协同：通过点群轨道将周期性晶格折叠为开放边界的超胞晶格，使得反射等点群操作变为超胞内或近邻的局部运算。数值搜索发现，许多反射码在 $k d^2/n$ 指标持平的同时，局域性显著优于 BB 码（见表 1）。这为声光偏转器并行移动提供了天然的局部运动基元，可有效压缩综合征提取时间。

实验结果分析

论文通过数值搜索对比了拓扑反射码与非拓扑反射码的行为。对于通过代数拓扑测试的码（图 3a-b），有限尺寸的逻辑量子比特数维持在无限系统 cokernel 计算的上界之下，距离随系统大小 $L$ 基本呈线性增长（含周期性振荡），这是拓扑码的典型特征。相反，未通过拓扑测试的码（图 3c-d）逻辑量子比特数随 $L$ 增长，且距离保持较小，显示出非拓扑的标度。

在构造具体码例方面，表 2 列出了 18 个权重 6 的自搜索空间群码，块长从 12 到 124，给出了参数 $[[n,k,d]]$ 及相应的 $k d^2/n$ 。例如 $[[36,4,6]]$ 反射码、 $[[96,4,12]]$ 点群 $C_8\times S_3$ 码等，凸显了该框架的丰富设计空间。此外，表 1 专门列出了保持 $k d^2/n$ 不劣于最优 BB 基线且折叠局域性更小的四个反射码，论证了点群操作在降低局域性方面的切实优势。

硬件方案上，图 4 展示了折叠晶格如何将周期边界上的长程 “回绕” 移动转化为短程位移：将一维晶格按反射配对折叠，平移操作分解为两批无交叉的短距并行运动，最大位移降至 $O(1)$ 。反射本身在折叠编号下即为近邻交换，成为 AOD 可高效执行的本地原语。

局限与待解决问题

尽管空间群码大幅拓展了拓扑码的设计空间，当前研究仍存在若干局限。论文本身仅详细讨论了一维和二维反射码的实例及层叠局域性；更高维空间群的码性质及物理实现尚未涉及。文中指出解码算法的设计是重要待研方向，因为缺乏完整平移对称性可能对某些译码器的性能产生正反两面影响，目前尚无对该族码的专用解码器。此外，构造主要限于两块的 CSS 形式，推广到更多块、引入更高秩点群以及与非 CSS 稳定子码的结合，均属开放问题。最后，有限尺寸下的距离行为目前仅通过数值穷举和混合整数规划给出，尚缺少解析的距离下界公式，这也为将来的理论分析留下了空间。