On Matrix Rigidity and Locally Self-correctable Codes

Research output: Contribution to journalArticlepeer-review

9 Scopus citations

Abstract

We describe a new connection between the problem of finding rigid matrices, as posed by Valiant (MFCS 1977), and the problem of proving lower bounds for linear locally correctable codes. Our result shows that proving linear lower bounds on locally correctable codes with super-logarithmic query complexity will give new constructions of rigid matrices. The interest in constructing rigid matrices is their connection to circuit lower bounds. Our results are based on a lemma saying that if the generating matrix of a locally decodable code is not rigid, then it defines a locally self-correctable code with rate close to one. Thus, showing that such codes cannot exist will prove that the generating matrix of any locally decodable code (and in particular Reed Muller codes) is rigid. This connection gives, on the one hand, a new approach to attack the long-standing open problem of matrix rigidity and, on the other hand, explains the difficulty of advancing our current knowledge on locally correctable codes (in the high-query regime).

Original languageEnglish (US)
Pages (from-to)367-388
Number of pages22
JournalComputational Complexity
Volume20
Issue number2
DOIs
StatePublished - Jun 1 2011

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Mathematics(all)
  • Computational Theory and Mathematics
  • Computational Mathematics

Keywords

  • Circuit lower bounds
  • locally decodable codes

Fingerprint Dive into the research topics of 'On Matrix Rigidity and Locally Self-correctable Codes'. Together they form a unique fingerprint.

Cite this