Matrix rigidity and the Croot-Lev-Pach lemma

08/04/2017
by   Zeev Dvir, et al.
0

Matrix rigidity is a notion put forth by Valiant as a means for proving arithmetic circuit lower bounds. A matrix is rigid if it is far, in Hamming distance, from any low rank matrix. Despite decades of efforts, no explicit matrix rigid enough to carry out Valiant's plan has been found. Recently, Alman and Williams showed, contrary to common belief, that the 2^n × 2^n Hadamard matrix could not be used for Valiant's program as it is not sufficiently rigid. In this note we observe a similar `non rigidity' phenomena for any q^n × q^n matrix M of the form M(x,y) = f(x+y), where f:F_q^n → F_q is any function and F_q is a fixed finite field of q elements (n goes to infinity). The theorem follows almost immediately from a recent lemma of Croot, Lev and Pach which is also the main ingredient in the recent solution of the cap-set problem.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/19/2019

Fourier and Circulant Matrices are Not Rigid

The concept of matrix rigidity was first introduced by Valiant in [Val77...
research
09/20/2020

Recent Progress on Matrix Rigidity – A Survey

The concept of matrix rigidity was introduced by Valiant(independently b...
research
03/15/2018

Rigid models of Presburger arithmetic

We present a description of rigid models of Presburger arithmetic (i.e.,...
research
10/25/2019

Equivalence of Systematic Linear Data Structures and Matrix Rigidity

Recently, Dvir, Golovnev, and Weinstein have shown that sufficiently str...
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/06/2020

Rigid Matrices From Rectangular PCPs

We introduce a variant of PCPs, that we refer to as rectangular PCPs, wh...
research
05/29/2018

Advancement of MSA-technique for stiffness modeling of serial and parallel robotic manipulators

The paper presents advancement of the matrix structural analysis techniq...

Please sign up or login with your details

Forgot password? Click here to reset