Improved rounding for parallel repeated unique games
We show a tight relation between the behavior of unique games under parallel repetition and their semidefinite value. Let be a unique game with alphabet size . Suppose the semidefinite value of , denoted , is at least . Then, we show that the optimal value of the -fold repetition of is at least . This bound confirms a conjecture of Barak et al. (FOCS 2008), who showed a lower bound that was worse by .
A consequence of our bound is the following tight relation between the semidefinite value of and the amortized value , The proof closely follows the approach of Barak et al. (2008).
Our technical contribution is a natural orthogonalization procedure for nonnegative functions. The procedure has the property that it preserves distances up to an absolute constant factor. In particular, our orthogonalization avoids the additive increase in distances caused by the truncation step of Barak et al. (2008).