We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computational Complexity

Title: Optimal rate list decoding over bounded alphabets using algebraic-geometric codes

Abstract: We give new constructions of two classes of algebraic code families which are efficiently list decodable with small output list size from a fraction $1-R-\epsilon$ of adversarial errors where $R$ is the rate of the code, for any desired positive constant $\epsilon$. The alphabet size depends only $\epsilon$ and is nearly-optimal.
The first class of codes are obtained by folding algebraic-geometric codes using automorphisms of the underlying function field. The list decoding algorithm is based on a linear-algebraic approach, which pins down the candidate messages to a subspace with a nice "periodic" structure. The list is pruned by precoding into a special form of "subspace-evasive" sets, which are constructed pseudorandomly. Instantiating this construction with the Garcia-Stichtenoth function field tower yields codes list-decodable up to a $1-R-\epsilon$ error fraction with list size bounded by $O(1/\epsilon)$, matching the existential bound up to constant factors. The parameters we achieve are thus quite close to the existential bounds in all three aspects: error-correction radius, alphabet size, and list-size.
The second class of codes are obtained by restricting evaluation points of an algebraic-geometric code to rational points from a subfield. Once again, the linear-algebraic approach to list decoding to pin down candidate messages to a periodic subspace. We develop an alternate approach based on "subspace designs" to precode messages. Together with the subsequent explicit constructions of subspace designs, this yields a deterministic construction of an algebraic code family of rate $R$ with efficient list decoding from $1-R-\epsilon$ fraction of errors over a constant-sized alphabet. The list size is bounded by a very slowly growing function of the block length $N$; in particular, it is at most $O(\log^{(r)} N)$ (the $r$'th iterated logarithm) for any fixed integer $r$.
Comments: Extended abstracts with these results appeared at ACM STOC 2012, 2013. This is a merged & significantly revised version, that accounts for the subsequent constructions of explicit subspace designs, simplifies the construction of h.s.e sets, and streamlines the presentation and reorganizes the flow substantially. Overlaps with arXiv:1204.4209 (the expanded version of the STOC'12 paper)
Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT); Number Theory (math.NT)
Cite as: arXiv:1708.01070 [cs.CC]
  (or arXiv:1708.01070v2 [cs.CC] for this version)

Submission history

From: Venkatesan Guruswami [view email]
[v1] Thu, 3 Aug 2017 09:32:10 GMT (53kb)
[v2] Sun, 15 Nov 2020 20:57:50 GMT (60kb)

Link back to: arXiv, form interface, contact.