3. 表面码的晶格与逻辑量子比特编码

表面码是容错量子计算中最具工程可行性的编码方案之一。它把若干物理量子比特排布在二维方格上，通过稳定子测量持续提取错误信息，从而在不直接测量数据量子比特的前提下保护一个逻辑量子比特。理解表面码，首先要看清它的几何布局：哪些量子比特承载信息、哪些负责测量、逻辑算符如何穿过晶格、边界如何决定可用的逻辑操作，以及一个逻辑量子比特究竟要消耗多少物理量子比特。

一、方格晶格：数据量子比特与测量量子比特的交错布局

表面码的几何基础是一个二维方格。方格上的量子比特分为两类，交替放置：数据量子比特位于方格的顶点（或格点），负责承载逻辑信息；测量量子比特位于方格的面上（或边中点），负责执行稳定子测量。二者在物理上都是同样的量子比特，只是角色不同。

稳定子分为两类：X 型稳定子由测量量子比特与其周围四个数据量子比特之间的 X 型相互作用构成，Z 型稳定子则由 Z 型相互作用构成。每个稳定子的本征值应为 +1；当测量结果为 −1 时，说明附近出现了错误（或测量本身出错），需要记录为“探测事件”。这些探测事件在时空图上形成“匹配图”，解码器据此推断最可能的错误链并施加纠正。

需要强调一个工程细节：稳定子测量不能直接测量数据量子比特，否则会破坏其叠加态。标准做法是用一个辅助测量量子比特与周围数据量子比特做受控门（CNOT），把联合奇偶性“搬”到测量量子比特上再读出。因此，测量量子比特必须与相邻数据量子比特建立可控耦合，这也是表面码对硬件连接度提出要求的根源。

二、逻辑 X/Z 算符的构造：沿边界延伸的“链”

逻辑算符不是单个物理量子比特上的操作，而是一串沿晶格延伸的物理算符乘积。逻辑 Z 算符是一串 Z 算符，沿竖直方向从一个边界延伸到对侧边界；逻辑 X 算符是一串 X 算符，沿水平方向从一个边界延伸到对侧边界。它们与所有稳定子都对易，因此不会破坏编码子空间，但会翻转逻辑量子比特的状态。

这里有一个关键约束：逻辑算符的“端点”必须落在相应类型的边界上。表面码有两种边界：粗糙边界（终止 Z 型链）和光滑边界（终止 X 型链）。逻辑 Z 链的两端必须接在粗糙边界上，逻辑 X 链的两端必须接在光滑边界上。若把链的端点放错边界类型，该算符将不再与所有稳定子对易，也就不能作为合法的逻辑算符。

逻辑算符的另一个重要性质是“等价类”：任何一条与某条逻辑链拓扑等价的链（相差若干稳定子的乘积）都实现同一个逻辑操作。这意味着逻辑算符的具体路径可以变形，只要端点所在的边界不变。这一自由度正是容错的基础——局部错误只会让链发生局部扭曲，而不会改变其拓扑类别。

三、缺陷与边界条件：决定逻辑操作可用性的几何约束

边界类型不仅约束逻辑算符，还决定了哪些逻辑操作可以被“横向”实现。在纯表面码中，逻辑 X 和逻辑 Z 分别沿两个正交方向延伸，二者在空间上交叉。若要在两个逻辑量子比特之间执行受控门，通常需要借助晶格手术（lattice surgery）或代码变形（code deformation），把两个码块的边界“缝合”起来再“切开”。缝合时，参与合并的边界类型必须匹配：粗糙对粗糙、光滑对光滑，否则合并后的稳定子集合不自洽。

缺陷（defect）是另一种几何资源。通过在晶格中“挖洞”并改变边界类型，可以把逻辑量子比特编码到缺陷之间的区域，或实现逻辑量子比特的移动与交互。缺陷的引入会改变逻辑算符的路径与等价类，因此在设计布局时必须把缺陷位置、边界类型和后续门操作一起规划，而不能先画晶格再临时补门。

四、编码一个逻辑量子比特需要多少物理量子比特

表面码的物理量子比特开销由码距 d 决定。码距 d 表示能纠正的最少错误数为 (d−1)/2，即 d=3 可纠正 1 个错误，d=5 可纠正 2 个错误。一个 d×d 的数据量子比特阵列需要 d² 个数据量子比特；测量量子比特穿插在数据量子比特之间，数量约为 d²−1（取决于边界处理方式）。因此，一个逻辑量子比特的物理量子比特总数约为 2d²−1。

以常见参数为例：d=3 时约需 17 个物理量子比特；d=5 时约需 49 个；d=7 时约需 97 个。若考虑边界上的额外测量量子比特与布线余量，实际工程实现通常按 2d² 量级估算。下表给出示例估算（属于合理假设，非实测数据）：

这个开销是“每个逻辑量子比特”的，且随码距平方增长。若算法需要数百个逻辑量子比特、每个码距为 15 以上，物理量子比特需求将迅速达到数十万量级。这正是容错量子计算资源评估的核心矛盾：逻辑错误率随 d 指数下降，但物理开销随 d² 上升，需要在目标逻辑错误率与可用物理资源之间做权衡。

从图中可以直观看到：逻辑 Z 链竖直穿过晶格，两端落在上下粗糙边界；逻辑 X 链水平穿过，两端落在左右光滑边界；两条链在中心交叉但互不干扰，因为它们分别由 Z 算符和 X 算符构成。测量量子比特位于数据量子比特之间，每个测量比特与周围四个数据比特耦合，构成一个稳定子。这种“数据在顶点、测量在面心”的交错布局，正是表面码能够用局部测量持续纠错的结构基础。

最后需要提醒：上述 2d²−1 的估算只覆盖单个逻辑量子比特的“静态”开销。实际容错架构中，逻辑量子比特之间需要留出缝合通道、缺陷移动空间和布线余量，物理量子比特总数往往高于该估算。做资源评估时，应把码距、逻辑量子比特数、门操作类型和布局余量一起纳入，而不是只乘一个 2d² 系数。