Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR14-030 | 5th March 2014 20:22

An Approach To The Sliding Scale Conjecture Via Parallel Repetition For Low Degree Testing

RSS-Feed




TR14-030
Authors: Dana Moshkovitz
Publication: 6th March 2014 09:18
Downloads: 1271
Keywords: 


Abstract:

The Sliding Scale Conjecture in PCP states that there are PCP verifiers with a constant number of queries and soundness error that is exponentially small in the randomness of the verifier and the length of the prover's answers.

The Sliding Scale Conjecture is one of the oldest open problems in PCP, and it implies hardness of approximation up to polynomial factors for problems like Max-CSP (with polynomial-sized alphabet), Directed-Sparsest-Cut and Directed-Multi-Cut.

In this work we prove:
1) The Sliding Scale Conjecture follows from a construction of a low degree test whose soundness error is exponential in the randomness of the verifier.
2) A parallel repetition theorem for low degree testing: Given a low degree test with error |F|^{-\Omega(1)},
one can generate a repeated low degree test whose error is |F|^{-\Omega(k)}.
3) Applying the parallel repetition theorem on a suitable low degree test,
we get a low degree test with error |F|^{-\Omega(k)} and randomness O(kmlog|F|).
In particular, we get the first low degree test with error << 1/|F| and O(mlog|F|) randomness.

The missing piece for proving the Sliding Scale Conjecture is a derandomization of the parallel repetition theorem.
This seems plausible given the algebraic structure of the low degree testing problem, which was utilized for derandomization in the past.

The limitation on derandomizing parallel repetition by Feige and Kilian does not rule out this approach.

Additional contributions in this work include an analysis of the sampling properties of the incidence graph of degree-k curves and k'-tuples of points in a finite space F^m,
and a combinatorial composition lemma for PCP that abstracts the composition technique of Arora and Safra.



ISSN 1433-8092 | Imprint