New Locally Correctable Codes Based on Projective Reed–Muller Codes

Abstract

Locally decodable codes and locally correctable codes (LCCs) have several important applications, such as private information retrieval, secure multiparty computation, and circuit lower bounds. Three major parameters are considered in LCCs: query complexity, message length, and codeword length. The most familiar LCCs in the regime of low query complexity are the generalized Reed–Muller (GRM) codes. However, it has not previously been determined whether there exist codes that have shorter codeword lengths than GRM codes with the same query complexity and message length. In this paper, we show that the projective Reed–Muller (PRM) codes are such LCCs for some parameters. The GRM code is specified by the alphabet size $q$ , the number of variables $m$ , and the degree $d$ , where $d\le q-2$ . When $d= q-2$ and $q-1$ is a power of a prime, we prove that there exists a PRM code with shorter codeword length than the GRM code with the same query complexity and message length. We also present for these PRM codes a perfectly smooth local decoder to recover a symbol in a codeword by accessing not more than $q$ symbols at the coordinates of the codeword.