格点手术

格点手术（lattice surgery）是在平面表面码阵列上执行逻辑操作的标准方案（Horsman–Fowler–Devitt–Van Meter, 2012）。核心动作只有两种：合并（merge）——开启两块相邻码块之间一行新的稳定子测量，把它们缝成一块大码；分裂（split）——测掉这行稳定子，把一块码拆回两块。本词条给出合并/分裂的稳定子代数、逻辑 CNOT 的完整协议推导、与缺陷编织的历史对比及资源核算。

历史脉络

• 编织时代（1997–2012）：表面码的逻辑门最初靠缺陷编织——在码面上打孔（不测量某些稳定子形成缺陷），通过测量放出/收回一排比特来移动缺陷，让一条缺陷的世界线绕另一条走一条闭合回路，实现逻辑 CNOT（Raussendorf–Harrington–Goyal; Fowler 等 2012 系统化）。缺陷之间必须保持约 $d$ 的间距（码距要求所隐含），空间开销大。
• 格点手术（2012）：Horsman 等人引入平面码块之间的合并/分裂操作：不需要移动任何缺陷，只在两块边界之间开/关一行稳定子测量，保持严格的二维近邻结构。平面码块本就比同码距的缺陷码省 $\sim 3$ 倍比特，手术使它获得完整的逻辑操作能力。
• 编译时代（2019– ）：Litinski 的 A Game of Surface Codes 把逻辑电路编译规范化为”多体 Pauli 测量日程 + Pauli 帧追踪”，魔术态工厂供给 $T$ 门；此后的资源估算（如 Gidney–Ekerå）与工业路线图均以格点手术为基准操作集。twist 缺陷（Bombin 2010）则提供了介于两者之间的紧凑编码方案。

边界与逻辑算符的几何

平面表面码块有两类边界：粗糙（rough）与光滑（smooth）边界，区别在于哪类稳定子被截断在边界上。由此决定逻辑算符的几何（以下约定与 Horsman 原文一致）：

• $\overline{Z}$ 型逻辑链：沿光滑边界铺设的 $Z$ 链（$Z$ 链可以终止于粗糙边界）；
• $\overline{X}$ 型逻辑链：沿粗糙边界铺设的 $X$ 链（$X$ 链可以终止于光滑边界）。

边界类型决定手术测什么（推导骨架）：合并两块时，新增的稳定子行把两块的边界稳定子缝成大块的边界。沿光滑边界缝合时，两块各自的 ${\overline{Z}}_1,{\overline{Z}}_2$ 链在新斑块上连成一条横贯两块的链——它不再悬挂在任何边界上，成为大块的可测量稳定子；其测量值恰是 ${\overline{Z}}_1{\overline{Z}}_2$ 的本征值。沿粗糙边界缝合时同理给出 ${\overline{X}}_1{\overline{X}}_2$。因此：

$\text{光滑合并}\Rightarrow \text{测量 }{\overline{Z}}_1{\overline{Z}}_2,\text{粗糙合并}\Rightarrow \text{测量 }{\overline{X}}_1{\overline{X}}_2.$

分裂是合并的逆：把一行中间比特测掉（光滑分裂测 $X$ 基、粗糙分裂测 $Z$ 基），一块变两块，测量结果的随机性体现为两个新码块逻辑态的纠缠（下节协议里正是靠它传态）。

逻辑 CNOT：完整协议推导

设定：控制面 $C$ 处于 $|C⟩=\alpha |0⟩+\beta |1⟩$，目标面 $T$ 处于 $|T⟩={\alpha }^{\prime }|0⟩+{\beta }^{\prime }|1⟩$，中间辅助面 $INT$ 制备于 ${|+⟩}_L$，另有两条物理比特带（一条 $|+⟩$ 带辅助光滑合并、一条 $|0⟩$ 带辅助粗糙合并）。每步操作后执行 $d$ 轮纠错。

