Abstract
We consider combinatorial properties of Boolean matrices and their application to two-party communication complexity. Let A be a binary n x n matrix and let K be a field. Rectangles are sets of entries defined by collections of rows and columns. We denote by rankB(A) (rankK(A), resp.) the least size of a family of rectangles whose union (sum, resp.) equals A.
We prove the following:
-
- With probability approaching 1, for a random Boolean matrix A the following holds: rankb≥n(1−o(1)).
-
- For finite K and fixed ε>O the following holds: If A is a Boolean matrix with rank B (A≤t) then there is some matrix \( A' \leqslant A \) such that \( A - A' \) has at most \( \varepsilon \cdot n^2 \) non-zero entries and rank K \( \left( {A'} \right) \leqslant t^{O\left( 1 \right)} \).
As applications we mention some improvements of earlier results: (1) With probability approaching 1 a random n-variable Boolean function has nondeterministic communication complexity n, (2) functions with nondeterministic communication complexity l can be approximated by functions with parity communication complexity O(l). The latter complements a result saying that nondeterministic and parity communication protocols cannot efficiently simulate each other. Another consequence is: (3) matrices with small Boolean rank have small matrix rigidity over any field.
Partially supported by DFG grant Me 1077/14-1
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Stephen A. Cook. A taxonomy of problems with fast parallel algorithms. Information and Control, 64:2–22, 1985.
Carsten Damm. On Boolean vs. modular arithmetic for circuits and communication protocols. Forschungsbericht 98-06, Universität Trier, 1998.
Carsten Damm, Matthias Krause, Christoph Meinel, and Stephan Waack. Separating oblivious linear length MOD p -branching program classes. Journal of Information Processing and Cybernetics EIK, 30:63–75, 1994.
Carsten Damm, Matthias Krause, Christoph Meinel, and Stephan Waack. On relations between counting communication complexity classes. Journal of computer and System Sciences, (to appear), 1998.
M. Dietzfelbinger, J. Hromkovič, and G. Schnitger. A comparison of two lower bound methods for communication complexity. In Proc. of MFCS'94, volume 841 of Lecture Notes in Computer Science, pages 326–336. Springer-Verlag, 1994.
P. Erdős and J. Spencer. Probabilistic Methods in Combinatorics. Academic Press, 1974.
W. Feller. An Introduction to Probability Theory and its Applications, Vol.II. Wiley, 1971.
J. Friedman. A note on matrix rigidity. Combinatorica, 13:235–239, 1993.
Ki Hang Kim. Boolean Matrix Theory and Applications. Marcel Dekker, New York, 1982.
J. Komlós. On the determinant of (0,1)-matrices. Studia Sci. Math. Hungar., 2:7–21, 1965.
Matthias Krause and Stephan Waack. Variation ranks of communication matrices and lower bounds for depth-two circuits having nearly symmetric gates with unbounded fan-in. Mathematical Systems Theory, 28:553–564, 1995.
E. Kushilevitz and Noam Nisan. Communication Complexity. Cambridge University Press, 1996.
Satyanarayana V. Lokam. Spectral methods for matrix rigidity with applications to size-depth tradeoffs and communication complexity. In FOCS, pages 6–15, 1995.
George Markowsky. Ordering d-classes and computing schein rank is hard. Semigroup Forum, 44:373–375, 1992.
A. Razborov. On rigid matrices. manuscript, June 1989.
Alexander A. Razborov. Lower bounds for the size of bounded depth with basis {∧, ⊕}. Mathematical Notes of the Academy of Sciences of the USSR, 41:598–607, 1987.
Roman Smolensky. Algebraic methods in the theory of lower bounds for Boolean circuit complexity. In 19th ACM STOC, pages 77–82, 1987.
Jun Tarui. Probabilistic polynomials, AC 0 functions, and the polynomial-time hierarchy. Theoretical Computer Science, 113:167–183, 1993.
Leslie Valiant. The complexity of computing the permanent. TCS, 8:189–201, 1979.
Andy Yao. Some complexity questions related to distributive computing. In Proceedings of the 11th Annual ACM Symposium on the Theory of Computing, 1979.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Damm, C., Kim, K.H., Roush, F. (1999). On Covering and Rank Problems for Boolean Matrices and Their Applications. In: Asano, T., Imai, H., Lee, D.T., Nakano, Si., Tokuyama, T. (eds) Computing and Combinatorics. COCOON 1999. Lecture Notes in Computer Science, vol 1627. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48686-0_12
Download citation
DOI: https://doi.org/10.1007/3-540-48686-0_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66200-6
Online ISBN: 978-3-540-48686-2
eBook Packages: Springer Book Archive