[论文解读] Theory of Quantum Error Correction for General Noise

Emanuel Knill, Raymond Laflamme+1 more|ArXiv.org|Aug 19, 1999

Quantum Computing Algorithms and Architecture被引用 6

一句话总结

本文提出了一种广义的量子纠错理论，适用于任意噪声模型，而不仅限于独立或不相关的误差。通过基于相互作用算符生成的代数的分级来定义纠错能力，该理论证明了即使在普遍相关的噪声下，e-错误纠正码也能保护量子信息，证明了大码的存在性，并将无噪声子系统与无限距离码联系起来。

ABSTRACT

Quantum error correction protects quantum information against environmental noise. When using qubits, a measure of quality of a code is the maximum number of errors that it is able to correct. We show that a suitable notion of ``number of errors'' e makes sense for any system in the presence of arbitrary environmental interactions. In fact, the notion is directly related to the lowest order in time with which uncorrectable errors are introduced, and this in turn is derived from a grading of the algebra generated by the interaction operators. As a result, e-error-correcting codes are effective at protecting quantum information without requiring the usual assumptions of independence and lack of correlation. We prove the existence of large codes for both quantum and classical information. By viewing error-correcting codes as subsystems, we relate codes to irreducible representations of certain operator algebras and show that noiseless subsystems are infinite-distance error-correcting codes. An explicit example involving collective interactions is discussed.

研究动机与目标

• 开发一种超越独立或不相关噪声模型的量子纠错理论。
• 为任意系统-环境相互作用定义一个适用于一般量子噪声的有意义的“误差数量”e概念。
• 在一般噪声条件下证明大尺寸量子与经典纠错码的存在性。
• 利用算子代数技术，建立无噪声子系统与无限距离纠错码之间的联系。

提出的方法

• 本文引入了由相互作用算符生成的代数的分级，该分级决定了不可纠正误差首次出现的最低阶时间。
• 基于此分级定义了e-错误纠正码，其中e对应微扰展开中首个不可纠正误差的阶数。
• 该理论采用子系统码的框架，将纠错码视为更大代数结构中的子系统。
• 该理论将纠错码与算子代数的不可约表示联系起来，从而实现对无噪声子系统的结构性分类。
• 该方法不假设噪声的统计独立性或无相关性，因此适用于集体或相关相互作用。
• 通过分析一个涉及集体相互作用的显式例子，展示了该理论在物理上相关的设定中的应用。

实验结果

研究问题

• RQ1 如何为一般量子噪声（超越独立或不相关误差）定义一个有意义的纠错能力度量？
• RQ2 在任意噪声模型中，可纠正与不可纠正误差的分类背后的代数结构是什么？
• RQ3 在不假设噪声独立性的前提下，能否构造出大尺寸的量子与经典纠错码？
• RQ4 在广义框架下，无噪声子系统与纠错码之间存在何种关系？
• RQ5 相互作用代数的分级在决定纠错阈值方面起什么作用？

主要发现

• 本文证明了对于任意环境相互作用下的系统，基于相互作用代数分级，存在一个明确定义的“误差数量”e概念。
• e-错误纠正码在噪声相关或非马尔可夫性的情况下依然有效，且无需依赖独立性假设。
• 在一般噪声条件下，证明了大尺寸量子与经典纠错码的存在性，扩展了以往仅限于独立误差结果的范围。
• 无噪声子系统被识别为无限距离纠错码，意味着它们对所有阶次的不可纠正误差均具有免疫性。
• 该理论提供了一种系统化的方法来构建集体噪声模型的纠错码，通过一个显式例子加以说明。
• 该框架通过将纠错嵌入算子代数的表示理论中，统一并推广了先前的方法。