The log-rank conjecture for deterministic communication complexity

From papers

Let f:X×Y{0,1}f:X\times Y\to\{0,1\} be a Boolean function, and let CCdet(f)\mathrm{CC}^{\mathrm{det}}(f) denote its deterministic communication complexity. Let MfM_f be its communication matrix and write rank(f)=rank(Mf)\mathrm{rank}(f)=\mathrm{rank}(M_f) over the reals. The log-rank conjecture. There exists a universal constant C>0C>0 such that, for every Boolean function ff,

CCdet(f)C(logrank(f))C.\mathrm{CC}^{\mathrm{det}}(f)\le C(\log\mathrm{rank}(f))^C.

The rank lower bound gives the converse inequality up to the choice of logarithm, and the conjecture asks whether this lower bound is tight up to polynomial factors. It was proposed by Lovász and Saks and remains a fundamental open problem in communication complexity.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Shachar Lovett, “Recent advances on the log-rank conjecture in communication complexity”, arXiv:1403.8106 (2014).

Solutions 0

No solutions have been posted yet.