ACM Transactions on Computation Theory (TOCT)
Two-query PCP with subconstant error
Journal of the ACM (JACM)
Bounds on locally testable codes with unique tests
Proceedings of the 3rd Innovations in Theoretical Computer Science Conference
Guest column: algebraic construction of projection PCPs
ACM SIGACT News
Hi-index | 0.00 |
Given (the table of) a function $f : \mathbb{F}^m \rightarrow \mathbb{F}$ over a finite field $\mathbb{F}$, a low degree tester tests its agreement with an $m$-variate polynomial of total degree at most $d$ over $\mathbb{F}$. The tester is usually given access to an oracle $\mathcal{A}$ providing the supposed restrictions of $f$ to affine subspaces of constant dimension (e.g., lines, planes, etc.). The tester makes very few (probabilistic) queries to $f$ and to $\mathcal{A}$ (say, one query to $f$ and one query to $\mathcal{A}$) and decides whether to accept or reject based on the replies. We wish to minimize two parameters of the tester: its error and its size. The error bounds the probability that the tester accepts although the function is far from a low degree polynomial. The size is the number of bits required to write the oracle replies on all possible tester queries. Low degree testing is a central ingredient in most constructions of probabilistically checkable proofs (PCPs). The error of the low degree tester is related to the error of the PCP, and its size is related to the size of the PCP. We design and analyze new low degree testers that have both subconstant error $o(1)$ and almost-linear size $n^{1+o(1)}$ (where $n = \left|\mathbb{F}\right|^{m}$). Previous constructions of subconstant error testers had polynomial size. These testers enabled the construction of PCPs with subconstant error, but polynomial size. Previous constructions of almost-linear size testers obtained only constant error. These testers were used to construct almost-linear size PCPs with constant error. The testers we present in this work enabled the construction of PCPs with both subconstant error and almost-linear size.