Gap amplification in PCPs using lazy random walks

  • Authors:

  • Jaikumar Radhakrishnan

  • Affiliations:

  • School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai, India

  • Venue:
  • ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show an alternative implementation of the gap amplification step in Dinur's [4] recent proof of the PCP theorem. We construct a product Gt of a constraint graph G, so that if every assignment in G leaves an ε-fraction of the edges unsatisfied, then in Gt every assignment leaves an Ω(tε)-fraction of the edges unsatisfied, that is, it amplifies the gap by a factor Ω(t). The corresponding result in [4] showed that one could amplify the gap by a factor $\Omega(\sqrt{t})$. More than this small quantitative improvement, the main contribution of this work is in the analysis. Our construction uses random walks on expander graphs with exponentially distributed length. By this we ensure that some random variables arising in the proof are automatically independent, and avoid some technical difficulties.