Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Revision(s):

Revision #1 to TR21-036 | 18th December 2023 11:40

Ideal-theoretic Explanation of Capacity-achieving Decoding

RSS-Feed




Revision #1
Authors: Siddharth Bhandari, Prahladh Harsha, Mrinal Kumar, Madhu Sudan
Accepted on: 18th December 2023 11:40
Downloads: 56
Keywords: 


Abstract:

In this work, we present an abstract framework for some algebraic error-correcting codes
with the aim of capturing codes that are list-decodable to capacity, along with their decoding
algorithms. In the polynomial ideal framework, a code is specified by some ideals in a polyno-
mial ring, messages are polynomials and the encoding of a message polynomial is the collec-
tion of residues of that polynomial modulo the ideals. We present an alternate way of viewing
this class of codes in terms of linear operators, and show that this alternate view makes their
algorithmic list-decodability amenable to analysis.

Our framework leads to a new class of codes that we call affine Folded Reed-Solomon codes
(which are themselves a special case of the broader class we explore). These codes are common
generalizations of the well-studied Folded Reed-Solomon codes and Univariate Multiplicity
codes as well as the less-studied Additive Folded Reed-Solomon codes, and lead to a large
family of codes that were not previously known/studied.

More significantly our framework also captures the algorithmic list-decodability of the con-
stituent codes. Specifically, we present a unified view of the decoding algorithm for ideal-
theoretic codes and show that the decodability reduces to the analysis of the distance of some
related codes. We show that a good bound on this distance leads to a capacity-achieving perfor-
mance of the underlying code, providing a unifying explanation of known capacity-achieving
results. In the specific case of affine Folded Reed-Solomon codes, our framework shows that
they are efficiently list-decodable up to capacity (for appropriate setting of the parameters),
thereby unifying the previous results for Folded Reed-Solomon, Multiplicity and Additive
Folded Reed-Solomon codes.



Changes to previous version:

Minor changes made while creating journal version


Paper:

TR21-036 | 14th March 2021 18:45

Ideal-theoretic Explanation of Capacity-achieving Decoding


Abstract:

In this work, we present an abstract framework for some algebraic error-correcting codes with the aim of capturing codes that are list-decodable to capacity, along with their decoding algorithm. In the polynomial ideal framework, a code is specified by some ideals in a polynomial ring, messages are polynomials and their encoding is the residue modulo the ideals. We present an alternate way of viewing this class of codes in terms of linear operators, and show that this alternate view makes their algorithmic list-decodability amenable to analysis.

Our framework leads to a new class of codes that we call {\em affine Folded Reed-Solomon codes} (which are themselves a special case of the broader class we explore). These codes are common generalizations of the well-studied Folded Reed-Solomon codes and Multiplicity codes, while also capturing the less-studied Additive Folded Reed-Solomon codes as well as a large family of codes that were not previously known/studied.

More significantly our framework also captures the algorithmic list-decodability of the constituent codes. Specifically, we present a unified view of the decoding algorithm for ideal-theoretic codes and show that the decodability reduces to the analysis of the distance of some related codes. We show that good bounds on this distance lead to capacity-achieving performance of the underlying code, providing a unifying explanation of known capacity-achieving results. In the specific case of affine Folded Reed-Solomon codes, our framework shows that they are list-decodable up to capacity (for appropriate setting of the parameters), thereby unifying the previous results for Folded Reed-Solomon, Multiplicity and Additive Folded Reed-Solomon codes.



ISSN 1433-8092 | Imprint