Certifying Equality With Limited Interaction

Abstract

The equality problem is usually one's first encounter with communication complexity and is one of the most fundamental problems in the field. Although its deterministic and randomized communication complexity were settled decades ago, we find several new things to say about the problem by focusing on three subtle aspects. The first is to consider the expected communication cost (at a worst-case input) for a protocol that uses limited interaction--i.e., a bounded number of rounds of communication--and whose error probability is zero or close to it. The second is to treat the false negative error rate separately from the false positive error rate. The third is to consider the information cost of such protocols. We obtain asymptotically optimal rounds-versus-cost tradeoffs for equality: both expected communication complexity and information complexity scale as $$\Theta ({{\mathrm{ilog}}}^{r-1} n)$$ź(ilogr-1n), where r is the number of rounds and $${{\mathrm{ilog}}}^k n = \log \log \cdots \log n$$ilogkn=loglogźlogn, with k logs. These bounds hold even when the false negative rate approaches 1. For the case of zero-error communication cost, we obtain essentially matching bounds, up to a tiny additive constant. We also provide some applications. As an application of our information cost bounds, we obtain new bounded-round randomized lower bounds for the Intersection problem, in which there are two players who hold subsets $$S,T \subseteq [n]$$S,T⊆[n]. In many realistic scenarios, the sizes of S and T are significantly smaller than n, so we impose the constraint that $$|S|, |T| \le k$$|S|,|T|≤k. We study the minimum number of bits the parties need to communicate in order to compute the entire intersection set $$S \cap T$$SźT, using r rounds. We show that any r-round protocol has information cost (and thus communication cost) $$\Omega (k {{\mathrm{ilog}}}^r k)$$Ω(kilogrk) bits. We also give an O(r)-round protocol achieving $$O(k{{\mathrm{ilog}}}^r k)$$O(kilogrk) bits, which for $$r = \log ^* k$$r=logźk gives a protocol with O(k) bits of communication. This is in contrast to other basic problems such as computing the union or symmetric difference, for which $$\Omega (k\log (n/k))$$Ω(klog(n/k)) bits of communication is required for any number of rounds.