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).
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Computational Theory and Mathematics
- Computational Mathematics
- Circuit lower bounds
- locally decodable codes