Locally Decodable Codes From Nice Subsets of Finite Fields and Prime Factors of Mersenne Numbers

A k-query Locally Decodable Code (LDC) encodes an n-bit message x as an N-bit codeword C(x), such that one can probabilistically recover any bit Xi of the message by querying only k bits of the codeword C(x), even after some constant fraction of codeword bits has been corrupted. The major goal of LDC related research is to establish the optimal trade-off between length and query complexity of such codes. Recently upper bounds for the length of LDCs were vastly improved via constructions that rely on existence of certain special (nice) subsets of finite fields. In this work we extend the constructions of LDCs from nice subsets. We argue that further progress on upper bounds for LDCs via these methods is tied to progress on an old number theory question regarding the size of the largest prime factors of Mersenne numbers. Specifically, we show that every Mersenne number m = 2t-1 that has a prime factor p > mUpsi yields a family of k(Upsi)-query locally decodable codes of length exp (nepsi) . Conversely, if for some fixed k and all epsi > 0 one can use the nice subsets technique to obtain a family of k-query LDCs of length exp (nepsi); then infinitely many Mersenne numbers have prime factors larger than known currently.