量子纠错与逻辑量子比特详解

量子纠错如何将许多带噪声的物理量子比特转化为更可靠的逻辑量子比特，以及为什么码距、阈值和表面码如此重要。

本页由英文翻译而来。公司和产品名称及来源链接保持不变。阅读英文原文

量子纠错是一组方法，用于在存在噪声、退相干和不完美操作的情况下，保持脆弱的量子信息仍然可用。其基本思想是：将一个或多个逻辑量子比特编码到更大规模的物理量子比特集合中，反复测量经过精心选择的校验算符，这些测量能够揭示错误信息，却不会暴露受保护的量子态；然后再根据观测到的综合征（syndrome）执行恢复步骤。

为什么量子计算机需要纠错

量子信息异常脆弱。错误可能来自退相干以及其他量子噪声来源，而在实际量子计算中，还必须应对故障门操作、不完美的态制备以及测量误差。因此，纠错不仅对存储量子态至关重要，对运行长时间计算同样是核心问题。

经典纠错通过给比特增加冗余来工作。量子纠错追求类似目标，但有一个重大约束：直接测量量子比特通常会扰动态本身。因此，量子码必须在不暴露逻辑信息本身的前提下，提取关于哪里出了问题的信息。在许多码中，这通过测量称为稳定子（stabilizer）的对易算符来实现。

理解量子纠错前景的一个有用方式，是将其视为一层模拟层：给定一个符合某种误差模型的带噪物理信道，就可以利用量子纠错码把它近似为足够接近无噪声的逻辑信道，从而使通信或计算变得切实可行。

物理量子比特、逻辑量子比特与码距

量子码的标准记法是 [[n,k,d]]，表示该编码将 k 个逻辑量子比特编码进 n 个物理量子比特中，码距为 d。

这三个参数概括了大部分权衡关系：

n：编码使用多少个物理量子比特
k：保护多少个逻辑量子比特
d：码距，与错误要伪装成一次逻辑操作有多困难相关的度量

编码率 k/n 是一个基本效率指标。更高的编码率意味着每个逻辑量子比特所需的开销更少。但更高的码距和更高的编码率通常彼此拉扯，因此编码设计本质上是在可靠性与硬件成本之间寻找平衡。

广义而言，一个量子纠错周期分为三个阶段：

编码：将逻辑信息编码到更大的物理系统中
存储或传输：通过带噪信道保存或传送信息
综合征提取与恢复：识别最可能的错误并加以纠正

综合征至关重要。稳定子测量经过选择，只揭示错误信息，而不泄露被编码的量子态。否则，纠错过程就会破坏计算机试图保留的叠加态。

编码针对哪些类型的错误？

主导性错误高度依赖具体硬件平台。重要例子包括：

振幅阻尼（amplitude damping），或激发损失，与系统向平衡态弛豫有关
相干误差（coherent errors），由系统内部动力学引起
退相位（dephasing），这是许多量子比特实现中的主要噪声过程之一

即便如此，许多量子码仍采用一种简化模型，将错误视为 Pauli 操作的组合：

X 表示类似比特翻转的错误
Z 表示类似相位翻转的错误
Y 表示比特与相位同时出错的组合错误

这种基于 Pauli 的图景并不能覆盖所有现实噪声过程，但它被广泛使用，因为它使分析和编码构造更易处理。在该模型下，综合征提取与解码往往可以表述为借鉴经典编码理论思想的问题。

不过，这种简化也有一个前提限制：解码仍然可能很困难。一个参数为 [[n,k,d]] 的编码有 2^(n-k) 种可能的综合征，这一数量很快就会大到无法用简单查找表处理。实际中，通常需要高效的经典解码算法。

容错：在纠错时不把情况变得更糟

仅有纠错还不足以支撑可扩展计算。在一台计算机中，纠错机制本身也要使用门操作、测量和制备好的辅助量子比特，而这些环节都可能出错。这正是容错发挥作用的地方。

