1. 课程导入与表面码全景

量子纠错要解决的核心矛盾很朴素：量子比特会出错，而测量又会破坏量子态。表面码（Surface Code）之所以成为容错量子计算路线中最受关注的一类编码，正是因为它把这两个矛盾同时压到了一个可工程化的结构上——用二维方格上的数据比特与测量比特，通过只涉及近邻的稳定子测量，持续提取错误信息，而不直接读取数据比特的量子态。

要建立全景认识，先抓住三个关键词：格点结构、稳定子、码距。格点结构决定了硬件上比特如何排布、耦合如何连接；稳定子决定了每一轮测量“问什么问题”；码距决定了这套结构能容忍多少个错误。三者不是并列关系，而是层层约束：格点结构限制稳定子的支撑范围，稳定子的数量与形状又决定逻辑算符的最短路径，而这条最短路径的长度就是码距 d。

码距与格点结构的基本关系

在距离为 d 的表面码中，最直观的量化关系是：纠正 t 个错误需要 d ≥ 2t+1。也就是说，d=3 只能可靠纠正 1 个错误，d=5 可纠正 2 个，d=7 可纠正 3 个。但这句话只有在“错误彼此独立、且解码器能找到最短路径”的前提下才成立，实际工程中还要考虑测量错误、边界条件和解码算法质量。

格点规模与码距的关系同样可以量化。以常见的旋转表面码（rotated surface code）为例，一个距离 d 的编码块大致需要 d² 个数据比特和 d²−1 个测量比特，总计约 2d² 个物理比特。d=3 约 17 个比特，d=5 约 49 个，d=7 约 97 个。这个平方增长是表面码最现实的代价：把逻辑错误率压低一个数量级，物理比特数往往要翻数倍。下面的图示把“格点—稳定子—逻辑算符—码距”这条主线串起来，帮助你在进入细节之前先看清整体骨架。

课程学习地图

本课程共 30 章，整体按“结构—测量—解码—设计—工程”五条线索推进，你可以把它当作一张逐步展开的地图：

• 结构与编码基础：格点排布、数据/测量比特角色、稳定子定义、逻辑算符与边界。这一层解决“表面码长什么样”。
• 错误模型与症状提取：比特翻转、相位翻转、测量错误如何表现为症状图样，为什么需要多轮测量。这一层解决“错误如何被看见”。
• 解码与阈值：最小权重匹配、解码图构建、阈值概念与亚阈值行为。这一层解决“看见之后如何判断”。
• 码距设计与资源估算：给定目标逻辑错误率，如何反推 d、估算物理比特数与测量轮数。这一层解决“要多大才够”。
• 工程实现与验证：解码器接口、症状数据格式、模拟与基准测试、常见故障排查。这一层解决“如何落地并验证”。

建议的学习节奏是：前几章先把格点图和稳定子表画在纸上，亲手标出 d=3 时的 4 个 X 稳定子和 4 个 Z 稳定子；进入解码部分后，用一个小规模症状序列手动走一遍匹配过程；到码距设计部分，再用公式做一次资源估算。这样每一层都有可操作的抓手，而不是停留在名词记忆。

工具准备

本课程不依赖特定商业软件，但建议准备三类工具，覆盖“画、算、验”三个环节：

如果暂时不装模拟器，也可以先用一段小脚本把“码距—纠错能力—物理比特数”的对应关系算清楚，作为后续章节的基准表。例如下面这段示例代码（参数为教学假设，非实测结果）：

def surface_code_budget(d):
    data = d * d
    measure = d * d - 1
    total = data + measure
    t = (d - 1) // 2          # 可纠正错误数
    return data, measure, total, t

for d in (3, 5, 7, 9):
    data, meas, total, t = surface_code_budget(d)
    print(f"d={d}: 数据比特={data}, 测量比特={meas}, 合计≈{total}, 可纠错 t={t}")