Strong Fooling Sets for Multi-player Communication with Applications to Deterministic Estimation of Stream Statistics

We develop a paradigm for studying multi-player deterministic communication, based on a novel combinatorial concept that we call a strong fooling set. Our paradigm leads to optimal lower bounds on the per-player communication required for solving multi-player EQUALITY problems in a private-message setting. This in turn gives a very strong - O(1) versus Ω(n) - separation between private-message and one-way blackboard communication complexities. Applying our communication complexity results, we show that for deterministic data streaming algorithms, even loose estimations of some basic statistics of an input stream require large amounts of space. For instance, approximating the frequency moment Fk within a factor α requires Ω(n/α1/(1-k)) space for k > 1 and roughly Ω(n/αk/(k-1)) space for k > 1. In particular, approximation within any constant factor α, however large, requires linear space, with the trivial exception of k = 1. This is in sharp contrast to the situation for randomized streaming algorithms, which can approximate Fk to within (1±ε) factors using Õ(1) space for k ≤ 2 and o(n) space for all finite k and all constant ε > 0. Previous linear-space lower bounds for deterministic estimation were limited to small factors α, such as α <; 2 for approximating F0 or F2. We also provide certain space/approximation tradeoffs in a deterministic setting for the problems of estimating the empirical entropy of a stream as well as the size of the maximum matching and the edge connectivity of a streamed graph.