[论文解读] A Proposed Quantum Low Density Parity Check Code

Michael S. Postol|ArXiv.org|Aug 29, 2001

Error Correcting Code Techniques参考文献 4被引用 55

一句话总结

本文提出一种基于有限几何构造的经典LDPC码的量子低密度奇偶校验（LDPC）码，实现高效编码与容错解码。通过对接收循环LDPC码进行行分裂，并构建一种CSS码，使比特翻转与相位翻转错误均由LDPC码纠正，从而实现一个[[15,4]]的量子码，其原码及其对偶码均保持稀疏性，证明了基于LDPC的量子误差纠正的可行性。

ABSTRACT

We propose a new CSS code based on the finite geometry low density parity check code of Kou, Lin, and Fossorier.

研究动机与目标

• 基于具有稀疏奇偶校验矩阵的经典LDPC码，开发一种改进容错能力的量子误差纠正码。
• 通过利用基于有限几何的循环码，解决传统LDPC码中编码困难的问题。
• 构建一种CSS码，使比特翻转与相位翻转错误均由LDPC码纠正，确保两个分量均保持稀疏结构。
• 通过确保嵌套码的对偶码仍为LDPC码，实现量子码的迭代解码，保持解码效率。

提出的方法

• 利用有限射影几何构造经典LDPC码，确保其稀疏性与循环结构，以实现高效编码。
• 对循环LDPC码的奇偶校验矩阵实施行分裂，生成具有更大零空间的嵌套码。
• 采用CSS构造方法，从两个嵌套的经典码$C_1 \supset C_2$构建量子码，其中$C_1$纠正比特翻转错误，$C_2^\perp$纠正相位翻转错误。
• 通过分析其生成多项式与校验多项式，验证对偶码$C_2^\perp$仍为LDPC码，确保其稀疏性。
• 确认所得量子码为$[15,4]$码，且$C_1$与$C_2^\perp$均具有低密度奇偶校验矩阵。
• 利用$\mathbb{F}_2$上的多项式代数计算扩展码的校验多项式，并通过行化简确定其维度。

实验结果

研究问题

• RQ1 能否利用基于有限几何构造的经典LDPC码，构建一种CSS码，使两个分量均为LDPC码？
• RQ2 对循环LDPC码进行行分裂后，是否能保持嵌套码对偶码的LDPC特性？
• RQ3 由于两个奇偶校验矩阵均保持稀疏性，所得量子码是否能维持较低的解码复杂度？
• RQ4 能否实现一种嵌套码结构$C_2 \subset C_1$，且$C_2^\perp$也保持稀疏性，从而支持迭代解码？
• RQ5 所提出的构造是否能产生具有非平凡码率与纠错能力的量子码，同时保留LDPC码的优势？

主要发现

• 所提出的构造生成了一个$[15,4]$的量子码，其比特翻转与相位翻转错误纠正码均为LDPC码。
• 原码$C_1$的奇偶校验矩阵密度约为0.27，对偶码$C_2^\perp$的密度约为0.33，两者均保持稀疏性。
• 证明了对偶码$C_2^\perp$为LDPC码，其参数满足$\rho=5$，$\gamma=1$，$\lambda=1$，符合LDPC定义。
• 对$[15,7]$循环LDPC码的奇偶校验矩阵进行行分裂后，得到一个$[30,15]$码，其维度为3，确认了嵌套结构。
• 扩展码的校验多项式为$h(x) = x^3 + 1$，对偶码$C_2^\perp$的生成多项式为$g^\perp(x) = x^3 + 1$，证实其具有循环性与LDPC特性。
• 所得量子码在原则上具备容错能力，因两类错误均由LDPC码纠正，表明其具有实现迭代解码的潜力。