[论文解读] An interpretation of Union-Find Decoder on Weighted Graphs

Yue Wu, Namitha Liyanage+1 more|arXiv (Cornell University)|Nov 7, 2022

Cooperative Communication and Network Coding被引用 7

一句话总结

本文揭示了并查集（UF）译码器近似实现了表面码最小权重完美匹配（MWPM）译码器所用的开花算法，解释了为何UF译码器在时间复杂度较低的情况下仍能实现高译码精度。通过将UF解释为在加权故障图上对开花算法的近似实现，作者将UF译码器推广至任意边权，从而在非均匀噪声模型下提升了准确率与效率。

ABSTRACT

Union-Find (UF) and Minimum-Weight Perfect Matching (MWPM) are popular decoder designs for surface codes. The former has significantly lower time complexity than the latter but is considered somewhat inferior, in terms of decoding accuracy. In this work we present an interpretation of UF decoders that explains why UF and MWPM decoders perform closely in some cases: the UF decoder is an approximate implementation of the blossom algorithm used for MWPM. This interpretation allows a generalization of UF decoders for weighted decoding graphs and explains why UF decoders achieve high accuracy for certain surface codes.

研究动机与目标

• 解释并查集译码器为何在时间复杂度低于MWPM译码器的情况下仍表现出优异的实验性能。
• 形式化并查集译码器与MWPM译码中所用开花算法之间的联系。
• 将并查集译码器推广至适用于具有非均匀错误概率的加权译码图。
• 通过利用并查集与MWPM之间解释出的关系，实现表面码在偏置或非独立同分布噪声下的更快、更准确的译码。
• 促进并查集与开花算法技术之间的交叉融合，以推动未来译码器设计。

提出的方法

• 将并查集译码器重新解释为在故障图上对开花算法的近似实现。
• 形式化并查集与开花算法对故障图进行非重叠子图分解的过程。
• 通过计算奇数簇的最大安全扩展，将并查集译码器适配至加权图上运行。
• 设计一种实数权重并查集译码器，采用64位整数缩放的浮点数运算，以避免舍入误差。
• 实现一种整数权重并查集译码器，每一步仅将奇数簇扩展一个单位，其时间复杂度依赖于最大边权。
• 使用具有O(N)条边的模型图替代具有O(N²)条边的故障图，以降低时间复杂度。

实验结果

研究问题

• RQ1 为何并查集译码器在某些表面码中能达到与最小权重完美匹配（MWPM）译码器相近的译码精度？
• RQ2 并查集译码器在何种方式上近似了MWPM译码中所用的开花算法？
• RQ3 并查集译码器能否推广至处理具有非均匀错误概率的加权译码图？
• RQ4 并查集与开花算法之间的结构相似性如何促进译码器设计的改进？
• RQ5 在时间复杂度与准确率方面，实数权重与整数权重并查集译码器之间的性能权衡是什么？

主要发现

• 并查集译码器通过将故障图分解为非重叠子图，并以与MWPM解逻辑等价的方式增长簇，从而近似开花算法。
• 在许多条件下，并查集译码器与开花算法对故障图的分解完全相同，且对子图产生逻辑等价的解。
• 实数权重并查集译码器的最坏情况时间复杂度为O(N²)，由于其在具有O(N)条边的模型图上运行，低于开花算法的O(N³)。
• 整数权重并查集译码器的最坏情况时间复杂度为O(N·(α(N) + w_max))，其中α(N)为反阿克曼函数，w_max为最大边权。
• 所提出的加权并查集译码器在边权缩放相同时，能达到与对应MWPM译码器相同的准确率，但时间复杂度显著降低。
• 两种加权并查集译码器的实现均已开源，支持社区采用与进一步开发。