Abstract:Recently, Renes proposed a quantum algorithm called belief propagation with quantum messages (BPQM) for decoding classical data encoded using a binary linear code with tree Tanner graph that is transmitted over a pure-state CQ channel [Renes, NJP 19 072001 (2017)]. The algorithm presents a genuine quantum counterpart to decoding based on the classical belief propagation algorithm, which has found wide success in classical coding theory when used in conjunction with LDPC or Turbo codes. More recently Rengaswamy et al. [npj Quantum Information 7 97 (2021)] observed that BPQM implements the optimal decoder on a small example code. Here we significantly expand the understanding, formalism, and applicability of the BPQM algorithm with the following contributions. First, we prove analytically that BPQM realizes optimal decoding for any binary linear code with tree Tanner graph. We also provide the first formal description of the BPQM algorithm in full detail and without any ambiguity. In so doing, we identify a key flaw overlooked in the original algorithm and subsequent works which implies quantum circuit realizations will be exponentially large in the code dimension. Although BPQM passes quantum messages, other information required by the algorithm is processed globally. We remedy this problem by formulating a truly message-passing algorithm which approximates BPQM and has quantum circuit complexity $\mathcal{O}(\text{poly } n, \text{polylog } \frac{1}{\epsilon})$, where $n$ is the code length and $\epsilon$ is the approximation error. Finally, we also propose a novel method for extending BPQM to factor graphs containing cycles by making use of approximate cloning. We show some promising numerical results that indicate that BPQM on factor graphs with cycles can significantly outperform the best possible classical decoder.

Belief propagation for general graphical models with loops

New Low Complexity Belief Propagation Decoding of Low Density Parity Check Codes

Neural Belief-Propagation Decoders for Quantum Error-Correcting Codes

XJ-BP: Express Journey Belief Propagation Decoding for Polar Codes

Belief propagation algorithm for computing correlation functions in finite-temperature quantum many-body systems on loopy graphs

Understanding belief propagation and its generalizations

Graph Neural Networks for Enhanced Decoding of Quantum LDPC Codes

Belief Propagation Decoding of Quantum LDPC Codes with Guided Decimation

Belief Propagation Reloaded: Learning BP-Layers for Labeling Problems

Quaternary Neural Belief Propagation Decoding of Quantum LDPC Codes with Overcomplete Check Matrices

Improved Belief Propagation Decoding on Surface Codes with High Accuracy and Low Latency

Iteration-Aware Dynamic Quantization Neural Belief Propagation Decoder

Circular Belief Propagation for Approximate Probabilistic Inference

Quantum message-passing algorithm for optimal and efficient decoding

An almost-linear time decoding algorithm for quantum LDPC codes under circuit-level noise

A Neural Network Empowered Belief Propagation Algorithm Optimized for Short-Cycles in Tanner Graph

Improved Belief Propagation Decoding Algorithms for Surface Codes

Generalization Bounds for Neural Belief Propagation Decoders

A blockBP decoder for the surface code

A Model-Driven Quasi-ResNet Belief Propagation Neural Network Decoder for LDPC Codes.