[论文解读] Quantum Error Correcting Subsystem Codes From Two Classical Linear Codes

Dave Bacon, Andrea Casaccino|ArXiv.org|Oct 11, 2006

Quantum Computing Algorithms and Architecture参考文献 27被引用 29

一句话总结

本文提出了一类新型量子纠错子系统码，通过组合两个经典线性码构建，与广义Shor码相比，显著减少了错误恢复所需的稳定算符测量次数。通过将嵌套量子码重新解释为子系统码，该方法在保持相同纠错距离的前提下，实现了测量开销的至多二次方减少，从而提升了容错量子计算的效率。

ABSTRACT

The essential insight of quantum error correction was that quantum information can be protected by suitably encoding this quantum information across multiple independently erred quantum systems. Recently it was realized that, since the most general method for encoding quantum information is to encode it into a subsystem, there exists a novel form of quantum error correction beyond the traditional quantum error correcting subspace codes. These new quantum error correcting subsystem codes differ from subspace codes in that their quantum correcting routines can be considerably simpler than related subspace codes. Here we present a class of quantum error correcting subsystem codes constructed from two classical linear codes. These codes are the subsystem versions of the quantum error correcting subspace codes which are generalizations of Shor's original quantum error correcting subspace codes. For every Shor-type code, the codes we present give a considerable savings in the number of stabilizer measurements needed in their error recovery routines.

研究动机与目标

• 开发一类新型量子纠错子系统码，以降低与传统子空间码相比的错误恢复复杂度。
• 利用两个经典线性码将Shor型量子码推广为子系统码，从而简化错误纠正过程。
• 在保持与广义Shor码相同量子纠错距离的同时，最小化所需稳定算符测量次数。
• 通过减少错误恢复中稳定算符测量的资源开销，实现更高效的容错量子计算。

提出的方法

• 通过在 $\mathbb{F}_2$ 上组合两个经典线性码 $\mathcal{C}_1$ 和 $\mathcal{C}_2$ 来构建量子子系统码，而非采用传统Shor方案中的级联方式。
• 将子系统码定义为稳定算符码，其中逻辑量子比特编码于一个子系统中，从而支持更灵活的错误纠正方案。
• 利用 $\mathcal{C}_1$ 和 $\mathcal{C}_2$ 的生成矩阵定义所得量子码的稳定算符生成元，所需稳定算符测量次数减少至 $(n_1 - k_1)k_2 + k_1(n_2 - k_2)$。
• 利用子系统结构消除对错误纠正无贡献的冗余稳定算符测量，特别是移除不增强码距离的稳定算符。
• 将该构造应用于已知的经典码（如冗余码、汉明码），生成测量复杂度优化的显式量子子系统码。
• 证明所得码与对应广义Shor码具有相同的距离 $\min(d_1, d_2)$，确保等效的错误保护能力。

实验结果

研究问题

• RQ1 能否从两个经典线性码构造出子系统码，使其在错误纠正能力上等同于广义Shor码，但所需稳定算符测量更少？
• RQ2 在使用相同经典码时，子系统码中的错误恢复测量复杂度与子空间码相比如何？
• RQ3 通过将嵌套量子码重新解释为子系统码，所能实现的稳定算符测量次数最大减少量是多少？
• RQ4 所提出的构造是否能通过降低恢复复杂度，提升容错量子计算的阈值？
• RQ5 对于冗余码和汉明码等具体实例，其特定参数和测量节省量是多少？

主要发现

• 所提出的子系统码实现了与广义Shor码相同的参数 $[[n_1n_2, k_1k_2, \min(d_1, d_2)]]$，确保了等效的错误保护能力。
• 错误恢复所需的稳定算符测量次数从广义Shor码中的 $(n_1 - k_1)n_2 + (n_2 - k_2)$ 减少到子系统构造中的 $(n_1 - k_1)k_2 + k_1(n_2 - k_2)$，实现了测量开销的二次方减少。
• 在 $[[n^2, 1, n]]$ 冗余码示例中，子系统版本仅需 $2(n-1)$ 次稳定算符测量，而广义Shor码需 $n^2 - 1$ 次，测量节省达 $n^2 - 2n + 1$ 次。
• 在使用两个 $[7,4,3]$ 汉明码的 $[[49,1,5]]$ 码示例中，子系统构造仅需 28–30 次稳定算符测量，而级联Steane码需 48 次，测量减少 18–20 次。
• 该构造推广了早期关于自纠错量子存储器的工作，并为从经典码系统构建高效子系统码提供了框架。
• 结果表明，这些子系统码可通过降低错误恢复过程的复杂度，显著提升容错量子计算的阈值。