Circular Buffer Rate Matching for Polar Codes

• Circular buffer rate matching (CB-RM) is a unified framework that integrates puncturing, shortening, and repetition for constructing rate-compatible polar codes adaptable to diverse channel conditions.
• It employs a two-stage polarization process and a progressive puncturing algorithm based on binary domination, ensuring capacity-achieving performance with nested code families.
• CB-RM supports BICM and higher-order modulations, delivering low-complexity encoding/decoding and measurable performance gains in practical wireless and HARQ systems.

Circular buffer rate matching (CB-RM) is an advanced framework for constructing rate-compatible polar codes, achieving flexible code rates for diverse channel conditions and HARQ applications by integrating puncturing, shortening, and repetition within a unified operational and mathematical paradigm. The approach enables seamless adaptation to single- or multi-transmission channels and provides capacity-achieving, low-complexity solutions for both binary-input and higher-order modulated communication systems (El-Khamy et al., 2017, Jang et al., 2019).

1. Mathematical Foundations of the Circular-Buffer Operator

At the core of CB-RM, the mother polar codeword $x_1^N$ (with $N=2^n$) is arranged as a $2^q\times2^p$ matrix $X(i,j)$, where $p+q=n$ and $X(i,j)=x_{(i-1)2^p+j}$ for $1\leq i\leq2^q, 1\leq j\leq2^p$. The central operation is the rate-matching map,

$$\mathcal{R}(x_1^N;L) = (\hat{x}_1, \hat{x}_2, \ldots, \hat{x}_L),$$

with

$$\hat{x}_t = X(1 + ((t-1) \bmod 2^q),\; \pi(\lfloor (t-1)/2^q \rfloor + 1)),$$

where the permutation $\pi$ (derived from the progressive puncturing algorithm or a $N=2^n$0-posequence) determines the column-interleaving order. For all $N=2^n$1, exactly the worst $N=2^n$2 columns in $N=2^n$3 order are excluded (for $N=2^n$4, i.e., puncturing), while $N=2^n$5 (repetition) simply cycles through the codeword with wraparound.

Unified CB-RM, as developed via binary domination, produces the codeword $N=2^n$6 for $N=2^n$7 after applying an interleaver $N=2^n$8 to the encoder output $N=2^n$9, ensuring one uniform buffer extraction mechanism for all modes (puncturing, shortening, repetition) (Jang et al., 2019).

2. Two-Stage Polarization Structure

The encoder is represented as $2^q\times2^p$0 with a subsequent bit-reversal operation. This induces a two-stage polarization process:

• Stage 1 applies $2^q\times2^p$1 parallel base codes of length $2^q\times2^p$2, polarizing the input into $2^q\times2^p$3 bit-channels $2^q\times2^p$4.
• Stage 2 applies $2^q\times2^p$5 parallel transforms to these bit-channels.

In the presence of puncturing, exactly $2^q\times2^p$6 out of $2^q\times2^p$7 base code channels become zero-capacity, reducing the achievable rate to $2^q\times2^p$8 in the asymptotic regime. This nested polarization ensures that all derived codes for different rates share a common structure, enabling fully nested, rate-compatible code families (El-Khamy et al., 2017).

3. Progressive Puncturing Algorithm and Binary Domination

The progressive puncturing algorithm (PPA) selects puncturing patterns iteratively on the base code of length $2^q\times2^p$9. At each step, it identifies the position $X(i,j)$0 that, when punctured, minimally increases the estimated SC-decoding error probability for information bit-channels. The resulting permutation $X(i,j)$1 orders columns (or bits) by vulnerability under puncturing, giving rise to a nested sequence of puncturing sets.

Binary domination provides a formal equivalence and ordering: for indices $X(i,j)$2 with binary expansions, $X(i,j)$3 (read "$X(i,j)$4 dominates $X(i,j)$5") if $X(i,j)$6 for all binary digits. This yields down-sets in the partial order, fundamental to characterizing incapable (for puncturing) or fixed (for shortening) bits:

• If an input $X(i,j)$7 becomes incapable, so do all $X(i,j)$8 with $X(i,j)$9.
• For shortening, fixing $p+q=n$0 forces all outputs $p+q=n$1 with $p+q=n$2 to zero (Jang et al., 2019).

