Advertisement

computational complexity

, Volume 25, Issue 1, pp 1–102 | Cite as

Combinatorial PCPs with Short Proofs

Article
  • 95 Downloads

Abstract

The Probabilistically Checkable Proof (PCP) theorem (Arora and Safra in J ACM 45(1):70–122, 1998; Arora et al. in J ACM 45(3):501–555, 1998) asserts the existence of proofs that can be verified by reading a very small part of the proof. Since the discovery of the theorem, there has been a considerable work on improving the theorem in terms of the length of the proofs, culminating in the construction of PCPs of quasi-linear length, by Ben-Sasson and Sudan (SICOMP 38(2):551–607, 2008) and Dinur (J ACM 54(3):241–250, 2007). One common theme in the aforementioned PCP constructions is that they all rely heavily on sophisticated algebraic machinery. The aforementioned work of Dinur (2007) suggested an alternative approach for constructing PCPs, which gives a simpler and arguably more intuitive proof of the PCP theorem using combinatorial techniques. However, this combinatorial construction only yields PCPs of polynomial length and is therefore inferior to the algebraic constructions in this respect. This gives rise to the natural question of whether the proof length of the algebraic constructions can be matched using the combinatorial approach. In this work, we provide a combinatorial construction of PCPs of length \({n\cdot\left(\log n\right)^{O(\log\log n)}}\), coming very close to the state-of-the-art algebraic constructions (whose proof length is \({n\cdot\left(\log n\right)^{O(1)}}\)). To this end, we develop a few generic PCP techniques which may be of independent interest. It should be mentioned that our construction does use low-degree polynomials at one point. However, our use of polynomials is confined to the construction of error-correcting codes with a certain simple multiplication property, and it is conceivable that such codes could be constructed without the use of polynomials. In addition, we provide a variant of the main construction that does not use polynomials at all and has proof length \({n^{4} \cdot\left(\log n\right)^{O(\log\log n)}}\). This is already an improvement over the aforementioned combinatorial construction of Dinur.

Keywords

Probabilistically Checkable Proof (PCP) PCP of Proximity combinatorial PCP 

Subject classification