第 1 步：光滑合并 $C$–$INT$（测 ${\overline{Z}}_C{\overline{Z}}_{INT}$，结果 $(-1{)}^M$）。 把 $|C⟩$ 写到 $X$ 基：$|C⟩=\bar{\alpha }|+⟩+\bar{\beta }|-⟩$。合并投影测量后，两块变一块、只剩一个逻辑比特，其态为

$\frac{1}{\sqrt{2}}\left[\right(\bar{\alpha }+(-1{)}^M\bar{\beta })|0⟩+(\bar{\alpha }-(-1{)}^M\bar{\beta }\left)|1⟩\right].$

$M$ 为偶时它恰是 $\alpha |0⟩+\beta |1⟩$（$M$ 为奇时差一个基重定义——不需要物理操作，记入 Pauli 帧）。信息此刻”住在”缝合后的大块里。

第 2 步：光滑分裂 $C$/$INT$。 测掉中间行（$X$ 基）后一块变两块，态变为 Bell 型关联

$\alpha {|00⟩}_{C,INT}+\beta {|11⟩}_{C,INT},$

即控制信息被拷贝成了两块之间的纠缠（相位分支被分裂测量的随机性吸收/追踪）。

第 3 步：粗糙合并 $INT$–$T$（测 ${\overline{X}}_{INT}{\overline{X}}_T$，结果 $(-1{)}^{M^{\prime }}$）。 在 $\alpha {|0⟩}_C|INT=0⟩+\beta {|1⟩}_C|INT=1⟩$ 分支上，${\overline{X}}_{INT}{\overline{X}}_T$ 的测量把 $INT$ 的值与 $T$ 的翻转绑定，投影结果为

$\alpha {|0⟩}_C|T⟩+(-1{)}^{M^{\prime }}\beta {|1⟩}_C|\bar{T}⟩,$

其中 $|\bar{T}⟩=\overline{X}|T⟩$：目标被翻转当且仅当控制为 $|1⟩$——这正是 CNOT 的定义行为，残余的 $(-1{)}^{M^{\prime }}$ 相位由基重定义（Pauli 帧）吸收。最后的分裂把 $INT$ 与 $T$ 重新分开，全程任何时刻码距不低于 $d$，得到可逆的、容错的逻辑 CNOT。$■$

这套”两次联合测量 + 帧”的结构与 CNOT 的隐形传态实现（Gottesman–Chuang 门隐形传态）在逻辑层完全同构：$\overline{ZZ}$ 与 $\overline{XX}$ 两次 Bell 型测量正是传送一个 CNOT 所需的资源，帧更新取代了物理修正门。

时序优化（Horsman 原文 §6）：朴素计数是三次手术 × $d$ 轮 ≈ $3d$ 轮。但若把控制面预先制备成 $d\times 2d$ 的长面，第一次合并可以省去；且分裂与第二次合并所需的测量互相对易、可同时进行——总时长压到 $d$ 轮，与缺陷编织持平。

资源核算（对照缺陷编织）

对码距 $d$ 的码（Horsman 原文数据）：

项目	平面码 + 手术	双缺陷编织	单缺陷编织
单逻辑比特面积	$\approx 2d^2$	$\approx 6d^2$	$\approx 10d^2$
CNOT 截面积	$2d(3d+2)$	$\approx 37d^2$	—
CNOT 时长	$d$ 轮	$d$ 轮	—

平面手术的 CNOT 用三块 $2d^2$ 面加两条 $2d$ 比特带，领先约一个常数因子（~6 倍）；在小码距端更可观：旋转晶格上码距 3 的手术 CNOT 只需 53 个物理比特（对比单缺陷最优 104、双缺陷 143）。大规模布局中还需为手术保留操作区（可扩展阵列中约只有四分之一的面积放数据比特，其余留作逻辑操作区）。手术期间的额外错误机制是缝合行测量引入的时空相关错误——靠 $d$ 轮重复测量与解码器的相关性处理兜底。

