Kronecker products, low-depth circuits, and matrix rigidity
Josh Alman
Abstract
For a matrix M and a positive integer r, the rank r rigidity of M is the smallest number of entries of M which one must change to make its rank at most r. 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: • For any d > 1, and over any field F, the N × N Walsh-Hadamard transform has a depth-d linear circuit of size O(d • N 1+0.96/d ). This circumvents a known lower bound of Ω(d • N 1+1/d ) for circuits with bounded coefficients over C [Pud00], by using coefficients of magnitude polynomial in N . Our construction also generalizes to linear transformations given by a Kronecker power of any fixed 2 × 2 matrix. • The N × N Walsh-Hadamard transform has a linear circuit of size ≤ (1.81 + o(1))N log 2 N , improving on the bound of ≈ 1.88N log 2 N which one obtains from the standard fast Walsh-Hadamard transform. • 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 and any function f : 0, 1 n → F, the matrix V f ∈ F 2 n ×2 n given by, for any x, y ∈ 0, 1 n , V f [x, y] = f (x ∧ y), and for any field F and any fixed-size matrices M 1 , . . . , M n ∈ F q×q , the Kronecker product This generalizes recent results on non-rigidity, using a simpler approach which avoids needing the polynomial method. • New connections between recursive linear transformations like Fourier and Walsh-Hadamard transforms, and circuits for matrix multiplication.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Cited by top-tier papers7
- Fast, algebraic multivariate multipoint evaluation in small characteristic and applicationsVishwas Bhargava, Sumanta Ghosh, Mrinal Kumar, Chandra Kanta MohapatraSTOC 2022 · 14 citations
- Improving the Leading Constant of Matrix MultiplicationJosh Alman, Hantao YuSODA 2025 · 2 citations
- The Orthogonal Vectors Conjecture and Non-Uniform Circuit Lower BoundsRyan WilliamsFOCS 2024 · 2 citations
- Kronecker Powers, Orthogonal Vectors, and the Asymptotic SpectrumJosh Alman, Baitian LiFOCS 2025 · 2 citations
- Low Rank Matrix Rigidity: Tight Lower Bounds and Hardness AmplificationJosh Alman, Jingxun LiangSTOC 2025 · 2 citations
Builds on1
Related papers
- Smaller Low-Depth Circuits for Kronecker PowersJosh Alman, Yunfeng Guan, Ashwin PadakiSODA 2023 · 1 citation
- Faster Walsh-Hadamard and Discrete Fourier Transforms from Matrix Non-rigidityJosh Alman, Kevin RaoSTOC 2023 · 1 citation
- Inverse-exponential correlation bounds and extremely rigid matrices from a new derandomized XOR lemmaLijie Chen, Xin LyuSTOC 2021 · 1 citation
- An XOR Lemma for Deterministic Communication ComplexitySiddharth Iyer, Anup RaoFOCS 2024 · 5 citations
- On Matrix Multiplication and Polynomial Identity TestingRobert AndrewsFOCS 2022 · 1 citation
