在表面码中，数据量子比特的物理bit状态，在测量之后，总是处在X和Z的本征态的交集上（处于稳定子生成元的共同本征态）。
核心概念澄清
在表面码中，数据量子比特（data qubits）的物理状态在测量后确实处于稳定子生成元的共同本征态，但这与"X和Z本征态的交集"需要仔细区分。
1. 稳定子测量的本质
表面码的测量对象是辅助量子比特（ancilla qubits），而非直接测量数据量子比特。通过特定的稳定子电路（X-型和Z-型 plaquette/star 测量），我们测量的是数据量子比特的联合算符：
- Z-型稳定子SZ=ZaZbZcZdS_Z = Z_a Z_b Z_c Z_dSZ=ZaZbZcZd（顶点/星算符）
- X-型稳定子SX=XaXbXcXdS_X = X_a X_b X_c X_dSX=XaXbXcXd（面/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}
其中C\mathcal{C}C是码空间（codespace），由所有稳定子的 +1 本征空间定义。
3. "X和Z本征态的交集"的精确含义
对于单个物理量子比特，X和Z算符反对易：
XZ=−ZXXZ = -ZXXZ=−ZX
因此，不存在同时是X和Z本征态的单个量子比特态（除非是平凡的零态）。
但表面码中讨论的是多体联合算符：
- XLX_LXL（逻辑X）和ZLZ_LZL（逻辑Z）是跨多个物理比特的弦算符
- 它们彼此对易（当作用于编码态时）
- 逻辑量子态可以同时是XLX_LXL和ZLZ_LZL的本征态（在特定逻辑基底下）
正确表述
| 你的表述 | 精确表述 |
|---|---|
| “数据量子比特的物理bit状态” | 数据量子比特不被单独测量；测量的是联合稳定子 |
| “X和Z的本征态的交集” | 应指稳定子生成元（SXS_XSX和SZS_ZSZ型）的共同+1本征空间，或逻辑算符XL,ZLX_L, Z_LXL,ZL的本征态 |
| “测量之后” | 每次 syndrome 提取后，系统投影到稳定子的本征子空间 |
具体例子：表面码的码空间
以d=3d=3d=3表面码为例（9个数据量子比特，8个辅助量子比特）：
- 稳定子群由 4 个XXX-型（面）和 4 个ZZZ-型（星）生成元生成
- 码空间维度：29−8=21=22^{9-8} = 2^1 = 229−8=21=2，恰好编码1个逻辑量子比特
- 逻辑基态∣0L⟩|0_L\rangle∣0L⟩和∣1L⟩|1_L\rangle∣1L⟩满足：
Si∣jL⟩=∣jL⟩,ZL∣jL⟩=(−1)j∣jL⟩S_i |j_L\rangle = |j_L\rangle, \quad Z_L |j_L\rangle = (-1)^j |j_L\rangleSi∣jL⟩=∣jL⟩,ZL∣jL⟩=(−1)j∣jL⟩
其中ZL=∏i∈某列ZiZ_L = \prod_{i \in \text{某列}} Z_iZL=∏i∈某列Zi是纵向的Z弦算符。
总结
你的直觉方向是对的，但术语需要调整：
在表面码中， syndrome 测量后，系统处于稳定子群的共同 +1 本征空间（码空间）。数据量子比特本身不处于单个X或Z的本征态，而是处于多体纠缠态，该纠缠态是所有稳定子算符的本征态。逻辑量子信息编码在码空间的两个正交子空间中，这两个子空间由对易的逻辑算符XLX_LXL和ZLZ_LZL区分。
"X和Z的本征态的交集"如果理解为逻辑算符XLX_LXL和ZLZ_LZL的本征态，那在逻辑层面是成立的；但如果指单个物理比特的X和Z，则因反对易性而不存在。
