Abstract
We study the monotone circuit complexity of the so called semi-disjoint bilinear forms over the Boolean semi-ring, in particular the n-dimensional Boolean vector convolution. Besides the size of a monotone Boolean circuit, we consider also the and-depth of the circuit, i.e., the maximum number of and-gates on a path to an output gate, and the monom number of the circuit which is the number of distinct subsets of input variables induced by monoms at the output gates. We show that any monotone Boolean circuit of \(\epsilon \log n\)-bounded and-depth computing a Boolean semi-disjoint form with 2n input variables and q prime implicants has \(\varOmega (q/n^{2\epsilon })\) size. As a corollary, we obtain the \(\varOmega (n^{2-2\epsilon })\) lower bound on the size of any monotone Boolean circuit of so bounded and-depth computing the n-dimensional Boolean vector convolution. Furthermore, we show that any monotone Boolean circuit of \(2^{n^{\epsilon }}\)-bounded monom number, computing a Boolean semi-disjoint form on 2n variables, where each variable occurs in p prime implicants, has \(\varOmega (n^{1-2\epsilon }p)\) size. As a corollary, we obtain the \(\varOmega (n^{2-2\epsilon })\) lower bound on the size of any monotone Boolean circuit of \(2^{n^{\epsilon }}\)-bounded monom number computing the n-dimensional Boolean vector convolution. Finally, we demonstrate that in any monotone Boolean circuit for a semi-disjoint bilinear form with q prime implicants that has size substantially smaller than q, the majority of the terms at the output gates representing prime implicants have to have very large length (i.e., the number of variable occurrences). In particular, in any monotone circuit for the n-dimensional Boolean vector convolution of size \(o(n^{2-4\epsilon }/\log n)\) almost all prime implicants of the convolution have to be represented by terms at the circuit output gates of length at least \(n^{\epsilon }\).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Alon, N., Boppana, R.B.: The monotone circuit complexity of Boolean functions. Combinatorica 7(1), 1–22 (1987)
Andreev, A.E.: On one method of obtaining constructive lower bounds for the monotone circuit size. Algebra Logics 26(1), 3–26 (1987)
Blum, N.: On negations in boolean networks. In: Albers, S., Alt, H., Näher, S. (eds.) Efficient Algorithms. LNCS, vol. 5760, pp. 18–29. Springer, Heidelberg (2009). doi:10.1007/978-3-642-03456-5_2
Blum, N.: An \(\Omega (n^{4/3})\) lower bound on the monotone network complexity of the n-th degree convolution. Theor. Comput. Sci. 36, 59–69 (1985)
Fisher, M.J., Paterson, M.S.: String-matching and other products. In: Proceedings of the 7th SIAM-AMS Complexity of Computation, pp. 113–125 (1974)
Lamagna, E.A.: The complexity of monotone networks for certain bilinear forms, routing problems, sorting, and merging. IEEE Trans. Comput. c-28(10), 773–782 (1979)
Le Gall, F.: Powers of tensors and fast matrix multiplication. In: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, pp. 296–303 (2014)
Mehlhorn, K., Galil, Z.: Monotone switching circuits and boolean matrix product. Computing 16, 99–111 (1976)
Paterson, M.: Complexity of monotone networks for boolean matrix product. Theoret. Comput. Sci. 1(1), 13–20 (1975)
Pippenger, N., Valiant, L.G.: Shifting graphs and their applications. J. ACM 23(3), 423–432 (1976)
Pratt, R.: The power of negative thinking in multiplying boolean matrices. SIAM J. Comput. 4(3), 326–330 (1975)
Raz, R.: On the complexity of matrix product. In: Proceedings of the STOC 2002, pp. 144–151 (2002)
Razborov, A.A.: Lower bounds on the monotone complexity of some boolean functions. Doklady Akademii Nauk 281(4), 798–801 (1985)
Schnorr, C.-P.: A lower bound on the number of additions in monotone computations. Theor. Comput. Sci. 2(3), 305–315 (1976)
Strassen, V.: Gaussian elimination is not optimal. Numer. Math. 13, 354–356 (1969)
Wegener, I.: The Complexity of Boolean Functions. Wiley-Teubner Series in Computer Science, New York (1987)
Wegener, I.: Boolean functions whose monotone complexity is of size \(n^2/\log n\). Theor. Comput. Sci. 21, 213–224 (1982)
Weiss, J.: An \(n^{3/2}\) lower bound on the monotone network complexity of the boolean convolution. Inf. Control 59, 184–188 (1983)
Vassilevska Williams, V.: Multiplying matrices faster Coppersmith-Winograd. In: Proceedings of the 44th Annual ACM Symposium on Theory of Computing (STOC), pp. 887–898 (2012)
Zwick, U.: All pairs shortest paths using bridging sets and rectangular matrix multiplication. J. ACM 49(3), 289–317 (2002)
Acknowledgments
The author is grateful to Mia Persson for noting that the problem of deriving a quadtratic or almost quadratic lower bound on the monotone cicuit complexity of Boolean vector convolution is still open, and to Norbert Blum and Mike Paterson for valuable comments on a very preliminary version of this paper. This research has been supported in part by Swedish Research Council grant 621-2011-6179.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Lingas, A. (2017). Towards an Almost Quadratic Lower Bound on the Monotone Circuit Complexity of the Boolean Convolution. In: Gopal, T., Jäger , G., Steila, S. (eds) Theory and Applications of Models of Computation. TAMC 2017. Lecture Notes in Computer Science(), vol 10185. Springer, Cham. https://doi.org/10.1007/978-3-319-55911-7_29
Download citation
DOI: https://doi.org/10.1007/978-3-319-55911-7_29
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-55910-0
Online ISBN: 978-3-319-55911-7
eBook Packages: Computer ScienceComputer Science (R0)