A direct proof for Lovett's bound on the communication complexity of low rank matrices

The log-rank conjecture in communication complexity suggests that the deterministic communication complexity of any Boolean rank-r function is bounded by polylog(r). Recently, major progress was made by Lovett who proved that the communication complexity is bounded by O(r^1/2 * log r). Lovett's proof is based on known estimates on the discrepancy of low-rank matrices. We give a simple, direct proof based on a hyperplane rounding argument that in our opinion sheds more light on the reason why a root factor suffices and what is necessary to improve on this factor.

[1]  A. Razborov Communication Complexity , 2011 .

[2]  Noam Nisan,et al.  On rank vs. communication complexity , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[3]  Shachar Lovett,et al.  An Additive Combinatorics Approach Relating Rank to Communication Complexity , 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science.

[4]  Shachar Lovett,et al.  En Route to the Log-Rank Conjecture: New Reductions and Equivalent Formulations , 2014, ICALP.

[5]  K. Ball An Elementary Introduction to Modern Convex Geometry , 1997 .

[6]  Shachar Lovett,et al.  Communication is bounded by root of rank , 2013, STOC.

[7]  Michael E. Saks,et al.  Lattices, mobius functions and communications complexity , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[8]  F. John Extremum Problems with Inequalities as Subsidiary Conditions , 2014 .

[9]  László Lovász,et al.  The rank and size of graphs , 1996, J. Graph Theory.

[10]  Andrei Kotlov Rank and chromatic number of a graph , 1997, J. Graph Theory.

[11]  Nathan Linial,et al.  Complexity measures of sign matrices , 2007, Comb..