One-way communication complexity and non-adaptive decision trees
Abstract
We study the relationship between various one-way communication complexity measures of a composed function with the analogous decision tree complexity of the outer function. We consider two gadgets: the AND function on 2 inputs, and the Inner Product on a constant number of inputs. Let denote Inner Product on bits. - If is a total Boolean function that depends on all of its inputs, the bounded-error one-way quantum communication complexity of equals . - If is a partial Boolean function, the deterministic one-way communication complexity of is at least , where denotes the non-adaptive decision tree complexity of . Montanaro and Osborne [arXiv'09] observed that the deterministic one-way communication complexity of equals the non-adaptive parity decision tree complexity of . In contrast, we show the following with the gadget . - There exists a function for which even the quantum non-adaptive AND decision tree complexity of is exponentially large in the deterministic one-way communication complexity of . - For symmetric functions , the non-adaptive AND decision tree complexity of is at most quadratic in the (even two-way) communication complexity of . In view of the first point, a lower bound on non-adaptive AND decision tree complexity of does not lift to a lower bound on one-way communication complexity of . In our final result we show that for all , the deterministic one-way communication complexity of is at most , where denotes the communication matrix of . This shows that the rank upper bound on one-way communication complexity (which can be tight in general) is not tight for AND-composed functions.
Keywords
Cite
@article{arxiv.2105.01963,
title = {One-way communication complexity and non-adaptive decision trees},
author = {Nikhil S. Mande and Swagato Sanyal and Suhail Sherif},
journal= {arXiv preprint arXiv:2105.01963},
year = {2022}
}
Comments
33 pages