## Abstract

Cyclic linear codes of block length n over a finite field F_{q} are linear subspaces of F_{q}^{n} 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 ∈ F_{q}^{n}, 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.

Original language | English |
---|---|

Pages (from-to) | 116-125 |

Number of pages | 10 |

Journal | Annual Symposium on Foundations of Computer Science - Proceedings |

State | Published - 2003 |

Externally published | Yes |

Event | Proceedings: 44th Annual IEEE Symposium on Foundations of Computer Science - FOCS 2003 - Cambridge, MA, United States Duration: 11 Oct 2003 → 14 Oct 2003 |