Analytical approach to parallel repetition

From MaRDI portal
Publication:5259598

DOI10.1145/2591796.2591884zbMATH Open1315.91001arXiv1305.1979OpenAlexW2044471216MaRDI QIDQ5259598FDOQ5259598

Irit Dinur, David Steurer

Publication date: 26 June 2015

Published in: Proceedings of the forty-sixth annual ACM symposium on Theory of computing (Search for Journal in Brave)

Abstract: We propose an analytical framework for studying parallel repetition, a basic product operation for one-round two-player games. In this framework, we consider a relaxation of the value of a game, mathrmval+, and prove that for projection games, it is both multiplicative (under parallel repetition) and a good approximation for the true value. These two properties imply a parallel repetition bound as mathrm{val}(G^{otimes k}) approx mathrm{val}_+(G^{otimes k}) = mathrm{val}_+(G)^{k} approx mathrm{val}(G)^{k}. Using this framework, we can also give a short proof for the NP-hardness of Label-Cover(1,delta) for all delta>0, starting from the basic PCP theorem. We prove the following new results: - A parallel repetition bound for projection games with small soundness. Previously, it was not known whether parallel repetition decreases the value of such games. This result implies stronger inapproximability bounds for Set-Cover and Label-Cover. - An improved bound for few parallel repetitions of projection games, showing that Raz's counterexample is tight even for a small number of repetitions. Our techniques also allow us to bound the value of the direct product of multiple games, namely, a bound on mathrmval(G1otimes...otimesGk) for different projection games G1,...,Gk.


Full work available at URL: https://arxiv.org/abs/1305.1979





Cites Work


Cited In (only showing first 100 items - show all)

Uses Software






This page was built for publication: Analytical approach to parallel repetition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5259598)