跳到主要内容
Sandbox Physics

Q045 · 检测 / 解码 / 修复

量子纠错与错误综合征

编码一个量子比特，加入错误，再读取辅助比特。根据综合征选择修复，比较三比特重复码与完整五比特码，最后检验恢复的状态。

交互模型量子纠错与错误综合征
已记录试次00
当前记录给出的结果—\text{—}
一份消息 · 多个数据比特

这里只读取辅助比特

理想电路协议；线条表示寄存器，不是原子轨迹。每次检查重置并复用一个辅助比特。

  1. 编码与噪声
  2. 读取检查
  3. 解码
  4. 校正
  5. 验证

准备就绪，尚无记录。

02 / 记录告诉了我们什么

检查没有报警，也可能已经出错。

理想目标态验证，带百分之九十五逐点 Wilson 区间；未编码对照是另一独立比特，经历同样的存储通道与额外错误。

—\text{—}

—\text{—}

03 / 解码器只看检查结果

相同综合征，给出相同修复。

多个错误可能伪装成一个可纠正错误；综合征翻转也可能触发错误修复。最终目标态投影会消耗编码态，与综合征测量分开。

04 / 保存证据

比较完整记录。

显示最近十二次；导出保留全部零结果和失败结果。最多保存六组，可恢复原设置与记录。

编码、错误模型与科学来源

每个生成元通过新辅助比特测量：Hadamard、受控 Pauli 因子、Hadamard、读出。每次受控门后，作用过的数据比特可能发生均匀 Pauli 错误。省略辅助比特传播错误、泄漏、关联噪声、编码及验证错误。存储噪声在检查前独立作用于各数据比特；校正门理想。

—\text{—}

重复码只保护比特翻转；五比特码在理想检查下纠正任意单比特错误。随机错误率只对应已声明模型，不是硬件误差预算或容错阈值。资源计数只覆盖综合征检查，不含编码与验证电路分解。

IBM · Stabilizer codes · Laflamme et al. · Perfect quantum code

物理教程

量子纠错与错误综合征

背景编码一个量子比特，加入错误，再读取辅助比特。根据综合征选择修复，比较三比特重复码与完整五比特码，最后检验恢复的状态。

为什么值得理解从真正可观测的信息做预测，再独立验证。

先抓重点

核心问题
不读出消息本身，能找到哪里出错吗？
一句话直觉
稳定子检查获取错误综合征，同时保留逻辑叠加；最终目标测量回答另一个问题，且会消耗状态。

核心数学模型

保留消息

∣ψL⟩=α∣0L⟩+β∣1L⟩,Sj∣ψL⟩=∣ψL⟩|\psi_L\rangle=\alpha|0_L\rangle+\beta|1_L\rangle,\qquad S_j|\psi_L\rangle=|\psi_L\rangle

编码把叠加态分布在编码子空间中，不是把输入克隆成独立副本。

辅助检查

Mb=I+(−1)bSj2M_b=\frac{I+(-1)^b S_j}{2}

辅助 Hadamard、受控稳定子与末次 Hadamard 实现这些投影；显示的是包含所选读出翻转的经典记录。

重复码极限

Pfail=3p2(1−p)+p3P_{\rm fail}=3p^2(1-p)+p^3

编码零态、独立比特翻转存储错误和理想检查下，两个或三个翻转导致失败；它不保护相位错误，也不证明容错阈值。

最终已知态验证

Ppass=∣⟨ψL∣ψrecovered⟩∣2P_{\rm pass}=|\langle\psi_L|\psi_{\rm recovered}\rangle|^2

把理想目标投影采样为通过或失败记录；它不是综合征测量，也不是普适逻辑错误指标。

常见难点

究竟测了什么？

容易误解综合征就是逻辑消息。

正确理解解码器只读取辅助检查位；最终已知目标投影是另一次破坏性检验。

证据范围

容易误解模拟成功就认证了设备。

正确理解精确小寄存器模拟，复用一个辅助比特。分别加入存储 Pauli 错误、受控门后的数据比特错误及综合征读出翻转。编码与最终验证理想；单轮检查不具备容错性，也不证明阈值。

动手实验

  1. 01

    选择对照

    用重复码修复比特翻转，再保持编码，换成相位敏感输入与相位错误。

    应该观察到： 相位错误可能让所有检查安静，却无法通过最终验证。
  2. 02

    完成协议

    用五比特码重复相位错误试验，分别观察检查、解码、校正与最终验证。

    应该观察到： 辅助综合征决定修复，不读取逻辑振幅。
  3. 03

    检验假设

    去掉强制错误，提高门或读出错误；结合检查资源计数，比较编码与未编码存活率。

    应该观察到： 带噪校正可能反而有害；单轮未保护检查不具备容错性。