Information Value of Two-Prover Games

Authors Mark Braverman, Young Kun Ko



PDF
Thumbnail PDF

File

LIPIcs.ITCS.2018.12.pdf
  • Filesize: 0.54 MB
  • 15 pages

Document Identifiers

Author Details

Mark Braverman
Young Kun Ko

Cite As Get BibTex

Mark Braverman and Young Kun Ko. Information Value of Two-Prover Games. In 9th Innovations in Theoretical Computer Science Conference (ITCS 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 94, pp. 12:1-12:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018) https://doi.org/10.4230/LIPIcs.ITCS.2018.12

Abstract

We introduce a generalization of the standard framework for studying the difficulty of two-prover games. Specifically, we study the model where Alice and Bob are allowed to communicate (with information constraints) - in contrast to the usual two-prover game where they are not allowed to communicate after receiving their respective input. We study the trade-off between the information cost of the protocol and the achieved value of the game after the protocol. 
In particular, we show the connection of this trade-off and the amortized behavior of the game (i.e. repeated value of the game).
We show that if one can win the game with at least (1 - \epsilon)-probability by communicating at most \epsilon bits of information, 
then one can win n copies with probability at least 2^{-O(\epsilon n)}. This gives an intuitive explanation why Raz's counter-example to strong parallel repetition [Raz2008] (the odd cycle game) is a counter-example to strong parallel repetition - one can win the odd-cycle game on a cycle of length $m$ by communicating O(m^{-2})-bits where m is the number of vertices.

Conversely, for projection games, we show that if one can win n copies with probability larger than (1-\epsilon)^n,
then one can win one copy with at least (1 - O(\epsilon))-probability by communicating O(\epsilon) bits of information. 
By showing the equivalence between information value and amortized value, we give an alternative direction for further works in studying amortized behavior of the two-prover games.

The main technical tool is the "Chi-Squared Lemma" which bounds the information cost of the protocol in terms of Chi-Squared distance,
instead of usual divergence. This avoids the square loss from using Pinsker's Inequality.

Subject Classification

Keywords
  • Two Prover Game
  • Parallel Repetition
  • Odd-Cycle Game
  • Amortized Value of the Game

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Boaz Barak, Ishay Haviv, Moritz Hardt, Anup Rao, Oded Regev, and David Steurer. Rounding parallel repetitions of unique games. In Proceedings of the 49th Annual IEEE Symposium on Foundations of Computer Science. IEEE Computer Society, 2008. Google Scholar
  2. Boaz Barak, Anup Rao, Ran Raz, Ricky Rosen, and Ronen Shaltiel. Strong parallel repetition theorem for free projection games. RANDOM, 2009. Google Scholar
  3. Mark Braverman and Ankit Garg. Small value parallel repetition for general games. In Rocco A. Servedio and Ronitt Rubinfeld, editors, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC 2015, Portland, OR, USA, June 14-17, 2015, pages 335-340. ACM, 2015. URL: http://dx.doi.org/10.1145/2746539.2746565.
  4. Mark Braverman and Anup Rao. Information equals amortized communication. In Foundations of Computer Science (FOCS), 2011 IEEE 52nd Annual Symposium on, pages 748-757. IEEE, 2011. Google Scholar
  5. André Chailloux and Giannicola Scarpa. Parallel repetition of entangled games with exponential decay via the superposed information cost. 41st International Colloquium on Automata, Languages and Programming, 2014. Google Scholar
  6. Richard Cleve, William Slofstra, Falk Unger, and Sarvagya Upadhyay. Perfect parallel repetition theorem for quantum xor proof systems. Journal of Computational Complexity, 17(2):282-299, May 2008. Google Scholar
  7. Thomas M. Cover and Joy A. Thomas. Elements of Information Theory. Wiley series in telecommunications. J. Wiley and Sons, New York, 1991. Google Scholar
  8. Irit Dinur and David Steurer. Analytical approach to parallel repetition. 46th Annual Symposium on the Theory of Computing, 2014. Google Scholar
  9. Irit Dinur, David Steurer, and Thomas Vidick. A parallel repetition theorem for entangled projection games. IEEE Conference on Computational Complexity, 2014. Google Scholar
  10. Thomas Holenstein. Parallel repetition: Simplifications and the no-signaling case. In Proceedings of the 39th Annual ACM Symposium on Theory of Computing, 2007. Google Scholar
  11. Rahul Jain, Attila Pereszlényi, and Penghui Yao. A parallel repetition theorem for entangled two-player one-round games under product distributions. IEEE Conference on Computational Complexity, 2014. Google Scholar
  12. Julia Kempe and Thomas Vidick. Parallel repetition of entangled games. 43rd annual ACM symposium on Theory of computing, 2011. Google Scholar
  13. Iordanis Kerenidis, Sophie Laplante, Virginie Lerays, Jérémie Roland, and David Xiao. Lower bounds on information complexity via zero-communication protocols and applications. CoRR, abs/1204.1505, 2012. URL: http://arxiv.org/abs/1204.1505.
  14. Anup Rao. Parallel repetition in projection games and a concentration bound. In Proceedings of the 40th Annual ACM Symposium on Theory of Computing, 2008. Google Scholar
  15. Ran Raz. A parallel repetition theorem. SIAM Journal on Computing, 27(3):763-803, jun 1998. Prelim version in STOC'95. Google Scholar
  16. Ran Raz. A counterexample to strong parallel repetition. In Proceedings of the 49th Annual IEEE Symposium on Foundations of Computer Science. IEEE Computer Society, 2008. Google Scholar
  17. Ran Raz and Ricky Rosen. A strong parallel repetition theorem for projection games on ex- panders. IEEE Conference on Computational Complexity, pages 247-257, 2012. Google Scholar
  18. David Steurer. Improved rounding for parallel repeated unique games. In Proceedings of the 13th International Conference on Approximation, and 14 the International Conference on Randomization, and Combinatorial Optimization: Algorithms and Techniques, APPROX/RANDOM'10, pages 724-737, Berlin, Heidelberg, 2010. Springer-Verlag. URL: http://dl.acm.org/citation.cfm?id=1886521.1886577.
  19. Madhur Tulsiani, John Wright, and Yuan Zhou. Optimal strong parallel repetition for projection games on low threshold rank graphs. ICALP, 2014. Google Scholar
  20. Amir Yehudayoff. Pointer chasing via triangular discrimination. TR16-151, 2016. Google Scholar
  21. Henry Yuen. A parallel repetition theorem for all entangled games. CoRR, abs/1604.04340, 2016. URL: http://arxiv.org/abs/1604.04340.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail