Soft Decoding, Dual BCH Codes, and Better List-Decodable e-Biased Codes

• Published in: 2008 23rd Annual IEEE Conference on Computational Complexity pp. 163 - 174
• Main Authors: Guruswami, V., Rudra, A.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.06.2008
• Subjects: Complexity theory; Computational complexity; Computer errors; Computer science; Decoding; Hamming weight; Linear code; Mathematics; Polynomials; Virtual colonoscopy
• DOI: 10.1109/CCC.2008.13
• ISBN: 9780769531694; 0769531695
• ISSN: 1093-0159

We construct binary linear codes that are efficiently list- decodable up to a fraction (1/2 - epsiv) of errors. The codes encode k bits into n = poly(k/epsiv) bits and are constructible and list-decodable in time polynomial in k and 1/epsiv (in particular, in our results epsiv need not be constant and can even be polynomially small in n). Our results give the best known polynomial dependence of n on k and 1/epsiv for such codes. Specifically, we are able to achieve n les O(k 3 /epsiv 3+gamma ) or, if a linear dependence on k is required, n les O (k/epsiv 5+gamma ), where gamma > 0 is an arbitrary constant. The best previously known constructive bounds in this setting were n les O(k 2 /epsiv 4 ) and n les O(k/ epsiv 6 ). Non-constructively, a random linear encoding of length n = O(k/epsiv 2 ) suffices, but no sub-exponential algorithm is known for list decoding random codes. Our construction with a cubic dependence on epsiv is obtained by concatenating the recent Parvaresh-Vardy (PV) codes with dual BCH codes, and crucially exploits the soft decoding algorithm for PV codes. This result yields better hardness results for the problem of approximating NP witnesses in the model of Kumar and Sivakumar. Our result with the linear dependence on k is based on concatenation of the PV code with an arbitrary inner code of good minimum distance. In addition to being a basic question in coding theory, codes that are list-decodable from a fraction (1/2 - epsiv) of errors for epsiv rarr 0 have found many uses in complexity theory. In addition, our codes have the property that all nonzero codewords have relative Hamming weights in the range (1/2 - epsiv, 1/2 + epsiv); this epsiv-biased property is a fundamental notion in pseudorandomness.