4. 表面码与拓扑码

表面码是当前量子纠错实验中最受关注的拓扑码之一。它的核心思想并不复杂：把物理量子比特排布在二维格点上，用局域的稳定子测量不断“检查”相邻比特之间的宇称关系，从而在不直接测量数据比特的前提下发现错误。理解表面码，需要同时抓住五个相互咬合的要素：格点结构、稳定子测量、逻辑算符、边界条件，以及错误链与最小权重解码。它们不是彼此独立的模块，而是一套从硬件布局到经典后处理的完整闭环。

一、格点结构：数据比特与测量比特的交错排布

以最常见的旋转表面码为例，数据比特（data qubit）位于方格顶点，测量比特（ancilla qubit）位于方格面心或边中点。每个测量比特只与周围的数据比特耦合，形成两类稳定子：X 型稳定子和Z 型稳定子。在旋转布局中，X 稳定子通常位于“棋盘格”的一类方格上，Z 稳定子位于另一类方格上，二者交错覆盖整个格点。每个稳定子涉及 4 个数据比特（边界处可能只涉及 2 个），其本征值被反复测量，结果以 ±1 表示。

这种交错结构带来一个关键性质：任意一个数据比特上的错误，会同时触发相邻的 X 稳定子和 Z 稳定子发生翻转。也就是说，错误不会只在一个稳定子中“显形”，而是以成对或成链的方式留下痕迹。这正是后续错误链与解码的物理基础。

二、稳定子测量：不破坏逻辑信息地“读错误”

稳定子测量的目标，是获取每个稳定子的本征值，同时不扰动编码的逻辑态。以 X 型稳定子为例，典型电路是：制备一个测量比特到 |0⟩，用 CNOT 依次以测量比特为控制、四个数据比特为目标，再对测量比特做 Hadamard 测量。Z 型稳定子则反过来，以数据比特为控制、测量比特为目标，最后直接测量测量比特。测量结果给出该稳定子的宇称：0 表示 +1，1 表示 −1。

实际执行中，稳定子测量会重复很多轮。每一轮得到一组“稳定子翻转图样”，称为 syndrome。单轮 syndrome 只能说明“某些稳定子被翻转了”，并不能直接指出哪个数据比特出错。真正有用的是相邻轮次之间的差异：如果某个稳定子在连续两轮中从 +1 变为 −1，说明在这两轮之间，有错误链的端点落在了它附近。因此，表面码解码通常处理的是“时空中的 syndrome 变化”，而不是单张静态图。

三、逻辑算符与边界条件：逻辑信息藏在哪里

表面码的逻辑算符不是单个比特上的操作，而是贯穿整个格点的“链”。逻辑 X 算符是一条从左边界到右边界的 X 型链，逻辑 Z 算符是一条从上边界到下边界的 Z 型链。它们与所有稳定子对易，因此不会改变 syndrome；但它们改变逻辑态，是真正承载编码信息的操作。

边界条件决定了逻辑算符的“起点”和“终点”。在旋转表面码中，通常有 X 型边界和 Z 型边界两类。X 稳定子链可以终止在 X 边界上，Z 稳定子链可以终止在 Z 边界上。边界不是装饰，它直接决定哪些错误链是“无害的”——如果一条错误链的两个端点都落在同一边界上，它等价于一个稳定子乘积，不改变逻辑态；只有当错误链连接了两条不同边界，才可能构成逻辑错误。因此，判断一个错误是否危险，必须结合边界类型来看。

四、错误链与最小权重解码

当数据比特发生错误时，相邻稳定子的测量结果会翻转。把时空中的 syndrome 翻转点看作“端点”，解码器的任务就是把这些端点两两配对，并推断出最可能连接它们的错误链。由于量子错误可以沿格点边传播，一条错误链的两个端点会表现为两个被翻转的稳定子。解码的本质，是在所有可能的配对与路径中，找到总权重最小的一组解释。

最小权重解码（MWPM，Minimum Weight Perfect Matching）是表面码最经典、最常用的解码策略。它把每个 syndrome 翻转点当作图中的一个顶点，把任意两点之间的最短路径长度作为边权，然后求解最小权完美匹配。匹配结果给出错误链的估计位置，再根据这些链是否跨越逻辑边界，决定是否施加逻辑修正。权重通常与物理错误率相关：错误率越低，长链的权重越大，解码器越倾向于选择短链解释。

五、从 syndrome 到修正：一个完整的判断链

把上述要素串起来，表面码的一次纠错循环可以这样理解：物理量子比特执行若干轮稳定子测量，得到时空 syndrome；解码器把 syndrome 翻转点映射为图中的顶点，用最小权重匹配找出最可能的错误链；再根据错误链端点落在哪类边界上，判断它是否构成逻辑错误；最后决定是否施加逻辑修正。整个过程不需要直接测量数据比特的量子态，也不需要知道错误具体发生在哪个物理比特上，只需要利用稳定子测量提供的宇称信息。

需要特别注意的是，表面码的纠错能力与码距 d 直接相关。码距越大，格点越大，逻辑算符越短不了，能纠正的错误链长度也越长。但代价是所需物理比特数增加、测量轮数增加、解码复杂度上升。因此在实际设计中，码距、物理错误率、测量轮数和解码延迟需要联合权衡。对于当前主流的超导和离子阱平台，d=3 到 d=7 的表面码是实验上较常见的探索区间，而最小权重解码及其近似算法则是经典后处理环节的核心。