表面码的测量环节只测量“测量qubit”

引子
表面码中，测量的时候，只测量“测量qubit“，而不测量”数据qubit“ 么？那么怎么得到 ${\hat{Z}}_a{\hat{Z}}_b{\hat{Z}}_c{\hat{Z}}_d$ 的特征呢？只有一个qubit的话。

核心答案

只测量"测量量子比特"（辅助量子比特），但测量结果编码了四个数据量子比特的联合信息 ${\hat{Z}}_a{\hat{Z}}_b{\hat{Z}}_c{\hat{Z}}_d$。

不是直接测量四个数据量子比特，而是通过纠缠操作将联合信息"转移"到单个测量量子比特上。

具体机制：Measure-Z 量子比特的周期

电路图（Fowler 论文图 1b）

测量qubit M（初始化 |g⟩）
    │
    ├──[CNOT]── 控制: a, 目标: M
    ├──[CNOT]── 控制: b, 目标: M
    ├──[CNOT]── 控制: c, 目标: M
    ├──[CNOT]── 控制: d, 目标: M
    │
    └──[M_Z]── 测量 M 的 Z

关键：CNOT 门的作用

CNOT 门的定义：

• 控制位 $|c⟩$，目标位 $|t⟩$
• $|0{⟩}_c|0{⟩}_t\to |0{⟩}_c|0{⟩}_t$
• $|1{⟩}_c|0{⟩}_t\to |1{⟩}_c|1{⟩}_t$（目标翻转）

当目标位初始为 $|g⟩=|0⟩$ 时：

$$\text{CNOT}(c,M):|x_a{x}_b{x}_c{x}_d⟩\otimes |0{⟩}_M\to |x_a{x}_b{x}_c{x}_d⟩\otimes |x_a\oplus x_b\oplus x_c\oplus x_d{⟩}_M$$

四个 CNOT 的级联效果

假设数据量子比特处于 ${\hat{Z}}_a{\hat{Z}}_b{\hat{Z}}_c{\hat{Z}}_d$ 的本征态，本征值为 $Z_{abcd}=\pm 1$。

经过四个 CNOT 后，测量量子比特 M 的状态变为：

$$|0{⟩}_M\to |x_a\oplus x_b\oplus x_c\oplus x_d{⟩}_M$$

但这不是我们想要的。实际上，稳定子测量是通过相位积累而非振幅翻转实现的。

更精确的分析：稳定子测量的量子电路

标准方法（Fowler 论文）

对于 Measure-Z（测量 ${\hat{Z}}_a{\hat{Z}}_b{\hat{Z}}_c{\hat{Z}}_d$）：

步骤：
1. M 初始化到 |g⟩ = |+⟩_X = (|0⟩ + |1⟩)/√2  （X基的本征态）
   等等，这里需要重新理解...

实际上，Fowler 论文中的 Measure-Z 电路是：

M ──[|g⟩]──⊕──⊕──⊕──⊕──[M_Z]──
           ↑  ↑  ↑  ↑
           a  b  c  d

其中：

• M 初始化到 $|g⟩$（Z基 +1 本征态）
• 四个 CNOT：a,b,c,d 为控制，M 为目标
• 最后测量 M 的 Z

为什么这能测量 ${\hat{Z}}_a{\hat{Z}}_b{\hat{Z}}_c{\hat{Z}}_d$？

关键：CNOT 在 X 基下的行为。

当 M 处于 $|g⟩=|0⟩$（Z基），四个 CNOT 后：

$$|0{⟩}_M\stackrel{\text{CNOT}(a,M)}{\to }|x_a{⟩}_M\stackrel{\text{CNOT}(b,M)}{\to }|x_a\oplus x_b{⟩}_M\stackrel{\text{CNOT}(c,M)}{\to }|x_a\oplus x_b\oplus x_c{⟩}_M\stackrel{\text{CNOT}(d,M)}{\to }|x_a\oplus x_b\oplus x_c\oplus x_d{⟩}_M$$

测量 M 的 Z 得到 $(-1{)}^{x_a\oplus x_b\oplus x_c\oplus x_d}$。

但这测量的是 $x_a\oplus x_b\oplus x_c\oplus x_d$，即 ** parity**，这正是 ${\hat{Z}}_a{\hat{Z}}_b{\hat{Z}}_c{\hat{Z}}_d$ 的本征值！

$${\hat{Z}}_a{\hat{Z}}_b{\hat{Z}}_c{\hat{Z}}_d|x_a{x}_b{x}_c{x}_d⟩=(-1{)}^{x_a+x_b+x_c+x_d}|x_a{x}_b{x}_c{x}_d⟩$$

更优雅的解释：相位反冲（Phase Kickback）

实际上，更标准的稳定子测量使用相位反冲：

测量 ${\hat{Z}}_a{\hat{Z}}_b{\hat{Z}}_c{\hat{Z}}_d$ 的标准电路

M ──|+⟩──[CNOT]──[CNOT]──[CNOT]──[CNOT]──[H]──[M_X]──
           ↑      ↑      ↑      ↑
           a      b      c      d

这里：

• M 初始化到 $|+⟩=(|0⟩+|1⟩)/\sqrt{2}$
• CNOT：M 为控制，数据量子比特为目标
• 最后 Hadamard + X 测量

相位反冲机制：

CNOT 的相位反冲：当控制位为 $|+⟩$ 时，目标位的 Z 错误会反冲到控制位的 X 相位。

$$\text{CNOT}(M,a):|+{⟩}_M|0{⟩}_a\to |+{⟩}_M|0{⟩}_a$$

$$|+{⟩}_M|1{⟩}_a\to |-{⟩}_M|1{⟩}_a$$

即：如果目标位为 $|1⟩$（Z = -1），控制位从 $|+⟩$ 变为 $|-⟩$。

四个 CNOT 后：

$$|+{⟩}_M\stackrel{\text{CNOT}(M,a)}{\to }\frac{1}{\sqrt{2}}(|0⟩+(-1{)}^{x_a}|1⟩)\stackrel{\text{CNOT}(M,b)}{\to }\frac{1}{\sqrt{2}}(|0⟩+(-1{)}^{x_a+x_b}|1⟩)\cdots$$

最终：

$$\to \frac{1}{\sqrt{2}}(|0⟩+(-1{)}^{x_a+x_b+x_c+x_d}|1⟩)=\{\begin{array}{ll}|+⟩& \text{if }{x}_a+x_b+x_c+x_d\text{ even}\\ |-⟩& \text{if }{x}_a+x_b+x_c+x_d\text{ odd}\end{array}$$

Hadamard 后：

$$|+⟩\to |0⟩,|-⟩\to |1⟩$$

测量 X 基（等价于测量 Z 基后 Hadamard），得到 $(-1{)}^{x_a+x_b+x_c+x_d}$。

Fowler 论文的具体电路

回到 Fowler 论文的图 1b：

M ──|g⟩──⊕──⊕──⊕──⊕──[M_Z]──
         ↑  ↑  ↑  ↑
         a  b  c  d

这里：

• M 初始化到 $|g⟩=|0⟩$（Z基）
• CNOT：a,b,c,d 为控制，M 为目标
• 测量 M 的 Z

效果：

M 的最终状态为 $|x_a\oplus x_b\oplus x_c\oplus x_d⟩$。

测量 Z 得到：

• 如果 $x_a\oplus x_b\oplus x_c\oplus x_d=0$：结果 +1
• 如果 $x_a\oplus x_b\oplus x_c\oplus x_d=1$：结果 -1

这正是 ${\hat{Z}}_a{\hat{Z}}_b{\hat{Z}}_c{\hat{Z}}_d$ 的本征值！

为什么数据量子比特不被破坏？

关键：CNOT 是幺正操作，数据量子比特的量子态被保持（只是与 M 纠缠）。

测量 M 后，数据量子比特投影到 ${\hat{Z}}_a{\hat{Z}}_b{\hat{Z}}_c{\hat{Z}}_d$ 的本征子空间，但不坍缩到单个计算基态。

具体来说：

• 如果测量结果为 +1：数据量子比特投影到 $x_a\oplus x_b\oplus x_c\oplus x_d=0$ 的子空间
• 如果测量结果为 -1：数据量子比特投影到 $x_a\oplus x_b\oplus x_c\oplus x_d=1$ 的子空间

在这两种情况下，数据量子比特仍保持叠加态，只是被约束在特定的本征子空间中。

与 Measure-X 的对比

总结

这正是稳定子码的精妙之处：通过辅助量子比特的测量，间接获取多体算符的信息，而不破坏数据量子比特的量子态。