--- title: Belief Propagation List (BPL) Decoder url: https://www.emergentmind.com/topics/belief-propagation-list-bpl-decoder type: topic --- # Belief Propagation List (BPL) Decoder A Belief Propagation List (BPL) decoder is a modern iterative decoding architecture that seeks to approach or match the error-correcting performance of maximum-likelihood (ML) or CRC-aided successive cancellation list (CA-SCL) decoding for polar codes and related linear block codes. A BPL decoder instantiates multiple belief-propagation (BP) decoders, each operating on a uniquely permuted version of the code's factor graph or parity-check structure, then aggregates candidate codeword decisions into a list and selects the optimal output using a suitable metric or outer code constraint. BPL decoders exploit the inherent parallelism of BP, the diversity induced by graph permutations, and (in advanced forms) soft-decision processing or post-list reprocessing, enabling high-throughput, low-latency, and near-ML performance, particularly for moderate blocklengths and hardware-oriented deployments. ## 1. Core Principles and Algorithmic Foundations The foundational concept of Belief Propagation List decoding is the parallel deployment of $L$ independent BP decoders, each mapping the channel observation $\mathbf{y}$ onto an $n$-stage permuted factor graph $\mathcal{G}_\pi$. For polar codes, this leverages the property (Arıkan's theorem) that stage-order permutations of the factor graph $G_N$ preserve the underlying code but induce distinct cycle structures [1806.10503][1801.04299][2001.05303]. Each BP instance iteratively propagates log-likelihood ratios (LLRs) using min-sum or sum-product updates along the permuted graph: - The "boxplus" or $\mathrm{atanh}$ sum at check nodes, - The appropriate variable node update (with temporary hard decisions as needed), - Enforcement of frozen constraints or outer CRC constraints on designated nodes. Upon convergence or maximum iteration, each BP decoder outputs a candidate codeword $\hat{\mathbf{x}}^{(l)}$, and the set $\{\hat{\mathbf{x}}^{(1)}, \ldots, \hat{\mathbf{x}}^{(L)}\}$ forms the BPL candidate list. Final selection is performed by evaluation of a metric (e.g., Euclidean distance metric $\|\mathbf{y} - \hat{\mathbf{x}}\|^2$), and, in CRC-aided settings, filtering by CRC validity [2001.05303][1801.04299]. For LDPC and quantum codes, analogous BPL mechanisms instantiate BP on alternative parity-check bases (e.g., through redundant subtree checks or multiple bases), with list-aggregation rules possibly incorporating candidate reliability and frequency scoring [2511.02951][1705.09507]. ## 2. Permuted Factor Graphs and List Diversity Stage-order permutations and associated factor-graph diversity are central to BPL's error performance. Each permutation $\pi \in S_n$ (for length $N=2^n$ polar codes) defines a unique FG topology with different cycle configurations and fixed-point properties. Since BP decoding can fail due to graph-induced trapping sets or specific error pattern alignments, running multiple decoders across $L$ diverse permutations raises the probability that at least one BP instance converges to the transmitted codeword. Permutation selection strategies include: - Uniform random sampling of $n!$ possible stage orders [1806.10503][1801.04299][2210.13887], - Systematic selections based on maximizing pairwise Hamming distance between permutations, - Greedy sequential generation (SG) based on conditional independence and error-coverage statistics [2210.13887], - Algebraic affine permutations for subcoded polar or CRC-polar codes [2205.06631]. The resulting BPL error-rate is theoretically proven to approach the ML bound exponentially in $L$ under reasonable independence assumptions [1801.04299][1806.10503][2001.05303]. ## 3. Outer Constraints: CRC-Aid, Soft CRC, and Subcodes Aggregation performance improves markedly when an outer code or constraint is applied: - CRC-aided BPL (CA-BPL) uses CRC checks to prune invalid candidates; early stopping upon CRC success further reduces average list size and latency [2001.05303][1801.04299][2102.07994]. - Advanced variants integrate the CRC as a soft-in/soft-out code within BP by applying BCJR or SPA decoding over the CRC trellis or parity-check matrix, feeding back extrinsic CRC LLRs into the polar graph after each BP sweep. This enables genuine extrinsic error correction beyond mere detection [2001.05303]. - For polar subcodes, permutations correspond to nontrivial affine transforms, yielding a larger effective permutation space and improved diversity, especially for dynamic-frozen or CRC-constraint codes [2205.06631]. The combination of iteratively-updated BP, CRC validation, and metric-based selection allows BPL decoders to approach or match the performance of CA-SCL for moderate list sizes and iterations [2001.05303][2205.06631][2301.06060]. ## 4. List Management, Candidate Selection, and Postprocessing The BPL workflow includes: - Parallel or sequential BP decodings across the selected permutation set. - For each BP instance, optional early stopping on CRC success, or forced exit after $I_{\max}$ iterations. - Aggregation of candidates, pruning by CRC outcome and path metric (typically the minimum Euclidean distance, or in certain constructions, weighted Hamming distance to the received vector or LLR-based reliability metrics [2205.06631][2511.02951]). - In enhanced designs, such as BP-OSD [2102.07994], ordered statistics decoding (OSD) reprocessing is applied within each BP candidate: a reliability ordering is computed, the most reliable basis extracted, and all possible patterns up to weight $q$ are tested to form a local superlist, selecting the candidate closest to $\mathbf{y}$. This can provide $0.5$--$0.7$ dB additional gain with only moderate increase in complexity. For quantum LDPC codes, list aggregation is supplemented by frequency-weighted scoring (FWS)—choosing the candidate that appears most frequently across the multiple base decodings relative to its Hamming weight [2511.02951]. ## 5. Hardware Considerations and Latency/Complexity BPL decoders are highly suitable for high-throughput hardware owing to the inherent parallelism of BP and the independence of list branches: - Each iteration per decoder entails $O(N \log N)$ operations for polar codes [1806.10503][2210.13887][2001.05303]. - The aggregate effort is $O(L \cdot I \cdot N \log N)$, but with proper early stopping, average iterations can be significantly lower than the worst case. - Recent hardware implementations realize on-the-fly permutation generation via networks of basic subroutings rather than a full crossbar, yielding compact, low-area, and high-throughput designs. For example, a length-1024, rate-1/2 BPL decoder with $L=32$ achieves $25.63$ Gbps and area efficiency $29.46$ Gbps/mm$^{2}$ at SNR $=4$ dB, outperforming BP flip and SCL decoders by factors of $1.82\times$ and $4.33\times$, respectively [2210.13887]. - Sequential BPL strategies can reuse a single BP core for all permutations, with permutation latency negligible compared to the BP decoding time for $I_{\max} \gtrsim 15$ [2210.13887]. At high SNR, early stopping becomes efficient—many branches terminate after a few iterations, and complements such as a "gate" BPL agent or early-exit designs further reduce average latency [2301.06060][2205.06631]. ## 6. Extended BPL Variants and Related Techniques Several advanced BPL forms and related frameworks have been developed: - Weighted BPL (ensemble of weighted BP decoders, each trained or specialized to subsets of the input space, possibly indexed by the CRC remainder), with learned weights and CRC gating to improve ensemble diversity [2301.06060]. - BP-LED (Belief Propagation List-Erasure Decoding), primarily for LDPC codes, where after BP failure, a small set of unreliable bits is erased and an ML-based list decoder for the induced erasure channel is used. Each candidate codeword is compared by distance to the original channel output [1705.09507]. - Neural-BPL: Neural BP decoders can utilize list-decimation strategies, where the least reliable bits are forcibly set (decimated) to both values, expanding the candidate set along an "NBP-list" tree. Subsequent learned decimation steps refined by a neural network prune the list size, improving block error rates for short codes [2011.02161]. - Quantum BPL: Multiple bases BP decoders leveraging redundant checks (maximum cycle-free subgraphs) in QLDPC codes, with frequency-based list aggregation or standard least-metric scoring, achieve lower logical error rates at linear (in $n$) complexity [2511.02951]. ## 7. Performance, Trade-offs, and Theoretical Bounds Empirical and theoretical evaluations demonstrate the following: - For (1024,512) polar codes, BPL with $L=8$–$16$ approaches within $0.1$–$0.2$ dB of the ML bound and matches SCL-32 decoding at moderate iteration counts ($I=20$–$50$) [1806.10503][1801.04299][2210.13887]. - With CRC-aid and list sizes $L=8$–$32$, CA-BPL is within $0.1$–$0.2$ dB of CA-SCL on standardized 5G polar codes, with hardware latency reductions of $2\times$–$10\times$, especially at high SNR [2001.05303][2205.06631]. - Gains saturate with increasing $L$ beyond $\sim 32$; further improvements are realized by adding weighted message updates, BP-based frozen bit reordering, or OSD postprocessing. - For LDPC and quantum codes, list-based BP (including BPL-LED and MBBP-LD) closes a significant fraction of the gap to near-ML decoding with linear-time scaling [1705.09507][2511.02951]. A typical performance comparison (for a (1024,512) polar code, FER $=10^{-3}$): | Decoder | $E_b/N_0$ (dB) | |---------------------|----------------| | SC | 4.75 | | BP (single) | 4.55 | | BPL ($L=8$) | 4.25 | | BPL ($L=16$) | 4.15 | | SCL ($L=32$) | 4.10 | | ML Bound | 4.05 | [1806.10503][2001.05303][2205.06631][2210.13887] The exponential approach of BPL FER to the ML bound with $L$ has been theoretically established, and practical results confirm that BPL is a viable, efficient, and high-performance decoding solution for polar codes and beyond. --- **References**: [1806.10503] [1801.04299] [2001.05303] [2205.06631] [2301.06060] [2210.13887] [2102.07994] [1705.09507] [2011.02161] [2511.02951] Source: https://www.emergentmind.com/topics/belief-propagation-list-bpl-decoder