CSS 定义的实例化演示

我们来用Steane码——基于Hamming码的具体实例——从头到尾演示CSS码定义中的全部集合关系。这是最经典、最具体的CSS码，每一步都可以用手工验算。

完整实例：用Hamming 码构造 Steane码

第一步：选定经典码对

取

这是一个7比特长、4维、最小距离3的二元线性码。它的校验矩阵（同时也是生成其对偶码的矩阵）为：

的16个码字就是所有满足的7维二元向量。

第二步：验证核心条件——对偶包含

这是CSS码存在的生命线。我们需要证明：的每一个码字都在里面。

由的三行张成：

验证：

同理。由于（可以逐行点乘验证），所有行的线性组合都在的核空间里，故：

条件满足。是一个码（8个码字），它是的一个3维子空间。

第三步：确定量子码参数

参数	计算	结果
物理量子比特数 n	码长	7
​ 维数​	4	4
​ 维数		3
逻辑量子比特数 k		1
纠错能力 d		3

于是我们得到Steane 码的参数：

即：7个物理量子比特编码1个逻辑量子比特，可纠正任意单量子比特错误。

第四步：构造陪集——这是最关键的一步

因为，我们可以做商空间。

这是一个维的商空间，只有2个陪集：

陪集 0：（8个向量）

代表元	向量	重量
		0
​		4
​		4
​		4
​		4
​		4
​		4
​		4

观察：包含1个零向量和7个重量为4的向量。这就是著名的[7,3,4] Simplex 码。

陪集 1：（另8个向量）

取中但不在里的一个向量作为陪集代表，例如：
重量为3，确实在中

陪集包含：

观察：这个陪集里有7个重量为3的向量和1个全1向量（重量7）。

总体验证：，共个向量，正好是。两个陪集互不相交，完美划分了。

第五步：构造量子编码子空间

现在进入量子世界。对每个陪集，构造等权重叠加态：

逻辑零态

具体写出：

逻辑一态

具体写出：

完整的编码子空间

这是2维希尔伯特子空间，嵌在维的物理空间中。

第六步：直观理解这些集合关系

我们可以用一张图来总结全部关系：

F_2^7 (128个向量，全集) │ ├─ C = [7,4,3] Hamming 码 (16个码字) ──────────────┐ │ │ │ ├─ C⊥ = [7,3,4] Simplex 码 (8个向量) │ │ │ = 陪集 0 = 0 + C⊥ │ │ │ → 量子态 |0_L⟩ │ │ │ │ │ └─ g + C⊥ (8个向量) │ │ = 陪集 1 │ │ → 量子态 |1_L⟩ │ │ └─ 其余 112 个向量 ──→ 非码字，syndrome 非零

核心对应关系：

经典层面	量子层面
陪集	逻辑基态
陪集	逻辑基态
两个陪集互不相交	两态正交
陪集大小	归一化因子
商空间维数为1	逻辑量子比特数为1

第七步：错误检测的集合演示

假设一个错误发生在第1个物理量子比特上（即翻转第1个比特）。例如错误作用于中的基态：

现在问：属于哪个陪集？计算 syndrome：

这个结果正好是的第1列（或者说与的 syndrome 相同），它告诉我们：错误发生在位置1。

关键观察：
-（syndrome 非零）
- 但它与中某个向量的距离为1（与差1比特）
- syndrome 的每一个非零结果唯一对应一个单比特错误位置

这正是的最小距离保证的：它能纠正个错误。

总结：从集合关系到量子态的完整链条

← 对偶包含（代数生命线）
↓
← 商空间（2个陪集）
↓
陪集 0 ──→ |0_L⟩ = (1/√8) Σ|0+C_2⊥⟩
陪集 1 ──→ |1_L⟩ = (1/√8) Σ|g+C_2⊥⟩
↓
span{|0_L⟩, |1_L⟩} ← 2维编码子空间
↓
X错误 → C_1的syndrome检测
Z错误 → C_2的syndrome检测（在Hadamard基下）

通过这个Steane码的具体例子，我们可以清晰地看到：CSS码本质上就是把两个经典码的陪集结构，通过量子叠加原理，转化为逻辑量子比特的编码空间。集合的包含关系（）保证了陪集可以良定义地构造；陪集的不相交性保证了量子态的正交性；而经典码的距离则直接转化为量子码的纠错能力。