Table of Contents
Fetching ...

Improved Explicit Near-Optimal Codes in the High-Noise Regimes

Xin Li, Songtao Mao

TL;DR

A new combinatorial object called multi-set disperser is introduced, and used to give a family of list decodable codes with near-optimal rate and list size that can be constructed in probabilistic polynomial time and decoded in deterministic polynomial time.

Abstract

We study uniquely decodable codes and list decodable codes in the high-noise regime, specifically codes that are uniquely decodable from $\frac{1-\varepsilon}{2}$ fraction of errors and list decodable from $1-\varepsilon$ fraction of errors. We present several improved explicit constructions that achieve near-optimal rates, as well as efficient or even linear-time decoding algorithms. Our contributions are as follows. 1. Explicit Near-Optimal Linear Time Uniquely Decodable Codes: We construct a family of explicit $\mathbb{F}_2$-linear codes with rate $Ω(\varepsilon)$ and alphabet size $2^{\mathrm{poly} \log(1/\varepsilon)}$, that are capable of correcting $e$ errors and $s$ erasures whenever $2e + s < (1 - \varepsilon)n$ in linear-time. 2. Explicit Near-Optimal List Decodable Codes: We construct a family of explicit list decodable codes with rate $Ω(\varepsilon)$ and alphabet size $2^{\mathrm{poly} \log(1/\varepsilon)}$, that are capable of list decoding from $1-\varepsilon$ fraction of errors with a list size $L = \exp\exp\exp(\log^{\ast}n)$ in polynomial time. 3. List Decodable Code with Near-Optimal List Size: We construct a family of explicit list decodable codes with an optimal list size of $O(1/\varepsilon)$, albeit with a suboptimal rate of $O(\varepsilon^2)$, capable of list decoding from $1-\varepsilon$ fraction of errors in polynomial time. Furthermore, we introduce a new combinatorial object called multi-set disperser, and use it to give a family of list decodable codes with near-optimal rate $\frac{\varepsilon}{\log^2(1/\varepsilon)}$ and list size $\frac{\log^2(1/\varepsilon)}{\varepsilon}$, that can be constructed in probabilistic polynomial time and decoded in deterministic polynomial time. We also introduce new decoding algorithms that may prove valuable for other graph-based codes.

Improved Explicit Near-Optimal Codes in the High-Noise Regimes

TL;DR

A new combinatorial object called multi-set disperser is introduced, and used to give a family of list decodable codes with near-optimal rate and list size that can be constructed in probabilistic polynomial time and decoded in deterministic polynomial time.

Abstract

We study uniquely decodable codes and list decodable codes in the high-noise regime, specifically codes that are uniquely decodable from fraction of errors and list decodable from fraction of errors. We present several improved explicit constructions that achieve near-optimal rates, as well as efficient or even linear-time decoding algorithms. Our contributions are as follows. 1. Explicit Near-Optimal Linear Time Uniquely Decodable Codes: We construct a family of explicit -linear codes with rate and alphabet size , that are capable of correcting errors and erasures whenever in linear-time. 2. Explicit Near-Optimal List Decodable Codes: We construct a family of explicit list decodable codes with rate and alphabet size , that are capable of list decoding from fraction of errors with a list size in polynomial time. 3. List Decodable Code with Near-Optimal List Size: We construct a family of explicit list decodable codes with an optimal list size of , albeit with a suboptimal rate of , capable of list decoding from fraction of errors in polynomial time. Furthermore, we introduce a new combinatorial object called multi-set disperser, and use it to give a family of list decodable codes with near-optimal rate and list size , that can be constructed in probabilistic polynomial time and decoded in deterministic polynomial time. We also introduce new decoding algorithms that may prove valuable for other graph-based codes.

Paper Structure

This paper contains 12 sections, 27 theorems, 24 equations, 2 tables, 3 algorithms.

Key Result

Theorem 1.1

For any $\varepsilon > 0$, there exists an explicit family of $\mathbb{F}_2$-linear codes over an alphabet of size $\mathrm{quasipoly}\left(1/\varepsilon\right) = \exp(\mathrm{polylog}(1/\varepsilon))$, which have rate $\Omega(\varepsilon)$ such that a code with block length $n$ in the family can be

Theorems & Definitions (47)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Definition 1.5
  • Theorem 1.6
  • Theorem 1.7
  • Lemma 2.1
  • Definition 2.2
  • Lemma 2.3
  • ...and 37 more