Recursive Subproduct Codes with Reed-Muller-like Structure

We study a family of subcodes of the
$m-\mathbf{dimensional}$
product code
$\mathcal{C}^{\otimes m}$
(‘subproduct codes’) that have a recursive Plotkin-like structure, and which include Reed-Muller (RM) codes and Dual Berman codes as special cases. We denote the codes in this family as
$\mathcal{C}^{\otimes[r,m]}$
, where
$r\in\{0,1,\ \ldots,\ m\}$
is the ‘order’ of the code. These codes allow a ‘projection’ operation that can be exploited in iterative decoding, viz., the sum of two carefully chosen subvectors of any codeword in
$\mathcal{C}^{\otimes[r,m]}$
belongs to
$\mathcal{C}^{\otimes[r-1,m-1]}$
. Recursive subproduct codes provide a wider range of rates and block lengths compared to RM codes while possessing several of their structural properties, such as the Plotkin-like design, the projection property, and fast ML decoding of first-order codes. Our simulation results for first-order and second-order codes, that are based on a belief propagation decoder and a local graph search algorithm, show instances of subproduct codes that perform either better than or within 0.5 dB of comparable RM codes and CRC-aided Polar codes.