1,053 research outputs found
A Near-Optimal Depth-Hierarchy Theorem for Small-Depth Multilinear Circuits
We study the size blow-up that is necessary to convert an algebraic circuit
of product-depth to one of product-depth in the multilinear
setting.
We show that for every positive
there is an explicit multilinear polynomial on variables
that can be computed by a multilinear formula of product-depth and
size , but not by any multilinear circuit of product-depth and
size less than . This result is tight up to the
constant implicit in the double exponent for all
This strengthens a result of Raz and Yehudayoff (Computational Complexity
2009) who prove a quasipolynomial separation for constant-depth multilinear
circuits, and a result of Kayal, Nair and Saha (STACS 2016) who give an
exponential separation in the case
Our separating examples may be viewed as algebraic analogues of variants of
the Graph Reachability problem studied by Chen, Oliveira, Servedio and Tan
(STOC 2016), who used them to prove lower bounds for constant-depth Boolean
circuits
Resolution over Linear Equations and Multilinear Proofs
We develop and study the complexity of propositional proof systems of varying
strength extending resolution by allowing it to operate with disjunctions of
linear equations instead of clauses. We demonstrate polynomial-size refutations
for hard tautologies like the pigeonhole principle, Tseitin graph tautologies
and the clique-coloring tautologies in these proof systems. Using the
(monotone) interpolation by a communication game technique we establish an
exponential-size lower bound on refutations in a certain, considerably strong,
fragment of resolution over linear equations, as well as a general polynomial
upper bound on (non-monotone) interpolants in this fragment.
We then apply these results to extend and improve previous results on
multilinear proofs (over fields of characteristic 0), as studied in
[RazTzameret06]. Specifically, we show the following:
1. Proofs operating with depth-3 multilinear formulas polynomially simulate a
certain, considerably strong, fragment of resolution over linear equations.
2. Proofs operating with depth-3 multilinear formulas admit polynomial-size
refutations of the pigeonhole principle and Tseitin graph tautologies. The
former improve over a previous result that established small multilinear proofs
only for the \emph{functional} pigeonhole principle. The latter are different
than previous proofs, and apply to multilinear proofs of Tseitin mod p graph
tautologies over any field of characteristic 0.
We conclude by connecting resolution over linear equations with extensions of
the cutting planes proof system.Comment: 44 page
On Computing Multilinear Polynomials Using Multi-r-ic Depth Four Circuits
International audienceIn this paper, we are interested in understanding the complexity of computing multilinear polynomials using depth four circuits in which polynomial computed at every node has a bound on the individual degree of r (referred to as multi-r-ic circuits). The goal of this study is to make progress towards proving superpolynomial lower bounds for general depth four circuits computing multilinear polynomials, by proving better and better bounds as the value of r increases. Recently, Kayal, Saha and Tavenas (Theory of Computing, 2018) showed that any depth four arithmetic circuit of bounded individual degree r computing a multilinear polynomial on n^O(1) variables and degree d = o(n), must have size at least (n/r^1.1)^{\sqrt{d/r}} when r is o(d) and is strictly less than n^1/1.1. This bound however deteriorates with increasing r. It is a natural question to ask if we can prove a bound that does not deteriorate with increasing r or a bound that holds for a larger regime of r. We here prove a lower bound which does not deteriorate with r , however for a specific instance of d = d (n) but for a wider range of r. Formally, we show that there exists an explicit polynomial on n^{O(1)} variables and degree Θ(log^2(n)) such that any depth four circuit of bounded individual degree r < n^0.2 must have size at least exp(Ω (log^2 n)). This improvement is obtained by suitably adapting the complexity measure of Kayal et al. (Theory of Computing, 2018). This adaptation of the measure is inspired by the complexity measure used by Kayal et al. (SIAM J. Computing, 2017)
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
Balancing Bounded Treewidth Circuits
Algorithmic tools for graphs of small treewidth are used to address questions
in complexity theory. For both arithmetic and Boolean circuits, it is shown
that any circuit of size and treewidth can be
simulated by a circuit of width and size , where , if , and otherwise. For our main construction,
we prove that multiplicatively disjoint arithmetic circuits of size
and treewidth can be simulated by bounded fan-in arithmetic formulas of
depth . From this we derive the analogous statement for
syntactically multilinear arithmetic circuits, which strengthens a theorem of
Mahajan and Rao. As another application, we derive that constant width
arithmetic circuits of size can be balanced to depth ,
provided certain restrictions are made on the use of iterated multiplication.
Also from our main construction, we derive that Boolean bounded fan-in circuits
of size and treewidth can be simulated by bounded fan-in
formulas of depth . This strengthens in the non-uniform setting
the known inclusion that . Finally, we apply our
construction to show that {\sc reachability} for directed graphs of bounded
treewidth is in
The Complexity of Testing Monomials in Multivariate Polynomials
The work in this paper is to initiate a theory of testing monomials in
multivariate polynomials. The central question is to ask whether a polynomial
represented by certain economically compact structure has a multilinear
monomial in its sum-product expansion. The complexity aspects of this problem
and its variants are investigated with two folds of objectives. One is to
understand how this problem relates to critical problems in complexity, and if
so to what extent. The other is to exploit possibilities of applying algebraic
properties of polynomials to the study of those problems. A series of results
about and polynomials are obtained in this paper,
laying a basis for further study along this line
- …