[论文解读] Good Quantum LDPC Codes with Linear Time Decoders

Irit Dinur, Min-Hsiu Hsieh+2 more|arXiv (Cornell University)|Jun 15, 2022

Quantum Computing Algorithms and Architecture被引用 10

一句话总结

本文提出了一类新的显式好性能量子LDPC码，具有恒定码率和恒定距离，通过在左右Cayley复形上的三元链复形构造而成。这些码通过局部比特翻转算法实现了线性时间解码，其基础是针对随机码对的最优鲁棒性新证明，解决了容错量子计算中的一个关键开放问题。

ABSTRACT

We construct a new explicit family of good quantum low-density parity-check codes which additionally have linear time decoders. Our codes are based on a three-term chain $(\mathbb{F}_2^{m imes m})^V \quad \xrightarrow{δ^0}\quad (\mathbb{F}_2^{m})^{E} \quad\xrightarrow{δ^1} \quad \mathbb{F}_2^F$ where $V$ ($X$-checks) are the vertices, $E$ (qubits) are the edges, and $F$ ($Z$-checks) are the squares of a left-right Cayley complex, and where the maps are defined based on a pair of constant-size random codes $C_A,C_B:\mathbb{F}_2^m o\mathbb{F}_2^Δ$ where $Δ$ is the regularity of the underlying Cayley graphs. One of the main ingredients in the analysis is a proof of an essentially-optimal robustness property for the tensor product of two random codes.

研究动机与目标

• 构建具有恒定码率和恒定相对距离的显式量子LDPC码，以应对容错量子计算中的关键挑战。
• 设计一种线性时间运行的解码器，以实现大规模量子系统中高效纠错。
• 建立两个随机二元码张量积的鲁棒性性质，这对码距离和解码分析至关重要。
• 利用几何结构——特别是左右Cayley复形——构建对称但非对称的链复形，以实现量子码构造。
• 将经典局部可测试码的框架扩展到量子设置，实现具有可证明性能保证的高效解码。

提出的方法

• 在左右Cayley复形上构造三元链复形：$(\bbF_2^{m\times m})^V \to (\bbF_2^m)^E \to \bbF_2^F$，其中$V$、$E$和$F$分别表示顶点、边和面（正方形）。
• 通过两个基码$C_A, C_B: \bbF_2^m \to \bbF_2^\triangle$（具有恒定码率和距离）作用于矩阵的行和列，定义链映射$\bar{\theta}^0$和$\bar{\theta}^1$。
• 使用Cayley复形的4重覆盖以确保量子比特和校验位的正确放置，从而实现具有$w$-局部校验的平衡码结构。
• 基于复形的几何与代数结构，实现基于局部比特翻转或小权重翻转操作的线性时间解码算法。
• 证明两个随机码的张量积以高概率具有$d_2$-鲁棒性，即在和中低权重矩阵必须可分解为来自$C_A$和$C_B$的少量码字。
• 应用展开性与鲁棒性论证，证明码具有恒定相对距离，且解码器可纠正高达线性距离的错误。

实验结果

研究问题

• RQ1 能否构造出具有恒定码率和恒定距离的优秀量子LDPC码，并配备高效的线性时间解码器？
• RQ2 一对经典码需满足何种鲁棒性性质，才能确保量子码具有良好的码距离和有效的解码性能？
• RQ3 如何利用如左右Cayley复形等几何复形，构造具有结构化、低权重校验的量子码？
• RQ4 能否证明随机码对的鲁棒性本质上是最优的，从而实现强大的码距离与解码保证？
• RQ5 能否设计一种线性时间运行的解码算法，同时纠正达到码线性距离的错误？

主要发现

• 作者构造了一个显式的无限量子LDPC码族，其恒定码率$r \to (0, 1/2)$，恒定相对距离$\bar{\theta} > 0$，最大校验权重$w \to \bbN$。
• 该码配备有线性时间解码器，可纠正码距离的恒定比例，实现高效纠错。
• 一项关键技术贡献是证明了两个恒定码率和距离的随机二元码以高概率具有$d_2$-鲁棒性，这对码距离与解码分析至关重要。
• 该鲁棒性性质确保：在两个码张量积的和中，任何低权重矩阵都必须可分解为来自每个码的少量码字，从而支持有效解码。
• 分析表明，随机矩阵属于鲁棒集$\bar{\rho}(C_A, C_B)$的概率随$m_a m_b / \triangle$指数衰减，支持强码距离界限。
• 该构造利用Cayley复形的展开性与局部极小性条件，确保错误可通过局部操作被检测与纠正。