English

Almost quadratic gap between partition complexity and query/communication complexity

Computational Complexity 2015-12-03 v1

Abstract

We show nearly quadratic separations between two pairs of complexity measures: 1. We show that there is a Boolean function ff with D(f)=Ω((Dsc(f))2o(1))D(f)=\Omega((D^{sc}(f))^{2-o(1)}) where D(f)D(f) is the deterministic query complexity of ff and DscD^{sc} is the subcube partition complexity of ff; 2. As a consequence, we obtain that there is a communication task f(x,y)f(x, y) such that Dcc(f)=Ω(log2o(1)χ(f))D^{cc}(f)=\Omega(\log^{2-o(1)}\chi(f)) where Dcc(f)D^{cc}(f) is the deterministic 2-party communication complexity of ff (in the standard 2-party model of communication) and χ(f)\chi(f) is the partition number of ff. Both of those separations are nearly optimal: it is well known that D(f)=O((Dsc(f))2)D(f)=O((D^{sc}(f))^{2}) and Dcc(f)=O(log2χ(f))D^{cc}(f)=O(\log^2\chi(f)).

Keywords

Cite

@article{arxiv.1512.00661,
  title  = {Almost quadratic gap between partition complexity and query/communication complexity},
  author = {Andris Ambainis and Martins Kokainis},
  journal= {arXiv preprint arXiv:1512.00661},
  year   = {2015}
}

Comments

17 pages

R2 v1 2026-06-22T11:59:31.764Z