3. 量子纠错: 逻辑 qubit / surface code / 现实挑战
TL;DR
量子比特极其脆弱：环境噪声、测量错误、门错误都会让计算失效。量子计算要规模化，必须纠错。但量子纠错和经典纠错（信息论 §汉明码/RS）根本不同——因为量子态不能复制（no-cloning），只能把 1 个逻辑 qubit 编码到多个物理 qubit + 周期性测量纠错。当前主流是 surface code。这一章讲清"为什么纠错这么难、逻辑 qubit 怎么造、现在到哪一步了"。
读完应能：
- 说出经典纠错 vs 量子纠错的根本差异（no-cloning / 测量坍缩）。
- 理解逻辑 qubit 概念：多个物理 qubit 编码 1 个逻辑 qubit。
- 理解 surface code 的核心思想（网格 + stabilizer + 测量纠错）。
- 理解"逻辑错误率 < 物理错误率"的阈值定理意义。
- 知道当前现实（logical qubit 时代、Y2Q 估计），不迷信炒作。
一、为什么量子纠错和经典纠错完全不同
1.1 经典纠错复习（信息论 §4）
汉明码：用冗余 bit（7 个物理 bit 编 4 个数据 bit），出错时多数投票纠正。
经典: bit 可以复制 → 存多份 → 多数投票
1011 → 1011 1011 1011 → 有一位翻 → 多数修回
1.2 量子纠错的三个障碍
| 障碍 | 说明 |
|---|---|
| No-cloning 定理 | 量子态不能被复制（不可克隆），所以不能"存多份投票" |
| 测量坍缩 | 直接测量会破坏叠加态（一测就坍缩成经典结果） |
| 错误连续 | 错误不是"0→1"离散翻，而是连续的相位/振幅漂移 |
1.3 量子纠错的突破思路
不复制态, 而是把"逻辑态"分布到多个物理 qubit 的纠缠态里
用"稳定子测量"(stabilizer measurement) 检测错误, 不破坏数据
错误是离散的(X/Z 两类) → 类比经典奇偶校验
关键：纠错靠冗余编码 + 关联测量，不是复制。经典纠错可复制、量子靠纠缠。
二、逻辑 qubit：基础概念
2.1 定义
逻辑 qubit = 由多个物理 qubit 通过纠错码编码出的"可靠"量子比特。
1 个逻辑 qubit (可靠)
↕ 编码
N 个物理 qubit (脆弱) + 周期性纠错
- 物理 qubit 是硬件里的真实比特（超导/离子阱/光子...）。
- 逻辑 qubit 是"抽象出来的可靠计算单位"——算法跑在逻辑 qubit 上。
2.2 冗余比例
| 编码 | 物理:逻辑 | 说明 |
|---|---|---|
| 小演示码（Steane/Shor） | 7:1 | 教学/小规模 |
| Surface code | ~100-1000:1 | 当前主流、容错阈值好 |
| 更高级 | 更多 | 追求更低开销 |
warning
这就是为什么"Shor 要百万物理 qubit"：分解 RSA-2048 需要 ~2-3k 个逻辑 qubit，每个逻辑 qubit 又要 ~几百-上千个物理 qubit → 总物理 qubit 达百万级。
三、Surface code：当前主流
3.1 网格布局
Surface code 把物理 qubit 排成 2D 网格：
数据 qubit (d): 存逻辑信息 (交叉点)
测量 qubit (m): 检测错误 (稳定子测量)
d ─ m ─ d ─ m ─ d
│ │ │ │ │
m ─ d ─ m ─ d ─ m
│ │ │ │ │
d ─ m ─ d ─ m ─ d
- 数据 qubit 承载逻辑信息（X 和 Z 两类错误）。
- 测量 qubit 周期性地做 stabilizer 测量（探测相邻数据位是否出错），不破坏数据。
3.2 Stabilizer 测量（关键机制）
测量 qubit 与相邻数据 qubit 纠缠 → 测出"奇偶性" (stabilizer 本征值)
错误发生时 → 奇偶性翻转 → 检测到
→ 用"错误综合征"(syndrome) 定位错误位置 → 纠正
- 类比：像奇偶校验位，但测量不坍缩数据（因为测的是关联，不是数据本身）。
- 错误综合征 → 解算错误位置（经典解码，如 matching 算法）→ 施加纠正门。
3.3 距离（distance）d
- Surface code 的距离 d = 网格边长（数据 qubit 每边数量）。
- 更大的 d → 能纠正更多错误 → 逻辑错误率指数下降（如果物理错误率低于阈值）。
- 纠错能力：能纠正 $\lfloor (d-1)/2 \rfloor$ 个错误链。
3.4 阈值定理（Threshold Theorem）
如果物理错误率低于某阈值（surface code 约 1%），那么增大码距离 d 就能指数级降低逻辑错误率——理论上可以无限制地可靠计算。
物理错误率 < 阈值 (≈1%) → 逻辑错误率指数降
物理错误率 > 阈值 → 越纠越错 (扩码无用)
这就是"容错量子计算是可能的"的理论保证——前提是硬件好过阈值。
四、稳定子与纠错过程（更具体）
4.1 两个 stabilizer 类型
- X-type stabilizer：检测 Z 错误（相位翻转）。
- Z-type stabilizer：检测 X 错误（比特翻转）。
4.2 纠错循环
1. 周期性测量 stabilizer (每个测量 qubit)
2. 对比测量结果 (寻找"错误综合征"变化)
3. 解码: 用综合征图定位错误链 (经典算法, 如 Union-Find / MWPM)
4. 应用纠正门 (X 或 Z, 看错误类型)
5. 返回步骤 1 (持续, 因为错误连续发生)
note
纠错是持续在线的——不像经典存储"纠一次"，量子计算中错误不断产生，所以纠错要周期性进行，且纠错本身要快过错误累积。
4.3 容错门（Fault-tolerant gates）
- 纠错码允许的"逻辑门"要满足容错性：门操作不把错误放大到不可控。
- 这极其复杂——Clifford 门容易，非 Clifford 门（T 门）难（需要 magic state distillation）。
- 实现逻辑门 + 纠错 = 整个"容错量子计算"的最大工程难题。
五、当前现实（2026 视角）
5.1 里程碑
| 年份 | 进展 |
|---|---|
| 2021-2023 | 多个团队演示逻辑 qubit 错误率 < 物理 qubit（small distance） |
| 2024-2025 | Google (Willow) 等演示 surface code 增大 distance 后逻辑错误率下降（关键验证） |
| 2026+ | 冲击 ~100 逻辑 qubit；错误率仍未低到跑 Shor |
| 远期 | 百万物理 qubit 才能威胁 RSA-2048 |
5.2 挑战清单
1. 物理错误率要 < 阈值 (≈1%) — 硬件质量
2. 大规模 2D 网格 + 快速经典解码 — 工程
3. 容错逻辑门 (T 门 / magic state) — 理论+工程
4. 冷却/稳定 (超导需 mK 温度) — 物理
5. 与经典 CPU 协同 (混合计算) — 系统
5.3 Y2Q（Years to Quantum）
- 估算：10-30 年才可能有实用规模量子计算机。
- 现在就该做的：后量子密码迁移（公钥换成 PQC），因为"今天截获、明天解密"（harvest-now-decrypt-later）是现实威胁。
warning
别听"明年破解"的炒作，也别无视风险。现在值得做的：把 RSA/ECC 迁移到 PQC（NIST 已标准化 Kyber/Dilithium），尤其是长期保密数据。这是"确定性需求 + 不确定时间表"的经典风险管理。
六、与信息论/密码学的接口
| 概念 | 经典对应 | 量子 |
|---|---|---|
| 冗余编码 | 汉明/RS（§info-theory） | surface code / stabilizer |
| 奇偶校验 | parity check | stabilizer 测量 |
| 纠错能力 | 最小距离 → 纠 t 错 | 码距离 d → 纠 (d-1)/2 错 |
| 阈值 | 香农容量 | 阈值定理（1%） |
| 安全威胁 | RSA/ECC | Shor / Grover（§algorithms） |
| 防御 | 换长密钥 | PQC（Kyber/Dilithium） |
七、结束 + 速查表
tip
一页快速唤回：
- 量子纠错 ≠ 经典纠错：no-cloning（不能复制）、测量坍缩、错误连续 → 靠纠缠编码 + stabilizer 测量。
- 逻辑 qubit = 多个物理 qubit 编码的可靠比特；算法跑在逻辑 qubit 上。
- Surface code：2D 网格 + 数据/测量 qubit + stabilizer 周期测量 + 经典解码。
- 距离 d：越大能纠越多错；逻辑错误率指数降（低于阈值时）。
- 阈值定理：物理错误率 < ~1% → 容错可行。
- 容错门：Clifford 易、T 门难（magic state）。
- 现状（2026）：~100 逻辑 qubit 时代；Shor 要百万物理 qubit → Y2Q 10-30 年。
- 现在该做：PQC 迁移（Kyber/Dilithium）——harvest-now-decrypt-later 是现实威胁。
回主目录: 量子计算卷 README.