4,189 research outputs found
Evading Subspaces Over Large Fields and Explicit List-decodable Rank-metric Codes
We construct an explicit family of linear rank-metric codes over any field F that enables efficient list decoding up to a fraction rho of errors in the rank metric with a rate of 1-rho-eps, for any desired rho in (0,1) and eps > 0. Previously, a Monte Carlo construction of such codes was known, but this is in fact the first explicit construction of positive rate rank-metric codes for list decoding beyond the unique decoding radius.
Our codes are explicit subcodes of the well-known Gabidulin codes, which encode linearized polynomials of low degree via their values at a collection of linearly independent points. The subcode is picked by restricting the message polynomials to an F-subspace that evades certain structured subspaces over an extension field of F. These structured spaces arise from the linear-algebraic list decoder for Gabidulin codes due to Guruswami and Xing (STOC\u2713). Our construction is obtained by combining subspace designs constructed by Guruswami and Kopparty (FOCS\u2713) with subspace-evasive varieties due to Dvir and Lovett (STOC\u2712).
We establish a similar result for subspace codes, which are a collection of subspaces, every pair of which have low-dimensional intersection, and which have received much attention recently in the context of network coding. We also give explicit subcodes of folded Reed-Solomon (RS) codes with small folding order that are list-decodable (in the Hamming metric) with optimal redundancy, motivated by the fact that list decoding RS codes reduces to list decoding such folded RS codes. However, as we only list decode a subcode of these codes, the Johnson radius continues to be the best known error fraction for list decoding RS codes
Optimal rate list decoding via derivative codes
The classical family of Reed-Solomon codes over a field \F_q
consist of the evaluations of polynomials f \in \F_q[X] of degree at
distinct field elements. In this work, we consider a closely related family
of codes, called (order ) {\em derivative codes} and defined over fields of
large characteristic, which consist of the evaluations of as well as its
first formal derivatives at distinct field elements. For large enough
, we show that these codes can be list-decoded in polynomial time from an
error fraction approaching , where is the rate of the code.
This gives an alternate construction to folded Reed-Solomon codes for achieving
the optimal trade-off between rate and list error-correction radius. Our
decoding algorithm is linear-algebraic, and involves solving a linear system to
interpolate a multivariate polynomial, and then solving another structured
linear system to retrieve the list of candidate polynomials . The algorithm
for derivative codes offers some advantages compared to a similar one for
folded Reed-Solomon codes in terms of efficient unique decoding in the presence
of side information.Comment: 11 page
List Decoding of Matrix-Product Codes from nested codes: an application to Quasi-Cyclic codes
A list decoding algorithm for matrix-product codes is provided when are nested linear codes and is a non-singular by columns matrix. We
estimate the probability of getting more than one codeword as output when the
constituent codes are Reed-Solomon codes. We extend this list decoding
algorithm for matrix-product codes with polynomial units, which are
quasi-cyclic codes. Furthermore, it allows us to consider unique decoding for
matrix-product codes with polynomial units
Some Applications of Coding Theory in Computational Complexity
Error-correcting codes and related combinatorial constructs play an important
role in several recent (and old) results in computational complexity theory. In
this paper we survey results on locally-testable and locally-decodable
error-correcting codes, and their applications to complexity theory and to
cryptography.
Locally decodable codes are error-correcting codes with sub-linear time
error-correcting algorithms. They are related to private information retrieval
(a type of cryptographic protocol), and they are used in average-case
complexity and to construct ``hard-core predicates'' for one-way permutations.
Locally testable codes are error-correcting codes with sub-linear time
error-detection algorithms, and they are the combinatorial core of
probabilistically checkable proofs
- …