Simple PCPs with poly-log rate and query complexity
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
Locally testable codes and PCPs of almost-linear length
Journal of the ACM (JACM)
The PCP theorem by gap amplification
Journal of the ACM (JACM)
Combinatorial Construction of Locally Testable Codes
SIAM Journal on Computing
Locally Testable Codes Require Redundant Testers
SIAM Journal on Computing
Hi-index | 0.00 |
A q-query locally testable code (LTC) is an error correcting code that can be tested by a randomized algorithm that reads at most q symbols from the given word. An important question is whether there exist LTCs that have the c3 property: constant rate, constant relative distance, and that can be tested with a constant number of queries. Such LTCs are sometimes referred to as "asymptotically good". We show that dense LTCs cannot be c3. The density of a tester is roughly the average number of distinct local views in which a coordinate participates. An LTC is dense if it has a tester with density ω(1). More precisely, we show that a 3-query locally testable code with a tester of density ω(1) cannot be c3. Furthermore, we show that a q-locally testable code (q 3) with a tester of density ω(1)nq-2 cannot be c3. Our results hold when the tester has the following two properties: - (no weights:) Every q-tuple of queries occurs with the same probability. - ('last-one-fixed':) In every q-query 'test' of the tester, the value to any q - 1 of the symbols determines the value of the last symbol. (Linear codes have constraints of this type). We also show that several natural ways to quantitatively improve our results would already resolve the general c3 question, i.e. also for nondense LTCs.