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 $IP$ denote Inner Product on $2b$ bits. - If $f$ is a total Boolean function that depends on all of its inputs, the bounded-error one-way quantum communication complexity of $f \circ IP$ equals $\Omega(n(b-1))$. - If $f$ is a partial Boolean function, the deterministic one-way communication complexity of $f \circ IP$ is at least $\Omega(b \cdot D_{dt}^{\rightarrow}(f))$, where $D_{dt}^{\rightarrow}(f)$ denotes the non-adaptive decision tree complexity of $f$. Montanaro and Osborne [arXiv'09] observed that the deterministic one-way communication complexity of $f \circ XOR_2$ equals the non-adaptive parity decision tree complexity of $f$. In contrast, we show the following with the gadget $AND_2$. - There exists a function for which even the quantum non-adaptive AND decision tree complexity of $f$ is exponentially large in the deterministic one-way communication complexity of $f \circ AND_2$. - For symmetric functions $f$, the non-adaptive AND decision tree complexity of $f$ is at most quadratic in the (even two-way) communication complexity of $f \circ AND_2$. In view of the first point, a lower bound on non-adaptive AND decision tree complexity of $f$ does not lift to a lower bound on one-way communication complexity of $f \circ AND_2$. In our final result we show that for all $f$, the deterministic one-way communication complexity of $F = f \circ AND_2$ is at most $(rank(M_{F}))(1 - \Omega(1))$, where $M_{F}$ denotes the communication matrix of $F$. 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.
翻译:我们研究各种单向通信复杂度与外部功能的类似决定树复杂性之间的关系。 我们考虑两个工具: 2个输入的和功能和2个输入的内装产品。 $IP$在 2b美元位数上表示内产产品。 如果美元是一个取决于其所有投入的全布林函数, 捆绑的单向量通信复杂性为$- cir IP$ 等于 $2奥米加(n(b)) 。 如果美元是一个部分布利值的功能, $@cir IP的确定性单向性单向通信复杂性至少为$\ 美元(b) d ⁇ t rightrror}(f), 美元-right rightarrow} (f) 美元表示非调整性决定的复杂度为$2美元。 蒙塔纳罗和奥克(arx) 发现非确定性单向一美元(rc) 美元(rcal2) 的内置有内置的内置式的内置 和内置的内置性决定。