Table of Contents
Fetching ...

Reverse PAC Codes: Look-ahead List Decoding

Xinyi Gu, Mohammad Rowshan, Jinhong Yuan

TL;DR

This work targets the reduction of minimum-weight codewords $A_{w_{\min}}$ in polar-type codes to improve block error rate (BLER) at high rates. It introduces reverse PAC (RPAC) codes that apply a reverse pre-transform $u=\mathbf{v}P'$ (with $P'=P^{T}$) to shift coset leaders and further reduce $A_{w_{\min}}$, and develops a look-ahead list decoding (LA-SCL) algorithm to decode RPAC without increasing overall complexity to $O(L N \log_2 N)$. The paper provides a practical mapping for the pre-transform, analyzes coset structure, and proves that RPAC can significantly reduce $A_{w_{\min}}$ compared to PAC and polar codes, while LA-SCL maintains tractable decoding. Numerical results for high-rate short codes demonstrate up to ~0.6 dB gains over PAC/CRC-polar at high SNR, with RPAC approaching near-ML performance as the list size grows, illustrating the practical impact for future high-rate communications.

Abstract

Convolutional precoding in polarization-adjusted convolutional (PAC) codes is a recently introduced variant of polar codes. It has demonstrated an effective reduction in the number of minimum weight codewords (a.k.a error coefficient) of polar codes. This reduction has the potential to significantly improve the error correction performance. From a codeword formation perspective, this reduction has limitations. Capitalizing on the understanding of the decomposition of minimum-weight codewords, this paper studies reverse precoding that can effectively reduce minimum-weight codewords more than in PAC codes. We propose a look-ahead list decoding for the reverse PAC codes, which has the same order of complexity as list decoding in PAC codes. Through numerical analysis, we demonstrate a notable reduction in error coefficients compared to PAC codes and polar codes, resulting in a remarkable improvement in the block error rate, in particular at high code rates.

Reverse PAC Codes: Look-ahead List Decoding

TL;DR

This work targets the reduction of minimum-weight codewords in polar-type codes to improve block error rate (BLER) at high rates. It introduces reverse PAC (RPAC) codes that apply a reverse pre-transform (with ) to shift coset leaders and further reduce , and develops a look-ahead list decoding (LA-SCL) algorithm to decode RPAC without increasing overall complexity to . The paper provides a practical mapping for the pre-transform, analyzes coset structure, and proves that RPAC can significantly reduce compared to PAC and polar codes, while LA-SCL maintains tractable decoding. Numerical results for high-rate short codes demonstrate up to ~0.6 dB gains over PAC/CRC-polar at high SNR, with RPAC approaching near-ML performance as the list size grows, illustrating the practical impact for future high-rate communications.

Abstract

Convolutional precoding in polarization-adjusted convolutional (PAC) codes is a recently introduced variant of polar codes. It has demonstrated an effective reduction in the number of minimum weight codewords (a.k.a error coefficient) of polar codes. This reduction has the potential to significantly improve the error correction performance. From a codeword formation perspective, this reduction has limitations. Capitalizing on the understanding of the decomposition of minimum-weight codewords, this paper studies reverse precoding that can effectively reduce minimum-weight codewords more than in PAC codes. We propose a look-ahead list decoding for the reverse PAC codes, which has the same order of complexity as list decoding in PAC codes. Through numerical analysis, we demonstrate a notable reduction in error coefficients compared to PAC codes and polar codes, resulting in a remarkable improvement in the block error rate, in particular at high code rates.
Paper Structure (9 sections, 1 theorem, 20 equations, 3 figures, 1 table)

This paper contains 9 sections, 1 theorem, 20 equations, 3 figures, 1 table.

Key Result

Lemma 1

(rowshan2023minimum) For any coset $\mathcal{C}_i(\mathcal{I})$ where we have In other words, any cosets $\mathcal{C}_i$ where there is no frozen row $\mathbf{g}_f$ for $f \in \mathcal{I}^c \cap(i, N-1]$ such that $|\mathop{\mathrm{supp}}\nolimits(\mathop{\mathrm{bin}}\nolimits(f)) \backslash \mathop{\mathrm{supp}}\nolimits(\mathop{\mathrm{bin}}\nolimits(i))|>1$, we get $A_{i

Figures (3)

  • Figure 1: Tree traversal in look-ahead list decoding.
  • Figure 2: Performance comparison of (64,50) codes.
  • Figure 3: Performance comparison of (128,110) codes.

Theorems & Definitions (5)

  • Definition 1
  • Lemma 1
  • Remark 1
  • Example 1
  • Example 2