## Abstract

In this work, we construct the first locally-correctable codes (LCCs), and locally-testable codes (LTCs) with constant rate, constant relative distance, and sub-polynomial query complexity. Specifically, we show that there exist LCCs and LTCs with block length n, constant rate (which can even be taken arbitrarily close to 1) and constant relative distance, whose query complexity is exp(Õ(√logn)) (for LCCs) and (log n)^{O(log log n)} (forLTCs). Previously such codes were known to exist only with Ω(n^{β}) query complexity (for constant β > 0). In addition to having small query complexity, our codes also achieve better trade-offs between the rate and the relative distance than were previously known to be achievable by LCCs or LTCs. Specifically, over large (but constant size) alphabet, our codes approach the Singleton bound, that is, they have almost the best-possible relationship between their rate and distance. This has the surprising consequence that asking for a large-alphabet error-correcting code to further be an LCC or LTC with sub-polynomial query complexity does not require any sacrifice in terms of rate and distance! Over the binary alphabet, our codes meet the Zyablov bound. Such trade-offs between the rate and the relative distance were previously not known for any o(n) query complexity. Our results on LCCs also immediately give locally-decodable codes (LDCs) with the same parameters. Our codes are based on a technique of Alon, Edmonds and Luby. We observe that this technique can be used as a general distance-amplification method, and show that it interacts well with local correctors and testers. We obtain our main results by applying this method to suitably constructed LCCs and LTCs in the non-standard regime of sub-constant relative distance.

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

Title of host publication | STOC 2016 - Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing |

Editors | Yishay Mansour, Daniel Wichs |

Publisher | Association for Computing Machinery |

Pages | 202-215 |

Number of pages | 14 |

ISBN (Electronic) | 9781450341325 |

DOIs | |

State | Published - Jun 19 2016 |

Event | 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016 - Cambridge, United States Duration: Jun 19 2016 → Jun 21 2016 |

### Publication series

Name | Proceedings of the Annual ACM Symposium on Theory of Computing |
---|---|

Volume | 19-21-June-2016 |

### Other

Other | 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016 |
---|---|

Country/Territory | United States |

City | Cambridge |

Period | 6/19/16 → 6/21/16 |

## ASJC Scopus subject areas

- Software

## Keywords

- Locally correctable codes
- Locally decodable codes
- Locally testable codes
- Query complexity
- Singleton bound
- Zyablov bound