Reed-Muller Matrix Characterization

• Reed-Muller matrix characterization is a framework that uses the radical-power approach to link RM codes with modular algebra, yielding rigorous generator and parity-check matrices.
• Explicit matrix constructions based on polynomial evaluations and Kronecker products reveal key structural properties, including code dimensions and fractal row selection patterns.
• These methods enable efficient algorithmic constructions and practical applications, notably in deterministic compressed sensing with tight noise robustness and coherence trade-offs.

The Reed-Muller matrix characterization comprises a suite of algebraic, combinatorial, and geometric methods for describing the generator and parity-check matrices of Reed-Muller (RM) codes over finite fields, as well as their generalizations and structural properties. These characterizations link coding theory with modular algebra, fractal geometry, and applications in deterministic compressed sensing. Central to this framework are three perspectives: (1) the radical-power approach connecting RM codes to the powers of the radical in a modular algebra, (2) an explicit matrix construction based on polynomial evaluations, and (3) combinatorial and infinite-dimensional geometric properties revealed via Hamming weight selection from Kronecker powers. These perspectives yield rigorous descriptions of code parameters, support efficient algorithmic constructions, and provide insights into performance and trade-offs in applications.

1. Radical Power Approach and Algebraic Foundations

The foundational algebraic characterization of Reed-Muller codes, as proved by Berman and Charpin, employs a modular algebra structure. Let $F_q$ be a finite field with $q$ elements, and consider the algebra:

$A = F_q[X_1, \dots, X_m]/(X_1^q-1, \dots, X_m^q-1)$

The radical of $A$, denoted $M = \operatorname{Rad}(A)$, is the maximal ideal generated by $(x_1-1, \dots, x_m-1)$. The powers $M^r$ correspond to ideals generated by products $(x_1-1)^{i_1}\cdots(x_m-1)^{i_m}$ with $\sum i_j \geq r$. By evaluating polynomials at the $q^m$ points in $q$0, the Reed-Muller code of order $q$1 aligns with the image under evaluation of $q$2:

$q$3

In this formalism, powers of the radical index the code order, and complement-counting arguments show that the resulting code dimension matches that of polynomials of total degree at most $q$4. This approach extends (with caveats) to generalized RM codes over non-prime fields, though not every radical power yields a distinct code order in the non-prime case (Andriatahiny, 2016).

2. Generator and Parity-Check Matrix Descriptions

The explicit matrix-theoretic characterization follows directly from the radical-power approach. The generator matrix $q$5 of $q$6 has rows labeled by monomials of degree at most $q$7, and columns labeled by points in $q$8:

$q$9

for $A = F_q[X_1, \dots, X_m]/(X_1^q-1, \dots, X_m^q-1)$0 with $A = F_q[X_1, \dots, X_m]/(X_1^q-1, \dots, X_m^q-1)$1 and $A = F_q[X_1, \dots, X_m]/(X_1^q-1, \dots, X_m^q-1)$2. The rows of $A = F_q[X_1, \dots, X_m]/(X_1^q-1, \dots, X_m^q-1)$3 are linearly independent and span the code, yielding $A = F_q[X_1, \dots, X_m]/(X_1^q-1, \dots, X_m^q-1)$4. The dual code is generated by evaluations of polynomials of total degree at least $A = F_q[X_1, \dots, X_m]/(X_1^q-1, \dots, X_m^q-1)$5. The parity-check matrix $A = F_q[X_1, \dots, X_m]/(X_1^q-1, \dots, X_m^q-1)$6 then has rows:

$A = F_q[X_1, \dots, X_m]/(X_1^q-1, \dots, X_m^q-1)$7

This duality confirms the orthogonality between the code and its dual via standard monomial evaluation (Andriatahiny, 2016).

3. Kronecker Product Structure and Hamming Weight Selection

The matrix-theoretic structure of RM codes in the binary case ($A = F_q[X_1, \dots, X_m]/(X_1^q-1, \dots, X_m^q-1)$8) is further elucidated by the Kronecker product perspective. Consider the "Arıkan" kernel:

$A = F_q[X_1, \dots, X_m]/(X_1^q-1, \dots, X_m^q-1)$9

The $A$0-th Kronecker power yields $A$1. The generator matrix of an RM code of order $A$2 selects rows via a Hamming weight threshold: For a row indexed by $A$3 with binary expansion $A$4, the Hamming weight $A$5 determines inclusion according to:

