Good Locally Testable Codes with Small Alphabet and Small Query Size
Uriya First, Stav Lazarovici

TL;DR
This paper characterizes the existence of good low-query locally testable codes (LTCs) across various alphabets and linearity conditions, showing that beyond certain small cases, good LTCs are possible for larger alphabets and query sizes.
Contribution
It proves that good 2-query LTCs exist for larger alphabets and 3-query LTCs for binary alphabets, fully resolving the existence question for all query sizes and alphabets.
Findings
Good 2-query LTCs exist on alphabets with more than 2 letters.
Good 3-query LTCs exist with a binary alphabet.
A general method for reducing alphabet size of low-query LTCs is established.
Abstract
Ben-Sasson, Goldreich and Sudan showed that a binary error correcting code admitting a -query tester cannot be good, i.e., it cannot have both linear distance and positive rate. The same holds when the alphabet is a finite field , the code is -linear, and the -query tester is -linear. We show that those are essentially the only limitations on the existence of good locally testable codes (LTCs). That is, there are good -query LTCs on any alphabet with more than letters, and good -query LTCs with a binary alphabet. Similarly, there are good -query -linear LTCs, and for every -vector space of dimension greater than , there are good -query LTCs with alphabet whose tester is -linear. This completely solves, for every and alphabet (resp. -vector space) , the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComplexity and Algorithms in Graphs · Advanced Graph Theory Research · graph theory and CDMA systems
