Lune

FOCS2024Top-tier venue

Fast List Decoding of Univariate Multiplicity and Folded Reed-Solomon Codes

Rohan Goyal, Prahladh Harsha, Mrinal Kumar, Ashutosh Shankar

2024Year
2Citations
6Top-tier citations

Abstract

We show that the known list-decoding algorithms for univariate multiplicity and folded Reed-Solomon (FRS) codes can be made to run inO~(n)\tilde{O}(n)time. Univariate multiplicity codes and FRS codes are natural variants of Reed-Solomon codes that were discovered and studied for their applications to list decoding. It is known that for everyε>0\varepsilon > 0, and rater∈(0,1)r\in(0,1), there exist explicit families of these codes that have raterrand can be list decoded from a(1−r−ε)(1-r-\varepsilon)fraction of errors with constant list size in polynomial time (Guruswami & Wang (IEEE Trans. Inform. Theory 2013) and Kopparty, Ron-Zewi, Saraf & Wootters (SIAM J. Comput. 2023)). In this work, we present randomized algorithms that perform the above list-decoding tasks inO~(n)\tilde{O}(n), wherennis the block-length of the code. Our algorithms have two main components. The first component builds upon the lattice-based approach of Alekhnovich (IEEE Trans. Inf. Theory 2005), who designed aO~(n)\tilde{O}(n)time list-decoding algorithm for Reed-Solomon codes approaching the Johnson radius. As part of the second component, we designO~(n)\tilde{O}(n)time algorithms for two natural algebraic problems: given a(m+2)(m+2)-variate polynomialQ(x,y0,…,ym)=Q~(x)+∑i=0mQi(x)⋅yiQ(x, y_{0}, \ldots, y_{m})=\tilde{Q}(x)+\sum\nolimits_{i=0}^{m} Q_{i}(x) \cdot y_{i}the first algorithm solves order-m linear differential equations of the formQ(x,f(x),dfdx,…,dmfdxm)≡0Q\left(x, f(x), \frac{d f}{d x}, \ldots, \frac{d^{m} f}{d x^{m}}\right) \equiv 0while the second solves functional equations of the formQ(x,f(x),f(γx),…,f(γmx))≡0Q(x, f(x), f(\gamma x), \ldots, f(\gamma^{m}x))\equiv 0, wheremmis an arbitrary constant andγ\gammais a field element of sufficiently high order. These algorithms can be viewed as generalizations of classicalO~(n)\tilde{O}(n)time algorithms of Sieveking (Computing 1972) and Kung (Numer. Math. 1974) for computing the modular inverse of a power series, and might be of independent interest.

Ask about this paper

Your agent reads all of it.

Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.

Questions to start from

Your agent calls

Luneget_paper_fulltext

Ask in Lune

Free to start. No credit card required.

lune papers fulltext 2f78357c-63c2-4588-a3f7-2c20c94bf90e

Cited by top-tier papers6

Ask how each one uses it

Builds on3

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines