English

One-way communication complexity and non-adaptive decision trees

Computational Complexity 2022-01-19 v3

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 IPIP denote Inner Product on 2b2b bits. - If ff is a total Boolean function that depends on all of its inputs, the bounded-error one-way quantum communication complexity of fIPf \circ IP equals Ω(n(b1))\Omega(n(b-1)). - If ff is a partial Boolean function, the deterministic one-way communication complexity of fIPf \circ IP is at least Ω(bDdt(f))\Omega(b \cdot D_{dt}^{\rightarrow}(f)), where Ddt(f)D_{dt}^{\rightarrow}(f) denotes the non-adaptive decision tree complexity of ff. Montanaro and Osborne [arXiv'09] observed that the deterministic one-way communication complexity of fXOR2f \circ XOR_2 equals the non-adaptive parity decision tree complexity of ff. In contrast, we show the following with the gadget AND2AND_2. - There exists a function for which even the quantum non-adaptive AND decision tree complexity of ff is exponentially large in the deterministic one-way communication complexity of fAND2f \circ AND_2. - For symmetric functions ff, the non-adaptive AND decision tree complexity of ff is at most quadratic in the (even two-way) communication complexity of fAND2f \circ AND_2. In view of the first point, a lower bound on non-adaptive AND decision tree complexity of ff does not lift to a lower bound on one-way communication complexity of fAND2f \circ AND_2. In our final result we show that for all ff, the deterministic one-way communication complexity of F=fAND2F = f \circ AND_2 is at most (rank(MF))(1Ω(1))(rank(M_{F}))(1 - \Omega(1)), where MFM_{F} denotes the communication matrix of FF. 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

R2 v1 2026-06-24T01:47:46.609Z