表面码 syndrome 的状态空间和约束

从如下命题切入开始思考。
命题：
从潜在上看，每个测量量子比特可以提供两个syndrome 状态（+1，-1），总状态数量似乎是 $2^N$ 个，但是， 实际上不可能占满全部 $2^N$ 种可能，因为错误发生时，-1 的出现有一定规律约束。

下面精确分析这个约束。

核心约束：syndrome 的局域性

物理根源

表面码的 syndrome 不是任意的 $N$ 比特串，而是受错误局域性严格约束。

单比特错误产生的 syndrome

数据比特:  ○ — ○ — ○
           | ★ | ★ |
           ○ — ○ — ○
           | ★ | ★ |
           ○ — ○ — ○

★ = 测量量子比特位置（星或 plaquette）

单个 $X$ 错误在某数据比特：

• 翻转相邻的 2 个或 4 个 $Z$-type stabilizer（plaquette）
• 产生 2 个或 4 个 $-1$ syndrome，且这些 $-1$ 相邻

单个 $Z$ 错误：

• 翻转相邻的 2 个或 4 个 $X$-type stabilizer（star）
• 同理，$-1$ 成簇出现

syndrome 的约束条件

1. 最小权重约束

关键：单个错误产生的 $-1$ 不是孤立的，而是成对/成簇出现。

2. syndrome 的"端点"结构

对于 $X$-type 错误链：

• 错误链的端点对应 syndrome $-1$
• 错误链的内部 syndrome 抵消（相邻 $-1$ 配对）

错误链:  X — X — X
        |   |   |
        ★— —★— —★
        -1  +1  -1  (端点处 -1，中间 +1)

** syndrome 的 $-1$ 总是成对出现**（或偶数个），对应错误链的端点。

3. 高维约束

对于 $N$ 个测量量子比特，实际有效的 syndrome 空间远小于 $2^N$：

具体计算

测量比特个数 $N=38$

假设是 $d\times d$ 表面码，$d\approx 5$ 或 $7$：

实际高概率 syndrome：

• 无错误：1 种
• 单比特错误：$\sim N_{\text{data}}\approx 25\sim 49$ 种
• 双比特错误：$\sim N_{\text{data}}^2\approx 625\sim 2401$ 种

总计低权重 syndrome：$O(10^3)\ll 2^{38}\approx 3\times 10^{11}$

解码的简化

解码器（MWPM、Ising-Decoding）利用这种稀疏性：

• 只需在** syndrome 图的匹配问题**中寻找最小权重错误链
• 不需要遍历全部 $2^N$ 种可能

与 Ising 模型的对应

随机键 Ising 模型

surface code 的 syndrome 对应 Ising 模型的畴壁配置：

约束：畴壁不能终止于自由端点（除非有磁单极子），因此 syndrome $-1$ 的分布受拓扑约束。

总结

这正是表面码可解码的数学基础——虽然 syndrome 空间巨大，但物理允许的 syndrome 极其稀疏。

将来进一步探讨：

• ** syndrome 图的精确结构与匹配问题的复杂度**
• 测量误差如何破坏这种约束（引入"任意" syndrome 模式）
• 高维拓扑码（如 4D 表面码）中的 syndrome 约束推广