其核心思想是设计编码、综合征测量和恢复过程，使得少量物理故障不会扩散成无法纠正的逻辑失败。量子纠错理论认为，这与量子阈值定理密切相关：只要单个量子门的错误率低于某个阈值，就可以通过递归级联编码，实现任意长的量子计算。

量子纠错研究还给出了一个来自 2004 年的历史性估计：在有足够量子比特可用的前提下，这一阈值可能高达 1–3%。它也解释了为什么阈值如此重要：低于阈值时，纠错消除的错误多于它引入的错误；高于阈值时，纠错过程反而可能总体上有害。

阈值概念之所以重要，也是逻辑量子比特成为有用抽象的原因之一。逻辑量子比特不是单一器件元件，而是一种编码对象；原则上，可以通过增加更多物理资源并采用更好的容错过程，把它的有效错误率压得更低。

主要编码家族及其优化目标

不同编码家族会在开销、码距、结构和实现难易度之间做出不同权衡。

编码家族	核心思想	显著权衡或特性
Shor code	可推广为 `[[d^2,1,d]]`；通过内外两层重复码分别处理比特翻转和相位翻转错误	提高码距，但编码率较低
Steane / quantum Hamming codes	用经典 `[7,4]` 汉明码取代重复结构，并对 `X` 和 `Z` 错误进行对称处理	比 Shor 风格重复码具有更好的编码率
CSS codes	源自 Calderbank、Shor 和 Steane 相关构造的一般框架	将 `X` 和 `Z` 稳定子分离，有利于容错综合征测量
Five-qubit code	使用四个混合 `X` 和 `Z` 的稳定子；不是 CSS 码	能保护一个逻辑量子比特免受任意单量子比特错误影响的最小可能编码
Surface code	定义在二维晶格上的拓扑稳定子码	局域校验和二维平面布局在实验上很有吸引力

Five-qubit code 在概念上尤其重要。它是能够保护一个逻辑量子比特免受任意单量子比特错误影响的最小可能编码，这一事实与量子汉明界有关。

量子纠错中还提到非加性码（non-additive codes），它们超出了 [[n,k,d]] 加性码所采用的稳定子形式主义。在某些情况下，这类码可能实现更高的编码率，但其构造和分析都要困难得多，因此目前探索仍相对较少。

为什么表面码变得如此重要

在现代编码家族中，到 2025 年，表面码对可扩展量子纠错具有关键意义。主要原因在于架构层面：它们通过二维晶格上的局域稳定子测量来定义，这比那些需要长程相互作用的编码更适配许多硬件平台。

表面码是一种拓扑稳定子码。在 Alexei Kitaev in 1997 引入的环面版本中，量子比特位于二维晶格的边上，稳定子则与顶点和面元相关联。错误会表现为这些稳定子条件被破坏。

一个有用的图像是，错误会产生或移动局域缺陷，这些缺陷可描述为任意子（anyon）：

Z 错误会翻转相邻的顶点稳定子
X 错误会翻转相邻的面元稳定子

纠正过程相当于将这些缺陷配对并重新湮灭。如果得到的路径在拓扑上是平凡的，那么净效应只是一个稳定子，逻辑信息保持不变。如果路径在拓扑上是非平凡的，那么这一过程就等同于一个逻辑算符，编码信息也会被改变。

这种几何解释正是表面码如此直观的原因之一。码距因此可以理解为实现一次逻辑错误所需的最短非平凡路径或回路长度。

环面、平面与旋转平面表面码

几种相关几何结构都很重要。

toric code 使用周期性边界条件，在拓扑上等价于一个环面。对于一个 d × d 晶格，它有 2d^2 个量子比特，其码空间是四维的，因此可存储两个逻辑量子比特。

