9,278 research outputs found
On the power of homogeneous depth 4 arithmetic circuits
We prove exponential lower bounds on the size of homogeneous depth 4
arithmetic circuits computing an explicit polynomial in . Our results hold
for the {\it Iterated Matrix Multiplication} polynomial - in particular we show
that any homogeneous depth 4 circuit computing the entry in the product
of generic matrices of dimension must have size
.
Our results strengthen previous works in two significant ways.
Our lower bounds hold for a polynomial in . Prior to our work, Kayal et
al [KLSS14] proved an exponential lower bound for homogeneous depth 4 circuits
(over fields of characteristic zero) computing a poly in . The best known
lower bounds for a depth 4 homogeneous circuit computing a poly in was the
bound of by [LSS, KLSS14].Our exponential lower bounds
also give the first exponential separation between general arithmetic circuits
and homogeneous depth 4 arithmetic circuits. In particular they imply that the
depth reduction results of Koiran [Koi12] and Tavenas [Tav13] are tight even
for reductions to general homogeneous depth 4 circuits (without the restriction
of bounded bottom fanin).
Our lower bound holds over all fields. The lower bound of [KLSS14] worked
only over fields of characteristic zero. Prior to our work, the best lower
bound for homogeneous depth 4 circuits over fields of positive characteristic
was [LSS, KLSS14]
Arithmetic Circuit Lower Bounds via MaxRank
We introduce the polynomial coefficient matrix and identify maximum rank of
this matrix under variable substitution as a complexity measure for
multivariate polynomials. We use our techniques to prove super-polynomial lower
bounds against several classes of non-multilinear arithmetic circuits. In
particular, we obtain the following results :
As our main result, we prove that any homogeneous depth-3 circuit for
computing the product of matrices of dimension requires
size. This improves the lower bounds by Nisan and
Wigderson(1995) when .
There is an explicit polynomial on variables and degree at most
for which any depth-3 circuit of product dimension at most
(dimension of the space of affine forms feeding into each
product gate) requires size . This generalizes the lower bounds
against diagonal circuits proved by Saxena(2007). Diagonal circuits are of
product dimension 1.
We prove a lower bound on the size of product-sparse
formulas. By definition, any multilinear formula is a product-sparse formula.
Thus, our result extends the known super-polynomial lower bounds on the size of
multilinear formulas by Raz(2006).
We prove a lower bound on the size of partitioned arithmetic
branching programs. This result extends the known exponential lower bound on
the size of ordered arithmetic branching programs given by Jansen(2008).Comment: 22 page
Functional lower bounds for arithmetic circuits and connections to boolean circuit complexity
We say that a circuit over a field functionally computes an
-variate polynomial if for every we have that . This is in contrast to syntactically computing , when as
formal polynomials. In this paper, we study the question of proving lower
bounds for homogeneous depth- and depth- arithmetic circuits for
functional computation. We prove the following results :
1. Exponential lower bounds homogeneous depth- arithmetic circuits for a
polynomial in .
2. Exponential lower bounds for homogeneous depth- arithmetic circuits
with bounded individual degree for a polynomial in .
Our main motivation for this line of research comes from our observation that
strong enough functional lower bounds for even very special depth-
arithmetic circuits for the Permanent imply a separation between and
. Thus, improving the second result to get rid of the bounded individual
degree condition could lead to substantial progress in boolean circuit
complexity. Besides, it is known from a recent result of Kumar and Saptharishi
[KS15] that over constant sized finite fields, strong enough average case
functional lower bounds for homogeneous depth- circuits imply
superpolynomial lower bounds for homogeneous depth- circuits.
Our proofs are based on a family of new complexity measures called shifted
evaluation dimension, and might be of independent interest
Sums of products of polynomials in few variables : lower bounds and polynomial identity testing
We study the complexity of representing polynomials as a sum of products of
polynomials in few variables. More precisely, we study representations of the
form such that each is
an arbitrary polynomial that depends on at most variables. We prove the
following results.
1. Over fields of characteristic zero, for every constant such that , we give an explicit family of polynomials , where
is of degree in variables, such that any
representation of the above type for with requires . This strengthens a recent result of Kayal and Saha
[KS14a] which showed similar lower bounds for the model of sums of products of
linear forms in few variables. It is known that any asymptotic improvement in
the exponent of the lower bounds (even for ) would separate VP
and VNP[KS14a].
2. We obtain a deterministic subexponential time blackbox polynomial identity
testing (PIT) algorithm for circuits computed by the above model when and
the individual degree of each variable in are at most and
for any constant . We get quasipolynomial running
time when . The PIT algorithm is obtained by combining our
lower bounds with the hardness-randomness tradeoffs developed in [DSY09, KI04].
To the best of our knowledge, this is the first nontrivial PIT algorithm for
this model (even for the case ), and the first nontrivial PIT algorithm
obtained from lower bounds for small depth circuits
- …