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.

Polar Codes for CQ Channels: Decoding via Belief-Propagation with Quantum Messages

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

Decoding of Polar Codes Based on Q-Learning-Driven Belief Propagation

A Data Structure-Based Approximate Belief Propagation Decoder for Polar Codes

Polar Coding for Arbitrary Channels Based on Gaussian Decomposition

Improved Logical Error Rate via List Decoding of Quantum Polar Codes

Polarization of Quantum Channels using Clifford-based Channel Combining

Polar coding to achieve the Holevo capacity of a pure-loss optical channel

Performance Analysis of Systematic Polar Codes with Belief Propagation Algorithm

Quantum message-passing algorithm for optimal and efficient decoding

On the Exploration of Quantum Polar Stabilizer Codes and Quantum Stabilizer Codes with High Coding Rate

Flexible polar encoding for information reconciliation in QKD

Belief Propagation Decoding of Polar Codes Using Intelligent Post-Processing

A Joint Code and Belief Propagation Decoder Design for Quantum LDPC Codes

Quantum Speedup for Polar Maximum Likelihood Decoding

High performance error correction for quantum key distribution using polar codes

Quantum Polarization of Qudit Channels

Belief Propagation Bit-Strengthening Decoder for Polar Codes

Quantum State Compression with Polar Codes

Quantum polar stabilizer codes based on polarization of pure quantum channel don't work for quantum computing

Channel polarization of two-dimensional-input quantum symmetric channels