An Improved Composition Theorem of a Universal Relation and Most Functions via Effective Restriction

TL;DR

This paper improves the composition theorem for universal relations and functions, providing a more general and tight lower bound on communication complexity by avoiding xor composition and using combinatorial constructions.

Contribution

It presents an asymptotically tight, more general composition theorem for universal relations and most functions, improving previous bounds and avoiding xor composition.

Findings

Achieves a lower bound of m + n - O(()) on communication complexity for most functions.

Introduces a direct proof using a multiplexor in the half-duplex model, avoiding xor composition.

Develops a combinatorial tree construction to restrict functions and maximize the number of leaves.

Abstract

Recently, Ivan Mihajlin and Alexander Smal proved a composition theorem of a universal relation and some function via so called xor composition, that is there exists some function $f:\{0,1\}^n \rightarrow \{0,1\}$ such that $\textsf{CC}(\text{U}_n \diamond \text{KW}_f) \geq 1.5n-o(n)$ where $\textsf{CC}$ denotes the communication complexity of the problem. In this paper, we significantly improve their result and present an asymptotically tight and much more general composition theorem of a universal relation and most functions, that is for most functions $f:\{0,1\}^n \rightarrow \{0,1\}$ we have $\textsf{CC}(\text{U}_m \diamond \text{KW}_f) \geq m+ n -O(\sqrt{m})$ when $m=\omega(\log^2 n),n =\omega(\sqrt{m})$. This is done by a direct proof of composition theorem of a universal relation and a multiplexor in the partially half-duplex model avoiding the xor composition. And the proof works even when the multiplexor only contains a few functions. One crucial ingredient in our proof involves a combinatorial problem of constructing a tree of many leaves and every leaf contains a non-overlapping set of functions. For each leaf, there is a set of inputs such that every function in the leaf takes the same value, that is all functions are restricted. We show how to choose a set of good inputs to effectively restrict these functions to force that the number of functions in each leaf is as small as possible while maintaining the total number of functions in all leaves. This results in a large number of leaves.