[论文解读] Pasting Quantum Codes

Daniel Gottesman|ArXiv.org|Jul 31, 1996

Quantum Computing Algorithms and Architecture被引用 17

一句话总结

本文提出了一种名为“拼接”（pasting）的新方法，通过组合较小的非简并量子纠错码的稳定算符生成元，从更小的非简并量子纠错码构建更大的单错误量子码。关键贡献在于一种系统化构造方法，能够生成所有已知的完美单错误量子码，包括13量子比特中的7量子比特码和21量子比特中的15量子比特码，通过在组合系统中保持错误综合征的可区分性，并利用保持对易性和幂等性的稳定算符形式。

ABSTRACT

I describe a method for pasting together certain quantum error-correcting codes that correct one error to make a single larger one-error quantum code. I show how to construct codes encoding 7 qubits in 13 qubits using the method, as well as 15 qubits in 21 qubits and all the other "perfect" codes.

研究动机与目标

• 开发一种系统化方法，从已知的小型码构建更大、更高效的单错误量子纠错码。
• 解决现有码生成方法效率低于专用量子码的局限性。
• 通过统一构造方法证明所有已知完美单错误量子码的存在，包括13量子比特中的7量子比特码和21量子比特中的15量子比特码。
• 通过在拼接过程中保持稳定算符群结构，确保结果码保持非简并性和可纠正性。

提出的方法

• 通过将较大码的生成元扩展为包含较小码的生成元，组合两个非简并量子码，确保新错误的综合征以'00'开头，以避免与现有综合征重叠。
• 通过确保所有新生成元之间对易且平方等于单位元，保持稳定算符群结构，使用原始码生成元的乘积。
• 保持较大码的前两个生成元不变，即 $ M_1 = X_1 \cdots X_n $ 和 $ M_2 = Z_1 \cdots Z_n $，以确保原始量子比特上单量子比特错误的综合征以'01'、'10'或'11'开头。
• 为新增量子比特上的新错误分配以'00'开头的综合征，由于较小码的非简并性，这些综合征被保证是唯一的。
• 该构造要求较小码的生成元数量比大码少两个；若不满足，可通过添加单位元生成元进行补充。
• 该方法确保结果码为非简并码，并通过函数 $ f(E) = (f_{M_1}(E), \dots, f_{M_a}(E)) $ 保持所有单量子比特错误的综合征可区分，从而实现正确性。

实验结果

研究问题

• RQ1 能否开发一种系统化方法，从已知的小型码构建更大的单错误量子码？
• RQ2 如何在来自两个不同码的量子比特组合系统中，保持并区分错误综合征？
• RQ3 是否可以使用单一统一构造方法生成所有已知的完美单错误量子码？
• RQ4 为确保拼接码保持有效的稳定算符码并具备可纠正性和非简并性，必须满足哪些约束条件？
• RQ5 为何拼接方法在纠错两个或以上错误的码中失效？其结构上的限制为何阻碍了其推广？

主要发现

• 拼接方法成功构建了13量子比特中的7量子比特码，其效率达到量子汉明界所允许的最优值。
• 通过将5量子比特码拼接到16量子比特码上，构建了21量子比特中的15量子比特码，证实了第二个完美码的存在。
• 所有满足 $ n = (4^j - 1)/3 $ 个量子比特的完美单错误量子码，均可通过此拼接构造系统化生成。
• 该方法证实了对所有 $ j $，均存在完美码，且满足 $ n-k = 2j $，并提供了其存在的构造性证明。
• 该构造保持了稳定算符群结构，确保所有生成元对易且平方等于单位元，从而构成有效的量子码。
• 该方法在纠错两个或以上错误的码中失效，因为原始码与新增码上的交叉错误（一个在原始码，一个在新增码）无法可靠地区分于原始码的错误之上。