1 / 22

Locally Testable Codes Analogues to the Unique Games Conjecture Do Not Exist

Locally Testable Codes Analogues to the Unique Games Conjecture Do Not Exist. Gillat Kol joint work with Ran Raz. Summary. The Unique Games Conjecture ( UGC ) is an important open problem in the study of PCP s It conjectures the existence of PCPs with special properties

leia
Download Presentation

Locally Testable Codes Analogues to the Unique Games Conjecture Do Not Exist

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Locally Testable Codes Analogues to the Unique Games Conjecture Do Not Exist Gillat Kol joint work with Ran Raz

  2. Summary The Unique Games Conjecture (UGC) is an important open problem in the study of PCPs It conjectures the existence of PCPs with special properties Known PCP constructions are based on Locally Testable Codes (LTCs) with analogues properties We show that LTCs with properties analogues to the UGC do not exist Thus, show limitations of some of the current PCP constructions techniques

  3. The PCP Theorem

  4. The PCP Theorem An unbounded prover wants to convince a poly-time verifier that SAT, by supplying a proof The verifier wants to only read constant number of symbols from the proof PCP Thm [BFL,FGLSS,AS,ALMSS ‘92]:This can be done! Completeness: SAT  proof accepted whp Soundness: SAT proof rejected whp The proof supplied by the prover is called a probabilistically checkable proof (PCP)

  5. The PCP Theorem i j q p y m b p r y w u t Verifier Probabilistically Checkable Proofp • (2 queries) • Toss coins to getlocations i and j • Query pi and pj • Using pi and pj, decide if to accept

  6. The Unique Games Conjecture

  7. Why is the UGC Interesting? Almost all hardness of approximation results rely on the PCP Theorem Yet, for many fundamental problems, optimal hardness results are still not know The UGC is a strengthening of the PCP Theorem shown to imply many improved hardness results Max-Cut [MOO ‘05, KKMO ‘07], Vertex-Cover [KR ‘08], CSPs [Rag ‘08], …

  8. Unique Tests The UGC deals with verifiers V that read 2 locations and only make unique tests: i,j queried by V  permutation ij:  s.t. V accepts iff ij(pi) = pj That is, after reading location i, there exists a unique value for locationj thatmakes V accept (and vice versa)

  9. The Unique Games Conjecture Unique Games Conjecture [Khot ‘02]: ,s > 0 consts  (const size depends on ,s) s.t. V checking proofs for “SAT” over by onlyperformingunique tests Completeness 1-: SAT  proof accepted wp ≥1- Soundness s: SAT proof accepted wp < s Parallel Repetition Theorem [Raz ‘98]: Such a verifier exists when uniqueness is relaxed to projection

  10. Locally Testable Codes

  11. Error Correcting Codes Hamming Distance: dist(u,w) = frac of coordinates u and w disagree on agree(u,w) = frac of coordinates u and w agree on Error Correcting Code: C n Relative Distance:C has relative distance 1- if u  w  C, dist(u,w) ≥ 1- equiv. agree(u,w)   High relative distance  Good error correcting ability

  12. Locally Testable Codes Locally Testable Code: A code C with a tester (prob algo) that checks if a given word v is in C by only reading a constant number of locations Completeness 1-: vC accept wp ≥ 1- Soundness s,: dist(v,C) > 1- acceptwp < s equiv.acceptwp  s uC, agree(u,v)  

  13. PCPs and LTCs Both PCPverifiers and LTC testers test if a given string is “close” to being “good” (good = valid proof /codeword) by reading only a constant number of locations in it Known PCP constructions are based on LTCs with analogues properties

  14. “LTCs Analogues to the UGC”? (,,s,)-LTC: Relative distance 1- (codewords agree   frac) Completeness 1- (codewords accepted wp  1-) Soundness s,(dist > 1- accept wp < s) The UGC requires a low-error PCP with unique tests Uniqueness: AUnique LTC is an LTC with unique tests Low-error: Inknown PCPs, the error originates from the completeness, soundness, and distance of the LTC used Thus, we would have wanted:  > 0 const, LTC with ,,s < for some

  15. Our Results

  16. Our Result Theorem (Main): Let C nbe an(,,s,)-unique LTC. Denote c1 = 10-102and c2 = 1010||/(consts) Ifs 10-5and, c1then|C|  c2 • I.e., fixing fixes a const c1, s.t. and cannot both be smaller thanc1, unless C is of const size • Some Tightness: = {a, b, c, …}, C = {an, bn, cn, …}. • C is a unique-LTC with ==0 (test: vi = vj),and |C|=||

  17. Proof

  18. Constraint Graphs Proof by way of contradiction: Let C be such a unique LTCwith tester T T can be viewed as a constraint graph G Vertex set = [n] There exist an edge (i,j) if T may query locations (i,j) The edge (i,j) is associated with ij A word vsatisfies the edge (i,j)if ij(vi) = vj

  19. Step 1 (Main): Decompose G Decompose G to small connected components by removing only a small number of edges (obtain G*) Each connected component of G* contains n vertices G*contains  210-4e edges (e = #edges in G) G* G  n vertices  210-4e edges

  20. Step 2: Constructing a “Bad” Word Set k 1/constant Partition the connected components of G* to k sets, each containing n/k vertices (components ofG*are small) Let v* be “balanced” hybrid of any k different codewords (|C|large), agreeing with each on one of the k parts of G* G*

  21. v* is far from the code: v* is a hybrid of codewords Codewords disagree on most coordinates(relative dist) v* cannot agree with either on many coordinates v* is accepted with non-negligible prob: On everycomponentof G*, v* agrees with a codeword On this component, v* only violates the edges violated by the codeword v* satisfies most of the edges in G*(Completeness) v* satisfies many edges (G*contains many edges) v* Violates Soundness v* violates soundness!

  22. Thank You!

More Related