同调码

同调码（homological codes）是 Bombín 与 Martín-Delgado 在 2006 年《Homological Error Correction》中建立的统一理论：把量子纠错码放到链复形的语言里，稳定子对应边界算子 ∂₂ 与余边界算子的像，逻辑算符对应同调类，编码维数就是一阶同调的维数。环面码、平面码、Shor 九比特码在这个框架下是同一构造在不同曲面上的实例，而”优化环面码”给出 $[[d^2+1,2,d]]$——比特数比原始 Kitaev 格省一半。它也是后来所有”用代数拓扑造码”工作（扭环面广义环面码、qLDPC 的环论方法）的方法论源头。

链复形与 ${\partial }^2=0$

设 2-复形 $\Sigma$（例如一张曲面及其胞腔分解），取 ${\mathbb{Z}}_2$（或 ${\mathbb{Z}}_D$，qudit 推广）系数的链复形

$C_2\stackrel{{\partial }_2}{\to }{C}_1\stackrel{{\partial }_1}{\to }{C}_0,{\partial }_1{\partial }_2=0.$

${\partial }_1{\partial }_2=0$（面的边界没有边界）是一切的起点：它保证边界链都是环。记

$Z_i=\ker {\partial }_i(\text{环})，B_i=\mathrm{im}{\partial }_{i+1}(\text{边界})，H_i=Z_i/B_i(\text{同调}).$

量子比特放在 1-链的基（边）上。稳定子取边界与余边界：把 ${\partial }_2$ 的行看作 Z 型算符的支集、把 ${\partial }_1$ 的列（转置后的行）看作 X 型算符的支集，则 $V_C=\mathbf{h}[B^1(\Sigma )]\oplus \mathbf{h}[B_1(\Sigma )]$ 生成一个交换群——CSS 对易条件 ${\partial }_1{\partial }_2=0$ 恰好就是”X 型与 Z 型稳定子交换”Bombin & Martin-Delgado 2006 (arXiv)。

$k=\dim H_1$ 与码距

与稳定子群对易的算符由环 + 余环张成：$Z$ 环（$\ker {\partial }_1$ 中的链）与所有 Z 型稳定子交换，$X$ 余环（$\ker {\partial }_1^T$）与所有 X 型稳定子交换。商掉平凡部分后，逻辑算符的代数同构于 $H_1(\Sigma )\oplus H^1(\Sigma )$，于是

$k=\dim H_1(\Sigma )=\dim H^1(\Sigma ),d(\Sigma )=\min \{d^{\prime }(\Gamma ),d^{\prime }({\Gamma }^{\ast })\},$

即码距等于原格与对偶格上最短非平凡简单环长度的较小者Bombin & Martin-Delgado 2006 (arXiv)。对无边界闭曲面 $M$，用 Euler 示性数 $\chi (M)$ 一揽子给出曲面码的逻辑维数：

$k=2-\chi (M).$

环面 $\chi =0$ 给 $k=2$（环面码）；亏格 $g$ 曲面给 $k=2g$（$4^g$ 维简并）；投影平面 $\chi =1$ 给 $k=1$。

三个实例：Shor 码、投影平面码与优化环面码

Shor 码的同调实现有两条路。其一：在投影平面上取自对偶嵌入（对偶格与原格同构的胞腔分解），9 条边直接给出 $[[9,1,3]]$——Shor 九比特码被纳入拓扑码家族，只是它所在的曲面没有”大”到让局域性与距离同时显著。其二（一般码族）：取对应于经典 $[d,1,d]$ 重复码的环路图 $C_d$，把 $d$ 份 $C_d$ 沿顶点相接并贴上 $d(d-1)$ 个面，得到 $[[d^2,1,d]]$ 码族，$d=3$ 恰为 Shor 码Bombin & Martin-Delgado 2006 (arXiv)。

图:投影平面的自对偶胞腔嵌入——把圆周的对径点粘合即得投影平面,此嵌入给出 $[[9,1,3]]$ 码,即 Shor 九比特码的同调实现(来源:QE078)

优化环面码：原始 Kitaev 方格是 $[[2d^2,2,d]]$，但同一条环面上还存在更省比特的正则格：

$[[2d^2,2,d]]⟶[[d^2+1,2,d]],$

比特数几乎减半、四体算符与距离不变（附录 C 证明这是正则格中的最优）。这一”同曲面找最优胞腔分解”的思想正是后来旋转表面码布局（$d^2$ 数据比特）的源头（见rotated-surface-code、topological-code-comparison）。

图:原始 Kitaev 环面码格($d=3$),$n=2d^2=18$(来源:QE078)

图:最优正则环面码格($d=3$),$n=d^2+1=10$——同距离下比特数几乎减半(来源:QE078)

码拼接 = 曲面连通和

记 $\mu (M,d)$ 为曲面 $M$ 上构造距离 $d$ 码所需的最少边数，则有次可加性

$\mu (M_1\#M_2,d)\le \mu (M_1,d)+\mu (M_2,d),$

亏格拼接对应码的拼接（concatenation 的拓扑版本）——高亏格曲面上的大码可以分解为小曲面码的组合来理解Bombin & Martin-Delgado 2006 (arXiv)。

经典对应与后续

同一个框架在经典侧也成立：图的上同调码就是经典 LDPC 码，重复码（repetition code）是它的同调原型——量子 CSS 码与经典 LDPC 码因此共享一套链复形语法（见css-codes、ldpc-classical）。环论版本的现代复兴见两条线：qudit ${\mathbb{Z}}_p$ 环面码与上同调（qudit-codes），以及 2025–2026 年用 Laurent 多项式环 + Gröbner 基在扭环面上系统构造广义环面码（Liang et al. 2025 (PRX Quantum)，见topological-code-comparison）；面向量子纠错的代数拓扑原理入门可参考Zou & Lo 2025 (arXiv)的教学性综述。

延伸阅读

• toric-code
• surface-code
• css-codes
• rotated-surface-code
• topological-code-comparison