Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article

An Additive Combinatorics Approach Relating Rank to Communication Complexity

Published: 01 July 2014 Publication History

Abstract

Identifying complexity measures that bound the communication complexity of a {0,1}-valued matrix 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 CC(M) denotes the (deterministic) communication complexity of the function associated with M, and the rank on the left-hand side is over any field F and on the right-hand side it is over the two-element field F2. For certain matrices M, communication complexity equals the right-hand side, and this completely settles the question of “communication complexity vs. F2-rank”.
Here we reopen this question by pointing out that, when 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 F2-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 M which satisfies this combinatorial property.
We also observe that if M has low rank over the reals, then it has low rank over F2 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.

References

[1]
László Babai, Peter Frankl, and Janos Simon. 1986. Complexity classes in communication complexity theory (preliminary version). In Proceedings of the 27th Annual Symposium on Foundations of Computer Science (FOCS). IEEE Computer Society, 337--347.
[2]
Antal Balog and Endre Szemerédi. 1994. A statistical theorem of set addition. Combinatorica 14, 3, 263--268.
[3]
Eli Ben-Sasson and Noga Ron-Zewi. 2012. From affine to two-source extractors via approximate duality. In Electronic Colloquium on Computational Complexity (ECCC). http://eccc.hpi-web.de/report/2010/144/ (Revision 1 (2012)).
[4]
Eli Ben-Sasson and Noga Zewi. 2011. From affine to two-source extractors via approximate duality. In Proceedings of the 43rd Annual ACM Symposium on Theory of Computing (STOC). ACM, 177--186.
[5]
Abhishek Bhowmick, Zeev Dvir, and Shachar Lovett. 2013. Lower bounds on vector matching codes. In Proceedings of the 47rd ACM Symposium on Theory of Computing (STOC). ACM, 823--832.
[6]
Benny Chor and Oded Goldreich. 1988. Unbiased bits from sources of weak randomness and probabilistic communication complexity. SIAM J. Comput. 17, 2, 230--261.
[7]
Ernie Croot and Olof Sisask. 2010. A probabilistic technique for finding almost-periods of convolutions. Geomet. Funct. Anal. 20, 6, 1367--1396.
[8]
Chaim Even-Zohar. 2012. On sums of generating sets in (z2)n. Combinat. Probab. Comput. 21, 6, 916--941.
[9]
Siemion Fajtlowicz. 1988. On conjectures of graffiti. Disc. Math. 72, 1--3, 113--118.
[10]
William Timothy Gowers. 1998. A new proof of Szemerèdi’s theorem for arithmetic progressions of length four. Geomet. Funct. Anal. 8, 3, 529--551.
[11]
Ben Green. 2005. Finite field models in additive combinatorics. In London Mathematical Society Lecture Note Series, Vol. 324. Cambridge University Press.
[12]
Ben Green and Imre Z. Ruzsa. 2006. Sets with small sumset and rectification. Bull. Lond. Math. Soc. 1, 38, 43--52.
[13]
Ben Green and Terence Tao. 2009. Freiman’s theorem in finite fields via extremal set theory. Combinat. Probab. Comput. 18, 3, 335--355.
[14]
Ben Green and Terence Tao. 2010. An equivalence between inverse sumset theorems and inverse conjectures for the U3 norm. Math. Proc. Cambridge Philos. Soc. 149, 1, 1--19.
[15]
Andrew Kotlov. 1997. Rank and chromatic number of a graph. J. Graph Theory 26, 1, 1--8.
[16]
Andrew Kotlov and László Lovász. 1996. The rank and size of graphs. J. Graph Theory 23, 2, 185--189.
[17]
Eyal Kushilevitz and Noam Nisan. 1997. Communication Complexity. Cambridge University Press, New York.
[18]
Nati Linial, Shahar Mendelson, Gideon Schechtman, and Adi Shraibman. 2007. Complexity measures of sign matrices. Combinatorica 27, 4, 439--463.
[19]
Nathan Linial and Adi Shraibman. 2009. Learning complexity vs communication complexity. Combinat. Probab. Comput. 18, 1--2, 227--245.
[20]
László Lovász and Michael E. Saks. 1988. Lattices, Möbius functions and communication complexity. In Proceedings of the 29th Annual Symposium on Foundations of Computer Science (FOCS). IEEE Computer Society, 81--90.
[21]
Shachar Lovett. 2012. Equivalence of polynomial conjectures in additive combinatorics. Combinatorica 32, 5, 607--618.
[22]
Shachar Lovett. 2013. Additive combinatorics and its applications in theoretical computer science. http://cseweb.ucsd.edu/~slovett/files/addcomb-survey.pdf.
[23]
Shachar Lovett. 2014. Communication is bounded by root of rank. In Proceedings of the 46th ACM Symposium on Theory of Computing (STOC’14).
[24]
Kurt Mehlhorn and Erik M. Schmidt. 1982. Las Vegas is better than determinism in VLSI and distributed computing (Extended Abstract). In Proceedings of the 14th Annual ACM Symposium on Theory of Computing (STOC). ACM Press, 330--337.
[25]
Noam Nisan and Avi Wigderson. 1995. On rank vs. communication complexity. Combinatorica 15, 4, 557--565.
[26]
Imre Z. Ruzsa. 1999. An analog of Freiman’s theorem in groups. Astèrique 258, 323--326.
[27]
Alex Samorodnitsky. 2007. Low-degree tests at large distances. In Proceedings of the 39th Annual ACM Symposium on Theory of Computing (STOC). ACM, 506--515.
[28]
Tom Sanders. 2008. A note on Freiman’s theorem in vector spaces. Combinat. Probab. Comput. 17, 2, 297--305.
[29]
Tom Sanders. 2012. On the Bogolyubov-Ruzsa Lemma. Anal. PDE 5, 3, 627--655.
[30]
Terence Tao and Van Vu. 2006. Additive Combinatorics. Cambridge University Press, Cambridge.
[31]
C. Van Nuffelen. 1976. A bound for the chromatic number of a graph. Amer. Math. Monthly 83, 265--266.

