pdf icon
Volume 6 (2010) Article 9 pp. 201-225
Separating Deterministic from Randomized Multiparty Communication Complexity
Received: September 5, 2008
Published: November 15, 2010
Download article from ToC site:
[PDF (293K)] [PS (1331K)] [Source ZIP]
Keywords: communication complexity, number on forehead
ACM Classification: F.1.3
AMS Classification: 68Q15

Abstract: [Plain Text Version]

We solve some fundamental problems in the number-on-forehead (NOF) $k$-player communication model. We show that there exists a function which has at most logarithmic communication complexity for randomized protocols with one-sided false-positives error probability of 1/3, but which has linear communication complexity for deterministic protocols, and in fact, even for the more powerful nondeterministic protocols. The result holds for every $\epsilon > 0$ and every $k \le 2^{(1-\epsilon)n}$ players, where $n$ is the number of bits on each player's forehead. As a consequence, we obtain the NOF communication class separation $\mathsf{coRP} \not\subset \mathsf{NP}$. This in particular implies that $\mathsf{P} \neq \mathsf{RP}$ and $\mathsf{NP} \neq \mathsf{coNP}$. We also show that for every $\epsilon > 0$ and every $k \le n^{1-\epsilon}$, there exists a function which has constant randomized complexity for public coin protocols but at least logarithmic complexity for private coin protocols. No larger gap between private and public coin protocols is possible.

Our lower bounds are existential; no explicit function is known to satisfy nontrivial lower bounds for $k \ge \log n$ players. However, for every $\epsilon > 0$ and every $k \le (1-\epsilon) \cdot \log n$ players, the $\mathsf{NP} \ne \mathsf{coNP}$ separation (and even the $\mathsf{coNP} \not\subset \mathsf{MA}$ separation) was obtained independently by Gavinsky and Sherstov (2010) using an explicit construction. In this work, for $k \le (1/9) \cdot \log n$ players, we exhibit an explicit function which has communication complexity $O(1)$ for public coin protocols and $\Omega(\log n)$ for deterministic protocols. This improves the best previously known deterministic lower bound for a function with efficient randomized protocols, which was $\Omega(\log \log n)$, given by Beigel, Gasarch, and Glenn (2006).

It follows from our existential result that any function that is complete for the class of functions with polylogarithmic nondeterministic $k$-player communication complexity does not have polylogarithmic deterministic complexity. We show that the set intersection function, which is complete in the number-in-hand model, is not complete in the NOF model under cylindrical reductions.