[论文解读] An efficient decoder for a linear distance quantum LDPC code
本文提出了一种量子塔纳尔码的线性时间译码器——这类码是近期构造的渐近最优量子低密度奇偶校验码，具有恒定码率和线性距离。译码器使用一种迭代的、局部的势函数来引导在常数大小区域内的纠错操作，证明其可纠正所有权重达到码长常数倍的错误，从而在可证明的运行时间效率下实现最优纠错能力。
Recent developments have shown the existence of quantum low-density parity check (qLDPC) codes with constant rate and linear distance. A natural question concerns the efficient decodability of these codes. In this paper, we present a linear time decoder for the recent quantum Tanner codes construction of asymptotically good qLDPC codes, which can correct all errors of weight up to a constant fraction of the blocklength. Our decoder is an iterative algorithm which searches for corrections within constant-sized regions. At each step, the corrections are found by reducing a locally defined and efficiently computable cost function which serves as a proxy for the weight of the remaining error.
研究动机与目标
- 为渐近最优量子低密度奇偶校验码的高效译码这一开放问题提供解决方案，这类码虽已近期构造成功，但缺乏实用的译码算法。
- 开发一种译码器，可纠正所有权重为 Θ(n) 的错误，与码的理论距离极限相匹配。
- 通过利用局部扩展性质和势函数，将类似小集翻转的译码策略推广至量子塔纳尔码。
- 增强构造中使用的双张量码的鲁棒性，以确保在高错误率下译码器的正确性。
- 为一类量子塔纳尔码建立一个可证明正确且高效的译码过程，运行时间为线性时间。
提出的方法
- 译码器在局部视图（顶点邻域）上定义一个全局势函数，用于度量错误与码空间的距离，作为错误权重的代理。
- 在每次迭代中，算法在局部视图内识别一个常数大小的纠错集合，使其局部势函数之和最小化。
- 译码器依赖于底层二维复形的扩展性质以及局部经典码的鲁棒性，以确保每一步均能取得进展。
- 关键技术组件是构造出鲁棒性参数为 Δ³/²⁺ε 的双张量码，该构造提升了码的距离并简化了译码框架。
- 该算法以迭代方式运行，通过翻转小范围、局部区域内的量子比特来减小全局势函数，直至完全纠正错误。
- 正确性证明采用归约论证：若不存在有效纠错集合，则与错误的最小性矛盾，其依据来自扩展性和鲁棒性的界。
实验结果
研究问题
- RQ1能否为渐近最优量子低密度奇偶校验码构造一种高效译码器，使其可纠正所有权重达到码长常数倍的错误？
- RQ2能否通过局部势函数和扩展性质，将小集翻转译码范式推广至量子塔纳尔码？
- RQ3局部经典码需要达到何种鲁棒性水平，才能确保在高错误率下译码器收敛？
- RQ4能否在保持对常数倍错误的可证明正确性的前提下，实现量子塔纳尔码的线性时间译码？
- RQ5该译码器能否适配其他优良的量子低密度奇偶校验码构造，例如 Panteleev-Kalachev 码？
主要发现
- 译码器成功纠正了所有权重为 Θ(n) 的错误，达到了线性距离码的理论最大纠错能力。
- 译码器运行时间为 O(n)，因此在渐近时间复杂度上达到最优。
- 证明表明，对于权重低于阈值 |e| ≲ δn / Δ⁷/²⁺ε 的错误，每一步均存在有效纠错集合，从而确保收敛性。
- 通过构造具有鲁棒性 Δ³/²⁺ε 的双张量码，提升了码的距离，并消除了对删减抗性的需求。
- 译码器的正确性依赖于底层几何复形的扩展性质和局部码的鲁棒性，为量子塔纳尔码提供了新的可靠性保证。
- 本工作表明，对随机噪声存在一个常数精度阈值，如引理 15 所形式化。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。