[论文解读] New constructions of CSS codes obtained by moving to higher alphabets

Iryna Andriyanova, Denise Maurice+1 more|arXiv (Cornell University)|Feb 15, 2012

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

一句话总结

该论文将 [KHIK11] 中针对 $\mathbb{F}_{2^m}$ 的非二元量子 LDPC 码构造方法推广至具有 $(2,L)$-正则二元 LDPC 校验矩阵的任意 CSS 码，实现了更优的迭代译码性能与更高的码率。该方法通过将二元码映射到高阶域，并利用 $\mathbb{F}_{2^m}$ 上的矩阵表示，构造出继承平庸码距离扩展特性的新型量子码，其最小距离随 $\sqrt{n}$ 增长（固定 $m$ 时）。核心贡献在于提出了一套系统化框架，通过域扩张提升码性能，同时保持结构特性和距离特性不变。

ABSTRACT

We generalize a construction of non-binary quantum LDPC codes over $\F_{2^m}$ due to \cite{KHIS11a} and apply it in particular to toric codes. We obtain in this way not only codes with better rates than toric codes but also improve dramatically the performance of standard iterative decoding. Moreover, the new codes obtained in this fashion inherit the distance properties of the underlying toric codes and have therefore a minimum distance which grows as the square root of the length of the code for fixed $m$.

研究动机与目标

• 将 [KHIK11] 中针对非二元量子 LDPC 码的构造方法从平庸码推广至更广泛的 CSS 码类。
• 通过利用高阶有限域，提升量子 LDPC 码的迭代译码性能。
• 在提升至 $\mathbb{F}_{2^m}$ 时，保持或增强原始二元码的最小距离特性。
• 提供一种通用框架，通过域扩张与矩阵同构关系，构造高码率且译码性能优良的量子码。

提出的方法

• 从一对满足 $\mathcal{C}_Z^\perp \subset \mathcal{C}_X$ 且具有 $(2,L)$-正则校验矩阵的二元 LDPC 码 $ (\mathcal{C}_X, \mathcal{C}_Z) $ 出发。
• 通过保留二元矩阵中的非零项，构造其 $q$-元版本 $ (\mathcal{C}_X^{(q)}, \mathcal{C}_Z^{(q)}) $，定义在 $\mathbb{F}_{2^m}$ 上。
• 应用环同构 $ A: \mathbb{F}_{2^m} \to \mathcal{M}_{2^m} $，将 $\mathbb{F}_{2^m}$ 中的每个元素映射为一个 $2^m \times 2^m$ 的二元矩阵。
• 通过将每个域元素替换为其对应的二元矩阵表示，构造新的二元校验矩阵 $ (\hat{\mathbf{H}}_X, \hat{\mathbf{H}}_Z) $。
• 确保所得码 $\hat{\mathcal{C}}_X$ 与 $\hat{\mathcal{C}}_Z$ 满足 CSS 条件 $\hat{\mathcal{C}}_Z^\perp \subset \hat{\mathcal{C}}_X$。
• 利用 Tanner 图中循环结构（如大尺寸的竖直与水平循环）分析并界定提升码的最小距离。

实验结果

研究问题

• RQ1 能否将 [KHIK11] 中针对非二元量子 LDPC 码的构造方法从平庸码推广至具有 $(2,L)$-正则二元 LDPC 码的其他 CSS 码？
• RQ2 通过矩阵同构将二元 LDPC 码提升至 $\mathbb{F}_{2^m}$ 时，是否能保持或改善原始码的最小距离？
• RQ3 与在 $\mathbb{F}_2$ 上操作相比，在扩展域 $\mathbb{F}_{2^m}$ 上操作是否能显著提升迭代译码性能？
• RQ4 当该构造应用于平庸码或类似结构时，所得量子码的最小距离是多少？
• RQ5 商空间 $\mathcal{C}_Z^{(q)} / \mathcal{C}_X^{(q)\perp}$ 与 $\mathcal{C}_X^{(q)} / \mathcal{C}_Z^{(q)\perp}$ 的维数与距离特性如何影响码的纠错能力？

主要发现

• 所构造的量子码在固定 $m$ 时，最小距离随 $\sqrt{n}$ 增长，继承了底层平庸码的距离扩展特性。
• 由于在 $\mathbb{F}_{2^m}$ 上具有更高维的结构，与标准平庸码相比，码率得到提升。
• 在扩展域 $\mathbb{F}_{2^m}$ 上操作可显著提升迭代译码性能，类似于经典 LDPC 码的改进效果。
• 商空间 $\mathcal{C}_Z^{(q)} / \mathcal{C}_X^{(q)\perp}$ 中非零元素的最小权重至少为 $n$，这为码的最小距离提供了下界。
• Tanner 图中独立的循环（水平与竖直循环）确保了商空间中的错误具有至少 $n$ 的权重，这是由于多个移位循环之间具有不相交的支撑集。
• 该构造保持了 CSS 结构，确保所得量子码有效且可通过标准量子纠错技术进行译码。