Explicit Codes Approaching Generalized Singleton Bound using Expanders
/ Abstract
We construct a new family of explicit codes that are list decodable to capacity and achieve an optimal list size of O(1/є). In contrast to existing explicit constructions of codes achieving list decoding capacity, our arguments do not rely on algebraic structure but utilize simple combinatorial properties of expander graphs. Our construction is based on a celebrated distance amplification procedure due to Alon, Edmonds, and Luby [FOCS’95], which transforms any high-rate code into one with near-optimal rate-distance tradeoff. We generalize it to show that the same procedure can be used to transform any high-rate code into one that achieves list decoding capacity. Our proof can be interpreted as a ”local-to-global” phenomenon for (a slight strengthening of) the generalized Singleton bound. Using this construction, for every R, є ∈ (0,1) and k ∈ ℕ+, we obtain an explicit family of rate R codes C ⊆ Σn that achieve the є-relaxed generalized Singleton bound. The alphabet size of these codes is a constant depending only on є and k, and they can be list decoded up to radius k−1/k · (1−R−є), in time nOk,є(1) with a list of size k−1. As a corollary of our result, we also obtain the first explicit construction of LDPC codes achieving list decoding capacity, and in fact arbitrarily close to the generalized Singleton bound.
Journal: Proceedings of the 57th Annual ACM Symposium on Theory of Computing