1,826 research outputs found
Lower Bounds on the Depth of Monotone Arithmetic Computations
AbstractConsider an arithmetic expression of lengthninvolving only the operations {+,×} and non-negative constants. We prove lower bounds on the depth of any binary computation tree over the same sets of operations and constants that computes such an expression. We exhibit a family of arithmetic expressions that requires computation trees of depth at least 1.5log2n−O(1), thus proving a conjecture of S. R. Kosaraju (1986,in“Proc. of the 18th ACM Symp. on Theory Computing,” pp. 231–239). In contrast, Kosaraju showed how to compute such expressions with computation trees of depth 2log2n+O(1)
On monotone circuits with local oracles and clique lower bounds
We investigate monotone circuits with local oracles [K., 2016], i.e.,
circuits containing additional inputs that can perform
unstructured computations on the input string . Let be
the locality of the circuit, a parameter that bounds the combined strength of
the oracle functions , and
be the set of -cliques and the set of complete -partite graphs,
respectively (similarly to [Razborov, 1985]). Our results can be informally
stated as follows.
1. For an appropriate extension of depth- monotone circuits with local
oracles, we show that the size of the smallest circuits separating
(triangles) and (complete bipartite graphs) undergoes two phase
transitions according to .
2. For , arbitrary depth, and , we
prove that the monotone circuit size complexity of separating the sets
and is , under a certain restrictive
assumption on the local oracle gates.
The second result, which concerns monotone circuits with restricted oracles,
extends and provides a matching upper bound for the exponential lower bounds on
the monotone circuit size complexity of -clique obtained by Alon and Boppana
(1987).Comment: Updated acknowledgements and funding informatio
Lower Bounds for Monotone Counting Circuits
A {+,x}-circuit counts a given multivariate polynomial f, if its values on
0-1 inputs are the same as those of f; on other inputs the circuit may output
arbitrary values. Such a circuit counts the number of monomials of f evaluated
to 1 by a given 0-1 input vector (with multiplicities given by their
coefficients). A circuit decides if it has the same 0-1 roots as f. We
first show that some multilinear polynomials can be exponentially easier to
count than to compute them, and can be exponentially easier to decide than to
count them. Then we give general lower bounds on the size of counting circuits.Comment: 20 page
Polylogarithmic Cuts in Models of V^0
We study initial cuts of models of weak two-sorted Bounded Arithmetics with
respect to the strength of their theories and show that these theories are
stronger than the original one. More explicitly we will see that
polylogarithmic cuts of models of are models of
by formalizing a proof of Nepomnjascij's Theorem in such cuts. This is a
strengthening of a result by Paris and Wilkie. We can then exploit our result
in Proof Complexity to observe that Frege proof systems can be sub
exponentially simulated by bounded depth Frege proof systems. This result has
recently been obtained by Filmus, Pitassi and Santhanam in a direct proof. As
an interesting observation we also obtain an average case separation of
Resolution from AC0-Frege by applying a recent result with Tzameret.Comment: 16 page
Log-concavity and lower bounds for arithmetic circuits
One question that we investigate in this paper is, how can we build
log-concave polynomials using sparse polynomials as building blocks? More
precisely, let be a
polynomial satisfying the log-concavity condition a\_i^2 \textgreater{} \tau
a\_{i-1}a\_{i+1} for every where \tau
\textgreater{} 0. Whenever can be written under the form where the polynomials have at most
monomials, it is clear that . Assuming that the
have only non-negative coefficients, we improve this degree bound to if \tau \textgreater{} 1,
and to if .
This investigation has a complexity-theoretic motivation: we show that a
suitable strengthening of the above results would imply a separation of the
algebraic complexity classes VP and VNP. As they currently stand, these results
are strong enough to provide a new example of a family of polynomials in VNP
which cannot be computed by monotone arithmetic circuits of polynomial size
Three Puzzles on Mathematics, Computation, and Games
In this lecture I will talk about three mathematical puzzles involving
mathematics and computation that have preoccupied me over the years. The first
puzzle is to understand the amazing success of the simplex algorithm for linear
programming. The second puzzle is about errors made when votes are counted
during elections. The third puzzle is: are quantum computers possible?Comment: ICM 2018 plenary lecture, Rio de Janeiro, 36 pages, 7 Figure
The Secant Conjecture in the real Schubert calculus
We formulate the Secant Conjecture, which is a generalization of the Shapiro
Conjecture for Grassmannians. It asserts that an intersection of Schubert
varieties in a Grassmannian is transverse with all points real, if the flags
defining the Schubert varieties are secant along disjoint intervals of a
rational normal curve. We present theoretical evidence for it as well as
computational evidence obtained in over one terahertz-year of computing, and we
discuss some phenomena we observed in our data.Comment: 19 page
- …