Abstract
We show the existence of a non-constant gap between the communication complexity of a function and the logarithm of the rank of its input matrix. We consider the following problem: each of two players gets a perfect matching between twon-element sets of vertices. Their goal is to decide whether or not the union of the two matcliings forms a Hamiltonian cycle. We prove:
-
1)
The rank of the input matrix over the reals for this problem is 2O(n).
-
2)
The non-deterministic communication complexity of the problem is Ω(nloglogn).
Our result also supplies a superpolynomial gap between the chromatic number of a graph and the rank of its adjacency matrix. Another conclusion from the second result is an Ω(nloglogn) lower bound for the graph connectivity problem in the non-deterministic case.
We make use of the theory of group representations for the first result. The second result is proved by an information theoretic argument.
Similar content being viewed by others
References
N. Alon, andP. D. Seymour: A counterexample to the rank-coloring conjecture,J. Graph Theory 13 (1989), 523–525.
Hermann Boernner:Representation of Groups, North Holland, 1970.
T. A. Dowling andR. M. Wilson: Whitney number inequalitics for geometric lattices,Proc. Amer. Math. Soc.,47 (1975), 504–512.
W. Fulton, andJ. Harris:Representation Theory, Springer-Verlag, 1991.
A. Hajnal, W. Maass, andG. Turan: On the Communication Complexity of graph Properties,Proc. 20th ACM STOC 1988, 186–191.
L. Lovász: Communication Complexity: A Survey, in:Paths, Flows and VLSIlayout, Springer-Verlag 1990, 235–266.
L. Lovász. andM. Saks: Communication Complexity and Combinatorial Lattice Theory,Journal of Computer and System Sciences,47 (1993), 322–349.
K. Mehlhorn, andE. M. Schmidt: Las Vegas is Better than Determinism in VLSI and Distributed Computing,Proc. 14th ACM STOC 1982, 330–337.
N. Nisan, andA. Wigderson: On Rank vs. Communication Complexity,Proc. 35th IEEE FOCS 1994 831–836;Combinatorica,15(4) (1995), 557–565.
A. Razborov: The Gap between the Chromatic Number of a Graph and the Rank of its Adjacency Matrix is Superlinear,Discrete Mathematics,108 (1992), 393–396.
Bruce E. Sagan:The Symmetric Group, Brooks & Cole, 1991.
Andrew C. Yao: Some Complexity Questions Related to Distributive Computing,Proc. 11th ACM STOC 1979, 209–213.
Author information
Authors and Affiliations
Additional information
A preliminary version of the paper appeared in FOCS 93
This research was done while the second author was visiting DIMACS at Princeton University. His work was supported by the National Operations Research Network in the Netherlands (LNMB).
Rights and permissions
About this article
Cite this article
Raz, R., Spieker, B. On the “log rank”-conjecture in communication complexity. Combinatorica 15, 567–588 (1995). https://doi.org/10.1007/BF01192528
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01192528