双半子码

双半子码（semion code）是 Dauphinais、Ortiz、Varona 与 Martín-Delgado 2019 年构造的拓扑码：把 Levin–Wen 弦网凝聚框架下的双半子（double semion）模型首次做成完整的量子纠错码。它的面算符在外圈边上带相位因子，是罕见的非 CSS 拓扑码，却能严格纳入稳定子形式；其任意子（半子）互绕相位为 i 而非环面码的 −1，σx 错误留下方向依赖的通量模式，给译码器提供额外信息。它代表了"换拓扑序 = 换码"的思路：同一格点几何，不同的弦网凝聚规则，不同的纠错性质。

双半子模型：与环面码同格不同序

Levin–Wen 双半子（double semion，DS）模型与环面码一样定义在蜂窝格、量子比特放在边上，规范群同为 ${\mathbb{Z}}_2$，但拓扑序不同（非手征、非环面码相）。其哈密顿量由两类项构成Dauphinais et al. 2019 (New J. Phys.)：

• 顶点算符（3 体）：

$Q_v={\sigma }_i^z{\sigma }_j^z{\sigma }_k^z,$

$i,j,k$ 为与顶点 $v$ 相接的三条边——强制”偶数条激活边”的 Gauss 约束；

• 面算符（非 CSS）：

${\tilde{B}}_p=\left({\prod }_{i\in \partial p}{\sigma }_i^x\right){\prod }_{j\in o(p)}{i}^{(1-{\sigma }_j^z)/2},$

即面边界上取 ${\sigma }^x$，外圈（outset，$o(p)$）边再乘一个依赖 ${\sigma }^z$ 的相位因子 $i^{(1-{\sigma }_j^z)/2}$——正是这个相位因子把模型与环面码区分开，也是它非 CSS 的来源。

图:顶点算符 $Q_v$——蜂窝格上与顶点相接三条边的 ${\sigma }^z$ 乘积(来源:QE085)

图:面算符 ${\tilde{B}}_p$——面边界上 ${\sigma }^x$、外圈边上的相位因子,支集形如"梅花",这就是非 CSS 结构(来源:QE085)

off-shell 推广：从弦网模型到稳定子码

原表述的困难：${\tilde{B}}_p$ 只在零通量子空间（无顶点激发，$Q_v=+1$ 的扇区）内厄米且彼此对易；一般噪声会把系统推出这个子空间，弦网模型本身不能直接当码用。semion code 的核心构造是 off-shell 推广：形变 ${\tilde{B}}_p$ 得到全希尔伯特空间上厄米、对易、平方为 1 的稳定子 $B_p$，使双半子模型严格落入稳定子形式（尽管非 CSS）Dauphinais et al. 2019 (New J. Phys.)。配套地构造：

• 开弦算符 $S_{\mathcal{P}}^{\pm }$：沿任意路径 $\mathcal{P}$ 的算符，端点产生一对半子，手征 ± 由弦的取向决定——这也补上了半子对微观产生机制的一块空白（此前仅有拓扑性描述）；
• 稳定子代数的完整辛几何分析，使任意算符可分解为弦算符的线性叠加。

任意子与编织：相位 i

双半子模型的任意子类型为 $\{1,s,\bar{s},s\bar{s}\}$：真空、半子、反半子、玻色子对。与环面码的对比集中在编织统计上Dauphinais et al. 2019 (New J. Phys.)：

• 环面码：基本激发互绕相位 $+1$（e 绕 m 得 $-1$，但同类绕行为玻色）；
• 双半子：两个半子互绕相位 $\mathrm{i}$（semion 统计；$s$ 与 $\bar{s}$ 互绕 $-\mathrm{i}$）。

逻辑操作由环面上两组闭弦 $S_V^{\pm },S_H^{\pm }$（竖/横、手征 ±）实现，交换关系为同手征反对易、异手征对易——与环面码逻辑 Pauli 代数同构但多一层手征结构。参数与环面码同标度：$[[2n^2,2,d]]$ 型（格边长 n），顶点检查仅 3 体。

译码：方向性通量的红利

环面码里一条 ${\sigma }^x$ 错误链只在两端留通量激发；双半子码不同：${\sigma }^x$ 错误按边方向留下方向性通量模式（错误链沿途大概率留通量，概率分布依赖边相对于蜂窝格的三个方向，见原文 Tab. I）Dauphinais et al. 2019 (New J. Phys.)。对译码器而言这是额外信息：同样的综合征对应更少候选错误链。这提示在偏置噪声（某些方向/类型的错误占优）场景下双半子码可能有更高的有效阈值——与 XZZX 表面码在偏置噪声下的增益属同一逻辑（见surface-code-threshold、error-models）。

谱系位置

Kitaev 1997 论文的后半部分（量子双模型、ribbon 算符）给出”换任意子模型换码”的一般纲领（见toric-code、topological-order）；双半子码是这一纲领在阿贝尔非环面方向上走得最远的 QEC 实例（twisted 量子双的一支）。非阿贝尔方向的对应物是twist-defects与 2026 年的非阿贝尔码混合态拓扑序理论Kim & McGinley 2026 (arXiv)。跨维推广（复合维码的边界与缺陷）见Mousa et al. 2025 (arXiv)。

延伸阅读

• toric-code
• topological-order
• twist-defects
• surface-code-threshold
• topological-code-comparison