Paper detail

On the Power of Many One-Bit Provers

We study the class of languages, denoted by $\MIP[k, 1-ε, s]$, which have $k$-prover games where each prover just sends a \emph{single} bit, with completeness $1-ε$ and soundness error $s$. For the case that $k=1$ (i.e., for the case of interactive proofs), Goldreich, Vadhan and Wigderson ({\em Computational Complexity&#39;02}) demonstrate that $\SZK$ exactly characterizes languages having 1-bit proof systems with&#34;non-trivial&#34; soundness (i.e., $1/2 < s \leq 1-2ε$). We demonstrate that for the case that $k\geq 2$, 1-bit $k$-prover games exhibit a significantly richer structure: + (Folklore) When $s \leq \frac{1}{2^k} - ε$, $\MIP[k, 1-ε, s] = \BPP$; + When $\frac{1}{2^k} + ε\leq s < \frac{2}{2^k}-ε$, $\MIP[k, 1-ε, s] = \SZK$; + When $s \ge \frac{2}{2^k} + ε$, $\AM \subseteq \MIP[k, 1-ε, s]$; + For $s \le 0.62 k/2^k$ and sufficiently large $k$, $\MIP[k, 1-ε, s] \subseteq \EXP$; + For $s \ge 2k/2^{k}$, $\MIP[k, 1, 1-ε, s] = \NEXP$. As such, 1-bit $k$-prover games yield a natural &#34;quantitative&#34; approach to relating complexity classes such as $\BPP$,$\SZK$,$\AM$, $\EXP$, and $\NEXP$. We leave open the question of whether a more fine-grained hierarchy (between $\AM$ and $\NEXP$) can be established for the case when $s \geq \frac{2}{2^k} + ε$.