[论文解读] Nonbinary Quantum Cyclic and Subsystem Codes Over Asymmetrically-decohered Quantum Channels

Salah A. Aly, Alexei Ashikhmin|arXiv (Cornell University)|Feb 15, 2010

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

一句话总结

本论文提出两种通用的代数方法，用于在相位翻转错误（Z）比比特翻转错误（X）更频繁发生的非对称量子通道中，构建非二元非对称量子循环码与子系统码。通过使用生成多项式和经典循环码的定义集，作者推导出一系列非对称量子BCH码、Reed-Solomon码与Reed-Muller码，以及子系统码，支持通过移位寄存器实现高效编码，并在具有不等错误概率的现实噪声模型中实现更优的纠错性能。

ABSTRACT

Quantum computers theoretically are able to solve certain problems more quickly than any deterministic or probabilistic computers. A quantum computer exploits the rules of quantum mechanics to speed up computations. However, one has to mitigate the resulting noise and decoherence effects to avoid computational errors in order to successfully build quantum computers. In this paper, we construct asymmetric quantum codes to protect quantum information over asymmetric quantum channels, $\Pr Z \geq \Pr X$. Two generic methods are presented to derive asymmetric quantum cyclic codes using the generator polynomials and defining sets of classical cyclic codes. Consequently, the methods allow us to construct several families of quantum BCH, RS, and RM codes over asymmetric quantum channels. Finally, the methods are used to construct families of asymmetric subsystem codes.

研究动机与目标

• 解决在相位翻转错误（Z）比比特翻转错误（X）更可能发生的非对称量子通道中的量子纠错挑战。
• 开发系统化、代数结构化的量子码，利用错误概率的非对称性以提升容错能力。
• 通过具有不同纠错能力的经典循环码，将量子码的CSS构造推广至非对称设置。
• 基于经典循环码的生成多项式，利用移位寄存器电路实现高效在线编码与解码。
• 通过经典码的对偶性与嵌套结构，将构造推广至非对称子系统码（ASSC）。

提出的方法

• 利用有限域上经典循环码的生成多项式与定义集，构造非对称量子码。
• 在CSS构造框架下应用两个经典循环码 $C_1$ 与 $C_2$，满足 $C_2^\bot \subseteq C_1$，以确保 $d_z \geq d_x$。
• 将非对称量子码参数定义为 $[[n, k_1 + k_2 - n, d_z/d_x]]_q$，其中 $d_z = \text{wt}(C_2)$，$d_x = \text{wt}(C_1)$。
• 利用循环码的代数结构，从生成多项式的根与分圆陪集推导稳定子生成元。
• 通过将经典码的对偶性与嵌套结构相结合，将构造推广至非对称子系统码（ASSC），其中 $[[n, k, r, d_z/d_x]]_q$ 满足 $r > 0$，从而在逻辑量子比特与规范量子比特维度之间实现权衡。
• 利用对偶性与嵌套码条件，确保自正交码与含于对偶中的码的存在性，以保障有效量子码构造。

实验结果

研究问题

• RQ1 如何系统地将经典循环码转化为能以不同概率纠正Z与X错误的非对称量子码？
• RQ2 生成多项式与定义集需满足何种代数条件，才能确保构造出具有期望最小距离 $d_z$ 与 $d_x$ 的非对称量子码？
• RQ3 能否通过满足 $C_2^\perp \subseteq C_1$ 的两个经典循环码，将CSS构造推广至非对称设置？
• RQ4 如何从经典循环码推导出非对称子系统码？规范量子比特维度 $r$ 在纠错中起什么作用？
• RQ5 基于移位寄存器的编码电路在非对称量子码实现中，对实现效率有何影响？

主要发现

• 所提方法可利用经典循环码，在有限域上构造出非对称量子BCH码、Reed-Solomon码与Reed-Muller码。
• 对于参数为 $[n, k_1, 3]_2$ 的汉明码 $C_1$ 与设计距离 $\delta \geq 5$ 的BCH码 $C_2$，可获得参数为 $[[n, k_1 + k_2 - n, d_z/3]]_q$ 的非对称量子码。
• 该构造确保 $d_z \geq d_x$，使码适用于相位翻转错误比比特翻转错误更频繁的信道。
• 通过推广CSS构造，推导出非对称子系统码（ASSC），并利用定理10在逻辑与规范量子比特维度之间实现权衡。
• 循环码的代数结构支持通过带反馈的移位寄存器实现高效在线编码与解码，提升实际实现效率。
• 在特定维数与距离条件下，所有稳定子码（纯与非纯）均可与子系统码相互转换，揭示了两类码类之间的对偶性。