最近,量子计算重新引起了人们的关注,因为已经报道了几台较大规模的量子计算机,例如 [1]。容错量子计算(FTQC)[2]被认为是实现大规模量子计算机必不可少的。FTQC 对量子纠错码(QECC)中的码字执行计算,而不将其解码为原始信息。量子纠错可以分为两大类,一类是经典信息(比特序列)的传输,另一类是量子信息的传输。FTQC 依赖于后者,因为量子计算机的内存由量子信息组成。本综述也关注后者。我们假设读者熟悉传统纠错理论和初等代数。特别是,假设读者具备张量积的知识。熟悉这些知识后,本文就可以自洽地阅读了。尽管本综述只对量子信息做了最低限度的回顾,我们仍推荐 [3] 作为一本不错的量子信息入门教材。传统的纠错码是通过在原始信息中添加冗余来纠正经典信息中的错误。量子不可克隆定理 [4] 认为,这种冗余的添加是不可能的,量子纠错也是不可能的。然而,Shor 通过明确提供 QECC 的例子 [5] 推翻了这种天真的信念,这引发了人们对 QECC 的广泛研究关注,当时提出了许多 QECC 的构造方法。其中,QECC 的重要类别是所谓的 Calderbank-Shor-Steane (CSS) 码 [6],[7] 和稳定
主要关键词