Improved upper bounds for the rigidity of Kronecker products

Abstract

The rigidity of a matrix A for target rank r is the minimum number of entries of A that need to be changed in order to obtain a matrix of rank at most r. Matrix rigidity was introduced by Valiant in 1977 as a tool to prove circuit lower bounds for linear functions and since then this notion has also found applications in other areas of complexity theory.Recently (arXiv 2021), Alman proved that for any field F, d ≥ 2 and arbitrary matricesIn this note we improve this result in two directions. First, we do not require the matrices M i to have equal size. Second, we reduce 1/γ from exponential in d to roughly d 3/2 /ε 2 (where d is the maximum size of the matrices), and to nearly linear (roughly d/ε 2 ) for matrices M i of sizes within a constant factor of each other.For the case of matrices of equal size, our bound matches the bound given by Dvir and Liu (Theory of Computing, 2020 ) for the rigidity of generalized Walsh-Hadamard matrices (Kronecker powers of DFT matrices), and improves their bounds for DFT matrices of abelian groups that are direct products of small groups. * Partially supported by advisor László Babai's NSF grant CCF 1718902. All statements made are solely due to the author and have not been endorsed by the NSF.Theorem 1.3. Given d ≥ 2 and ε > 0, there exists γ = Ω