基于空间群的拓扑编码

论文信息

标题: Topological Codes Based on Space Groups

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

发布日期: 2026-06-18

arXiv ID: 2606.20548v1

PDF 链接: 下载 PDF

论文背景与研究动机

拓扑量子纠错码是实现容错量子计算的核心路线之一。这类编码将逻辑信息存储在全局同调类中，对局域噪声具有天然的鲁棒性。传统的拓扑码构造大多依赖于平移不变性，比如表面码和近期备受关注的双变量自行车码（BB 码）。这种纯粹的平移对称性虽然在代数分析上带来了便利，但也严重限制了码的设计空间。

在实际的量子计算平台中，纠错码与硬件的协同设计变得越来越重要。以可重构原子阵列为例，声光偏转器（AOD）可以并行移动原子，但移动本身会消耗相干演化时间。如果稳定子码的校验算子与 AOD 的运动模式能够良好匹配，就能在综合症提取中节省宝贵的时间。这引出了一个关键问题：如何在更大的设计空间中搜索既具有拓扑序、又能适配特定硬件约束的纠错码？

本文的核心动机正是建立这样一个更广阔的代数框架，将拓扑码的构造从纯平移扩展到包含点群操作的空间群上，从而为量子纠错码的协同设计打开新的大门。

核心方法：从空间群到拓扑码

空间群码的构造原理

空间群是晶体学中的基本概念，它由平移操作和点群操作的半直积构成。本文的中心构造是利用空间群上的群代数模板来构建 Calderbank-Shor-Steane（CSS）码的校验矩阵。

具体而言，作者从对称群的基本构造出发。给定一个集合上的置换群，选择四个群代数元素 $f_X, h_X, f_Z, h_Z$，通过它们的矩阵表示构造校验矩阵：

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

CSS 码的对易条件被转化为代数方程 $f_X f_Z^T + h_X h_Z^T = 0$。这一代数刻画使得码的构造和验证都变得系统化。

模块提升：解决非模同态的核心技术

当构造中包含反射等点群操作时，一个根本性的困难出现了：这些操作在 Laurent 多项式环上并不是模同态。这意味着传统 BB 码分析中使用的链复形理论无法直接应用。

本文的关键创新在于引入了一种 “模块提升” 技术。其核心思想是找到一个点群不变量构成的多项式子环 $\mathcal{R}$，使得原 Laurent 环 $\mathcal{R}_0$ 成为 $\mathcal{R}$ 上的有限自由模。以二维反射码为例，取反射不变量 $u = x + x^{-1}$ 和 $v = y + y^{-1}$，则 $\mathcal{R} = \mathbb{F}_2[u,v]$。在这个框架下，$\mathcal{R}_0$ 是以 $\{1, x, y, xy\}$ 为基的自由 $\mathcal{R}$-模，所有空间群元素的作用都可以表示为 $\mathcal{R}$ 上的矩阵。

通过这一定理（定理 IV.5），原本非线性的反射操作被转化为 $\mathcal{R}$ 上的模同态，使得链复形的同调分析成为可能。此定理的证明综合运用了有限群不变理论、Noether 正规化和 Quillen-Suslin 定理等深刻的交换代数工具。

拓扑序的代数判据

利用模块提升后的映射 $\Lambda_X, \Lambda_Z$，拓扑序条件在代数上被精确刻画为中间正合性：

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

借助 Buchsbaum-Eisenbud 准则，这等价于一系列秩条件和分次条件。特别地，作者证明了对映射的 $n \times n$ 子式的最大公因式测试（定理 IV.7）等价于拓扑序的验证，这为计算机搜索提供了高效的代数筛选工具。

创新点与贡献

本文的贡献体现在多个层面：

理论层面：首次系统建立了基于空间群的拓扑码代数框架。这一框架将 BB 码作为点群为平凡子群的特例包含在内，同时为包含反射、滑移等操作的编码提供了统一的代数语言。

分析工具：开发了基于环模理论的拓扑性质分析方法。通过 Gröbner 基算法，可以计算无穷大系统的任意子种类数以及有限周期系统的逻辑量子比特数。

设计空间：证明了引入点群操作能够在保持码参数的前提下改善局域性。在折纸几何下，原本需要穿越周期边界的耦合变成了有界距离的操作，这对 AOD 架构的实现具有实际优势。

实验结果与分析

数值搜索发现了一系列具有良好参数的反射码。在折纸局域性度量下，表 1 列出的反射码在保持 $\eta = kd^2/n$ 不劣于最优 BB 码基线的同时，展现了更小的折纸局域性。

图 3 对比了满足与不满足拓扑序条件的反射码的标度行为。拓扑码的逻辑量子比特数随系统尺寸呈周期振荡模式，始终不超过无限系统的上界，且码距近似线性增长。非拓扑码则表现为逻辑量子比特数持续增长而码距保持较小。这一对比直观地验证了代数判据的有效性。

表 2 列出了 18 个权值为 6 的空间群码，涵盖了不同块长度和参数。例如 $[[72,8,8]]$ 的反射码达到 $\eta = 7.1$，$[[124,10,10]]$ 的码达到 $\eta = 8.1$，展现了此框架构造高效码的潜力。

实践应用：AOD 运动协议的优化

折纸局域性的物理意义在 AOD 运动协议中得到了直接体现。在传统周期布局中，每次平移操作都包含一个长度随系统尺寸增长的 “环绕移动”。通过折纸重排，将周期边界的两侧并置，环绕移动被转化为有界距离的短步移动（图 4b）。更进一步，反射项在折纸标记上是局域的置换操作，提供了超越纯平移的本地运动原语。

对于实际量子计算平台，这意味着可以在保持拓扑保护的同时，减少综合症提取的移动时间消耗，有效延长相干预算。本文为这种代码与硬件的协同优化提供了系统的方法论。

未来发展方向

作者指出了几个值得探索的方向：将这些编码推广到更高维度；在其他量子计算平台（如超导量子比特）上研究实现；开发专门针对空间群码的解码算法，因为平移对称性的部分破缺可能在某些解码器下带来性能提升；以及研究空间群码的堆叠和多块推广构造。

总结与展望

本文建立了空间群码这一宽泛的代数框架，将拓扑量子纠错码的构造从纯平移扩展到包含点群操作。通过结合群代数、交换代数和模论，作者不仅给出了新码类的构造方法，还发展了系统的拓扑性质分析工具。折纸局域性的概念为量子纠错码与硬件平台的协同设计提供了新的自由度。这一工作显著拓宽了拓扑码的设计空间，为面向特定实现平台搜索更优编码提供了有力的理论支撑和实用的计算方法。