Tolerant Testing for Unique Games

Abstract

We give tolerant testers with sublinear query complexity in the adjacency-list model for Unique Games. Prior tolerant testers required structural assumptions such as expansion or clusterability. For Unique Games, the tester distinguishes instances whose optimum fraction of violated constraints is at most $\varepsilon$ from those whose optimum is at least $\rho$, for $0<\varepsilon<\rho<1$, assuming $\varepsilon\log n\lesssim\rho^4$. On instances with $n$ vertices and $m$ constraints, it uses $\widetilde O(\sqrt m\,\rho^{-13/2}+n\rho^{-2}/\sqrt m)$ queries. We also give a specialized tester for bipartiteness, the $Q=2$ transposition case of Unique Games. Exploiting its signed structure, the tester achieves substantially better tolerance and query-complexity guarantees than the generic Unique Games tester. Writing $\lambda=\rho/(1+\log(1/\rho))$, the bipartiteness tester distinguishes graphs that can be made bipartite by deleting at most an $\varepsilon$ fraction of edges from graphs in which every bipartition has at least a $\rho$ fraction of edges with both endpoints on the same side, assuming $\varepsilon\log n\lesssim\lambda^2$, using $\widetilde O(\sqrt m/\lambda^2+n/(\sqrt m\,\lambda))$ queries.