We introduce a new model for computing polynomials-a depth 2 circuit with a symmetric gate at the top and plus gates at the bottom, i.e. the circuit computes a symmetric function in linear functions-S/sub m//sup d/(l/sub 1/, l/sub 2/, ..., l/sub m/) (S/sub m//sup d/ is the d'th elementary symmetric polynomial in m variables, and the l/sub i/'s are linear functions). We refer to this model as the symmetric model. This new model is related to standard models of arithmetic circuits, especially to depth 3 circuits. In particular we show that, in order to improve the results of Shpilka and Wigderson (1999), i.e. to prove super-quadratic lower bounds for depth 3 circuits, one must first prove a super-linear lower bound for the symmetric model. We prove two nontrivial linear lower bounds for our model. The first lower bound is for computing the determinant, and the second is for computing the sum of two monomials. The main technical contribution relates the maximal dimension of linear subspaces on which S/sub m//sup d/ vanishes, and lower bounds to the symmetric model. In particular we show that an answer of the following problem (which is very natural, and of independent interest) will imply lower bounds on symmetric circuits for many polynomials: "what is the maximal dimension of a linear subspace of C/sup m/, on which S/sub m//sup d/ vanishes?" We give two partial solutions to the problem above, each enables us to prove a different lower bound.
[1]
Noam Nisan,et al.
Lower bounds for non-commutative computation
,
1991,
STOC '91.
[2]
Roman Smolensky,et al.
Algebraic methods in the theory of lower bounds for Boolean circuit complexity
,
1987,
STOC.
[3]
A. Yao.
Separating the polynomial-time hierarchy by oracles
,
1985
.
[4]
Pavel Pudlák,et al.
Threshold circuits of bounded depth
,
1987,
28th Annual Symposium on Foundations of Computer Science (sfcs 1987).
[5]
Marek Karpinski,et al.
An exponential lower bound for depth 3 arithmetic circuits
,
1998,
STOC '98.
[6]
Walter Baur,et al.
The Complexity of Partial Derivatives
,
1983,
Theor. Comput. Sci..
[7]
Alexander A. Razborov,et al.
Exponential complexity lower bounds for depth 3 arithmetic circuits in algebras of functions over finite fields
,
1998,
Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).
[8]
Noam Nisan,et al.
Lower bounds on arithmetic circuits via partial derivatives
,
1995,
Proceedings of IEEE 36th Annual Foundations of Computer Science.
[9]
Michael E. Saks,et al.
Size-depth trade-offs for threshold circuits
,
1993,
STOC.
[10]
V. Strassen.
Die Berechnungskomplexität von elementarsymmetrischen Funktionen und von Interpolationskoeffizienten
,
1973
.
[11]
Leslie G. Valiant,et al.
Completeness classes in algebra
,
1979,
STOC.