TY - GEN
T1 - Matrix rigidity of random Toeplitz matrices
AU - Goldreich, Oded
AU - Tal, Avishay
PY - 2016/6/19
Y1 - 2016/6/19
N2 - We prove that random n-by-n Toeplitz (alternatively Hankel) matrices over F2 have rigidity Ω(n3/r2log n) for rank r ≥ √n, with high probability. For r = o(n/log n log log n), this improves over the Ω(n2/r · log(n/r)) bound that is known for many explicit matrices. Our result implies that the explicit trilinear [n] × [n] × [2n] function defined by F(x,y,z) =σi,jxiyjzi+j has complexity Ω(n3/5) in the multilinear circuit model suggested by Goldreich and Wigderson (ECCC, 2013), which yields an exp(n3/5) lower bound on the size of the so-called canonical depth-three circuits for F. We also prove that F has complexity Ω∼(n2/3) if the multilinear circuits are further restricted to be of depth 2. In addition, we show that a matrix whose entries are sampled from a 2-n-biased distribution has complexity Ω∼(n2/3), regardless of depth restrictions, almost matching the known O(n2/3) upper bound for any matrix. We turn this randomized construction into an explicit 4-linear construction with similar lower bounds, using the quadratic small-biased construction of Mossel et al. (RS&A, 2006).
AB - We prove that random n-by-n Toeplitz (alternatively Hankel) matrices over F2 have rigidity Ω(n3/r2log n) for rank r ≥ √n, with high probability. For r = o(n/log n log log n), this improves over the Ω(n2/r · log(n/r)) bound that is known for many explicit matrices. Our result implies that the explicit trilinear [n] × [n] × [2n] function defined by F(x,y,z) =σi,jxiyjzi+j has complexity Ω(n3/5) in the multilinear circuit model suggested by Goldreich and Wigderson (ECCC, 2013), which yields an exp(n3/5) lower bound on the size of the so-called canonical depth-three circuits for F. We also prove that F has complexity Ω∼(n2/3) if the multilinear circuits are further restricted to be of depth 2. In addition, we show that a matrix whose entries are sampled from a 2-n-biased distribution has complexity Ω∼(n2/3), regardless of depth restrictions, almost matching the known O(n2/3) upper bound for any matrix. We turn this randomized construction into an explicit 4-linear construction with similar lower bounds, using the quadratic small-biased construction of Mossel et al. (RS&A, 2006).
UR - http://www.scopus.com/inward/record.url?scp=84979220612&partnerID=8YFLogxK
U2 - 10.1145/2897518.2897633
DO - 10.1145/2897518.2897633
M3 - منشور من مؤتمر
T3 - Proceedings of the Annual ACM Symposium on Theory of Computing
SP - 91
EP - 104
BT - STOC 2016 - Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing
A2 - Mansour, Yishay
A2 - Wichs, Daniel
T2 - 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016
Y2 - 19 June 2016 through 21 June 2016
ER -