### An Additive Combinatorics Approach Relating Rank to Communication ComplexityAn Additive Combinatorics Approach Relating Rank to Communication Complexity

Access Restriction
Subscribed

 Author Ben-Sasson, Eli ♦ Lovett, Shachar ♦ Ron-Zewi, Noga Source ACM Digital Library Content type Text Publisher Association for Computing Machinery (ACM) File Format PDF Copyright Year ©2014 Language English
 Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science Subject Keyword Communication complexity ♦ Additive combinatorics ♦ Approximate duality ♦ Log-rank conjecture ♦ Low-rank matrices ♦ Polynomial Freiman-Ruzsa conjecture Abstract Identifying complexity measures that bound the communication complexity of a {0,1}-valued matrix $\textit{M}$ is one the most fundamental problems in communication complexity. Mehlhorn and Schmidt [1982] were the first to suggest matrix-rank as one such measure. Among other things, they showed log rank F(M) CC(M) rankF2(M), where $\textit{CC}(\textit{M})$ denotes the (deterministic) communication complexity of the function associated with $\textit{M},$ and the rank on the left-hand side is over any field $\textit{F}$ and on the right-hand side it is over the two-element field $\textit{F}2.$ For certain matrices $\textit{M},$ communication complexity equals the right-hand side, and this completely settles the question of “communication complexity vs. $\textit{F}2-rank”.$ Here we reopen this question by pointing out that, when $\textit{M}$ has an additional natural combinatorial property---high discrepancy with respect to distributions which are uniform over submatrices---then communication complexity can be sublinear in $\textit{F}2-rank.$ Assuming the Polynomial Freiman-Ruzsa (PFR) conjecture in additive combinatorics, we show that CC(M) O(rank F2(M)/log rank F2(M)) for any matrix $\textit{M}$ which satisfies this combinatorial property. We also observe that if $\textit{M}$ has low rank over the reals, then it has low rank over $\textit{F}2$ and it additionally satisfies this combinatorial property. As a corollary, our results also give the first (conditional) sublinear bound on communication complexity in terms of rank over the reals, a result improved later by Lovett [2014]. Our proof is based on the study of the “approximate duality conjecture” which was suggested by Ben-Sasson and Zewi [2011] and studied there in connection to the PFR conjecture. First, we improve the bounds on approximate duality assuming the PFR conjecture. Then, we use the approximate duality conjecture (with improved bounds) to get our upper bound on the communication complexity of low-rank matrices. ISSN 00045411 Age Range 18 to 22 years ♦ above 22 year Educational Use Research Education Level UG and PG Learning Resource Type Article Publisher Date 2014-07-01 Publisher Place New York e-ISSN 1557735X Journal Journal of the ACM (JACM) Volume Number 61 Issue Number 4 Page Count 18 Starting Page 1 Ending Page 18

#### Open content in new tab

Source: ACM Digital Library