Hard Submatrices for Non-Negative Rank and Communication Complexity

Author Pavel Hrubeš



PDF
Thumbnail PDF

File

LIPIcs.CCC.2024.13.pdf
  • Filesize: 0.69 MB
  • 12 pages

Document Identifiers

Author Details

Pavel Hrubeš
  • Institute of Mathematics of ASCR, Prague, Czech Republic

Acknowledgements

The author wants to thank Anup Rao for useful comments.

Cite AsGet BibTex

Pavel Hrubeš. Hard Submatrices for Non-Negative Rank and Communication Complexity. In 39th Computational Complexity Conference (CCC 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 300, pp. 13:1-13:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.CCC.2024.13

Abstract

Given a non-negative real matrix M of non-negative rank at least r, can we witness this fact by a small submatrix of M? While Moitra (SIAM J. Comput. 2013) proved that this cannot be achieved exactly, we show that such a witnessing is possible approximately: an m×n matrix of non-negative rank r always contains a submatrix with at most r³ rows and columns with non-negative rank at least Ω(r/(log n log m)). A similar result is proved for the 1-partition number of a Boolean matrix and, consequently, also for its two-player deterministic communication complexity. Tightness of the latter estimate is closely related to the log-rank conjecture of Lovász and Saks.

Subject Classification

ACM Subject Classification
  • Theory of computation
Keywords
  • Non-negative rank
  • communication complexity
  • extension complexity

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. S. Basu, R. Pollack, and M.F. Roy. Algorithms in real algebraic geometry. Springer-Verlag, 2006. Google Scholar
  2. G. Braun, S. Fiorini, S. Pokutta, and D. Steuer. Approximation limits of linear programs (beyond hierarchies). Math. of Operations Research, 40(3), 2015. Google Scholar
  3. S. Chandran, D. Issac, and A. Karrenbauer. On the parameterized complexity of biclique cover and partition. In International Symposium on Parameterized and Exact Computation, 2016. Google Scholar
  4. P. Erdös. Problems and results in combinatorial analysis and graph theory. Annals of Discrete Mathematics, 38:81-92, 1988. Google Scholar
  5. S. Fiorini, S. Massar, S. Pokutta, H. R. Tiwary, and R. de Wolf. Linear vs. semidefinite extended formulations: exponential separation and strong lower bounds. In Symposium on the Theory of Computing, 2011. Google Scholar
  6. M. Göös, I. Newman, A. Riazanov, and D. Sokolov. Hardness condensation by restriction. ECCC, 2023. Google Scholar
  7. P. Hrubeš. On ε-sensitive monotone computations. Computational Complexity, 29(2), 2020. Google Scholar
  8. P. Hrubeš. On the complexity of computing a random Boolean function over the reals. Theory of Computing, 16(9):1-12, 2020. Google Scholar
  9. P. Hrubeš and N. Talebanfard. On the extension complexity of polytopes separating subsets of the Boolean cube. Disc. and Comp. Geom., 70(1), 2022. Google Scholar
  10. R. Impagliazzo. Hard-core distributions for somewhat hard problems. In Proceedings of IEEE 36th Annual Foundations of Computer Science, pages 538-545, 1995. Google Scholar
  11. Eyal Kushilevitz and Noam Nisan. Communication Complexity. Cambridge University Press, 1996. Google Scholar
  12. Matthew Kwan, Lisa Sauermann, and Yufei Zhao. Extension complexity of low-dimensional polytopes. Transactions of the American Mathematical Society, 375(6), 2022. Google Scholar
  13. Richard Lipton and Neal Young. Simple strategies for large zero-sum games with applications to complexity theory. CoRR, cs.CC/0205035, May 2002. URL: https://doi.org/10.1145/195058.195447.
  14. L. Lovász and M. Saks. Lattices, mobius functions and communications complexity. In 29th Annual Symposium on Foundations of Computer Science (FOCS 1988), pages 81-90, 1988. Google Scholar
  15. Ankur Moitra. An almost optimal algorithm for computing nonnegative rank. In SIAM J. Comput., 2013. URL: https://api.semanticscholar.org/CorpusID:1920044.
  16. Anup Rao and Amir Yehudayoff. Communication Complexity: and Applications. Cambridge University Press, 2020. Google Scholar
  17. V. Rödl and R. A. Duke. On graphs with small subgraphs of large chromatic number. Graphs and Combinatorics, 1:91-96, 1985. Google Scholar
  18. Thomas Rothvoß. Some 0/1 polytopes need exponential size extended formulations. CoRR, abs/1105.0036, 2011. URL: https://arxiv.org/abs/1105.0036.
  19. Y. Shitov. Sublinear extension of polygons. arXiv, 2014. URL: https://arxiv.org/abs/1412.0728.
  20. Mihalis Yannakakis. Expressing combinatorial optimization problems by linear programs. Journal of Computer and System Sciences, 43(3):441-466, 1991. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail