表面码中数据 bit 的量子态

在表面码中，数据量子比特的物理bit状态，在测量之后，总是处在X和Z的本征态的交集上（处于稳定子生成元的共同本征态）。

核心概念澄清

在表面码中，数据量子比特（data qubits）的物理状态在测量后确实处于稳定子生成元的共同本征态，但这与"X和Z本征态的交集"需要仔细区分。

1. 稳定子测量的本质

表面码的测量对象是辅助量子比特（ancilla qubits），而非直接测量数据量子比特。通过特定的稳定子电路（X-型和Z-型 plaquette/star 测量），我们测量的是数据量子比特的联合算符：

• Z-型稳定子 $S_Z=Z_a{Z}_b{Z}_c{Z}_d$（顶点/星算符）
• X-型稳定子 $S_X=X_a{X}_b{X}_c{X}_d$（面/plaquette 算符）

这些稳定子算符对易且本征值为 ±1。逻辑量子态被定义为所有稳定子本征值为 +1 的子空间。

2. 数据量子比特的物理状态

关键点：数据量子比特从不被单独测量（否则会破坏编码）。它们始终处于稳定子本征空间的叠加态。

如果非要描述单个数据量子比特的状态，在稳定子测量后（即 syndrome 提取后），系统整体处于：

∣ψ⟩∈C={∣ϕ⟩:Si∣ϕ⟩=+∣ϕ⟩,∀i}|\psi\rangle \in \mathcal{C} = \{ |\phi\rangle : S_i |\phi\rangle = +|\phi\rangle, \forall i \}∣ψ⟩∈C={∣ϕ⟩:Si​∣ϕ⟩=+∣ϕ⟩,∀i}

其中 $\mathcal{C}$ 是码空间（codespace），由所有稳定子的 +1 本征空间定义。

3. "X和Z本征态的交集"的精确含义

对于单个物理量子比特，X和Z算符反对易：
$$XZ=-ZX$$

因此，不存在同时是X和Z本征态的单个量子比特态（除非是平凡的零态）。

但表面码中讨论的是多体联合算符：

• $X_L$（逻辑X）和 $Z_L$（逻辑Z）是跨多个物理比特的弦算符
• 它们彼此对易（当作用于编码态时）
• 逻辑量子态可以同时是 $X_L$ 和 $Z_L$ 的本征态（在特定逻辑基底下）

正确表述

具体例子：表面码的码空间

以 $d=3$ 表面码为例（9个数据量子比特，8个辅助量子比特）：

• 稳定子群由 4 个 $X$-型（面）和 4 个 $Z$-型（星）生成元生成
• 码空间维度：$2^{9-8}=2^1=2$，恰好编码 1个逻辑量子比特
• 逻辑基态 $|0_L⟩$ 和 $|1_L⟩$ 满足：
  $$S_i|j_L⟩=|j_L⟩,Z_L|j_L⟩=(-1{)}^j|j_L⟩$$

其中 $Z_L={\prod }_{i\in \text{某列}}{Z}_i$ 是纵向的Z弦算符。

总结

你的直觉方向是对的，但术语需要调整：

在表面码中， syndrome 测量后，系统处于稳定子群的共同 +1 本征空间（码空间）。数据量子比特本身不处于单个X或Z的本征态，而是处于多体纠缠态，该纠缠态是所有稳定子算符的本征态。逻辑量子信息编码在码空间的两个正交子空间中，这两个子空间由对易的逻辑算符 $X_L$ 和 $Z_L$ 区分。

"X和Z的本征态的交集"如果理解为逻辑算符 $X_L$ 和 $Z_L$ 的本征态，那在逻辑层面是成立的；但如果指单个物理比特的X和Z，则因反对易性而不存在。