English

On codes decoding a constant fraction of errors on the BSC

Information Theory 2020-08-26 v2 Combinatorics math.IT

Abstract

Using techniques and results from Kudekar et al. we strengthen the bounds on the weight distribution of linear codes achieving capacity on the BEC, which were shown by the first author. In particular, we show that for any doubly transitive binary linear code C{0,1}nC \subseteq \{0,1\}^n of rate 0<R<10 < R < 1 with weight distribution (a0,...,an)\left(a_0,...,a_n\right) holds ai2o(n)(1R)2ln2min{i,ni}a_i \le 2^{o(n)} \cdot (1-R)^{-2 \ln 2 \cdot \min\{i, n-i\}}. For doubly transitive codes with minimal distance at least Ω(nc)\Omega\left(n^c\right), 0<c10 < c \le 1, the error factor of 2o(n)2^{o(n)} in this bound can be removed at the cost of replacing 1R1-R with a smaller constant a=a(R,c)<1Ra = a(R,c) < 1- R. Moreover, in the special case of Reed-Muller codes, due to the additional symmetries of these codes, this error factor can be removed at essentially no cost. This implies that for any doubly transitive code CC of rate RR with minimal distance at least Ω(nc)\Omega\left(n^c\right), there exists a positive constant p=p(R,c)p = p(R,c) such that CC decodes errors on BSC(p)\mathrm{BSC}(p) with high probability if p<p(R,c)p < p(R,c). For doubly transitive codes of a sufficiently low rate (smaller than some absolute constant) the requirement on the minimal distance can be omitted, and hence this critical probability p(R)p(R) depends only on RR. Furthermore, p(R)12p(R) \rightarrow \frac12 as R0R \rightarrow 0. In particular, a Reed-Muller code CC of rate RR decodes errors on BSC(p)\mathrm{BSC}(p) with high probability if R < 1(4p(1p))14ln2, R ~<~ 1 - \big(4p(1-p)\big)^{\frac{1}{4 \ln 2}}, answering a question of Abbe, Hazla, and Nachum.

Keywords

Cite

@article{arxiv.2008.07236,
  title  = {On codes decoding a constant fraction of errors on the BSC},
  author = {Alex Samorodnitsky and Ori Sberlo},
  journal= {arXiv preprint arXiv:2008.07236},
  year   = {2020}
}
R2 v1 2026-06-23T17:54:13.676Z