表面码逻辑bit的工作状态

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

表面码中，逻辑量子比特在执行量子算法时，其背后的物理量子比特是否始终处于某个特定的状态集合（如稳定子本征态）？

接下来围绕这个问题展开介绍。

引言

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

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

层次	状态特征
理想化抽象	逻辑量子比特始终处于逻辑码空间 C\mathcal{C}C，由稳定子 Si∣ψ⟩=+∣ψ⟩S_i \|\psi\rangle = +\|\psi\rangleSi∣ψ⟩=+∣ψ⟩ 定义
物理实际	物理量子比特持续受到错误扰动，通过周期性 syndrome 测量和实时解码维持逻辑信息的完整性

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

1. 逻辑门的实现方式

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

（1）横向门（Transversal Gates）

逻辑 XLX_LXL = 同时对所有物理比特（或某条链上的比特）施加 XXX
逻辑 ZLZ_LZL = 同时对所有物理比特（或某条链上的比特）施加 ZZZ
逻辑 HLH_LHL = 对所有物理比特施加 HHH，然后重新映射表面码边界

（2）格点手术（Lattice Surgery）

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

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

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

2. 物理状态的动态特征

在逻辑门执行期间：

复制代码

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

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

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

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

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

复制代码

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

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

阶段	物理状态描述
刚完成纠错	投影回码空间（理想情况）或已知错误子空间
门操作期间	错误开始积累，物理比特偏离码空间
Syndrome 测量	通过辅助比特测量稳定子，获取错误信息
解码后	根据 syndrome 历史，推断错误链，更新逻辑状态或执行物理纠正

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

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

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

∣Ψphys⟩∈⨁sCs|\Psi_{\text{phys}}\rangle \in \bigoplus_{\mathbf{s}} \mathcal{C}_{\mathbf{s}}∣Ψphys⟩∈s⨁Cs

其中：

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

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

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

在逻辑基底下 （如 ∣0L⟩,∣1L⟩|0_L\rangle, |1_L\rangle∣0L⟩,∣1L⟩ 或 ∣+L⟩,∣−L⟩|+_L\rangle, |-_L\rangle∣+L⟩,∣−L⟩），物理状态满足：

Si∣ψ⟩=si∣ψ⟩,ZL∣ψ⟩=z∣ψ⟩(或 XL∣ψ⟩=x∣ψ⟩)S_i |\psi\rangle = s_i |\psi\rangle, \quad Z_L |\psi\rangle = z |\psi\rangle \quad (\text{或 } X_L |\psi\rangle = x |\psi\rangle)Si∣ψ⟩=si∣ψ⟩,ZL∣ψ⟩=z∣ψ⟩(或 XL∣ψ⟩=x∣ψ⟩)

其中 si=±1s_i = \pm 1si=±1 是 syndrome 值，z=±1z = \pm 1z=±1 是逻辑 ZZZ 的本征值。

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

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

复制代码

初始状态：|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 测量检测到该翻转
        ↓
解码器推断错误位置，更新逻辑状态或执行纠正

五、总结

问题	答案
物理比特是否始终处于码空间？	否。由于环境噪声，它们持续偏离码空间
物理比特是否始终处于稳定子本征态的某个子空间？	是。每次 syndrome 测量后，状态投影到某个 Cs\mathcal{C}_{\mathbf{s}}Cs
逻辑信息是否始终被保护？	是。通过 syndrome 历史和实时解码，逻辑错误率被指数抑制
逻辑门如何保持容错？	通过横向实现或格点手术，确保错误不扩散到逻辑层面

六、关键公式

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

Hphys=⨁sCs≅⨁s(Hlogical⊗∣s⟩)\mathcal{H}{\text{phys}} = \bigoplus{\mathbf{s}} \mathcal{C}{\mathbf{s}} \cong \bigoplus{\mathbf{s}} \left( \mathcal{H}_{\text{logical}} \otimes |\mathbf{s}\rangle \right)Hphys=s⨁Cs≅s⨁(Hlogical⊗∣s⟩)

其中：

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

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