Combinatorial PCPs with Short Proofs

Research output: Contribution to journalArticlepeer-review

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 (Formula presented.) , coming very close to the state-of-the-art algebraic constructions (whose proof length is (Formula presented.)). 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 (Formula presented.). This is already an improvement over the aforementioned combinatorial construction of Dinur.

Original languageEnglish
Pages (from-to)1-102
Number of pages102
JournalComputational Complexity
Volume25
Issue number1
DOIs
StatePublished - 1 Mar 2016
Externally publishedYes

Bibliographical note

Publisher Copyright:
© 2016, Springer Basel.

Keywords

  • PCP of Proximity
  • Probabilistically Checkable Proof (PCP)
  • combinatorial PCP

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Mathematics (all)
  • Computational Theory and Mathematics
  • Computational Mathematics

Fingerprint

Dive into the research topics of 'Combinatorial PCPs with Short Proofs'. Together they form a unique fingerprint.

Cite this