English

Kronecker Products, Low-Depth Circuits, and Matrix Rigidity

Data Structures and Algorithms 2021-02-25 v1 Computational Complexity Combinatorics

Abstract

For a matrix MM and a positive integer rr, the rank rr rigidity of MM is the smallest number of entries of MM which one must change to make its rank at most rr. There are many known applications of rigidity lower bounds to a variety of areas in complexity theory, but fewer known applications of rigidity upper bounds. In this paper, we use rigidity upper bounds to prove new upper bounds in a few different models of computation. Our results include: \bullet For any d>1d> 1, and over any field F\mathbb{F}, the N×NN \times N Walsh-Hadamard transform has a depth-dd linear circuit of size O(dN1+0.96/d)O(d \cdot N^{1 + 0.96/d}). This circumvents a known lower bound of Ω(dN1+1/d)\Omega(d \cdot N^{1 + 1/d}) for circuits with bounded coefficients over C\mathbb{C} by Pudl\'ak (2000), by using coefficients of magnitude polynomial in NN. Our construction also generalizes to linear transformations given by a Kronecker power of any fixed 2×22 \times 2 matrix. \bullet The N×NN \times N Walsh-Hadamard transform has a linear circuit of size (1.81+o(1))Nlog2N\leq (1.81 + o(1)) N \log_2 N, improving on the bound of 1.88Nlog2N\approx 1.88 N \log_2 N which one obtains from the standard fast Walsh-Hadamard transform. \bullet A new rigidity upper bound, showing that the following classes of matrices are not rigid enough to prove circuit lower bounds using Valiant's approach: - for any field F\mathbb{F} and any function f:{0,1}nFf : \{0,1\}^n \to \mathbb{F}, the matrix VfF2n×2nV_f \in \mathbb{F}^{2^n \times 2^n} given by, for any x,y{0,1}nx,y \in \{0,1\}^n, Vf[x,y]=f(xy)V_f[x,y] = f(x \wedge y), and - for any field F\mathbb{F} and any fixed-size matrices M1,,MnFq×qM_1, \ldots, M_n \in \mathbb{F}^{q \times q}, the Kronecker product M1M2MnM_1 \otimes M_2 \otimes \cdots \otimes M_n. This generalizes recent results on non-rigidity, using a simpler approach which avoids needing the polynomial method.

Cite

@article{arxiv.2102.11992,
  title  = {Kronecker Products, Low-Depth Circuits, and Matrix Rigidity},
  author = {Josh Alman},
  journal= {arXiv preprint arXiv:2102.11992},
  year   = {2021}
}

Comments

40 pages, to appear in STOC 2021

R2 v1 2026-06-23T23:27:22.480Z