量子纠错学习提纲

量子纠错

量子信息与发展目标

量子态是量子信息的载体，叠加、相干和纠缠是重要量子资源。

量子信息处理包括：

• 量子计算：门控网络、演化与测量
• 量子通信：信息传输
• 量子纠错：保存量子信息并支持可靠操作

发展重点同时包括器件规模、控制能力，以及量子信息的可靠保存与操作。当前目标是实现可扩展的容错量子计算和抗噪逻辑 qubit。

“可扩展”要求增加逻辑 qubit 数量和计算深度后，仍能压低逻辑错误率，并使控制、连接和纠错资源保持可管理。

量子信息与经典信息的差异

不可克隆

未知 qubit

Copy LaTeX$$|\psi ⟩=\alpha |0⟩+\beta |1⟩$$

不能被任意复制。不可克隆的根本原因是量子演化的线性与幺正性，而不只是测量坍缩。

Pauli 错误模型

• $I$ ：不改变状态
• $X$ ：交换 $|0⟩$ 与 $|1⟩$ ，对应比特翻转
• $Z$ ：改变相对相位，对应相位翻转
• $Y=iXZ$ ：同时包含两类作用

Copy LaTeX$$\{I,X,Y,Z{\}}^{\otimes n}$$

给出 $n$ 个 qubit 上的 Pauli 算符串，可用于展开多 qubit 错误。

Pauli 群

完整的 $n$ -qubit Pauli 群为

Copy LaTeX$$P_n=\{i^r{P}_1\otimes \cdots \otimes P_n:r\in \{0,1,2,3\},P_j\in \{I,X,Y,Z\}\}.$$

群运算是矩阵乘法，$i^r$ 允许整体相位 $\{1,i,-1,-i\}$ 。单 qubit 情形包含

Copy LaTeX$$P_1=\{\pm I,\pm iI,\pm X,\pm iX,\pm Y,\pm iY,\pm Z,\pm iZ\}.$$

群由集合与二元运算组成，需要满足：

• 封闭性
• 结合律
• 存在单位元
• 每个元素存在逆元

Pauli 算符乘积可能产生 $\pm 1$ 或 $\pm i$ 的整体相位；把这些相位纳入集合后，乘法才保持封闭。

量子纠错编码

编码映射：

Copy LaTeX$$V:({\mathbb{C}}^2{)}^{\otimes k}⟶({\mathbb{C}}^2{)}^{\otimes n}.$$

它把 $k$ 个逻辑 qubit 嵌入由 $n$ 个物理 qubit 构成的空间。$V$ 的像是维数为 $2^k$ 的编码子空间。

纠错的关键问题是：在不读取逻辑态本身的情况下发现错误。编码把逻辑态限制在编码子空间中，后续通过与错误相关、但不泄露逻辑信息的症候来判断是否偏离编码空间。

拓扑量子纠错

核心结构：

flowchart LR
    A[局域错误] --> B[错误症候]
    B --> C[配对]
    C --> D[恢复链]
    D --> E[同调类]
    E --> F[判断是否形成逻辑错误]

关注点不是要求物理错误完全消失，而是利用拓扑扇区、错误链和恢复链之间的关系，避免局域噪声形成逻辑破坏。