Abstract:Reed-Muller codes were introduced in 1954, with a simple explicit construction based on polynomial evaluations, and have long been conjectured to achieve Shannon capacity on symmetric channels. Major progress was made towards a proof over the last decades; using combinatorial weight enumerator bounds, a breakthrough on the erasure channel from sharp thresholds, hypercontractivity arguments, and polarization theory. Another major progress recently established that the bit error probability vanishes slowly below capacity. However, when channels allow for errors, the results of Bourgain-Kalai do not apply for converting a vanishing bit to a vanishing block error probability, neither do the known weight enumerator bounds. The conjecture that RM codes achieve Shannon capacity on symmetric channels, with high probability of recovering the codewords, has thus remained open. This paper closes the conjecture's proof. It uses a new recursive boosting framework, which aggregates the decoding of codeword restrictions on `subspace-sunflowers', handling their dependencies via an $L_p$ Boolean Fourier analysis, and using a list-decoding argument with a weight enumerator bound from Sberlo-Shpilka. The proof does not require a vanishing bit error probability for the base case, but only a non-trivial probability, obtained here for general symmetric codes. This gives in particular a shortened and tightened argument for the vanishing bit error probability result of Reeves-Pfister, and with prior works, it implies the strong wire-tap secrecy of RM codes on pure-state classical-quantum channels.

Determining the Weight Spectrum of the Reed--Muller Codes RM(m-6,m)

The Weight Spectrum of the Reed-Muller Codes RM(m – 5,m)

The weight spectrum of two families of Reed-Muller codes

Identifying codewords in general Reed-Muller codes and determining their weights

Higher weight spectra and Betti numbers of Reed-Muller codes $RM_2(2,2)$

An Elementary Method to Determine the Weight Distribution of 2Nd-Order Reed-Muller Codes

Remarks on second and third weights of Projective Reed-Muller codes

The complete weight enumerator of the Reed-Solomon code with dimension two or three

Computing the Weight Distribution of the Binary Reed-Muller Code ${\mathcal R} (4,9)$

On Cyclic Codes of Length $${2^{2^R}-1}$$ with Two Zeros Whose Dual Codes Have Three Weights

Estimating the Weight Enumerators of Reed-Muller Codes via Sampling

The Weight Distribution of a Class of Cyclic Codes Related to Hermitian Forms Graphs

On the Weight Spectrum Improvement of Pre-transformed Reed-Muller Codes and Polar Codes

On the codewords of generalized Reed-Muller codes reaching the fourth weight

Higher weight spectra of ternary codes associated to the quadratic Veronese $3$-fold

A note on the generalized Hamming weights of Reed-Muller codes

On the Minimum Distance, Minimum Weight Codewords, and the Dimension of Projective Reed-Muller Codes

The Covering Radius of the Third-Order Reed-Muller Code RM(3,7) is 20

The Weight Enumerator of Three Families of Cyclic Codes

A proof that Reed-Muller codes achieve Shannon capacity on symmetric channels

The List-Decoding Size of Reed-Muller Codes