On Matrix Rigidity and Locally Self-correctable Codes
- Zeev DvirAffiliated withDepartment of Computer Science, Princeton University Email author
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
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).
KeywordsCircuit lower bounds locally decodable codes
- On Matrix Rigidity and Locally Self-correctable Codes
Volume 20, Issue 2 , pp 367-388
- Cover Date
- Print ISSN
- Online ISSN
- SP Birkhäuser Verlag Basel
- Additional Links
- Circuit lower bounds
- locally decodable codes
- Industry Sectors
- Zeev Dvir (1)
- Author Affiliations
- 1. Department of Computer Science, Princeton University, 35 Olden St., Princeton, NJ, USA