附属操作与编译模型

• 多体 Pauli 测量：三块以上的级联合并可直接测 ${\overline{Z}}_1{\overline{Z}}_2\cdots {\overline{Z}}_k$ 型算符——Litinski 的编译模型正是把任意 Clifford/算法线路拆成多体 Pauli 测量日程 + Pauli 帧，逻辑”门”退化为”测量调度”。
• GHZ 直接种备：一块长面经逐次分裂（每测掉一行中间比特就多分出一块：第一次分裂得 Bell 对，再分裂得三体 GHZ，……）得到 $k$ 块之间的 GHZ 纠缠（$\alpha |0\cdots 0⟩+\beta |1\cdots 1⟩$ 的推广，$k$ 块需 $k-1$ 次光滑分裂），比逐对 CNOT 省得多。
• 魔术态注入与蒸馏：$T$ 态先在码距 3 的小面注入（用物理级 CNOT 与交换把待注态与稳定子结构缝合，再经合并把码距扩到目标值），随后经蒸馏工厂提纯（见魔术态蒸馏）。
• 逻辑 $H$：对码面全部物理比特逐比特施加 $H$ 即可，代价是码面的粗糙/光滑边界朝向被整体旋转，需再经一次”扩张–收缩”恢复阵列朝向（Horsman §4.3 的码变形方案）。

整体图景：表面码逻辑计算 = {制备 $|\bar{0}⟩/|\overline{+}⟩$、$X/Z$ 基测量、光滑/粗糙合并分裂（即多体 Pauli 测量）} + Pauli 帧 + 魔术态工厂——这就是容错逻辑门实现词条中”测量即门”路线的完整形态。

关联词条

• 概念：表面码、容错逻辑门实现、魔术态蒸馏、码距与逻辑量子比特
• 硬件：超导量子比特

参考文献

• C. Horsman, A. G. Fowler, S. Devitt, R. Van Meter. Surface Code Quantum Computing by Lattice Surgery. New J. Phys. 14, 123011 (2012). arXiv:1111.4022 —— 格点手术原始文献（本词条协议推导与资源数据的出处）。
• A. G. Fowler, M. Mariantoni, J. M. Martinis, A. N. Cleland. Surface Codes: Towards Practical Large-Scale Quantum Computation. Phys. Rev. A 86, 032324 (2012). arXiv:1208.0928 —— 缺陷编织方案。
• R. Raussendorf, J. Harrington, K. Goyal. Topological Fault-Tolerance in Cluster-State Quantum Computation. New J. Phys. 9, 199 (2007). arXiv:quant-ph/0703143 —— 二维近邻容错的另一路径。
• H. Bombin. Topological Order with a Twist: Ising Anyons from an Abelian Model. Phys. Rev. Lett. 105, 030403 (2010). arXiv:1004.1838 —— twist 缺陷。
• C. H. Bennett, G. Brassard, C. Crépeau, R. Jozsa, A. Peres, W. K. Wootters. Teleporting an Unknown Quantum State via Dual Classical and Einstein-Podolsky-Rosen Channels. Phys. Rev. Lett. 70, 1895 (1993). —— 隐形传态原理。
• D. Gottesman, I. L. Chuang. Demonstrating the Viability of Universal Quantum Computation Using Teleportation and Single-Qubit Operations. Nature 402, 390 (1999). arXiv:quant-ph/9908010 —— 门隐形传态。
• D. Litinski. A Game of Surface Codes: Large-Scale Quantum Computing with Lattice Surgery. Quantum 3, 128 (2019). arXiv:1808.02892 —— 测量编译模型。
• C. Gidney, M. Ekerå. How to Factor 2048 Bit RSA Integers in 8 Hours Using 20 Million Noisy Qubits. Quantum 5, 433 (2021). arXiv:1905.09749 —— 手术资源估算范例。