2026-07-24T09:35:42Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:12557 2024-03-12T11:59:05Z ddc:004 open_access

Lower Bounds for Matrix Factorization Kumar, Mrinal Volk, Ben Lee Algebraic Complexity Linear Circuits Matrix Factorization Lower Bounds We study the problem of constructing explicit families of matrices which cannot be expressed as a product of a few sparse matrices. In addition to being a natural mathematical question on its own, this problem appears in various incarnations in computer science; the most significant being in the context of lower bounds for algebraic circuits which compute linear transformations, matrix rigidity and data structure lower bounds. We first show, for every constant d, a deterministic construction in time exp(n^(1-Ω(1/d))) of a family {M_n} of n × n matrices which cannot be expressed as a product M_n = A_1 ⋯ A_d where the total sparsity of A_1,…,A_d is less than n^(1+1/(2d)). In other words, any depth-d linear circuit computing the linear transformation M_n⋅ 𝐱 has size at least n^(1+Ω(1/d)). This improves upon the prior best lower bounds for this problem, which are barely super-linear, and were obtained by a long line of research based on the study of super-concentrators (albeit at the cost of a blow up in the time required to construct these matrices). We then outline an approach for proving improved lower bounds through a certain derandomization problem, and use this approach to prove asymptotically optimal quadratic lower bounds for natural special cases, which generalize many of the common matrix decompositions. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Mrinal Kumar and Ben Lee Volk 2020 Is Part Of LIPIcs, Volume 169, 35th Computational Complexity Conference (CCC 2020) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CCC.2020.5 urn:nbn:de:0030-drops-125578 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2020.5 eng https://creativecommons.org/licenses/by/3.0/legalcode