[论文解读] Fast erasure decoder for hypergraph product codes

Nicholas Connolly, Vivien Londe+2 more|arXiv (Cornell University)|Aug 1, 2022

Quantum Computing Algorithms and Architecture参考文献 11被引用 4

一句话总结

本文提出一种用于超图乘积（HGP）码的快速删失译码器，HGP码是前沿的量子低密度奇偶校验（LDPC）码类别。该方法采用结合剪枝剥皮法与一种新型VH译码器的混合策略，实现接近最大似然（ML）性能，计算复杂度为$O(N^2)$比特操作，若采用概率高斯消去法则为$O(N^{1.5})$，从而在量子纠错系统中高效纠正量子比特删失错误。

ABSTRACT

We propose a decoder for the correction of erasures with hypergraph product codes, which form one of the most popular families of quantum LDPC codes. Our numerical simulations show that this decoder provides a close approximation of the maximum likelihood decoder that can be implemented in O(N^2) bit operations where N is the length of the quantum code. A probabilistic version of this decoder can be implemented in O(N^1.5) bit operations.

研究动机与目标

• 设计一种快速且实用的译码器，用于纠正超图乘积（HGP）码中的量子比特删失错误，该码在容错量子计算中具有降低量子比特开销的潜力。
• 通过开发一种低复杂度的替代方案，克服最大似然（ML）译码的高计算成本，使其近似达到ML性能。
• 通过引入基于簇的纠正策略（利用孤立、悬挂和自由簇），解决经典与量子LDPC译码中的停止集问题。
• 在光子与中性原子等系统中，删失是主要错误源的量子架构中实现高效实现。
• 将译码复杂度从$O(N^3)$降低至$O(N^2)$或$O(N^{1.5})$，同时保持高逻辑错误率性能。

提出的方法

• 译码器采用剪枝剥皮算法，迭代纠正HGP码Tanner图中的孤立与悬挂簇，将含自由校验的簇的纠正延迟至后期进行。
• 引入一种新型VH（顶点启发）译码器，分两个阶段纠正簇：首先纠正内部校验，然后通过基于栈的延迟纠正机制解决自由校验。
• 算法维护一个校验向量$s$，并在纠正错误时逐步更新，确保与原始校验向量的一致性。
• 根据簇的连通性处理簇：孤立或悬挂簇立即纠正，而自由簇则通过栈延迟处理，以保持校验一致性。
• 通过概率技术优化每个簇的高斯消去步骤，将每簇的代价从$O(n^3)$降低至$O(n^2)$，从而实现整体$O(N^{1.5})$复杂度。
• 译码失败仅发生在删失模式在VH图中包含环路时，而低删失率下此类环路极为罕见。

实验结果

研究问题

• RQ1 能否为HGP码设计一种快速译码器，实现删失纠错的近似最大似然性能？
• RQ2 如何将译码复杂度从$O(N^3)$降低至$O(N^2)$或更优，同时保持高精度？
• RQ3 停止集（特别是由含自由校验的簇构成的停止集）在译码失败中起何种作用？如何缓解其影响？
• RQ4 结合剥皮法与基于簇的纠正策略的混合方法，能否提升量子LDPC译码的性能与可扩展性？
• RQ5 VH图结构中的环路在多大程度上限制译码性能？剪枝策略能否减轻其影响？

主要发现

• 所提出的译码器在低删失率下，其逻辑错误率极接近最大似然译码器的性能。
• 译码器在确定性版本下运行复杂度为$O(N^2)$比特操作，采用概率高斯消去法时为$O(N^{1.5})$，显著优于标准的$O(N^3)$译码。
• 剪枝剥皮与VH译码的结合性能几乎等同于ML译码器，仅在低删失率下存在微小性能差距。
• 译码失败仅发生在删失模式在VH图中包含环路时，而由于小权重错误簇的稀疏性，低误码率下此类环路极为罕见。
• 通过栈实现对自由校验的延迟纠正，使译码器能保持校验一致性，并在不显著增加复杂度的前提下纠正复杂簇模式。
• 该实现已公开发布，可作为其他译码器（如Union-Find）的子程序使用，从而加速量子LDPC码的译码。