3. 格点结构基础

表面码的纠错能力并不来自某个单独的量子比特，而是来自一整张“格点”上算符的排布方式。理解表面码的第一步，是把这张格点看清楚：哪些量子比特放在顶点上，哪些放在面上，稳定子算符如何交替铺开，以及边界为什么必须分成粗糙与光滑两种。本节围绕这四个几何要素展开，为后续码距设计打下基础。

一、正方格点：数据比特落在边上

表面码最常用的布局是正方格点（square lattice）。需要特别强调的是：数据量子比特并不放在格点的顶点上，而是放在格点的边上。把格点想象成一张方格纸，每个小方格的边中点上放一个数据比特，顶点和面则用来承载稳定子测量所需的辅助比特与算符支撑集。

采用这种“边为中心”的布局后，每个数据比特恰好与两个顶点相邻、与两个面相邻。这一对称性是表面码能够用两类稳定子交替覆盖全部数据比特的根本原因。若把数据比特放在顶点上，顶点与面的角色就会失衡，稳定子将无法形成规则的棋盘式交替结构。

二、顶点算符与面算符的交替排布

正方格点上定义两类稳定子：

• 顶点算符（星形算符，X 型）：支撑在某个顶点周围的所有数据比特上，算符形式为这些比特上 X 算符的乘积。
• 面算符（ plaquette 算符，Z 型）：支撑在某个面周围的所有数据比特上，算符形式为这些比特上 Z 算符的乘积。

由于数据比特位于边上，一个顶点周围的边恰好构成“星形”，一个面周围的边恰好构成“方框”。顶点算符与面算符在格点上呈棋盘式交替：相邻的两个面共享一条边，相邻的两个顶点也共享一条边，而任意一个顶点算符与任意一个面算符要么共享 0 个数据比特，要么共享 2 个数据比特。共享 0 个时两者对易；共享 2 个时，X 与 Z 在两条边上同时反交换，负号相互抵消，仍然对易。这正是表面码所有稳定子两两对易的几何来源。

三、边界类型：粗糙边界与光滑边界

有限大小的表面码不可能无限延伸，格点必须在某处终止，终止方式决定了边界的“类型”。表面码有两种边界：

• 粗糙边界（rough boundary）：边界终止在顶点算符上，即顶点算符沿边界被“截断”，面算符在边界处完整闭合。粗糙边界对 X 型逻辑算符起“终止”作用。
• 光滑边界（smooth boundary）：边界终止在面算符上，即面算符沿边界被截断，顶点算符完整闭合。光滑边界对 Z 型逻辑算符起“终止”作用。

几何上可以这样记忆：粗糙边界像一排“锯齿”，露出的是顶点；光滑边界像一条“直边”，露出的是面。两种边界必须成对出现，且方向交替，才能构成一个合法的表面码补丁。若四条边全部采用同一种边界，逻辑算符将无法在边界处终止，码距定义随之失效。

四、边界如何决定逻辑算符与码距

逻辑算符是沿格点“贯穿”的算符链。X 型逻辑算符是一条从一条粗糙边界延伸到另一条粗糙边界的 X 链；Z 型逻辑算符是一条从一条光滑边界延伸到另一条光滑边界的 Z 链。码距 d 就是这两类链中最短者的长度（以数据比特数计）。

因此，边界类型直接约束了码距：粗糙边界之间的距离决定 X 逻辑算符的最短长度，光滑边界之间的距离决定 Z 逻辑算符的最短长度。设计码距时，必须同时保证两个方向上的边界间距都不小于 d，否则整体码距会被较短的那个方向拉低。

五、一个可操作的布局检查示例

假设要构造一个 d=3 的表面码补丁。按上面的规则，粗糙边界之间的顶点间距至少为 3，光滑边界之间的面间距也至少为 3。若采用 4×4 个面的格点（即 5×5 个顶点），则上下粗糙边界之间相隔 4 个面、左右光滑边界之间相隔 4 个面，两个方向的最短逻辑链长度均为 4，满足 d≥3 的要求。若把格点缩成 3×3 个面，则最短链长度降为 3，恰好达到 d=3 的下限，此时任何一条数据比特错误都可能直接构成逻辑错误，容错裕度为零。

实际检查时可以按以下顺序核对：先数清两个方向上的边界间距，再确认每条逻辑链的端点确实落在同类型边界上，最后检查每个顶点算符与每个面算符的交集是否为偶数。这三步不需要运行任何仿真，仅凭格点图即可完成，是设计阶段最经济的自检方式。

掌握正方格点、顶点与面算符的交替排布、以及粗糙与光滑边界的几何含义之后，码距就不再是一个抽象数字，而是可以直接在格点图上“量”出来的边界间距。下一阶段讨论码距设计时，所有参数调整都将回到这张图上进行。