More efficient sifting for grid norms, and applications to multiparty communication complexity

TL;DR

This paper improves lower bounds on the communication complexity of a specific 3-player function by refining sifting techniques for grid norms, and relaxes the hardness conditions needed for such bounds.

Contribution

It introduces a stronger lower bound of log^{1/2}(N) and relaxes the pseudorandomness condition from two-sided to one-sided, advancing the understanding of multiparty communication complexity.

Findings

Achieved a log^{1/2}(N) lower bound for the function's deterministic communication complexity.

Developed an improved sifting argument for grid norms of bipartite graphs.

Provided a structural result showing small cylinder intersections can be covered by simple slices.

Abstract

Building on the techniques behind the recent progress on the 3-term arithmetic progression problem [KM'23], Kelley, Lovett, and Meka [KLM'24] constructed the first explicit 3-player function $f:[N]^3 \rightarrow \{0,1\}$ that demonstrates a strong separation between randomized and (non-)deterministic NOF communication complexity. Specifically, their hard function can be solved by a randomized protocol sending $O(1)$ bits, but requires $\Omega(\log^{1/3}(N))$ bits of communication with a deterministic (or non-deterministic) protocol. We show a stronger $\Omega(\log^{1/2}(N))$ lower bound for their construction. To achieve this, the key technical advancement is an improvement to the sifting argument for grid norms of (somewhat dense) bipartite graphs. In addition to quantitative improvement, we qualitatively improve over [KLM'24] by relaxing the hardness condition: while [KLM'24] proved their lower bound for any function $f$ that satisfies a strong two-sided pseudorandom condition, we show that a weak one-sided condition suffices. This is achieved by a new structural result for cylinder intersections (or, in graph-theoretic language, the set of triangles induced from a tripartite graph), showing that any small cylinder intersection can be efficiently covered by a sum of simple ``slice'' functions.