Understanding Parallel Repetition Requires Understanding Foams

  • Authors:
  • Uriel Feige;Guy Kindler;Ryan O'Donnell

  • Affiliations:
  • Weizmann Institute, Israel/ Microsoft Research;Weizmann Institute, Israel;Carnegia Mellon University, USA

  • Venue:
  • CCC '07 Proceedings of the Twenty-Second Annual IEEE Conference on Computational Complexity
  • Year:
  • 2007

Quantified Score

Hi-index 0.02

Visualization

Abstract

Motivated by the study of Parallel Repetition and also by the Unique Games Conjecture, we investigate the value of the "Odd Cycle Games" under parallel repetition. Using tools from discrete harmonic analysis, we show that after d rounds on the cycle of length m, the value of the game is at most 1 - (1/m) \cdot \Omega(\sqrt d) (for d \leqslant m^2, say). This beats the natural barrier of 1 - \Theta (1/m)^2 \cdot d for Raz-style proofs [31, 21] (see [11]) and also the SDP bound of Feige-Lovasz [14, 17]; however, it just barely fails to have implications for Unique Games. On the other hand, we also show that improving our bound would require proving nontrivial lower bounds on the surface area of high-dimensional foams. Specifically, one would need to answer: What is the least surface area of a cell that tiles \mathbb{R}^d by the lattice \mathbb{Z}^{d}?