表面码逻辑bit的工作状态

先提一个问题，引发思考：

表面码中，逻辑量子比特在执行量子算法时，其背后的物理量子比特是否始终处于某个特定的状态集合（如稳定子本征态）？
接下来围绕这个问题展开介绍。

引言

在表面码执行逻辑量子算法的过程中，物理量子比特并非始终处于"纯净"的码空间（codespace）中。

更准确地说，状态演化分为两个层次：

一、逻辑门操作期间的物理状态

1. 逻辑门的实现方式

表面码中的逻辑门不是直接在物理比特上操作单个物理门，而是通过以下方式实现：

（1）横向门（Transversal Gates）

• 逻辑 $X_L$ = 同时对所有物理比特（或某条链上的比特）施加 $X$
• 逻辑 $Z_L$ = 同时对所有物理比特（或某条链上的比特）施加 $Z$
• 逻辑 $H_L$ = 对所有物理比特施加 $H$，然后重新映射表面码边界

（2）格点手术（Lattice Surgery）

• 通过合并和分割两个表面码块来实现逻辑 CNOT
• 过程中涉及辅助量子比特和多轮 syndrome 测量

（3）魔术态蒸馏（Magic State Distillation）

• 用于实现非 Clifford 门（如 $T$ 门）
• 需要额外的物理资源和时间

2. 物理状态的动态特征

在逻辑门执行期间：

物理状态 = |逻辑信息⟩ ⊗ |错误模式⟩ + 高阶修正

• 逻辑信息：编码在码空间的自由度中
• 错误模式：由环境噪声引入的 $X$ 或 $Z$ 错误，表现为某些稳定子本征值翻转为 $-1$
• syndrome 提取：每轮测量稳定子，获取错误的位置信息

关键点：物理比特在门操作之间的 syndrome 测量间隙中，可能积累了错误，因此不严格处于码空间，而是处于码空间 + 错误子空间的叠加。

二、错误与纠错的动态循环

表面码的容错计算遵循周期性纠错循环：

[初始化] → [Syndrome Round 1] → [逻辑门] → [Syndrome Round 2] → [逻辑门] → ... → [测量]
    ↑___________________________________________________________↓
                        实时解码器（MWPM / Union-Find）

每个 syndrome round 的物理状态演化：

三、"始终处于一组…"的精确表述

通过上面的论述，我们可以重新陈述这个命题。

理解 A：物理比特始终处于稳定子本征态的直和分解

$$|{\Psi }_{\text{phys}}⟩\in \underset{\mathbf{s}}{⨁}{\mathcal{C}}_{\mathbf{s}}$$

其中：

• ${\mathcal{C}}_{\mathbf{s}}$ 是稳定子本征值为 $\mathbf{s}=(s_1,s_2,...,s_{n-k})$ 的子空间
• $\mathbf{s}=(+1,+1,...,+1)$ 对应纯净码空间 $\mathcal{C}$
• 其他 $\mathbf{s}$ 对应有错误但信息未丢失的子空间

syndrome 测量将状态投影到某个 ${\mathcal{C}}_{\mathbf{s}}$ 中，解码器追踪 $\mathbf{s}$ 的历史来推断逻辑错误。

理解 B：物理比特始终处于逻辑算符与稳定子的共同本征空间

在逻辑基底下（如 $|0_L⟩,|1_L⟩$ 或 $|{+}_L⟩,|{-}_L⟩$），物理状态满足：

$$S_i|\psi ⟩=s_i|\psi ⟩,Z_L|\psi ⟩=z|\psi ⟩(\text{或 }{X}_L|\psi ⟩=x|\psi ⟩)$$

其中 $s_i=\pm 1$ 是 syndrome 值，$z=\pm 1$ 是逻辑 $Z$ 的本征值。

四、一个具体例子：逻辑 $X_L$ 门

考虑 $d=3$ 表面码，执行逻辑 $X_L$：

初始状态：|0_L⟩（所有稳定子 +1，Z_L = +1）

步骤1：对所有数据比特施加 X（横向操作）
        ↓
物理状态变为：X_L |0_L⟩ = |1_L⟩
        ↓
此时：Z_L 本征值翻转为 -1，但稳定子仍保持 +1（因为 X 与 Z-型稳定子反对易，但 X_L 是特定的X链）

步骤2：若期间有物理错误发生（如某个数据比特发生 Z 错误）
        ↓
某个 Z-型稳定子本征值翻转为 -1
        ↓
下一轮 syndrome 测量检测到该翻转
        ↓
解码器推断错误位置，更新逻辑状态或执行纠正

五、总结

六、关键公式

表面码的完整希尔伯特空间分解：

$${\mathcal{H}}_{\text{phys}}=\underset{\mathbf{s}}{⨁}{\mathcal{C}}_{\mathbf{s}}\cong \underset{\mathbf{s}}{⨁}\left({\mathcal{H}}_{\text{logical}}\otimes |\mathbf{s}⟩\right)$$

其中：

• $\dim {\mathcal{H}}_{\text{logical}}=2^k$（$k$ 个逻辑量子比特）
• syndrome $\mathbf{s}$ 标记错误子空间
• 解码器的任务是从 syndrome 历史 {s(1),s(2),...}\{\mathbf{s}^{(1)}, \mathbf{s}^{(2)}, ...\}{s(1),s(2),...} 推断逻辑错误

后面，我们将进一步展开码空间的数学结构以及逻辑算符与稳定子的对易关系。