Kronecker products, low-depth circuits, and matrix rigidity
Josh Alman
摘要
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.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
引用它的顶会 Paper7
- Fast, algebraic multivariate multipoint evaluation in small characteristic and applicationsVishwas Bhargava, Sumanta Ghosh, Mrinal Kumar, Chandra Kanta MohapatraSTOC 2022 · 被引用 14 次
- Improving the Leading Constant of Matrix MultiplicationJosh Alman, Hantao YuSODA 2025 · 被引用 2 次
- The Orthogonal Vectors Conjecture and Non-Uniform Circuit Lower BoundsRyan WilliamsFOCS 2024 · 被引用 2 次
- Kronecker Powers, Orthogonal Vectors, and the Asymptotic SpectrumJosh Alman, Baitian LiFOCS 2025 · 被引用 2 次
- Low Rank Matrix Rigidity: Tight Lower Bounds and Hardness AmplificationJosh Alman, Jingxun LiangSTOC 2025 · 被引用 2 次
它引用的顶会 Paper1
相关 Paper
- Smaller Low-Depth Circuits for Kronecker PowersJosh Alman, Yunfeng Guan, Ashwin PadakiSODA 2023 · 被引用 1 次
- Faster Walsh-Hadamard and Discrete Fourier Transforms from Matrix Non-rigidityJosh Alman, Kevin RaoSTOC 2023 · 被引用 1 次
- Inverse-exponential correlation bounds and extremely rigid matrices from a new derandomized XOR lemmaLijie Chen, Xin LyuSTOC 2021 · 被引用 1 次
- An XOR Lemma for Deterministic Communication ComplexitySiddharth Iyer, Anup RaoFOCS 2024 · 被引用 5 次
- On Matrix Multiplication and Polynomial Identity TestingRobert AndrewsFOCS 2022 · 被引用 1 次
