量子纠错：从经典纠错到容错量子计算

为什么经典纠错不够用

在经典计算机中，冗余编码是纠错的基础：把 0 存成 000、把 1 存成 111，任何单个比特翻转都能通过多数表决恢复。但量子世界完全不同——量子态不可克隆，无法简单地复制三份；而测量会坍缩叠加态，直接读取会破坏量子信息。量子纠错必须在"看不见"量子态的前提下，发现并纠正错误。

从比特翻转到稳定子

Shor 在 1995 年提出的 9 量子比特编码，把单个逻辑量子比特编码到 9 个物理量子比特上，可以同时纠正比特翻转和相位翻转。但 9 个比特的开销太大。随后 Calderbank、Shor 和 Steane 发展的 CSS 码，以及 Gottesman 的稳定子（stabilizer）形式主义，把量子纠错纳入了群论的框架：逻辑态是稳定子群的 +1 本征态，错误则把系统推到 -1 本征态，通过测量稳定子生成元即可定位错误而不破坏编码信息。

表面码：容错量子计算的主流方案

表面码（surface code）是当前最受关注的量子纠错方案。它将量子比特排成二维方格，用交替的 Z 型和 X 型稳定子测量来检测错误。表面码的纠错阈值约为 1%，意味着物理错误率低于该阈值时，逻辑错误率会随编码距离增加而指数下降。这一特性使得大规模容错量子计算成为可能——只需不断提高编码距离，就能把逻辑错误率压到任意低。

容错操作与逻辑门

纠错本身不够，量子计算还需要在编码态上执行逻辑操作。容错逻辑门必须保证单个物理错误不会扩散成多个错误。表面码上的逻辑门可以通过晶格手术（lattice surgery）或辫子操作实现，而 Clifford 门（H、S、CNOT）相对容易，非 Clifford 门（如 T 门）则需要魔法态蒸馏（magic state distillation）——这是一个昂贵的过程，也是容错量子计算的主要资源开销。

当前进展与挑战

Google 在 2023 年展示了表面码随距离增加逻辑错误率下降的实验结果，这是量子纠错领域的里程碑。但距离实用化仍有巨大差距：一个逻辑量子比特可能需要数千甚至上万个物理量子比特，而目前最大的量子处理器只有数百个物理比特。此外，实时解码（real-time decoding）——在毫秒内根据测量结果推断错误链——也是工程上的重大挑战。

结语

量子纠错是量子计算从实验室走向实用的关键桥梁。它把脆弱的量子态包裹在冗余的物理系统中，让噪声被检测和纠正。虽然前路漫长，但表面码和稳定子理论的成熟，已经为容错量子计算铺平了道路。