[论文解读] Catalytic quantum error correction

Todd A. Brun, Igor Devetak+1 more|arXiv (Cornell University)|Aug 2, 2006

Quantum Computing Algorithms and Architecture参考文献 26被引用 23

一句话总结

本文提出了一种纠缠辅助的量子纠错码（EAQEC），作为稳定子码的推广，通过利用预先共享的纠缠，消除了对双重包含条件的需求。通过证明任意四元经典码均可转化为EAQEC码，作者使高效经典码（如LDPC码和turbo码）可直接用于构建达到哈希界性能的量子码，显著简化了码的设计，并实现了催化型量子纠错。

ABSTRACT

We develop the theory of entanglement-assisted quantum error correcting (EAQEC) codes, a generalization of the stabilizer formalism to the setting in which the sender and receiver have access to pre-shared entanglement. Conventional stabilizer codes are equivalent to dual-containing symplectic codes. In contrast, EAQEC codes do not require the dual-containing condition, which greatly simplifies their construction. We show how any quaternary classical code can be made into a EAQEC code. In particular, efficient modern codes, like LDPC codes, which attain the Shannon capacity, can be made into EAQEC codes attaining the hashing bound. In a quantum computation setting, EAQEC codes give rise to catalytic quantum codes which maintain a region of inherited noiseless qubits. We also give an alternative construction of EAQEC codes by making classical entanglement assisted codes coherent.

研究动机与目标

• 通过引入预先共享纠缠，推广稳定子形式，形成一类新的量子纠错码。
• 消除传统稳定子码中所需的双重包含条件，从而简化量子码的构造。
• 通过追踪纠缠辅助量子通信的“父协议”，建立量子纠错与量子香农理论之间的联系。
• 开发可保持计算过程中无噪声量子比特区域的催化型量子码，适用于容错量子计算。
• 将理论扩展至纠缠辅助经典码，并证明其相干性，实现对量子与经典通信协议的统一处理。

提出的方法

• 使用在Pauli群上的对称代数形式化EAQEC码，其中码的稳定子由$\mathbb{F}_4$上的经典码定义，且无需满足双重包含结构。
• 通过将任意四元经典码映射为对称码，构建EAQEC码，其中非双重包含程度量化了所需的纠缠量。
• 引入一种新的EAQEC码构造方法，采用$[[n,k,d;c]]$表示法，其中$c$表示预先共享的Bell对数量。
• 应用删减与扩展技术，从已有码生成新的EAQEC码，保持或提升距离与码率。
• 证明EAQEC码可用于构建催化型量子码，使计算过程中保持一个无噪声量子比特区域。
• 表明纠缠辅助经典码（EACEC）可实现相干性，提供一种替代EAQEC构造的路径，并与量子容量家族树相联系。

实验结果

研究问题

• RQ1 能否将稳定子形式推广以包含预先共享纠缠，从而放宽对双重包含条件的要求？
• RQ2 在纠缠辅助下，经典纠错码（尤其是LDPC等达到容量的现代码）能在多大程度上被转化为量子码？
• RQ3 EAQEC码如何用于构建催化型量子码，以在容错量子计算中保持无噪声量子比特区域？
• RQ4 纠缠辅助经典码能否实现相干性？其与更广泛的量子香农协议家族之间有何关系？
• RQ5 EAQEC码中催化剂大小（纠缠代价）与码性能之间的权衡是什么？与标准QEC码相比有何差异？

主要发现

• 任意四元经典码均可转化为EAQEC码，无需满足双重包含结构，极大简化了码的构造。
• 当使用达到香农容量的经典码（如LDPC码）构造时，EAQEC码可实现哈希界性能。
• $[[8,0,4;0]]$码通过扩展$[[7,1,3;0]]$码构造而成，证明了在新构造方法下码距可增加。
• 对$[[n,k,d;c]]$码进行删减可得到$[[n-1,k-c+c'+1,d-1;c']]$码，码距最多减少1，从而实现码率优化。
• EAQEC码支持催化型量子纠错，可在计算过程中保持一个无噪声量子比特区域，实现容错操作。
• 纠缠辅助经典码（EACEC）可实现相干性，提供通往“父协议”的替代路径，并统一经典与量子通信协议。