English

A note on a problem in communication complexity

Computational Complexity 2012-05-07 v1

Abstract

In this note, we prove a version of Tarui's Theorem in communication complexity, namely PHccBPPPccPH^{cc} \subseteq BP\cdot PP^{cc}. Consequently, every measure for PPccPP^{cc} leads to a measure for PHccPH^{cc}, subsuming a result of Linial and Shraibman that problems with high mc-rigidity lie outside the polynomial hierarchy. By slightly changing the definition of mc-rigidity (arbitrary instead of uniform distribution), it is then evident that the class MccM^{cc} of problems with low mc-rigidity equals BPPPccBP\cdot PP^{cc}. As BPPPccPSPACEccBP\cdot PP^{cc} \subseteq PSPACE^{cc}, this rules out the possibility, that had been left open, that even polynomial space is contained in MccM^{cc}.

Cite

@article{arxiv.1205.0903,
  title  = {A note on a problem in communication complexity},
  author = {Henning Wunderlich},
  journal= {arXiv preprint arXiv:1205.0903},
  year   = {2012}
}
R2 v1 2026-06-21T20:58:35.156Z