Table of Contents
Fetching ...

Randomness-Efficient Constructions of Capacity-Achieving List-Decodable Codes

Jonathan Mosheiff, Nicolas Resch, Kuo Shang, Chen Yuan

TL;DR

The paper tackles the problem of building capacity‑achieving list‑decodable codes over small alphabets with minimal randomness. It introduces two algebraic constructions, PCLP and PCRCP, that are $\ell$‑locally similar to random linear codes and achieve the Elias bound, with PCLP also delivering a GV bound for the dual and quasilinear‑time encoding. The approaches rely on linearized polynomials and row/column polynomial ensembles to preserve local properties and enable efficient decoding‑style guarantees, while also addressing cryptographic motivations through dual‑code behavior. A fundamental lower bound shows that achieving these properties with sublinear randomness remains hard, though PCLP achieves $O(Ln)$ bits and PCRCP achieves $2nL$ bits, highlighting a trade‑off between randomness and dual/code properties with potential cryptographic applications. The work advances randomness‑efficient code design and provides a framework for translating RLC properties into practical constructions with provable list‑decoding performance.

Abstract

We wish to generate list-decodable codes over small alphabets using as little randomness as possible. Specifically, we hope to generate codes achieving what we term the Elias bound, which means that they are $(ρ,L)$-list-decodable with rate $R \geq 1-h(ρ)-O(1/L)$. A long line of work shows that uniformly random linear codes (RLCs) achieve the Elias bound: hence, we know $O(n^2)$ random bits suffice. Prior works demonstrate that just $O(Ln)$ random bits suffice, via puncturing of low-bias codes. These recent constructions are combinatorial. We provide two new constructions, which are algebraic. Compared to prior works, our constructions are simpler and more direct. Furthermore, our codes are designed in such a way that their duals are also quite easy to analyze. Our first construction -- which can be seen as a generalization of the Wozencraft ensemble -- achieves the Elias bound and consumes $Ln$ random bits. Additionally, its dual code achieves the GV-bound with high probability, and both the primal and dual admit quasilinear-time encoding algorithms. The second construction consumes $2nL$ random bits and yields a code where both it and its dual achieve the Elias bound. As we discuss, properties of a dual code are often crucial for applications in cryptography. In all of the above cases -- including the prior works achieving randomness complexity $O(Ln)$ -- the codes are designed to "approximate" RLCs. Namely, for a given locality parameter $L$ we construct codes achieving the same $L$-local properties as RLCs. This allows one to appeal to known list-decodability results for RLCs and thereby conclude that the code approximating an RLC also achieves the Elias bound. As a final contribution, we indicate that such a proof strategy is inherently unable to generate list-decodable codes of rate $R$ over $\mathbb F_q$ with less than $L(1-R)n\log_2(q)$ bits of randomness.

Randomness-Efficient Constructions of Capacity-Achieving List-Decodable Codes

TL;DR

The paper tackles the problem of building capacity‑achieving list‑decodable codes over small alphabets with minimal randomness. It introduces two algebraic constructions, PCLP and PCRCP, that are ‑locally similar to random linear codes and achieve the Elias bound, with PCLP also delivering a GV bound for the dual and quasilinear‑time encoding. The approaches rely on linearized polynomials and row/column polynomial ensembles to preserve local properties and enable efficient decoding‑style guarantees, while also addressing cryptographic motivations through dual‑code behavior. A fundamental lower bound shows that achieving these properties with sublinear randomness remains hard, though PCLP achieves bits and PCRCP achieves bits, highlighting a trade‑off between randomness and dual/code properties with potential cryptographic applications. The work advances randomness‑efficient code design and provides a framework for translating RLC properties into practical constructions with provable list‑decoding performance.

Abstract

We wish to generate list-decodable codes over small alphabets using as little randomness as possible. Specifically, we hope to generate codes achieving what we term the Elias bound, which means that they are -list-decodable with rate . A long line of work shows that uniformly random linear codes (RLCs) achieve the Elias bound: hence, we know random bits suffice. Prior works demonstrate that just random bits suffice, via puncturing of low-bias codes. These recent constructions are combinatorial. We provide two new constructions, which are algebraic. Compared to prior works, our constructions are simpler and more direct. Furthermore, our codes are designed in such a way that their duals are also quite easy to analyze. Our first construction -- which can be seen as a generalization of the Wozencraft ensemble -- achieves the Elias bound and consumes random bits. Additionally, its dual code achieves the GV-bound with high probability, and both the primal and dual admit quasilinear-time encoding algorithms. The second construction consumes random bits and yields a code where both it and its dual achieve the Elias bound. As we discuss, properties of a dual code are often crucial for applications in cryptography. In all of the above cases -- including the prior works achieving randomness complexity -- the codes are designed to "approximate" RLCs. Namely, for a given locality parameter we construct codes achieving the same -local properties as RLCs. This allows one to appeal to known list-decodability results for RLCs and thereby conclude that the code approximating an RLC also achieves the Elias bound. As a final contribution, we indicate that such a proof strategy is inherently unable to generate list-decodable codes of rate over with less than bits of randomness.
Paper Structure (14 sections, 16 theorems, 58 equations, 1 figure)

This paper contains 14 sections, 16 theorems, 58 equations, 1 figure.

Key Result

Theorem 1.2

Let $\ell,n\in \mathbb{N}$, $R \in (0,1)$ for which $Rn \in \mathbb{N}$ and $q$ is a prime power. Let $\mathcal{P},\mathcal{P}^\perp$ be $\ell$-local properties, and suppose that an $\mathrm{RLC}(R)$ satisfies $\mathcal{P}$ with probability $1-q^{-\Omega(n)}$ and an $\mathrm{RLC}(1-R)$ satisfies $\m

Figures (1)

  • Figure 1: Randomness requirements for binary codes achieving the Elias Bound. We remark that all the above constructions generalize to larger (but constant) $q$. Regarding the dual code criterion, "EB" means that the dual-code also achieves the Elias Bound (for lists of size $L$), while "GV" means that the dual distance achieves the GV bound. An ✗ means that no guarantees are provided (and, in certain cases, cannot hold). The lower bound applies to all ensembles that achieve similarity to RLC (a stronger property than the Elias bound; see Definitions \ref{['def:LocalSimilarityIntro']}, \ref{['def:local-sim']}), including all constructions listed in this table.

Theorems & Definitions (39)

  • Definition 1.1: Local similarity to RLC in the binary case
  • Theorem 1.2: Informal; follows from \ref{['thm:row-column-polynomial-codes']}
  • Theorem 1.3: Informal; follows from \ref{['thm:PCLP-main']} and \ref{['prop:PCLP-sampling-and-encoding']}
  • Lemma 2.1
  • proof
  • Definition 2.2
  • Definition 2.3: Linearized Polynomial
  • Proposition 2.4
  • Definition 2.5: List-Decodability
  • Definition 2.6: List-Recovery
  • ...and 29 more