表面码脆弱的一面

先分析下面这个问题。

核心问题

是否存在表面码上的错误，使得 syndrome 本征值不变（仍为 +1），但逻辑量子信息被破坏？

答案是：存在，且这正是码距 $d$ 的定义所防范的。

两种"隐形"错误

第一类：稳定子本身（trivial）

错误 = 稳定子元素 $s\in S$

例如：$s=A_v=X_1{X}_2{X}_3{X}_4$（某个星算符）

• $s|\psi ⟩=|\psi ⟩$（编码态是 +1 本征态）
• 施加 $s$ 后：$s|\psi ⟩=|\psi ⟩$，态完全不变
• syndrome：不变（仍为 +1）

结论：稳定子元素不是真正的错误，它们作用在编码空间上是恒等操作。

第二类：逻辑算符（致命）

错误 = 非平凡逻辑算符 $L\in N(S)\setminus S$

例如：表面码中贯穿格点的逻辑 $\bar{Z}$ 串：

逻辑 Z̄: Z — Z — Z — Z — Z (连接上下边界)
| | | | |
○ ○ ○ ○ ○

• $L$ 与所有稳定子对易：$[L,g_i]=0$，$\forall g_i\in S$
• 因此：$g_i(L|\psi ⟩)=L(g_i|\psi ⟩)=L|\psi ⟩=(+1)(L|\psi ⟩)$

关键：$L|\psi ⟩$ 仍是所有稳定子的 +1 本征态！

但：

• $L|\psi ⟩\ne |\psi ⟩$（除非 $L\in S$，但 $L\notin S$）
• 编码的量子信息被改变了（例如 $|\bar{0}⟩\leftrightarrow |\bar{1}⟩$）

为何此时 syndrome 检测不到逻辑错误？

数学根源

逻辑算符 $L$ 属于中心化子 $N(S)$：
$$N(S)=\{P\in P_n:[P,g_i]=0,\forall g_i\in S\}$$

与稳定子对易意味着：

• $L$ 不翻转任何 syndrome
• $L$ 将编码空间映射到自身：$L:\mathcal{C}\to \mathcal{C}$

物理图像

syndrome 测量点: ★ — ★ — ★ — ★
| | | |
数据 qubit: ○ — ○ — ○ — ○
| | | |
★ — ★ — ★ — ★

逻辑 Z̄ 串: Z Z Z Z (沿某条路径)

逻辑算符 $L$ 与每个 syndrome 算符（星或 plaquette）共享偶数个 qubit，因此：

• 每个 $A_v$ 或 $B_p$ 与 $L$ 对易（$Z$ 与 $Z$ 对易，$X$ 与 $Z$ 在交点处反对易但成对出现）
• syndrome 不变

码距 $d$ 的防御机制

定义回顾

$$d=\min \{\text{wt}(L):L\in N(S)\setminus S\}$$

即：最短的非平凡逻辑算符的权重。

防御逻辑

关键定理

定理：若错误 $E$ 满足 $\text{wt}(E)<d/2$，则 $E$ 一定不是逻辑算符（即一定与某稳定子反对易，或属于 $S$）。

证明概要：

• 假设 $E\in N(S)\setminus S$（即 $E$ 是逻辑算符）
• 则 $\text{wt}(E)\ge d$（码距定义）
• 与 $\text{wt}(E)<d/2$ 矛盾

因此，低权重错误必然翻转 syndrome。

具体例子：$d=3$ 表面码

格点结构

○ — ○ — ○
| ★ | ★ |
○ — ○ — ○
| ★ | ★ |
○ — ○ — ○

9 个数据 qubit，8 个 syndrome（4 个星 + 4 个 plaquette），1 个逻辑 qubit。

逻辑算符的最短路径

逻辑 $\bar{Z}$（连接上下边界）：

Z
|
○ — ○ — ○
| | |
Z ○ ○
| | |
○ — ○ — ○
| | |
Z ○ ○

最短路径权重 = 3（码距 $d=3$）。

权重 1 错误（可检测）

$X$ 错误在某数据 qubit：

• 翻转相邻 2 个 plaquette 的 syndrome：$+1\to -1$
• 可检测，可纠正

权重 2 错误（可检测）

两个 $X$ 错误：

• 若相邻：翻转 3 个或 4 个 syndrome（取决于位置）
• 若分离：翻转 4 个 syndrome
• <？>不一定可检测，不一定可纠正（$d=3$，$d/2=1.5$，所以 $\lfloor (d-1)/2\rfloor =1$。）

$d=3$ 码只能纠正 1 个错误。

权重 2 错误：

• 若两个错误产生的 syndrome 与某个权重 1 错误相同（退化），则无法区分
• 例如：两个相邻 $X$ 错误产生的 syndrome 可能与另一个位置的单个 $X$ 错误相同

权重 3 错误（危险！）

三个 $X$ 错误形成一条链，恰好等于逻辑 $\bar{Z}$：

X — X — X (横向，连接左右边界 = 逻辑 X̄)
| | |
○ ○ ○

或：

X
|
X
|
X
(纵向，连接上下边界 = 逻辑 Z̄)

• syndrome：全 +1（不变！）
• 但逻辑态：$|\bar{0}⟩\leftrightarrow |\bar{1}⟩$（被翻转）

错误链的拓扑分类

可纠正错误（syndrome 非平凡）

错误链: X — X
| |
★— —★ (两个 syndrome 端点，-1)

开链：有端点，syndrome 在这些端点处变号。可通过 MWPM 找到最小权重纠正链。

不可纠正错误（syndrome 平凡）

错误链: X — X — X — X — X (连接边界 = 逻辑算符)
| | | | |
○ ○ ○ ○ ○

或

闭环: X — X — X — X
| | | |
X — X — X — X (稳定子元素)
| | | |
(回到起点)

闭链或连接边界的链：

• 稳定子环：syndrome 不变，但等价于恒等操作（trivial）
• 边界连接链：syndrome 不变，但实现逻辑操作（致命）

概率分析：为何大码距有效

逻辑错误率

对于物理错误率 $p$，逻辑错误率 $p_L$ 随码距 $d$ 指数压制：

$$p_L\sim p_{\text{th}}{\left(\frac{p}{p_{\text{th}}}\right)}^{(d+1)/2}$$

其中 $p_{\text{th}}\approx 0.5\%-1\%$（表面码阈值）。

直观解释

• 造成逻辑错误需要至少 $d$ 个物理错误形成连接边界的链
• 概率 $\sim p^d$，当 $p<p_{\text{th}}$ 时，$p^d\to 0$（$d\to \infty$）

核心问题

表面码如何保证出错时 syndrome 一定从 +1 变 -1？

不能保证！ 这正是量子纠错的根本挑战：

表面码的防御策略：

与经典纠错的对应