对于硬件而言，开放边界通常更实用，这就引出了平面码。但边界设计很关键。只含一种边界类型的表面码并不能编码一个逻辑量子比特。要构造非平凡的码空间，就需要交替设置 smooth 和 rough 边界。当上下边界为 smooth、左右边界为 rough 时，平面码可存储一个逻辑量子比特，而最短的拓扑非平凡路径长度为 d，因此码距为 d。

旋转平面码 是一种效率改进。Surface code 指出，码距为 d 的旋转平面码使用 d^2 个物理量子比特，而未旋转的平面版本需要 d^2 + (d − 1)^2，同时保持相同的码距。

阈值、解码，以及“低于阈值”意味着什么

在标准噪声模型下，表面码还以相对较高的阈值著称。对于这样一种模型：每个量子比特都以概率 p 独立发生比特错误和相位错误，Surface code 给出的结果是：

通过统计物理映射得到的临界概率约为 11%
使用广泛采用的 minimum weight perfect matching 解码器时，阈值约为 10.5%

这些数字很重要，但需要正确解读。首先，它们取决于所假设的误差模型。其次，理论极限只有在存在能逼近该极限的实用解码器时才有意义。第三，在比特错误和相位错误存在相关性的情况下——例如退极化噪声下——某些解码器的表现会变差。

因此，“低于阈值”并不意味着系统没有错误。它意味着，原则上，随着编码规模增大，逻辑错误率可以下降，而不是变得更糟。

超越量子比特分组码

量子纠错并不局限于量子比特到量子比特的分组码。量子信息也可以编码到高维量子比特（qudits）中，或者编码到具有无限多个能级的振荡器中。cat、GKP 和 binomial 风格等玻色方法，利用的是单个振荡器内部的冗余，而不是把一个逻辑量子比特分散到许多两能级系统上。

这也凸显出该领域一个重要的开放式设计问题：冗余究竟应该分布在许多物理量子比特之间、存在于更高维系统内部，还是采用两者结合的混合方式？

该领域在 2025 年的发展状态

到 2025 年，表面码尤为关键。量子纠错研究指出，它们已经在超导系统中实现了低于阈值的逻辑量子比特，并提升了保真度；此外还特别提到，Google Quantum AI 在其 Willow 超导处理器上实现了 distance-7 planar code，展示了低于阈值的物理错误率。

这并不意味着更广泛的挑战已经解决。逻辑量子比特仍然需要相当大的开销，解码依然是一个真实的系统工程问题，而性能也取决于编码选择与实际硬件噪声是否匹配。但这确实说明，为什么逻辑量子比特如今已经是一个现实的工程目标，而不再只是理论构想。

关键要点

量子纠错通过把逻辑量子比特编码到更大的物理系统中，并反复提取错误综合征，来保护脆弱的量子信息。
标准 [[n,k,d]] 记法体现了主要权衡：物理开销与受保护的逻辑容量及码距之间的关系。
大多数广泛使用的编码都会把硬件噪声简化为 X、Y 和 Z Pauli 错误，尽管真实器件还会表现出振幅阻尼和退相位等效应。
容错之所以重要，是因为纠错过程本身也有噪声；阈值定理指出，只有在物理错误率低于某个阈值时，可扩展计算才有可能实现。
Five-qubit code 是能够保护一个逻辑量子比特免受任意单量子比特错误影响的最小编码。
CSS codes 之所以受到重视，是因为它们将 X 和 Z 稳定子分离，这有助于容错综合征测量。
表面码之所以突出，是因为它们的稳定子在二维晶格上是局域的，因此在实验上具有吸引力。
在表面码中，逻辑失败对应于拓扑上非平凡的错误路径；码距则是这类路径的最小尺度。
旋转平面表面码在保持相同码距的同时，相比未旋转平面码减少了量子比特数量。
已报道的阈值数值和近期演示结果令人鼓舞，但实际性能仍取决于硬件噪声、解码器质量以及大规模物理量子比特开销。