The main result of this paper is a near-optimal derandomization of the affine homomorphism test of Slum. Luby and Rubinfeld. We show that for any groups G and Γ, and any expanding generating set S of G, the natural deramdomized version of the BLR test in which we pick an element x randomly from G and y randomly from S and test whether f(x) · f(y) = f(x · y), performs nearly as well (depending of course on the expansion) as the original test. Moreover we show that the underlying homomorphism can be found by the natural local "belief propagation decoding". We note that the original BLR test uses 2 log2 |G| random bits, whereas the derandomized test uses only (1 + o(1)) log2 |G| random bits, This factor of 2 savings in the randomness complexity translates to a near quadratic savings in the length of the tables in the related locally testable codes (and possibly probabilistically checkable proofs which may use them). Our result is a significant generalization of the recent result of , who proved such a result only for the groups G = Zpm and Γ = Z p. It is also an explicit version of the nonconstructive result of . We use a simple combinatorial arguments and the transitivity of Cayley graphs (and this analysis gives optimal results up to constant factors). Previous techniques used the Fourier transform, a method which seems unextendable to general groups (and furthermore gives suboptimal bounds). Finally, we provide a polynomial time (in |G|) construction of a (somewhat) small (|G|ε) set of expanding generators for every group G, which yield efficient testers of randomness (1 + ε) log |G| for G. This follows a simple derandomization of the probabilistic construction of , who showed that almost all logarithmic-size sets are expanding. Our work motivates further study of similar derandomizations of other natural property testing procedures, especially those more relevant to the local testing of better codes and to PCPs.
|Number of pages||9|
|Journal||Conference Proceedings of the Annual ACM Symposium on Theory of Computing|
|State||Published - 2004|
|Event||Proceedings of the 36th Annual ACM Symposium on Theory of Computing - Chicago, IL, United States|
Duration: 13 Jun 2004 → 15 Jun 2004
- Homomorphism testing
- Linearity testing