TY - JOUR

T1 - Lower bounds for matrix product in bounded depth circuits with arbitrary gates

AU - Raz, Ran

AU - Shpilka, Amir

PY - 2003

Y1 - 2003

N2 - We prove superlinear lower bounds for the number of edges in constant depth circuits with n inputs and up to n outputs. Our lower bounds are proved for all types of constant depth circuits, e.g., constant depth arithmetic circuits and constant depth Boolean circuits with arbitrary gates. The bounds apply for several explicit functions and, most importantly, for matrix product. In particular, we obtain the following results: 1. We show that the number of edges in any constant depth arithmetic circuit for matrix product (over any field) is superlinear in m2 (where m × m is the size of each matrix). That is, the lower bound is superlinear in the number of input variables. Moreover, if the circuit is bilinear, the result applies also for the case in which the circuit gets any product of two linear functions for free. 2. We show that the number of edges in any constant depth arithmetic circuit for the trace of the product of three matrices (over fields with characteristic O) is superlinear in m2. (Note that the trace is a single-output function.) 3. We give explicit examples for n Boolean functions f1,⋯,fn, such that any constant depth Boolean circuit with arbitrary gates for f1,⋯,fn has a superlinear number of edges. The lower bound is also proved for circuits with arbitrary gates over any finite field. The bound applies for matrix product over finite fields as well as for several other explicit functions.

AB - We prove superlinear lower bounds for the number of edges in constant depth circuits with n inputs and up to n outputs. Our lower bounds are proved for all types of constant depth circuits, e.g., constant depth arithmetic circuits and constant depth Boolean circuits with arbitrary gates. The bounds apply for several explicit functions and, most importantly, for matrix product. In particular, we obtain the following results: 1. We show that the number of edges in any constant depth arithmetic circuit for matrix product (over any field) is superlinear in m2 (where m × m is the size of each matrix). That is, the lower bound is superlinear in the number of input variables. Moreover, if the circuit is bilinear, the result applies also for the case in which the circuit gets any product of two linear functions for free. 2. We show that the number of edges in any constant depth arithmetic circuit for the trace of the product of three matrices (over fields with characteristic O) is superlinear in m2. (Note that the trace is a single-output function.) 3. We give explicit examples for n Boolean functions f1,⋯,fn, such that any constant depth Boolean circuit with arbitrary gates for f1,⋯,fn has a superlinear number of edges. The lower bound is also proved for circuits with arbitrary gates over any finite field. The bound applies for matrix product over finite fields as well as for several other explicit functions.

KW - Bounded depth circuits

KW - Lower bounds

KW - Matrix products

KW - Superconcentrators

UR - http://www.scopus.com/inward/record.url?scp=0037609044&partnerID=8YFLogxK

U2 - 10.1137/S009753970138462X

DO - 10.1137/S009753970138462X

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

SN - 0097-5397

VL - 32

SP - 488

EP - 513

JO - SIAM Journal on Computing

JF - SIAM Journal on Computing

IS - 2

ER -