Cited By

View all

Index Terms

  1. An Additive Combinatorics Approach Relating Rank to Communication Complexity

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image Journal of the ACM
      Journal of the ACM  Volume 61, Issue 4
      July 2014
      259 pages
      ISSN:0004-5411
      EISSN:1557-735X
      DOI:10.1145/2660259
      Issue’s Table of Contents
      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 01 July 2014
      Accepted: 01 April 2014
      Revised: 01 April 2014
      Received: 01 November 2012
      Published in JACM Volume 61, Issue 4

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. Communication complexity
      2. additive combinatorics
      3. approximate duality
      4. log-rank conjecture
      5. low-rank matrices
      6. polynomial Freiman-Ruzsa conjecture

      Qualifiers

      • Research-article
      • Research
      • Refereed

      Funding Sources

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)21
      • Downloads (Last 6 weeks)3
      Reflects downloads up to 01 Jan 2025

      Other Metrics

      Citations

      Cited By

      View all
      • (2024)Upper Bounds on Communication in Terms of Approximate RankTheory of Computing Systems10.1007/s00224-023-10158-468:5(1109-1123)Online publication date: 1-Oct-2024
      • (2023)A generalization of a theorem of Rothschild and van LintTheoretical Computer Science10.1016/j.tcs.2023.113802955(113802)Online publication date: Apr-2023
      • (2021)A Generalization of a Theorem of Rothschild and van LintComputer Science – Theory and Applications10.1007/978-3-030-79416-3_28(460-483)Online publication date: 28-Jun-2021
      • (2016) Revisiting the Sanders-Bogolyubov-Ruzsa theorem in Fp n and its application to non-malleable codes 2016 IEEE International Symposium on Information Theory (ISIT)10.1109/ISIT.2016.7541513(1322-1326)Online publication date: Jul-2016
      • (2016)On Public Key Encryption from Noisy CodewordsProceedings, Part II, of the 19th IACR International Conference on Public-Key Cryptography --- PKC 2016 - Volume 961510.1007/978-3-662-49387-8_16(417-446)Online publication date: 6-Mar-2016

      View Options

      Login options

      Full Access

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media