A Quadratic Lower Bound for Three-Query Linear Locally Decodable Codes over Any Field

A linear (q, delta, epsilon, m(n))-locally decodable code (LDC) C : F(n) -> F(m(n)) is a linear transformation from the vector space F(n) to the space F(m(n)) for which each message symbol x(i) can be recovered with probability at least 1/vertical bar F vertical bar + epsilon from C(x) by a randomized algorithm that queries only q positions of C(x), even if up to delta m(n) positions of C(x) are corrupted. In a recent work of Dvir, the author shows that lower bounds for linear LDCs can imply lower bounds for arithmetic circuits. He suggests that proving lower bounds for LDCs over the complex or real field is a good starting point for approaching one of his conjectures. Our main result is an m(n) = Omega(n(2)) lower bound for linear 3-query LDCs over any, possibly infinite, field. The constant in the Omega(.) depends only on epsilon and delta. This is the first lower bound better than the trivial m(n) = Omega(n) for arbitrary fields and more than two queries.