A Strong Direct Product Theorem for Corruption and the Multiparty Communication Complexity of Disjointness

  • Authors:
  • Paul Beame;Toniann Pitassi;Nathan Segerlind;Avi Wigderson

  • Affiliations:
  • Computer Science & Engineering, University of Washington, Seattle, USA 98195-2350;Department of Computer Science, University of Toronto, Toronto, Canada M5S 1A4;Department of Computer Science, Portland State University, Portland, USA 97207-0751;School of Mathematics, Institute for Advanced Study, Princeton, USA 05840

  • Venue:
  • Computational Complexity
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We prove that two-party randomized communication complexity satisfies a strong direct product property, so long as the communication lower bound is proved by a "corruption" or "one-sided discrepancy" method over a rectangular distribution. We use this to prove new n 驴(1) lower bounds for 3-player number-on-the-forehead protocols in which the first player speaks once and then the other two players proceed arbitrarily. Using other techniques, we also establish an 驴(n 1/(k驴1)/(k 驴 1)) lower bound for k-player randomized number-on-the-forehead protocols for the disjointness function in which all messages are broadcast simultaneously. A simple corollary of this is that general randomized number-on-the-forehead protocols require 驴(log n/(k 驴 1)) bits of communication to compute the disjointness function.