Cyclic linear codes of block length n over a finite field Fq are linear subspaces of Fqn that are invariant under a cyclic shift of their coordinates. A family of codes is good if all the codes in the family have constant rate and constant normalized distance (distance divided by block length). It is a long-standing open problem whether there exists a good family of cyclic linear codes (cf. [MS. p.270]). A code C is r-testable if there exists a randomized algorithm which, given a word x ∈ Fqn, adaptively selects r positions, checks the entries of x in the selected positions, and makes a decision (accept or reject x) based on the positions selected and the numbers found, such that (i) if x ∈ C then x is surely accepted; (ii) if dist (x, C) ≥ εn then x is probably rejected. ("dist" refers to Hamming distance). A family of codes is locally testable if all members of the family are r-testable for some constant r. This concept arose from holographic proofs/PCPs. Goldreich and Sudan [GS] asked whether there exist good, locally testable families of codes. In this paper we address the intersection of the two questions stated.
|Number of pages||10|
|Journal||Annual Symposium on Foundations of Computer Science - Proceedings|
|State||Published - 2003|
|Event||Proceedings: 44th Annual IEEE Symposium on Foundations of Computer Science - FOCS 2003 - Cambridge, MA, United States|
Duration: 11 Oct 2003 → 14 Oct 2003