English

A Note on the LogRank Conjecture in Communication Complexity

Computational Complexity 2023-11-07 v2 Discrete Mathematics

Abstract

The LogRank conjecture of Lov\'asz and Saks from 1988 is the most famous open problem in the communication complexity theory. The statement is as follows: Suppose that two players intend to compute a Boolean function f(x,y)f(x,y) when xx is known for the first and yy for the second player, and they may send and receive messages encoded with bits, then they can compute f(x,y)f(x,y) with exchanging (log\rank(Mf))c(\log \rank (M_f))^c bits, where MfM_f is a Boolean matrix, determined by function ff. The problem is widely open and very popular, and it has resisted numerous attacks in the last 35 years. The best upper bound is still exponential in the bound of the conjecture. Unfortunately, we cannot prove the conjecture, but we present a communication protocol with (log\rank(Mf))c(\log \rank (M_f))^c bits, which computes a -- somewhat -- related quantity to f(x,y)f(x,y). The relation is characterized by a representation of low-degree, multi-linear polynomials modulo composite numbers. This result of ours may help to settle this long-time open conjecture.

Cite

@article{arxiv.2310.03355,
  title  = {A Note on the LogRank Conjecture in Communication Complexity},
  author = {Vince Grolmusz},
  journal= {arXiv preprint arXiv:2310.03355},
  year   = {2023}
}

Comments

Some typos were corrected in this version

R2 v1 2026-06-28T12:41:13.369Z