[论文解读] A Note on Non-Additive Quantum Codes

Markus Grassl, Thomas Beth|ArXiv.org|Mar 10, 1997

Quantum Computing Algorithms and Architecture参考文献 5被引用 15

一句话总结

本文通过结合两个量子纠错码，引入了联合量子码的概念，证明即使从阿代尔码出发，所得码也可能是非阿代尔码。本文引入擦除空间作为对码的擦除纠错能力的完整表征，表明对于酉相关码，擦除空间与纯擦除空间可显式计算，从而提供超越最小距离的更深层次洞察。

ABSTRACT

A method to combine two quantum error-correcting codes is presented. Even when starting with additive codes, the resulting code might be non-additive. Furthermore, the notion of the erasure space is introduced which gives a full characterisation of the erasure-correcting capabilities of the codes. For the special case that the two codes are unitary images of each other, the erasure space and the pure erasure space of the resulting code can be calculated.

研究动机与目标

• 通过结合两个现有量子码来构建新型量子码，即使从阿代尔码出发。
• 引入擦除空间作为数学工具，以完全表征码的纠错能力。
• 为比较非等价但具有相同权重分布的量子码，提供基于擦除空间的框架。
• 分析联合码的擦除纠错特性，特别是当分量码互为酉像时。
• 证明非阿代尔码可自然地从阿代尔码的组合中产生，从而扩展可用量子码的类别。

提出的方法

• 提出将两个等长的量子码的子空间之和作为量子码的联合构造方法。
• 引入擦除空间 ${\cal E}({\cal C})$，即满足条件 (1) 和 (2) 的误差算符集合，以确保可纠正的擦除错误。
• 将纯擦除空间 ${\cal E}_{\text{pure}}({\cal C})$ 定义为权重小于 $d-1$ 的擦除空间算符的子集。
• 利用酉变换 $\tau$ 和循环移位 $\pi$ 生成等价码，从而实现对联合码擦除空间的显式计算。
• 将形式化方法应用于具体示例：一个 $((5,1,3))$ 码和一个 $((4,4,2))$ 码，计算其擦除空间并分析所得联合码。
• 采用泡利矩阵和形式为 $E = \sigma_{i_1} \otimes \cdots \otimes \sigma_{i_N}$ 的误差算符，以表示和分析纠错条件。

实验结果

研究问题

• RQ1 能否通过码的联合构造，系统地从阿代尔码中构建非阿代尔量子码？
• RQ2 如何在最小距离之外，完全表征量子码的擦除纠错能力？
• RQ3 当分量码互为酉像时，联合码的擦除空间结构如何？
• RQ4 能否利用纯擦除空间检测并分类不可纠正的误差算符？
• RQ5 单个码的擦除空间与它们的联合码的擦除空间之间有何关系？

主要发现

• 即使两个码均为阿代尔码，其联合仍可能产生非阿代尔码，展示了构造非阿代尔码的新途径。
• 擦除空间 ${\cal E}({\cal C})$ 完全表征了可纠正擦除错误的集合，提供了比最小距离更精细的分析工具。
• 对于作为酉像联合构造的 $((5,1,3))$ 码，纯擦除空间包含所有权重为一和权重为二的误差算符，但不包含所有权重为三的算符。
• 两个 $((4,4,2))$ 码的联合码 ${\cal C}^{(1)} \oplus \tau{\cal C}^{(1)}$ 构成一个 $((4,8,1))$ 码，最小距离为一，仅能纠正纯相位或纯振幅的擦除错误。
• 特定的权重为三的误差算符，如 $\sigma_y \otimes \sigma_z \otimes \openone \otimes \sigma_y$ 及其循环移位，不在擦除空间中，证实了该码无法纠正所有三重擦除模式。
• 联合码的擦除空间包含所有形如 $\sigma_x \otimes \openone^3$ 和 $\sigma_z \otimes \openone^3$ 的权重为一的误差算符及其循环移位，解释了其部分擦除纠错能力。