Posequences (topological orderings under $p+q=n$3) are used not only for defining puncturing order, but also for aligning the design of unified buffer-extraction for both puncturing and shortening.

4. Unified Buffer Mapping: Algorithms and Equivalence

The circular buffer rate-matching interleaver is constructed from the chosen posequence $p+q=n$4, with $p+q=n$5 for the $p+q=n$6th entry. The codeword is then extracted as $p+q=n$7 for $p+q=n$8. This methodology unifies:

• Puncturing: Exclude the first $p+q=n$9 entries of $X(i,j)=x_{(i-1)2^p+j}$0 for incapable bits.
• Shortening: Use the last $X(i,j)=x_{(i-1)2^p+j}$1 entries for bits to be fixed, with bitwise complement yielding the equivalent incapable set.

The equivalence of "high-index" and "low-index" bit puncturing is formally established: puncturing either the first or last $X(i,j)=x_{(i-1)2^p+j}$2 entries of a posequence yields (via binary complement) the same incapable pattern, guaranteeing identical code properties. This unification eliminates the need for separate hardware logic or buffer management between puncturing and shortening scenarios (Jang et al., 2019).

Example Table: Posequence and Buffer Extraction

$X(i,j)=x_{(i-1)2^p+j}$3	Posequence $X(i,j)=x_{(i-1)2^p+j}$4	Operation	Indices Punctured/Shortened	Codeword Extraction
8	(0,1,2,4,3,5,6,7)	Puncturing	$X(i,j)=x_{(i-1)2^p+j}$5	$X(i,j)=x_{(i-1)2^p+j}$6
8	(0,1,2,4,3,5,6,7)	Shortening	$X(i,j)=x_{(i-1)2^p+j}$7	$X(i,j)=x_{(i-1)2^p+j}$8

5. Bit-Mapping to BICM and Capacity Arguments

CB-RM is naturally extended to bit-interleaved coded modulation (BICM) and higher-order modulations (e.g., $X(i,j)=x_{(i-1)2^p+j}$9-QAM with Gray labeling). Here, $1\leq i\leq2^q, 1\leq j\leq2^p$0 binary subchannels of differing reliability are grouped by the interleaver into $1\leq i\leq2^q, 1\leq j\leq2^p$1 compound subchannels. Of these, $1\leq i\leq2^q, 1\leq j\leq2^p$2 active columns are uniformly mapped; punctured columns serve as zero-capacity channels.

The capacity result, invoking compound polarization, states: $1\leq i\leq2^q, 1\leq j\leq2^p$3 where the rightmost factor is precisely the symmetric BICM capacity. Thus, the CB-RM framework remains capacity-achieving in BICM environments under SC decoding (El-Khamy et al., 2017).

6. Performance, Complexity, and Implementation

Empirical performance and complexity data indicate:

• Finite-length CBRM-polar codes exhibit BER close to exhaustive-search punctured codes and outperform LTE-Turbo codes (by 0.2–0.4 dB in mid-length settings) and SC-QC-LDPC codes (by >1 dB at high rates).
• HARQ implementations (e.g., IR–HARQ with 16-QAM) gain ≈3 dB over Chase–Combining.
• Encoding and SC-decoding complexity remains $1\leq i\leq2^q, 1\leq j\leq2^p$4, with no additional large table requirements except the puncturing/posequence $1\leq i\leq2^q, 1\leq j\leq2^p$5.
• Throughput benefits are observed with unified CB-RM logic due to elimination of per-mode branching and simplified buffer-extraction, yielding modest but measurable increases in practical settings (El-Khamy et al., 2017, Jang et al., 2019).

7. Significance and Practical Impact

Circular-buffer rate matching provides a unified, provably optimal foundation for constructing versatile polar code families. Its efficient hardware/software compatibility, integrated BICM support, and guaranteed correct incapable/fixed bit patterns by binary domination advance both theoretical understanding and implementation practicality for modern wireless and coded-modulation standards (El-Khamy et al., 2017, Jang et al., 2019). The framework's flexibility, capacity-achieving guarantees, and simplicity of rate adaptation underpin its adoption in systems requiring robust, rate-flexible channel coding.