68Q01 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Sanjeev Arora, Carsten Lund, Rajeev Motwani, MadhuSudan Mario Szegedy (1998) Proof verification and Intractability of Approximation Problems. Journal of ACM 45(3): 501–555 Preliminary version in FOCS 1992CrossRefzbMATHGoogle Scholar
  2. Sanjeev Arora, Shmuel Safra (1998) Probabilistic Checkable Proofs: A New Characterization of NP. Journal of ACM volume 45(1): 70–122 Preliminary version in FOCS 1992zbMATHGoogle Scholar
  3. László Babai, Lance Fortnow, Leonid A. Levin & Mario Szegedy (1991). Checking Computations in Polylogarithmic Time. In STOC, 21–31.Google Scholar
  4. Eli Ben-Sasson, Oded Goldreich, Prahladh Harsha, Madhu Sudan, Salil Vadhan (2006) Robust PCPs of Proximity, Shorter PCPs and Applications to Coding. SIAM Journal of Computing 36(4): 120–134Google Scholar
  5. Eli Ben-Sasson, Oded Goldreich, Prahladh Harsha, Madhu Sudan & Salil P. Vadhan (2005). Short PCPs Verifiable in Polylogarithmic Time. In IEEE Conference on Computational Complexity, 120–134.Google Scholar
  6. Eli Ben-Sasson, Prahladh Harsha, Oded Lachish & Arie Matsliah (2009). Sound 3-Query PCPPs Are Long. TOCT 1(2).Google Scholar
  7. Eli Ben-Sasson, Yohay Kaplan, Swastik Kopparty, Or Meir & Henning Stichtenoth (2013). Constant Rate PCPs for Circuit-SAT with Sublinear Query Complexity. In FOCS, 320–329. Available as ECCC TR13-085.Google Scholar
  8. Eli Ben-Sasson, Madhu Sudan (2006) Robust locally testable codes and products of codes. Random Struct. Algorithms 28(4): 387–402 Preliminary version in APPROX-RANDOM 2004CrossRefzbMATHGoogle Scholar
  9. Eli Ben-Sasson, Madhu Sudan (2008) Short PCPs with Polylog Query Complexity. SIAM J. Comput. 38(2): 551–607 Preliminary version in STOC 2005CrossRefMathSciNetGoogle Scholar
  10. Eli Ben-Sasson & Michael Viderman (2009a). Composition of Semi-LTCs by Two-Wise Tensor Products. In APPROX-RANDOM, 378–391.Google Scholar
  11. Eli Ben-Sasson, Michael Viderman (2009b) Tensor Products of Weakly Smooth Codes are Robust. Theory of Computing 5(1): 239–255CrossRefMathSciNetGoogle Scholar
  12. Stephen A. Cook (1971). The Complexity of Theorem-Proving Procedures. In Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, USA, 151–158.Google Scholar
  13. Irit Dinur (2007). The PCP theorem by Gap Amplification. Journal of ACM 54(3), 241–250. Preliminary version in STOC 2006.Google Scholar
  14. Irit Dinur & Or Meir (2010). Derandomized Parallel Repetition of Structured PCPs. In IEEE Conference on Computational Complexity, 16–27. Full version can be obtained as ECCC TR10-107.Google Scholar
  15. Irit Dinur & Omer Reingold (2006). Assignment testers: Towards combinatorial proof of the PCP theorem. SIAM Journal of Computing 36(4), 155–164.Google Scholar
  16. Irit Dinur, Madhu Sudan & Avi Wigderson (2006). Robust local testability of tensor products of LDPC codes. In APPROX-RANDOM, 304–315.Google Scholar
  17. Oded Goldreich & Dana Ron (2002). Property Testing in Bounded Degree Graphs. Algorithmica 32(2), 302–343.Google Scholar
  18. Oded Goldreich & Shmuel Safra (2000). A Combinatorial Consistency Lemma with Application to Proving the PCP Theorem. SIAM J. Comput. 29(4), 1132–1154.Google Scholar
  19. Oded Goldreich & Madhu Sudan (2006). Locally testable codes and PCPs of almost linear length. Journal of ACM 53(4), 558–655. Preliminary version in FOCS 2002, pages 13–22.Google Scholar
  20. Rolf Kötter (1992). A Unified Description of an Error Locating Procedure for Linear Codes. In Proceedings of the International Workshop on Algebraic and Combinatorial Coding Theory, 113–117.Google Scholar
  21. F. Thomson Leighton (1992). Introduction to parallel algorithms and architectures: array, trees, hypercubes. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.Google Scholar
  22. Florence Jessie MacWilliams & Neil James Alexander Sloane (1988). The theory of error-correcting codes. Elsevier/North-Holland, Amsterdam.Google Scholar
  23. Or Meir (2009). Combinatorial PCPs with Efficient Verifiers. In FOCS, 463–471. To appear in Computational Complexity. A more elaborated version is available as ECCC TR11-104.Google Scholar
  24. Or Meir (2013). IP = PSPACE Using Error-Correcting Codes. SIAM J. Comput. 42(1), 380–403.Google Scholar
  25. Christos H. Papadimitriou & Mihalis Yannakakis (1991). Optimization, Approximation, and Complexity Classes. J. Comput. Syst. Sci. 43(3), 425–440.Google Scholar
  26. Ruud Pellikaan (1992). On decoding by error location and dependent sets of error positions. Discrete Mathematics 106-107, 369–381.Google Scholar
  27. Nicholas Pippenger & Michael J. Fischer (1979). Relations Among Complexity Measures. J. ACM 26(2), 361–381.Google Scholar
  28. Alexander Polishchuk & Daniel A. Spielman (1994). Nearly-linear size holographic proofs. In STOC, 194–203.Google Scholar
  29. Michael Sipser & Daniel A. Spielman (1996). Expander codes. IEEE Transactions on Information Theory 42(6), 1710–1722.Google Scholar
  30. Madhu Sudan (2001). Algorithmic introduction to coding theory (Lecture notes). Available from http://theory.csail.mit.edu/~madhu/FT01/.
  31. Mario Szegedy (1999). Many-Valued Logics and Holographic Proofs. In ICALP, 676–686.Google Scholar
  32. Leslie G. Valiant (1977). Graph-Theoretic Arguments in Low-Level Complexity. In MFCS, 162–176.Google Scholar
  33. Michael Viderman (2011). A Combination of Testability and Decodability by Tensor Products. Electronic Colloquium on Computational Complexity (ECCC) 18, 87.Google Scholar

Copyright information

© Springer Basel 2016

Authors and Affiliations

  1. 1.Weizmann Institute for ScienceRehovotIsrael

Personalised recommendations