Spiky Rank and Its Applications to Rigidity and Circuits
Authors: Lianna Hambardzumyan, Konstantin Myasnikov, Artur Riazanov, Morgan Shirley, Adi Shraibman
Organizations: The University of Copenhagen, Denmark. · EPFL, Switzerland. · Lund University, Sweden. · School of Computer Science, The Academic College of Tel Aviv-Yaffo, Israel
We introduce spiky rank, a new matrix parameter that enhances blocky rank by combining the combinatorial structure of the latter with linear-algebraic flexibility. A spiky matrix is block-structured with diagonal blocks that are arbitrary rank-one matrices, and the spiky rank of a matrix is the minimum number of such matrices required to express it as a sum. This measure extends blocky rank to real matrices and is more robust for problems with both combinatorial and algebraic character. Our conceptual contribution is as follows: we propose spiky rank as a well-behaved candidate matrix complexity measure and demonstrate its potential through applications. We show that large spiky rank implies high matrix rigidity, and that spiky rank lower bounds yield lower bounds for depth-2 ReLU circuits, the basic building blocks of neural networks. On the technical side, we establish tight bounds for random matrices and develop a framework for explicit lower bounds, applying it to Hamming distance matrices and spectral expanders. Finally, we relate spiky rank to other matrix parameters, including blocky rank, sparsity, and the γ2-norm.
Figures & tables
Figure 1: A spiky matrix is the entrywise product of a blocky matrix and a rank-one matrix.
Figure 2: The identity matrix In (left) and the diagonal matrix Dn (right).
Figure 3: The picture illustrates the upper and lower bounds for spiky rank: above the scale there are known lower bounds and upper bounds . Below the scale are consequences of the corresponding lower bounds. The dashed part of the scale represents the state of the art of explicit lower bounds. Here N is always the size of the matrix, so for HD1n , \textscDisjn , and IPn , N=2n .
Figure 5: The picture illustrates the process for v=(1100) , so P={1,2} and Z={3,4} . Here the green matrices illustrate R1 and R2 , the red matrices are R3 and R4 , the hatched area in the right square is the support of the matrix M↑v .