ICALP 2014: Automata, Languages, and Programming pp 296-307 | Cite as
Parallel Repetition of Entangled Games with Exponential Decay via the Superposed Information Cost
Abstract
In a two-player game, two cooperating but non communicating players, Alice and Bob, receive inputs taken from a probability distribution. Each of them produces an output and they win the game if they satisfy some predicate on their inputs/outputs. The entangled value ω *(G) of a game G is the maximum probability that Alice and Bob can win the game if they are allowed to share an entangled state prior to receiving their inputs.
The n-fold parallel repetition G n of G consists of n instances of G where the players receive all the inputs at the same time and produce all the outputs at the same time. They win G n if they win each instance of G.
In this paper we show that for any game G such that ω *(G) = 1 − ε < 1, ω *(G n ) decreases exponentially in n. First, for any game G on the uniform distribution, we show that \(\omega^*(G^n) = (1 - \epsilon^2)^{\Omega\left(\frac{n}{\log(|I||O|)} - |\log(\epsilon)|\right)}\), where |I| and |O| are the sizes of the input and output sets. From this result, we show that for any entangled game G, \(\omega^*(G^n) = (1 - {\epsilon^2})^{\Omega(\frac{n}{Q^4 \log(Q \cdot|O|)} - |\log(\epsilon/Q)|)}\) where p is the input distribution of G and \(Q = \max(\lceil \frac{1}{\min_{xy: p_{xy} \neq 0}\{\sqrt{p_{xy}}\}}\rceil, |I|)\).
To prove this parallel repetition, we introduce the concept of Superposed Information Cost for entangled games which is inspired from the information cost used in communication complexity.
Keywords
Entangle State Information Cost Advice State Input Distribution Coherent SuperpositionPreview
Unable to display preview. Download preview PDF.
References
- 1.Arora, S., Khot, S.A., Kolla, A., Steurer, D., Tulsiani, M., Vishnoi, N.K.: Unique games on expanding constraint graphs are easy: extended abstract. In: Proceedings STOC 2008, pp. 21–28 (May 2008)Google Scholar
- 2.Bar-Yossef, Z., Jayram, T.S., Kumar, R., Sivakumar, D.: An information statistics approach to data stream and communication complexity. J. Comput. Syst. Sci. 68(4), 702–732 (2004)CrossRefMATHMathSciNetGoogle Scholar
- 3.Bellare, M., Goldreich, O., Sudan, M.: Free bits, pcps, and nonapproximability—towards tight results. SIAM J. Comput. 27(3), 804–915 (1998)CrossRefMATHMathSciNetGoogle Scholar
- 4.Braverman, M.: Interactive information complexity. In: Proceedings of STOC 2012, pp. 505–524 (May 2012)Google Scholar
- 5.Chailloux, A., Kerenidis, I.: Optimal bounds for quantum bit commitment. In: Proceedings of FOCS 2011, pp. 354–362 (October 2011)Google Scholar
- 6.Chailloux, A., Scarpa, G.: Parallel Repetition of Entangled Games with Exponential Decay via the Superposed Information Cost. arXiv:1310.7787 (October 2013)Google Scholar
- 7.Chakrabarti, A., Shi, Y., Wirth, A., Yao, A.: Informational complexity and the direct sum problem for simultaneous message complexity. In: Proceedings of the FOCS 2001, pp. 270–288 (October 2001)Google Scholar
- 8.Clauser, J.F., Horne, M.A., Shimony, A., Holt, R.A.: Proposed experiment to test local hidden-variable theories. Phys. Rev. Lett. 23, 880–884 (1969)CrossRefGoogle Scholar
- 9.Cleve, R., Slofstra, W., Unger, F., Upadhyay, S.: Perfect parallel repetition theorem for quantum xor proof systems. Comput. Complex. 17(2), 282–299 (2008)CrossRefMATHMathSciNetGoogle Scholar
- 10.Dinur, I., Steurer, D., Vidick, T.: A parallel repetition theorem for entangled projection games, arXiv:1310.4113 (October 2013)Google Scholar
- 11.Feige, U.: A threshold of ln n for approximating set cover. J. ACM 45(4), 634–652 (1998)CrossRefMATHMathSciNetGoogle Scholar
- 12.Håstad, J.: Some optimal inapproximability results. J. ACM 48(4), 798–859 (2001)CrossRefMATHMathSciNetGoogle Scholar
- 13.Holenstein, T.: Parallel repetition: simplifications and the no-signaling case. In: Proceedings of STOC 2007, pp. 411–419 (May 2007)Google Scholar
- 14.Jain, R., Pereszlyi, A., Yao, P.: A parallel repetition theorem for entangled two-player one-round games under product distributions. arXiv:1311.6309 (November 2013)Google Scholar
- 15.Kempe, J., Regev, O., Toner, B.: Unique games with entangled provers are easy. In: Proceedings of the FOCS 2008, pp. 457–466 (October 2008)Google Scholar
- 16.Kempe, J., Vidick, T.: Parallel repetition of entangled games. In: Proceedings of STOC 2011, pp. 353–362 (May 2011)Google Scholar
- 17.Kerenidis, I., Laplante, S., Lerays, V., Roland, J., Xiao, D.: Lower bounds on information complexity via zero-communication protocols and applications. In: Proceedings of FOCS 2012, pp. 500–509 (October 2012)Google Scholar
- 18.Parnafes, I., Raz, R., Wigderson, A.: Direct product results and the GCD problem, in old and new communication models. In: Proceedings of STOC 1997, pp. 363–372 (May 1997)Google Scholar
- 19.Rao, A.: Parallel repetition in projection games and a concentration bound. In: Proceedings STOC 2008, pp. 1–10 (May 2008)Google Scholar
- 20.Raz, R.: A parallel repetition theorem. SIAM J. Comput. 27(3), 763–803 (1998)CrossRefMATHMathSciNetGoogle Scholar