Kronecker Products, Low-Depth Circuits, and Matrix Rigidity

02/24/2021
โˆ™
by   Josh Alman, et al.
โˆ™
0
โˆ™

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 ๐”ฝ, 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 โ„‚ by Pudlรกk (2000), 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.88 N 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 ๐”ฝ and any function f : {0,1}^n โ†’๐”ฝ, the matrix V_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 ๐”ฝ and any fixed-size matrices M_1, โ€ฆ, M_n โˆˆ๐”ฝ^q ร— q, the Kronecker product M_1 โŠ— M_2 โŠ—โ‹ฏโŠ— M_n. This generalizes recent results on non-rigidity, using a simpler approach which avoids needing the polynomial method.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
โˆ™ 11/09/2022

Smaller Low-Depth Circuits for Kronecker Powers

We give new, smaller constructions of constant-depth linear circuits for...
research
โˆ™ 03/09/2021

Improved upper bounds for the rigidity of Kronecker products

The rigidity of a matrix A for target rank r is the minimum number of en...
research
โˆ™ 03/29/2020

A Polynomial Degree Bound on Defining Equations of Non-rigid Matrices and Small Linear Circuits

We show that there is a defining equation of degree at most ๐—‰๐—ˆ๐—…๐—’(n) for ...
research
โˆ™ 05/17/2022

On Algebraic Constructions of Neural Networks with Small Weights

Neural gates compute functions based on weighted sums of the input varia...
research
โˆ™ 12/07/2015

Gauss quadrature for matrix inverse forms with applications

We present a framework for accelerating a spectrum of machine learning a...
research
โˆ™ 04/02/2019

Lower Bounds for Matrix Factorization

We study the problem of constructing explicit families of matrices which...
research
โˆ™ 02/19/2019

Fourier and Circulant Matrices are Not Rigid

The concept of matrix rigidity was first introduced by Valiant in [Val77...

Please sign up or login with your details

Forgot password? Click here to reset