$A$6

This selection rule induces a fractal structure in the infinite blocklength limit, with index sets $A$7 parameterized by density threshold $A$8 (Geiger, 2015).

4. Fractal and Geometric Properties in the Infinite Blocklength Limit

In the infinite-dimensional limit, the RM row selection set $A$9 possesses distinct fractal characteristics. The Lebesgue measure of $M = \operatorname{Rad}(A)$0 exhibits a phase transition at $M = \operatorname{Rad}(A)$1:

$M = \operatorname{Rad}(A)$2

The Hausdorff dimension satisfies:

$M = \operatorname{Rad}(A)$3

The set $M = \operatorname{Rad}(A)$4 admits a quasi-self-similar structure representable as the attractor of an iterated function system, reflecting a recursive, "Cantor-like" pattern of row selection within the generator matrix. This fractal structure governs rate-versus-row-count scaling and underpins irregularity patterns observed across blocklengths (Geiger, 2015).

5. Reed-Muller Sieve Matrix for Deterministic Sensing

A major application of Reed-Muller matrix constructions arises in deterministic compressed sensing via the "Reed-Muller Sieve" (Calderbank et al., 2010). For $M = \operatorname{Rad}(A)$5 odd and $M = \operatorname{Rad}(A)$6, the sensing matrix $M = \operatorname{Rad}(A)$7 is defined as:

$M = \operatorname{Rad}(A)$8

where $M = \operatorname{Rad}(A)$9 indexes rows, and $(x_1-1, \dots, x_m-1)$0 ranges over the Delsarte-Goethals set $(x_1-1, \dots, x_m-1)$1 of $(x_1-1, \dots, x_m-1)$2 binary symmetric matrices. The columns correspond to exponentiated second-order quaternary RM codewords.

Key structural properties include:

• Mutual coherence $(x_1-1, \dots, x_m-1)$3
• Tight frame property: $(x_1-1, \dots, x_m-1)$4 with $(x_1-1, \dots, x_m-1)$5 columns
• All nonzero singular values $(x_1-1, \dots, x_m-1)$6
• Explicit distribution of column inner products determined by the rank and nullity of $(x_1-1, \dots, x_m-1)$7

These properties enable support recovery for $(x_1-1, \dots, x_m-1)$8-sparse signals while avoiding independence assumptions on signal entries. The Sieve offers an $(x_1-1, \dots, x_m-1)$9 local detection algorithm—testing for the presence of a signal at any given position without full reconstruction.

6. Error Bounds, Performance, and Trade-Offs

The Reed-Muller Sieve achieves robust uniform $M^r$0 error bounds in scenarios with stochastic noise in both data and measurement domains:

$M^r$1

for an absolute constant $M^r$2. These bounds are strictly tighter than the $M^r$3 bounds of random ensembles or the $M^r$4 bounds of expander-based deterministic constructions. The parameter $M^r$5 regulates the redundancy ($M^r$6) and coherence: increasing $M^r$7 increases redundancy but worsens mutual coherence, requiring a balance between sparsity and noise resilience.

The deterministically constructed Reed-Muller Sieve thus provides exact support recovery with high probability for $M^r$8, tight noise-robustness guarantees, and efficient local detection, outperforming both random and expander-type matrix constructions in specified regimes (Calderbank et al., 2010).

7. Generalizations and Limitations

The modular-algebra approach generalizes to non-prime fields, with the definition of the ambient algebra and its radical preserved. For $M^r$9 ($(x_1-1)^{i_1}\cdots(x_m-1)^{i_m}$0), not every radical power corresponds to a GRM code, except for the extremal cases $(x_1-1)^{i_1}\cdots(x_m-1)^{i_m}$1. However, explicit generator and parity-check matrix constructions remain valid for the GRM codes realized by this approach (Andriatahiny, 2016).

Limitations include the degeneracy of certain radical powers in the non-prime field case and the absence of a classical Restricted Isometry Property (RIP) result for the Reed-Muller Sieve, though it satisfies "StRIP-ability" conditions sufficient for compressed sensing applications.

---

References:

• (Calderbank et al., 2010) "Sparse Reconstruction via The Reed-Muller Sieve"
• (Andriatahiny, 2016) "The Generalized Reed-Muller codes and the radical powers of a modular algebra"
• (Geiger, 2015) "The Fractality of Polar and Reed-Muller Codes"