环面码

环面码（toric code）是 Alexei Kitaev 在 1997 年《Fault-tolerant quantum computation by anyons》中提出的稳定子码：把量子比特放在环面上的方格边中，用局域的星算符与面算符做稳定子，得到参数 $[[2k^2,2,k]]$ 的码族。它是整个拓扑码家族（表面码、颜色码、同调码）的共同源头，也是拓扑序（topological order）概念的第一个精确可解模型。其基态四重简并由不可收缩环代表的逻辑算符区分，任意子激发的编织直接执行逻辑 Pauli 门——“用任意子做量子计算”这一范式的出发点。

图:环面码的母题——把 $k\times k$ 方格铺在环面上,量子比特(黑点)放在边上(来源:QE075)

定义：量子比特放在边上

取 $k\times k$ 方格铺在环面上，量子比特放在边上（$n=2k^2$ 条边）。Kitaev 原文定义两组稳定子Kitaev 1997 (Annals Phys.)：

• 星算符（顶点，X 型）：与顶点 $s$ 相接的所有边取 ${\sigma }^x$，

$A_s={\prod }_{j\in \mathrm{star}(s)}{\sigma }_j^x;$

• 面算符（面，Z 型）：面 $p$ 边界上的边取 ${\sigma }^z$，

$B_p={\prod }_{j\in \partial p}{\sigma }_j^z.$

方向是本质的：$A_s$ 是顶点上的 $X$、$B_p$ 是面上的 $Z$（不是反过来）。二者对易的证明只用到组合学：任一星 $\mathrm{star}(s)$ 与任一面边界 $\partial p$ 的公共边数必为偶数（0 或 2），因此 $A_s$ 与 $B_p$ 交换的 Pauli 因子成对出现。全局约束 ${\prod }_s{A}_s={\prod }_p{B}_p=1$ 使独立稳定子只有 $m=2k^2-2$ 个，故码空间维数

$\dim \mathcal{L}=2^{n-m}=2^{2k^2-(2k^2-2)}=4,$

即环面码编码 2 个逻辑量子比特；对亏格 $g$ 的曲面推广，简并度为 $4^g$（见homological-codes）。

逻辑算符与距离

环面的基本群 ${\pi }_1(T^2)={\mathbb{Z}}^2$ 给出两类不可收缩环（见图）：沿原格的 1-链 $c$ 与沿对偶格的 1-链 $c^{\ast }$。定义

$Z_i={\prod }_{j\in c_i}{\sigma }_j^z,X_i={\prod }_{j\in c_i^{\ast }}{\sigma }_j^x,i=1,2,$

四个算符互不对易的只有同下标对：$\{X_i,Z_i\}=0$（同向的链与对偶链交叉奇数次），其余对易——它们精确复现两个量子比特的 Pauli 代数Kitaev 1997 (Annals Phys.)。

图:不可收缩的环(loop)与割(cut)——环面码逻辑算符的同调原型,左为原格右为对偶格(来源:QE075)

距离：一个 Pauli 错误不可检测，当且仅当其支撑包含完整的不可收缩环（或割），而任何非平凡同调类的最短代表链长为 $k$，故

$|\mathrm{Supp}(E)|\ge k⟹d=k,t=\lfloor \frac{k-1}{2}\rfloor .$

恒定物理错误率下逻辑失败率按 $\sim e^{-ak}$ 指数压低——这是”局域错误 + 拓扑保护”的全部交易结构：码距随格边长线性增长，而稳定子重量保持 4 不变。

任意子：e 与 m 的激发、湮灭与编织

把哈密顿量取为 $H_0=-{\sum }_s{A}_s-{\sum }_p{B}_p$，码空间即基态空间，任意局域激发对应一个被违反的稳定子：

• 电粒子 e（顶点）：$A_s=-1$ 的顶点，由 $Z$ 弦 $S^z(t)={\prod }_{j\in t}{\sigma }_j^z$ 的端点产生——$Z$ 弦与沿途每个星算符交换 0 或 2 个反对易因子，只有两端各留一个；
• 磁涡旋 m（面）：$B_p=-1$ 的面，由对偶格上的 $X$ 弦端点产生。

由全局约束 ${\prod }_s{A}_s=1$，e 只能成对产生、成对湮灭（m 同理）——弦算符的端点就是任意子（见topological-order）。

图:x 型粒子绕 z 型粒子一周,波函数获得相位 $-1$——阿贝尔编织统计(来源:QE075)

编织即逻辑门：$X$ 粒子绕 $Z$ 粒子一圈的算符 $S^x(c)$ 与 $S^z(t)$ 反对易，波函数获得相位 $-1$；更实用的是，把任意子对拖动到环面的非平凡环绕上，湮灭前留下的弦正是逻辑 $\bar{X}/\bar{Z}$——在环面上绕一圈 = 执行一次逻辑 Pauli。但环面码的任意子是阿贝尔的，编织只能给出 Pauli 群，不完备；Kitaev 论文的后半部分（§4–7）因此转向量子双模型（quantum double，基于 Hopf 代数与非阿贝尔任意子的 ribbon 算符、融合代数），这也是twist-defects与semion-codes两条推广线的思想源头。

拓扑稳定性

对任意局域扰动 $V$，基态简并的分裂只在微扰展开 $\lceil k/2\rceil$ 阶以上出现，且量级 $\sim e^{-ak}$：能隙 $\Delta E\ge 2$ 保护下，局域算符无法区分四个基态（无局域序参量），这就是拓扑序的动力学定义Kitaev 1997 (Annals Phys.)。基态简并本身也可由任意子编织性质反推（Einarsson 论证：$W=X_1^{-1}{Z}_1^{-1}{X}_1{Z}_1=-1$ 这一总相位可在平面上实现）。

推广谱系

• 平面化（打开边界）即surface-code，逻辑算符改用相对同调描述（见boundaries-and-defects）；
• ${\mathbb{Z}}_2$ 同调框架推广到任意 2-复形与 ${\mathbb{Z}}_D$ 系数即homological-codes；
• 2025 年在扭环面上用 Laurent 多项式环构造的广义环面码（weight-6 校验，如 $[[120,8,12]]$、$[[294,10,20]]$）把环面码与 qLDPC 视角统一，见topological-code-comparison与Liang et al. 2025 (PRX Quantum)。

延伸阅读

• surface-code
• homological-codes
• topological-order
• boundaries-and-defects
• surface-code-threshold