在表面码中数据量子比特的物理bit状态在测量之后总是处在X和Z的本征态的交集上处于稳定子生成元的共同本征态。核心概念澄清在表面码中数据量子比特data qubits的物理状态在测量后确实处于稳定子生成元的共同本征态但这与X和Z本征态的交集需要仔细区分。1. 稳定子测量的本质表面码的测量对象是辅助量子比特ancilla qubits而非直接测量数据量子比特。通过特定的稳定子电路X-型和Z-型 plaquette/star 测量我们测量的是数据量子比特的联合算符Z-型稳定子SZZaZbZcZdS_Z Z_a Z_b Z_c Z_dSZ​Za​Zb​Zc​Zd​顶点/星算符X-型稳定子SXXaXbXcXdS_X X_a X_b X_c X_dSX​Xa​Xb​Xc​Xd​面/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 提取后系统投影到稳定子的本征子空间具体例子表面码的码空间以d3d3d3表面码为例9个数据量子比特8个辅助量子比特稳定子群由 4 个XXX-型面和 4 个ZZZ-型星生成元生成码空间维度29−82122^{9-8} 2^1 229−8212恰好编码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则因反对易性而不存在。