A parallel repetition theorem for entangled projection games

Irit Dinur, David Steurer, Thomas Vidick

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We study the behavior of the entangled value of two-player one-round projection games under parallel repetition. We show that for any projection game G of entangled value 1 - epsilon <1, the value of the k-fold repetition of G goes to zero as O((1 - epsilon(c))(k)), for some universal constant c >= 1. Previously parallel repetition with an exponential decay in k was only known for the case of XOR and unique games. To prove the theorem we extend an analytical framework recently introduced by Dinur and Steurer for the study of the classical value of projection games under parallel repetition. Our proof, as theirs, relies on the introduction of a simple relaxation of the entangled value that is perfectly multiplicative. The main technical component of the proof consists in showing that the relaxed value remains tightly connected to the entangled value, thereby establishing the parallel repetition theorem. More generally, we obtain results on the behavior of the entangled value under products of arbitrary (not necessarily identical) projection games. Relating our relaxed value to the entangled value is done by giving an algorithm for converting a relaxed variant of quantum strategies that we call "vector quantum strategy" to a quantum strategy. The algorithm is considerably simpler in case the bipartite distribution of questions in the game has good expansion properties. When this is not the case, rounding relies on a quantum analogue of Holenstein's correlated sampling lemma which may be of independent interest. Our "quantum correlated sampling lemma" generalizes results of van Dam and Hayden on universal embezzlement to the following approximate scenario: two isolated parties, given classical descriptions of arbitrary bipartite states vertical bar psi >, vertical bar phi > respectively such that vertical bar psi > approximate to vertical bar phi >, are able to locally generate a joint entangled state vertical bar Psi > approximate to vertical bar psi > approximate
Original languageEnglish
Title of host publicationProceedings - IEEE 29th Conference on Computational Complexity, CCC 2014
PublisherIEEE Computer Society
Pages197-208
Number of pages12
ISBN (Print)9781479936267
DOIs
StatePublished - 2014
Event29th Annual IEEE Conference on Computational Complexity, CCC 2014 - Vancouver, BC, Canada
Duration: 11 Jun 201413 Jun 2014

Publication series

NameProceedings of the Annual IEEE Conference on Computational Complexity
ISSN (Print)1093-0159

Conference

Conference29th Annual IEEE Conference on Computational Complexity, CCC 2014
Country/TerritoryCanada
CityVancouver, BC
Period11/06/1413/06/14

All Science Journal Classification (ASJC) codes

  • Software
  • Computational Mathematics
  • Theoretical Computer Science

Fingerprint

Dive into the research topics of 'A parallel repetition theorem for entangled projection games'. Together they form a unique fingerprint.

Cite this