Table of Contents
Fetching ...

Improved List Size for Folded Reed-Solomon Codes

Shashank Srivastava

TL;DR

The paper addresses explicit list decoding for folded Reed-Solomon codes, achieving near-capacity performance with much smaller lists. It introduces a bottom-up, combinatorial view of intersections between Hamming balls and affine subspaces, complemented by folded Wronskian determinant techniques to control linear dependencies across folded coordinates. The main results establish an $O(1/\varepsilon^2)$ list size for decoding up to radius $1-R-\varepsilon$, and a general $(k-1)^2+1$ bound for decoding near radius $\frac{k}{k+1}(1-R)$, valid when the folding parameter $m$ is large relative to $k$. These bounds bring explicit capacity-achieving codes closer to optimal list sizes and open avenues for deterministic near-linear-time decoding, with concurrent work confirming optimal list sizes in related settings.

Abstract

Folded Reed-Solomon (FRS) codes are variants of Reed-Solomon codes, known for their optimal list decoding radius. We show explicit FRS codes with rate $R$ that can be list decoded up to radius $1-R-ε$ with lists of size $\mathcal{O}(1/ ε^2)$. This improves the best known list size among explicit list decoding capacity achieving codes. We also show a more general result that for any $k\geq 1$, there are explicit FRS codes with rate $R$ and distance $1-R$ that can be list decoded arbitrarily close to radius $\frac{k}{k+1}(1-R)$ with lists of size $(k-1)^2+1$. Our results are based on a new and simple combinatorial viewpoint of the intersections between Hamming balls and affine subspaces that recovers previously known parameters. We then use folded Wronskian determinants to carry out an inductive proof that yields sharper bounds.

Improved List Size for Folded Reed-Solomon Codes

TL;DR

The paper addresses explicit list decoding for folded Reed-Solomon codes, achieving near-capacity performance with much smaller lists. It introduces a bottom-up, combinatorial view of intersections between Hamming balls and affine subspaces, complemented by folded Wronskian determinant techniques to control linear dependencies across folded coordinates. The main results establish an list size for decoding up to radius , and a general bound for decoding near radius , valid when the folding parameter is large relative to . These bounds bring explicit capacity-achieving codes closer to optimal list sizes and open avenues for deterministic near-linear-time decoding, with concurrent work confirming optimal list sizes in related settings.

Abstract

Folded Reed-Solomon (FRS) codes are variants of Reed-Solomon codes, known for their optimal list decoding radius. We show explicit FRS codes with rate that can be list decoded up to radius with lists of size . This improves the best known list size among explicit list decoding capacity achieving codes. We also show a more general result that for any , there are explicit FRS codes with rate and distance that can be list decoded arbitrarily close to radius with lists of size . Our results are based on a new and simple combinatorial viewpoint of the intersections between Hamming balls and affine subspaces that recovers previously known parameters. We then use folded Wronskian determinants to carry out an inductive proof that yields sharper bounds.

Paper Structure

This paper contains 11 sections, 10 theorems, 32 equations.

Key Result

Theorem 2.1

Let ${\mathcal{C}}$ be a linear code of distance $\Delta$ and blocklength $n$ over alphabet ${\mathbb F}_q$, and let ${\mathcal{H}} \subseteq {\mathcal{C}}$ be an affine subspace of dimension $d$. Then, for any $g\in {\mathbb F}_q^n$,

Theorems & Definitions (22)

  • Theorem 2.1
  • Theorem 2.2
  • Definition 3.1: Distance and agreement
  • Definition 3.2: Code, distance and rate
  • Definition 3.3: List of codewords
  • Definition 3.4: Folded Reed-Solomon Codes
  • Theorem 3.5: Gur11
  • Lemma 4.1
  • proof
  • Corollary 4.2
  • ...and 12 more